Линейная алгебраическая группа

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску

Линейная алгебраическая группа — это подгруппа группы обратимых матриц (по умножению), которые определены полиномиальными уравнениями. Примером является ортогональная группа, определённая отношением , где является транспонированной матрицей M.

Многие группы Ли можно рассматривать как линейные алгебраические группы над полем вещественных или комплексных чисел. (Например, любая компактная группа Ли[en] может рассматриваться как линейная алгебраическая группа над , как и многие некомпактные группы, такие как простая группа Ли .) Простые группы Ли классифицировали Вильгельм Киллинг и Эли Жозеф Картан в 1880-ых и 1890-ых годах. В то время не придавалось значения факту, что структура группы может быть определена многочленом, то есть, что это алгебраические группы. Основателями теории алгебраических групп были Маурер[en], Клод Шевалле и Колчин[1]. В 1950-ых годах Борель построил бо́льшую часть теории алгебраических групп в современном виде.

Одним из первых использований теории стало определение группы лиева типа.

Примеры[править | править код]

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

,

состоящие из матриц вида

и .

Группа называется мультипликативной группой. То есть группа является группой k* ненулевых элементов поля k по умножению. Аддитивная группа , с (по сложению), может быть выражена как группа матриц, например как подгруппа U в GL(2):

Эти два основных примера коммутативных линейных алгебраических групп, мультипликативных и аддитивных, ведут себя очень различно в терминах их линейных представлений (как алгебраические группы). Любое представление мультипликативной группы является прямой суммой неприводимых представлений. (Все их неприводимые представления имеют размерность 1 и имеют вид для целого n.) В отличие от мультипликативной группы единственным неприводимым представлением аддитивной группы является тривиальное представление. Так что любое представление (такое как 2-мерное представление выше) является итерированным расширением[en] тривиальных представлений, не прямой суммой (если представление не тривиально). Структурная теория линейных алгебраических групп анализирует любую линейную алгебраическую группу в терминах этих двух базисных групп и их обобщений, торов и унипотентных групп.

Определения[править | править код]

Для алгебраически замкнутого поля k больша́я часть структуры алгебраического многообразия X над k закодирована в его множестве X(k) k-рациональных точки[en], которое позволяет элементарное определение линейной алгебраической группы. Определим сначала функцию из абстрактной группы GL(n,k) в k как регулярную, если её можно записать как многочлен от элементов матрицы A и от 1/det(A), где det означает определитель. Тогда линейная алгебраическая группа G над алгебраически замкнутым полем k — это подгруппа G(k) абстрактной группы GL(n,k) для некоторого натурального n, такая, что G(k) определена путём присвоения к нулю некоторого набора регулярных функций.

Для произвольного поля k алгебраическое многообразие над k определяется как специальный случай схем над k. На этом языке линейная алгебраическая группа G над полем k — это гладкая[en] замкнутая схема подгруппы группы GL(n) над k для некоторого натурального n. В частности, G определена путём присвоения нулю некоторому набору регулярных функций в GL(n) над k и эти функции должны иметь свойство, что для любой коммутативной k-алгебры R G(R) является подгруппой абстрактной группы GL(n,R). (Такая алгебраическая группа G над k не просто абстрактная группа G(k), а скорее целое семейство групп G(R) для коммутативных k-алгебр R; это философия описания схемы её функтором точек[en].)

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

На языке схем линейная алгебраическая группа G над полем k является, в частности, групповой схема[en] над k, означая схему над k вместе с k-точкой и морфизмами

над k, которые удовлетворяют обычным аксиомам умножения (ассоциативность, тождественность, обратимость). Линейная алгебраическая группа является также гладкой и конечной над k и она является аффинной (как схема). Обратно, любая аффинная групповая схема G конечного типа над полем k имеет точное представление[en] в GL(n) над k для некоторого n[2]. Примером служит вложение аддитивной группы в GL(2) как упоминалось выше. Как результат, можно рассматривать линейные алгебраические группы либо как группы матриц, либо более абстрактно, как гладкие аффинные групповые схемы над полем. (Некоторые авторы используют термин «линейная алгебраическая группа» для любой аффинной групповой схемы конечного типа над полем.)

Для полного понимания линейных алгебраических групп можно рассмотреть более общие (негладкие) групповые схемы. Например, пусть k будет алгебраически замкнутым полем характеристики p > 0. Тогда гомоморфизм , определённый выражением порождает изоморфизм абстрактных групп , но f не является изоморфизмом алгебраических групп (поскольку не является регулярной функцией). На языке схем групп ясна причина, почему f не является изоморфизмом — f сюръективна, но имеет нетривиальное ядро, а именно, групповую схему корней p-ой степени от единицы. Эта проблема не возникает при характеристике нуль. Более того, любая групповая схема конечного типа над полем k характеристики нуль гладка над k[3]. Групповая схема конечного типа над любым полем k гладка над k тогда и только тогда, когда она геометрически приведена, что означает, что смена баз[en] является приведённой, где является алгебраическим замыканием поля k[4].

Поскольку аффинная схема X определяется её кольцом O(X) регулярных функций, схема аффинной группы G над полем k определена кольцом O(G) со его структурой [Алгебра Хопфа|алгебры Хопфа]] (возникающей из умножения и обратных отображений на G). Это даёт эквивалентность категорий (обращённые стрелки) между групповыми схемами над k и коммутативными алгебрами Хопфа над k. Например, алгебра Хопфа, соответствующая мультипликативной группе , является кольцом многочленов Лорана с коумножением, заданным выражением

Основные понятия[править | править код]

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

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

Различные понятия из абстрактной теории групп могут быть распространены на линейные алгебраические группы. Достаточно просто определить, что означает для линейной алгебраической группы быть коммутативной, нильпотентной или разрешимой по аналогии с определениями в абстрактной теории групп. Например, линейная алгебраическая группа разрешима, если она имеет композиционный ряд[en] линейных алгебраических подгрупп, таких что факторгруппы коммутативны. Также нормализатор, центр и централизатор замкнутой подгруппы H линейной алгебраической группы G естественным образом понимается как замкнутая групповая подсхема группы G. Если они гладки над k, то они являются линейными алгебраическими группами как определено выше.

Можно задать вопрос, насколько свойства связной линейной алгебраической группы G над полем k определяются абстрактной группой G(k). Полезным результатом в этом направлении является то, что если поле k совершенно (например, характеристики нуль), или если группа G редуктивна (как определено ниже), то G унирациональна[en] над k. Поэтому, если вдобавок, k бесконечно, группа G(k) плотна по Зариски в G[5]. Например, при приведённых предположениях, G коммутативна, нильпотентна или разрешима тогда и только тогда, когда G(k) имеет соответствующее свойство.

Предположение связности не может быть опущено в этих результатах. Например, положим, что G является группой кубических корней единицы над рациональными числами . Тогда G является линейной алгебраической группой над , для которой не плотная по Зариски в G, поскольку является группой порядка 3.

Над алгебраически замкнутым полем, имеется более строгий результат об алгебраических группах как алгебраических многообразиях — любая линейная алгебраическая группа над алгебраически замкнутым полем является рациональным многообразием[en][6].

Алгебра Ли алгебраической группы[править | править код]

Алгебра Ли алгебраической группы G может быть определена несколькими эквивалентыми способома — как касательное пространство к нейтральному элементу или как пространство левоинвариантных дифференциалов. Если k алгебраически замкнуто, дифференциал над k координатного кольца группы G является левоинвариантным, если

для любого x из G(k), где порождено левым умножением на x. Для произвольного поля k левоинвариантный дифференциал определяется как аналог равенства двух линейных отображений [7]. Скобка Ли двух дифференфиалов определяется как .

Переход от G к является процессом дифференцирования. Для элемента производная в отображения сопряжения есть автоморфизм , дающий присоединённое представление:

Над полем характеристики ноль связная подгруппа H линейной алгебраической группы G единственным образом определяется её алгеброй Ли [8]. Однако не любая подалгебра Ли соответствует алгебраической подгруппе G, как можно видеть из примера тора над . В положительной характеристике может быть много различных связных подгрупп группы G с той же алгеброй Ли (снова, тор даёт пример). По этой причине, хотя алгебра Ли алгебраической группы важна, структурная теория алгебраических групп требует более глобальных средств.

Полупростые и унипотентные элементы[править | править код]

Для алгебраически замкнутого поля k матрица g из GL(n,k) называется полупростой, если она диагонализируема, и унипотентна, если матрица g − 1 нильпотентна. Эквивалентно, g унипотентна, если все собственные значения g равны 1. Из жордановой нормальной формы для матриц следует, что любой элемент g группы GL(n,k) может быть записан единственным образом как произведение , такое что полупроста, унипотентна, а кроме того, и коммутируют[en] друг с другом.

Говорят для любого поля k, что элемент g группы GL(n,k) полупрост, если он становится диагонализируемым над алгебраическим замыканием поля k. Если поле k совершенно, то полупростые и унипотентные части элемента g также лежат в . Наконец, для любой линейной алгебраической группы над полем k определим k-точку группы G как полупростую или унипотентную, если она полупроста или унипотентна в . (Эти свойства, фактически, независимы от выбора точного представления G.) Если поле k совершенно, то полупростые и унипотентные части k-точки группы G автоматически лежат в G. То есть (разложение Жордана), любой элемент g группы G(k) может быть единственным образом записан как произведение в G(k) так что элемент полупрост, унипотентен, а кроме того, и коммутируют[9]. Это сводит задачу описания классов сопряжённости в G(k) к полупростым и унипотентным случаям.

Торы[править | править код]

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

Тор над алгебраически замкнутым полем k означает группу, изоморфную , произведению n копий мультипликативной группы над k для некоторого натурального n. Для линейной алгебраической группы G термин максимальный тор в G означает тор в G, не содержащийся ни к каком другом большем торе. Например, группа диагональных матриц в GL(n) над k является максимальным тором в GL(n), изоморфным . Основным результатом теории является то, что любых два максимальных тора в группе G над алгебраически замкнутым полем k сопряжены некоторым элементов из G(k) [10]. Термин ранг группы G означает размерность любого максимального тора.

Для произвольного поля k тор T над k означает линейную алгебраическую группу над k, замена базы которой в алгебраическое замыкание поля k изоморфно над для некоторого натурального n. Расщепимый тор над k означает группу, изоморфную над k для некоторого n. Примером нерасщепимого тора над вещественными числами служит

со структурой группы, заданной формулой для умножения комплексных чисел x+iy. Здесь T является тором размерности 1 над . Он нерасщепим, поскольку группа вещественных точек является циклической группой, которая не изоморфна даже как абстрактная группа .

Любая точка тора над полем k полупроста. Обратно, если G является связной линейной алгебраической группой, такой что любой элемент полупрост, тогда G является тором[11].

Для линейной алгебраической группы G над полем общего вида k нельзя ожидать, чтобы все максимальные торы в G над k были сопряжены элементом из G(k). Например, и мультипликативная группа Gm, и циклическая группа T выше появляются как максимальные торы в SL(2) over . Однако, всегда верно, что любые два максимальных расщеплённых тора в G над k (что означает расщеплённые торы в G, не содержащиеся в бо́льших расщеплённых торах) сопряжены некоторым элементом из G(k)[12]. Как результат, имеет смысл определить k-ранг или ранг расщепления группы G над k как размерность любого максимального расщеплённого тора в G над k.

Для любого максимального тора T в линейной алгебраической группе G над полем k Гротендик показал, что является максимальным тором в [13]. Из этого следует, что любые два максимальных тора в G над полем k имеют одинаковую размерность, хотя могут и быть не изоморфны.

Унипотентные группы[править | править код]

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

Линейная алгебраическая группа G над полем k унипотентна тогда и только тогда, когда любой элемент группы унипотентен[14].

Группа верхнетреугольных матриц в является полупрямым произведением

где является диагональным тором . Более обще, любая связная разрешимая линейная алгебраическая группа является полупрямым произведением тора на унипотентную группу [15].

Гладкая связная унипотентная группа над совершенным полем k (например, алгебраически замкнутым полем) имеет композиционный ряд со всеми факторгруппами, изоморфными аддитивной группе [16].

Подгруппы Бореля[править | править код]

Подгруппы Бореля важны для структурной теории линейных алгебраических групп. Для линейной алгебраической группы G над алгебраически замкнутым полем k, подгруппа Бореля группы G означает максимальную связную разрешимую подгруппу. Например, одной из подгрупп Бореля группы является подгруппа B группы верхнетреугольных матриц (все элементы ниже диагонали равны нулю).

Базовым результатом теории является то, что любые две подгруппы Бореля связной группы G над алгебраически замкнутым полем k сопряжены некоторым элементом из G(k)[17]. (Стандартное доказательство использует теорему Бореля о неподвижной точке[en]: Если связная разрешимая группа G действует на собственное многообразие[en] X над алгебраически замкнутым полем k, существует k-точка в X, остающаяся неподвижной под действием группы G.) Сопряжение подгрупп Бореля в GL(n) равносильно теореме Ли–Колчина[en] — любая гладкая связная разрешимая подгруппа группы GL(n) сопряжена с подгруппой верхнетреугольной подгруппы в GL(n).

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

Для замкнутой групповой подсхемы H группы G факторпространство G/H является гладкой квазиапроективной[en] схемой над k[18]. Гладкая подгруппа P связной группы G называется параболической, если G/P является проективным многообразием над k (или эквивалентно, собственной над k). Важным свойством подгруппы Бореля B является то, что G/B является проективным многообразием, называемым многообразием флагов группы G. То есть, подгруппы Бореля являются параболическими подгруппами. Более точно, для алгебраически замкнутого поля k подгруппы Бореля являются в точности минимальными параболическими подгруппами группы G. В обратную сторону, любая подгруппа, содержащая подгруппу Бореля, является параболической[19]. Таким образом, можно перечислить все параболические подгруппы группы G (с точностью до сопряжённости из G(k)) путём перечисления всех линейных алгебраических подгрупп группы G, которые содержат фиксированную подгруппу Бореля. Например, подгруппы над k, которые содержат подгруппу Бореля B верхнетреугольных матриц, включают саму подгруппу B, всю группу GL(3) и промежуточные подгруппы

и

Соответствующие проективные однородные пространства[en] , это (соответственно): многообразие флагов всех цепочек линейных подпространств

с размерности i; точкой; проективным пространством прямых (одномерных векторных подпространств) в и двойственным проективным пространством плоскостей в .

Полупростые и редуктивные группы[править | править код]

Основная статья: Редуктивная группа

Связная линейная алгебраическая группа G над алгебраически замкнутым полем называется полупростой, если любая гладкая связная разрешимая нормальная подгруппа группы G тривиальна. Более обще, связная линейная алгебраическая группа G над алгебраически замкнутым полем называется редуктивной, если любая гладкая связная унипотентная нормальная подгруппа группы G тривиальна[20]. (Некоторые авторы не требуют, чтобы редуктивные группы были связными.) Полупростая группа редуктивна. Группа G над произвольным полем k называется полупростой или редуктивной, если полупроста или редуктивна. Например, группа матриц с определителем 1 над любым полем k полупроста, в то время как нетривиальный тор редуктивен, но не полупрост. Аналогично, группа редуктивна, но не полупроста (поскольку её центр является нетривиальной гладкой связной разрешимой нормальной подгруппой).

Любая компактная связная группа Ли имеет комплексификацию[en], которая является комплексной редуктивной алгебраической группой. Фактически данное построение даёт один-в-один соответствие между компактными связными группами Ли и комплексными редуктивными группами с точностью до изоморфизма[21][22].

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

Любая связная линейная алгебраическая группа G над совершенным полем k является (единственным образом) расширением редуктивной группы R по гладкой связной унипотентной группе U, называемой унипотентным радикалом группы G:

Если k имеет характеристику нуль, то имеется более точное разложение Леви[en] — любая связная линейная алгебраическая группа G над k является полупрямым произведением редуктивной группы на унипотентную группу[24].

Классификация редуктивных групп[править | править код]

Основная статья: Редуктивная группа

Редуктивные группы включают, на практике, наиболее важные линейные алгебраические группы, такие как классические группы: , ортогональные группы SO(n) и симплектические группы Sp(2n). С другой стороны, определение редуктивных групп является «отрицательным» и непонятно, что можно ожидать от них. Шевалле дал полную классификацию редуктивных групп над алгебраически замкнутым полем — они определяются корневыми данными[en][25]. В частности, простые группы над алгебраически замкнутым полем k классифицируются (с точностью до фактора по конечным центральным групповым подсхемам) их диаграммами Дынкина. Поразительно, но эта классификация не зависит от характеристики k. Например, исключительные группы Ли могут быть определены в любой характеристике (и даже для любой групповой схемы над ). Классификация простых конечных групп говорит, что большинство конечных простых групп возникакет как группа k-точек простой алгебраической группы над конечным полем k или как вариации такого построения.

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

Для произвольного поля k редуктивная группа G называется расщепляемой, если она содержит максимальный расщепимый тор над k (то есть расщепимый тор в G, который остаётся максимальным над алгебраическим замыканием поля k). Например, GL(n) является расщепимой редуктивной группой над любым полем k. Шевалле показал, что классификация расщепимых редуктивных групп та же самая над любым полем. В отличие от этого, классификация произвольных редуктивных групп может оказаться трудной в зависимости от базового поля. Например, любая невырожденная квадратичная форма q над полем k определяет редуктивную группу SO(q), а любая центральная простая алгебра[en] A над k определяет редуктивную группу . Как результат, задача классификации редуктивных групп над k, по существу, включает задачу классификации всех квадратичных форм над k или всех центральных простых алгебр над k. Эти задачи просты для алгебраически замкнутого k и они понятны для некоторых других полей, таких как числовые поля, однако для полей произвольного вида есть много открытых вопросов.

Приложения[править | править код]

Теория представлений[править | править код]

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

с унипотентной U и редуктивной R, любое неприводимое представление группы G пропускается через R[26]. Это фокусирует внимание на теорию представлений редуктивных групп. (Для ясности, представления, рассматриваемые здесь, являются представлениями группы G как алгебраической группы. Тогда для группы G над полем k представления являются представлениями на k-векторных пространствах, а действия группы G задаются регулярными функциями. Важная, но совершенно другой задачей является классификация непрерывных представлений группы для вещественной редуктивной группы G и другие похожие проблемы над другими полями.)

Шевалле показал, что неприводимые представления расщепимой редуктивной группы над полем k имеют конечную размерность и индексируются доминирующими весами[27]. Это точно то же, что и в теории представлений компактных связных групп Ли или конечномерной теории представлений комплексных полупростых групп Ли. Для k характеристики нуль все эти теории, по существу, эквивалентны. В частности, любое представление редуктивной группы G над полем характеристики нуль является прямой суммой неприводимых представлений, и если группа G расщепима, характеры неприводимых представлений задаются формулой Вейля для характеров[en]. Теоерма Бореля — Вейля[en] даёт геометрическое построение неприводимых представлений редуктивной группы G в характеристике нуль как пространств секций линейного расслоения над многообразием флагов G/B.

Представления редуктивных групп (отличных от торов) над полем положительной характеристики p существенно менее изучены. В этой ситуации представление не обязательно является прямой суммой неприводимых представлений. И хотя неприводимые представления индексируются доминирующими весами, размерности и характеры неприводимых представлений известны только в некоторых случаях. Андерсен, Янтцен и Сёргел[28] определили эти характеры (доказав гипотезу Люстига), когда характеристика p достаточно велика по отношению к числу Коксетера группы. Для малых простых p нет даже гипотезы.

Действия группы и теория геометрических инвариантов[править | править код]

Действие групповой схемы'[en] линейной алгебраической группы G на многообразии (или схеме) X над полем k является морфизмом

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

Часть теории действий группы является теорией геометрических инвариантов[en], целью которой является построение фактормногообразия X/G, описывающего множество орбит линейной алгебраической группы G на X как алгебраическое многообразие. Возникают разнообразные трудности. Например, если X является аффинным многообразием, можно попытаться построить X/G как спектр кольца инвариантов[en] . Однако Масаёси Нагата показал, что кольцо инвариантов не будет конечно генерируемым как k-алгебра (а потому спектр кольца будет схемой, но не многообразием), что даёт отрицательный ответ на 14-ую проблему Гильберта. В положительном направлении, кольца инвариантов конечно генерируемы по теореме Хэбауша[en], если G редуктивна, что доказали в характеристике нуль Гильберт и Нагата.

Теория геометрических инвариантов испытывает дополнительные тонкие моменты, когда редуктивная группа G действует на проективном многообразии X. В частности, теория определяет открытые подмножества «стабильных» и «полустабильных» точек из X с факторным морфизмом, определённым только на множестве полустабильных точек.

Связанные понятия[править | править код]

Линейные алгебраические группы позволяют вариации в нескольких направлениях. Если опустить требование существования обратного отображения , получаем понятие линейного алгебраического моноида[29].

Группы Ли[править | править код]

Для линейной алгебраической группы G над полем вещественных чисел группа вещественных точек является группой Ли, главным образом потому, что вещественные многочлены, которые описывают умножение в G, являются гладкими функциями. Аналогично, для алгебраической группы G над является комплексной группой Ли[en]. Большая часть теории алгебраических групп была разработана по аналогии с группами Ли.

Есть несколько причин, почему группа Ли может не иметь структуру линейной алгебраической группы над .

  • Группа Ли с бесконечной группой компонент G/Go не может быть реализована как линейная алгебраическая группа.
  • Алгебраическая группа G над может быть связной как алгебраическая группа, в то время как группа Ли несвязна, как для односвязных групп. Например, алгебраическая группа SL(2) односвязна над любым полем, если группа Ли имеет фундаментальную группу, изоморфную целым числам . Двойное накрытие H группы , известное как метаплектическая группа[en], является группой Ли которую нельзя рассматривать как линейную алгебраическую группу над . Более строго, H не имеет конечномерного точного представления.
  • Анатолий И. Мальцев показал, что любая простая односвязная нильпотентная группа Ли может рассматриваться как унипотентная алгебраическая группа G над единственным образом[30]. (Как многообразие, G изоморфна аффинному пространству некоторой размерности над .) В качестве контраста, имеются односвязные разрешимые группы Ли, которые не могут рассматриваться как вещественные алгебраические группы. Например, универсальное накрытие H полупрямого произведения имеет центр, изоморфный , который не является линейной алгебраической группой, а потому H нельзя рассматривать как линейную алгебраическую группу над .

Абелевы многообразия[править | править код]

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

Таннакиевы категории[править | править код]

Конечномерные представления алгебраической группы G вместе с тензорным произведением представлений образуют таннакиеву категорию[en] RepG. Фактически, таннакиевы категории с «функтором слоя» над полем эквивалентны аффинным групповым схемам. (Любая групповая аффинная схема над полем k является проалгебраической в смысле, что она является проективнчм пределом аффинных групповых схем конечного типа над k[31]). Например, группа Мамфорда –Тейта[en] и мотивная группа Галуа[en] строятся с помощью такого формализма. Некоторые свойства (про-)алгебраической группы G могут быть получены из её категории представлений. Например, над полем характеристики нуль RepG является полупростой категорией[en] тогда и только тогда, когда единичная компонента группы G является проприводимой[32].

См. также[править | править код]

Примечания[править | править код]

  1. Kolchin, 1948.
  2. Milne, 2017, с. Corollary 4.10.
  3. Milne, 2017, с. Corollary 8.39.
  4. Milne, 2017, с. Proposition 1.26(b).
  5. Borel, 1991, с. Theorem 18.2, Corollary 18.4.
  6. Borel, 1991, с. Remark 14.14.
  7. Milne, 2017, с. section 10.e.
  8. Borel, 1991, с. section 7.1.
  9. Milne, 2017, с. Theorem 9.18.
  10. Borel, 1991, с. Corollary 11.3.
  11. Milne, 2017, с. Corollary 17.25.
  12. Springer, 1998, с. Theorem 15.2.6.
  13. Borel, 1991, с. 18.2(i).
  14. Milne, 2017, с. Corollary 14.12.
  15. Borel, 1991, с. Theorem 10.6.
  16. Borel, 1991, с. Theorem 15.4(iii).
  17. Borel, 1991, с. Theorem 11.1.
  18. Milne, 2017, с. Theorems 7.18, 8.43.
  19. Borel, 1991, с. Corollary 11.2.
  20. Milne, 2017, с. Definition 6.46.
  21. Bröcker, tom Dieck, 1985, с. section III.8.
  22. Conrad, 2014, с. section D.3.
  23. Conrad, 2014, с. Proposition 5.1.17.
  24. Conrad, 2014, с. Proposition 5.4.1.
  25. Springer, 1998, с. 9.6.2, 10.1.1.
  26. Milne, 2017, с. Lemma 19.16.
  27. Milne, 2017, с. Theorem 22.2.
  28. Andersen, Jantzen, Soergel, 1994.
  29. Renner, 2006.
  30. Milne, 2017, с. Theorem 14.37.
  31. Deligne, Milne, 1982, с. Corollary II.2.7.
  32. Deligne, Milne, 1982, с. Remark II.2.28.

Литература[править | править код]

External links[править | править код]

  • Linear algebraic group / Michiel Hazewinkel, ed.. — Springer Science+Business Media B.V. / Kluwer Academic Publishers, 2001. — (Encyclopedia of Mathematics). — ISBN 978-1-55608-010-4.