Теорія інваріантів

Теорія інваріантів — розділ абстрактної алгебри, який вивчає дії груп на алгебраїчних многовидах з точки зору їх впливу на функції визначені на цих многовидах. Класично, теорія розглядає питання про явного опису многочленів, які не змінюються, або є інваріантними, відносно до перетвореннями заданого лінійною групою.

Теорія інваріантів скінченних груп має тісний зв'язок з теорією Галуа. Одним з перших відомих результатів була основна теорема про симетричні функції, яка описує інваріанти симетричної групи ${\displaystyle \ S_{n}}$, що діє на кільці многочленів перестановками змінних.

Теорія інваріантів нескінченних груп нерозривно пов'язана з розвитком лінійної алгебри, зокрема, теорії квадратичних форм і детермінантів. Теорія представлень напівпростих груп Лі має своє коріння в теорії інваріантів.

Вступ

Нехай ${\displaystyle G}$ буде групою, а ${\displaystyle V}$ - скінченновимірним векторним простором над полем ${\displaystyle k}$ (яке в класичній теорії інваріантів як правило вважалося комплексними числами). групи ${\displaystyle G}$ у просторі ${\displaystyle V}$ є ${\displaystyle \pi :G\to GL(V)}$, що індукує ${\displaystyle G}$ на ${\displaystyle V}$. Якщо ${\displaystyle k[V]}$ є , то дія групи ${\displaystyle G}$ на ${\displaystyle V}$ викликає дію на ${\displaystyle k[V]}$ за наступною формулою:

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

З цією дією природно розглядати підпростір всіх поліноміальних функцій, що є інваріантними відносно цієї дії групи, іншими словами множина поліномів, таких що ${\displaystyle g\cdot f=f}$ для всіх ${\displaystyle g\in G}$. Цей простір інваріантних поліномів позначається ${\displaystyle k[V]^{G}}$.

Перша проблема теорії інваріантів: Чи є ${\displaystyle k[V]^{G}}$ над ${\displaystyle k}$?

Наприклад, якщо ${\displaystyle G=SL_{n}}$ і ${\displaystyle V=M_{n}}$ — простір квадратних матриць, а дія ${\displaystyle G}$ на ${\displaystyle V}$ задана лівим множенням, тоді ${\displaystyle k[V]^{G}}$ ізоморфна поліноміальній алгебрі від однієї змінної, породженої визначником. Іншими словами, в цьому випадку кожен інваріантний многочлен є лінійною комбінацією степенів многочлена від визначника. Таким чином, в цьому випадку ${\displaystyle k[V]^{G}}$ є скінченно породженою над ${\displaystyle k}$.

Якщо відповідь позитивна, то наступне питання — знайти мінімальний базис і запитати, чи є модуль поліноміальних відношень між елементами базису (відомий як ) скінченно породженим над ${\displaystyle k[V]}$.

Теорія інваріантів скінченних груп має тісні зв'язки з теорія Галуа. Одним із перших великих результатів була основна теорема про симетричні функції, яка описувала інваріанти симетричної групи ${\displaystyle S_{n}}$, що діє на кільце поліномів ${\displaystyle R[x_{1},\ldots ,x_{n}]}$ шляхом перестановок змінних. Більш загально, характеризує скінченні групи, чия алгебра інваріантів є поліноміальним кільцем. Сучасні дослідження в теорії інваріантів скінченних груп акцентують на "ефективних" результатах, таких як явні межі для степенів породжуючих. Випадок додатньої характеристики, ідеологічно близький до , є предметом активного дослідження та пов'язана з алгебраїчною топологією.

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

Робота щодо питання про скінченну породженість алгебри інваріантів (1890) призвела до створення нової математичної дисципліни, абстрактної алгебри. Пізніша робота Гільберта (1893) займалася тими ж питаннями більш конструктивними та геометричними шляхами, але залишилася маловідомою до тих пір, поки Девід Мамфорд не відновив ці ідеї у 1960-х роках у значно більш загальній та сучасній формі у своїй . Значною мірою завдяки впливу Мамфорда предмет теорії інваріантів охоплює теорію дій на та многоовидах. Окремий напрямок теорії інваріантів, що йде від класичних конструктивних та комбінаторних методів XIX століття, розвивався Джан-Карло Ротою та його школою. Помітним прикладом цього кола ідей є теорія .

Приклади

Прості приклади теорії інваріантів випливають з обчислення інваріантних мономів в результаті дії групи. Наприклад, розгляньте дію ${\displaystyle \mathbb {Z} /2\mathbb {Z} }$ на ${\displaystyle \mathbb {C} [x,y]}$, яка відправляє

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

Тоді, оскільки ${\displaystyle x^{2},xy,y^{2}}$ є мономами найнижчого степеня, які є інваріантними, маємо, що

${\displaystyle \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})}}}$

Цей приклад лежить в основі багатьох обчислень.

Зародження в XIX столітті

Кейлі вперше розглянув задачі з теорії інваріантів у своїй "Теорії лінійних перетворень (1845)." На початку своєї статті Кейлі віддає належне статті 1841 року Джордж Буль, "дослідження мені були запропоновані завдяки дуже елегантній роботі з цієї теми... паном Булем." (Стаття Буля була Представлення загальної теорії лінійних перетворень, Кембриджський математичний журнал.)

Класично, термін "теорія інваріантів" відноситься до вивчення інваріантних (еквівалентно, симетричних тензорів) відносно лінійних перетворень. Це була значна галузь досліджень у другій половині дев'ятнадцятого століття. Сучасні теорії, пов'язані з симетричною групою та симетричними функціями, комутативна алгебра, простір модулів та , мають своє коріння в цій області.

Детальніше, маючи скінченновимірний векторний простір ${\displaystyle V}$ розмірності ${\displaystyle n}$, ми можемо розглянути ${\displaystyle S(S^{r}(V))}$ поліномів степеня ${\displaystyle r}$ над ${\displaystyle V}$, та дію на ній ${\displaystyle GL(V)}$. Насправді більш точно вважати релятивні інваріанти ${\displaystyle GL(V)}$, або представлення ${\displaystyle SL(V)}$, якщо ми говоримо про інваріанти: це тому, що скалярний множник одиничного перетворення діятиме на тензор рангу ${\displaystyle r}$ у ${\displaystyle S(V)}$ через ${\displaystyle r}$-те ступінь 'ваги' скаляра. Тоді мета полягає в тому, щоб визначити підалгебру інваріантів ${\displaystyle I(S^{r}(V))}$ для дії. Ми, класичною мовою, дивимося на інваріанти ${\displaystyle n}$-арних ${\displaystyle r}$-ік, де ${\displaystyle n}$ є розмірністю ${\displaystyle V}$. (Це не те саме, що знаходження інваріантів ${\displaystyle GL(V)}$ на ${\displaystyle S(V)}$; це незацікавлена проблема, оскільки єдині такі інваріанти — константи.) Найбільш вивченим був випадок інваріанти бінарної форми, де ${\displaystyle n}$ = 2.

Інша робота включала діяльність Фелікса Кляйна у розрахунках кілець інваріантів дій скінченних груп на ${\displaystyle \mathbf {C} ^{2}}$ (класифіковані за ); це кільця координат .

Робота , довівши, що I(V) була скінченно представлена у багатьох випадках, майже поклала край класичній теорії інваріантів на кілька десятиліть, хоча класична епоха в предметі продовжувалася до останніх публікацій , більше ніж через 50 років пізніше. Явні розрахунки для конкретних цілей відомі у сучасні часи (наприклад Шіода, з бінарними октавіками).

Теореми Гільберта

Гільберт(1890) довів, що якщо ${\displaystyle V}$ є зображенням представленням комплексної алгебраїчної групи ${\displaystyle G=SL_{n}(C)}$, тоді ${\displaystyle G}$, що діє на кільці поліномів ${\displaystyle R=S(V)}$, є скінченно породженим. Для свого доведення він використовував ${\displaystyle p}$ із ${\displaystyle R}$ в ${\displaystyle R^{G}}$ з такими властивостями:

• ${\displaystyle p(1)=1}$
• ${\displaystyle p(a+b)=p(a)+p(b)}$
• ${\displaystyle p(ab)=ap(b)}$ завжди, коли ${\displaystyle a}$ є інваріантом.

Гільберт явно побудував оператор Рейнольдса, використовуючи ${\displaystyle \Omega }$, хоча тепер більш поширена непряма конструкція ${\displaystyle p}$: для компактних груп ${\displaystyle G}$ оператор Рейнольдса отримують шляхом усереднення по ${\displaystyle G}$, а некомпактні редуктивні групи можна звести до випадку компактних груп, використовуючи .

З урахуванням оператора Рейнольдса, теорема Гільберта доводиться так. Кільце ${\displaystyle R}$ є кільцем поліномів, тому градуйоване за степенями, і ідеал ${\displaystyle I}$ визначається як ідеал, породжений однорідними інваріантами позитивних степенів. За теорема Гільберта про базис ідеал ${\displaystyle I}$ скінченно породжений (як ідеал). Отже, ${\displaystyle I}$ породжений кількома інваріантами ${\displaystyle G}$ (оскільки, якщо ми маємо будь-яку – можливо нескінченну – підмножину ${\displaystyle S}$, яка породжує кінцево породжений ідеал ${\displaystyle I}$, то ${\displaystyle I}$ вже породжений деякою скінченною підмножиною ${\displaystyle S}$). Нехай ${\displaystyle i_{1},...,i_{n}}$ є скінченною множиною інваріантів ${\displaystyle G}$, які породжують ${\displaystyle I}$ (як ідеал). Основна ідея полягає в тому, щоб показати, що ці породжують кільце ${\displaystyle R^{G}}$ інваріантів. Припустимо, що ${\displaystyle x}$ є деяким однорідним інваріантом степеня ${\displaystyle d>0}$. Тоді

${\displaystyle x=a_{1}i_{1}+...+a_{n}i_{n}}$

для деяких ${\displaystyle a_{j}}$ у кільці ${\displaystyle R}$, оскільки ${\displaystyle x}$ знаходиться в ідеалі ${\displaystyle I}$. Ми можемо припустити, що ${\displaystyle a_{j}}$ є однорідними степеня ${\displaystyle d-\deg i_{j}}$ для кожного ${\displaystyle j}$ (в іншому випадку, ми замінюємо ${\displaystyle a_{j}}$ його однорідною компонентою степеня ${\displaystyle d-\deg i_{j}}$; якщо ми зробимо це для кожного ${\displaystyle j}$, рівняння ${\displaystyle x=a_{1}i_{1}+...+a_{n}i_{n}}$ залишиться валідним). Тепер, застосувавши оператор Рейнольдса до ${\displaystyle x=a_{1}i_{1}+...+a_{n}i_{n}}$ отримуємо ${\displaystyle x=p(a_{1})i_{1}+...+p(a_{n})i_{n}}$

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

Сучасне формулювання належить і акцентує на конструкції фактору за дією групи, який повинна захоплювати інваріантну інформацію через її кільце координат. Це тонка теорія, в якій успіх досягається шляхом виключення деяких "поганих" орбіт і ідентифікації інших з "хорошими" орбітами. У окремому розвитку , який здавався евристичним комбінаторним позначенням, було реабілітовано.

Однією з мотивацій було створення в як часток схем, що параметризують позначені об'єкти. У 1970-х та 1980-х роках теорія розвивалася взаємодіями з та еквіваріантною топологією і була використана для конструювання модульних просторів об'єктів у , таких як та .

Література

1. (2001). Essays in the History of Lie groups and algebraic groups. Т. History of Mathematics, Vol. 21. American mathematical society and London mathematical society. ISBN .
2. Wolfson, Paul R. (2008). George Boole and the origins of invariant theory. Historia Mathematica. Elsevier BV. 35 (1): 37—46. doi:10.1016/j.hm.2007.06.004. ISSN 0315-0860.

• ; Carrell, James B. (1970), Invariant theory, old and new, , 4: 1—80, doi:10.1016/0001-8708(70)90015-0, ISSN 0001-8708, MR 0255525 Reprinted as Dieudonné, Jean A.; Carrell, James B. (1971), Invariant theory, old and new, , Boston, MA: , 4: 1—80, doi:10.1016/0001-8708(70)90015-0, ISBN , MR 0279102
• Dolgachev, Igor (2003), Lectures on invariant theory, London Mathematical Society Lecture Note Series, т. 296, Cambridge University Press, doi:10.1017/CBO9780511615436, ISBN , MR 2004511
• Grace, J. H.; Young, Alfred (1903), The algebra of invariants, Cambridge: Cambridge University Press
• (1997), Algebraic homogeneous spaces and invariant theory, New York: Springer, ISBN 
• Kung, Joseph P. S.; (1984), The invariant theory of binary forms, Bulletin of the American Mathematical Society, New Series, 10 (1): 27—85, doi:10.1090/S0273-0979-1984-15188-7, ISSN 0002-9904, MR 0722856
• (1890), Ueber die Theorie der algebraischen Formen, Mathematische Annalen, 36 (4): 473—534, doi:10.1007/BF01208503, ISSN 0025-5831
• Hilbert, D. (1893), Über die vollen Invariantensysteme (On Full Invariant Systems), Math. Annalen, 42 (3): 313, doi:10.1007/BF01444162
• Neusel, Mara D.; Smith, Larry (2002), Invariant Theory of Finite Groups, Providence, RI: American Mathematical Society, ISBN  A recent resource for learning about modular invariants of finite groups.
• (1999), Classical invariant theory, Cambridge: Cambridge University Press, ISBN  An undergraduate level introduction to the classical theory of invariants of binary forms, including the starting at page 87.
• Popov, V.L. (2001), Invariants, theory of, у Hazewinkel, Michiel (ред.), Математична енциклопедія, , ISBN 
• Springer, T. A. (1977), Invariant Theory, New York: Springer, ISBN  An older but still useful survey.
• (1993), Algorithms in Invariant Theory, New York: Springer, ISBN  A beautiful introduction to the theory of invariants of finite groups and techniques for computing them using Gröbner bases.
• (1939), The Classical Groups. Their Invariants and Representations, Princeton University Press, ISBN , MR 0000255
• (1939b), Invariants, , 5 (3): 489—502, doi:10.1215/S0012-7094-39-00540-5, ISSN 0012-7094, MR 0000030

Зовнішні посилання

• H. Kraft, C. Procesi, Classical Invariant Theory, a Primer
• V. L. Popov, E. B. Vinberg, ``Invariant Theory", in Algebraic geometry. IV. Encyclopaedia of Mathematical Sciences, 55 (translated from 1989 Russian edition) Springer-Verlag, Berlin, 1994; vi+284 pp.;

Див. також

• Давид Гільберт
• Інваріант (математика)
• Інваріант графу