Группы лиева типа

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

История

Предыстория и классификация

Изучение конечных групп, связанных с алгебраическими структурами, началось в XIX веке с работ Эвариста Галуа, который ввёл понятие конечной группы и исследовал группы перестановок. В начале XX века Леонард Юджин Диксон систематизировал знания о классических группах над конечными полями, таких как проективные специальные линейные группы PSL(n, q), симплектические группы PSp(2n, q), ортогональные группы PΩ(n, q) и унитарные группы PSU(n, q). Эти группы, названные группами лиева типа, были впервые описаны как аналоги непрерывных групп Ли, но над конечными полями.

Развитие теории

В 1950-х годах Клод Шевалле обобщил конструкцию, показав, что для любой комплексной простой группы Ли можно построить её аналог над произвольным полем, включая конечные. Полученные группы получили название групп Шевалле. Позднее, в 1960-х годах, Роберт Стейнберг, Жак Титс и другие математики разработали теорию скрученных групп лиева типа, таких как группы Стейнберга (например, \(^2A_n(q)\), \(^2D_n(q)\), \(^3D_4(q)\)) и группы Судзуки-Ри (например, \(^2B_2(2^{2n+1})\)). Эти группы возникают как фиксированные точки автоморфизмов групп Шевалле, связанных с автоморфизмами диаграмм Дынкина и полей.

Роль в классификации конечных простых групп

Группы лиева типа стали центральным элементом классификации конечных простых групп, завершённой в 1980-х годах. Согласно теореме о классификации, любая конечная простая группа изоморфна одной из следующих:

• циклической группе простого порядка;
• знакопеременной группе An (n ≥ 5);
• группе лиева типа (включая исключительные группы);
• одной из 26 спорадических групп.

Группы лиева типа составляют абсолютное большинство (около 16 бесконечных семейств) и включают как классические, так и исключительные группы.

Определение и основные свойства

Формальное определение

Группа лиева типа — это конечная группа, полученная как группа рациональных точек связной редуктивной алгебраической группы над конечным полем. Более конкретно, пусть G — связная редуктивная алгебраическая группа, определённая над конечным полем Fq, где q = p^k — степень простого числа p. Тогда группа G(Fq) — это множество точек группы G с координатами из Fq, образующее конечную группу. Если G проста как алгебраическая группа, то G(Fq) обычно является простой группой, за исключением некоторых малых исключений (например, PSL(2,2) изоморфна симметрической группе S3).

Ключевые характеристики

• Простота: Большинство групп лиева типа являются простыми, за исключением некоторых малых случаев (например, PSL(2,2) и PSL(2,3) не просты). Для получения простой группы часто берут фактор по центру.
• Порядок: Порядок группы лиева типа выражается через q и ранг n. Например, порядок PSL(n, q) равен (q^{n(n-1)/2} ∏_{i=1}^{n-1} (q^{i+1} - 1)) / gcd(n, q-1).
• Параметры: Группы лиева типа классифицируются по типу алгебраической группы (серия A, B, C, D, E, F, G) и степени q.

Классификация

Классические группы

Классические группы лиева типа — это аналоги классических групп Ли над конечными полями. Они включают:

• Линейные группы: PSL(n, q) (проективная специальная линейная группа) — группа матриц с определителем 1, факторизованная по центру. Пример: PSL(2, q) — простая группа для q ≥ 4.
• Симплектические группы: PSp(2n, q) — группа, сохраняющая невырожденную кососимметрическую билинейную форму.
• Ортогональные группы: PΩ(n, q) — группа, сохраняющая невырожденную квадратичную форму. Различают чётные и нечётные размерности, а также типы (плюс и минус).
• Унитарные группы: PSU(n, q) — группа, сохраняющая эрмитову форму над полем F_{q^2}.

Исключительные группы

Исключительные группы лиева типа — это аналоги исключительных групп Ли, которые не входят в классические серии. Они включают:

• G₂(q): Группа типа G₂, связанная с алгеброй Ли G₂. Порядок: q^6 (q^2 - 1)(q^6 - 1).
• F₄(q): Группа типа F₄. Порядок: q^24 (q^2 - 1)(q^6 - 1)(q^8 - 1)(q^{12} - 1).
• E₆(q), E₇(q), E₈(q): Группы типов E₆, E₇, E₈. Порядки быстро растут; например, E₈(q) имеет порядок q^120 (q^2 - 1)(q^8 - 1)(q^{12} - 1)(q^{14} - 1)(q^{18} - 1)(q^{20} - 1)(q^{24} - 1)(q^{30} - 1).

Скрученные группы

Скрученные группы лиева типа получаются из групп Шевалле путём взятия фиксированных точек относительно автоморфизмов, связанных с диаграммами Дынкина и полями. Основные типы:

• Группы Стейнберга: \(^2A_n(q)\), \(^2D_n(q)\), \(^3D_4(q)\), \(^2E_6(q)\). Они существуют для q, являющегося степенью простого числа.
• Группы Судзуки: \(^2B_2(2^{2n+1})\) — открыты Митио Судзуки в 1960 году. Они существуют только для q = 2^{2n+1} и имеют порядок q^2 (q - 1)(q^2 + 1).
• Группы Ри: \(^2G_2(3^{2n+1})\) и \(^2F_4(2^{2n+1})\) — открыты Хельмутом Ри в 1960-х годах. Первые существуют для q = 3^{2n+1}, вторые — для q = 2^{2n+1}. Группы \(^2F_4(2)'\) (производная группа) являются спорадическими.

Структура и свойства

Система корней и диаграммы Дынкина

Группы лиева типа тесно связаны с системами корней и диаграммами Дынкина. Каждая группа соответствует одному из типов: A_n, B_n, C_n, D_n (классические) или E_n, F_4, G_2 (исключительные). Скрученные группы соответствуют автоморфизмам диаграмм:

• \(^2A_n\) — автоморфизм порядка 2 диаграммы A_n;
• \(^2D_n\) — автоморфизм порядка 2 диаграммы D_n;
• \(^3D_4\) — автоморфизм порядка 3 диаграммы D_4;
• \(^2E_6\) — автоморфизм порядка 2 диаграммы E_6.

Подгруппы Бореля и параболические подгруппы

Группы лиева типа обладают богатой структурой подгрупп, включая:

• Подгруппы Бореля: максимальные разрешимые подгруппы, являющиеся аналогами верхнетреугольных матриц.
• Параболические подгруппы: подгруппы, содержащие подгруппу Бореля. Они классифицируются подмножествами простых корней и играют ключевую роль в теории представлений.

Центр и внешние автоморфизмы

Центр группы лиева типа обычно мал и состоит из скалярных матриц. Например, центр PSL(n, q) тривиален, а центр SL(n, q) изоморфен циклической группе порядка gcd(n, q-1). Внешние автоморфизмы включают диагональные, полевые и графовые автоморфизмы, а также их комбинации.

Применение

Теория групп

Группы лиева типа являются основой для изучения конечных простых групп. Они используются для построения контрпримеров и проверки гипотез, таких как гипотеза Шрайера о разрешимости групп нечётного порядка (доказана Уолтером Фейтом и Джоном Томпсоном).

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

Представления групп лиева типа изучаются в рамках теории Делиня-Люстига, которая связывает их с представлениями алгебраических групп над конечными полями. Это привело к созданию теории характеров и модулярных представлений.

Криптография

Некоторые группы лиева типа, такие как PSL(2, q) и группы Судзуки, используются в криптографии, в частности, в протоколах обмена ключами и системах электронной подписи, основанных на сложности дискретного логарифмирования.

Алгебраическая геометрия

Группы лиева типа возникают как группы автоморфизмов алгебраических многообразий над конечными полями, что важно для теории кодирования и комбинаторики.

Примеры

PSL(2, 7)

Группа PSL(2, 7) — одна из наиболее изученных групп лиева типа. Она имеет порядок 168 и изоморфна группе автоморфизмов кватернионной алгебры. PSL(2, 7) является простой группой и используется в теории чисел.

Группа Судзуки Sz(8)

Группа Судзуки Sz(8) имеет порядок 29120 и является простой группой. Она была открыта Митио Судзуки и является примером скрученной группы типа \(^2B_2\). Группы Судзуки существуют только для q = 2^{2n+1} и обладают уникальными свойствами, такими как отсутствие подгрупп порядка 3.

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

• Группы лиева типа составляют более 99% всех конечных простых групп по порядку, если рассматривать группы до определённого размера.
• Теорема о классификации конечных простых групп, включающая группы лиева типа, считается одним из величайших достижений математики XX века, хотя её доказательство занимает тысячи страниц.
• Некоторые группы лиева типа, такие как \(^2F_4(2)'\), являются спорадическими, но классифицируются как часть семейства лиева типа.

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

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

Источники

• Диксон, Л. Ю. «Линейные группы». — М.: Наука, 1978.
• Картер, Р. «Простые группы лиева типа». — М.: Мир, 1978.
• Горенстейн, Д. «Конечные простые группы». — М.: Мир, 1985.
• Хамфри, Дж. «Введение в алгебры Ли и теорию представлений». — М.: МЦНМО, 2003.
• Стейнберг, Р. «Лекции о группах Шевалле». — М.: Мир, 1975.