Инвариантная теория

Теория инвариантов — это раздел абстрактной алгебры изучающий действия групп , на алгебраических многообразиях , таких как векторные пространства, с точки зрения их влияния на функции. Классически теория занималась вопросом явного описания полиномиальных функций , которые не изменяются или являются инвариантными при преобразованиях из заданной линейной группы . Например, если мы рассмотрим действие специальной линейной группы SL _n на пространстве n на n матриц путем умножения слева, то определитель является инвариантом этого действия, поскольку определитель AX равен определителю X , когда A есть в СЛ _н .

Введение [ править ]

Позволять $G$ быть группой , и $V$ конечномерное векторное пространство над полем $k$ (которые в классической теории инвариантов обычно считались комплексными числами ). Представление $G$ в $V$ является групповым гомоморфизмом $\pi :G\to GL(V)$ , что индуцирует действие групповое $G$ на $V$ . Если $k[V]$ – пространство полиномиальных функций на $V$ , то групповое действие $G$ на $V$ производит действие на $k[V]$ по следующей формуле:

(g\cdot f)(x):=f(g^{-1}(x))\qquad \forall x\in V,g\in G,f\in k[V].

С помощью этого действия естественно рассмотреть подпространство всех полиномиальных функций, инвариантных относительно этого действия группы, другими словами, множество полиномов таких, что $g\cdot f=f$ для всех $g\in G$ . Это пространство инвариантных полиномов обозначается $k[V]^{G}$ .

Первая проблема теории инвариантов : ^[1] Является $k[V]^{G}$ алгебра конечно порожденная над $k$ ?

Например, если $G=SL_{n}$ и $V=M_{n}$ пространство квадратных матриц и действие $G$ на $V$ дается умножением слева, то $k[V]^{G}$ изоморфна алгебре полиномов от одной переменной, порожденной определителем. Другими словами, в этом случае каждый инвариантный многочлен представляет собой линейную комбинацию степеней определителя. Итак, в этом случае $k[V]^{G}$ конечно порождается $k$ .

Если ответ «да», то следующий вопрос — найти минимальный базис и задаться вопросом, модуль полиномиальных отношений между базисными элементами (известный как сизигии ). конечно ли порождается $k[V]$ .

Теория инвариантов конечных групп имеет тесную связь с теорией Галуа . Одним из первых крупных результатов стала основная теорема о симметрических функциях , описывающая инварианты симметрической группы. $S_{n}$ действуя на кольцо полиномов $R[x_{1},\ldots ,x_{n}$ ] перестановками переменных. В более общем смысле, теорема Шевалле-Шепарда-Тодда характеризует конечные группы, алгебра инвариантов которых является кольцом полиномов. Современные исследования в области теории инвариантов конечных групп подчеркивают «эффективные» результаты, такие как явные оценки степеней образующих. Случай положительной характеристики , идеологически близкий к модульной теории представлений , представляет собой область активного изучения, связанную с алгебраической топологией .

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

Работа Дэвида Гильберта по вопросу о конечном порождении алгебры инвариантов (1890 г.) привела к созданию новой математической дисциплины — абстрактной алгебры. Более поздняя статья Гильберта (1893) рассматривала те же вопросы более конструктивным и геометрическим образом, но оставалась практически неизвестной до тех пор, пока Дэвид Мамфорд не вернул эти идеи к жизни в 1960-х годах, в значительно более общей и современной форме, в своем геометрическом инварианте. теория . В значительной степени благодаря влиянию Мамфорда предмет теории инвариантов оказывается охватывающим теорию действий линейных алгебраических групп на аффинных и проективных многообразиях. Особое направление теории инвариантов, восходящее к классическим конструктивным и комбинаторным методам девятнадцатого века, было развито Джан-Карло Ротой и его школой. Ярким примером этого круга идей является теория стандартных мономов .

Примеры [ править ]

Простые примеры теории инвариантов основаны на вычислении инвариантных мономов от действия группы. Например, рассмотрим $\mathbb {Z} /2\mathbb {Z}$ -действие на $\mathbb {C} [x,y]$ отправка

{\begin{aligned}x\mapsto -x&&y\mapsto -y\end{aligned}}

Тогда, поскольку $x^{2},xy,y^{2}$ являются инвариантными мономами низшей степени, мы имеем, что

\mathbb {C} [x,y]^{\mathbb {Z} /2\mathbb {Z} }\cong \mathbb {C} [x^{2},xy,y^{2}]\cong {\frac {\mathbb {C} [a,b,c]}{(ac-b^{2})}}

Этот пример формирует основу для выполнения многих вычислений.

Истоки девятнадцатого века [ править ]

Теория инвариантов возникла примерно в середине девятнадцатого века, что-то вроде Минервы : взрослая девственница, закованная в сияющие доспехи алгебры, она возникла из Кэли юпитерианской головы .

Вейль (1939b , с.489)

Кэли впервые разработал теорию инвариантов в своей работе «К теории линейных преобразований» (1845 г.). В начале своей статьи Кейли ссылается на статью Джорджа Буля 1841 года : «Расследование было предложено мне очень элегантной статьей на ту же тему... мистера Буля». (Доклад Буля назывался «Изложение общей теории линейных преобразований», Cambridge Mathematical Journal.) ^[2]

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

Более подробно, учитывая конечномерное векторное пространство V размерности n, мы можем рассмотреть симметрическую алгебру S ( S ^р( V )) многочленов степени r над V и действие на нем GL( V ). На самом деле точнее рассматривать относительные инварианты GL( V ) или представления SL( V ), если мы собираемся говорить об инвариантах : это потому, что скалярное кратное тождества будет действовать на тензор ранга r в S( V ) через . «вес» скаляра в r-й степени Тогда задача состоит в том, чтобы определить подалгебру инвариантов I ( S ^р( V )) за действие. Говоря классическим языком, мы рассматриваем инварианты n -арных r -иков, где n размерность V. — (Это не то же самое, что найти инварианты GL( V ) на S( V ); это неинтересная проблема, поскольку единственные такие инварианты являются константами.) Наиболее изученным случаем были инварианты бинарных форм , где n = 2.

Другая работа включала работу Феликса Кляйна по вычислению инвариантных колец действий конечных групп на $\mathbf {C} ^{2}$ ( бинарные многогранные группы , классифицированные по классификации ADE ); это координатные кольца особенностей Дюваля .

Подобно арабскому фениксу, восстающему из пепла, теория инвариантов, объявленная мертвой на рубеже веков, вновь оказалась на переднем крае математики.

Кунг и Рота (1984 , стр.27)

Работы Дэвида Гильберта , доказавшие, что I ( V ) во многих случаях были конечно представлены, практически положили конец классической теории инвариантов на несколько десятилетий, хотя классическая эпоха в предмете продолжалась до последних публикаций Альфреда Янга , более 50 лет. годы спустя. Явные вычисления для конкретных целей известны и в наше время (например, Сиода с двоичными октавами).

Теоремы Гильберта [ править ]

Гильберт (1890) доказал, что если V — конечномерное представление комплексной алгебраической группы G = SL _n ( C ), то кольцо инвариантов группы G , действующее на кольцо многочленов R = S ( V ), конечно порождено. В его доказательстве использовался оператор Рейнольдса ρ из R в R. ^г со свойствами

ρ (1) = 1
ρ ( а + б ) знак равно ρ ( а ) + ρ ( б )
ρ ( ab ) = a ρ ( b ) всякий раз, когда a является инвариантом.

Гильберт построил оператор Рейнольдса явно, используя омега-процесс Кэли Ω, хотя сейчас более распространено строить ρ косвенно следующим образом: для компактных групп G оператор Рейнольдса задается путем усреднения по G , а некомпактные редуктивные группы могут быть сведено к случаю компактных групп с помощью унитарного приема Вейля .

Учитывая оператор Рейнольдса, теорема Гильберта доказывается следующим образом. Кольцо R является кольцом полиномов, поэтому оно градуировано по степеням, а идеал I определяется как идеал, порожденный однородными инвариантами положительных степеней. По базовой теореме Гильберта идеал I конечно порождён (как идеал). Следовательно, I конечно порождается конечным числом инвариантов G (поскольку, если нам дано любое – возможно, бесконечное – подмножество S , которое порождает конечно порожденный идеал I , то I уже порождается некоторым конечным подмножеством S ). Пусть i ₁ ,..., i _n — конечное множество инвариантов группы G , порождающей I (как идеал). Основная идея — показать, что они порождают кольцо R ^гинвариантов. Предположим, что x — некоторый однородный инвариант степени d > 0. Тогда

Икс знак равно а ₁ я ₁ + ... + а _п я _п

для некоторого aj _{поскольку} в кольце R, x находится идеале I. в Мы можем предположить, что a _j однороден степени d − deg i _j для каждого j (в противном случае мы заменим a _j его однородным компонентом степени d − deg i _j ; если мы сделаем это для каждого j , уравнение x = a ₁ i ₁ + ... + a _n in _n останется в силе). Теперь применение оператора Рейнольдса к x = a ₁ i ₁ + ... + a _n i _n дает

Икс знак равно ρ( а ₁ ) я ₁ + ... + ρ ( а _п ) я _п

Теперь мы собираемся показать, что x лежит в R -алгебре, порожденной i ₁ ,..., in _n .

Во-первых, давайте сделаем это в случае, когда все элементы ρ( a _k ) имеют степень меньше d . В этом случае все они находятся в R -алгебре, порожденной i ₁ ,..., i _n (по нашему предположению индукции). Следовательно, x также находится в этой R -алгебре (поскольку x = ρ ( a ₁ ) i ₁ + ... + ρ( a _n ) i _n ).

что все элементы ρ( ak _{В общем случае мы не можем быть уверены ,} ) имеют степень меньше d . Но мы можем заменить каждый ρ( a _k ) его однородным компонентом степени d − deg i _j . В результате эти модифицированные ρ( a _k ) по-прежнему остаются G -инвариантами (поскольку каждая однородная компонента G -инварианта является G -инвариантом) и имеют степень меньше d (поскольку deg i _k > 0). Уравнение x = ρ( a ₁ ) i ₁ + ... + ρ( an _k ) i _n по-прежнему справедливо для нашей модифицированной ρ( a _x ), поэтому мы снова можем заключить, что лежит в R -алгебре, порожденной i ₁ ,..., в _н .

Следовательно, индукцией по степени все элементы R ^г находятся в R -алгебре, порожденной i ₁ ,..., i _n .

Геометрическая инвариантов теория

Современная формулировка геометрической теории инвариантов принадлежит Дэвиду Мамфорду и подчеркивает построение фактора по групповому действию, которое должно захватывать инвариантную информацию через свое координатное кольцо. Это тонкая теория, в которой успех достигается за счет исключения некоторых «плохих» орбит и идентификации других с «хорошими» орбитами. В отдельной разработке символический метод теории инвариантов был реабилитирован , по-видимому, эвристическая комбинаторная запись.

Одной из причин было построение пространств модулей в алгебраической геометрии как факторов схем, параметризующих отмеченные объекты. В 1970-х и 1980-х годах была разработана теория взаимодействия с симплектической геометрией и эквивариантной топологией и использовался для построения пространств модулей объектов дифференциальной геометрии , таких как инстантоны и монополи .

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

Ссылки [ править ]

^ Борель, Арманд (2001). Очерки истории групп Ли и алгебраических групп . Том. История математики, Vol. 21. Американское математическое общество и Лондонское математическое общество. ISBN 978-0821802885 .
^ Вольфсон, Пол Р. (2008). «Джордж Буль и истоки теории инвариантов». История Математики . 35 (1). Эльзевир Б.В.: 37–46. дои : 10.1016/j.hm.2007.06.004 . ISSN 0315-0860 .

Дьедонне, Жан А .; Каррелл, Джеймс Б. (1970), «Теория инвариантов, старая и новая», «Достижения в математике» , 4 : 1–80, doi : 10.1016/0001-8708(70)90015-0 , ISSN 0001-8708 , MR 0255525 Перепечатано как Дьедонне, Жан А.; Каррелл, Джеймс Б. (1971), «Теория инвариантов, старая и новая», «Достижения в математике» , 4 , Бостон, Массачусетс: Academic Press : 1–80, doi : 10.1016/0001-8708(70)90015-0 , ISBN 978-0-12-215540-6 , МР 0279102
Долгачев, Игорь (2003), Лекции по теории инвариантов , Серия лекций Лондонского математического общества, том. 296, Издательство Кембриджского университета , doi : 10.1017/CBO9780511615436 , ISBN 978-0-521-52548-0 , МР 2004511
Грейс, Дж. Х.; Янг, Альфред (1903), Алгебра инвариантов , Кембридж: Издательство Кембриджского университета.
Гроссханс, Фрэнк Д. (1997), Алгебраические однородные пространства и теория инвариантов , Нью-Йорк: Springer, ISBN 3-540-63628-5
Гильберт, Дэвид (1890), «К теории алгебраических форм» , Mathematical Annals , 36 (4): 473–534, doi : 10.1007/BF01208503 , ISSN 0025-5831
Гильберт, Д. (1893), «О полных инвариантных системах» , Math. doi 42 (3): 313, : 10.1007 /BF01444162.
Кунг, Джозеф PS; Рота, Джан-Карло (1984), «Инвариантная теория бинарных форм» , Бюллетень Американского математического общества , Новая серия, 10 (1): 27–85, doi : 10.1090/S0273-0979-1984-15188-7 , ISSN 0002-9904 , МР 0722856
Нойзель, Мара Д .; Смит, Ларри (2002), Инвариантная теория конечных групп , Провиденс, Род-Айленд: Американское математическое общество, ISBN 0-8218-2916-5 Недавний ресурс для изучения модульных инвариантов конечных групп.
Олвер, Питер Дж. (1999), Классическая теория инвариантов , Кембридж: Издательство Кембриджского университета, ISBN 0-521-55821-2 Введение на уровне бакалавриата в классическую теорию инвариантов бинарных форм, включая процесс Омега, начиная со страницы 87.
Попов, В.Л. (2001) [1994], «Инварианты, теория» , Энциклопедия Математики , EMS Press
Спрингер, Т. А. (1977), Теория инвариантов , Нью-Йорк: Springer, ISBN 0-387-08242-5 Старый, но все еще полезный опрос.
Штурмфельс, Бернд (1993), Алгоритмы в теории инвариантов , Нью-Йорк: Springer, ISBN 0-387-82445-6 Красивое введение в теорию инвариантов конечных групп и методы их вычисления с использованием базисов Грёбнера.
Вейль, Герман (1939), Классические группы. Их инварианты и представления , Princeton University Press , ISBN 978-0-691-05756-9 , МР 0000255
Вейль, Герман (1939b), «Инварианты» , Duke Mathematical Journal , 5 (3): 489–502, doi : 10.1215/S0012-7094-39-00540-5 , ISSN 0012-7094 , MR 0000030

Внешние ссылки [ править ]

Х. Крафт, К. Процессези, Классическая теория инвариантов, учебник для начинающих
В. Л. Попов, Е. Б. Винберг, "Теория инвариантов", в алгебраической геометрии . IV. Энциклопедия математических наук, 55 (перевод с русского издания 1989 г.) Springer-Verlag, Берлин, 1994; vi+284 с.; ISBN 3-540-54682-0

[1] Борель, Арманд (2001). Очерки истории групп Ли и алгебраических групп . Том. История математики, Vol. 21. Американское математическое общество и Лондонское математическое общество. ISBN 978-0821802885 .

[Wolfson_2008_pp._37–46-2] Вольфсон, Пол Р. (2008). «Джордж Буль и истоки теории инвариантов». История Математики . 35 (1). Эльзевир Б.В.: 37–46. дои : 10.1016/j.hm.2007.06.004 . ISSN 0315-0860 .

[1]

[2]