Теория групп Ли

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

История

Истоки теории групп Ли восходят к работам норвежского математика Софуса Ли (1842—1899), который в 1870-х годах разработал концепцию непрерывных групп преобразований для решения дифференциальных уравнений. Ли стремился создать аналог теории Галуа для дифференциальных уравнений, изучая симметрии, зависящие от непрерывных параметров. В 1888—1893 годах он опубликовал трёхтомный труд «Теория групп преобразований», заложивший основы дисциплины.

В начале XX века Вильгельм Киллинг и Эли Картан систематизировали классификацию простых алгебр Ли, что стало ключевым шагом к пониманию структуры групп Ли. Картан ввёл понятие корневых систем и диаграмм Дынкина, а также доказал теорему о соответствии между группами Ли и алгебрами Ли. В 1920—1930-х годах Герман Вейль и Клод Шевалле развили теорию представлений групп Ли, что привело к её применению в квантовой механике. В середине XX века Арман Борель и Жан-Пьер Серр разработали топологические аспекты теории, включая теорию гомотопий и когомологий групп Ли.

Основные понятия

Группа Ли

Группа Ли — это группа \( G \), наделённая структурой гладкого многообразия, такая, что отображения:

• умножения \( \mu: G \times G \to G \), \( \mu(g, h) = gh \),
• взятия обратного \( \iota: G \to G \), \( \iota(g) = g^{-1} \)

являются гладкими (бесконечно дифференцируемыми).

Примеры:

• Общая линейная группа \( GL(n, \mathbb{R}) \) — множество всех обратимых вещественных матриц \( n \times n \). Является открытым подмножеством в \( \mathbb{R}^{n^2} \) и гладким многообразием.
• Специальная ортогональная группа \( SO(3) \) — группа вращений трёхмерного евклидова пространства. Компактное трёхмерное многообразие.
• Группа Ли \( \mathbb{R}^n \) с операцией сложения — коммутативная группа Ли, диффеоморфная \( \mathbb{R}^n \).

Алгебра Ли

Алгебра Ли группы Ли \( G \) — это касательное пространство \( \mathfrak{g} = T_e G \) в единичном элементе \( e \), снабжённое билинейной операцией — скобкой Ли \( [\cdot, \cdot] \), которая удовлетворяет тождествам:

• антисимметричности: \( [X, Y] = -[Y, X] \),
• тождеству Якоби: \( [X, [Y, Z]] + [Y, [Z, X]] + [Z, [X, Y]] = 0 \).

Скобка Ли возникает из коммутатора левоинвариантных векторных полей. Например, для \( GL(n, \mathbb{R}) \) алгебра Ли — это пространство всех вещественных матриц \( n \times n \) с коммутатором \( [A, B] = AB - BA \).

Экспоненциальное отображение

Экспоненциальное отображение \( \exp: \mathfrak{g} \to G \) сопоставляет элементу алгебры Ли \( X \) элемент группы \( \exp(X) \), получаемый как решение дифференциального уравнения \( \dot{\gamma}(t) = X \gamma(t) \) с начальным условием \( \gamma(0) = e \). Для матричных групп \( \exp(X) = \sum_{k=0}^\infty \frac{X^k}{k!} \). Это отображение является локальным диффеоморфизмом в окрестности нуля.

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

Простые и полупростые группы Ли

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

• \( A_n \) (\( n \geq 1 \)) — специальные унитарные группы \( SU(n+1) \),
• \( B_n \) (\( n \geq 2 \)) — специальные ортогональные группы \( SO(2n+1) \),
• \( C_n \) (\( n \geq 3 \)) — симплектические группы \( Sp(2n) \),
• \( D_n \) (\( n \geq 4 \)) — специальные ортогональные группы \( SO(2n) \),

а также пять исключительных групп:

• \( G_2 \), \( F_4 \), \( E_6 \), \( E_7 \), \( E_8 \).

Каждой простой группе Ли соответствует диаграмма Дынкина — граф, описывающий корневую систему её алгебры Ли.

Компактные и некомпактные группы

Группа Ли называется компактной, если её топологическое пространство компактно. Компактные группы Ли, такие как \( SO(n) \) и \( SU(n) \), имеют конечное фундаментальное представление и допускают биинвариантную метрику. Некомпактные группы, например \( SL(n, \mathbb{R}) \), не обладают этим свойством и часто имеют более сложную структуру.

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

Представление группы Ли \( G \) — это гомоморфизм \( \rho: G \to GL(V) \), где \( V \) — конечномерное векторное пространство. Теория представлений изучает, как группа действует на пространствах, и является ключевым инструментом в физике. Для компактных групп Ли все конечномерные представления вполне приводимы (теорема Вейля). Например, представления группы \( SU(2) \) классифицируются по спинам в квантовой механике: каждое неприводимое представление соответствует частице с определённым спином \( j = 0, \frac{1}{2}, 1, \dots \).

Применение

Физика

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

• Электромагнетизм описывается группой \( U(1) \),
• Слабое взаимодействие — группой \( SU(2) \),
• Сильное взаимодействие — группой \( SU(3) \).

Стандартная модель элементарных частиц использует калибровочную группу \( SU(3) \times SU(2) \times U(1) \). Группы Ли также применяются в теории относительности (группа Лоренца \( SO(3,1) \)) и квантовой механике (группа Пуанкаре).

Математика

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

Интересные факты

• Группа \( E_8 \), одна из исключительных групп Ли, имеет размерность 248. В 2007 году математики вычислили её характеристический класс, что потребовало 77 часов работы суперкомпьютера и 60 гигабайт данных.
• Теория групп Ли тесно связана с проблемой Гильберта — пятой проблемой, решённой в 1950-х годах Эндрю Глизоном, Дином Монтгомери и Лео Циппином, которые доказали, что любая локально евклидова топологическая группа является группой Ли.
• Группа \( SO(3) \) топологически эквивалентна трёхмерному проективному пространству \( \mathbb{RP}^3 \), что объясняет существование спина в квантовой механике.

Источники

• Винберг Э. Б., Онищик А. Л. Семинар по группам Ли и алгебраическим группам. — М.: Наука, 1988.
• Хелгасон С. Дифференциальная геометрия и симметрические пространства. — М.: Мир, 1964.
• Серр Ж.-П. Алгебры Ли и группы Ли. — М.: Мир, 1969.
• Вейль Г. Классические группы, их инварианты и представления. — М.: ИЛ, 1947.