| [ |
mood |
| |
 happy |
] |
Вчера ходил весь день кругами по Москве и даже устал, в том числе от меланхолических мыслей, зато вечером имел счастье чрезвычайно плодотворно провести время с одним представленцем. А от усталости до сих пор приятно болит спина, как после плавания в море с проф. Буфетовым. Завидую самому себе. Всем бы так!
А уже сегодня видел в Независимом университете М. Я. П., и сперва не узнал. Когда-то у него были усы, от которых он выглядел как простой советский инженер типа сочинителя Быкова, а теперь он их сбрил, и оделся в пиджак с галстухом, и нацепил на лацкан какой-то значок, содержащий в себе российский триколор. Не иначе, как сделался на своих северах чем-то вроде министра. Я к нему было подошёл, сказав 'Ба, М. Я., это вы, а я вас и не узнал'. Он меня тоже не узнал -- но напомнить о себе я ему не успел, потому что его отвлёк известный в Москве деятель весомости тоже в общем-то министерской, и повёл за удалённый столик есть простую советскую еду и обсуждать свои министерские материи. Говорили что-то про 2020-й год, и может быть про 2022-й. Не завидую совершенно.
Зато придумал вот что. Пусть имеется многообразие X и на нём форма объёма \nu. Тогда по форме предпоследней степени можно соорудить векторное поле, назовём эту операцию ^\sharp. Тогда скобка [\alpha, \beta] = Lie_{(d\alpha)^\sharp}\beta, определённая на формах костепени два, удовлетворяет тождеству Лейбница (слева). Это открыл Лодей. Например, если X -- поверхность, то форма \nu есть симплектическая форма, и эта скобка есть её скобка Пуассона, определённая на функциях. В большей размерности эта скобка не является кососимметричной, стало быть, задаёт на формах структуру только лишь лейбницевой алгебры.
Диффеоморфизмы многообразия, сохраняющие форму объёма, действуют на формах, сохраняя эту скобку. Стало быть, несжимающие векторные поля действуют деривациями этой скобки. Но на лейбницевых алгебрах помимо дериваций имеется также понятие антидеривации. Именно, отображение D из левой лейбницевой алгебры в себя называется антидеривацией, если D[a,b] = [a,Db] - [b,Da]. Например, если L -- левая лейбницева алгебра, и x \in L -- какой-то элемент, то отображение ad_x : a \mapsto [x,a] есть деривация (по определению), а отображение Ad_x : a \mapsto -[a,x] является антидеривацией (также по определению).
Деривации и антидеривации обыкновенно ходят парами. Именно, пара (d, D) называется бидеривацией, если выполнено странное тождество [da,b] = [Da,b]. Например, (ad_x, Ad_x) -- бидеривация (как ни странно, по определению). Логичный вопрос: продолжаются ли деривации, получающиеся из несжимающих векторных полей, каким-нибудь естественным способом до бидериваций? Казалось бы, для поля, получающегося из формы, ответ очень прост: если v = (d\eta)^\sharp, то Lie_v \alpha = [\eta, \alpha], и стало быть соответствующая антидеривация должна задаваться как -[\alpha, \eta] = Lie_{(d\alpha)^\sharp}\eta. Однако поле v зависит только от дифференциала d\eta! Стало быть, для разных выборов потенциала антидеривации будут различны -- хотя и отличаться на точную форму.
Ну давайте поделимся по точным формам, от определения не убудет. Заметим, однако, что [\alpha,\alpha] = Lie_{(d\alpha)^\sharp}\alpha = d\iota_{(d\alpha)^\sharp}\alpha + \iota_{(d\alpha)^\sharp}d\alpha = d\iota_{(d\alpha)^\sharp}\alpha + \iota_{(d\alpha)^\sharp}\iota_{(d\alpha)^\sharp}\nu = d\iota_{(d\alpha)^\sharp}\alpha. Значит, если мы поделимся по точным формам, то квадраты заведомо уйдут, а значит получится честная алгебра Ли. Более того, формулу для скобки тогда можно будет переписать как [\alpha, \beta] = Lie_{(d\alpha)^\sharp}\beta = \iota_{(d\alpha)^\sharp}\iota_{(d\beta)^\sharp}\nu + d(...). Стирая это d, получаем знакомую формулу для скобки Пуассона. Действительно, форма объёма определяет на пространстве, параметризующем подмногообразия коразмерности два, симплектическую структуру, а формы костепени два определяют функции на таком пространстве (притом функция, строящаяся по форме, тождественно нулевая тогда и только тогда, когда форма точна). Итак, получившаяся алгебра Ли будет просто подалгеброй в пуассоновой алгебре функций на бесконечномерном симплектическом многообразии. Задаваться вопросом о геометрическом смысле алгебры Лейбница, которая имелась до факторизации, видимо, не вполне осмысленно: стандартные геометрические операции, как мы видели, совершенно не уважают алгебраические структуры, свойственные именно лейбницевой скобке.
|