В математике, группа Ли (которая произносится «Ли») - это группа, элементы организованы непрерывно и плавно, в отличие от дискретных групп, где элементы разделены - это делает группы Ли дифференцируемым множеством. Грубо говоря, группа Ли - это непрерывная группа : это группа, элементы которой описываются используемыми реальными условиями. Таким образом, группы обеспечения естественной модели концепции непрерывной симметрии, такой как вращательная система в трех измерениях (заданная специальная ортогональной группой ). Группы Ли широко используются во многих областях современной математики и физики.
Классически группы Ли были обнаружены путем изучения матричных подгрупп , используютсяся в или , группа обратимых матриц над или . Группы Ли названы в честь норвежского математика Софуса Ли (1842–1899), заложившего основы теории непрерывных групп преобразований. Первоначальная мотивация Ли для введения групп Ли заключалась в моделировании непрерывных симметрий дифференциальных уравнений, почти таким же образом, как конечные группы используются в теории Галуа для моделирования дискретных симметрий алгебраические уравнения.
группы Ли гладких дифференцируемых разнообразий и как таковые могут быть изучены с помощью дифференциального исчисления, в отличие от случая более общих топологических групп. Одна из ключевых идей теории групп состоит в том, чтобы заменить глобальный объект, его локальной или линеаризованной версией, которую сам Ли назвал ее «бесконечно малой группой» и которая с тех пор стала известна как ее алгебра Ли..
Группы Ли огромную роль в современной геометрии на различных уровнях. Феликс Клейн утверждал в своей программе на Эрлангене, что можно рассматривать различные «геометрии», задав соответствующую группу преобразований, которая оставляет геометрические свойства неизменными. Таким образом, евклидова геометрия соответствует выбору группы E (3) сохраняющих расстояние преобразований евклидова пространства R, конформная геометрия соответствует увеличению группы до конформная группа, тогда как в проективной геометрии интересуются свойствами, инвариантными относительно проективной группы. Эта идея позже привела к понятию G-структуры, где G - группа Ли «локальных» симметрий многообразия.
Группы Ли (и связанные с ними алгебры Ли) играют важную роль в современной физике, при этом Ли обычно играет роль симметрии физической системы. Здесь особенно важны представления группы Ли (или ее алгебры Ли ). Теория представлений широко используется в физике элементарных частиц. Группы, представления имеют особое значение, включая группу вращений SO (3) (или ее двойное покрытие SU (2) ), специальную унитарную группу SU (3) и группа Пуанкаре.
На «глобальном» уровне всякий раз, когда группа Ли действует на геометрический объект, такой как риманов или симплектическое многообразие, это действие обеспечивает меру жесткости и дает богатую алгебраическую структуру. Наличие множества симметрий, накладываемых через действие группы на непрерывии, накладывает сильные ограничения на его геометрию и облегчает анализ разнообразия. Линейные действия групп Ли особенно важны и изучаются в теории представлений.
В 1940–1950 годах Эллис Колчин, Арманд Борель и Клод Шевалле понял, что многие основополагающие результаты, указанные групп Ли, можно развить полностью алгебраически, что привело к теории алгебраических групп, определенных над произвольным полем. Это понимание открыло новые возможности в чистой алгебре, предоставив единообразную конструкцию для сообщества конечных простых, а также в алгебраической геометрии. Теория автоморфных форм, важный раздел современной теории чисел, широко занимается аналогами групп Ли над кольцами аделей ; p-адические Группы Ли играет важную роль благодаря их связи сми представлений Галуа в теории чисел.
A вещественная группа Ли - это группа, которая также является конечным вещественным гладким разнообразием, в которой групповые операции умножение и инверсия - это гладкие карты. Гладкость группового умножения
означает, что μ является гладким отображением множество произведений G × G в G. Эти два требования можно объединить с единственным требованием, что отображение
- гладкое многообразие произведений в G.
Теперь мы представляем пример группы с несчетным числом элементов, которая не является группой Ли в определенной топологии. По
с фиксированным иррациональным числом, является подгруппа torus , которая не является группой, если задана топология подпространства . Если мы возьмем любую маленькую имя point в , например, часть в отключена. Группа многократно наматывается вокруг тора, никогда не достигая предыдущей точки спирали, и, таким образом, образует плотную подгруппу .
Часть группы внутри . Небольшие окрестности элемента отключены в топологии подмножества наГруппа может иметь другую топологию, в которой расстояние между двумя точками определяется как длина кратчайшего пути в группе , соединяющей до . В этой топологии гомеоморфно идентифицируется с действительной линией путем идентификации каждого элемента с номером в определении . В этой топологии - это просто группа действительных чисел при сложении и, следовательно, группа Ли.
Группа является примером «подгруппы Ли » группы Ли, которая не замкнута. См. Обсуждение подгрупп Ли ниже в разделе об основных понятиях.
Пусть обозначает группу обратимых матриц с характеристиками в . Любая закрытая подгруппа из является группой Ли; Группы Ли такого типа называются матричными группами Ли. Некоторые учебники ограничивают внимание к этому классу, в том числе Холла и Россмана. Ограничение внимания матричными группами Ли упрощает определение алгебры Ли и экспоненциального отображения. Ниже приведены стандартные примеры матричных групп Ли.
Все предыдущие примеры подпадают под заголовок классических групп.
A сложной Ли группа определена таким же образом с использованием комплексных множеств, а не реального (пример: ), и аналогично, используя альтернативное завершение метрики из , можно определить p-адическую группу Ли над p-адическими числами, топологи ческую группу, в которой каждая точка имеет p-адическую добавку.
Пятая проблема Гильберта спрашивала, может ли замена дифференцируемых разнообразий на топологические или аналитические дать новые примеры. Ответ на этот вопрос оказался отрицательным: в 1952 г. Глисон, Монтгомери и Зиппин показал, что если G - топологическое многообразие с непрерывными групповыми операциями, тогда существует ровно одна аналитическая структура на G, превращающая ее в группу Ли (см. также гипотезу Гильберта - Смита ). Если базовое многообразие может быть бесконечным числом (например, гильбертово многообразие ), то мы приходим к понятию бесконечной группы Ли. Можно определить аналоги групп над конечными полями, и они дают большинство типов конечных простых групп.
Язык теории категорий предоставляет Краткое определение групп Ли: группа Ли - это групповой объект в категории гладких разнообразий. Это важно, поскольку позволяет обобщить понятие группы на супергруппы Ли.
Группа Ли может быть определена как (Хаусдорф) топологическая группа, которая рядом с системой идентичности выглядит как группа преобразований без ссылок на дифференцируемые многообразия. Сначала мы определяем иммерслинейную группу Ли как подгруппу G общей линейной группы такой, что
(Например, замкнутая подгруппа ; то есть матричная группа Ли удовлетворяет указанным выше условиях.)
Тогда группа Ли определяет как топологическая группа, которая (1) локально изоморфна вблизи тождеств с погруженно линейная группа Ли и (2) имеет не более чем счетное число компонент связности. Отображение топологического определения, эквивалентного обычному, является техническим (и начинающим читателям следует пропустить следующее), но выполняется следующим образом:
Из топологического определения Ли следует утверждение, что если две группы изоморфны как топологические группы, то они изоморфны как группы Ли. Фактически, он устанавливает общий принцип, согласно которому в рейтинге топологии группы вместе с групповым законом определяет геометрию группы.
Группы Ли встречаются в изобилии в математике и физике. Матричные группы или алгебраические группы представляют собой (примерно) группы матриц (например, ортогональные и симплектические группы ), и они дают наибольшее количество из более общих групп Ли.
Единственные связанные группы Ли с измерением один - это вещественная линия (с групповая операция сложения) и группа круга комплексных чисел с абсолютным значением один (с групповой операцией, являющейся умножением). Группа часто обозначается как , группа из унитарных матриц.
В двух измерениях, если мы ограничим внимание односвязными группами, они классифицируются по их алгебрам Ли. Есть (с точностью до изоморфизма) только алгебры Ли размерности два. Ассоциированные односвязные группы Ли - это (с групповой операцией сложения события) и аффинная группа в измерении один, описанная в предыдущий подраздел в разделе «Первые примеры».
Существует несколько стандартных способов формирования новых групп Ли из старых. :
некоторые примеры групп, которые являются не группы Ли (кроме того, что любая группа, имеющая не более чем счетное число элементов, может рассматриваться как 0-мерная группа Ли с дискретной топологией ), это:
С каждой группой Ли мы можем связать алгебру Ли, лежащее в основе пространства касательное пространство группы Ли в единичном элементе, которое полностью соответствует локальная структура группы. Неформально мы можем думать об элементах алгебры как элементы группы, которые «бесконечно близки» к единице, а скобка Ли алгебры Ли связ с коммутатором двух таких бесконечно малых элементов. Прежде всего абстрактное определение, приведем несколько примеров:
С конкретным определением, Данные выше для группы матриц, легко работать, но с ним связаны некоторые незначительные проблемы: чтобы использовать его, сначала нужно представить группу как группу матриц, но не все группы могут быть представлены таким образом, и даже не очевидно, что алгебра Ли не зависит от используемого представления. Чтобы обойти эти проблемы, мы даем общие определения алгебры Ли группы Ли (в 4 шага):
Эта алгебра Ли конечная и имеет ту же размерность, что и многообразие G. Алгебра Ли группы локального изоморфизма определяет G с точностью до «локального изоморфизма», где две группы Ли называются локально изоморфными, если они выглядят одинаково около единицы. Проблемы о группах обычно часто решаются путем решения проблемы методом первого вызова для алгебр Ли, и затем результат для групп легко следует. Например, простые группы Ли обычно классифицируют, сначала классифицируя соответствующие алгебры Ли.
Мы также могли бы определить преобразованные алгебры Ли на T e, используя правые инвариантные настройки поля вместо левоинвариантных векторных полей. Это приводит к той же алгебре Ли, поскольку обратное отображение на G может быть обозначением левоинвариантных векторных полей с правыми инвариантными векторными полями и действует как −1 в касательном пространстве T e.
можно описать следующим образом: операция коммутатора
на G × G переводит (e, e) в e, поэтому ее производная дает билинейную операцию на T д Г. Эта билинейная операция на самом деле является нулевым отображением, но вторая производная при надлежащей идентификации касательных пространств показывает операцию, которая удовлетворяет аксиомам Ли, и она соответствует удвоенному значению, определенному через левоинвариантные поля.
Если G и H группы Ли, то гомоморфизм групп Ли f: G → H является гладким гомоморфизмом групп . В случае комплексных групп Ли требуется, чтобы такой гомоморфизм был голоморфным отображением. Однако эти требования немного жесткие; каждый непрерывный гомоморфизм между действительными группами Ли оказывается (действительным) аналитическим.
Композиция двух гомоморфизмов Ли снова является гомоморфизмом, и класс всех групп Ли вместе с этим морфизмами образует категорию. Более того, каждый гомоморфизм групп Ли индуцирует гомоморфизм между новыми алгебрами Ли. Пусть - гомоморфизм группы Ли, и пусть быть его производной в идентичности. Если мы отождествляем алгебры групп G и H с их касательными пространствами в единичных элементах, то является отображением между соответствующими алгебрами Ли:
Можно показать, что на самом деле является гомоморфизмом алгебр Ли (что означает, что это линейное отображение, которое поддерживает скобка Ли ). На языке теории категорий тогда у нас есть ковариантный функтор из категорий групп Ли в категории алгебр Ли, который переводит группу Ли в ее алгебру Ли и группу Ли гомоморфизм своей производной в единице.
Две группы Ли называются изоморфными, если между ними существует биективный гомоморфизм, обратный также выделенный гомоморфизм групп Ли. Эквивалентно, это диффеоморфизм, который также является гомоморфизмом групп.
Изоморфные группы Ли обязательно изоморфные алгебры Ли; тогда разумно спросить, как классы изоморфизма связаны с классами изоморфизма алгебр Ли.
Первым результатом в этом направлении является третья теорема Ли, которая утверждает, что любая конкретная вещественная алгебра Ли является алгеброй Ли некоторой (линейной) группы Ли. Один из способов доказать третью теорему Ли - использовать теорему Адо, в которой говорится, что всякая конечная вещественная алгебра Ли изоморфна матричной алгебре Ли. Между тем, для каждой конечной матричной алгебры Ли существует линейная группа (матричная группа Ли) с этой алгеброй в качестве алгебры Ли.
С другой стороны, группы Ли с изоморфными алгебрами Ли не обязательно должны быть изоморфными. Более того, этот результат остается верным, даже если мы предполагаем, что группы связаны. Иными словами, глобальная структура группы Ли не определяется ее алгеброй Ли; например, если Z - любая дискретная подгруппа центра группы G, то G и G / Z имеют одну и ту же алгебру Ли (см. таблицу групп Ли для примеров). Примером важности в физике являются группы SU (2) и SO (3). Эти две группы имеют изоморфные алгебры Ли, но сами группы не изоморфны, потому что SU (2) односвязна, а SO (3) нет.
С другой стороны, если мы потребуем, чтобы группа Ли быть односвязным, то глобальная структура определяет ее алгеброй Ли: две односвязные группы Ли с изоморфными алгебрами Ли изоморфны. (Дополнительную информацию об односвязных группах Ли см. Следующим следующим образом). односвязные группы Ли.
Группа Ли называется односвязной если каждый цикл в можно непрерывно сжимать до точки в . Это понятие важно из-за следующего результата, который имеет простую связность в качестве гипотезы:
Третья теорема Ли гласит, что всякая конечномерная вещественная алгебра Ли является алгеброй Ли группа Ли. Из третьей теоремы Ли и предыдущего результата следует, что всякая конечная вещественная алгебра Ли является алгеброй единственной односвязной группы Ли.
Примером односвязной группы является специальная унитарная группа SU (2), которая как многообразие является 3-сферой. Группа вращения SO (3), с другой стороны, не является односвязной. (См. Топология SO (3).) Неспособность SO (3) быть односвязной тесно связана с различием между целочисленным спином и полуцелым вращением в квантовой механике. Другие примеры односвязных групп Ли включают специальную унитарную группу SU (n), спиновую группу (двойное покрытие группы вращения) Spin (n) для и компактной симплектической группы Sp (n).
Методы определения односвязности группы Ли или нет обсуждаются в статье о фундаментальных групп групп Ли.
экспоненциальное отображение из алгебры Ли из общей линейной группы до установлен экспоненциальной матрицей , задаваемый обычным степенным рядом:
для матриц . Если является закрытой подгруппой , тогда экспоненциальное отображение переводитру алгебру Ли в ; таким образом, у нас есть экспоненциальное отображение для всех групп матриц. Каждый элемент , который достаточно близок к единице, является экспонентой матрицы в алгебре Ли.
Приведенное выше определение легко использовать, но он не определен для групп, которые не являются матричными группами, и не ясно, что экспоненциальное представление группы не зависит от ее представления в виде матричной группы. Мы можем решить обе проблемы, используя более абстрактное определение экспоненциального представления, которое работает для всех групп Ли, следующим образом.
Для каждого объекта в алгебре Ли из (т.е. касательное пространство к в идентичности), доказывается, что существует уникальная -параметрическая подгруппа такая, что . Утверждение, что представляет собой подгруппу с одним параметром, просто означает, что является плавным отображением в и что
для всех и . Операция справа - это групповое умножение в . Формальное сходство этой формулы с той, которая действительна для экспоненциальной функции , оправдывает определение
Это называется экспоненциальным отображением, и оно отображает алгебру Ли в группе Ли . Он обеспечивает диффеоморфизм между набросками нуля в и сменностью в . Это экспоненциальное отображение является обобщением экспоненциальной функции для действительных чисел (что является алгеброй Ли Ли положительных действительных чисел с умножением), для комплексных чисел (поскольку - это алгебра Ли группы Ли ненулевых комплексных чисел с умножением) и для матрицы (поскольку с регулярным коммутатором - это алгебра Ли группы Ли всех обратимых матриц).
экспоненциальная карта сюръективна в некоторой окрестности из , это обычное дело для вызова элементов алгебры Ли инфинитезимальных образующих группы . Подгруппа , сгенерированная , является компонентом идентификации .
Экспоненциальное форма и алгебра Ли определяют структуру каждой группы связной группы из-за формулы Бейкера - Кэмпбелла - Хаусдорфа : существует модность нулевого элемента , так что для имеет
где пропущенные термины включают и квадратные скобки Ли из четырех или более элементов. В случае коммутации и эта формула сводится к знакомому экспоненциальному закону
Экспоненциальное отображение связывает гомоморфизмы групп Ли. То есть, если является гомоморфизмом группы Ли и индуцированное отображение на соответствующих алгебрах Ли, для всех мы имеем
Другими словами, следующая диаграмма коммутирует,
(короче, exp является естественным преобразованием функтора Ли в тождественный функтор на категории групп Ли.)
Экспоненциальное отображение из алгебры Ли в группу Ли не всегда на, даже если группа связна (хотя она действительно отображается в группе Ли для связных групп, которые либо компактны, либо нильпотентны). Например, экспоненциальное отображение SL (2, R) не сюръективно. Кроме того, экспоненциальное отображение не является ни сюръективным, ни инъективным для бесконечномерных (см. Ниже) групп Ли, смоделированных на C пространстве Фреше, даже из произвольной малой окрестности 0 в названии 1.
A подгруппа Ли группы Ли - группа Ли, которая является подмножеством из и такая, что карта включения от до - это инъективное погружение и гомоморфизм групп. Согласно теореме Картана, замкнутая подгруппа из допускает уникальную гладкую структуру, которая делает ее вложенной подгруппой Ли в , т. Е. Такой подг руппой Ли, что параметр включения является гладким вложением.
Примеры незамкнутых подгрупп многочисленны; например, возьмем как тор размерности 2 или больше, и пусть будет однопараметрическая подгруппа иррационального наклона, то есть та, которая вьется в G. Тогда существует группа Ли гомоморфизм с . закрытие будет подтором в .
экспоненциальное отображение дает взаимно однозначное соответствие между связными подгруппами Ли связной группы Ли и подалгебрами алгебры Ли . Обычно подгруппа, соответствующая подалгебре, не является замкнутой подгруппой. Не существует критерия, основанного исключительно на структуре , который определяет, какие подалгебры соответствуют замкнутым подгруппам.
Одним из важных аспектов изучения являются их представления, то есть то, как они могут действовать (линейно) в векторных пространствах. В физике группы Ли часто кодируют симметрии физической системы. Эта симметрия используется для анализа системы часто с помощью теории представлений. Рассмотрим, например, не зависящее от времени уравнение Шредингера в квантовой механике, . Предположим, что рассматриваемая система имеет группу вращения SO (3) в качестве симметрии, что означает оператор Гамильтона коммутирует с помощью SO (3) на волновую функцию . (Одним из важных примеров такой системы является атом водорода.) Это предположение не обязательно означает решения являются вращательно-инвариантными функциями. Скорее, это означает, что пространство решений инвариантно относительно вращений (для каждого фиксированного значения ). Это пространство, следовательно, представляет собой представление SO (3). Эти представления были классифицированы, и эта классификация приводит к существенному упрощению задачи, по существу, к преобразованию трехмерного уравнения в частных в одномерное обыкновенное дифференциальное уравнение.
Случай связной компактной группы Ли K (включая только упомянутый случай SO (3)) особенно разрешим. В этом случае каждое представленное представление распадается как прямая сумма неприводимых представлений. Неприводимые представления, в свою очередь, были классифицированы Германом Вейлем. Классификация основана на «наивысшем весе» представления. Классификация объединений с классификацией представлений полупростой алгебры Ли.
Также можно изучать (в общем случае бесконечномерные) унитарные представления произвольной группы Ли (не обязательно компактной). Например, можно дать относительно простое явное описание представлений группы SL (2, R) и представлений группы Пуанкаре.
Согласно наиболее авторитетному источнику по ранней истории групп Ли ( Хокинс, стр. 1), Софус Ли сам считал зиму 1873–1874 годов датой рождения своей теории непрерывных групп. Хокинс, однако, предполагает, что именно «колоссальная исследовательская деятельность в течение четырехлетнего периода с осени 1869 года по осень 1873 года» привела к созданию теории (там же). Были разработаны некоторые из ранних идей Ли в тесном сотрудничестве с Феликсом Кляйном. Ли встречался с Кляйном каждый день с октября 1869 по 1872 год: в Берлине с конца октября 1869 года до конца февраля 1870 года, и в последующие два года в Париже, Геттингене и Эрлангене (там же, стр. 2). Ли заявлено, что все основные результаты были получены к 1884 году. В течение 1870-х годов все его статьи были признаны в норвежских журналах, что препятствовало признанию работы во всей остальной Европе (там же, с. 76).). В 1884 году молодой немецкий математик Фридрих Энгель пришел вместе с Ли над систематическим трактатом, раскрывающим его теорию непрерывных групп. Результатом этих усилий стал трехтомник Theorie der Transformationsgruppen, опубликованный в 1888, 1890 и 1893 годах. Термин группы де Ли появился впервые на французском языке в 1893 году в диссертации ученика Ли Артура Тресса.
Идеи Ли действительно верны. не стоять в отрыве от остальной математики. Фактически, его интерес к теории дифференциальных уравнений сначала мотивирован работой Карла Густава Якоби по теории первого порядка и по уравнениям частных производных классическая механика. Большая часть работ Якоби была опубликована посмертно в 1860-х годах, огромный интерес во Франции и Германии (Хокинс, стр. 43). Фикс идея Ли заключалась в том, чтобы их создать теорию симметрий дифференциальных уравнений, которая осуществила бы для них то, что Эварист Галуа сделал для алгебраических уравнений: а именно, классифицировать в терминах теории групп. Ли и другие математики показали, что наиболее важные уравнения для специальных функций и ортогональных многочленов, как правило, возникает из теоретико-групповых симметрий. В ранних работах Ли идея состояла в том, чтобы построить теорию непрерывных групп, чтобы дополнить теорию дискретных групп, которая была создана в теории модулярных форм в руках Феликс Кляйн и Анри Пуанкаре. Первоначальное приложение имеет в виду Ли, было к теории дифференциальных уравнений. На модели теории Галуа и полиномиальных соотношений движущейся концепцией была теория, способная объединить посредством изучения симметрии всю область обыкновенные дифференциальные уравнения. Однако надежда на то, что теория объединяет всю область обыкновенных дифференциальных уравнений, не оправдалась. Методы симметрии для ОДУ продолжают изучаться, но не доминируют в этой теме. Существует дифференциальная теория Галуа, но она поддерживает другими, такими как Пикард и Вессио, и она поддерживает теорию квадратур, требуемых неопределенных интегралов, чтобы выразить решения.
Дополнительным стимулом к рассмотрению непрерывных материалов послужили идеи Бернхарда Римана об основах геометрии и их дальнейшее развитие в руках Кляйна. Таким образом, три основные темы математики 19 века были объединены при создании своей новой теории: идея проиллюстрировал Галуа через алгебраическое понятие группы ; геометрическая теория и явные решения дифференциальных уравнений механики, разработанные Пуассоном и Якоби; и новое понимание геометрии, которое проявилось в работах Плюккера, Мёбиуса, Грассмана и других, и завершилось революционным видением Римана предмета.
Хотя сегодня Софус Ли по праву создателем непрерывных групп, большой шаг в развитии их структур, оказавший глубокое влияние на последующее развитие математики, был сделан Вильгельм Киллинг, последний в 1888 году первым статью из серии под названием Die Zusammensetzung der stetigen endlichen Transformationsgruppen (Состав непрерывных групп конечных преобразований) (Хокинс, стр. 100). Работа Киллинга, позже уточненная и обобщенная Элилем, привела к классификации полупростых алгебр Ли, теории Картана симметрических пространств и Германа Вейлем Описание представлений компактных и полупростых групп Ли с использованием старших весов.
В 1900 году Дэвид Гильберт бросил вызов теоретикам Ли своей Пятой проблемой. представлен на Международный конгрессе математиков в Париже.
Вейль положил начало раннему периоду развития теории групп Ли, поскольку он не только классифицировал неприводимые представления полупростых групп и связал теорию групп с кван механикой, но поставил точку зрения Ли. сама теория более прочную основу, четко обозначив различие между инфинитезимальными группами Ли (т. е. алгебрами Ли) и собственно группами Ли, и начала исследования топологии групп Ли. Теория групп Ли систематически переработана новым математическим языком в монографии Клода Шевалле.
Группы Ли можно рассматривать как плавно меняющиеся семейства симметрий. Примеры симметрии включают вращение вокруг оси. Необходимо понимать близкие преобразования, например, поворотов на крошечные углы, которые связывают близлежащие преобразования. Математический объект, фиксирующий эту структуру, называется алгеброй Ли (Ли сам называл их «бесконечно малыми группами»). Его можно определить, поэтому в каждой точке должны быть касательные пространства.
Алгебра Ли любой компактной группы Ли (очень грубо: та, для которой симметрии образуют ограниченное множество) может быть разложена как прямая сумма абелевой алгебры Ли и некоторое количество простых. Структура абелевой алгебры Ли математически неинтересна (поскольку скобка Ли тождественно равна нулю); интерес к простому слагаемым. Отсюда возникает вопрос: что такое простые алгебры Ли компактных групп? Оказывается, они в основном делятся на четыре бесконечных семейства: «классические алгебры Ли» A n, B n, C n и D n., которые имеют простое описание в терминах симметрии евклидова пространства. Но есть также всего пять «исключительных алгебр Ли», которые не попадают ни в одно из этих семейств. E 8 - самый крупный из них.
Группы Ли классифицируются в соответствии с их алгебраическими свойствами (простые, полупростые, разрешимые, нильпотентные, абелева ), их связности (связного или односвязного ) и их компактности.
Первым ключевым результатом является Разложение Леви, которое утверждает, что каждая односвязная группа Ли полупрямым произведением разрешимой нормальной подгруппы и полупростой подгруппы.
Компонент тождества любой группы Ли открытый любой группы Ли открытый нормальная подгруппа, фактор-группа - это дискретная группа. Универсальное покрытие любой связной группы Ли односвязной группой Ли, и наоборот, любая связная группа Ли Фактор односвязной группы Ли по дискретной нормальной подгруппе центра. G можно разложить на дискретные, простые и абелевы группы каноническим следующим образом. Напишите
, поэтому у нас есть последовательность нормальных подгрупп
Тогда
Это можно использовать, чтобы свести некоторые проблемы, связанные с группой Ли (например, нахождение их унитарных представлений), к тем же проблемам для связанных групп и нильпотентных и разрешимых подгрупп уменьшения размерности.
Группы Ли часто определяют как конечные, но есть много групп, напоминают группы Ли, за исключением того, что они бесконечномерны. Самый простой способ определить бесконечномерные группы Ли - это моделировать их локально на банаховых пространствах (в отличие от евклидова пространства в конечномерном случае), и в этом случае большая часть основная теория аналогична теории конечномерных групп Ли. Однако для многих приложений этого недостаточно, поскольку многие естественные примеры бесконечномерных групп Ли не являются банаховыми многообразиями. Вместо этого нужно определить группы Ли, смоделированные на более общих локально выпуклых топологических векторных пространствах. В этом случае связь между алгеброй Ли и группой Ли становится довольно тонкой, и некоторые результаты о конечномерных группах Ли теряют силу.
Литература не совсем едина в своей терминологии относительно того, какие именно свойства бесконечномерных групп квалифицируют группу для префикса Ли в группе Ли. Со стороны алгебры Ли дела обстоят проще, поскольку квалификационные критерии для префикса Ли в алгебре Ли являются чисто алгебраическими. Например, бесконечномерная алгебра Ли может иметь или не иметь соответствующую группу Ли. То есть может существовать группа, соответствующая алгебре Ли, но она может быть недостаточно хорошей, чтобы называться группой Ли, или связь между группой и алгеброй Ли может быть недостаточно хорошей (например, отказ экспоненциальное отображение на окрестность единицы). Это «достаточно хорошее», которое не определяется универсально.
Некоторые из изученных примеров включают: