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

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

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

Определение представления

Пусть \( G \) — группа, а \( V \) — векторное пространство над полем \( \mathbb{F} \) (обычно \( \mathbb{R} \) или \( \mathbb{C} \)). Линейным представлением группы \( G \) (или \( G \)-модулем) называется гомоморфизм \( \rho: G \to GL(V) \), где \( GL(V) \) — группа всех обратимых линейных преобразований пространства \( V \). Для каждого элемента \( g \in G \) отображение \( \rho(g) \) является линейным оператором на \( V \), причём выполняются условия:

• \( \rho(e) = \text{id}_V \) (где \( e \) — единица группы),
• \( \rho(g_1 g_2) = \rho(g_1) \rho(g_2) \) для всех \( g_1, g_2 \in G \).

Размерность пространства \( V \) называется размерностью представления. Если \( V \) бесконечномерно, говорят о бесконечномерном представлении.

Подпредставления и неприводимость

Подпространство \( W \subseteq V \) называется инвариантным подпространством (или подпредставлением), если \( \rho(g)W \subseteq W \) для всех \( g \in G \). Представление называется неприводимым, если в нём нет нетривиальных (отличных от \( \{0\} \) и всего \( V \)) инвариантных подпространств. Неприводимые представления являются «атомами», из которых строятся все остальные представления.

Эквивалентность представлений

Два представления \( \rho_1: G \to GL(V_1) \) и \( \rho_2: G \to GL(V_2) \) называются эквивалентными, если существует изоморфизм векторных пространств \( T: V_1 \to V_2 \) такой, что \( T \circ \rho_1(g) = \rho_2(g) \circ T \) для всех \( g \in G \). Эквивалентные представления считаются по существу одинаковыми.

История

Ранние предпосылки

Корни теории представлений восходят к работам XIX века. В 1830-х годах Эварист Галуа, изучая разрешимость алгебраических уравнений, ввёл понятие группы перестановок. В 1854 году Артур Кэли сформулировал абстрактное определение группы. В 1870-х годах Феликс Клейн и Софус Ли начали систематическое изучение групп преобразований, что привело к созданию теории групп Ли.

Формирование теории

Основополагающий вклад внёс Фердинанд Георг Фробениус, который в 1896 году опубликовал работу «О группах подстановок», где ввёл понятие характера представления и доказал фундаментальные теоремы ортогональности. В 1897 году Фробениус и Исайя Шур разработали теорию представлений конечных групп, включая лемму Шура и теорию характеров. В 1900-х годах Эли Картан систематически изучил представления полупростых алгебр Ли.

Развитие в XX веке

В 1920-х годах Герман Вейль применил теорию представлений к квантовой механике, показав, что симметрии физических систем описываются группами Ли. В 1930-х годах Джон фон Нейман развил теорию представлений локально компактных групп. В 1940-х годах Клод Шевалле и Арман Борель заложили основы теории представлений алгебраических групп. В 1960-х годах Александр Гротендик и Пьер Делинь создали теорию представлений групп Галуа, что привело к доказательству гипотез Вейля.

Классификация представлений

Представления конечных групп

Для конечных групп теория представлений наиболее развита. Основные результаты:

• Теорема Машке: Если характеристика поля не делит порядок группы, то любое конечномерное представление вполне приводимо (разлагается в прямую сумму неприводимых).
• Теория характеров: Каждому представлению сопоставляется функция на группе — характер, которая содержит полную информацию о представлении. Характеры удовлетворяют соотношениям ортогональности.
• Таблица характеров: Для каждой конечной группы можно составить таблицу, где строки соответствуют неприводимым представлениям, а столбцы — классам сопряжённости.

Представления групп Ли

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

• Теорема Питера — Вейля: Неприводимые унитарные представления компактной группы Ли разделяют точки группы.
• Теорема о старшем весе: Неприводимые конечномерные представления полупростой алгебры Ли классифицируются доминантными старшими весами.
• Формула характера Вейля: Даёт явное выражение для характера неприводимого представления.

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

Алгебра Ли — это векторное пространство с билинейной операцией (скобкой Ли), удовлетворяющей тождеству Якоби. Представления алгебр Ли — это гомоморфизмы в алгебру Ли линейных операторов. Классификация представлений полупростых алгебр Ли была завершена Эли Картаном и Германом Вейлем.

Применения

В математике

• Теория чисел: Представления групп Галуа используются для изучения арифметических свойств полей. Теория автоморфных форм и программа Ленглендса основаны на теории представлений.
• Алгебраическая геометрия: Представления алгебраических групп применяются для изучения многообразий и пучков.
• Топология: Теория представлений фундаментальных групп используется для классификации накрытий и векторных расслоений.
• Комбинаторика: Представления симметрических групп описывают структуру перестановок и комбинаторные объекты.

В физике

• Квантовая механика: Состояния квантовых систем преобразуются по представлениям групп симметрий (например, группы вращений SO(3) или группы Лоренца).
• Физика элементарных частиц: Классификация элементарных частиц основана на представлениях групп SU(3) и SU(2) × U(1) в Стандартной модели.
• Теория струн: Представления групп Ли играют ключевую роль в построении калибровочных теорий и суперсимметрии.

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

• Теория представлений тесно связана с теорией инвариантов, изучающей многочлены, сохраняющиеся при действии группы.
• Понятие характера представления было введено Фробениусом и обобщает понятие следа матрицы.
• Теория представлений бесконечномерных групп (например, группы диффеоморфизмов) активно развивается в связи с квантовой теорией поля.
• В 1990-х годах была доказана гипотеза Ленглендса для GL(n) над числовыми полями, что стало крупным достижением теории представлений.

Критика и ограничения

• Для некомпактных групп (например, SL(2,R)) теория представлений значительно сложнее: существуют бесконечномерные неприводимые представления, не являющиеся унитарными.
• Классификация представлений для произвольных групп (не являющихся редуктивными) остаётся нерешённой задачей.
• В некоторых случаях (например, для групп над полями конечной характеристики) теория представлений сталкивается с трудностями, связанными с модулярной теорией представлений.

Источники

• Фробениус Ф. Г. О группах подстановок. — 1896.
• Вейль Г. Теория групп и квантовая механика. — 1928.
• Шур И. О представлениях конечных групп. — 1905.
• Картан Э. О структуре групп Ли. — 1913.
• Серр Ж.-П. Линейные представления конечных групп. — 1967.
• Хамфрис Дж. Введение в теорию алгебр Ли и их представлений. — 1972.
• Ленглендс Р. Проблемы в теории автоморфных форм. — 1970.