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

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

Многие группы Ли можно рассматривать как линейные алгебраические группы над полем из реальных или комплексных чисел. (Например, любую компактную группу Ли можно рассматривать как линейную алгебраическую группу над R (обязательно R -анизотропную и редуктивную), как и многие некомпактные группы, такие как простая группа Ли SL ( n , R ) .) Простые группы Ли были классифицированы Вильгельмом Киллингом и Эли Картаном в 1880-х и 1890-х годах. В то время особо не использовалось то обстоятельство, что структура группы может быть определена полиномами, т. Е. Что это алгебраические группы. К основоположникам теории алгебраических групп относятся Маурер , Шевалле и Колчин  ( 1948 ). В 1950-х годах Арманд Борель построил большую часть теории алгебраических групп в том виде, в котором она существует сегодня.

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

Примеры

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

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

и .

Группа представляет собой пример унипотентной линейной алгебраической группы, группа представляет собой пример решаемой алгебраической группы называется подгруппой Борель из . Из теоремы Ли-Колчина следует, что любая связная разрешимая подгруппа в сопряжена в . Любая унипотентная подгруппа может быть сопряжена в .

Другая алгебраическая подгруппа в - специальная линейная группа матриц с определителем 1.

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

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

Определения

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

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

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

На языке схем линейная алгебраическая группа G над полем k является, в частности, групповой схемой над k , то есть схемой над k вместе с k- точкой 1 ∈ G ( k ) и морфизмами

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

Для полного понимания линейных алгебраических групп необходимо рассмотреть более общие (негладкие) групповые схемы. Например, пусть k - алгебраически замкнутое поле характеристики p > 0. Тогда гомоморфизм f : G mG m, определенный как xx p, индуцирует изоморфизм абстрактных групп k * → k *, но f не является изоморфизмом алгебраических групп (поскольку x 1 / p не является регулярной функцией). На языке групповых схем, есть более четкая причина , е не является изоморфизм: е сюрьективна, но она имеет нетривиальное ядро , а именно групповую схему М р о р х корней из единицы. Эта проблема не возникает в нулевой характеристике. В самом деле, любая групповая схема конечного типа над полем k нулевой характеристики является гладкой над k . Схема группы конечного типа над любым полем к гладка над K тогда и только тогда , когда она геометрический уменьшаются , а это означает , что изменение базы будет уменьшено , где это алгебраическое замыкание на к .

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

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

Для линейной алгебраической группы G над полем к , то компонента единицы G O ( подключенный компонент , содержащий точку 1) является нормальной подгруппой конечного индекса . Итак, есть групповое расширение

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

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

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

В этих результатах нельзя опустить предположение о связности. Например, пусть G является группой ц 3GL (1) кубических корней из единицы над рациональных чисел Q . Тогда G - линейная алгебраическая группа над Q, для которой G ( Q ) = 1 не плотна по Зарисскому в G , поскольку является группой порядка 3.

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

Алгебра Ли алгебраической группы

Алгебра Ли алгебраической группы G может быть определена несколькими эквивалентными способами: как касательного пространства Т 1 ( G ) на единичный элемент 1 ∈ G ( K ), или как пространство левоинвариантных выводов . Если к алгебраически замкнуто, дифференцирование D : O ( G ) → O ( G ) над к координатного кольца G является левоинвариантна , если

для любого x в G ( k ), где λ x : O ( G ) → O ( G ) индуцировано левым умножением на x . Для произвольного поля k левая инвариантность вывода определяется как аналогичное равенство двух линейных отображений O ( G ) → O ( G ) ⊗ O ( G ). Скобка Ли двух дифференцирований определяется как [ D 1 , D 2 ] = D 1 D 2 - D 2 D 1 .

Таким образом, переход от G к является процессом дифференциации . Для элемента xG ( k ) производная в точке 1 ∈ G ( k ) отображения сопряжения GG , gxgx −1 , является автоморфизмом элемента , дающим присоединенное представление :

Над полем нулевой характеристики связная подгруппа H линейной алгебраической группы G однозначно определяется своей алгеброй Ли . Но не каждая подалгебра Ли соответствует алгебраической подгруппе группы G , как видно на примере тора G = ( G м ) 2 над C . В положительной характеристике может быть много различных связных подгрупп группы G с одной и той же алгеброй Ли (опять же, тор G = ( G m ) 2 дает примеры). По этим причинам, хотя алгебра Ли алгебраической группы важна, структурная теория алгебраических групп требует более глобальных инструментов.

Полупростые и унипотентные элементы

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

Для любого поля k элемент g из GL ( n , k ) называется полупростым, если он становится диагонализуемым над алгебраическим замыканием поля k . Если поле k совершенно, то полупростая и унипотентная части g также лежат в GL ( n , k ). Наконец, для любой линейной алгебраической группы GGL ( n ) над полем k определим k- точку группы G как полупростую или унипотентную, если она полупроста или унипотентна в GL ( n , k ). (Эти свойства фактически не зависят от выбора точного представления G .) Если поле к совершенно, то полупростые и унипотентные части K -точки из G автоматически в G . То есть ( разложение Жордана ): каждый элемент g группы G ( k ) можно однозначно записать как произведение g = g ss g u в G ( k ) такое, что g ss полупросто, g u унипотентно, а g ss и г у коммутируют друг с другом. Это сводит проблему описания классов сопряженности в G ( k ) к полупростому и унипотентному случаям.

Тори

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

Для произвольного поля к , А тора Т над к означает линейную алгебраическую группу над к , основание изменения в алгебраическом замыкании к изоморфно ( G м ) п над , для некоторого натурального числа п . А разложимый тор над K означает группу , изоморфно ( G м ) п над к для некоторого п . Примером нерасщепляемого тора над действительными числами R является

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

Каждая точка тора над полем k полупроста. Наоборот, если G - связная линейная алгебраическая группа, каждый элемент которой полупрост, то G - тор.

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

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

Унипотентные группы

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

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

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

где T n - диагональный тор ( G m ) n . В более общем смысле , каждая подключенная разрешима линейная алгебраическая группа является полупрямым произведением торы с унипотентной группой, TU .

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

Борелевские подгруппы

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

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

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

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

а также

Соответствующие проективные однородные многообразия GL (3) / P являются (соответственно): флаговым многообразием всех цепей линейных подпространств

с V i размерности i ; точка; проективное пространство Р 2 линий (1-мерных линейных подпространств ) в А 3 ; и двойственное проективное пространство P 2 плоскостей в A 3 .

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

Связная линейная алгебраическая группа G над алгебраически замкнутым полем называется полупростой, если каждая гладкая связная разрешимая нормальная подгруппа группы G тривиальна. В более общем смысле связная линейная алгебраическая группа G над алгебраически замкнутым полем называется редуктивной, если каждая гладкая связная унипотентная нормальная подгруппа группы G тривиальна. (Некоторые авторы не требуют, чтобы редуктивные группы были связаны.) Полупростая группа является редуктивной. Группа G над произвольным полем k называется полупростой или редуктивной, если она полупроста или редуктивна. Например, группа SL ( n ) матриц размера n × n с определителем 1 над любым полем k полупроста, тогда как нетривиальный тор редуктивен, но не полупрост. Аналогично, GL ( n ) редуктивна, но не полупроста (поскольку ее центр G m является нетривиальной гладкой связной разрешимой нормальной подгруппой).

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

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

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

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

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

Редуктивные группы включают в себя наиболее важные линейные алгебраические группы на практике, такие как классические группы : GL ( n ), SL ( n ), ортогональные группы SO ( n ) и симплектические группы Sp (2 n ). С другой стороны, определение редуктивных групп довольно «негативное», и неясно, можно ли ожидать много о них сказать. Примечательно, что Клод Шевалле дал полную классификацию редуктивных групп над алгебраически замкнутым полем: они определяются корневыми данными . В частности, простые группы над алгебраически замкнутым полем k классифицируются (с точностью до факторов по схемам конечных центральных подгрупп) по их диаграммам Дынкина . Поразительно, что эта классификация не зависит от характеристики k . Например, исключительные группы Ли G 2 , F 4 , E 6 , E 7 и E 8 могут быть определены в любой характеристике (и даже как групповые схемы над Z ). Классификация конечных простых групп говорит , что большинство конечных простых групп возникают как группа K -точек простой алгебраической группы над конечным полем к , или как второстепенные вариантами этой конструкции.

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

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

Приложения

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

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

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

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

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

Групповые действия и геометрическая теория инвариантов

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

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

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

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

Связанные понятия

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

Группы Ли

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

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

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

Абелевы разновидности

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

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

Конечномерные представления алгебраической группы G , вместе с тензорным произведением представлений, образуют tannakian категории Группы G . Фактически, таннакиевы категории с «послойным функтором» над полем эквивалентны аффинным групповым схемам. (Каждая аффинная групповая схема над полем к является про-алгебраической в том смысле , что оно является обратным пределом аффинных групповых схем конечного типа над к .) Например, группа Mumford-Tate и мотивная группа Галуа построены с использованием этого формализм. Некоторые свойства (про) алгебраической группы G можно прочитать из ее категории представлений. Например, над полем нулевой характеристики Rep G является полупростой категорией тогда и только тогда, когда компонент идентичности G проредуктивен.

Смотрите также

Примечания

использованная литература

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