Универсальная обёртывающая алгебра (Runfyjvgl,ugx kQ~jmdfgZpgx gliyQjg)

Перейти к навигации Перейти к поиску

Универсальная обёртывающая алгебра — ассоциативная алгебра, которая может быть построена для любой алгебры Ли, перенимающая многие важные свойства исходной алгебры, что позволяет применить более широкие средства для изучения исходной алгебры.

Построение

[править | править код]

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

Построение универсальной обёртывающей алгебры пытается обратить этот процесс: для данной алгебры Ли над находят «наиболее общую» ассоциативную -алгебру такую, что алгебра Ли содержит . Важное ограничение — сохранение теории представлений: представления соотносятся точь-в-точь так же как и модули над . В типичном контексте, где задаётся инфинитезимальными преобразованиями, элементы действуют как дифференциальные операторы всех порядков.

Важная тема в изучении алгебр и вероятно основной путь их появления в приложениях это представление алгебры Ли. Представление ставит каждому элементу x алгебры Ли линейный оператор . Данное пространство линейных операторов не только алгебра Ли, но также и ассоциативная алгебра, так что возможно рассматривать произведения . Суть введения универсальной обёртывающей алгебры в изучении таких произведений в различных представлениях алгебры Ли. Сразу видно одно препятствие в наивной попытке сделать это: свойства произведений коренным образом зависят от выбранного представления, а не только от самой алгебры Ли. Например, для одного представления можно получить , в то время как в другом представлении это произведение может быть ненулевым. Тем не менее определённые свойства универсальны для всех представлений, то есть сохраняют справедливость для всех представлений одновременно. Универсальная обёртывающая алгебра — это способ охватить все такие свойства и только их.

Универсальное свойство

[править | править код]

Пусть  — произвольная алгебра Ли над полем . При заданных ассоциативной алгебре с единицей и гомоморфизме алгебр Ли

будем говорить, что является универсальной обёртывающей алгеброй алгебры Ли , если она удовлетворяет следующему универсальному свойству: для любой ассоциативной алгебры с единицей и гомоморфизма алгебр Ли

существует единственный гомоморфизм ассоциативных алгебр с единицей

такой, что

Это универсальное свойство также можно понимать так: функтор, отображающий в её универсальную обёртывающую алгебру, сопряжён слева к функтору, отображающему ассоциативную алгебру в соответствующую алгебру Ли .

Прямое построение

[править | править код]

Из этого универсального свойства можно вывести, что если алгебра Ли имеет универсальную обёртывающую алгебру, то эта обёртывающая алгебра однозначно определяется алгеброй с точностью до изоморфизма. С помощью следующей конструкции, которая напрашивается из общих соображений (например, как часть пары сопряжённых функторов), устанавливается, что на самом деле любая алгебра Ли обязательно имеет универсальную обёртывающую алгебру.

Начиная с тензорной алгебры на векторном пространстве алгебры , мы получаем факторизацией по соотношениям

для любых и в , где скобки в правой части выражения обозначают коммутатор в .

Формально это значит, что

,

где  — двусторонний идеал алгебры , порождённый элементами вида

Естественное отображение задает отображение , и именно этот гомоморфизм алгебр Ли используется в вышеприведённом универсальном свойстве.

Описанная конструкция почти дословно переносится на случай супералгебр Ли.

Если абелева (то есть, коммутатор всегда 0), то  — коммутативна; если выбран базис векторного пространства , то может рассматриваться как алгебра многочленов над с одной переменной для каждого базисного элемента.

Если  — алгебра Ли группы Ли , то может рассматриваться как алгебра левоинвариантных дифференциальных операторов (всех порядков) на , содержащая в качестве дифференциальных операторов первого порядка (которые находятся во взаимном соответствии с левоинвариантными векторными полями на ).

Центр алгебры обозначается через и состоит из дифференциальных операторов, являющихся инвариантными как относительно левого действия группы, так и относительно правого; в случае некоммутативности центр часто не порождается операторами первого порядка (например, оператор Казимира полупростой алгебры Ли).

Также можно охарактеризовать как алгебру обобщённых функций с носителем на единичном элементе группы с операцией свёртки.

Алгебра Вейля[англ.] дифференциальных операторов от переменных с полиномиальными коэффициентами может быть получена, начиная с алгебры Ли группы Гейзенберга. Для этого необходимо профакторизовать её так, чтобы центральные элементы данной алгебры Ли действовали как скаляры.

Дальнейшее описание структуры

[править | править код]

Фундаментальная теорема Пуанкаре — Биркгофа — Витта даёт точное описание ; наиболее важное следствие из неё — это то, что может рассматриваться как линейное подпространство . Более точно: каноническое отображение всегда инъективно. Более того, порождается как ассоциативная алгебра с единицей.

действует на себе при помощи присоединённого представления алгебры Ли, и это действие может быть расширено на представление в эндоморфизмы : действует как алгебра производных на , и это действие сохраняет наложенные соотношения, поэтому она фактически действует на . (Это чисто инфинитезимальный способ смотреть на вышеупомянутые инвариантные дифференциальные операторы.)

При таком представлении, элементы , инвариантные относительно действия (то есть действие на них любого элемента тривиально), называются инвариантными элементами. Они порождаются инвариантами Казимира.

Как было сказано выше, конструкция универсальных обёртывающих алгебр — это часть пары сопряжённых функторов.  — функтор из категории алгебр Ли над в категорию ассоциативных -алгебр с единицей. Этот функтор — сопряженный слева к функтору, отображающему алгебру в алгебру . Следует отметить, что конструкция универсальной обёртывающей алгебры не является в точности обратной к формированию : если начать с ассоциативной алгебры , то не равна ; она значительно больше.

Сведения о теории представлений, упомянутые ранее, могут быть уточнены следующим образом: абелева категория всех представлений изоморфна абелевой категории всех левых модулей .

Построение групповой алгебры заданной группы во многом аналогично построению универсальной обёртывающей алгебры для заданной алгебры Ли. Оба построения универсальны и переносят теорию представлений в теорию модулей. Более того, как групповые алгебры, так и универсальные обёртывающие алгебры имеют естественную структуру коумножения, которая превращает их в алгебры Хопфа.

Литература

[править | править код]
  • Dixmier, Jacques. Enveloping algebras. Revised reprint of the 1977 translation.. — Providence, RI: American Mathematical Society, 1996. — Т. 11. — 379 с. — (Graduate Studies in Mathematics). — ISBN 0-8218-0560-6.
  • Серр Ж.-П. Алгебры Ли и группы Ли. — Москва: Мир, 1969. — 376 с. — ISBN 978-5-458-50774-5.  
  • Желобенко Д. П. Компактные группы Ли и их представления. — 2-е изд., доп. — Москва: МЦНМО, 2007. — 552 с. — ISBN 978-5-94057-302-9.