Алгебра

Теория представлений алгебр Ли

Цели урока

Классифицировать неприводимые sl(2,C)-модули V_n по старшему весу
Понять теорему Вейля о полной редуктивности и её доказательство
Освоить весовое разложение и формулу характера Вейля
Применять правило Клебша-Гордана для тензорных произведений

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

Алгебры Ли и sl(2)
Универсальные обёртывающие
Квантовые группы

Физики предсказали существование кварков в 1964 году, используя теорию представлений sl(3,C). Ни один кварк не был обнаружен экспериментально - но математика сказала: они должны быть. Теория sl(2) описывает спин электрона. Теория sl(3) описывает кварки. Одни и те же инструменты.

Физика частиц: стандартная модель - представления su(3) × su(2) × u(1), предсказывающие частицы по их квантовым числам
Квантовая механика: оператор L^2 = Казимир su(2), собственные значения l(l+1) - характеры V_l
Компьютерные алгоритмы: коэффициенты Клебша-Гордана табулированы и используются в симуляциях ядерной физики
Алгебраическая геометрия: флаговые многообразия G/B реализуют представления геометрически через когомологии

От Вейля к физике частиц

Герман Вейль в 1925-1926 годах построил полную теорию конечномерных представлений полупростых алгебр Ли. Унитарный трюк - использование компактной формы - был его ключевым вкладом. В 1961 году Мюррей Гелл-Манн применил теорию представлений sl(3,C) к классификации адронов. Схема получила название 'восьмеричный путь'. В 1964 году Гелл-Манн предсказал омега-минус-барион, используя неприводимое представление размерности 10 - и частицу нашли. Нобелевская премия 1969 года.

Неприводимые представления sl(2,C)

1888 год. Вильгельм Киллинг классифицирует все простые алгебры Ли над C. Нет ни компьютеров, ни стандартных методов - только логика. Пять исключений: G2, F4, E6, E7, E8. Теория представлений sl(2) - ключ к пониманию всего: от квантового спина до струнной теории.

Теорема единственности: V_n - единственное неприводимое конечномерное sl(2,C)-представление размерности n+1. Любое конечномерное представление - прямая сумма V_n по теореме Вейля.

Неприводимое представление sl(2,C) со старшим весом 4. Размерность и веса?

V_n: dim = n+1, веса = {n, n-2, ..., -n+2, -n} - набор из n+1 числа с шагом 2.

Теорема Вейля о полной редуктивности

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

Разложение тензорного произведения V_1 ⊗ V_1

Правило Клебша-Гордана

V_1 ⊗ V_1 = V_2 ⊕ V_0 (размерности: 2×2 = 3+1). Это правило Клебша-Гордана. В физике: сложение двух спин-1/2 даёт спин-1 (триплет) и спин-0 (синглет). Полная редуктивность гарантирует, что это разложение существует и единственно.

Правило Клебша-Гордана: V_m ⊗ V_n = V_{m+n} ⊕ V_{m+n-2} ⊕ ... ⊕ V_{|m-n|}. Физики используют его каждый раз при сложении угловых моментов. Математики - при вычислении тензорных произведений представлений.

Теорема Вейля: любое конечномерное представление полупростой алгебры Ли - прямая сумма неприводимых. Ключевой шаг доказательства:

Доказательство через инвариантное дополнение: для W ⊂ V строим g-инвариантный проектор π: V → W (через форму Киллинга или компактную группу). Тогда V = W ⊕ ker(π).

Теория старшего веса для полупростых алгебр

sl(2,C) - прототип. Для общей полупростой g та же идея: подалгебра Картана h, корни α, операторы e_α и f_α. Старший вес задаёт неприводимое представление. Только теперь весовая решётка многомерна.

Алгебра	Ранг	Неприводимые	Пример
sl(2,C) = A_1	1	V_n, n ≥ 0	Спин-n/2 в квантовой механике
sl(3,C) = A_2	2	V_{a,b}, a,b ≥ 0	Кварки: (1,0)=3, (0,1)=3*, (1,1)=8
sp(4,C) = C_2	2	V_{a,b}, a,b ≥ 0	Симплектическая механика
so(5,C) = B_2	2	V_{a,b}, a,b ≥ 0	Спинорные представления в 5D

Теорема Картана о старшем весе: для полупростой g над C существует биекция между доминантными интегральными весами P^+ и классами изоморфизма конечномерных неприводимых g-модулей. Полная классификация.

Теорема Картана о старшем весе: неприводимые конечномерные g-модули классифицируются:

Биекция P^+ ↔ {неприводимые модули} - фундаментальная теорема теории представлений. λ ∈ P^+ - доминантный, если ⟨λ,α∨⟩ ≥ 0 для всех простых корней.

Характеры и разложения тензорных произведений

В физике частиц всё сводится к разложению тензорных произведений. SU(3) × SU(3) → SU(3) в хромодинамике: как разлагается произведение цветных состояний? Математика даёт ответ через правило Литтлвуда-Ричардсона. Это прямая связь с симметрическими функциями.

Модель кварков SU(3)

Физика через теорию представлений

В модели кварков Гелл-Манна барионы - элементы тройного тензорного произведения: 3⊗3⊗3 = 10 ⊕ 8 ⊕ 8 ⊕ 1. Здесь 3 = V_{(1,0)} - фундаментальное представление sl(3,C). Декуплет 10 - барионный мультиплет (включая Delta), октет 8 - нуклоны и лямбда-гиперон, синглет 1 - полностью антисимметричный.

Правило Клебша-Гордана для sl(2): V_m ⊗ V_n = ?

Правило Клебша-Гордана: V_m ⊗ V_n = ⊕ V_{m+n-2k} для k=0,...,min(m,n). Всего min(m,n)+1 слагаемых.

Связи с другими областями

Теория представлений алгебр Ли - центральный объект математической физики.

alg-28-sym-func — extends

Итоги

V_n - единственное неприводимое sl(2,C)-представление размерности n+1, веса n, n-2, ..., -n
Весовое разложение: e: V_λ → V_{λ+2}, f: V_λ → V_{λ-2}, h диагонален
Теорема Вейля: полупростая g → полная редуктивность, инвариантное дополнение через компактную форму
Правило Клебша-Гордана: V_m ⊗ V_n = V_{m+n} ⊕ V_{m+n-2} ⊕ ... ⊕ V_{|m-n|}
Теорема Картана о старшем весе: P^+ ↔ неприводимые модули - полная классификация

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

Почему для sl(2,C) полная редуктивность верна, а для gl(1,C) = C (коммутативная) - не всегда?
Как характер χ_{V_n}(t) = t^n + ... + t^{-n} связан с теоремой о старшем весе?
Что означает правило Клебша-Гордана физически при сложении угловых моментов двух частиц?

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

alg-24-lie-algebras — Представление - гомоморфизм из алгебры Ли
alg-25-universal-enveloping — U(g)-модули совпадают с g-представлениями
alg-28-sym-func — Функции Шура - характеры GL(n)-представлений