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

В классическом определении — алгебраическая теория (иногда называемая также алгебраической И. т.), изучающая алгебраич. выражения (многочлены, рациональные функции или их совокупности), изменяющиеся определенным образом при невырожденных линейных заменах переменных. При этом, вообще говоря, рассматривается не полная линейная группа (т. е. не все множество невырожденных линейных замен переменных), а нек-рая ее подгруппа (напр., ортогональная, симплектическая и др.). И. т. возникла под влиянием ряда задач теории чисел, алгебры и геометрии. Еще К. Гаусс (С. Gauss), занимаясь теорией бинарных квадратичных форм, поставил задачу изучения многочленов от коэффициентов формы ах 2+2bху+су 2, не меняющихся при преобразовании этих коэффициентов, определяемом подстановкой вида где ad-bg=1 и a, b, g,d — целые. С другой стороны, в проективной геометрии при внутренней характеризации конфигураций и связей появляются алгебраич. выражения от проективных координат, не меняющиеся при проективной коллинеации. Предшествующей ступенью И. т. являлось также учение о детерминантах. Арифметич. к алгебраич. вопросами, так или иначе связанными с И. т., занимались К. Якоби (К. Jacobi), Ф. Эйзенштейн (F. Eisenstein), III. Эрмит (Ch. Hermite). Собственно И. т..как математич. дисциплина сложилась к сер. 19 в. Этот период характеризуется интересом к формально-алгебраич. проблемам и их приложениям к геометрии. Понятия группы, инварианта и основные задачи теории формулируются к этому времени точным образом, и постепенно становится ясно, что факты классич. и проективной геометрии есть просто выражение тождеств (сизигий) между инвариантами или ковариантами соответствующей группы преобразований. Первой работой по И. т. следует, видимо, считать "Мемуар о гипердетерминантах" А. Кэли (A. Cayley, 1846). Все обычные термины И. т.- инвариант, ковариант, комитант, дискриминант и т. д.- были введены Дж. Сильвестром (J. Sylvester). Одним из первых объектов изучения И. т. были так наз. инварианты форм. Рассматривается форма степени rот nпеременных с неопределенными коэффициентами: после линейной замены переменных где aij- действительные или комплексные числа, она преобразуется в форму так что указанное линейное преобразование переменных определяет нек-рое преобразование коэффициентов формы: Многочлен ф(. . ., а i1, . . ., in, . . .) от коэффициентов формы f(x1,. . ., х п )наз. (относительным) инвариантом формы, если при всех невырожденных линейных заменах переменных выполнено соотношение где |aij| — определитель линейного преобразования, а g- константа (вес). Если g=0, инвариант наз. абсолютным. Так, простейшим примером инварианта является дискриминант D=b2- ас бинарной квадратичной (n=r=2) формы f( х,y)=ax2+2bxy+cy2, или дискриминант D=3b2 с 2+6abcd-4b3d-Aac3-a2d2 тернарной ( п = 2, r=3) формы f(x, y) = ax3+3bx2y+3cxy2+dy3. Если задана не одна, а несколько форм от одних и тех же переменных, то можно рассматривать многочлены Ф от коэффициентов всех этих форм, преобразующиеся указанным выше способом при линейной замене переменных,- так получается понятие совместного инварианта системы форм. Напр., определитель |aij| есть совместный инвариант системы плинейных форм Аналогичным образом может быть определен ковариант и, более общим образом,- комитант. Классич. постановка основной задачи И. т.- фактически вычислить инварианты, а также дать полное их описание (то же для ковариантов). С этой целью были разработаны всевозможные формальные процессы, позволяющие строить инварианты (поляризация, реституция, тождество Капелли, W-процесс Кэли и т. п.). Кульминацией этой деятельности является создание так наз. символич. метода в И. т.- некоторого формального способа вычислять все инварианты степени не выше заданной (см. [3], [6], [11]). Развившаяся к 30-м гг. 20 в. глобальная теория полупростых групп и их, представлений позволила дать следующую наиболее общую постановку основной задачи классич. И. т. [6]. Задана произвольная группа Gи ее конечномерное линейное представление р в линейном пространстве Vнад полем к. Если х 1, . . .,х п- координаты в V(в каком-либо базисе), то каждый элемент определяет линейную замену переменных х 1, . . ., х п;производя эту замену переменных в произвольном многочлене j( х 1, . .., х п), получают новый многочлен, так что gиндуцирует нек-рое преобразование (автоморфизм) кольца всех многочленов k[ х 1, . . ., х п]от переменных х 1, .. ., х п над полем k. Многочлен j( х 1, . .., х п), не меняющийся при всех таких преобразованиях (т. Новый этап развития И. т. связан с расширением круга задач и геометрич. приложений этой теории. Современная И. т. (или геометрическая И. т.) стала частью общей теории алгебраич. групп преобразований; ее фундаментом является теория алгебраич. групп, построенная в 50-х гг. 20 в., а языком — язык алгебраич. геометрии. В отличие от классич. И. т., основным объектом к-рой являлось кольцо многочленов от ппеременных над полем kвместе с группой автоморфизмов, индуцированных линейными заменами переменных, современная И. т. рассматривает произвольную конечно порожденную k-алгебру Л и алгебраич. группу Gее k-автоморфизмов. Вместо линейного пространства Vи представления р рассматривается произвольное аффинное алгебраич. многообразие Xи алгебраич. группа Gего алгебраич. преобразований (автоморфизмов), так что R- это кольцо регулярных функций на X, а действие Gна Rиндуцировано действием Gна X. Элементы из R, неподвижные относительно G, есть инварианты; все их множество образует k-алгебру RG. Обобщаются и другие понятия классич. И. т., напр. комитант — это регулярное отображение одного такого многообразия в другое, коммутирующее с действием группы; если RG конечно порождена, то говорят, что выполнена первая основная теорема И. т. Устанавливается, что RG будет конечно порождена, если G- геометрически редуктивная группа (см. Мамфорда гипотеза). Во многих важных случаях, напр, в приложении к проблеме модулей, Gявляется именно такой группой. Если RG конечно порождена, то существует аффинное алгебраич. многообразие W, для к-рого RG является алгеброй регулярных функций; включение индуцирует морфизм p : Если Gгеометрически редуктивна, то многообразие Wклассифицирует замкнутые орбиты Gв W:отображение p сюръективно, н в каждом его слое лежит ровно одна замкнутая орбита. Необходимое условие существования фактормногообразия Xпо G- замкнутость всех орбит — оказывается в этом случае и достаточным, и этим фактормногообразием оказывается W. Отсюда видна роль RG в решении геометрич. проблем классификации и построении фактормногообразий; вместе с тем изучение RG (к-рое было конечной целью классич. И. т.) есть лишь начальный этап решения этих геометрич. проблем, ибо значение RG не дает, вообще говоря, полной информации об орбитах Gв Xи потому должно сочетаться с рассмотрением незамкнутых орбит, их замыканий и стабилизаторов (так наз. орбитальных разложений). Более того, изучение действий алгебраич. групп на аффинных алгебраич. многообразиях есть лишь "локальная часть" общей теории алгебраич. групп преобразований (так же, как теория аффинных многообразий — "локальная часть" общей теории алгебраич. многообразий). В общем случае рассматривается алгебраическое (регулярное) действие Gна произвольном алгебраич. многообразии X(склеенном из аффинных кусков), так что, напр., решение задачи о построении фактормногообразия X(или подходящего открытого подмножества в X)по действию Gсводится к рассмотрению G-инвариантного аффинного покрытия Xи применению указанной выше конструкции к каждому элементу этого покрытия с последующей "склейкой" полученных аффинных фактормногообразий. Для успешного применения этой процедуры следует, вообще говоря, заменить Xна нек-рое его инвариантное открытое подмножество (само Xможет и не допускать инвариантного аффинного покрытия). В настоящее время исследования по теории алгебраич. групп преобразований ведутся в различных направлениях, из к-рых можно выделить следующие. Получение информации о свойствах общего положения точек многообразия X, на к-ром регулярно действует алгебраич. группа G. Описание орбитальных разложений различных конкретных действий (в основном, линейных представлений). Теоремы стратификации общих пространств преобразований на более простые, стандартные пространства. Теоремы о фактормногообразиях, пространствах орбит, сечениях, квазисечениях и "слайсах"; многообразия неподвижных точек. Теоремы об эквивариантных вложениях. Критерии аффинности и квазиаффинности орбит (см. Мацусимы критерий). Структура замыканий орбит различных специальных видов, теория квазиоднородных многообразий (т. е. многообразий с плотной орбитой), действия с тривиальной алгеброй инвариантов. Алгебраич. свойства колец инвариантов, алгебро-геометрич. свойства пространств преобразований и фактормногообразий. Связь с теорией особенностей [16]. Проблема рациональности полей инвариантов, связь с теорией алгебраич. торов и алгебраич. теорией чисел [17]. Лит.:[1] Hilbert D., "Math. Ann.", 1890, Bd 36 S. 473 — 534; [2] его же, там же, 1893, Bd 42, S. 313-73; [3] Weitzenbock R., Invarianten-Theorie, Groningen 1923; [4] Hurvitz A., "Gott. Nachr.", 1897, S. 71-90; [5] Клейн Ф., Лекции о развитии математики в XIX столетии, пер. с нем., ч. 1, М.- Л., 1937; [6] Гуревич Г. Б., Основы теории алгебраических инвариантов, М.- Л., 1948; [7] Вейль Г., Классические группы, их инварианты и представления, пер о англ., М., 1947; [8] Проблемы Гильберта, М., 1969; [9] Nаgata M., в кн.: Procledings of the International Congress of Mathematics (Edinburgh, 1958), Camb., 1960, p. 459-62; [10] его же, "Amer. J. Math.", 1959, v. 81, p. 766-72; [11] Mumford D., Geometric Invariant Theory, B.-Hdlb.- N. Y., 1965;.[12] Дьедонне Ж., Кeppол Дж., Мамфорд Д., Геометрическая теория инвариантов, пер. с англ М., 1974; [13] Fogarty S., Invariant theory, N.Y.-Amst 1969; [14] Chevalley C, "Amer. J. Math.", 1955, v 77 p. 778-82; [15] ChepbardG. C.,Todd J. A., "Canad J. Math.", 1954, v. 6, p. 274-304; [16] "Proc. Symp. Pure Math.", 1975, v. 29, p. 633-42; [17] Воскресенский В. Е., "Успехи матем. наук", 1972, т. 28, в. 4, с. 77-102 В.