Диаграмма Дынкина
Диаграмма Дынкина — это граф, используемый в теории алгебр Ли, теории групп Ли и теории представлений для классификации простых алгебр Ли, простых групп Ли, а также корневых систем и камер Вейля. Названа в честь советского математика Евгения Борисовича Дынкина, впервые предложившего этот способ кодирования в 1946 году. Диаграмма Дынкина является компактным и наглядным инструментом, позволяющим однозначно описать структуру полупростых алгебр Ли, их корневые системы и группы Вейля.
Определение и основные понятия
Диаграмма Дынкина строится на основе корневой системы полупростой алгебры Ли. Корневая система — это конечное множество ненулевых векторов (корней) в евклидовом пространстве, удовлетворяющее определённым аксиомам симметрии и целочисленности. Для классификации алгебр Ли достаточно рассмотреть простые корни — базис корневой системы, через который все остальные корни выражаются как линейные комбинации с целыми неотрицательными коэффициентами.
Диаграмма Дынкина состоит из:
- Вершин, каждая из которых соответствует одному простому корню.
- Рёбер, соединяющих вершины, если соответствующие простые корни не ортогональны. Число рёбер (или их тип) определяется углом между корнями и отношением их длин.
Правила построения
Для пары простых корней \( \alpha_i \) и \( \alpha_j \) возможны следующие варианты углов и соответствующих им рёбер:
- Угол 90° (корни ортогональны): рёбра нет.
- Угол 120° (корни равной длины): одно ребро.
- Угол 135° (корни относятся как \( \sqrt{2} : 1 \)): два ребра.
- Угол 150° (корни относятся как \( \sqrt{3} : 1 \)): три ребра.
- Угол 0° (корни коллинеарны) не допускается, так как простые корни линейно независимы.
Если корни имеют разную длину, на диаграмме ставится стрелка от более длинного корня к более короткому. В случае равной длины стрелка не ставится.
Классификация простых алгебр Ли
Основное применение диаграмм Дынкина — классификация конечномерных простых алгебр Ли над полем комплексных чисел. Согласно теореме классификации, все такие алгебры разбиваются на четыре бесконечные серии (классические) и пять исключительных (спорадических). Каждой серии и исключительному типу соответствует своя диаграмма Дынкина.
Классические серии
- A_n (\( n \geq 1 \)): диаграмма представляет собой простую цепочку из \( n \) вершин, соединённых одинарными рёбрами. Соответствует алгебре Ли \( \mathfrak{sl}(n+1, \mathbb{C}) \) (специальная линейная алгебра). Пример: \( A_1 \) — одна вершина, \( A_2 \) — две вершины, соединённые ребром.
- B_n (\( n \geq 2 \)): диаграмма состоит из цепочки из \( n \) вершин, причём последнее ребро двойное (со стрелкой от предпоследней вершины к последней). Соответствует алгебре Ли \( \mathfrak{so}(2n+1, \mathbb{C}) \) (ортогональная алгебра нечётной размерности).
- C_n (\( n \geq 3 \)): диаграмма аналогична \( B_n \), но стрелка направлена от последней вершины к предпоследней. Соответствует алгебре Ли \( \mathfrak{sp}(2n, \mathbb{C}) \) (симплектическая алгебра).
- D_n (\( n \geq 4 \)): диаграмма представляет собой разветвление: цепочка из \( n-2 \) вершин, к которой с одного конца присоединены две вершины, каждая соединена одинарным ребром с последней вершиной цепочки. Соответствует алгебре Ли \( \mathfrak{so}(2n, \mathbb{C}) \) (ортогональная алгебра чётной размерности).
Исключительные алгебры
- E_6: диаграмма из 6 вершин, образующих сложную конфигурацию с одним тройным разветвлением.
- E_7: диаграмма из 7 вершин, продолжение E_6.
- E_8: диаграмма из 8 вершин, самая большая из исключительных.
- F_4: диаграмма из 4 вершин, с одним двойным ребром.
- G_2: диаграмма из 2 вершин, соединённых тройным ребром.
Таблица соответствия
| Тип | Диаграмма (схематично) | Алгебра Ли | Размерность |
|---|---|---|---|
| A_n | ○—○—...—○ (n вершин) | \( \mathfrak{sl}(n+1) \) | \( n(n+2) \) |
| B_n | ○—○—...—○=○ (n вершин, двойное ребро с направлением) | \( \mathfrak{so}(2n+1) \) | \( n(2n+1) \) |
| C_n | ○—○—...—○=○ (n вершин, двойное ребро с обратным направлением) | \( \mathfrak{sp}(2n) \) | \( n(2n+1) \) |
| D_n | ○—○—...—○—○ (n вершин, разветвление на конце) | \( \mathfrak{so}(2n) \) | \( n(2n-1) \) |
| E_6 | ○—○—○—○—○ (с боковым ответвлением) | Исключительная | 78 |
| E_7 | ○—○—○—○—○—○ (с боковым ответвлением) | Исключительная | 133 |
| E_8 | ○—○—○—○—○—○—○ (с боковым ответвлением) | Исключительная | 248 |
| F_4 | ○—○=○—○ (двойное ребро) | Исключительная | 52 |
| G_2 | ○≡○ (тройное ребро) | Исключительная | 14 |
Связь с другими математическими объектами
Группы Вейля
Диаграмма Дынкина полностью определяет группу Вейля — конечную группу, порождённую отражениями относительно гиперплоскостей, ортогональных корням. Группа Вейля является важным инструментом в теории представлений и геометрии корневых систем. Например, для типа \( A_n \) группа Вейля изоморфна симметрической группе \( S_{n+1} \).
Камеры Вейля
Камера Вейля — это открытый конус в пространстве корней, ограниченный гиперплоскостями, ортогональными простым корням. Диаграмма Дынкина кодирует углы между этими гиперплоскостями, что позволяет классифицировать камеры Вейля и их группы симметрии.
Алгебры Каца — Муди
Диаграммы Дынкина обобщаются на бесконечномерные алгебры Ли, известные как алгебры Каца — Муди. В этом случае добавляются так называемые «аффинные» диаграммы Дынкина, которые имеют петли (рёбра, соединяющие вершину с самой собой) и дополнительные вершины. Аффинные диаграммы классифицируются аналогично конечным, но с расширениями.
Применение
Физика элементарных частиц
В теоретической физике диаграммы Дынкина используются для классификации калибровочных групп в теориях Великого объединения. Например, группа \( E_8 \) играет ключевую роль в теории струн и M-теории. Группы \( SU(5) \) (тип \( A_4 \)), \( SO(10) \) (тип \( D_5 \)) и \( E_6 \) рассматриваются как кандидаты для объединения электрослабого и сильного взаимодействий.
Кристаллография
В кристаллографии диаграммы Дынкина связаны с классификацией точечных групп симметрии кристаллов. Корневые системы типов \( A_n, B_n, C_n, D_n \) соответствуют решёткам Браве и группам Вейля, описывающим симметрии кристаллических решёток.
Комбинаторика и теория представлений
Диаграммы Дынкина используются для построения базисов Гельфанда — Цетлина, которые применяются в теории представлений для явного описания неприводимых представлений классических групп. Также они связаны с теорией инвариантов и квантовыми группами.
История
Диаграммы были впервые введены Евгением Борисовичем Дынкиным в 1946 году в его докторской диссертации «Структура полупростых алгебр Ли». Дынкин предложил способ кодирования корневых систем с помощью графов, что позволило упростить классификацию простых алгебр Ли, ранее выполненную Вильгельмом Киллингом (1888–1890) и Эли Картаном (1894). Киллинг и Картан использовали более громоздкие методы, основанные на системах корней и таблицах Картана. Дынкин ввёл компактное графическое представление, которое стало стандартным в современной математике.
Интересные факты
- Диаграммы Дынкина для исключительных алгебр \( E_6, E_7, E_8 \) имеют уникальные комбинаторные свойства. Например, диаграмма \( E_8 \) содержит 240 корней, что является максимальным числом для простых алгебр Ли.
- Существует так называемая «гипотеза Маккея», связывающая конечные подгруппы \( SU(2) \) с диаграммами Дынкина типов \( A_n, D_n, E_6, E_7, E_8 \). Эта гипотеза была доказана Джоном Маккеем в 1980-х годах.
- Диаграммы Дынкина используются в теории особенностей (катастроф) для классификации критических точек функций.
Источники
- Дынкин Е. Б. «Структура полупростых алгебр Ли». — Успехи математических наук, 1947.
- Хамфрис Дж. «Введение в теорию алгебр Ли и их представлений». — М.: МЦНМО, 2003.
- Бурбаки Н. «Группы и алгебры Ли. Главы IV–VI». — М.: Мир, 1972.
- Фултон У., Харрис Дж. «Теория представлений. Первый курс». — М.: МЦНМО, 2007.
BFOmetr — база данных и аналитика по компаниям России.
На главную BFOmetr →