Алгебры Ли: линеаризация симметрий

Как изучить сложную нелинейную группу (например, SO(3) - все повороты в ℝ³)? Ответ: линеаризуй её вблизи единицы! Касательное пространство - алгебра Ли - линейно и конечномерно. Скобка [X,Y] = XY−YX кодирует некоммутативность. А красивая формула exp(tX) переносит результаты обратно в группу.

• Квантовая механика: операторы угловых моментов [Lx,Ly]=iℏLz - скобки Ли su(2); спин ½ и спин 1 - представления su(2) разных размерностей
• Теория калибровочных полей: электромагнетизм (U(1)), слабые взаимодействия (SU(2)), сильные (SU(3)) - алгебры Ли определяют виды взаимодействий в Стандартной модели

Предварительные знания

• Subgroups and Cosets

Алгебра Ли: скобка и аксиомы

Двигатели физического движка Unreal Engine 5 (2022) используют алгебры Ли SO(3) для интерполяции вращений твёрдых тел: 60 кадров в секунду, точность 0.001 рад. **Алгебра Ли** g над полем k - это векторное пространство g с операцией [·,·]: g × g → g (скобка Ли), удовлетворяющей: 1. **Биилинейность:** [aX+bY, Z] = a[X,Z] + b[Y,Z] 2. **Антисимметричность:** [X,Y] = −[Y,X] (следствие: [X,X] = 0) 3. **Тождество Якоби:** [X,[Y,Z]] + [Y,[Z,X]] + [Z,[X,Y]] = 0 **Связь с группами Ли:** Если G - группа Ли (гладкая многообразие + групповая структура), то g = T_e(G) - касательное пространство в единице - несёт структуру алгебры Ли через скобку Ли.

**Физическая интерпретация:** В квантовой механике операторы угловых моментов L_x, L_y, L_z удовлетворяют [L_x, L_y] = iℏL_z и циклически. Это в точности скобки Ли алгебры so(3) (с i). Квантовомеханические нарушения коммутативности - это скобки Ли! Принцип неопределённости Гейзенберга [x̂, p̂] = iℏ - скобка Ли в алгебре Вейля.

Структурные константы и классификация

Пусть {X₁, ..., Xₙ} - базис алгебры Ли g. Так как [Xᵢ, Xⱼ] ∈ g, можно записать: [Xᵢ, Xⱼ] = Σₖ fᵢⱼᵏ Xₖ Числа fᵢⱼᵏ ∈ k называются **структурными константами** алгебры Ли. Они полностью определяют скобку. Тождество Якоби накладывает на fᵢⱼᵏ алгебраические ограничения. Классификация конечномерных полупростых алгебр Ли над ℂ (Вильгельм Киллинг, Эли Картан, 1888-1894): - **Серии:** Aₙ = sl(n+1), Bₙ = so(2n+1), Cₙ = sp(2n), Dₙ = so(2n) - **Исключительные:** G₂, F₄, E₆, E₇, E₈

**Алгебра Ли E₈** имеет размерность 248 и связана с наиболее симметричной решёткой в ℝ⁸ (решётка E₈, плотнейшая упаковка сфер в 8 измерениях). Она появляется в теории гетеротических струн и в гипотетической «теории всего» (Garrett Lisi, 2007). Диаграммы Дынкина - красивый способ закодировать структуру алгебры Ли в комбинаторный граф.

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

**Экспоненциальное отображение** exp: g → G определяется для матричных групп как матричная экспонента: exp(A) = I + A + A²/2! + A³/3! + ... Оно переводит алгебру Ли в группу Ли: - exp(0) = I (единица группы) - exp(tX) - однопараметрическая подгруппа G - exp(X)exp(Y) = exp(X + Y + ½[X,Y] + ...) (формула Бейкера-Кэмпбелла-Хаусдорфа) exp «линеаризует» группу вблизи единицы: структура группы в окрестности e полностью определяется алгеброй Ли.

**SU(2) и физика:** Алгебра Ли su(2) ≅ so(3) - одна алгебра, но группы разные: SU(2) двулистно накрывает SO(3). Это объясняет спинор электрона: поворот на 360° в SO(3) возвращает в исходную точку, но в SU(2) - в противоположную точку! Электрон - не классический объект: его волновая функция получает множитель −1 при полном обороте. Скобки Ли [Lx,Ly] = iLz задают квантование угловых моментов.

Ключевые идеи

• Алгебра Ли g: векторное пространство + скобка [X,Y] с антисимметрией и тождеством Якоби
• Главный пример: gl(n) с [A,B] = AB − BA
• Структурные константы fᵢⱼᵏ: [Xᵢ,Xⱼ] = Σₖ fᵢⱼᵏ Xₖ
• Классификация: серии Aₙ, Bₙ, Cₙ, Dₙ + исключительные G₂, F₄, E₆, E₇, E₈
• exp: g → G - экспоненциальное отображение, мост алгебра ↔ группа
• BCH: log(exp(X)exp(Y)) = X + Y + ½[X,Y] + ...

Дальнейшие пути

Представления алгебр Ли (особенно sl(2)) - основа классификации квантовых чисел в физике. Теория Картана-Вейля описывает все неприводимые представления через старшие веса. Алгебраические группы обобщают теорию на произвольные поля.

• Теория представлений — Представления алгебры Ли g соответствуют представлениям группы Ли G (через exp)
• Простые группы — Простые алгебры Ли (Killing-Cartan) соответствуют связным простым группам Ли

Вопросы для размышления

• Докажите тождество Якоби для скобки-коммутатора [A,B] = AB−BA матриц, используя ассоциативность матричного умножения.
• В алгебре sl(2) с базисом H,E,F: [H,E]=2E, [H,F]=−2F, [E,F]=H. Найдите однопараметрическую подгруппу exp(tE) в SL(2,ℂ).
• SU(2) и SO(3) имеют изоморфные алгебры Ли. Почему сами группы не изоморфны? Какой геометрический смысл двулистного накрытия SU(2) → SO(3)?

Связанные уроки

• la-01-vectors-intro