Алгебра

Универсальные обёртывающие алгебры

Цели урока

Освоить конструкцию U(g) как фактора тензорной алгебры
Понять теорему PBW: упорядоченные мономы - базис U(g)
Знать элемент Казимира и его роль в теории представлений
Понимать структуру алгебры Хопфа на U(g) и её физический смысл

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

Алгебры Ли
Тензорные произведения
Линейная алгебра

Алгебры Ли

15 000 научных работ в год ссылаются на теорему PBW. Один абстрактный результат о базисе алгебры управляет квантовой механикой, теорией представлений и квантовыми компьютерами IBM. Как три слова 'упорядоченные мономы - базис' стали фундаментом физики?

CERN: вычисление квантовых состояний через U(sl(2)) - прямое использование PBW для комбинаторики операторов
IBM Quantum: алгебра Хопфа U(g) описывает тензорирование кубитных состояний в квантовых схемах
Компьютерная алгебра: системы Mathematica, Maple используют PBW для нормальных форм в некоммутативных алгебрах
Теоретическая физика: элемент Казимира = оператор L^2 в квантовой механике угловых моментов

Три имени, одна теорема

Анри Пуанкаре в 1900 году доказал первую версию теоремы о базисе для алгебр Ли. Джордж Биркгоф в 1937 году переоткрыл её независимо. Эрнст Витт в том же году дал наиболее чистое доказательство. С тех пор теорема носит три имени - PBW. Борис Казимир в 1931 году открыл центральный элемент в связи с квантовой механикой вращений: L^2 коммутирует с L_x, L_y, L_z, и это не случайность - это теорема.

Конструкция U(g) и теорема PBW

Физики CERN вычисляют квантовые состояния частиц через U(sl(2)). Более 15 000 научных работ в 2022 году ссылались на теорему PBW. Это не просто красивая математика - это рабочий инструмент квантовой механики.

Проблема: представление алгебры Ли g - это линейное действие g на векторном пространстве V, но не ассоциативная алгебра. U(g) решает это: это наименьшая ассоциативная алгебра, содержащая g и воспроизводящая скобку Ли через коммутатор.

PBW-базис - это вычислительный инструмент. Любой элемент U(g) можно стандартным способом привести к линейной комбинации упорядоченных мономов. Это делает U(g) конкретным для программирования символьных вычислений.

Теорема PBW утверждает, что упорядоченные мономы e_1^a_1 * ... * e_n^a_n образуют:

PBW (Пуанкаре-Биркгоф-Витт) - фундаментальный результат: упорядоченные мономы - базис U(g). Это доказывает, что g вкладывается в U(g) инъективно.

Элемент Казимира и центр U(g)

Казимир нашёл его в 1931 году, работая над квантовой механикой. Оператор Казимира коммутирует со всеми элементами sl(2). На каждом неприводимом представлении он действует скалярно. Это означает: одно число полностью описывает представление.

Казимир в физике

Квадрат момента импульса

В квантовой механике L^2 = L_x^2 + L_y^2 + L_z^2 - оператор квадрата момента импульса. Это в точности элемент Казимира алгебры su(2) в физических обозначениях. L^2 на состоянии с квантовым числом l даёт l(l+1)*hbar^2. Физики это знают эмпирически; математика объясняет почему.

Для полупростой алгебры Ли g центр Z(U(g)) порождается элементами Казимира. Для sl(n) таких образующих n-1. Теорема Арриага (Harish-Chandra): Z(U(g)) изоморфна полиномиальной алгебре на ранг(g) переменных.

Элемент Казимира C ∈ Z(U(sl(2))). На неприводимом модуле V_n он действует как:

Лемма Шура: эндоморфизм неприводимого G-модуля - скаляр. C ∈ Center, поэтому действует скалярно. Скаляр n(n+2)/2 - собственное значение Казимира на V_n.

Алгебра Хопфа и коумножение

U(g) - не просто ассоциативная алгебра. Она обладает дополнительной структурой: коумножением, единицей, коединицей и антиподом. Это алгебра Хопфа. Именно эта структура позволяет тензорировать представления.

Структура	Формула	Физический смысл
Умножение	xy в U(g)	Последовательное применение операторов
Коумножение	Δ(x) = x⊗1 + 1⊗x	Действие на тензорных произведениях
Коединица	ε(x) = 0 для x ∈ g	Тривиальное (вакуумное) представление
Антипод	S(x) = -x	Двойственное (сопряжённое) представление

Квантовые группы Uq(g) - q-деформация структуры Хопфа на U(g). При q→1 восстанавливается классическое коумножение. Именно деформация Δ отличает квантовые группы от классических универсальных обёртывающих.

Коумножение Δ(x) = x⊗1 + 1⊗x в U(g) задаёт:

Хопфова структура U(g) с примитивным коумножением Δ(x) = x⊗1 + 1⊗x делает тензорное произведение модулей снова модулем через правило Лейбница.

PBW-фильтрация и приложения

PBW - не просто теорема о базисе. Она задаёт фильтрацию на U(g): степени мономов. Ассоциированный грейдированный объект gr U(g) изоморфен симметрической алгебре Sym(g). Это позволяет применять коммутативную алгебру к некоммутативной U(g).

U(sl(2)) как алгебра операторов

Дифференциальные операторы на плоскости

Реализация sl(2) дифференциальными операторами: H = 2x∂/∂x - 1, E = x^2 ∂/∂x - x, F = ∂/∂x. Тогда U(sl(2)) встраивается в алгебру дифференциальных операторов D(C[x]). Элемент Казимира C соответствует уравнению Казимира. PBW гарантирует независимость всех упорядоченных операторных произведений.

Чему изоморфен gr U(g) - ассоциированный грейдированный объект PBW-фильтрации?

PBW показывает: как векторное пространство U(g) ≅ Sym(g). Ассоциированный грейдированный gr U(g) ≅ Sym(g) как коммутативная алгебра. Некоммутативность 'сосредоточена' в нижних степенях фильтрации.

Связи с другими темами

U(g) соединяет теорию Ли с ассоциативной алгеброй и физикой.

Алгебры Ли — Связанная тема
Квантовые группы — Связанная тема
Теория представлений — Связанная тема
Коммутативная алгебра — Связанная тема

Итоги

U(g) = T(g) / <x⊗y - y⊗x - [x,y]>: ассоциативная алгебра, реализующая скобку Ли через коммутатор
PBW: упорядоченные мономы e_{i1}^{a1}...e_{in}^{an} (i1<....<in) образуют базис U(g)
Казимир C = EF + FE + H^2/2 лежит в центре Z(U(sl(2))) и действует скалярно n(n+2)/2 на V_n
Хопфова структура: Δ(x) = x⊗1 + 1⊗x задаёт действие на тензорных произведениях
gr U(g) ≅ Sym(g): PBW связывает некоммутативную U(g) с коммутативной симметрической алгеброй

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

Почему факторизация по идеалу <x⊗y - y⊗x - [x,y]> реализует именно Ли-скобку через коммутатор?
Как элемент Казимира C ∈ Z(U(sl(2))) связан с оператором L^2 в квантовой механике?
Что даёт изоморфизм gr U(g) ≅ Sym(g) для изучения представлений?

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

alg-24-lie-algebras — Алгебра Ли g - исходный объект для U(g)
alg-26-quantum-groups — Квантовые группы - q-деформация U(g)
alg-27-lie-repr — Представления g расширяются до U(g)-модулей