Алгебра Ли - Lie algebra

В математика, а Алгебра Ли (произносится /ля/ «Ли») является векторное пространство вместе с операция называется Кронштейн лжи, переменная билинейная карта , что удовлетворяет Личность Якоби.[а] Векторное пространство вместе с этой операцией является неассоциативная алгебра, что означает, что скобка Ли не обязательно ассоциативный.

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

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

Элементарный пример - пространство трехмерных векторов с операцией скобок, определяемой перекрестное произведение Это кососимметрично, поскольку , и вместо ассоциативности он удовлетворяет тождеству Якоби:

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

История

Алгебры Ли были введены для изучения концепции бесконечно малые преобразования к Мариус Софус Ли в 1870-х гг.,[1] и независимо обнаружен Вильгельм Киллинг[2] в 1880-х гг. Название Алгебра Ли был дан Герман Вейль в 1930-е годы; в старых текстах термин бесконечно малая группа используется.

Определения

Определение алгебры Ли

Алгебра Ли - это векторное пространство над некоторыми поле F вместе с бинарная операция называется скобкой Ли, удовлетворяющей следующим аксиомам:[b]

для всех скаляров а, б в F и все элементы Икс, у, z в .
для всех Икс в .
для всех Икс, у, z в .

Использование билинейности для расширения скобки Ли и с помощью альтернативности показывает, что для всех элементов Икс, у в , показывая, что билинейность и альтернативность вместе означают

для всех элементов Икс, у в . Если поле характеристика не равно 2, то антикоммутативность влечет альтернативность.[3]

Алгебру Ли принято обозначать строчной буквой фрактур письмо, такое как . Если алгебра Ли связана с Группа Ли, то алгебра обозначается фрактурной версией группы: например, алгебра Ли группы SU (п) является .

Генераторы и измерение

Элементы алгебры Ли говорят генерировать это, если наименьшая подалгебра, содержащая эти элементы, является сам. В измерение алгебры Ли является ее размерностью как векторного пространства над F. Мощность минимального порождающего множества алгебры Ли всегда меньше или равна ее размерности.

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

Подалгебры, идеалы и гомоморфизмы

Скобка Ли не требуется ассоциативный, означающий, что не обязательно равняться . Однако это гибкий. Тем не менее, большая часть терминологии ассоциативного кольца и алгебры обычно применяется к алгебрам Ли. А Подалгебра Ли подпространство которая замкнута относительно скобки Ли. An идеальный - подалгебра, удовлетворяющая более сильному условию:[4]

Алгебра Ли гомоморфизм является линейным отображением, совместимым с соответствующими скобками Ли:

Что касается ассоциативных колец, то идеалы - это в точности ядра гомоморфизмов; учитывая алгебру Ли и идеал в нем строится факторная алгебра или же фактор-алгебра , а первая теорема об изоморфизме справедливо для алгебр Ли.

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

В централизатор подалгебра подмножества набор элементов, коммутирующих с S: то есть, . Централизатор сам по себе центр . Аналогично для подпространства S, то нормализатор подалгебра S является .[5] Эквивалентно, если S подалгебра Ли, самая большая подалгебра такая, что это идеал .

Примеры

За , коммутатор двух элементов

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

Прямая сумма и полупрямой продукт

Для двух алгебр Ли и , их прямая сумма Алгебра Ли - это векторное пространствосостоящий из всех пар , с операцией

так что копии ездить друг с другом: Позволять - алгебра Ли и идеал . Если каноническая карта разбивает (т.е. допускает секцию), то считается полупрямой продукт из и , . Смотрите также полупрямая сумма алгебр Ли.

Теорема Леви говорит, что конечномерная алгебра Ли является полупрямым произведением своего радикала и дополнительной подалгебры (Подалгебра Леви ).

Производные

А происхождение на алгебре Ли (или на любом неассоциативная алгебра ) это линейная карта что подчиняется Закон Лейбница, то есть,

для всех . В внутреннее происхождение связаны с любым сопряженное отображение определяется . (Это вывод как следствие тождества Якоби.) внешние отведения являются выводами, не вытекающими из присоединенного представления алгебры Ли. Если является полупростой, каждый вывод является внутренним.

Выводы образуют векторное пространство , которая является подалгеброй Ли в ; скоба коммутаторная. Внутренние дифференцирования образуют подалгебру Ли в .

Примеры

Например, для идеала алгебры Ли присоединенное представление из действует как внешние производные на поскольку для любого и . Для алгебры Ли верхнетреугольных матриц в , у него есть идеал строго верхнетреугольных матриц (где единственные ненулевые элементы находятся над диагональю матрицы). Например, коммутатор элементов в и дает

показывает, что существуют внешние производные от в .

Расщепленная алгебра Ли

Позволять V - конечномерное векторное пространство над полем F, алгебра Ли линейных преобразований и подалгебра Ли. потом как говорят расколоть если корни характеристических многочленов всех линейных преобразований от находятся в базовом поле F.[6] В более общем смысле, конечномерная алгебра Ли называется расщепляемой, если в ней есть подалгебра Картана, образ которой под действием присоединенное представительство является расщепляемой алгеброй Ли. А разделить реальную форму комплексной полупростой алгебры Ли (ср. # Реальная форма и сложность ) является примером расщепляемой вещественной алгебры Ли. Смотрите также расщепленная алгебра Ли для дополнительной информации.

Основа векторного пространства

Для практических расчетов часто бывает удобно выбрать явный базис векторного пространства для алгебры. Типовая конструкция для этой основы представлена ​​в статье. структурные константы.

Определение с использованием теоретико-категориальных обозначений

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

куда

это диагональный морфизм. Это фактически означает, что . Это дополняется Личность Якоби, который принимает вид

где σ - циклическая перестановка плетение . Здесь - морфизм тождества, и

принимая

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

Примеры

Векторные пространства

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

Ассоциативная алгебра с коммутаторной скобкой

  • На ассоциативная алгебра над полем с умножением , скобка Ли может быть определена коммутатор . С помощью этой скобки является алгеброй Ли.[7] Ассоциативная алгебра А называется обволакивающая алгебра алгебры Ли . Каждую алгебру Ли можно вложить в алгебру, возникающую таким образом из ассоциативной алгебры; видеть универсальная обертывающая алгебра.
  • Ассоциативная алгебра эндоморфизмы из F-векторное пространство с указанной скобкой Ли обозначается .
  • Для конечномерного векторного пространства , предыдущий пример становится алгеброй Ли п × п матрицы, обозначенные или же ,[8] с кронштейном , куда обозначает матричное умножение. Это алгебра Ли общая линейная группа, состоящий из обратимых матриц.

Специальные матрицы

Две важные подалгебры в находятся:

Матричные алгебры Ли

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

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

Ниже приведены примеры алгебр Ли матричных групп Ли:[10]

  • В специальная линейная группа , состоящий из всех п × п матрицы с определителем 1. Ее алгебра Ли состоит из всех п × п матрицы с комплексными элементами и следом 0. Аналогично можно определить соответствующую вещественную группу Ли и ее алгебра Ли .
  • В унитарная группа состоит из п × п унитарные матрицы (удовлетворяющие ). Его алгебра Ли состоит из кососамосопряженных матриц ().
  • Специальный ортогональная группа , состоящий из вещественных ортогональных матриц с определителем единица (). Его алгебра Ли состоит из вещественных кососимметричных матриц (). Полная ортогональная группа без условия детерминант-единица состоит из и отдельный связанный компонент, поэтому он имеет одно и тоже Алгебра Ли как . Точно так же можно определить сложную версию этой группы и алгебры, просто разрешив сложные матричные элементы.

Два измерения

  • На любом поле существует, с точностью до изоморфизма, единственная двумерная неабелева алгебра Ли. С генераторами х, у, его скобка определяется как . Это порождает аффинная группа в одном измерении.
Это можно реализовать с помощью матриц:

С

для любого натурального числа и любой , видно, что полученные элементы группы Ли являются верхнетреугольными матрицами 2 × 2 с единичной нижней диагональю:

Три измерения

  • В Алгебра Гейзенберга - трехмерная алгебра Ли, порожденная элементами Икс, у, и z с скобками Ли
.
Оно реализовано как пространство строго верхнетреугольных матриц 3 × 3 с коммутаторной скобкой Ли:
Любой элемент Группа Гейзенберга таким образом можно представить как произведение генераторов групп, т. е. матричные экспоненты этих генераторов алгебры Ли,
  • Алгебра Ли группы SO (3) натянута на три матрицы[11]
Коммутационные соотношения между этими генераторами следующие:
Трехмерный Евклидово пространство со скобкой Ли, заданной перекрестное произведение из векторов имеет те же коммутационные соотношения, что и выше: таким образом, он изоморфен . Эта алгебра Ли унитарно эквивалентна обычной Спин (физика) операторы компонент углового момента для частиц со спином 1 в квантовая механика.

Бесконечные измерения

  • Важный класс бесконечномерных вещественных алгебр Ли возникает в дифференциальная топология. Пространство гладкого векторные поля на дифференцируемое многообразие M образует алгебру Ли, где скобка Ли определяется как коммутатор векторных полей. Одним из способов выражения скобки Ли является формализм Производные Ли, который идентифицирует векторное поле Икс с оператором в частных производных первого порядка LИкс действуя на гладкие функции, позволяя LИкс(ж) - производная по направлению функции ж в направлении Икс. Скобка Ли [Икс,Y] двух векторных полей - это векторное поле, определяемое своим действием на функции по формуле:

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

Определения

Учитывая векторное пространство V, позволять обозначим алгебру Ли, состоящую из всех линейных эндоморфизмы из V, со скобкой в ​​виде . А представление алгебры Ли на V является гомоморфизмом алгебр Ли

Представление называется верный если его ядро ​​равно нулю. Теорема Адо[12] утверждает, что каждая конечномерная алгебра Ли имеет точное представление в конечномерном векторном пространстве.

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

Для любой алгебры Ли , мы можем определить представление

данный ; это представление в векторном пространстве называется присоединенное представительство.

Цели теории представлений

Одним из важных аспектов изучения алгебр Ли (особенно полупростых алгебр Ли) является изучение их представлений. (Действительно, большинство книг, перечисленных в разделе ссылок, посвящают значительную часть своих страниц теории представлений.) Хотя теорема Адо является важным результатом, основная цель теории представлений не состоит в том, чтобы найти точное представление данной алгебры Ли. . Действительно, в полупростом случае присоединенное представление уже точное. Скорее цель - понять все возможное представление , с точностью до естественного понятия эквивалентности. В полупростом случае над полем нулевой характеристики Теорема Вейля[13] говорит, что всякое конечномерное представление является прямой суммой неприводимых представлений (тех, у которых нет нетривиальных инвариантных подпространств). Неприводимые представления, в свою очередь, классифицируются теорема наивысшего веса.

Теория представлений в физике

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

Теория строения и классификация

Алгебры Ли можно до некоторой степени классифицировать. В частности, это имеет приложение к классификации групп Ли.

Абелева, нильпотентная и разрешимая

Аналогично абелевым, нильпотентным и разрешимым группам, определенным в терминах производных подгрупп, можно определить абелевы, нильпотентные и разрешимые алгебры Ли.

Алгебра Ли является абелевский если скобка Ли обращается в нуль, т.е. [Икс,у] = 0, для всех Икс и у в . Абелевым алгебрам Ли соответствуют коммутативные (или абелевский ) связные группы Ли, такие как векторные пространства или же тори , и все имеют вид имея в виду п-мерное векторное пространство с тривиальной скобкой Ли.

Более общий класс алгебр Ли определяется обращением в нуль всех коммутаторов данной длины. Алгебра Ли является нильпотентный если нижний центральный ряд

в конце концов становится равным нулю. К Теорема Энгеля, алгебра Ли нильпотентна тогда и только тогда, когда для каждого ты в то присоединенный эндоморфизм

нильпотентен.

В более общем смысле алгебра Ли как говорят разрешимый если производный ряд:

в конце концов становится равным нулю.

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

Простой и полупростой

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

Понятие полупростоты алгебр Ли тесно связано с полной сводимостью (полупростотой) их представлений. Когда наземное поле F имеет характеристика нулем, любое конечномерное представление полупростой алгебры Ли полупростой (т.е. прямая сумма неприводимых представлений). В общем, алгебра Ли называется редуктивный если присоединенное представление полупростое. Таким образом, полупростая алгебра Ли редуктивна.

Критерий Картана

Критерий Картана дает условия для того, чтобы алгебра Ли была нильпотентной, разрешимой или полупростой. Он основан на понятии Форма убийства, а симметричная билинейная форма на определяется формулой

где tr обозначает след линейного оператора. Алгебра Ли полупроста тогда и только тогда, когда форма Киллинга невырожденный. Алгебра Ли разрешимо тогда и только тогда, когда

Классификация

В Разложение Леви выражает произвольную алгебру Ли как полупрямая сумма его разрешимого радикала и полупростой алгебры Ли почти каноническим образом. (Такое разложение существует для конечномерной алгебры Ли над полем нулевой характеристики.[14]) Кроме того, полупростые алгебры Ли над алгебраически замкнутым полем полностью классифицированы корневые системы.

Отношение к группам Ли

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

Кратко опишем связь между группами Ли и алгебрами Ли. Любая группа Ли порождает канонически детерминированную алгебру Ли (конкретно, касательное пространство в единице). Наоборот, для любой конечномерной алгебры Ли , существует соответствующая связная группа Ли с алгеброй Ли . Это Третья теорема Ли; увидеть Формула Бейкера – Кэмпбелла – Хаусдорфа. Эта группа Ли не определена однозначно; однако любые две группы Ли с одной и той же алгеброй Ли являются локально изоморфный, и, в частности, имеют одинаковые универсальный чехол. Например, специальная ортогональная группа ТАК (3) и особая унитарная группа SU (2) дают начало той же алгебре Ли, которая изоморфна с кросс-произведением, но SU (2) является односвязным двумерным покрытием SO (3).

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

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

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

Если алгебра Ли бесконечномерна, проблема более тонкая. Во многих случаях экспоненциальное отображение даже не локально гомеоморфизм (например, в Diff (S1), можно найти сколь угодно близкие к тождеству диффеоморфизмы, которых нет в образе exp). Более того, некоторые бесконечномерные алгебры Ли не являются алгеброй Ли какой-либо группы.

Реальная форма и сложность

Учитывая комплексная алгебра Ли , действительная алгебра Ли считается реальная форма из если комплексирование изоморфен .[15] Настоящая форма не обязательно должна быть уникальной; Например, имеет две реальные формы и .[15]

Для полупростой конечномерной комплексной алгебры Ли , а разделенная форма это реальная форма, которая расщепляется; т. е. имеет подалгебру Картана, которая действует через присоединенное представление с действительными собственными значениями. Расщепленная форма существует и единственна (с точностью до изоморфизмов).[15] А компактная форма - вещественная форма, являющаяся алгеброй Ли компактной группы Ли. Компактная форма существует и также уникальна.[15]

Алгебра Ли с дополнительными структурами

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

А симплициальная алгебра Ли это симплициальный объект в категории алгебр Ли; другими словами, он получается заменой основного набора на симплициальный набор (так что его можно было бы лучше рассматривать как семейство алгебр Ли).

Кольцо лжи

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

  • Билинейность:
для всех Икс, у, zL.
  • В Личность Якоби:
для всех Икс, у, z в L.
  • Для всех Икс в L:

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

Кольца Ли используются при изучении конечных p-группы сквозь Лазарная переписка '. Нижние центральные факторы п-группы конечные абелевы п-группы, поэтому модули над Z/пZ. Прямая сумма нижних центральных множителей задает структуру кольца Ли, определяя скобку как коммутатор двух представителей смежного класса. Кольцевая структура Ли обогащена другим гомоморфизмом модулей - потображение степени, превращающее ассоциированное кольцо Ли в так называемое ограниченное кольцо Ли.

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

Примеры

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

Смотрите также

Замечания

  1. ^ Скобки [,] представляют собой билинейную операцию «×»; часто это коммутатор: [Икс,у] = Икс уу Икс, для ассоциативного произведения в том же векторном пространстве. Но не обязательно!
  2. ^ Бурбаки (1989 г., Раздел 2.) позволяет в более общем случае модуль через коммутативное кольцо; в этой статье это называется Кольцо лжи.

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

  1. ^ О'Коннор и Робертсон 2000
  2. ^ О'Коннор и Робертсон 2005
  3. ^ Хамфрис 1978, п. 1
  4. ^ В силу антикоммутативности коммутатора понятия левого и правого идеала в алгебре Ли совпадают.
  5. ^ Якобсон 1962, п. 28
  6. ^ Якобсон 1962, п. 42
  7. ^ Бурбаки 1989, §1.2. Пример 1.
  8. ^ Бурбаки 1989, §1.2. Пример 2.
  9. ^ Хамфрис 1978, п. 2
  10. ^ Зал 2015, §3.4
  11. ^ Зал 2015, Пример 3.27
  12. ^ Якобсон 1962, Гл. VI
  13. ^ Зал 2015, Теорема 10.9
  14. ^ Якобсон 1962, Гл. III, § 9.
  15. ^ а б c d Фултон и Харрис 1991, §26.1.

Источники

внешняя ссылка