WikiDer > Биалгеброид Ли

А Биалгеброид Ли представляет собой математическую структуру в области неримановой дифференциальной геометрии. Короче говоря, биалгеброид Ли - это два совместимых Алгеброиды Ли на двойственных векторных расслоениях. Они образуют версию векторного расслоения Биалгебра Ли.

Определение

Предварительные представления

Помните, что Алгеброид Ли определяется как кососимметричная операция [.,.] на сечениях Γ (А) из векторный набор А → М над гладким многообразием M вместе с морфизмом векторного расслоения ρ: A → TM подчиняется правилу Лейбница

${ Displaystyle [ phi, е cdot psi] = rho ( phi) [f] cdot psi + f cdot [ phi, psi],}$

и идентичность Якоби

${ displaystyle [ phi, [ psi _ {1}, psi _ {2}]] = [[ phi, psi _ {1}], psi _ {2}] + [ psi _ { 1}, [ phi, psi _ {2}]]}$

куда Φ, ψ_k это разделы А и ж является гладкой функцией на M.

Скобка Ли [.,.]_А может быть расширен до многовекторные поля Γ (⋀А), градуированная симметрично по правилу Лейбница

${ Displaystyle [ Phi клин Psi, mathrm {X}] _ {A} = Phi wedge [ Psi, mathrm {X}] _ {A} + (- 1) ^ {| Psi | (| mathrm {X} | -1)} [ Phi, mathrm {X}] _ {A} wedge Psi}$

для однородных многовекторных полей Φ, Ψ, Χ.

В Алгеброидный дифференциал Ли является р-линейный оператор d_А на А-формы Ω_А(M) = Γ (⋀А^*) степени 1 с учетом правила Лейбница

${ displaystyle d_ {A} ( alpha wedge beta) = (d_ {A} alpha) wedge beta + (- 1) ^ {| alpha |} alpha wedge d_ {A} beta }$

за А-формы α и β. Уникально характеризуется условиями

${ Displaystyle (d_ {A} е) ( фи) = ро ( фи) [е]}$

и

${ Displaystyle (d_ {A} альфа) [ phi, psi] = rho ( phi) [ alpha ( psi)] - rho ( psi) [ alpha ( phi)] - альфа [ phi, psi]}$

для функций ж на M, А-1-формы α∈Γ (А^*) и Φ, ψ разделы А.

Определение

Биалгеброидом Ли являются два алгеброида Ли (А, ρ_А,[.,.]_А) и (А^*, ρ_*,[.,.]_*) на двойственных векторных расслоениях А → М и А^*→M при условии совместимости

${ Displaystyle d _ {*} [ phi, psi] _ {A} = [d _ {*} phi, psi] _ {A} + [ phi, d _ {*} psi] _ {A} }$

для всех разделов Φ, ψ из А.Здесь d_* обозначает алгеброидный дифференциал Ли А^* который также действует на мультивекторные поля Γ (∧А).

Симметрия определения

Можно показать, что определение симметрично относительно А и А^*, т.е. (А,А^*) является биалгеброидом Ли тогда и только тогда, когда (А^*,А) является.

Примеры

1. А Биалгебра Ли два Алгебры Ли (грамм,[.,.]_грамм) и (грамм^*,[.,.]_*) на двойственных векторных пространствах грамм и грамм^* так что Дифференциал Шевалле – Эйленберга. δ_* является производным от грамм-скобка.

2. А Пуассоново многообразие (M, π) естественным образом порождает биалгеброид Ли на TM (со скобкой коммутатора касательных векторных полей) и Т^*M со скобкой Ли, индуцированной структурой Пуассона. В Т^*M-дифференциал d_*= [π,.], и тогда совместимость следует из тождества Якоби скобки Схоутена.

Инфинитезимальная версия пуассоновского группоида

Хорошо известно, что бесконечно малый вариант Ложь группоид является алгеброидом Ли. (В качестве частного случая бесконечно малый вариант Группа Ли является алгеброй Ли.) Таким образом, можно спросить, какие структуры необходимо дифференцировать, чтобы получить биалгеброид Ли.

Определение пуассоновского группоида

А Пуассоновский группоид является группоидом Ли (грамм⇉M) вместе с пуассоновой структурой π на грамм такой, что граф умножения м ⊂ грамм×грамм×(грамм,−π) является коизотропный. Примером пуассоновского группоида Ли является пуассонова группа Ли (где M= pt, просто точка). Другой пример - симплектический группоид (где пуассонова структура невырождена на TG).

Дифференциация структуры

Вспомните построение алгеброида Ли из группоида Ли. Возьмем t-касательные слои (или, что то же самое, s-касательные слои) и рассмотрим их векторное расслоение, стянутое обратно к базовому многообразию M. Часть этого векторного расслоения можно отождествить с грамм-инвариантное t-векторное поле на грамм которые образуют алгебру Ли относительно коммутаторной скобки на TG.

Таким образом, мы берем алгеброид Ли А → М группоида Пуассона. Можно показать, что пуассонова структура индуцирует послойно линейную пуассоновую структуру на А. Аналогично построению кокасательного алгеброида Ли пуассонова многообразия существует структура алгеброида Ли на А^* индуцированный этой пуассоновской структурой. Аналогично случаю пуассонова многообразия можно показать, что А и А^* образуют биалгеброид Ли.

Дубль биалгеброидов Ли и суперъязык биалгеброидов Ли

Для биалгеброидов Ли (грамм,грамм^*) существует понятие троек Манина, т.е. c =грамм+грамм^* можно снабдить структурой алгебры Ли такой, что грамм и грамм^* являются подалгебрами, а c содержит представление грамм на грамм^*, наоборот. Суммарная структура просто

${ displaystyle [X + alpha, Y + beta] = [X, Y] _ {g} + mathrm {ad} _ { alpha} Y- mathrm {ad} _ { beta} X + [ alpha, beta] _ {*} + mathrm {ad} _ {X} ^ {*} beta - mathrm {ad} _ {Y} ^ {*} alpha}$.

Алгеброиды Куранта

Оказывается, наивное обобщение на алгеброиды Ли больше не дает алгеброида Ли. Вместо этого нужно либо изменить тождество Якоби, либо нарушить кососимметрию, что приведет к Алгеброиды Куранта.^[1]

Суперязык

Соответствующий суперъязык алгеброида Ли А является ΠA, то супермногообразие пространство (супер) функций которого есть А-форм. На этом пространстве алгеброид Ли может быть закодирован с помощью его дифференциала алгеброида Ли, который представляет собой просто нечетное векторное поле.

В качестве первого предположения суперпреализация биалгеброида Ли (А,А^*) должно быть ΠA+ΠA^*. Но к сожалению d_А + d_*|ΠA+ΠA^* не дифференциал, в основном потому, что А+А^* не является алгеброидом Ли. Вместо использования большего N-градуированное многообразие Т^*[2] A [1] = Т^*[2] А^*[1] к которому мы можем поднять d_А и г_* как нечетные гамильтоновы векторные поля, то их сумма квадратов равна 0 тогда и только тогда, когда (А,А^*) является биалгеброидом Ли.

Рекомендации

• К. Альбер и П. Дазор: Теория симплектических групп: Глава II, Симплектические группы. (в Publications du Département de Mathématiques de l’Université Claude Bernard, Lyon I, nouvelle série, стр. 27–99, 1990)
• Ю. Косманн-Шварцбах: Биалгеброид Ли многообразия Пуассона – Нийенхейса. (Lett. Math. Phys., 38: 421–428, 1996)
• К. Маккензи, П. Сюй: Интегрирование биалгеброидов Ли (1997),
• К. Маккензи, П. Сюй: биалгеброиды Ли и пуассоновы группоиды (Duke J. Math, 1994)
• А. Вайнштейн: Симплектические группоиды и пуассоновы многообразия (AMS Bull, 1987),