Редуктивная группа

В математике — редуктивная группа это тип линейной алгебраической группы над полем . Одно из определений состоит в том, что связная линейная алгебраическая группа G над совершенным полем является редуктивной, если она имеет представление , имеющее конечное ядро ​​и являющееся прямой суммой неприводимых представлений . Редуктивные группы включают некоторые из наиболее важных групп в математике, такие как общая линейная группа GL ( n ) обратимых матриц , специальная ортогональная группа SO ( n ) и симплектическая группа Sp (2 n ). Простые алгебраические группы и (в более общем плане) полупростые алгебраические группы редуктивны.

Клод Шевалле показал, что классификация редуктивных групп одинакова над любым алгебраически замкнутым полем . В частности, простые алгебраические группы классифицируются диаграммами Дынкина , как в теории компактных групп Ли или комплексных полупростых алгебр Ли . Редуктивные группы над произвольным полем сложнее классифицировать, но для многих полей, таких как действительные числа R или числовое поле , классификация хорошо понятна. Классификация конечных простых групп гласит, что большинство конечных простых групп возникают как группа G ( k ) k - рациональных точек простой алгебраической группы G над конечным полем k или как второстепенные варианты этой конструкции.

Редуктивные группы имеют богатую теорию представлений в различных контекстах. Во-первых, можно изучить представления редуктивной группы G над полем k как алгебраической группы, которые являются действиями G на k -векторных пространствах. Но также можно изучать комплексные представления группы G ( k ), когда k — конечное поле, или бесконечномерные унитарные представления вещественной редуктивной группы, или автоморфные представления адельной алгебраической группы . Во всех этих областях используется структурная теория редуктивных групп.

Определения

Основная статья: Линейная алгебраическая группа

Линейная алгебраическая группа над полем k определяется как гладкая замкнутая схема подгрупп группы GL ( n ) над k для некоторого положительного целого числа n . Эквивалентно, линейная алгебраическая группа над k является гладкой аффинной групповой схемой над k .

С унипотентным радикалом

Связная группа линейная алгебраическая $G$ над алгебраически замкнутым полем называется полупростым, если каждая гладкая связная разрешимая нормальная подгруппа группы $G$ тривиально. В более общем смысле, связная линейная алгебраическая группа. $G$ над алгебраически замкнутым полем называется редуктивной, если наибольшая гладкая связная унипотентная нормальная подгруппа группы $G$ тривиально. Эта нормальная подгруппа называется унипотентным радикалом и обозначается $R_{u}(G)$. (Некоторые авторы не требуют связности редуктивных групп.) Группа $G$ над произвольным полем k называется полупростым или редуктивным, если замена базы $G_{\overline {k}}$ является полупростым или редуктивным, где ${\overline {k}}$ является замыканием k . алгебраическим (Это эквивалентно определению редуктивных групп во введении, когда k совершенно. ) Любой тор над k , например мультипликативная группа Gm _, редуктивен.

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

Над полями нулевой характеристики другое эквивалентное определение редуктивной группы — это связная группа. $G$ допускающее точное полупростое представление, которое остается полупростым над своим алгебраическим замыканием $k^{al}$ ^{страница 424} .

Простые редуктивные группы

Линейная алгебраическая группа G над полем k называется простой (или k - простой ), если она полупроста, нетривиальна и каждая гладкая связная нормальная подгруппа группы над k тривиальна или равна G. G (Некоторые авторы называют это свойство «почти простым».) Это немного отличается от терминологии для абстрактных групп тем, что простая алгебраическая группа может иметь нетривиальный центр (хотя центр должен быть конечным). Например, для любого целого числа n не менее 2 и любого поля k группа SL ( n ) над k является простой, а ее центром является групповая схема µ _n степени корней n-й из единицы.

Центральная изогения редуктивных групп — это сюръективный гомоморфизм с ядром — конечной схемой центральных подгрупп . Каждая редуктивная группа над полем допускает центральную изогению из произведения тора и некоторых простых групп. Например, над любым k полем

$GL(n)\cong (G_{m}\times SL(n))/\mu _{n}.$

Немного неудобно, что определение редуктивной группы над полем предполагает переход к алгебраическому замыканию. Для совершенного поля k этого можно избежать: линейная алгебраическая группа G над k редуктивна тогда и только тогда, когда каждая гладкая связная унипотентная нормальная k -подгруппа группы G тривиальна. Для произвольного поля последнее свойство определяет псевдоредуктивную группу , которая имеет несколько более общий характер.

Сплит-редуктивные группы

Редуктивная группа G над полем k называется расщепленной , если она содержит расщепимый максимальный тор T над полем k (т. е. расщепленный тор в G , база которого меняется на ${\overline {k}}$ является максимальным тором в $G_{\overline {k}}$). Эквивалентно сказать, что T — расщепляемый тор в G , максимальный среди всех k -торов в G . Группы такого типа полезны, поскольку их классификацию можно описать с помощью комбинаторных данных, называемых корневыми данными.

Примеры

GL _n и SL _n

Фундаментальным примером редуктивной группы является общая линейная группа. ${\text{GL}}_{n}$ обратимых матриц размера n × n над полем k для натурального числа n . В частности, мультипликативная группа Gm _k — это группа GL (1), поэтому ее группа Gm _при ( k ) - рациональных точек есть группа k * ненулевых элементов из k умножении. Другая редуктивная группа — это специальная линейная группа SL ( n ) над полем k , подгруппа матриц с определителем 1. Фактически, SL ( n ) — простая алгебраическая группа для n не менее 2.

O( n ), SO( n ) и Sp( n )

Важная простая группа — это симплектическая группа Sp (2 n ) над полем k , подгруппа GL (2 n ), которая сохраняет невырожденную знакопеременную билинейную форму на векторном пространстве k. ^{2 н} . Аналогично, ортогональная группа O ( q ) является подгруппой общей линейной группы, которая сохраняет невырожденную квадратичную форму q в векторном пространстве над полем k . Алгебраическая группа O ( q ) имеет две связные компоненты , а ее единичная компонента SO ( q ) редуктивна, фактически проста для q размерности n не менее 3. (Для k характеристики 2 и n нечетного групповая схема O ( q ) фактически связна, но не гладка над k . Простую группу SO ( q ) всегда можно определить как максимальную гладкую связную подгруппу группы O ( q ) над k .) Когда k алгебраически замкнуто, любые два (невырожденных) квадратичных формы одной и той же размерности изоморфны, поэтому эту группу разумно назвать SO ( n ). Для общего поля k различные квадратичные формы размерности n могут давать неизоморфные простые группы SO ( q ) над k , хотя все они имеют одинаковую замену базы на алгебраическое замыкание ${\overline {k}}$.

Тори

Группа $\mathbb {G} _{m}$ и продукты его называются алгебраическими торами . Они являются примерами редуктивных групп, поскольку встраиваются в ${\text{GL}}_{n}$ через диагональ, и из этого представления их унипотентный радикал тривиален. Например, $\mathbb {G} _{m}\times \mathbb {G} _{m}$ встраивается в ${\text{GL}}_{2}$ с карты

$(a_{1},a_{2})\mapsto {\begin{bmatrix}a_{1}&0\\0&a_{2}\end{bmatrix}}.$

Непримеры

• Любая унипотентная группа не является редуктивной, поскольку ее унипотентным радикалом является она сама. Сюда входит аддитивная группа $\mathbb {G} _{a}$.
• Группа компаний «Борель» $B_{n}$ из ${\text{GL}}_{n}$ имеет нетривиальный унипотентный радикал $\mathbb {U} _{n}$ верхнетреугольных матриц с $1$ по диагонали. Это пример нередуктивной группы, которая не является унипотентной.

Ассоциированная редукционная группа

Заметим, что нормальность унипотентного радикала $R_{u}(G)$ подразумевает, что факторгруппа $G/R_{u}(G)$ является редуктивным. Например,

$B_{n}/(R_{u}(B_{n}))\cong \prod _{i=1}^{n}\mathbb {G} _{m}.$

Другие характеристики редуктивных групп

Каждая компактная связная группа Ли имеет комплексификацию , которая представляет собой комплексную редуктивную алгебраическую группу. Фактически эта конструкция дает взаимно однозначное соответствие между компактными связными группами Ли и комплексными редуктивными группами с точностью до изоморфизма. Для компактной группы Ли K с комплексификацией G включение группы K в комплексную редуктивную группу G ( C ) является гомотопической эквивалентностью относительно классической топологии на G ( C ). Например, включение унитарной группы U ( n ) в GL ( n , C ) является гомотопической эквивалентностью.

Для редуктивной группы G над полем нулевой характеристики все конечномерные представления G (как алгебраической группы) вполне приводимы , т. е. являются прямыми суммами неприводимых представлений. Отсюда и название «редуктивный». Заметим, однако, что полная сводимость невозможна для редуктивных групп положительной характеристики (кроме торов). Более подробно: аффинная групповая схема G над конечного типа полем k называется линейно редуктивной, если ее конечномерные представления вполне приводимы. Для k нулевой характеристики группа G линейно редуктивна тогда и только тогда, когда единичная компонента G ^тот группы G редуктивна. Однако для k характеристики p >0 Масаеши Нагата показал, что G линейно редуктивна тогда и только тогда, когда G ^тот имеет мультипликативный тип и G / G ^тот имеет порядок, простой до p .

Корни

Классификация редуктивных алгебраических групп осуществляется в терминах ассоциированной системы корней , как в теориях комплексных полупростых алгебр Ли или компактных групп Ли. Вот как появляются корни редуктивных групп.

Пусть G — расщепимая редуктивная группа над полем k и T — расщепимый максимальный тор в G ; поэтому T изоморфно ( G _m ) ^н для n , n называется рангом G. где некоторого Каждое представление T (как алгебраической группы) является прямой суммой одномерных представлений. Вес что то же самое , для G означает класс изоморфизма одномерных представлений T гомоморфизм T → Gm _. или , Веса образуют группу X ( T ) при тензорном произведении представлений, причем X ( T ) изоморфна произведению n копий целых чисел , Z ^н .

Присоединенное представление — это действие группы G сопряжением на ее алгебре Ли. ${\mathfrak {g}}$. Корень группы G означает ненулевой вес , который возникает при действии T ⊂ G на ${\mathfrak {g}}$. Подпространство ${\mathfrak {g}}$ соответствующее каждому корню, одномерно, а подпространство ${\mathfrak {g}}$ фиксированный T, является в точности алгеброй Ли ${\mathfrak {t}}$ Т. ​ ​ Следовательно, алгебра Ли группы G распадается на ${\mathfrak {t}}$ вместе с 1-мерными подпространствами, индексированными множеством корней Φ:

${\mathfrak {g}}={\mathfrak {t}}\oplus \bigoplus _{\alpha \in \Phi }{\mathfrak {g}}_{\alpha }.$

Например, когда G — группа GL ( n ), ее алгебра Ли ${{\mathfrak {g}}l}(n)$ — векторное пространство всех матриц размера n × n над k . Пусть T — подгруппа диагональных матриц G. в Тогда разложение корневого пространства выражает ${{\mathfrak {g}}l}(n)$ как прямая сумма диагональных матриц и одномерных подпространств, индексированных недиагональными позициями ( i , j ). Обозначая L ₁ ,..., L _n стандартным базисом решетки весов X ( T ) ≅ Z ^н корнями являются элементы L _i − L _j для всех i ≠ j от 1 до n .

Корни полупростой группы образуют систему корней ; это комбинаторная структура, которую можно полностью классифицировать. В более общем смысле корни редуктивной группы образуют корневую датум , небольшую вариацию. Группа Вейля редуктивной группы G означает факторгруппу нормализатора / максимального тора по W = NG _T ( ) тору T . Группа Вейля на самом деле является конечной группой, порожденной отражениями. Например, для группы GL ( n или SL ( n )), группа Вейля является симметрической группой Sn _. ) (

Существует конечное число борелевских подгрупп, переставляются содержащих данный максимальный тор, и они просто транзитивно группой Вейля (действующей сопряжением ). Выбор подгруппы Бореля определяет множество положительных корней Φ ⁺ ⊂ Φ, причем Φ является дизъюнктным объединением Φ ⁺ и -Φ ⁺ . Явно, алгебра Ли B является прямой суммой алгебры Ли T и положительных корневых пространств:

${\mathfrak {b}}={\mathfrak {t}}\oplus \bigoplus _{\alpha \in \Phi ^{+}}{\mathfrak {g}}_{\alpha }.$

Например, если B — борелевская подгруппа верхнетреугольных матриц в GL ( n ), то это очевидное разложение подпространства ${\mathfrak {b}}$ верхнетреугольных матриц в ${{\mathfrak {g}}l}(n)$. Положительные корни — это L _i − L _j для 1 ≤ i < j ≤ n .

Простой корень означает положительный корень, который не является суммой двух других положительных корней. Обозначим через Δ множество простых корней. Число простых корней r равно рангу коммутанта группы G , называемому полупростым рангом группы G (который является просто рангом группы G , если G полупроста). Например, простые корни для GL ( n ) (или SL ( n )) равны L _i − L _{i +1} для 1 ≤ i ≤ n − 1.

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

Для расщепляемой редуктивной группы G над полем k важным моментом является то, что корень α определяет не только одномерное подпространство алгебры Ли группы G , но и копию аддитивной группы G _a в G с заданным лием алгебры, называемой корневой подгруппой U _α . аддитивной группы в G T , нормализованная и Корневая подгруппа — это единственная копия имеющая заданную алгебру Ли. Вся группа G порождается (как алгебраическая группа) T и корневыми подгруппами, а борелевская подгруппа B порождается T и положительными корневыми подгруппами. Фактически расщепляемая полупростая группа G порождается только корневыми подгруппами.

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

Для расщепляемой редуктивной группы G над полем k гладкие связные подгруппы группы G , содержащие данную борелевскую подгруппу B группы G, находятся во взаимно однозначном соответствии с подмножествами множества ∆ простых корней (или, что то же самое, с подмножествами множества вершин диаграммы Дынкина). Пусть r — порядок ∆, полупростой ранг G . Каждая параболическая подгруппа группы G сопряжена B подгруппе, содержащей , некоторым элементом из G ( k ). В результате их ровно 2. ^р классы сопряженности параболических подгрупп в G над k . Явно параболическая подгруппа, соответствующая данному подмножеству S в Δ, представляет собой группу, порожденную B вместе с корневыми подгруппами U _−α для α в S . Например, параболические подгруппы GL ( n ), которые содержат борелевскую подгруппу B выше, представляют собой группы обратимых матриц с нулевыми элементами ниже заданного набора квадратов по диагонали, например:

$\left\{{\begin{bmatrix}*&*&*&*\\*&*&*&*\\0&0&*&*\\0&0&0&*\end{bmatrix}}\right\}$

По определению, параболическая подгруппа P редуктивной группы G над полем k — это гладкая k -подгруппа такая, что фактормногообразие G / P является собственным над k или, что то же самое, проективно над k . Таким образом, классификация параболических подгрупп сводится к классификации проективных однородных многообразий группы G (с гладкой стабилизирующей группой; это не является ограничением для k нулевой характеристики). Для GL ( n ) это многообразия флагов подпространств заданных размерностей a1 _: ,..., ai _, содержащихся в фиксированном векторном пространстве V размерности n , параметризующие последовательности линейных

$0\subset S_{a_{1}}\subset \cdots \subset S_{a_{i}}\subset V.$

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

Классификация расщепленных редуктивных групп

Связные диаграммы Дынкина

В 1958 году Шевалле показал, что редуктивные группы над любым алгебраически замкнутым полем классифицируются с точностью до изоморфизма по корневым данным. В частности, полупростые группы над алгебраически замкнутым полем классифицируются с точностью до центральных изогений по их диаграмме Дынкина, а простые группы соответствуют связным диаграммам. Таким образом, существуют простые группы типов _An , _Bn , _Cn , _Dn , _E6 , _E7 , _E8 , _F4 , _G2 . Этот результат по существу идентичен классификации компактных групп Ли или комплексных полупростых алгебр Ли, предложенных Вильгельмом Киллингом и Эли Картаном в 1880-х и 1890-х годах. В частности, размерности, центры и другие свойства простых алгебраических групп можно прочитать из списка простых групп Ли . Примечательно, что классификация редуктивных групп не зависит от характеристики. Для сравнения: простых алгебр Ли в положительной характеристике гораздо больше, чем в нулевой характеристике.

Исключительные группы G типа G ₂ и E ₆ были построены ранее, по крайней мере в виде абстрактной группы G ( k ), Л. Е. Диксоном . Например, группа G ₂ является группой автоморфизмов алгебры октонионов над k . Совершенно новыми , напротив, были группы Шевалле типа F ₄ , E ₇ , E ₈ над полем положительной характеристики.

В более общем смысле классификация расщепленных редуктивных групп одинакова для любой области. Полупростая группа G над полем k называется односвязной , если каждая центральная изогения полупростой группы в G является изоморфизмом. (Для G, полупростого над комплексными числами , односвязность в этом смысле эквивалентна односвязности ( C ) в G классической топологии.) Классификация Шевалле показывает, что над любым полем k существует уникальная односвязная расщепляемая полупростая группа. G с заданной диаграммой Дынкина, с простыми группами, соответствующими связным диаграммам. С другой стороны, полупростая группа имеет присоединенный тип, если ее центр тривиален. Расщепляемые полупростые группы над k с данной диаграммой Дынкина — это в точности группы G / A , где G — односвязная группа, а A — k -подгрупповая схема центра G. группы

Например, односвязные расщепляемые простые группы над полем k, соответствующие «классическим» диаграммам Дынкина, имеют следующий вид:

• An _над : SL ( n +1) k ;
• B _n : спиновая группа Spin(2 n +1), связанная с квадратичной формой размерности 2 n +1 над k с индексом Витта n , например форма

$q(x_{1},\ldots ,x_{2n+1})=x_{1}x_{2}+x_{3}x_{4}+\cdots +x_{2n-1}x_{2n}+x_{2n+1}^{2};$

• Cn ₎ : симплектическая группа Sp ( 2n над k ;
• D _n : спиновая группа Spin(2 n ), связанная с квадратичной формой размерности 2 n над k с индексом Витта n , которую можно записать как:

$q(x_{1},\ldots ,x_{2n})=x_{1}x_{2}+x_{3}x_{4}+\cdots +x_{2n-1}x_{2n}.$

Внешняя группа автоморфизмов расщепимой редуктивной группы G над полем k изоморфна группе автоморфизмов корневых данных G . Более того, группа автоморфизмов G распадается как полупрямое произведение :

$\operatorname {Aut} (G)\cong \operatorname {Out} (G)\ltimes (G/Z)(k),$

где Z центр G. — Для расщепляемой полупростой односвязной группы G над полем внешняя группа автоморфизмов группы G имеет более простое описание: это группа автоморфизмов диаграммы Дынкина группы G .

Редуктивные групповые схемы

Групповая схема G над схемой S называется редуктивной если морфизм G → S гладкий , и аффинный и каждый геометрический слой $G_{\overline {k}}$ является редуктивным. (Для точки p в S соответствующий геометрический слой означает замену базы G на алгебраическое замыкание ${\overline {k}}$ поля вычетов p .) Расширяя работу Шевалле, Мишель Демазюр и Гротендик показали, что схемы расщепленной редуктивной группы над любой непустой схемой S классифицируются по корневым данным. Это утверждение включает в себя существование групп Шевалле как групповых схем над Z и говорит, что каждая расщепляемая редуктивная группа над схемой S изоморфна замене базы группы Шевалле Z на S. с

Реальные редуктивные группы

В контексте групп Ли , а не алгебраических групп, вещественная редуктивная группа — это группа Ли G такая, что существует линейная алгебраическая группа L над R, единичный компонент которой (в топологии Зарисского ) редуктивен, и гомоморфизм G → L ( R ), ядро ​​которого конечно, а образ открыт в L ( R ) (в классической топологии). Также стандартно предполагать, что образ присоединенного представления Ad( G ) содержится в Int( gC ₎ = Ad( L ⁰ ( C )) (что автоматически для G -связного).

В частности, каждая связная полупростая группа Ли (это означает, что ее алгебра Ли полупроста) редуктивна. Кроме того, группа Ли R в этом смысле редуктивна, поскольку ее можно рассматривать как единичную компоненту группы GL (1, R ) ≅ R *. Проблема классификации вещественных редуктивных групп во многом сводится к классификации простых групп Ли. Они классифицируются по диаграмме Сатаке ; или можно просто сослаться на список простых групп Ли (с точностью до конечных покрытий).

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

Например, проективная линейная группа PGL (2) связна как алгебраическая группа над любым полем, но ее группа вещественных точек PGL (2, R ) имеет две компоненты связности. Единичный компонент PGL (2, R ) (иногда называемый PSL (2, R )) представляет собой действительную редуктивную группу, которую нельзя рассматривать как алгебраическую группу. Аналогично, SL (2) просто связна как алгебраическая группа над любым полем, но группа Ли SL (2, R ) имеет фундаментальную группу, изоморфную целым числам Z , и поэтому SL (2, R ) имеет нетривиальные накрытия . По определению, все конечные накрытия SL (2, R ) (такие как метаплектическая группа ) являются вещественными редуктивными группами. С другой стороны, универсальное накрытие SL ( 2, R ) не является вещественной редуктивной группой, хотя ее алгебра Ли редуктивна , т. е. является произведением полупростой алгебры Ли и абелевой алгебры Ли.

Для связной вещественной редуктивной группы G фактормногообразие G / K группы G по максимальной компактной подгруппе K является симметрическим пространством некомпактного типа. Фактически, так возникает всякое симметрическое пространство некомпактного типа. Это центральные примеры римановой геометрии многообразий с неположительной секционной кривизной . Например, SL (2, R )/ SO (2) — гиперболическая плоскость , а SL (2, C )/ SU (2) — гиперболическое 3-пространство.

Для редуктивной группы G над полем k , полным относительно дискретного нормирования (например, p-адических чисел Q _p ), аффинное построение X группы G играет роль симметрического пространства. А именно, X является симплициальным комплексом с действием G ( k ), и G ( k ) сохраняет метрику CAT (0) на X , аналог метрики с неположительной кривизной. Размерность аффинного здания — это - ранг G. k Например, построение SL (2, Qp _собой ) представляет дерево .

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

Для расщепляемой редуктивной группы G над полем k неприводимые представления G (как алгебраической группы) параметризуются доминирующими весами , которые определяются как пересечение решетки весов X ( T ) ≅ Z ^н с выпуклым конусом ( камерой Вейля ) в R ^н . В частности, эта параметризация не зависит от характеристики k . Более подробно, зафиксируем расщепляемый максимальный тор и борелевскую подгруппу T ⊂ B ⊂ G . Тогда B — полупрямое произведение группы T на гладкую связную унипотентную U. подгруппу Определите вектор старшего веса в представлении V группы G над k как ненулевой вектор v такой, что B отображает линию, натянутую на v, в себя. Тогда B действует на этой прямой через свою факторгруппу T по некоторому элементу λ решетки весов X ( T ). Шевалле показал, что каждое неприводимое представление группы G имеет уникальный вектор старшего веса с точностью до скаляров; соответствующий «наивысший вес» λ является доминирующим; и каждый доминантный вес λ является старшим весом единственного неприводимого представления L (λ) группы G с точностью до изоморфизма.

Остается проблема описания неприводимого представления с заданным старшим весом. Для k нулевой характеристики имеются практически полные ответы. Для доминантного веса λ определим модуль Шура ∇(λ) как k -векторное пространство сечений G -эквивариантного линейного расслоения на многообразии флагов G / B, ассоциированном с λ; представление G. это Для k нулевой характеристики теорема Бореля–Вейля утверждает, что неприводимое представление L (λ) изоморфно модулю Шура ∇(λ). Более того, формула характера Вейля определяет характер (и, в частности, размерность) этого представления.

Для расщепленной редуктивной группы G над полем k положительной характеристики ситуация гораздо более тонкая, поскольку представления G обычно не являются прямыми суммами неприводимых. Для доминантного веса λ неприводимое представление L (λ) является единственным простым подмодулем ( цоколем ) модуля Шура ∇(λ), но оно не обязательно должно быть равно модулю Шура. Размерность и характер модуля Шура задаются формулой характера Вейля (как и в нулевой характеристике) Джорджа Кемпфа . Размерности и характер неприводимых представлений L (λ) вообще неизвестны, хотя для анализа этих представлений разработан большой объем теории. из важных результатов является то, что размерность и характер L (λ) известны, когда характеристика p поля k намного больше, чем число Кокстера G Одним , это сделали Хеннинг Андерсен , Йенс Янцен и Вольфганг Зёргель (доказывая что гипотезу Люстига о том, случай). Их формула характера для p big основана на полиномах Каждана-Люстига , которые являются комбинаторно сложными. Для любого простого числа p Саймон Рич и Джорди Уильямсон выдвинули гипотезу о неприводимых характерах редуктивной группы в терминах p -полиномов Каждана-Люстига, которые еще более сложны, но, по крайней мере, вычислимы.

Нерасщепляемые редуктивные группы

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

• Каждая невырожденная квадратичная форма q над полем k определяет редуктивную группу G = SO ( q ). Здесь G является простым, если q имеет размерность n не менее 3, поскольку $G_{\overline {k}}$ изоморфен SO ( n ) над алгебраическим замыканием ${\overline {k}}$. - ранг k группы G равен индексу q Витта ( максимальной размерности изотропного подпространства над k ). Таким образом, простая группа G расщепляется над k тогда и только тогда, когда q имеет максимально возможный индекс Витта: $\lfloor n/2\rfloor$.
• Каждая центральная простая алгебра A над k определяет редуктивную группу G = SL (1, A ), ядро ​​приведенной нормы на группе единиц A * (как алгебраическую группу над k ). Степень A A как означает квадратный корень из размерности пространства k -векторного . Здесь G является простым, если A имеет степень n не ниже 2, поскольку $G_{\overline {k}}$ изоморфен SL ( n ) над ${\overline {k}}$. Если A имеет индекс r (это означает, что A изоморфна матричной алгебре M _{n / r} ( D ) для тела D степени r над k ), то k -ранг G равен ( n / r ) - 1. Таким образом, простая группа G расщепляется над k тогда и только тогда, когда A является матричной алгеброй над k .

В результате проблема классификации редуктивных групп над k по существу включает в себя проблему классификации всех квадратичных форм над k или всех центральных простых алгебр над k . Эти проблемы просты для k алгебраически замкнутых и понятны для некоторых других полей, таких как числовые поля, но для произвольных полей остается много открытых вопросов.

Редуктивная группа над полем k называется изотропной, если она имеет k -ранг больше 0 (т. е. если она содержит нетривиальный расщепляемый тор), и анизотропной в противном случае . Для полупростой группы G над полем k следующие условия эквивалентны:

• G изотропна (т. е. G содержит копию мультипликативной группы G _m над k );
• G содержит параболическую подгруппу над k, не равную G ;
• G содержит копию аддитивной группы G _a над k .

Для k совершенного также эквивалентно сказать, что G ( k ) содержит унипотентный элемент, отличный от 1.

Для связной линейной алгебраической группы G над локальным полем k нулевой характеристики (например, действительными числами) группа G ( k ) компактна в классической топологии (основанной на топологии k ) тогда и только тогда, когда G редуктивна. и анизотропный. Пример: ортогональная группа SO ( p , q ) над R имеет вещественный ранг min( p , q ), и поэтому она анизотропна тогда и только тогда, когда p или q равны нулю.

Редуктивная группа G над полем k называется квазирасщепимой, если она содержит борелевскую подгруппу над полем k . Расщепленная редуктивная группа является квазирасщепимой. Если G квазирасщепляема над k , то любые две борелевские подгруппы G сопряжены некоторым элементом G ( k ). Пример: ортогональная группа SO ( p , q ) над R расщепляется тогда и только тогда, когда | р - q | ≤ 1, и он квазирасщеплен тогда и только тогда, когда | р - q | ≤ 2.

Структура полупростых групп как абстрактных групп

Для односвязной расщепляемой полупростой группы над полем k G Роберт Стейнберг дал явное представление абстрактной группы G ( k ). Он порождается копиями аддитивной группы k, индексированной корнями G (корневыми подгруппами), с отношениями, определяемыми диаграммой Дынкина G .

Для односвязной расщепляемой полупростой группы G над совершенным полем k Стейнберг также определил группу автоморфизмов абстрактной группы G ( k ). Каждый автоморфизм является продуктом внутреннего автоморфизма , диагонального автоморфизма (имеется в виду сопряжение подходящим ${\overline {k}}$-точка максимального тора), автоморфизм графа (соответствующий автоморфизму диаграммы Дынкина) и автоморфизм поля (происходящий из автоморфизма поля k ).

Для k -простой алгебраической группы теорема G простоты Титса гласит, что абстрактная группа G ( k ) близка к простой при мягких предположениях. А именно, предположим, что G изотропна над k , и предположим, что поле k имеет не менее 4 элементов. Пусть G ( k ) ⁺ — подгруппа абстрактной группы G ( k порожденная k -точками копий аддитивной группы Ga _над содержащихся k, в G. ) , (В предположении, что G изотропна над k , группа G ( k ) ⁺ нетривиален и даже плотен по Зарисскому в G, если k бесконечно.) Тогда факторгруппа G ( k ) ⁺ по своему центру проста (как абстрактная группа). В доказательстве используется Жака Титса механизм BN-пар .

Исключения для полей второго и третьего порядка хорошо известны. Для k = F ₂ теорема простоты Титса остается в силе, за исключением случаев, когда G расщепляется типа A ₁ , B ₂ или G ₂ или нерасщепляется (т. е. унитарно) типа A ₂ . Для k = F ₃ теорема справедлива, за исключением G типа A ₁ .

Для k -простой группы G , чтобы понять всю группу G ( k ), можно рассмотреть группу Уайтхеда W ( k , G )= G ( k )/ G ( k ) ⁺ . Для G односвязной и квазирасщепимой группа Уайтхеда тривиальна, и поэтому вся группа G ( k ) проста по модулю своего центра. В более общем смысле, проблема Кнезера – Титса спрашивает, для каких изотропных k -простых групп группа Уайтхеда тривиальна. Во всех известных примерах W ( k , G ) абелева.

Для анизотропной k -простой группы G абстрактная группа G ( k ) может быть далеко не простой. Например, пусть D — тело алгебры с центром в p -адическом поле k . Предположим, что размерность D над k конечна и больше 1. Тогда G = SL (1, D ) — анизотропная k -простая группа. Как упоминалось выше, G ( k ) компактна в классической топологии. Поскольку она также вполне несвязна , G ( k ) — проконечная группа (но не конечная). В результате G ( k ) содержит бесконечно много нормальных подгрупп конечного индекса .

Решетки и арифметические группы

Пусть G линейная алгебраическая группа над рациональными числами Q. — Тогда G можно расширить до аффинной групповой схемы G над Z , и это определяет абстрактную группу G ( Z ). Арифметическая группа означает любую подгруппу группы G ( Q ), соизмеримую с G ( Z ). (Арифметичность подгруппы G ( Q ) не зависит от выбора Z -структуры.) Например, SL ( n , Z ) является арифметической подгруппой SL ( n , Q ).

Для группы Ли G решетка такую , в G означает дискретную подгруппу Γ группы G что многообразие G /Γ имеет конечный объем (относительно G -инвариантной меры). Например, дискретная подгруппа Γ является решеткой, если G /Γ компактна. Теорема об арифметичности Маргулиса , в частности, гласит: для простой группы Ли G вещественного ранга не ниже 2 каждая решетка в G является арифметической группой.

Действие Галуа на диаграмме Дынкина

Основная статья: Индекс сисек

В попытке классифицировать редуктивные группы, которые не обязательно должны быть расщеплены, одним из шагов является индекс Титса , который сводит проблему к случаю анизотропных групп. Эта редукция обобщает несколько фундаментальных теорем алгебры. Например, теорема о разложении Витта гласит, что невырожденная квадратичная форма над полем определяется с точностью до изоморфизма своим индексом Витта вместе с анизотропным ядром. Аналогично, теорема Артина – Веддерберна сводит классификацию центральных простых алгебр над полем к случаю алгебр с делением. Обобщая эти результаты, Титс показал, что редуктивная группа над полем k определяется с точностью до изоморфизма своим индексом Титса вместе с анизотропным ядром — ассоциированной анизотропной полупростой k -группой.

Для редуктивной группы G над полем k абсолютная группа Галуа Gal( ks _группы / k ) действует (непрерывно) на «абсолютной» диаграмме Дынкина группы G , то есть диаграмме Дынкина над сепарабельным замыканием ks _G ( которая также является диаграммой Дынкина группы G над алгебраическим замыканием ${\overline {k}}$). Индекс Титса группы G состоит из корневого элемента данных G _{k s} , действия Галуа на ее диаграмме Дынкина и галуа-инвариантного подмножества вершин диаграммы Дынкина. Традиционно индекс Титса рисуется путем обведения орбит Галуа в заданном подмножестве.

В этих терминах существует полная классификация квазирасщепленных групп. А именно, для каждого действия абсолютной группы Галуа поля k на диаграмме Дынкина существует единственная односвязная полупростая квазирасщепляемая группа H над k с данным действием. (Для квазирасщепимой группы каждая орбита Галуа в диаграмме Дынкина обведена кружком.) Более того, любая другая односвязная полупростая группа G над k с данным действием является внутренней формой квазирасщепимой группы H , а это означает, G что группа, ассоциированная с элементом когомологий Галуа множества H ¹ ( k , H / Z ), где Z центр H. — Другими словами, G — это поворот H, связанный с некоторым H / Z -торсором над k , как обсуждается в следующем разделе.

Пример: Пусть q — невырожденная квадратичная форма четной размерности 2 n над полем k характеристики, отличной от 2, с n ≥ 5. (Этих ограничений можно избежать.) Пусть G — простая группа SO ( q ) над k . Абсолютная диаграмма Дынкина группы G имеет тип D _n , поэтому ее группа автоморфизмов имеет порядок 2, переключая две «ноги» диаграммы D _n . Действие абсолютной группы Галуа поля k на диаграмме Дынкина тривиально тогда и только тогда, когда знаковый дискриминант d числа q в k */( k *) ² тривиально. Если d нетривиален, то он кодируется действием Галуа на диаграмме Дынкина: подгруппа индекса 2 группы Галуа, которая действует как тождество, равна $\operatorname {Gal} (k_{s}/k({\sqrt {d}}))\subset \operatorname {Gal} (k_{s}/k)$. Группа G расщеплена тогда и только тогда, когда q имеет индекс Витта n , максимально возможный, и G квазирасщеплена тогда и только тогда, когда q имеет индекс Витта не менее n - 1.

Торсоры и принцип Хассе

Торсором такая для аффинной групповой схемы G над полем k называется аффинная схема X над k с действием G , что $X_{\overline {k}}$ изоморфен $G_{\overline {k}}$ с действием $G_{\overline {k}}$ на себя путем левого перевода. Торсор также можно рассматривать как главное G-расслоение над k относительно топологии fppf на k или этальной топологии , если G гладкая над k . Указанное множество классов изоморфизма G -торсоров над k называется H ¹ ( k , G ), на языке когомологий Галуа.

Торсоры возникают всякий раз, когда кто-то пытается классифицировать формы данного алгебраического объекта Y над полем k , имея в виду объекты X над k , которые становятся изоморфными Y над алгебраическим замыканием k . А именно, такие формы (с точностью до изоморфизма) находятся во взаимно однозначном соответствии с множеством H ¹ ( k ,Aut( Y )). Например, (невырожденные) квадратичные формы размерности n над k классифицируются H ¹ ( k , O ( n )), а центральные простые алгебры степени n над k классифицируются H ¹ ( k , PGL ( n )). Кроме того, k -формы данной алгебраической группы G (иногда называемые «поворотами» G ) классифицируются H ¹ ( k ,Aut( G )). Эти проблемы мотивируют систематическое изучение G -торсоров, особенно для редуктивных групп G .

Когда это возможно, можно надеяться классифицировать G -торсоры с помощью когомологических инвариантов , которые являются инвариантами, принимающими значения в когомологиях Галуа с абелевыми группами коэффициентов M , H ^а ( к , М ). В этом направлении Стейнберг доказал «гипотезу I» Серра : для связной линейной алгебраической группы G над совершенным полем когомологической размерности не выше 1, H ¹ ( k , G ) = 1. (Случай конечного поля был известен ранее как теорема Ланга .) Отсюда следует, например, что каждая редуктивная группа над конечным полем квазирасщепляема.

Гипотеза Серра II предсказывает, что для односвязной полупростой группы G над полем когомологической размерности не более 2 H ¹ ( k , G ) = 1. Гипотеза известна для вполне мнимого числового поля (которое имеет когомологическую размерность 2). В более общем смысле, для любого числового поля Мартин k Кнезер , Гюнтер Хардер и Владимир Черноусов (1989) доказали принцип Хассе : для односвязной полупростой группы G над k отображение

$H^{1}(k,G)\to \prod _{v}H^{1}(k_{v},G)$

является биективным. Здесь v пробегает все позиции k k , а v _— соответствующее локальное поле (возможно, R или C ). Более того, указанное множество H ¹ ( k _v , G ) тривиально для любого неархимидова локального поля k _v , и поэтому имеют значение только действительные места k . Аналогичный результат для глобального поля k положительной характеристики был ранее доказан Хардером (1975): для любой односвязной полупростой группы G над k , H ¹ ( k , G ) тривиально (поскольку k не имеет вещественных мест).

В несколько ином случае присоединенной группы G над числовым полем k принцип Хассе выполняется в более слабой форме: естественное отображение

$H^{1}(k,G)\to \prod _{v}H^{1}(k_{v},G)$

является инъективным. Для G = PGL ( n ) это равнозначно теореме Альберта-Брауэра-Хассе-Нётер , утверждающей, что центральная простая алгебра над числовым полем определяется ее локальными инвариантами.

Основываясь на принципе Хассе, хорошо понятна классификация полупростых групп над числовыми полями. Например, существует ровно три Q -формы исключительной группы , _E8 соответствующие трем действительным формам _E8 .

См. также

• Группы лиева типа — это конечные простые группы, построенные из простых алгебраических групп над конечными полями.
• Обобщенное многообразие флагов , разложение Брюа , многообразие Шуберта , исчисление Шуберта
• Алгебра Шура , теория Делиня–Люстига
• Реальная форма (теория лжи)
• Гипотеза Вейля о числах Тамагавы
• Классификация Ленглендса , двойственная группа Ленглендса , программа Ленглендса , геометрическая программа Ленглендса
• Особая группа , существенное измерение
• Геометрическая теория инвариантов , Теорема Луны о срезах , Теорема Хабуша
• Радикал алгебраической группы

Ссылки

• Борель, Арманд (1991) [1969], Линейные алгебраические группы , Тексты для аспирантов по математике, том. 126 (2-е изд.), Нью-Йорк: Springer Nature , номер документа : 10.1007/978-1-4612-0941-6 , ISBN.  0-387-97370-2 , МР   1102012
• Борель, Арман ; Титс, Жак (1971), «Унипотентные элементы и параболические подгруппы редуктивных групп. I.», Inventiones Mathematicae , 12 (2): 95–104, Bibcode : 1971InMat..12...95B , doi : 10.1007/ BF01404653 , МР   0294349 , S2CID   119837998
• Шевалле, Клод (2005) [1958], Картье, П. (ред.), Классификация полупростых алгебраических групп , Собрание сочинений, Vol. 3, Спрингер Природа , ISBN  3-540-23031-9 , МР   2124841
• Конрад, Брайан (2014), «Редуктивные групповые схемы» (PDF) , Вокруг групповых схем , том. 1, Париж: Математическое общество Франции , стр. 93–444, ISBN  978-2-85629-794-0 , МР   3309122
• Демазюр, Мишель ; Габриэль, Пьер (1970), Алгебраические группы. Том I: Алгебраическая геометрия, общие положения, коммутативные группы , Париж: Массон, ISBN  978-2225616662 , МР   0302656
• Демазюр, М .; Гротендик, А. (2011) [1970]. Гилле, П.; Поло, П. (ред.). Групповые диаграммы (SGA 3), I: Общие свойства групповых диаграмм . Математическое общество Франции . ISBN  978-2-85629-323-2 . МР   2867621 . Переработанное и аннотированное издание оригинала 1970 года.
• Демазюр, М .; Гротендик, А. (1970). Групповые диаграммы (SGA 3), II: Группы мультипликативного типа и структура общих групповых диаграмм . Конспект лекций по математике. Полет. 152.Берлин; Нью-Йорк: Springer-Verlag . дои : 10.1007/BFb0059005 . ISBN  978-3540051800 . МР   0274459 .
• Демазюр, М .; Гротендик, А. (2011) [1970]. Гилле, П.; Поло, П. (ред.). Групповые диаграммы (SGA 3), III: Структура редуктивных групповых диаграмм . Математическое общество Франции . ISBN  978-2-85629-324-9 . МР   2867622 . Переработанное и аннотированное издание оригинала 1970 года.
• Жиль, Филипп (2009), «Проблема Кнезера – Титса» (PDF) , Семинар Бурбаки. Полет. 2007/2008 , Астериск, том. 326, Французское математическое общество , стр. 39–81, ISBN  978-285629-269-3 , МР   2605318
• Янцен, Йенс Карстен (2003) [1987], Представления алгебраических групп (2-е изд.), Американское математическое общество , ISBN  978-0-8218-3527-2 , МР   2015057
• Милн, Дж. С. (2017), Алгебраические группы: теория групповых схем конечного типа над полем , Cambridge University Press , doi : 10.1017/9781316711736 , ISBN  978-1107167483 , МР   3729270
• Платонов Владимир ; Рапинчук, Андрей (1994), Алгебраические группы и теория чисел , Academic Press , ISBN  0-12-558180-7 , МР   1278263
• В.Л. Попов (2001) [1994], «Редуктивная группа» , Энциклопедия Математики , EMS Press
• Рич, Саймон; Уильямсон, Джорди (2018), Наклонные модули и p -канонический базис , Asterisk, vol. 397, Société Mathématique de France , arXiv : 1512.08296 , Bibcode : 2015arXiv151208296R , ISBN  978-2-85629-880-0
• Спрингер, Тонни А. (1979), «Редуктивные группы» , Автоморфные формы, представления и L -функции , том. 1, Американское математическое общество , стр. 3–27, ISBN.  0-8218-3347-2 , МР   0546587
• Спрингер, Тонни А. (1998), Линейные алгебраические группы , Progress in Mathematics, vol. 9 (2-е изд.), Бостон, Массачусетс: Birkhäuser Boston, номер номера : 10.1007/978-0-8176-4840-4 , ISBN  978-0-8176-4021-7 , МР   1642713
• Стейнберг, Роберт (1965), «Регулярные элементы полупростых алгебраических групп» , Publications Mathématiques de l'IHÉS , 25 : 49–80, doi : 10.1007/bf02684397 , MR   0180554 , S2CID   55638217
• Стейнберг, Роберт (2016) [1968], Лекции по группам Шевалле , Серия университетских лекций, том. 66, Американское математическое общество , номер документа : 10.1090/ulect/066 , ISBN.  978-1-4704-3105-1 , МР   3616493
• Титс, Жак (1964), «Алгебраические и абстрактные простые группы», Annals of Mathematics , 80 (2): 313–329, doi : 10.2307/1970394 , JSTOR   1970394 , MR   0164968

Внешние ссылки

• Демазюр, М .; Гротендик А. , Гилле П.; Поло, П. (ред.), Групповые схемы (SGA 3), II: Мультипликативные группы и структура общих групповых схем. Переработанное и аннотированное издание оригинала 1970 года.