Алгебры полиномиальных инвариантов классических матричных групп тема автореферата и диссертации по математике, 01.01.06 ВАК РФ

Лопатин, Артем Анатольевич АВТОР
доктора физико-математических наук УЧЕНАЯ СТЕПЕНЬ
Оск МЕСТО ЗАЩИТЫ
2013 ГОД ЗАЩИТЫ
   
01.01.06 КОД ВАК РФ
Диссертация по математике на тему «Алгебры полиномиальных инвариантов классических матричных групп»
 
Автореферат диссертации на тему "Алгебры полиномиальных инвариантов классических матричных групп"

На правах рукописи

(/I

Лопатин Артем Анатольевич

АЛГЕБРЫ ПОЛИНОМИАЛЬНЫХ ИНВАРИАНТОВ КЛАССИЧЕСКИХ МАТРИЧНЫХ ГРУПП

01.01.06 — математическая логика, алгебра и теория чисел

Автореферат диссертации на соискание ученой степени доктора физико-математических наук

14 ОКТ 2013

0мск-2013

005535659

005535659

Работа выполнена в Омском филиале Федерального государственного бюджетного учреждения науки Института математики им. С. Л. Соболева Сибирского отделения Российской академии наук.

Научный консультант:

доктор физико-математических наук Зубков Александр Николаевич. Официальные оппоненты:

Аржанцев Иван Владимирович, доктор физико-математических наук, доцент, Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования "Московский государственный университет имени М.В. Ломоносова", профессор;

Мищенко Сергей Петрович, доктор физико-математических наук, профессор, Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования "Ульяновский государственный университет", заведующий кафедрой;

Панов Александр Николаевич, доктор физико-математических наук, профессор, Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования "Самарский государственный университет", заведующий кафедрой.

Ведущая организация: Федеральное государственное автономное образовательное учреждение высшего профессионального образования "Уральский федеральный университет имени первого Президента России Б.Н. Ельцина".

Защита состоится 15 ноября 2013 в 14:00 на заседании диссертационного совета Д 003.015.02 при Федеральном государственном бюджетном учреждении науки Институте математики им. С.Л. Соболева Сибирского отделения Российской академии наук по адресу: 630090, Новосибирск, пр. Акад. Коптюга, 4.

С диссертацией можно ознакомиться в библиотеке Федерального государственного бюджетного учреждения науки Института математики им. С. Л. Соболева Сибирского отделения Российской академии наук. Автореферат разослан октября 2013 г.

Учёный секретарь диссертационного совета кандидат физико-математических наук

ОБЩАЯ ХАРАКТЕРИСТИКА ДИССЕРТАЦИИ

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

Теория инвариантов оформилась в самостоятельную алгебраическую дисциплину более полутора веков назад под влиянием ряда задач геометрии, алгебры и теории чисел. Ее первоначальной целью было изучение алгебраических выражений, не меняющихся (или меняющихся определенным образом) при невырожденных линейных заменах переменных. Простейшим примером являются симметрические многочлены, так как они инвариантны относительно действия группы перестановок на множестве переменных. Однако с течением времени проблематика теории инвариантов расширилась, и в настоящее время под теорией инвариантов обычно понимают теорию, изучающую действия алгебраических групп на алгебраических многообразиях. Основы теории инвариантов изложены в книгах; Т.А. Спрингера [24], Д. Мамфорда и Дж. Фогати [60], X. Крафта [12], Э.Б. Винберга и В.Л. Попова [3]. Современный подход к конструктивной теории инвариантов изложен в книге X. Дерксена и Г. Кемпера [32].

В истории теории инвариантов, с некоторой долей условности, принято выделять три периода. Первый период — это вторая половина XIX века. Теория инвариантов того времени связана с такими именами, как Буль, Кэли, Сильвестр, Эрмит, Якоби, Клебш, Гордан. Особенностью этого периода является изучение конкретных алгебр инвариантов, явное описание их порождающих и соотношений между порождающими. Одним из основных догильбертовских достижений является результат П. Гордана о том, что инварианты бинарных форм конечнопорождены над полями нулевой характеристики. Гораздо более общий результат был получен Д. Гильбертом в 1890 году, который в современной формулировке звучит так: алгебра инвариантов редуктивной алгебраической группы, действующей на аффинном многообразии, конечно порождена. Отметим, что обобщение на случай поля положительной характеристики было получено Нагатой. XIV проблема Гильберта посвящена теории инвариантов: будет ли кольцо инвариантов алгебраической группы, действующей на полиномиальном кольце, всегда конечно порожденным? Контрпример был построен М. Нагатой в 1959 году.

Второй период — это первая половина XX века. Он характеризуется

изучением связи между теорией инвариантов и теорией представлений классических матричных групп и представлен такими математиками, как Р. Брауэр, Г. Вейль, И. Шур. Основные результаты были собраны в книге Г. Вейля 1946 года: "Классические группы — их инварианты и представления" [73], где были рассмотрены инварианты векторов и ковекторов.

Современный период теории инвариантов связан с интенсивным использованием геометрических идей, и теория инвариантов становится разделом алгебраической геометрии. Исторически ключевое значение имеет книга Д. Мамфорда "Геометрическая теория инвариантов" [59] 1965 года.

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

Инварианты матричных групп. Рассмотрим классическую матричную группу С?, т.е. группу из списка ОЬ(п), 0(п), 9р{п), БЬ(п), 30(п), и прямую сумму

н _ рпхп ф . . . фрпхп

6, копий пространства п х тг матриц над бесконечным полем Р. Группа С действует на Н диагонально сопряжениями, а именно:

Координатное кольцо пространства Н (другими словами, кольцо полиномиальных функций / : Н —> Р) — это кольцо полиномов

где Хц(к) : Н —> Р переводит представление (Ль..., Ал) е V в (г,^')-ый элемент матрицы Ак■ Обозначим через

д-{Аи...,А(1) = {дА1д 1,...,дАлд 1),

(1)

где ¿г 6 С и Аи...,Ал 6

Д = Р[Я] = ¥[х^(к) 11 < г, э < п, 1 < к <

к-ую общую матрицу (1 < к < п).

Действие G на Я индуцирует действие G на R следующим образом: (д ■ f)(h) — f{g~l ■ h) для всех д е G, f € R, h е Я. Другими словами,

д • Xij(k) = (i,j)-ый элемент матрицы д~хХ^д.

Алгебру G-инвариантов нескольких матриц обозначим через

R° = {/ € R | д ■ f = f для всех д 6 G}.

Ясно, что / е R лежит в Ra тогда и только тогда, когда f(g ■ h) = f(h) для всех д € G и h € Я.

Алгебра RG имеет приложения как к теории представлений ассоциативных алгебр (например, см. [36,58]), так и к теории алгебр с полиномиальными тождествами. На приложении к теории алгебр с полиномиальными тождествами (PI-алгебры) мы остановимся ниже. Кроме того, (ЗХ(п)-инварианты нескольких матриц были применены к некоммутативной алгебраической геометрии в недавних работах 3. Райхштайна и Н. Вонессена [65,66,72].

Мы не рассматриваем случаи ортогональной группы и специальной ортогональной группы над полем характеристики два, так как в этих случаях даже порождающие алгебры инвариантов нескольких векторов не известны. Последние результаты в этом направлении могут быть найдены в статье М. Домокоса и П. Френкеля [38] 2005 года.

Обозначим коэффициенты характеристического полинома пх.п матрицы X через at{X), т.е.

det(AЕ -Х) = А" - cri(X)An-1 + • • ■ + {-1)пап(Х). (2)

Порождающие алгебры R° были найдены в 1992 году С. Донки-ным [40] для GL(n) и в 1999 году А.Н. Зубковым для О(п) и Sp(n) [7]. В указанных работах было доказано, что алгебра инвариантов RG порождается следующими элементами:

(a) at(А) (1 < t < п и А пробегает множество всех мономов от Xi,... ,Xd), если G = GL(n);

(b) at(B) (1 < t < п и В пробегает множество всех мономов от Хь ..., Xd, Xj,..., Xj), если G = 0(п) и charF ф 2;

(с) crt(C) (1 < t < п и С пробегает множество всех мономов от Xi,... ,Xd, Xi,..., X*d), если G = Sp{n). Здесь X* обозначает сим-плектически транспонированную матрицу.

Если charF = 0 или charF > п, то достаточно взять следы tr(C/) вместо <tt{U) для того, чтобы получить систему порождающих алгебры RG. Ранее, над полями нулевой характеристики, соответствующие результаты были получены К.С. Сибирским [23] в 1968 году и К. Про-чези [63] в 1976 году, которые применили классическую теорию инвариантов векторов и ковекторов (см. книгу [73] Г. Вейля). Более того, Ю.П. Размысловым [17] в 1974 году было показано, что над полем нулевой характеристики достаточно полагать, что deg(£/) < п2. Развивая идеи из [63], X. Аслаксен, И.К. Тан, К.Б. Жо вычислили порождающие для случая G — SO{n) в 1995 году (см. [26]).

Над бесконечным полем произвольной характеристики соотношения для были установлены А.Н. Зубковым [6] в 1996 году. В статье

А.Р. Кемера [54] 1997 года приводится прямое комбинаторное доказательство этого результата для случая полилинейных соотношений.

Отметим, что важность изучения инвариантов матричных групп над полями положительной характеристики была указана Э. Форманеком в обзоре [49], опубликованном в 1991 году (также см. [48]). Ключевым отличием случая положительной характеристики от случая поля нулевой характеристики является следующее свойство:

• если 0 < charF < п, то для любого d инвариант tr(_Xi • • -Xj) не выражается через инварианты из RGL(n) меньшей степени.

При остальных характеристиках поля данное свойство неверно.

Минимальная (относительно включения) система порождающих (сокращенно МСП) для <31/(2)-инвариантов нескольких матриц была описана в работах [23,37,64]:

• tr(JTi), tr(X?), tr{XiXj) (i < j), tr(XiXjXk) (i < j < к), если charF ф 2,

• tr (Xi), det(Xj), tr(Xij • • • Xir) (¿! < • • • < ir, r > 0), если charF = 2,

где 1 < i,j,k, ¿i,... ,ir < d. Для 0(2)-инвариантов нескольких матриц над F = С МСП была построена в статье [23].

Положим, что d = 2. При charF = 0 Я. Дубнов [5] в 1941 году нашел следующую систему порождающих алгебры инвариантов RGL^:

tr№), tr(Xf), tr(Xf), tr(X2), tr(Xf), tr(X|), tr(XiX2), ti(X2lX2), tr(XiX%), tr(X?X$), tx{XlX2XlXl), а A.B. Маринчук и K.C. Сибирский [14] в 1969 году показали, что указанная система порождающих является минимальной. Если заменить ti(X^) на сгк{Хг) (г = 1,2, к = 2,3), то получим МСП для поля произвольной характеристики. Более того, алгебра инвариантов RGLW изоморфна фактору кольца многочленов от 11 переменных по главному идеалу, порождающий которого явно указан К. Накамото [62] в 2002 году и X. Аслаксеном, В. Дренским, JI. Садиковой [27] в 2006 году. Ранее, над полями нулевой характеристики аналогичный результат был получен Я. Тераниши [70] в 1986 году. Над полем нулевой характеристики МСП для RGL^ была найдена в статье [70], а детальное описание соотношений малых степеней было получено В. Дренским и Р. Ла Скало [45] в 2007 году. Кроме того, при малых п ряд результатов об алгебре RGL^ над полями нулевой характеристики может быть найден в обзоре В. Дренского [44], а над полем произвольной характеристики — в работе М. Домокоса, А.Н. Зубкова и С.Г. Кузьмина [37].

Рассмотрим более подробно приложение алгебры GL(n)~ инвариантов нескольких матриц к PI-алгебрам. Алгебра конкоми-тантпов Сп порождается алгеброй инвариантов

цсьы

и общими

матрицами. Тождества алгебры конкомитантов называются матричными тождествами с формами, и они содержат идеал тождеств Т[Мп] алгебры всех тг х п матриц над полем F. Задача описания идеала матричных тождеств с формами эквивалентна описанию тождеств алгебры RGL(n\ которая решена, в отличие от задачи описания Т[Мп]. Поэтому алгебра инвариантов может быть использована для

получения информации о тождествах алгебры всех п х п матриц. Отметим, что идеал тождеств Т[М„] описан только в случае п = 2 и charF ф 2 (см. [16], [30], [57]). Используя матричные тождества с формами, JI.M. Самойлов [18, 19] в 2008 году положительно решил следующую проблему, поставленную А.Р. Кемером [53] в 1996 году: верно ли, что радикал Джекобсона относительно свободной алгебры счетного ранга над бесконенчным полем положительной характеристики является ниль-идеалом ограниченного индекса? Матричные тождества с формами также применялись К. А. Зубрилиным [9,10] при изучении алгебр, удовлетворяющих тождествам Капелли. При помощи изучения матричных тождеств с формами А.Я. Белов [1], работая над полем произвольной характеристики, показал устойчивость вербально

первичных Т-идеалов, наличие у них слабых тождеств и центральных полиномов. В статье [11], опубликованной в 1990 году, А.Р. Кемер, помимо решения локальной проблемы Шпехта для произвольного бесконечного поля, доказывает существование киллеров всех форм. А именно для 1 < t < п киллером формы crt называется такой некоммутативный многочлен ht £ Т[Мп], что htcrt(x) — gt лежит в Т\Мп) для некоторого некоммутативного многочлена gt. Киллеры помогают совершать переход от матричных тождеств с формами к обычным тождествам матриц. Полагая, что charF ф 2,3, А.Р. Кемер и И.В. Аверьянов [55] в 2006 году описали идеалы киллеров следов для 2x2 и 3 х 3 матриц.

Отметим так же, что алгебры и поля инвариантов различных подгрупп классической матричной группы G (например, параболических) в случае d, = 1 были исследованы в работах А.Н. Панова [15], К.А. Вяткиной и А.Н. Панова [4], В.В. Севостьяновой [20-22].

Инварианты колчанов. Колчаном Q = (Qo,Qi) называется конечный ориентированный граф со множеством вершин Qo и множеством ребер Qi. Данное понятие было введено П. Габриэлем [50] в 1972 году в качестве эффективного средства для описания различных проблем линейной алгебры. Важность данного понятия с точки зрения теории представлений следует из того, что категория представлений колчана эквивалентна категории конечномерных модулей алгебры путей данного колчана. Так как каждая конечномерная базовая (basic) алгебра над алгебраически замкнутым полем является фактор-алгеброй алгебры путей некоторого колчана (см. главу 3 из [46]), то категория конечномерных модулей над такой алгеброй является полной подкатегорией категории представлений колчана. Полиномиальные инварианты колчанов важны не только для классической теории инвариантов, но и для теории представлений колчанов потому, что эти инварианты различают полупростые представления колчана.

Представление колчана с I вершинами состоит из набора векторных пространств F"1,... , F™', сопоставленных вершинам, и линейных отображений между этими векторными пространствами "вдоль" стрелок. Вектор п = (ni,..., щ) называется вектором размерности. Группа GL(ni) х ■ • • х GL{ni) действует на множестве представлений колчана заменой базисов в пространствах, сопоставленных вершинам. Как и выше, мы можем определить алгебру полиномиальных инвариантов. Если

колчан состоит из одной вершины и нескольких петель, то алгебра инвариантов колчана совпадет с алгеброй С?£(тг)-инвариантов нескольких матриц.

Понятие представления колчана можно обобщить следующим образом. Рассмотрим некоторую вершину V данного колчана, где 1 < ь < I. В классическом случае полная линейная группа СЬ (п„) действует на Р71" умножением слева, но в нашем случае произвольная классическая матричная группа из списка СЬ(пь), 0(п„), £р(п„), ЗЬ(пь), 80(пу) может действовать на . Более того, разобьем часть вершин на непересекающиеся пары. При этом вершинам из одной пары сопоставим взаимосопряженные векторные пространства. Таким образом, теперь мы можем работать с билинейными формами, а не только с линейными отображениями. Кроме того, вместо произвольных линейных отбражений "вдоль" стрелок мы можем рассматривать только те, которые удовлетворяют некоторому ограничению; например, сохраняют некоторую билинейную симметрическую форму на пространствах, сопоставленных вершинам. Полученные таким способом представления колчанов называются представлениями смешанного колчана £}. Таким образом, £3 = (О, тг, д, Н, г) определяется следующими элементами:

• колчаном О вместе с вектором размерности п,

• типами классических матричных групп, задаваемых вектором д,

• типами линейных отображений вдоль стрелок, задаваемых вектором Н,

• инволюцией i, которая задает пары сопряженных вершин.

Частными случаями рассмотренной конструкции являются следующие понятия.

• вЬ-смешанные и суперсмешанные представления колчанов, введенные А.Н. Зубковым [74] в 2000 году (также см. [75]). Для получения С?.£-смешанных (суперемешанных, соответственно) представлений из [75] следует рассмотреть представления такого смешанного колчана £}, что С? — это произведение полных линейных групп (полных линейных групп, ортогональных и симплектиче-ских групп, соответственно).

• Ортогональные и симплектические представления симметрического колчана, введенные X. Дерксеном и Дж. Вайманом [34] в 2002 году.

• Симметрические представления колчанов со знаком, введенные Д. Шмелькиным [69] в 2006 году.

Мотивация данных обобщений с точки зрения теории представлений алгебраических групп дается в работах [34], [69], где симметрические колчаны и колчаны со знаком, соответственно, как ручного, так и конечного типа классифицированны.

Смешанный колчан £} позволяет нам определить группу G = G(n,g,i), действующую на Я = H(Q, п, г). Рассмотрим известные результаты о порождающих и соотношениях между ними для алгебры инвариантов Г[Я]С.

Над полями нулевой характеристики инварианты произвольного колчана Q были найдены JI. Ле Брюном и К. Прочези [58] в 1990 году.

Применяя теорию модулей с хорошей фильтрацией (см. [39]), С. Донкин [42] в 1994 году описал порождающие для случая произвольного колчана над полем положительной характеристики. Соотношения между порождающими были найдены А.Н. Зубковым [8] в 2001 году, используя подход, позволяющий одновременно вычислять порождающие и соотношения между ними. Этот подход также использует теорию модулей с хорошей фильтрацией.

Инварианты колчана относительно действия G = Пиео0 SL(nv) называются полуинвариантами. Их порождающие над полями произвольной характеристики были установлены М. Домокосом и А.Н. Зубковым [35] в 2001 году, используя методы из [6,8,40,42], и, независимо, X. Дерксеном и Дж. Вайманом [31,33] в 2002 году, используя теорию представлений колчанов. Одновременно, аналогичный результат над полями нулевой характеристики был получен А. Скофилдом и М. Ван ден Бергом [67] в 2001 году.

Комбинируя рассуждения с суперклассами Юнга из [42] с редукцией из [7], А.Н. Зубков [75] в 2005 году нашел порождающие для случая смешанных колчанов (Q, п, д, h, i) с gv 6 {GL, О, ££>} для всех v 6 Q0. Соотношения между порождающими алгебры инвариантов G¿-смешанных колчанов были установлены А.Н. Зубковым [76] в 2005 году по модулю свободных соотношений.

Ступень нильпотентности алгебры с тождеством хп = 0. Обозначим через Cnd ступень нильпотентности относительно свободной ассоциативной F-алгебры без единицы с d (свободными) порождающими и тождеством хп = 0. Так как C\td = 1 и Спд = п, то мы полагаем, что n,d> 2, если не оговорено противное. Ясно, что зависит только от n, d и р = char F.

Рассмотрим следующие три случая:

(a) р = 0;

(b) 0 < р < те;

(c) р > п.

Хорошо известная теорема Нагаты-Хигмана (см. [61] и [51]), которая первоначально была доказана Я. Дубновым и В. Ивановым [47] в 1943, утверждает, что Crli,i < 2" в случаях (а) и (с). Как было отмечено в [37], Cn,d > d в случае (Ь); в частности, Crli,i —» оо при d —» оо. Значит, случай (Ь) существенно отличается от случаев (а) и (с). В 1974 году Ю.П. Размыслов [17] доказал, что CU:d < п2 в случае (а). Что же касается нижних оценок на Cn<i-, в 1975 году E.H. Кузьмин [13] установил неравенство CUtd > \п(п + 1) в случаях (а), (с) и предположил, что Cn,d в действительности равно |n(n+ 1) в этих случаях. Доказательство данной нижней оценки было воспроизведено в книгах [43] и [29]. Однако гипотеза Кузьмина остается недоказанной, за исключением некоторых частных случаев. А именно, гипотеза верна при п = 2ип = 3. В случае (а) гипотеза была доказана М.Р. Воганом-Ли [71] при п — 4 и Н. Жукавец вместе с И.П. Шестаковым [68] при тг = 5, d = 2.

Используя подход А.Я. Белова [28], A.A. Кляйн [56] в 2000 году получил следующие верхние оценки для случая поля произвольной характеристики: Cn!d < \n6dn и Cn>d < (ml1}!n" dm, где m = [п/2]. Здесь [а] (где абЖ) обозначает наибольшее целое число b < а. В 2011 году А.Я. Белов и М.И. Харитонов [2] показали, что Cnid < 218 ■ ni2iog3(n)+28(i Более того, они доказали наличие аналогичных верхних оценок для высоты Ширшова конечно порожденной алгебры с полиномиальными тождествами.

Для d > 0 и поля произвольной характеристики ступень нильпо-

2 (например, см. [37]):

если р = 0 или р > 2 если р = 2

Основные результаты диссертации. На защиту выносятся следующие результаты:

1. Описаны порождающие алгебры матричных инвариантов специальной ортогональной группы над бесконечным полем нечетной характеристики (следствие 1, опубликовано в [83]).

2. Описаны соотношения между порождающими для алгебры матричных инвариантов ортогональной группы над бесконечным полем нечетной характеристики (теорема 2, опубликовано в [89], [90]).

3. Описаны соотношения между порождающими для алгебры матричных инвариантов симплектической группы над бесконечным полем нечетной характеристики (теорема 3, опубликовано в [90], [93]).

4. Описаны порождающие алгебры инвариантов смешанных колчанов над бесконечным полем произвольной характеристики (теорема 1, опубликовано в [81], [83]).

5. Изучены свойства алгебры инвариантов ортогональной группы малого порядка (теорема 5, опубликовано в [87]).

6. Над полями положительной характеристики построены новые оценки на ступень нильпотентности относительно свободной конечно порожденной ассоциативной алгебры с тождеством х" = 0 (следствие 2, опубликовано в [91]); строится конечная система порождающих алгебры матричных инвариантов полной линейной группы (теорема 4, опубликовано в [91]).

Все эти результаты получены автором самостоятельно. Результаты из главы 2 получены автором совместно с А.Н. Зубковым при равном участии.

тентности известна для п =

<1+1,

Научная новизна. Все основные результаты диссертации являются новыми.

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

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

Апробация работы. Результаты диссертации докладывались на следующих научно-исследовательских семинарах: Омский алгебраический семинар (ОФ ИМ СОРАН), семинар "Группы Ли и теория инвариантов" (МГУ), семинар "Алгебра и логика" (НГУ), семинар им. A.M. Ширшова "Теория колец" (ИМ СОРАН), семинар по теории представлений университета г. Билефельд (Германия), семинар "Алгебры Ли, йордановы алгебры и их представления" университета г. Сан-Паулу (Бразилия), алгебраический семинар университета г. Кампинас (Бразилия), алгебраический семинар университета г. Бразилиа (Бразилия), алгебраический семинар Мюнхенского технического университета (Германия), семинар по теории представлений Рурского университета в Бо-хуме (Германия). Кроме того, результаты диссертации были доложены на следующих математических конференциях: международная конференция "Мальцевские чтения" (Новосибирск, 2002, 2003, 2010); международная алгебраическая конференция, посвященная 250-летию МГУ и 75-летию кафедры алгебры (Москва, 2004); международная конференция 'Теория представлений и ее приложения" (Уппсала, Швеция, 2004); международная алгебраическая конференция, посвященная 100-летию со дня рождения Конторовича и 70-летию Л.Н. Шеврина (Екатеринбург, 2005); исследовательская конференция "Геометрия представлений

и теория инвариантов" (Спа, Бельгия, 2005); международная конференция по модулям и комодулям (Порту, Португалия, 2006); конференция "Дни теории представлений" (Ганновер, Германия, 2007); международная алгебраическая конференция, посвященная 100-летию со дня рождения Д.К. Фадцеева (Санкт-Петербург, 2007); международная алгебраическая конференция, посвященная 100-летию со дня рождения А.Г. Куроша (Москва, 2008); конференция по алгебре, геометрии и динамическим системам (Белфаст, Великобритания, 2009); международная алгебраическая конференция, посвященная 60-летию А.И. Генералова (Санкт-Петербург, 2009); международная конференция "Перспективы теории инвариантов" (Кельн, Германия, 2009); международная алгебраическая конференция, посвященная 70-летию A.B. Яковлева (Санкт-Петербург, 2010); международная конференция "Стохастические методы в биологии и предельные алгебры" (Омск, 2010); вторая школа-конференция "Алгебры Ли, алгебраические группы и теория инвариантов" (Москва, 2011); международная конференция по теории колец, посвященная 90-летию со дня рождения А.И. Ширшова (Новосибирск, 2011); международная конференция "Алгебры Ли, йордано-вы алгебры, их представления и приложения, V" (Белем, Бразилия, 2012); международная конференция "Группы, кольца и групповые кольца" (Убатуба, Бразилия, 2012).

Структура и объем диссертации. Диссертация состоит из введения, 9 глав и списка литературы. Полный объем диссертации составляет 189 страниц. Список литературы включает 103 наименования. Нумерация утверждений (теорем, лемм, следствий), определений и примеров сквозная внутри каждой главы и состоит из двух чисел: первое число — это номер главы, второе — порядковый номер внутри главы.

Публикации. Результаты диссертации были опубликованы в работах [77]- [93]. Статьи [80] и [82] написаны совместно с научным консультантом А.Н. Зубковым при равном участии обеих сторон. Работы [77]— [84], [86]- [92] опубликованы в журналах, входящих в перечень ВАК рецензируемых научных журналов, в которых должны быть опубликованы основные научные результаты диссертаций на соискание ученых степеней доктора и кандидата наук.

ОБЗОР СОДЕРЖАНИЯ ДИССЕРТАЦИИ

Сформулируем основные результаты диссертации. В скобках укажем номера соответствующих теорем и следствий из диссертации.

В главах 1—5 диссертации строятся порождающие алгебры инвариантов произвольного смешанного колчана:

Теорема 1. (1.12) Рассмотрим смешанный колчан (Я,п,д,Н,г), удовлетворяющий условию (1-5). Тогда алгебра инвариантов то, Н)]с(п'9'г) порождается элементами

ФП(ак(Х0г - • -Х01)), Ф°..,У,)),

где

1. /Зу-Рг пробегают множество всех замкнутых путей в и 1 <к< пр»;

2. (Г, (Ух,..., У,)) пробегает множество всех путевых £2°-таблиц такого веса ги, что

a) если е {СЬ,0,8р} для некоторой вершины V € !0о, то

= 0;

b) если дл] = БЬ для некоторой вершины у & Со, то ъицу-) = 0 или 41-и = 0;

c) если ду — БО для некоторой вершины у е Оо, то ииу < I и г(ь) = у.

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

Следствие 1. (1.14, часть <!)) Пусть сЬагЕ ф 2. Если п четно, то алгебра инвариантов нескольких матриц порождается следу-

ющими элементами:

ЫУ), ^...„».(П.....У.),

где 1 < к < п, к± + • • • + к3 = п/2, и матрицы У, Ух,...,У« пробегают множество всех мономов от ..., Ха, Х^,..., X2. Если п нечетно, то = .

Здесь через ^ обозначена частичная линеаризация обобщен-

ного пфаффиана р£, который для произвольной матрицы X четного порядка равен р£(Х — ХТ).

Глава 1 организована следующим образом. В разделе 1.1 обобщается понятие представлений колчанов и вводится ключевое понятие смешанных колчанов.

Раздел 1.2 содержит необходимые в главе 1 обозначения вместе с ключевыми понятиями блочной частичной линеаризации пфаффиана (БЧЛП) и таблицы с заменой (которые для краткости обычно называем таблицами). С каждой таблицей с заменой (Т, (Хх,..., Х3)) связан многочлен ЬрГт(Х1,... ,Х8), который является БЧЛП, однако не всякая БЧЛП равна Ър£г(.Х1,..., Х3) для некоторой таблицы с заменой.

В разделе 1.3 основной результат главы (теорема 1) сформулирован при помощи таблиц с заменой. Затем в разделе 1.4 рассмотрен случай колчана с одной вершиной (следствие 1).

Разделы 1.5-5.3 посвящены доказательству теоремы 1. В разделе 1.5 установлено, что элементы из теоремы 1 действительно являются инвариантами.

Результаты главы 1 получены автором лично и опубликованы в [83].

В главе 2 описаны инварианты в ключевом частном случае БЬ-смешанных колчанов на языке БЧЛП. Для этого в разделе 2.2 вводится определитель-пфаффиан ВР4,Г, который является частным случаем БЧЛП. В разделе 2.3 случай общего колчана сводится к случаю зигзаг-колчана, который является разновидностью двудольного колчана. В разделе 2.4 формулируется основной результат главы, который затем доказывается в разделе 2.5. Результаты главы 2 получены совместно с научным консультантом А.Н. Зубковым при равном участии обеих сторон и опубликованы в [80].

Глава 3 посвящена доказательству формулы разложения, которая представляет БЧЛП, соответствующую некоторой таблице, как многочлен от БЧЛП, соответствующих таблицам с меньшим числом столбцов. В разделе 3.2 доказывается мультилинейный аналог формулы разложения. Разделы 3.3 и 3.4 посвящены доказательству формулы разложения. Некоторые следствия из формулы разложения рассмотрены в

разделе 3.5. Например, формула разложения обобщает хорошо известную формулу С.А. Амитсура [25], которая представляет определитель суммы матриц как многочлен от коэффициентов характеристических многочленов различных произведений этих матриц. Результаты главы 3 получены автором лично и опубликованы в [81].

В главе 4 мы переписываем порождающие из главы 2 в терминах БЧЛП, соответствующих таблицам. Кроме того, мы получаем единообразное описание инвариантов, независимо от того, рассматриваем ли мы зигзаг-колчан или нет. Более того, мы описываем порождающие для случая GL- и ¿"¿-инвариантов. Результаты главы 4 получены автором лично и опубликованы в [83].

Глава 5 посвящена завершению доказательства теоремы 1. Общий случай сводится к случаю GL- и ¿"¿-инвариантов в разделе 5.1 при помощи двойственности Фробениуса и теории модулей с хорошей фильтрацией. В теореме 5.2 установлено, что пространство инвариантов является образом GL- и ¿'¿-инвариантов некоторого явно построенного колчана. В разделе 5.2 мы применяем формулу разложения для того, чтобы переписать БЧЛП как многочлен от БЧЛП специального вида. Применяя этот результат, в разделе 5.3 мы находим образ GL- и ¿"¿-инвариантов и показываем, что элементы из теоремы 1 порождают алгебру инвариантов. Результаты главы 5 получены автором лично и опубликованы в [83].

В главе 6 над полями положительной нечетной характеристики описаны соотнощения между порождающими матричных инвариантов ортогональной и симплектической групп:

Теорема 2. (6.7) Положим, charF ф 2 и G = 0{п). Тогда идеал соотношений Кп для ~ а(Х)/Кп порождается

<7tjr(a, b, с) для t + 2r > п (t,r > 0), где а,Ь,с пробегают множество элементов алгебры F(X).

Теорема 3. (6.8) Положим, charF ф 2 и G = Sp(n). Тогда идеал соотношений Кп для ~ а(Х)/Кп порождается

Qt,r{a, Ь, с) для t + 2г > п (t,r > 0), где a, be F<X) uceF(X)#.

Все необходимые определения можно найти в разделе 6.1. Доказательства этих результатов состоят из двух шагов: вначале мы сведем проблему описания соотношений для R°(n) и Д5^") к соотношениям между инвариантами GL-смешанных представлений колчанов из [75], а затем завершим описание соотношений между инвариантами смешанных представлений колчанов, полученное А.Н. Зубковым [76] по модулю свободных соотношений. Соотношение называется свободным, если оно верно для матриц произвольных размеров. Первый шаг осуществлен в главе 6, а второй вынесен в отдельную главу 7. Результаты главы 6 получены автором лично и опубликованы в [89], [93].

В главе 7 для выполнения второго шага мы используем работу А.Н. Зубкова [76] и новый результат, утверждающий, что при char F ^ 2 идеалы свободных соотношений для и Д^С") равны нулю. Опишем идею доказательства этого результата. Вначале, в разделе 7.3 мы определим частичные производные дч на кольце многочленов NCT, содержащем сг{Х). Действуя частичными производными на свободных соотношениях, построим р-мультилинейное свободное соотношение в разделе 7.4. Затем, применяя замены в разделе 7.5, получим мультилинейное свободное соотношение. Заменяя общие матрицы на подходящие матрицы с целыми коэффициентами, мы покажем, что единственное мультилинейное свободное соотношение тождественно равно нулю. Результаты главы 7 получены автором лично и опубликованы в [90].

В главе 8 получаем следующую верхнюю оценку на ступень нильпотентности Cnid'

Следствие 2. (8.8) Пусть charF > §. Тогда Cn>d < 4 ■ 2n/2d. Более того, если п > 30, то Cntd < 2 • 2n/2d.

Кроме того, C4td описана с погрешностью 3 для всех d и charF / 2. В качестве приложения, рассмотрена алгебра С£(п)-инвариантов нескольких матриц и описана ее конечная система порождающих при помощи Cn<d:

Теорема 4. (8.22) Алгебра GL(n)-инвариантов d матриц порождается следующим конечным множеством:

• <rt(a), где t = 1 или charF < t < а — это произвольный моном от общих матриц Х\,..., Xd, dega < C[n/t\,d>

• at(Xi), где § < t < n, charF < t, 1 < г < d.

Результаты главы 8 получены автором лично и опубликованы в [91]. Глава 9 посвящена вычислению наибольшей степени Dma.x элементов МСП для которая может быть использована для построения "небольшой" конечной системы порождающих алгебры R°(3\ Получены следующие оценки на Dmax:

Теорема 5. (9.1) Пусть п = 3 и d > 1. Тогда

• Если char F = 3, то 2d + 4 < £>тах < 2d + 7.

• Если charF ф 2,3, то Dmax = 6.

Результаты главы 9 получены автором лично и опубликованы в [87].

Литература

[1] Белов А.Я. Ассоциативных PI-алгебр, совпадающих со своим коммутатором, не существует // Сиб. матем. журн. 2003. Т. 44. С. 12391254.

[2] Белов А.Я., Харитонов М.И. Субэкспоненциальные оценки в теореме Ширшова о высоте // Матем. сб. 2012. Т. 203. №4. С. 81-102.

[3] Винберг Э.Б., Попов В.Л. Теория инвариантов // Итоги науки и техн., Соврем, проблемы матем., Фундам. напр. ВИНИТИ. 1999. Т. 55. С. 137-309.

[4] Вяткина К.А., Панов А.Н. Поле [/-инвариантов присоединенного представления группы GL(n, К) // Матем. заметки. 2013. Т. 93. №1. С. 144-147.

[5] Дубнов Я. Полная система инвариантов двух аффиннизаторов в центрально-аффинном пространстве размерности два или три // Труды семинара по векторному и тензорному анализу. 1941. Т. 5. С. 250-270.

[6] Зубков А.Н. Об обобщении теоремы Размыслова-Прочези // Алгебра и логика. 1996. Т. 35. №4. С. 241-254.

[7] Зубков А.Н. Инварианты присоединенного действия классических групп // Алгебра и логика. 1999. Т. 38. №5. С. 299-318.

[8] Зубков А.Н. Теорема Размыслова-Прочези для представлений колчанов // Фундам. прикл. матем. 2001. Т. 7. №2. С. 387-421.

[9] Зубрилин К.А. Алгебры, удовлетворяющие тождествам Капелли // Матем. сборник. 1995. Т. 86. №3. С. 53-64.

[10] Зубрилин К.А. О классе нильпотентности препятствия для представимости алгебр, удовлетворяющих тождествам Капелли // Фунд. и прикл. матем. 1995. Т. 1. №2. С. 409-430.

[11] Кемер А.Р. Тождества конечнопорожденных алгебр над бесконечным полем // Изв. АН СССР. Сер. матем. 1990. Т. 54. №4. С. 726753.

[12] Крафтп X. Геометрические методы в теории инвариантов. М.: Мир. 1987.

[13] Кузьмин E.H. О теореме Нагаты-Хигмана // Математические структуры, вычислительная математика, математическое моделирование. Труды, посвященные 60-ти летгао академика JI. Ильева. София. 1975. С. 101-107.

[14] Маринчук A.B., Сибирский К.С. Минимальные полиномиальные базы аффинных инвариантов трех 3x3 матриц // Матем. исследования. 1969. Т. 14. №4. С. 46-56.

[15] Панов А.Н. Инварианты коприсоединенных представлений регулярных факторов // Алгебра и анализ. 2010. Т. 22. №3. С. 222-247.

[16] Размыслов Ю.П. Существование конечного базиса тождеств матричной алгебры порядка два над полем характеристики нуль // Алгебра и логика. 1973. Т. 12. №1. С. 83-113.

[17] Размыслов Ю.П. Тождества во следом полных матричных алгебр над полем характеристики нуль // Изв. акад. наук СССР. Сер. матем. 1974. Т. 38. №4. С. 723-756.

[18] Самойлов Л.М. О нильиндексе радикала относительно свободной ассоциативной алгебры // Матем. заметки. Т. 82. 2007. №4. С. 583592.

[19] Самойлов Л.М. О радикале относительно свободной ассоциативной алгебры над полями положительной характеристики // Матем. сборник. 2008. Т. 199. №5. С. 81-126.

[20] Севастьянова В.В. Алгебра инвариантов присоединенного действия унитреугольной группы в нильрадикале параболической подалгебры // Вестн. СамГУ. 2010. Т. 76. №2. С. 72-83.

[21] Севастьянова В.В. Поле инвариантов присоединённого действия унитреугольной группы в нильрадикале параболической подалгебры // Зап. научн. сем. ПОМИ. 2010. Т. 375. С. 167-194.

[22] Севастьянова В. В. Инварианты присоединённого действия на нильрадикале параболической подалгебры для Bn, Cn, Dn // Зап. научн. сем. ПОМИ. 2011. Т. 386. 265-280.

[23] Сибирский К. С. Алгебраические инварианты системы матриц // Сибирск. матем. журн. 1968. Т. 9. №1. С. 152-164.

[24] Спрингер Т.А. Теория инвариантов. М.: Мир. 1981.

[25] Amitsur S.A. On the characteristic polynomial of a sum of matrices // Linear and Multilinear Algebra. 1980. V. 8. P. 177-182.

[26] Aslaksen #., Tan E.-C., Zho C.-B. Invariant theory of special orthogonal groups // Pacific J. Math. 1995. V. 168. №2. P. 207-215.

[27] Aslaksen H., Drensky V., Sadikova L. Defining relations of invariants of two 3 x 3 matrices // J. Algebra. 2006. V. 298. P. 41-57.

[28] Belov A. Ya. Some estimations for nilpotence of nill-algebras over a field of an arbitrary characteristic and height theorem // Commun. Algebra. 1992. V. 20. P. 2919-2922.

[29] Belov A., Rowen L.H. Computational aspects of polynomial identities. Research Notes in Mathematics. 2005. V. 9. A.K. Peters. Wellesley. MA. 378 pp.

[30] Colombo J., Koshlukov P. Central polynomials in the matrix algebra of order two // Linear Algebra Appl. 2004. V. 377. P. 53-67.

[31] Derksen H., Weyman J. Semi-invariants of quivers and saturation for Littlewood-Richardson coefficients // J. Amer. Math. Soc. 2000. V. 13. P. 467-479.

[32] Derksen H., Kemper G. Computational invariant theory. Invariant Theory and Algebraic Transformation Groups, I. Encyclopaedia of Mathematical Sciences. 2002. V. 130. Berlin: Springer-Verlag. 268 pp.

[33] Derksen H., Weyman J. On the Littlewood-Richardson polynomials // J. Algebra. 2002. V. 255. №2. P. 247-257.

[34] Derksen H., Weyman J. Generalized quivers associated to reductive groups // Colloq. Math. 2002. V. 94. №2. P. 151-173.

[35] Domokos M., Zubkov A.N. Semi-invariants of quivers as determinants // Transform. Groups. 2001. V. 6. №1. P. 9-24.

[36] Domokos M., Zubkov A.N. Semisimple representations of quivers in characteristic p // Algebr. Represent. Theory. 2002. V. 5. №3. P. SOS-SI?.

[37] Domokos M., Kuzmin S.G., Zubkov A.N. Rings of matrix invariants in positive characteristic // J. Pure Appl. Algebra. 2002. V. 176. P. 61-80.

[38] Domokos M., Frenkel P.E. Mod 2 indecomposable orthogonal invariants // Adv. Math. 2005. V. 192. P. 209-217.

[39] Donkin S. Rational representations of algebraic groups: tensor products and filtrations. Lecture Notes in Math. V. 1140. Berlin: Springer-Verlag. 1985.

[40] Donkin S. Invariants of several matrices // Invent. Math. 1992. V. 110. P. 389-401.

[41] Donkin S. Invariant functions on matrices // Math. Proc. Cambridge Philos. Soc. 1993. V. 113. P. 23-43.

[42] Donkin S. Polynomial invariants of representations of quivers // Comment. Math. Helvetici. 1994. V. 69. P. 137-141.

[43] Drensky V., Formanek E. Polynomial identity rings. Advanced Courses in Mathematics. CRM Barcelona. Basel-Boston: Birkhauser. 2004.

[44] Drensky V. Computing with matrix invariants // Math. Balkanica (N.S.). 2007. V. 21. P. 141-172.

[45] Drensky V., La Scala R. Defining relations of low degree of invariants of two 4x4 matrices // Internat. J. Algebra Comput. 2009. V. 19. №1, P. 107-127.

[46] Drozd Yu.P., Kirichenko V. V. Finite dimensional algebras. SpringerVerlag. 1994.

[47] Dubnov J., Ivanov V. Sur labaissement du degre des polynomes en affineurs // C.R. (Doklady) Acad. Sci. USSR. 1943. V. 41. P. 96-98.

[48] Formanek E. The invariants ofnxn matrices // Lecture Notes in Math. 1987. V. 1278. P. 18-43.

[49] Formanek E. The polynomial identities and invariants of n x n matrices. Regional Conference Series in Appl. Math. V. 78. American Math. Soc. Providence. RI. 1991.

[50] Gabriel P. Unzerlegbare Darstellungen I // Manuscripta Math. 1972. V. 6. P. 71-103.

[51] Higman G. On a conjecture of Nagata // Math. Proc. Cambridge Philos. Soc. 1956. V. 52. P. 1-4.

[52] Jacobson N. Structure of rings. Amer. Math. Soc. Colloq. Publ. 1964. V. 37. Appendix 1.

[53] Kemer A. Pi-algebras and nil algebras of bounded index // Trends in ring theory (Miskolc, Hungary, 1996). CMS Conf. Proc. 1998. V. 22. Amer. Math. Soc. Providence. P. 59-69.

[54] Kemer A. Multilinear identities of the algebras over a field of characteristic p // Int. J. of Algebra and Computation. 1997. V. 5. №2. P. 189-197.

[55] Kemer A., Averyanov I. Description of the algebras generating the variety of trace-killers // Adv. in Appl. Math. 2006. V. 37. JV®3. P. 390403.

[56] Klein A.A. Bounds for indices of nilpotency and nility // Arch. Math. (Basel). 2000. V. 76. P. 6-10.

[57] Koshlukov P. Basis of the identities of the matrix algebra of order two over a field of characteristic p ^ 2 // J. Algebra. 2001. V. 241. P. 410-434.

[58] Le Bruyn L., Procesi C. Semi-simple representations of quivers // Trans. Amer. Math. Soc. 1990. V. 317. P. 585-598.

[59] Mumford D. Geometric invariant theory. Springer-Verlag. 1965.

[60] Mumford D., Fog arty J. Geometric invariant theory. 2nd enlarged edition. Ergebnisse 34. Springer. 1982.

[61] Nagata M. On the nilpotency of nil algebras // J. Math. Soc. Japan. 1953. V. 4. P. 296-301.

[62] Nakamoto K. The structure of the invariant ring of two matrices of degree 3 // J. Pure Appl. Algebra. 2002. V. 166. P. 125-148.

[63] Procesi C. The invariant theory of n x n matrices // Adv. Math. 1976. V. 19. P. 306-381.

[64] Procesi C. Computing with 2x2 matrices // J. Algebra. 1984. V. 87. P. 342-359.

[65] Reichstein Z., Vonessen N. Group actions and invariants in algebras of generic matrices // Adv. in Appl. Math. 2006. V. 37. №4. P. 481-500.

[66] Reichstein Z., Vonessen N. Polynomial identity rings as rings of functions // J. Algebra. 2007. V. 310. №2. P. 624-647.

[67] Schofield A., van den Bergh M. Semi-invariants of quivers for arbitrary dimension vectors // Indag. Math. (N.S.). 2001. V. 12. №1. P. 125-138.

[68] Shestakov I.P., Zhukavets N., On associative algebras satisfying the identity x5 = 0 // Algebra Discrete Math. 2004. №1. P. 112-120.

[69] Shmelkin D.A. Signed quivers, symmetric quivers, and root systems // J. Lond. Math. Soc. (2). 2006. V. 73. №3. P. 586-606.

[70] Teranishi Y. The ring of invariants of matrices // Nagoya Math. J. 1986. V. 104. P. 149-161.

[71] Vaughan-Lee M.R. An algorithm for computing graded algebras // J. Symbolic Comput. 1993. 1993. V. 16. P. 345-354.

[72] Vonessen N. Polynomial identity rings as rings of functions, II // J. Algebra. 2012. V. 371. P. 462-479.

[73] Weyl H. The classical groups — their invariants and representations. Princeton: Princeton Univ. Press. 1946.

[74] Zubkov A.N. Mixed representations of quivers and relative problems // Bielefeld University. SFB 343. Preprint 00-094. 2000.

[75] Zubkov A.N. Invariants of mixed representations of quivers I // J. Algebra Appl. 2005. V. 4. №3. V. 245-285.

[76] Zubkov A.N. Invariants of mixed representations of quivers II: Defining relations and applications // J. Algebra Appl. 2005. V. 4. №3. P. 287312.

Публикации автора по теме диссертации:

[77] Лопатин А.А. Кольцо инвариантов трех 3x3 матриц над полем простой характеристики // Сибирский матем. журнал. 2004. Т. 45. №3. С. 624-633.

[78] Lopatin A.A. The algebra of invariants of 3 x 3 matrices over a field of arbitrary characteristic // Communications in Algebra. 2004. V. 32. №. P. 2863-2883.

[79] Lopatin A.A. Relatively free algebras with the identity xz = 0 // Communications in Algebra. 2005. V. 33. №10. P. 3583-3605.

[80] Lopatin A.A., Zubkov A.N. Semi-invariants of mixed representations of quivers // Transformation Groups. 2007. V. 12. №2. P. 341-369.

[81] Lopatin A.A. On block partial linearizations of the pfaffian // Linear Algebra and its Applications. 2007. V. 426/1. P. 109-129.

[82] Зубков A.H., Лопатин А.А. Представления колчанов, их обобщения и инварианты // Вестник Омского университета. Спец. выпуск. 2008. С. 9-24.

[83] Lopatin A.A. Invariants of quivers under the action of classical groups // Journal of Algebra. 2009. V. 321. P. 1079-1106.

[84] Lopatin A.A. Indecomposable invariants of quivers for dimension (2,..., 2) and maximal paths // Communications in Algebra. 2010. V. 38. P. 3539-3555.

[85] Lopatin A.A. Indecomposable invariants of quivers for dimension (2,..., 2) and maximal paths, II // Сибирские электронные математические известия. 2010. V. 7. P. 350-371.

[86] Lopatin A.A. Orthogonal invariants of skew-symmetric matrices // Linear and Multilinear Algebra. 2011. V. 59. №8. P. 851-862.

[87] Lopatin A.A. On minimal generating systems for matrix 0(3)-invariants // Linear and Multilinear Algebra. 2011. V. 59. №1. P. 87-99.

[88] Lopatin A.A. Minimal generating set for semi-invariants of quivers of dimension two // Linear Algebra and its Applications. 2011. V. 434. №8. P. 1920-1944.

[89] Lopatin A. A. Relations between О(n)-invariants of several matrices // Algebras and Representation Theory. 2012. V. 15. P. 855-882.

[90] Lopatin A. A. Free relations for matrix invariants in modular cases // Journal of Pure and Applied Algebra. 2012. V. 216. P. 427-437.

[91] Lopatin A.A. On the nilpotency degree of the algebra with identity xn = 0 // Journal of Algebra. 2012. V. 371. P. 350-366.

[92] Lopatin A.A. Matrix identities with forms // Journal of Pure and Applied Algebra. 2013. V. 217. №11. P. 2056-2075.

[93] Лопатин А.А. Тождества матричных инвариантов симплектиче-ской группы // Вестник Омского университета. 2013. №2. С. 29-31.

Подписано в печать 20 августа 2013 года. Формат 60x84 1/16. Усл. печ. л. 1,3. Уч.-изд. л. 1,0. Тираж 150 экз. Заказ № 170.

Отпечатано в отделе полиграфии Омского государственного университета 644077, Омск, пр. Мира, 55

 
Текст научной работы диссертации и автореферата по математике, доктора физико-математических наук, Лопатин, Артем Анатольевич, Оск

Омский филиал Института математики имени С.Л. Соболева

Сибирского отделения РАН

05201351950

На правах рукописи УДК 512.745.2

Лопатин Артем Анатольевич

Алгебры полиномиальных инвариантов классических матричных групп

01.01.06 - математическая логика, алгебра и теория чисел

Диссертация на соискание ученой степени доктора физико-математических наук

Научный консультант Д.ф.-м.н., проф. А.Н. Зубков

Омск-2013

Оглавление

Введение 5

Предварительные сведения............................................5

Обзор результатов диссертации......................................14

Обозначения............................................................20

1 Порождающие: определения и результаты 23

1.1 Смешанные колчаны ............................................23

1.2 Пфаффианы и таблицы..........................................28

1.3 Основной результат главы......................................33

1.4 Инварианты нескольких матриц................................36

1.5 Действие групп на таблицах....................................37

2 Полуинварианты как определители-пфаффианы 41

2.1 Определения......................................................41

2.1.1 5Х-смешанные колчаны..................................41

2.1.2 Определения и замечания ..............................42

2.1.3 Разбиения и распределения..............................44

2.2 Определение и свойства БР ....................................46

2.3 Сведение к зигзаг-колчану......................................51

2.4 Полуинварианты зигзаг-колчанов..............................54

2.4.1 Обозначения..............................................54

2.4.2 Формулировка основного результата главы......56

2.4.3 Частный случай 1Х = 12 = 1..............................59

2.5 Доказательство теоремы 2.15....................................61

3 Формула разложения для 69

3.1 Определения и формулировки..................................69

3.2 Мультилинейный случай........................................75

3.3 Коэффициенты.......................... 79

3.4 Следы и <7fc............................ 85

3.5 Следствия............................. 87

4 GL- и SX-инварианты колчанов 89

4.1 Основной результат главы......................................89

4.2 Полуинварианты зигзаг-колчанов..............................90

4.3 Полуинварианты произвольных колчанов....................94

4.4 Доказательство теоремы 4.2....................................96

5 Порождающие: завершение доказательства 98

5.1 Редукция............................. 98

5.1.1 Хорошие фильтрации.................. 99

5.1.2 Доказательство теоремы 5.2..............103

5.2 Путевые 0-таблицы и хорошие П-таблицы..........107

5.3 Доказательство теоремы 1.12..................110

6 Соотношения 113

6.1 Основные определения и формулировки...........113

6.2 Дополнительные определения.................118

6.3 Случай Sp{n): изоморфизм алгебр...............121

6.4 Случай Sp(n): инварианты колчанов .............123

6.5 Случай 0(п)...........................127

7 Свободные соотношения 128

7.1 Определения и результаты...................128

7.2 Вспомогательные результаты..................129

7.3 Производные...........................131

7.4 р-мультилинейные свободные соотношения..........139

7.5 Мультилинейные свободные соотношения ..........142

7.6 Инварианты GL-смешанных колчанов............144

8 Ступень нильпотентности алгебры с тождеством хп = 0 148

8.1 Результаты............................148

8.2 Рекурсивная верхняя оценка..................150

8.3 Следствия.............................154

8.4 Случай п = 4...........................157

8.5 (7£(п)-инварианты нескольких матриц............163

9 Частный случай: 0(3)-инварианты 165

9.1 Основной результат главы...................165

9.2 Определения и замечания ...................167

9.3 Алгебра А34...........................168

9.4 Случай мультистепени (1, 62 ■ ■ •, Sd)..............172

9.5 Сведение к ..........................173

9.6 Dmax и ступень нильпотентности для А..........178

Литература 181

Введение

Предварительные сведения

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

Теория инвариантов оформилась в самостоятельную алгебраическую дисциплину более полутора веков назад под влиянием ряда задач геометрии, алгебры и теории чисел. Ее первоначальной целью было изучение алгебраических выражений, не меняющихся (или меняющихся определенным образом) при невырожденных линейных заменах переменных. Простейшим примером являются симметрические многочлены, так как они инвариантны относительно действия группы перестановок на множестве переменных. Однако с течением времени проблематика теории инвариантов расширилась, и в настоящее время под теорией инвариантов обычно понимают теорию, изучающую действия алгебраических групп на алгебраических многообразиях. Основы теории инвариантов изложены в книгах Т.А. Спрингера [25], Д. Мамфорда и Дж. Фогати [70], X. Крафта [13], Э.Б. Винберга и В.Л. Попова [3]. Современный подход к конструктивной теории инвариантов изложен в книге X. Дерксена и Г. Кемпера [33].

В истории теории инвариантов, с некоторой долей условности, принято выделять три периода. Первый период — это вторая половина XIX века. Теория инвариантов того времени связана с такими именами, как Буль, Кэли, Сильвестр, Эрмит, Якоби, Клебш, Гордан. Особенностью этого периода является изучение конкретных алгебр инвариантов, явное описание их порождающих и соотношений между порождающими. Одним из основных догильбертовских достижений является результат П. Гордана о том, что инварианты бинарных форм конечнопорожде-

ны над полями нулевой характеристики. Гораздо более общий результат был получен Д. Гильбертом в 1890 году, который в современной формулировке звучит так: алгебра инвариантов редуктивной алгебраической группы, действующей на аффинном многообразии, конечно порождена. Отметим, что обобщение на случай поля положительной характеристики было получено Нагатой. XIV проблема Гильберта посвящена теории инвариантов: будет ли кольцо инвариантов алгебраической группы, действующей на полиномиальном кольце, всегда конечно порожденным? Контрпример был построен М. Нагатой в 1959 году.

Второй период — это первая половина XX века. Он характеризуется изучением связи между теорией инвариантов и теорией представлений классических матричных групп и представлен такими математиками, как Р. Брауэр, Г. Вейль, И. Шур. Основные результаты были собраны в книге Г. Вейля 1946 года: "Классические группы — их инварианты и представления" [84], где были рассмотрены инварианты векторов и ковекторов.

Современный период теории инвариантов связан с интенсивным использованием геометрических идей, и теория инвариантов становится разделом алгебраической геометрии. Исторически ключевое значение имеет книга Д. Мамфорда "Геометрическая теория инвариантов" [69] 1965 года.

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

Инварианты матричных групп. Рассмотрим классическую матричную группу С, т.е. группу из списка СЬ(п), О(п), Зр(п), 5Х(п), 50(п), и прямую сумму

Н = Рпхп 0 • • • 0 Епхп

с? копий пространства пхп матриц над бесконечным полем Р. Группа С действует на Н диагонально сопряжениями, а именно:

д-{Аи...,Ал) = (дА1д-\...,дАад-1), (1)

где д е в и Аи...,Аа £ Епхп.

Координатное кольцо пространства Н (другими словами, кольцо полиномиальных функций / : Н —> F) — это кольцо полиномов

R = F[#] = ¥[xij(k) 11 < i, j < n, 1 < к < d],

где Xij(k) : H —> F переводит представление ... ,Ad) € V в (¿,j)-bift элемент матрицы Обозначим через

/ хц(А;) ■•• х\п{к) \

Xk = \ :

у " ' " Хпп(1ъ) j

к-ую общую матрицу (1 < к < п).

Действие G на Н индуцирует действие G на R следующим образом: (д • f){h) = f(g~l • К) для всех д G, f £ R, h £ Н. Другими словами,

д • Xij(k) = (г,_7')-ый элемент матрицы д~1Хкд.

Алгебру G-инвариантов нескольких матриц обозначим через

Rg = {/ 6 R | д • / - / для всех д G G}.

Ясно, что / еЯ лежит в RG тогда и только тогда, когда f(g ■ h) = f{h) для всех д € G и h £ Н.

Алгебра RG имеет приложения как к теории представлений ассоциативных алгебр (например, см. [39, 67]), так и к теории алгебр с полиномиальными тождествами. На приложении к теории алгебр с полиномиальными тождествами (PI-алгебры) мы остановимся ниже. Кроме того, С1/(п)-инварианты нескольких матриц были применены к некоммутативной алгебраической геометрии в недавних работах 3. Райхштайна и Н. Вонессена [75, 76, 83].

Мы не рассматриваем случаи ортогональной группы и специальной ортогональной группы над полем характеристики два, так как в этих случаях даже порождающие алгебры инвариантов нескольких векторов не известны. Последние результаты в этом направлении могут быть найдены в статье М. Домокоса и П. Френкеля [41] 2005 года.

Обозначим коэффициенты характеристического полинома пхп матрицы X через crt(X), т.е.

det(A£ - X) = \п - (Ti(X)Xn~1 + • • • + (-l)nan{X). (2)

Порождающие алгебры R° были найдены в 1992 году С. Донки-ным [44] для GL(n) и в 1999 году А.Н. Зубковым для 0{п) и Sp(n) [8]. В указанных работах было доказано, что алгебра инвариантов RG порождается следующими элементами:

(a) at(A) (1 < t < п и А пробегает множество всех мономов от Xj,... если G = GL{n);

(b) crt(B) (1 < t < n я В пробегает множество всех мономов от Хи ..., Xd, Xj,..., Xj), если G = 0(n) и char F ф 2;

(c) crt(C) (1 < t < n и С пробегает множество всех мономов от Xi,..., Ха, ..., Х£), если G — Sp(n). Здесь X* обозначает сим-плектически транспонированную матрицу (см. раздел 1.1).

Если charF = 0 или charF > гг, то достаточно взять следы tr(?7) вместо at(U) для того, чтобы получить систему порождающих алгебры RG. Ранее, над полями нулевой характеристики, соответствующие результаты были получены К.С. Сибирским [24] в 1968 году и К. Прочези [73] в 1976 году, которые применили классическую теорию инвариантов векторов и ковекторов (см. книгу [84] Г. Вейля). Более того, Ю.П. Размыс-ловым [18] в 1974 году было показано, что над полем нулевой характеристики достаточно полагать, что deg(U) < п2. Развивая идеи из [73], X. Аслаксен, И.К. Тан, К.Б. Жо вычислили порождающие для случая G = SO(n) в 1995 году (см. [27]).

Над бесконечным полем произвольной характеристики соотношения для RGL(n) были установлены А.Н. Зубковым [7] в 1996 году. В статье А.Р. Кемера [62] 1997 года приводится прямое комбинаторное доказательство этого результата для случая полилинейных соотношений.

Отметим, что важность изучения инвариантов матричных групп над полями положительной характеристики была указана Э. Форманеком в обзоре [54], опубликованном в 1991 году (также см. [53]). Ключевым отличием случая положительной характеристики от случая поля нулевой характеристики является следующее свойство:

• если 0 < charF < п, то для любого d инвариант tr(Xi • • • JQ) не выражается через инварианты из RGL^ меньшей степени.

При остальных характеристиках поля данное свойство неверно.

Минимальная (относительно включения) система порождающих (сокращенно МСП) для С£(2)-инвариантов нескольких матриц была описана в работах [24, 40, 74]:

• trpQ), tr(Xf), tv(XiXj) (г < j), tY{XiXjXk) (г < j < к), если charF ф 2,

• tr(Xj), det(Xj), tr(X^ • • • Xir) (¿i < • • • < гГ, r > 0), если charF = 2,

где 1 < i,j,k,ii,...,ir < d. Для 0(2)-инвариантов нескольких матриц над F = С МСП была построена в статье [24].

Положим, что d = 2. При charF = 0 Я. Дубнов [6] в 1941 году нашел следующую систему порождающих алгебры инвариантов RGLtr(Xi), tr(Xf), tr(Xf), tr(X2), tr(Xf), tr(Xf), triXxXa), tr(X?X2), tr(XiXf), tr(X?Xf), tr(XiX2XfX|), a A.B. Маринчук и K.C. Сибирский [15] в 1969 году показали, что указанная система порождающих является минимальной. Если заменить tr(X^) на crfc(Xj) (г = 1,2, к = 2,3), то получим МСП для поля произвольной характеристики. Более того, алгебра инвариантов RGL^ изоморфна фактору кольца многочленов от 11 переменных по главному идеалу, порождающий которого явно указан К. На-камото [72] в 2002 году и X. Аслаксеном, В. Дренским, Л. Садиковой [28] в 2006 году Ранее, над полями нулевой характеристики аналогичный результат был получен Я. Тераниши [81] в 1986 году. Над полем нулевой характеристики МСП для RGL^ была найдена в статье [81], а детальное описание соотношений малых степеней было получено В. Дренским и Р. Ла Скало [50] в 2007 году. Кроме того, при малых п ряд результатов об алгебре RGL^ над полями нулевой характеристики может быть найден в обзоре В. Дренского [49], а над полем произвольной характеристики — в работе М. Домокоса, А.Н. Зубкова и С.Г. Кузьмина [40].

Рассмотрим более подробно приложение алгебры С£(п)-инвариантов нескольких матриц к PI-алгебрам. Алгебра конкомитаитов Сп порождается алгеброй инвариантов

RGL(n)

и общими матрицами. Тождества алгебры конкомитаитов называются матричными тождествами с формами, и они содержат идеал тождеств Т[Мп] алгебры всех п х п матриц над полем F. Задача описания идеала матричных тождеств с формами эквивалентна описанию тождеств алгебры RGL(n\ которая решена, в отличие от задачи описания Т[Мп]. Поэтому алгебра инвариантов

RGL(n)

может быть использована для получения информации о тождествах алгебры всех п х п матриц. Отметим, что идеал тождеств Т[Мп] описан

только в случае п = 2 и charF Ф 2 (см. [17], [31], [65]). Используя матричные тождества с формами, J1.M. Самойлов [19, 20] в 2008 году положительно решил следующую проблему, поставленную А.Р. Кемером [61] в 1996 году: верно ли, что радикал Джекобсона относительно свободной алгебры счетного ранга над бесконенчным полем положительной характеристики является ниль-идеалом ограниченного индекса? Матричные тождества с формами также применялись К.А. Зубрилиным [10, 11] при изучении алгебр, удовлетворяющих тождествам Капелли. При помощи изучения матричных тождеств с формами А.Я. Белов [1], работая над полем произвольной характеристики, показал устойчивость вербально первичных Т-идеалов, наличие у них слабых тождеств и центральных полиномов. В статье [12], опубликованной в 1990 году, А.Р. Кемер, помимо решения локальной проблемы Шпехта для произвольного бесконечного поля, доказывает существование киллеров всех форм. А именно для 1 < t < п киллером формы at называется такой некоммутативный многочлен ht qL Т[Мп], что htat(x) — gt лежит в Т[Мп] для некоторого некоммутативного многочлена Киллеры помогают совершать переход от матричных тождеств с формами к обычным тождествам матриц. Полагая, что charF ф 2,3, А.Р. Кемер и И.В. Аверьянов [63] в 2006 году описали идеалы киллеров следов для 2 х 2 и 3 х 3 матриц.

Отметим так же, что алгебры и поля инвариантов различных подгрупп классической матричной группы G (например, параболических) в случае d = 1 были исследованы в работах А.Н. Панова [16], К.А. Вятки-ной и А.Н. Панова [4], В.В. Севостьяновой [21, 22, 23].

Инварианты колчанов. Колчаном Q = (Q0, Qi) называется конечный ориентированный граф со множеством вершин Qo и множеством ребер Q1. Данное понятие было введено П. Габриэлем [55] в 1972 году в качестве эффективного средства для описания различных проблем линейной алгебры. Важность данного понятия с точки зрения теории представлений следует из того, что категория представлений колчана эквивалентна категории конечномерных модулей алгебры путей данного колчана. Так как каждая конечномерная базовая (basic) алгебра над алгебраически замкнутым полем является фактор-алгеброй алгебры путей некоторого колчана (см. главу 3 из [51]), то категория конечномерных модулей над такой алгеброй является полной подкатегорией категории представлений колчана. Полиномиальные инварианты колчанов важны не только для классической теории инвариантов, но и для теории пред-

ставлений колчанов потому, что эти инварианты различают полупростые представления колчана.

Представление колчана с I вершинами состоит из набора векторных пространств Е™,..., ¥П1, сопоставленных вершинам, и линейных отображений между этими векторными пространствами "вдоль" стрелок. Вектор п = (пх,... ,п/) называется вектором размерности. Группа СЬ(пх) х • • • х С?1/(п/) действует на множестве представлений колчана заменой базисов в пространствах, сопоставленных вершинам. Как и выше, мы можем определить алгебру полиномиальных инвариантов. Если колчан состоит из одной вершины и нескольких петель, то алгебра инвариантов колчана совпадет с алгеброй СЬ(п)-инвариантов нескольких матриц.

Понятие представления колчана можно обобщить следующим образом. Рассмотрим некоторую вершину V данного колчана, где 1 < V < I. В классическом случае полная линейная группа СЬ(Пу) действует на умножением слева, но в нашем случае произвольная классическая матричная группа из списка СЬ(пу), 0{пу), 5р(пг;), ЗЬ(пь), 80(пь) может действовать на Более того, разобьем часть вершин на непересекающиеся пары. При этом вершинам из одной пары сопоставим взаимосопряженные векторные пространства. Таким образом, теперь мы можем работать с билинейными формами, а не только с линейными отображениями. Кроме того, вместо произвольных линейных отбражений "вдоль" стрелок мы можем рассматривать только те, которые удовлетворяют некоторому ограничению; например, сохраняют некоторую билинейную симметрическую форму на пространствах, сопоставленных вершинам. Полученные таким способом представления колчанов называются представлениями смешанного колчана О.. Таким образом, О — (0.,п1д,Н,г) определяется следующими элементами:

• колчаном О, вместе с вектором размерности п,

• типами классических матричных групп, задаваемых вектором д,

• типами линейных отображений вдоль стрелок, задаваемых вектором Н,

• инволюцией г, которая задает пары сопряженных вершин.

Явное определение вместе с примерами может быть найдено в разделе 1.1.

Частными случаями рассмотренной конструкции являются следующие понятия