Более подробно: для любой группы Ли операция умножения вблизи единичного элемента 1 коммутативна первому порядку. Другими словами, каждая группа Ли G является (в первом порядке) приближенно вещественным векторным пространством, а именно касательным пространством к G в единице. Во втором порядке групповая операция может быть некоммутативной, а члены второго порядка, описывающие некоммутативность группы G вблизи единицы, дают структуру алгебры Ли. Примечательно, что эти члены второго порядка (алгебра Ли) полностью определяют групповую структуру группы G вблизи единицы. Они даже определяют G глобально, вплоть до покрытия пространств.
В физике группы Ли появляются как группы симметрии физических систем, а их алгебры Ли (касательные векторы вблизи единицы) можно рассматривать как бесконечно малые движения симметрии. Таким образом, алгебры Ли и их представления широко используются в физике, особенно в квантовой механике и физике элементарных частиц.
Элементарным примером (не пришедшим напрямую из ассоциативной алгебры) является трехмерное пространство со скобкой Ли, определенной векторным произведением . Это кососимметрично , поскольку и вместо ассоциативности оно удовлетворяет тождеству Якоби:
Это алгебра Ли группы Ли вращений пространства , и каждый вектор можно представить как бесконечно малое вращение вокруг оси с угловой скоростью, равной величине . Скобка Ли является мерой некоммутативности между двумя вращениями. Поскольку вращение коммутирует само с собой, оно обладает переменным свойством .
История
Алгебры Ли были введены для изучения концепции бесконечно малых преобразований Софусом Ли в 1870-х годах [1] и независимо открыты Вильгельмом Киллингом [2] в 1880-х годах. Название « алгебра Ли» было дано Германом Вейлем в 1930-х годах; в старых текстах использовался термин бесконечно малая группа .
Определение алгебры Ли
Алгебра Ли — это векторное пространство над полем вместе с бинарной операцией, называемой скобкой Ли, удовлетворяющее следующим аксиомам: [a]
Билинейность ,
для всех скаляров и всех элементов в .
Переменное свойство ,
для всех в .
Личность Якоби ,
для всех в .
Для группы Ли тождество Якоби для ее алгебры Ли следует из ассоциативности групповой операции.
Использование билинейности для расширения скобки Ли и использование свойства альтернирования показывает, что для всех в . Таким образом, билинейность и знакопеременность вместе подразумевают
для всех в . Если поле не имеет характеристики 2, то из антикоммутативности следует знакопеременность, поскольку из нее следует [3]
Алгебру Ли принято обозначать строчной дробной буквой, например . Если алгебра Ли связана с группой Ли, то алгебра обозначается фрактурной версией имени группы: например, алгебра Ли группы SU( n ) равна .
Генераторы и размерность
Размерность алгебры Ли над полем означает ее размерность как векторного пространства . В физике базис векторного пространства алгебры Ли группы Ли G можно назвать набором образующих для G . (Они, так сказать, являются «бесконечно-малыми генераторами» для G.) В математике набор S генераторов для алгебры Ли означает такое подмножество , что любая подалгебра Ли (как определено ниже), содержащая S , должна быть полностью из . Эквивалентно, охватывается (как векторное пространство) всеми повторяющимися скобками элементов S .
Основные примеры
Абелевы алгебры Ли
Любое векторное пространство , наделенное тождественно нулевой скобкой Ли, становится алгеброй Ли. Такая алгебра Ли называется абелевой . Любая одномерная алгебра Ли абелева в силу знакопеременного свойства скобки Ли.
Алгебра Ли матриц
В ассоциативной алгебре над полем с умножением , записанным как скобка Ли может быть определена коммутатором . С этой скобкой является алгеброй Ли. (Тождество Якоби следует из ассоциативности умножения на .) [4]
Кольцо эндоморфизмов -векторного пространства с указанной выше скобкой Ли обозначается .
Для поля F и положительного целого числа n пространство n × n матриц над F , обозначаемое или , является алгеброй Ли со скобкой, заданной коммутатором матриц: . [5] Это частный случай предыдущего примера; это, вероятно, самый важный пример алгебры Ли. Она называется общей линейной алгеброй Ли.
Когда F — действительные числа, — это алгебра Ли общей линейной группы , группы обратимых вещественных матриц размера n x n (или, что то же самое, матриц с ненулевым определителем ), где групповой операцией является умножение матриц. Аналогично – алгебра Ли комплексной группы Ли . Скобка Ли описывает несостоятельность коммутативности при умножении матриц или, что то же самое, при составлении линейных карт . Для любого поля F его можно рассматривать как алгебру Ли алгебраической группы .
Определения
Подалгебры, идеалы и гомоморфизмы
Скобка Ли не обязательно должна быть ассоциативной , то есть она не обязательно должна быть равна . Тем не менее, большая часть терминологии ассоциативных колец и алгебр (а также групп) имеет аналоги для алгебр Ли. Подалгебра Ли — это линейное подпространство , замкнутое относительно скобки Ли. Идеал – это линейное подпространство, удовлетворяющее более сильному условию: [ 6]
В соответствии между группами Ли и алгебрами Ли подгруппы соответствуют подалгебрам Ли, а нормальные подгруппы соответствуют идеалам.
Гомоморфизм алгебры Ли — это линейное отображение, совместимое с соответствующими скобками Ли:
Изоморфизм алгебр Ли — это биективный гомоморфизм .
Как и в случае с нормальными подгруппами в группах, идеалы в алгебрах Ли являются в точности ядрами гомоморфизмов. Для данной алгебры Ли и идеала в ней определяется факторалгебра Ли с сюръективным гомоморфизмом алгебр Ли. Первая теорема об изоморфизме справедлива для алгебр Ли.
Для алгебры Ли группы Ли скобка Ли является своего рода инфинитезимальным коммутатором. В результате говорят , что для любой алгебры Ли два элемента коммутируют , если их скобка обращается в нуль: .
Подалгебра централизатора подмножества - это набор элементов, коммутирующих с : то есть . Центратор сам по себе является центром . Аналогично, для подпространства S подалгебра нормализатора равна . [7] Если — подалгебра Ли, — это наибольшая подалгебра, которая является идеалом .
Каждое одномерное линейное подпространство алгебры Ли является абелевой подалгеброй Ли, но оно не обязательно должно быть идеалом.
Продукт и полупрямой продукт
Для двух алгебр Ли и произведение алгебры Ли представляет собой векторное пространство, состоящее из всех упорядоченных пар со скобкой Ли [8]
Это произведение из категории алгебр Ли. Обратите внимание, что копии и коммутируют друг с другом:
Пусть – алгебра Ли и идеал . Если каноническое отображение расщепляется (т. е. допускает сечение как гомоморфизм алгебр Ли), то говорят, что оно является полупрямым произведением и , . См. также полупрямую сумму алгебр Ли .
Выводы
Для алгебры A над полем F дифференцирование A над F представляет собой линейное отображение , удовлетворяющее правилу Лейбница .
для всех . (Определение имеет смысл для возможно неассоциативной алгебры .) Учитывая два вывода и их коммутатор снова является выводом. Эта операция превращает пространство всех дифференцирований A над F в алгебру Ли. [9]
Неформально говоря , пространство дифференцирований A является алгеброй Ли группы автоморфизмов A . (Это буквально верно, когда группа автоморфизмов является группой Ли, например, когда F — действительные числа, а A имеет конечную размерность как векторное пространство.) По этой причине пространства дифференцирований являются естественным способом построения алгебр Ли: они являются «бесконечно малыми автоморфизмами» A . Действительно, выписав условие, что
(где 1 обозначает тождественное отображение на A ) дает точное определение D как вывода.
Пример: алгебра Ли векторных полей. Пусть A — кольцо гладких функций на гладком многообразии X. Тогда дифференцирование A над эквивалентно векторному полю на X . (Векторное поле v дает вывод пространства гладких функций путем дифференцирования функций в направлении v .) Это превращает пространство векторных полей в алгебру Ли (см. скобку Ли векторных полей ). [10] Неформально говоря, является алгеброй Ли группы диффеоморфизмов X . Таким образом, скобка Ли векторных полей описывает некоммутативность группы диффеоморфизмов. Действие группы Ли G на многообразии X определяет гомоморфизм алгебр Ли .
Алгебру Ли можно рассматривать как неассоциативную алгебру, и поэтому каждая алгебра Ли над полем F определяет свою алгебру Ли дифференцирований, . То есть вывод - это линейное отображение такое, что
.
Внутренний вывод, связанный с любым, представляет собой присоединенное отображение, определенное . (Это вывод как следствие тождества Якоби.) Это дает гомоморфизм алгебр Ли . Образ является идеалом в , а алгебра Ли внешних дифференцирований определяется как факторалгебра Ли . (Это в точности аналогично внешней группе автоморфизмов группы.) Для полупростой алгебры Ли (определенной ниже) над полем нулевой характеристики каждое дифференцирование является внутренним. [11] Это связано с теоремой о том, что внешняя группа автоморфизмов полупростой группы Ли конечна. [12]
Напротив, абелева алгебра Ли имеет много внешних дифференцирований. А именно, для векторного пространства с нулевой скобкой Ли алгебру Ли можно отождествить с .
Примеры
Матричные алгебры Ли
Группа матриц — это группа Ли, состоящая из обратимых матриц, где групповая операция G — умножение матриц. Соответствующая алгебра Ли представляет собой пространство матриц, которые являются касательными векторами к G внутри линейного пространства : оно состоит из производных гладких кривых в G в единичной матрице :
Скобка Ли задается коммутатором матриц . Учитывая алгебру Ли , можно восстановить группу Ли как подгруппу, порожденную матричной экспонентой элементов . [13] (Если быть точным, это дает единичный компонент G , если G не связен.) Здесь экспоненциальное отображение определяется как , которое сходится для каждой матрицы .
Те же комментарии применимы к комплексным подгруппам Ли и комплексной матричной экспоненте (определяемой той же формулой).
Вот некоторые матричные группы Ли и их алгебры Ли. [14]
Для положительного целого числа n специальная линейная группа состоит из всех вещественных матриц размера n × n с определителем 1. Это группа линейных отображений из в себя, которые сохраняют объем и ориентацию . Более абстрактно, это подгруппа-коммутант общей линейной группы . Ее алгебра Ли состоит из всех вещественных матриц размера n × n со следом 0. Аналогично можно определить аналогичную комплексную группу Ли и ее алгебру Ли .
Ортогональная группа играет основную роль в геометрии: это группа линейных отображений из в себя, сохраняющих длину векторов. Например, вращения и отражения принадлежат . Эквивалентно, это группа ортогональных матриц размера n x n , что означает, что . Ортогональная группа имеет две компоненты связности; единичный компонент называется специальной ортогональной группой , состоящей из ортогональных матриц с определителем 1. Обе группы имеют одну и ту же алгебру Ли , подпространство кососимметричных матриц в ( ). См. также бесконечно малые вращения с кососимметричными матрицами .
Комплексная ортогональная группа , ее единичный компонент и алгебра Ли задаются теми же формулами, которые применяются к комплексным матрицам размера n x n . Эквивалентно, это подгруппа, которая сохраняет стандартную симметричную билинейную форму на .
Унитарная группа — это подгруппа, которая сохраняет длину векторов в (относительно стандартного эрмитова скалярного произведения ). Эквивалентно, это группа унитарных матриц размера n × n (удовлетворяющих , где обозначает сопряженное транспонирование матрицы). Его алгебра Ли состоит из косоэрмитовых матриц из ( ). Это алгебра Ли над , а не над . (Действительно, i раз косоэрмитова матрица является эрмитовой, а не косоэрмитовой.) Точно так же унитарная группа является вещественной подгруппой Ли комплексной группы Ли . Например, – группа окружностей , а ее алгебра Ли (с этой точки зрения) – .
Специальная унитарная группа — это подгруппа матриц с определителем 1 в . Ее алгебра Ли состоит из косоэрмитовых матриц с нулевым следом.
Над любым полем F существует единственная неабелева алгебра Ли размерности 2 с точностью до изоморфизма. [15] Здесь имеется основа , для которой скобка задается формулой . (Это полностью определяет скобку Ли, поскольку аксиомы подразумевают, что и .) Над действительными числами можно рассматривать как алгебру Ли группы Ли аффинных преобразований действительной прямой, .
Аффинную группу G можно отождествить с группой матриц
при матричном умножении, при , . Ее алгебра Ли представляет собой подалгебру Ли , состоящую из всех матриц
В этих терминах приведенная выше основа для задается матрицами
Для любого поля одномерное подпространство является идеалом в двумерной алгебре Ли по формуле . Обе алгебры Ли и абелевы (поскольку одномерны). В этом смысле его можно разбить на абелевы «куски», что означает, что оно разрешимо (хотя и не нильпотентно), в терминологии, приведенной ниже.
Три измерения
Алгебра Гейзенберга над полем F — это трёхмерная алгебра Ли с базисом таким, что [16]
.
Ее можно рассматривать как алгебру Ли строго верхнетреугольных матриц 3 × 3 с коммутаторной скобкой Ли и базисом
Над действительными числами — алгебра Ли группы Гейзенберга , то есть группа матриц
при матричном умножении.
Для любого поля F центром является 1-мерный идеал , а фактор абелев, изоморфен . В терминологии, приведенной ниже, отсюда следует, что оно нильпотентно (хотя и не абелева).
Алгебра Ли группы вращения представляет собой пространство кососимметричных матриц размером 3x3 над . Основу задают три матрицы [17]
Коммутационные отношения между этими генераторами таковы:
Взаимное произведение векторов в определяется по той же формуле в стандартном базисе; так что алгебра Ли изоморфна . Кроме того, эквивалентен операторам компонента углового момента спина (физика) для частиц со спином 1 в квантовой механике . [18]
Алгебру Ли нельзя разбить на части так, как это можно сделать в предыдущих примерах: она проста , что означает, что она не абелева, и ее единственные идеалы — 0 и все из .
Другая простая алгебра Ли размерности 3, в данном случае над , представляет собой пространство матриц 2 x 2 с нулевым следом. Основу задают три матрицы
Скобка Ли определяется следующим образом:
Используя эти формулы, можно показать, что алгебра Ли проста, и классифицировать ее конечномерные представления (определенные ниже). [19] В терминологии квантовой механики E и F можно рассматривать как повышающие и понижающие операторы . Действительно, для любого представления из приведенных выше соотношений следует, что E отображает c - собственное пространство H ( для комплексного числа c ) в -собственное пространство, а F отображает c -собственное пространство в -собственное пространство.
Алгебра Ли изоморфна комплексификации , что означает тензорное произведение . Формулы для скобок Ли легче анализировать в случае . В результате комплексные представления группы принято анализировать , связывая их с представлениями алгебры Ли .
Бесконечные размеры
Алгебра Ли векторных полей на гладком многообразии положительной размерности является бесконечномерной алгеброй Ли над .
Алгебры Каца – Муди представляют собой большой класс бесконечномерных алгебр Ли, скажем, над , со структурой, очень похожей на структуру конечномерных простых алгебр Ли (таких как ).
Функтор, который переводит алгебру Ли над полем F в базовое векторное пространство, имеет левый сопряженный элемент , называемый свободной алгеброй Ли в векторном пространстве V. Он натянут на все повторяющиеся скобки Ли элементов V по модулю только отношений, вытекающих из определения алгебры Ли. Свободная алгебра Ли бесконечномерна для V размерности не менее 2. [20]
Представительства
Определения
Учитывая векторное пространство V , пусть обозначает алгебру Ли, состоящую из всех линейных отображений из V в себя, со скобкой, заданной . Представление алгебры Ли на V — это гомоморфизм алгебры Ли .
То есть отправляет каждый элемент в линейное отображение из V в себя таким образом, что скобка Ли соответствует коммутатору линейных отображений.
Представление называется точным, если его ядро равно нулю. Теорема Адо утверждает, что каждая конечномерная алгебра Ли над полем нулевой характеристики имеет точное представление в конечномерном векторном пространстве. Кенкичи Ивасава распространил этот результат на конечномерные алгебры Ли над полем любой характеристики. [21] Эквивалентно, каждая конечномерная алгебра Ли над полем F изоморфна подалгебре Ли для некоторого положительного целого числа n .
Присоединенное представление
Для любой алгебры Ли присоединенным представлением является представление
предоставлено .
Цели теории представлений
Одним из важных аспектов изучения алгебр Ли (особенно полупростых алгебр Ли, как они определены ниже) является изучение их представлений. Хотя теорема Адо является важным результатом, основная цель теории представлений не состоит в том, чтобы найти точное представление данной алгебры Ли . Действительно, в полупростом случае присоединенное представление уже является точным. Скорее, цель состоит в том, чтобы понять все возможные представления . Для полупростой алгебры Ли над полем нулевой характеристики теорема Вейля [22] утверждает, что каждое конечномерное представление является прямой суммой неприводимых представлений (тех, у которых нет нетривиальных инвариантных подпространств). Конечномерные неприводимые представления хорошо понятны с нескольких точек зрения; см. теорию представлений полупростых алгебр Ли и формулу характера Вейля .
Универсальная обертывающая алгебра
Функтор, который переводит ассоциативную алгебру A над полем F в A как алгебру Ли (по ), имеет левый сопряженный , называемый универсальной обертывающей алгеброй . Чтобы построить это: учитывая алгебру Ли , пусть
быть тензорной алгеброй на , также называемой свободной ассоциативной алгеброй на векторном пространстве . Здесь обозначается тензорное произведение F -векторных пространств . Пусть I — двусторонний идеал , порожденный элементами для ; тогда универсальная обертывающая алгебра является факторкольцом . Оно удовлетворяет теореме Пуанкаре – Биркгофа – Витта : если это базис для k -векторного пространства, то базис для задается всеми упорядоченными произведениями с натуральными числами. В частности, отображение инъективно. [23]
Представления эквивалентны модулям над универсальной обертывающей алгеброй. Тот факт, что это инъективно, означает, что каждая алгебра Ли (возможно, бесконечной размерности) имеет точное представление (бесконечной размерности), а именно ее представление на . Это также показывает, что каждая алгебра Ли содержится в алгебре Ли, ассоциированной с некоторой ассоциативной алгеброй.
Теория представлений в физике
Теория представлений алгебр Ли играет важную роль в различных разделах теоретической физики. Там рассматриваются операторы в пространстве состояний, удовлетворяющие некоторым естественным коммутационным соотношениям. Эти коммутационные отношения обычно возникают из-за симметрии задачи, в частности, они представляют собой отношения алгебры Ли соответствующей группы симметрии. Примером являются операторы углового момента , коммутационные соотношения которых аналогичны коммутационным соотношениям алгебры Ли группы вращений SO(3) . Обычно пространство состояний далеко не является неприводимым относительно соответствующих операторов, но можно попытаться разложить его на неприводимые части. При этом необходимо знать неприводимые представления данной алгебры Ли. Например, при изучении квантового атома водорода учебники по квантовой механике классифицируют (более или менее явно) конечномерные неприводимые представления алгебры Ли . [18]
Теория структуры и классификация
Алгебры Ли можно до некоторой степени классифицировать. Это мощный подход к классификации групп Ли.
Алгебра Ли абелеваесли скобка Ли исчезает; то есть [ x , y ] = 0 для всех x и y в . В частности, алгебра Ли абелевой группы Ли (такой как сложенная группа или группа тора ) является абелевой. Каждая конечномерная абелева алгебра Ли над полем изоморфна для некоторого , что означает n -мерное векторное пространство с нулевой скобкой Ли.
Более общий класс алгебр Ли определяется обращением в нуль всех коммутаторов заданной длины. Во-первых, подалгебра-коммутант (или производная подалгебра ) алгебры Ли — это , что означает линейное подпространство, натянутое на все скобки с . Коммутаторная подалгебра — это идеал в , фактически наименьший идеал такой, что фактор-алгебра Ли абелева. Это аналог коммутанта группы .
становится нулевым после конечного числа шагов. Эквивалентно, является нильпотентным, если существует конечная последовательность идеалов в ,
такое, что является центральным для каждого j . По теореме Энгеля алгебра Ли над любым полем нильпотентна тогда и только тогда, когда для любого u из присоединенного эндоморфизма
становится нулевым после конечного числа шагов. Эквивалентно, разрешима, если существует конечная последовательность подалгебр Ли,
такой, что является идеалом с абелевой для каждого j . [25]
Каждая конечномерная алгебра Ли над полем имеет единственный максимальный разрешимый идеал, называемый ее радикалом . [26] При соответствии Лия нильпотентные (соответственно разрешимые) группы Ли соответствуют нильпотентным (соответственно разрешимым) алгебрам Ли над .
Например, для положительного целого числа n радикал является его центром, одномерным подпространством, охватываемым единичной матрицей. Примером разрешимой алгебры Ли является пространство верхнетреугольных матриц в ; это не нильпотентно, когда . Примером нильпотентной алгебры Ли является пространство строго верхнетреугольных матриц в ; это не абелева ситуация, когда .
Простое и полупростое
Алгебра Ли называется простой , если она не абелева и единственными идеалами в ней являются 0 и . (В частности, одномерная — обязательно абелева — алгебра Ли по определению не является простой, даже если ее единственные идеалы — 0 и .) Конечномерная алгебра Ли называется полупростой , если единственный разрешимый идеал в ней равен 0. В характеристике нуль, алгебра Ли полупроста тогда и только тогда, когда она изоморфна произведению простых алгебр Ли, . [27]
Например, алгебра Ли проста для любого поля F нулевой характеристики (или просто характеристики, не делящей n ). Алгебра Ли проста для любого . Алгебра Ли над проста, если или . [28] (Существуют «исключительные изоморфизмы» и .)
Понятие полупростоты алгебр Ли тесно связано с полной сводимостью (полупростотой) их представлений. Когда основное поле F имеет нулевую характеристику, каждое конечномерное представление полупростой алгебры Ли является полупростым (т. е. прямой суммой неприводимых представлений). [22]
Конечномерная алгебра Ли над полем нулевой характеристики называется редуктивной, если ее присоединенное представление полупросто. Любая редуктивная алгебра Ли изоморфна произведению абелевой алгебры Ли и полупростой алгебры Ли. [29]
Например, является редуктивным для F нулевой характеристики: при , он изоморфен произведению
где F обозначает центр одномерного подпространства, охватываемого единичной матрицей. Поскольку специальная линейная алгебра Ли проста, содержит мало идеалов: только 0, центр F , и все из .
Критерий Картана
Критерий Картана ( Эли Картана ) дает условия для того, чтобы конечномерная алгебра Ли нулевой характеристики была разрешимой или полупростой. Это выражается через форму Киллинга , симметричную билинейную форму, определяемую формулой
где tr обозначает след линейного оператора. А именно: алгебра Ли полупроста тогда и только тогда, когда форма Киллинга невырождена . Алгебра Ли разрешима тогда и только тогда, когда [30]
Классификация
Разложение Леви утверждает, что каждая конечномерная алгебра Ли над полем нулевой характеристики является полупрямым произведением своего разрешимого радикала и полупростой алгебры Ли. [31] Более того, полупростая алгебра Ли нулевой характеристики является произведением простых алгебр Ли, как упоминалось выше. Это фокусирует внимание на проблеме классификации простых алгебр Ли.
Простые алгебры Ли конечной размерности над алгебраически замкнутым полем F нулевой характеристики были классифицированы Киллингом и Картаном в 1880-х и 1890-х годах с использованием систем корней . А именно, каждая простая алгебра Ли имеет тип An , Bn , Cn , Dn , E6 , E7 , E8 , F4 или G2 . [32] Здесь простая алгебра Ли типа An равна , B n равна , C n равна , а D n равна . Остальные пять известны как исключительные алгебры Ли .
Классификация конечномерных простых алгебр Ли более сложна, но она также была решена Картаном ( эквивалентную классификацию см. В простой группе Ли ). Алгебру Ли можно анализировать, рассматривая ее комплексификацию .
В годы, предшествовавшие 2004 году, конечномерные простые алгебры Ли над алгебраически замкнутым полем характеристик были классифицированы Ричардом Эрлом Блоком , Робертом Ли Уилсоном, Александром Преметом и Хельмутом Стрейдом. (См. Ограниченная алгебра Ли # Классификация простых алгебр Ли .) Оказывается, в положительной характеристике гораздо больше простых алгебр Ли, чем в нулевой характеристике.
Связь с группами Ли
Касательное пространство сферы в точке . Если бы касательное пространство было единичным элементом группы Ли, оно было бы алгеброй Ли.
Хотя алгебры Ли можно изучать сами по себе, исторически они возникли как средство изучения групп Ли .
Отношения между группами Ли и алгебрами Ли можно резюмировать следующим образом. Каждая группа Ли определяет алгебру Ли над (точнее, касательным пространством в единице). И наоборот, для каждой конечномерной алгебры Ли существует связная группа Ли с алгеброй Ли . Это третья теорема Ли ; см. формулу Бейкера-Кэмпбелла-Хаусдорфа . Эта группа Ли не определена однозначно; однако любые две группы Ли с одной и той же алгеброй Ли локально изоморфны и, более строго, имеют одно и то же универсальное накрытие . Например, специальная ортогональная группа SO(3) и специальная унитарная группа SU(2) порождают одну и ту же алгебру Ли, которая изоморфна алгебре Ли с векторным произведением, но SU(2) представляет собой односвязное двойное накрытие группы SO. (3).
Для односвязных групп Ли имеется полное соответствие: взятие алгебры Ли дает эквивалентность категорий односвязных групп Ли алгебрам Ли конечной размерности над . [33]
Соответствие между алгебрами Ли и группами Ли используется несколькими способами, в том числе в классификации групп Ли и теории представлений групп Ли. Для конечномерных представлений существует эквивалентность категорий между представлениями вещественной алгебры Ли и представлениями соответствующей односвязной группы Ли. Это упрощает теорию представлений групп Ли: часто легче классифицировать представления алгебры Ли, используя линейную алгебру.
Любая связная группа Ли изоморфна своему универсальному накрытию по модулю дискретной центральной подгруппы. [34] Таким образом, классификация групп Ли становится просто вопросом подсчета дискретных подгрупп центра , как только алгебра Ли известна. Например, действительные полупростые алгебры Ли были классифицированы Картаном, и поэтому классификация полупростых групп Ли хорошо понятна.
Для бесконечномерных алгебр Ли теория Ли работает хуже. Экспоненциальное отображение не обязательно должно быть локальным гомеоморфизмом (например, в группе диффеоморфизмов окружности существуют диффеоморфизмы, сколь угодно близкие к единице, не входящие в образ экспоненциального отображения). Более того, в рамках существующих представлений о бесконечномерных группах Ли некоторые бесконечномерные алгебры Ли не происходят ни из какой группы. [35]
Теория Ли также не так хорошо работает для бесконечномерных представлений конечномерной группы. Даже для аддитивной группы бесконечномерное представление обычно не может быть дифференцировано для получения представления ее алгебры Ли в том же пространстве, или наоборот. [36] Теория модулей Хариш-Чандры представляет собой более тонкую связь между бесконечномерными представлениями групп и алгебрами Ли.
Реальная форма и комплексификация
Учитывая комплексную алгебру Ли , реальная алгебра Ли называется вещественной формой , если комплексификация изоморфна . Реальная форма не обязательно должна быть уникальной; например, имеет две вещественные формы с точностью до изоморфизма, и . [37]
Учитывая полупростую комплексную алгебру Ли , ее расщепленная форма - это действительная форма, которая расщепляется; т. е. у нее есть подалгебра Картана, которая действует через присоединенное представление с действительными собственными значениями. Расщепляемая форма существует и единственна (с точностью до изоморфизма). Компактная форма — это действительная форма, которая является алгеброй Ли компактной группы Ли. Компактная форма существует и также единственна с точностью до изоморфизма. [37]
Алгебра Ли с дополнительными структурами
Алгебра Ли может быть снабжена дополнительными структурами, совместимыми со скобкой Ли. Например, градуированная алгебра Ли — это алгебра Ли (или, в более общем смысле, супералгебра Ли ) с совместимой градуировкой. Дифференциальная градуированная алгебра Ли также включает в себя дифференциал, что делает базовое векторное пространство цепным комплексом .
Определение алгебры Ли над полем распространяется на определение алгебры Ли над любым коммутативным кольцом R . А именно, алгебра Ли над R — это R - модуль с знакопеременным R -билинейным отображением , удовлетворяющим тождеству Якоби. Алгебру Ли над кольцом целых чисел иногда называют кольцом Ли . (Это не имеет прямого отношения к понятию группы Ли.)
Кольца Ли используются при изучении конечных p-групп (для простого числа p ) посредством соответствия Лазара . [39] Нижние центральные факторы конечной p -группы являются конечными абелевыми p -группами. Прямая сумма нижних центральных множителей задается структурой кольца Ли путем определения скобки как коммутатора двух представителей смежного класса; см. пример ниже.
p-адические группы Ли связаны с алгебрами Ли над полем p -адических чисел , а также над кольцом p -адических целых чисел . [40] Часть конструкции Клода Шевалле конечных групп лиева типа включает в себя показ того, что простая алгебра Ли над комплексными числами происходит из алгебры Ли над целыми числами, а затем (с большей осторожностью) групповая схема над целыми числами. . [41]
Примеры
Вот конструкция колец Ли, возникшая в результате изучения абстрактных групп. Для элементов группы определите коммутатор . Пусть – фильтрация группы , то есть цепочка подгрупп такая, что содержится в для всех . (Для соответствия Лазара фильтрацией считается нижний центральный ряд группы G. ) Тогда
является кольцом Ли со сложением, заданным групповым умножением (абелевым на каждой факторгруппе ), и со скобкой Ли, заданной коммутаторами в группе: [42]
Например, кольцо Ли, связанное с нижним центральным рядом на группе диэдра порядка 8, представляет собой алгебру Ли Гейзенберга размерности 3 над полем .
Определение с использованием теоретико-категорной нотации
Определение алгебры Ли можно переформулировать более абстрактно на языке теории категорий . А именно, можно определить алгебру Ли в терминах линейных отображений, то есть морфизмов в категории векторных пространств , без рассмотрения отдельных элементов. (В этом разделе предполагается, что поле, в котором определяется алгебра, имеет характеристику, отличную от 2.)
Для теоретико-категорного определения алгебр Ли необходимы два изоморфизма кос . Если A — векторное пространство, изоморфизм обмена определяется формулой
Переплетение циклических перестановок определяется как
где тождественный морфизм. Эквивалентно, определяется
С помощью этих обозначений алгебру Ли можно определить как объект в категории векторных пространств вместе с морфизмом
^ В более общем смысле, существует понятие алгебры Ли над любым коммутативным кольцом R : R -модуль с знакопеременным R -билинейным отображением, которое удовлетворяет тождеству Якоби (Бурбаки (1989, раздел 2)).
Рекомендации
^ О'Коннор и Робертсон 2000.
^ О'Коннор и Робертсон 2005.
^ Хамфрис 1978, с. 1.
^ Бурбаки 1989, §1.2. Пример 1.
^ Бурбаки 1989, §1.2. Пример 2.
^ В силу антикоммутативности коммутатора понятия левого и правого идеала в алгебре Ли совпадают.
Холл, Брайан С. (2015). Группы Ли, алгебры Ли и представления: элементарное введение . Тексты для аспирантов по математике. Том. 222 (2-е изд.). Спрингер. дои : 10.1007/978-3-319-13467-3. ISBN 978-3319134666. ISSN 0072-5285. МР 3331229.
Хамфрис, Джеймс Э. (1978). Введение в алгебры Ли и теорию представлений . Тексты для аспирантов по математике. Том. 9 (2-е изд.). Спрингер-Верлаг. ISBN 978-0-387-90053-7. МР 0499562.
Милнор, Джон (2010) [1986], «Замечания о бесконечномерных группах Ли», Сборник статей Джона Милнора , том. 5, стр. 91–141, ISBN.978-0-8218-4876-0, МР 0830252