CC BY
11
ЧЕБЫШЕВСКИЙ СБОРНИК
Том 22. Выпуск 3.
УДК 512.81
DOI 10.22405/2226-8383-2021-22-3-32-56
Инварианты Жордана — Кронекера борелевских подалгебр
В теории бигамильтоновых систем известна обобщенная гипотеза Мищенко-Фоменко. В гипотезе говорится о существовании полных наборов полиномиальных функций в инволюции относительно пары естественно возникающих пуассоновых структур на двойственных пространствах к алгебрам Ли. Данная гипотеза тесно связана с методом сдвига аргумента, предложенным А. С. Мищенко и А. Т. Фоменко в [10]. В исследованиях, посвященных данной гипотезе, была обнаружена связь существования полного набора в биинволюции с алгебраическим типом пучка согласованных скобок Пуассона, заданного линейной и постоянной скобкой. Числа, описывающие алгебраический тип пучка скобок общего положения на двойственном пространстве к алгебре Ли, называются инвариантами Жордана-Кронекера алгебры Ли. Понятие инвариантов Жордана-Кронекера было введено А. В. Болсиновым и P. Zhang в [2]. Для некоторых классов алгебр Ли (например, полупростых алгебр Ли и алгебр Ли малой размерности) инварианты Жордана-Кронекера удалось вычислить, но в общем случае вопрос вычисления инвариантов Жордана-Кронекера для произвольной алгебры Ли является открытым. Задача вычисления инвариантов Жордана-Кронекера часто упоминается среди наиболее интересных нерешенных задач теории интегрируемых систем [4, 5, 6, 11].
В статье вычислены инварианты Жордана-Кронекера для серии Bsp(2n) и на каждой алгебре серии построены полные наборы полиномов в биинволюции. Также вычислены инварианты Жордана-Кронекера для борелевских подалгебр Bso(n) для любых п. Таким образом, вместе с результатами, полученными в [2] для Bsl(n), данная статья составляет решение задачи вычисления инвариантов Жордана-Кронекера борелевских подалгебр классических алгебр Ли.
Ключевые слова: Алгебры Ли, интегрируемые гамильтоновы системы, метод сдвига аргумента, инварианты Жордана-Кронекера
Библиография: 16 названий. Для цитирования:
К. С. Ворушилов. Инварианты Жордана — Кронекера борелевских подалгебр полупростых алгебр Ли // Чебышевский сборник, 2021, т. 22, вып. 3, с. 32-56.
Исследование выполнено при финансовой поддержке РФФИ в рамках научного проекта №19-31-90151.
К. С. Ворушилов (г. Москва)
Ворушилов Константин Сергеевич — Московский государственный университет им. М. В. Ломоносова (г. Москва). e-mail: [email protected]
Аннотация
CHEBYSHEVSKII SBORNIK Vol. 22. No. 3.
UDC 512.81 DOI 10.22405/2226-8383-2021-22-3-32-56
Jordan—Kronecker invariants of Borel subalgebras of semisimple Lie algebras
K. S. Vorushilov (Moscow)
Vorushilov Konstantin Sergeevich — Lomonosov Moscow State University (Moscow). e-mail: [email protected]
Abstract
In the theory of bi-Hamiltonian systems, the generalized Mischenko-Fomenko conjecture is known. The conjecture states that there exists a complete set of polynomial functions in involution with respect to a pair of naturally defined Poisson structures on a dual space of a Lie algebra. This conjecture is closely related to the argument shift method proposed by A. S. Mishchenko and A. T. Fomenko in [10]. In research works devoted to this conjecture, a connection was found between the existence of a complete set in bi-involution and the algebraic type of the pencil of compatible Poisson brackets, defined by a linear and constant bracket. The numbers that describe the algebraic type of the generic pencil of brackets on the dual space to a Lie algebra are called the Jordan-Kronecker invariants of a Lie algebra. The notion of Jordan-Kronecker invariants was introduced by A.V. Bolsinov and P. Zhang in [2]. For some classes of Lie algebras (for example, semisimple Lie algebras and Lie algebras of low dimension), the Jordan-Kronecker invariants have been computed, but in the general case the problem of computation of the Jordan-Kronecker invariants for an arbitrary Lie algebra remains open. The problem of computation of the Jordan-Kronecker invariants is frequently mentioned among the most interesting unsolved problems in the theory of integrable systems [4, 5, 6, 11].
In this paper, we compute the Jordan-Kronecker invariants for the series Bsp(2n) and construct complete sets of polynomials in bi-involution for each algebra of the series. Also, we calculate the Jordan-Kronecker invariants for the Borel subalgebras Bso(n) for any n. Thus, together with the results obtained in [2] for Bsl(n), this paper presents a solution to the problem of computation of Jordan-Kronecker invariants for Borel subalgebras of classical Lie algebras.
Keywords: Lie algebras, integrable Hamiltonian systems, argument shift method, JordanKronecker invariants
Bibliography: 16 titles. For citation:
K. S. Vorushilov, 2021, "Jordan-Kronecker invariants of Borel subalgebras of semisimple Lie algebras" , Chebyshevskii sbornik, vol. 22, no. 3, pp. 32-56.
1. Введение
Пусть а — комплексная или вещественная конечномерная алгебра Ли со структурными константами с^-. Для функций на ее двойственном пространстве а* естественным образом определена скобка Пуассона
{¡,д}{х) = 4^f,g еС«(в*).
Данная пуассонова структура Ах (называемая также "скобкой Ли-Пуассона") задается тензором типа (2,0) на g*, т.е. семейством билинейных форм на алгебре Ли g, матрицы которых Лх = (с^-Хк) линейно зависят от координат Хг точки х £ g*.
Вполне интегрируемые по Лиувиллю гамильтоновы системы на алгебрах Ли задаются полным набором функций, находящихся в инволюции относительно скобки Ли-Пуассона. Полным набором считается набор, содержащий в себе п функций, дифференциалы которых линейно независимы почти всюду на g*, где п равно сумме половины размерности орбиты общего положения и коразмерности орбиты, т.е. размерности ядра скобки:
п = dim ker Ах + 1 dim Ох = 1 (dim g + ind g).
Наибольший с практической точки зрения интерес представляют гамильтоновы системы, где полный набор в инволюции можно выбрать среди полиномиальных функций.
В 1978 году А. С. Мищенко и А. Т. Фоменко предложили метод сдвига аргумента для построения полных коммутативных наборов [10]. В данной статье будет полезно использовать следующую переформулировку метода сдвига аргумента [2]. Для множества локально аналитических Ad*-инвариантов fi,..., fs, s = indg, определенных в окрестности элемента общего положения а £ g* таким образом, что {dfi(a)}f=1 образуют базис Ann а = {{ £ g| ad* а = 0}, рассмотрим разложения в ряд Тейлора:
Ma + A*) = f(0) + Xf(1) + X2f(2) + ...
(i)
Коэффициенты f- находятся в инволюции относительно сразу двух пуассоновых структур: скобки Ли-Пуассона и скобки "с замороженным аргументом"
{f,g}a(x)= 4акf,g £С™(g*)
для которой матрица соответствующей билинейной формы (с^.) на g постоянна.
С помощью метода сдвига аргумента А. С. Мищенко и А. Т. Фоменко удалось построить полные наборы полиномов в инволюции для полупростых и некоторых других классов алгебр Ли. На основании этих результатов авторами была выдвинута гипотеза, полностью доказанная С. Т. Садэтовым в 2004 году:
Теорема 1 (С. Т. Садэтов). На двойственном пространстве g* любой алгебры Ли g существует полный набор полиномов в инволюции.
Доказательство теоремы 1 подробно описано, например, в [7]. В отличие от наборов, построенных методом сдвига аргумента, наборы полиномов, построенные методом Садэтова, не находятся в инволюции относительно скобки с замороженным аргументом. Соответственно, был поставлен вопрос о возможности построения полного набора в биинволюции, т.е. в инволюции относительно обеих пуассоновых структур Ах и Аа (см. [4, Задача 12], а также [5] и [2]).
Обобщенная гипотеза Мищенко-Фоменко. На двойственном пространстве g* любой алгебры Ли g существует полный набор полиномов в биинволюции, т.е. в инволюции как относительно скобки Ли-Пуассона Ах, так и относительно скобки с замороженным аргументом Аа, где а £ g* — регулярный элемент.
Для некоторых классов алгебр Ли такие наборы были построены. В частности, для маломерных алгебр (dim g < 5) а также для некоторых других классов наборы построены в [2]. Тем не менее, в общем случае обобщенная гипотеза Мищенко-Фоменко не доказана.
С методом сдвига аргумента тесно связано понятие инвариантов Жордана-Кронекера.
Теорема 2 (Жордана-Кронекера, см. [12]). Пусть А и В — две произвольные билинейные кососимметрические формы на линейном пространстве V над алгебраически замкнутым полем К. Тогда существует такой базис пространства V, в котором формы А и В одновременно приведены к блочно-диагональному виду А = diag{Аl,..., Ап}, В = diag{Вl,..., Вп} с блоками следующих видов:
1. Жорданов блок с собственным значением А^ € К:
А< = (-А) J^ • В. = (" —Е)
где
3 (А) =
(А 1 А .
V0
0\
1 А
а Е — единичная матрица; 2. Жорданов блок с собственным значением А^ = те:
А,- =
(Е В, = (
В =1 0 3 (0)\
Вг = 1 —3Т(0) 0 )
3. Кронекеров блок:
А,- =
( 0 Г , В, = ( 0 г КА \-к1 0), 1 V К2) 0)
где К1 и К2 — матрицы размера (к — 1) х к следующего вида:
К1 =
/1 0 ... 0\
V0 ... 1
К2 =
/0 1 ... 0\
\0 ... 0 У
Из Теоремы 2 видно, что кронекеровы блоки имеют нечетный размер, а жордановы блоки всегда четного размера.
Известно (см. [2]), что для открытого всюду плотного множества пар (х,а) в д* х д* разложение Жордана-Кронекера пары форм Лх и Ла одинаково в том смысле, что для всех таких пар количество и размеры кронекеровых блоков и жордановых блоков для каждого собственного значения одни и те же. Это означает, что данные числа можно рассматривать как инварианты самой алгебры Ли.
Определение 1. Инвариантами Жордана-Кронекера алгебры Ли д называются числовые характеристики, описывающие разложение Жордана-Кронекера пары форм Ах и Аа для (х, а) € д* х д* общего положения, а именно
• кронекеровы индексы к^ каждый из которых соответствует кронекерову блоку размера (2 к — 1) х (2к — 1), и их количество;
• жордановы индексы т^, каждый из которых соответствует жорданову блоку размера т^ х т^, и их количество для каждого А\.
Для произвольной пары кососимметричных форм А и В значения Xi, появляющиеся в жордановых блоках, являются корнями многочлена, который мы будем называть характеристическим многочленом пучка А + ХВ. В случае алгебры Ли для (х, a) G g* х g* общего положения характеристический многочлен пучка Ах + ХАа имеет вид fg(x + Ха), где fg(^) -фундаментальный полуинвариант коприсоединенного представления алгебры Ли, который по определению является наибольшим общим делителем пфаффианов всех диагональных миноров матрицы Ах. Фундаментальный полуинвариант содержит существенную информацию об инвариантах Жордана-Кронекера алгебры Ли: сумма жордановых индексов, соответствующих Xi равна 21 \i, где l\i - кратность Xi как корня многочлена fs(x + Ха).
Оказывается, в некоторых случаях знание инвариантов Жордана-Кронекера позволяет проверить обобщенную гипотезу Мищенко-Фоменко для алгебры Ли. Например, гипотеза справедлива, если алгебра Ли имеет кронекеров тип (то есть, в разложении Жордана-Кронекера пары форм общего положения на алгебре Ли присутствуют только кронекеровы блоки), так как в таком случае инвариантов и функций, полученных из них методом сдвига аргумента хватает для полноты набора.
Понятие инвариантов Жордана-Кронекера было введено А. В. Болсиновым и P. Zhang в работе [2] (см. также [3]). Там же содержится более подробная информация о связи инвариантов Жордана-Кронекера алгебры Ли и существованием на ней полных наборов в биинво-люции, а также приведены полные биинволютивные наборы для некоторых классов алгебр Ли.
Естественным образом возникает задача нахождения инвариантов Жордана-Кронекера алгебр Ли. Для некоторых классов алгебр Ли, например, для полупростых, инварианты Жордана-Кронекера известны ([2]), однако в общем случае этот вопрос открыт. В работах специалистов в области конечномерных интегрируемых систем среди наиболее интересных открытых вопросов встречается следующая задача:
Задача (Problem 5.6. [6], см. также [4, 5, 11]). Вычислить инварианты Жорда-на—Кронекера для наиболее интересных классов алгебр Ли, в частности, для
a) полупрямых сумм g + PV, где р : g ^ End(F) - представление простой алгебры Ли g, а V
- коммутативный идеал;
b) борелевских подалгебр простых алгебр Ли;
c) параболических подалгебр простых алгебр Ли;
d) централизаторов сингулярных элементов простых алгебр Ли;
e) алгебр Ли малой размерности.
Данная задача была решена для полупрямых сумм по стандартному представлению вида so(n) + (Rn)k и sp(n) + (Rn)k, а также в случаях sl(n) + (Rn)k и gl(n) + (Rn)k при k > п и при п = kl [15, 16], борелевских подалгебр Bsl(n) [2], для алгебр Ли размерности не больше 5 (Pumei Zhang, см. версию статьи [2] в Ar:Xiv), и для нильпотентных алгебр Ли размерностей 6 и 7 [8].
В настоящей статье вычислены инварианты Жордана-Кронекера для борелевских подалгебр Ли Bso(n) и Bsp(2n). Этот результат, вместе с результатом [2] для Bsl(n), является полным решением Задачи для борелевских подалгебр классических простых алгебр Ли (оставляя пункт b) открытым только для исключительных алгебр Ли). В случае Bsp(n) также приведен полный набор полиномиальных функций в биинволюции. Стоит отметить, что возможность построения наборов для Bsp(n) (см. ниже) и для Bsl(n) ([2], см. также [1]) обеспечивается наличием достаточного числа функций, получаемых методом сдвига аргумента в инвариантах и полуинвариантах коприсоединенного представления. Таких сдвигов оказывается недостаточно в случае Bso(n); поэтому вопрос о построении полного набора полиномиальных функций в биинволюции для данной серии остается открытым.
2. Случай Взр(2п)
2.1. Общие сведения о серии
Группа БР(2п) — группа матриц 2п х 2п из БЬ(2п), удовлетворяющих равенству СОСтО-1 = Е, где О - кососимметрическая форма стандартного вида. Элементы С имеют следующий вид:
С = ( А ^ , АВт = ВАт, СБт = БСт, АБТ - ВСт = Е.
С
Борелевская подгруппа этой группы состоит из автоморфизмов, сохраняющих полуфлаг изотропных подпространств, или полный флаг попарно дополнительных подпространств (легко проверить, что подойдет стандартный флаг). Отсюда следует, что элемент G лежит в боре-левской подгруппе, если С = 0, А - верхнетреугольная матрица; условия на В и D теперь выглядят так: АВТ = ВАТ, ADT = Е.
Алгебра Ли такой группы состоит из матриц следующего вида:
( Х ^vTI ,Х\- верхнетреугольная матрица, Х2 = ХТ. V 0 -ХТ)
Скобка Ли в такой алгебре - стандартный коммутатор матриц. Нетрудно вычислить раз-
й тт л • п(п + 1) . п(п + 1) , , ^ мерность такой алгебры Ли: dim g =----1----= п(п + 1).
Будем рассматривать g* как пространство матриц вида
-^t^) , ^- верхнетреугольная матрица, —2 = —2Т . (1)
Тогда отождествление а с двойственным к ней пространством выглядит следующим образом:
{У\Х} = ТгУХт,У е й*,Х е А.
Данное отождествление не является каноническим. Однако если мы расмотрим данную алгебру в ортонормированном базисе относительно скалярного произведения {Х1\Х2} = ТгХ1Хт, Х1, Х2 е А (фактически это значит, что все повторяющиеся переменные в описанном
матричном представлении элемента алгебры нужно домножить на ), то такое отождествление каноническое. Здесь и далее мы будем опускать данные коэффициенты, подразумевая, что сделали замену вида х = у/2х там, где это необходимо. Такая замена не повлияет на решение уравнений, учитывая, что нам интересны не сами решения, а размерности пространств решений.
Действие Ad¿; У выглядит так:
)
д^ У = к1'(А-1)тУ1Ат + (А-1)тУ2Вт (А-1)тУ2А-1
А^У * -ВУ2А-1 -АУ^А-1' , (2
где к - проекция на в*, заключающаяся в подставлении нулей вместо некоторых элементов, а именно, всех в левом нижнем блоке, строго нижнетреугольных в левом верхнем блоке и строго верхнетреугольных в правом нижнем блоке.
Индекс алгебры В,вр(2п) равен 0 для любых натуральных п. Это означает, что у данной алгебры Ли остутствуют инварианты коприсоединенного представления, а значит, и кронеке-ровы блоки в разложении Жордана-Кронекера пучка общего положения. Следовательно, для нахождения инвариантов Жордана-Кронекера достаточно найти характеристический многочлен.
Полуинварианты коприсоединенного представления были найдены В. В. Трофимовым:
Теорема 3 (В. В. Трофимов, [13]). Пусть Дi - главный минор порядка г матрицы У2 в элементе У вида (1). Тогда функции Д1 ,г = 1,... ,п, являются полуинвариантами коприсо-единенного представления.
Каждый из Дг можно рассматривать как определитель матрицы квадратичной формы, при этом известно, что такой определитель является неприводимым многочленом.
2.2. Характеристический многочлен и ^КК—инварианты
Теорема 4. Фундаментальным полуинвариантом алгебры Ли Bsp(2n) является многочлен = П™=1 Ai. Характеристическим многочленом пучка Ах + \Аа общего положения для Bsp(2n) является многочлен fg(x + Xa).
Доказывать будем по частям.
Рассмотрим множество Sing = {у £ g* | dim Ann у > ind g}. Данное множество может быть объединением компонент разной размерности, но в рассматриваемых нами случаях всегда имеется компонента коразмерности один Sing0 (такая компонента отсутствует только в случае алгебры Ли кронекерова типа). Нетрудно заметить, что в случае, когда фундаментальный полуинвариант имеет вид fg(#) = р1^(х) ■ ... ■ р1™(х), многочлен, определяющий Sing0, является произведением тех же самых неприводимых компонент pi, взятых с кратностью один: fsingQ (х) = р1(х) ■ . . . ■ 'Рт(х). Чтобы понять, что полуинварианты Ai (и только они) являются компонентами pi, докажем следующие утверждения.
Утверждение 1. Регулярные элементы задаются уравнением fg(х) = 0.
Доказательство. Рассмотрим, как действует Ad* на g* (2). При таком действии симметричную матрицу Y2 с последовательными ненулевыми угловыми минорами можно привести к диагональному виду. Доказать это можно индукцией по размеру матрицы. Случай матрицы 1 х 1 очевидный, а дальше посмотрим на шаг:
(Q Ъ\ ( LTQL LT (Qm + b) \
[bT с) ^ \mTQL + bTL bTm + mTb + c) '
Здесь описано действие верхнетреугольной матрицей ^ ^^ . На второй диагонали все
можно обратить в ноль, отсюда следует утверждение.
Тогда при А = Е блочно-диагональное уравнение в левом верхнем блоке (2) примет вид Yi + Y2B. Выбором матрицы В (в силу ее симметричности и диагональности Y2) можно добиться того, что все выражение будет равно нулю.
Рассмотрим для такого элемента уравнение ad j Y = 0 :
(-y2xT xTy2 + вдЛ _ fxi x2 \ 4 0 xTY2 )=0,x = U -xT).
Под к понимается проекция, действующая таким же образом, что ив (2). Условие ^(l^X^) = ■k(Y2X2) = 0 при Y2 диагональной эквивалентно условию Х2 = 0. Условие XTY2 + Y^i = 0 также можно интерпретировать как равенство нулю матрицы Xi, так как слагаемые отличаются друг от друга по сути транспонированием, и одно из слагаемых - верхнетреугольная матрица, а другое - нижнетреугольная с одинаковыми элементами на диагонали.
Из вышесказанного следует, что размерность пространства решений уравнения ad j Y = 0 равна нулю, то есть, размерность аннулятора Y минимальная из возможных. Это означает, что элемент Y регулярен. □
Утверждение 2. Сингулярные элементы описываются уравнением ^(х) = 0.
Доказательство. Достаточно будет проверить два случая: когда равен нулю только определитель матрицы У2 (в этом случае матрица диагонализуема), и когда равен нулю любой другой минор (в этом случае матрица диагонализуема только блочно, в разложении будет присутствовать один блок 2 х 2).
• в первом случае выражение У\ + У2В можно сделать равным нулю лишь частично; правый нижний элемент в нуль обратить не получится. Рассмотрим для такого элемента уравнение ad^ У = 0 :
(Хту! - УХ - у2хТ хТу2 + У2Х )
Ч * хтУ2 +Х1У1 -УХ)-
Уравнение в правом верхнем блоке решается аналогично регулярному случаю с тем лишь исключением, что условие на правый нижний элемент Х отсутствует. В силу этого ■ (ХтУ - УХ) = 0. Уравнение УХ = 0 решается аналогично регулярному случаю с тем же исключением (нет условия на правый нижний элемент матрицы Х2). Размерность пространства решений увеличивается на 2.
• будем считать, что нулю равен предпоследний диагональный минор. Тогда матрица У2 имеет диагональный блок ( п - 2) х ( п - 2) и блок 2 х 2 с элементами только на второй диагонали.
Рассмотрим выражение У + У2В. В правом нижнем блоке произведение У2В выглядит так:
(0 Ъ\ (/ Л = (Ъд ЪП\ \Ъ 0) \д к) ^Ь/ Ъд) ,
откуда видно, что мы снова можем обратить в нуль все элементы, кроме, например, правого нижнего.
Теперь рассмотрим ad^ У = 0. Уравнение ХтУ2 + У2Х\ = 0 вне правого нижнего блока 2 х 2 решается так же, как и в регулярном случае, а в блоке выглядит так:
/х! 0 \ / 0 уЛ + / 0 уЛ (х\ хЛ ( 0 хУ2 +х3у2'
\Х2 х3) \У2 0,/ VУ2 0/\0 х3) \х3у2 У2 -х2У2 ,
откуда видно, что х2 = 0, а х можно выразить через х3. Тогда Х\ и У - диагональные матрицы, следовательно, они перестановочны. Остается лишь уравнение У2Х2 = 0, в котором решение вне блока аналогично регулярному случаю, а в блоке аналогично уже рассмотренному - правый нижний элемент не имеет никаких условий.
Из вышесказанного следует, что размерность пространства решений (то есть, аннулятора выбранного элемента У) увеличивается на 2. Это означает, что в обоих случаях элемент У принадлежит сингулярному множеству по поределению.
□
Доказательство Теоремы 4. В доказанных выше Утверждениях найден вид уравнения (х), х е А*, задающего сингулярное множество. Строго говоря, найденный многочлен может не совпадать с фундаментальным полуинвариантом, если неприводимые компоненты (в нашем случае Д^) входят в полуинвариант с кратностью, отличной от единицы. Но размерность алгебры Ли В,вр(2п) равна п(п + 1), что ровно в два раза больше суммы степеней Дг. по определению фундаментального полуинварианта, его степень для фробениусовой алгебры Ли равна половине размерности алгебры Ли. Значит, кратность каждой неприводимой компоненты может быть равна только единице. □
ТТ « п(п+1)
Число различных корней характеристического многочлена равно —^—i; все корни имеют кратность 1. Это означает, что сумма размеров жордановых блоков, отвечающих каждому корню характеристического многочлена Xi, равна двум, то есть, каждому Х^ соответствует ровно один блок размера 2 х 2.
Теорема 5 (Основная теорема об инвариантах Жордана-Кронекера Ввр(2п)). Алгебры Ли серии Ввр(2п) имеют жорданов тип. Характеристический многочлен {в(х + Ха) = Пп=1 Д%(х + Ха) = 0,х,а е А*, имеет п(п+1 различных корней; каждому из них соответствует один жорданов индекс 2.
2.3. Полный набор в би-инволюции
Как было показано выше, неприводимые компоненты фундаментального полуинварианта имеют кратность один, то есть, полуинвариант совпадает с уравнением, задающим сингулярное множество. Такая ситуация удовлетворяет условиям теоремы 6 в [2]:
Теорема 6 (Bolsinov-Zhang, [2]). Пусть g—фробениусова алгебра Ли, и пусть геометрическая степень Sing е g* равна половине размерности алгебры Ли. Тогда пучок общего положения Ах + ХАа не содержит жордановых блоков размера больше 2, все корни характеристического многочлена различны, и коэффициенты характеристического многочлена образуют полный набор функций в би-инволюции.
Полный набор в би-инволюции может быть получен из соображений, используемых в теореме 6, то есть, мы можем взять набор симметрических полиномов от корней характеристического многочлена. Однако полный набор, эквивалентный данному, можно получить более наглядно. Возьмем скобку Ли двух элементов
/А В\ (Аг ВЛ] _ (ААг —А!А АВг + ВСг — АХВ — ВХС\ V0 С^Д 0 Сг)\ V 0 ССг —СгС )'
Если мы возьмем ненулевыми только элементы В и В\, то увидим, что они коммутируют. Так как по определению скобка Ли-Пуассона задается матрицей Ах _ (с^хк), из вышесказанного следует, что в этой матрице мы будем иметь правый нижний блок нулей размера п х п, что в точности означает, что в качестве функций в би-инволюции мы можем взять линейные функции от элементов матрицы В. Так как алгебра Ли фробениусова, нам нужно найти d™g функций. Именно столько функций мы и нашли, так как размерность В равна половине размерности алгебры.
Стоит отметить, что данный набор был ранее построен А. А. Короткевичем в [9], но рассматривался только как набор в инволюции относительно скобки Ли-Пуассона. Однако вид матрицы Аа _ (c^ak) будет таким же, как и Ах, а именно, матрица будет иметь такой же блок нулей, то есть построенные функции действительно находятся в инволюции относительно обеих пуассоновых структур.
3. Случай Взо(2к)
3.1. Общие сведения о серии
Элементами группы Ли ВБО(п) являются матрицы из БЬ(п), удовлетворяющие равенству С£СТХ-1 = Е, где £ - симметричная форма стандартного вида, и сохраняющие фиксированный полуфлаг изотропных пространств 0 С У1 С ... С У^ (п = 2к или п = 2к + 1).
При п = 2к в качестве такой формы мы выберем следующую:
'0 Е
-а о).
Тогда элемент С имеет следующий вид:
С = ^ т^ , А - верхнетреугольная, ВАТ + АВт = 0.
Элементы X £ В8о(2к) и У £ В8о(2к)* в матричном виде запишутся так:
X = (Х Х2 )у = (Ъ Ъ ) Х V о -х*у , 2 V о -у*)
где матрицы X и У\ верхнетреугольные, Х2 и У2 - кососимметричные, а * обозначает классическое транспонирование матрицы, К* = Ят. В данном случае снова рассматривается отождествление (У|Х) = Тг(УХт); так же, как и в предыдущем случае оно неканоническое, но как и в предыдущем случае, в рамках данной статьи каноничность несущественна (матрица Грама соответствующего скалярного произведения является скалярной матрицей).
м* у = к (А^УА + А-1ТГ2Вт (А-1)ТУ2А-1 N =4 * ВУ2А-1 -АУ^А-1) ,
где к - проекция, заключающаяся в подставлении нулей вместо всех элементов в блоке, отмеченном *, а также нижнетреугольных элементов в левом верхнем блоке и верхнетреугольных в правом нижнем.
Иногда наряду с вышеописанным представлением (которое будет далее называться стандартным) полезно рассматривать представление, использованное В. В. Трофимовым в [13]. В таком представлении (на примере элемента У) У2 - кососимметричная относительно побочной диагонали, а У-* - матрица, получающаяся из транспонированием относительно побочной диагонали; то же самое справедливо и для соответствующих подматриц элемента X. Вся матрица У в таком представлении кососимметричная относительно побочной диагонали. В таком представлении удобно определять полуинварианты.
Данные представления изоморфны. Изоморфизм задается так:
^ ) = (о1
0
где 5 - матрица единиц на побочной диагонали. Очевидно, что ф2 = Ы. По ходу статьи, используется стандартное представление; в случае необходимости использовать представление, описанное выше, мы будем использовать отображение ф.
Размерность Взо(4з) равна Аз2; размерность Взо(4з + 2) равна 4з2 + 4« + 1. Индекс Взо(4з) равен нулю, что означает, что алгебры Ли данной серии фробениусовы, и задача нахождения инвариантов Жордана-Кронекера сводится к задаче нахождения характеристического многочлена; индекс Взо(4з + 2) равен единице.
3.2. Полуинварианты Вво(2к)
Рассмотрим матрицу ф(У), У £ Взо(2к)*. Функция ,2г— вычисляется следующим образом:
1. Вычеркнем первые 2г — 1 строк и последние 2г — 1 столбцов ф(У);
2. к уже вычеркнутым вычеркнем еще одну строку и один столбец с индексом = 2 г ,...,к;
3. считаем определитель подматрицы, стоящей на пересечении вычеркнутых строк и столбцов;
4. делаем так для всех возможных ] и складываем получившиеся определители.
Аналогичным образом определяются функции
Рассмотрим также функции А2г, которые можно определить как угловые миноры матрицы У2в, проходящие через первые 2г строк и последние 2г столбцов.
Теорема 7 (Трофимов, [13]). Функции Д2г при г < в, и ,121-1 при г < в являются полуинвариантами коприсоединенного представления алгебры Ли В в о(2к),к = 2в или к = 2в + 1. Функции ,12з являются полуинвариантами коприсоединенного представления алгебры Ли В в о(4в + 2).
Многочлены Д2г приводимы как определители кососимметричных матриц: Д2г = (Рг)2; многочлены Р\ в свою очередь неприводимы. Многочлены являющиеся суммами более
чем одного минора, неприводимы. Для проверки этого факта достаточно рассмотреть матрицу У такую, что ф(У) имеет следующий вид:
ф<у )=(У1 %) ■
У1 =
/о ...
о ... V0 ...
о.
л .
о.
о о
( р
о о
У2 =
о
(2
а1
о
0 —а2
о
—а1 0
0 (Х21-2
о
р 0
0 — а.2г-2 —р 0
0
— р
\0 ... 0
где - транспонирование относительно второй диагонали, элемент л в матрице У1 расположен на строке 2 г — 1 и столбце 2г; в матрице У2 на диагонали выше побочной расположено 2г — 1 ненулевых элементов.
Функция 12г-1 от такого элемента равна (^ ■а2 ■ ... ■ а^-21р + а2 ■а2 ■... ■ а2г-3Лр. Такой многочлен, очевидно, неприводим.
С другой стороны, если ,121-1 состоит из одного слагаемого-определителя, то такая функция приводима и представляет собой произведение Рг ■ Qi, где Qi неприводим (как корень из определителя кососимметричной матрицы).
12з разложим похожим образом: ^ = Р3 ■ Qs+l, где множитель Qs+l неприводим. В этом несложно убедиться, если заметить, что ^ по сути своей является определителем матрицы (2« + 1) х (2« + 1) с кососимметричной подматрицей размера 2 8 х 2в и практически произвольными оставшимися строкой и столбцом.
3.3. Серия Вво(4й) : характеристический многочлен и ^КК—инварианты
Теорема 8. Фундаментальный полуинвариант коприсоединенного представления алгебры Ли В (4 ) имеет вид
ад = (Р1 )2 ■ (Р2)2 ■ ... ■ (Рз-1)2 1 ■ ... ■ ,28-1, Рг = уД^
0
0
Характеристический многочлен пучка общего положения Лх + ХЛа имеет вид {д(х + Ха).
Перед доказательством теоремы следует отметить, что Р3 делит соответственно в
представлении выше можно заменить на Р3 • Qs.
Как и в разделе 2.2, нам нужно проверить, что нули указанных многочленов действительно задают сингулярное множество. Однако в данном случае сумма степеней многочленов, взятых с кратностью один, меньше половины размерности алгебры, то есть, нам необходимо понять кратность, с которой каждая неприводимая компонента входит в ^(х). Доказательство теоремы заключается в проверке двух утверждений.
Утверждение 3. Элемент У регулярен при £А(У) = 0.
Доказательство. Как было указано выше, любой элемент алгебры В в о(2к)* задается двумя матрицами размера к х к : верхнетреугольной У1 и кососимметричной У2.
Система уравнений, задающая аннулятор У, выглядит следующим образом:
(хтУ2 + У2Х1 = 0;
\ъ(хту1 — УХ + У2Х2) = 0, ()
где к - проекция на пространство верхнетреугольных матриц.
В случае В,во(4в) элемент общего положения Аё* —преобразованием может быть приведен к такому виду: матрица У2 имеет вид стандартной кососимметричной, а матрица У1 имеет вид проекции стандартной кососимметричной формы на пространство верхнетреугольных
0 (Зг
матриц - то есть, блочно-диагональный вид с блоками вида ^ 0*
Первое уравнение эквивалентно условию ХтУ2 = (Х"^У2)т. Так как У2 блочно-диагональна с блоками 2 х 2, а Х1 верхнетреугольная, произведение Х'^У2 верхнетреугольно, что означает, что все элементы вне блоков на диагонали равны нулю. В блоках же стоят условия
Х^а^О = —а^ОХц, где О = ^ . Из этого условия следует, что диагональные блоки Хц
представляют собой верхнетреугольные матрицы со следом 0.
Рассмотрим второе уравнение (3). Заметим, что Х\ и У\ имеют блочно-диагональный вид с одинаковыми блоками, поэтому их коммутатор тоже будет блочно-диагональным с теми же блоками. Удобно сначала рассмотреть все элементы вне этих блоков; все они содержатся в слагаемом У2Х2; так как У2 блочно-диагональна с невырожденными блоками 2 х 2, то условие У2Х2 = 0 вне диагональных блоков по сути означает, что все элементы Х2 вне диагональных равны нулю. Рассмотрим уравнения, возникающие в блоках 2 х 2.
хтл — ЛХт + аОХ2,гг = (0 — (^2 + (— 0 ) = 0. (4)
' \0 Ргхг2/ V 0 0 / V 0 —агх2,г)
Очевидно, равенство выполняется только при хц = х^ = х2^ = 0. Отсюда получаем, что все элементы Х равны нулю, значит, размерность пространства решений (иначе говоря, ан-нулятора У) равна нулю, то есть, минимальная из возможных. Это означает, что элемент У регулярен. □
Замечание 1. Данная схема рассмотрения будет использоваться во всех случаях Вво(п) : мы будем сводить систему уравнений к некоторой блочно-диагональной, и рассматривать получившиеся блоки. Для "стандартных" блоков 2 х 2 рассмотрение ограничивается приведенным выше. Более того, условие того, что коммутатор двух матриц Х и Х' с соответствующими подматрицами блочно-диагонального вида равен нулю, сводится к условиям
на соответствующие блоки на диагоналях; элементы с ненулевыми блоками разной "высоты" (то есть, разного расположения на блочной диагонали) коммутируют. Поэтому почти всегда будет удобно свести 'решение к рассмотрению одного блока, что аналогично рассмотрению случая алгебры Ли меньшей размерности.
Замечание 2. Вид, к которому приводятся элементы, удобен тем, что для элементов такого вида 1—полуинварианты содержат всего одно ненулевое слагаемое, причем для любого г ,121-1 зависит только от одного элемента У1 - от Причем приведение к данному виду никак не использует условия = 0, соответственно, при равенстве нулю одного из ,121-1 элемент все еще может быть приведен к описанному блочно-диагональному виду, но соответствующий будет равен нулю.
Утверждение 4. Элемент У сингулярен при ^(У) = 0. Аннулятор сингулярного элемента общего положения У, соответствующего равенству нулю одного из (Р^),г = 1, . . . , — 1, является двумерной коммутативной подалгеброй.
Доказательство. Из замечания 2 следует, что при = 0 достаточно проверить урав-
нение (4) при Рг = 0. Очевидно, размерность пространства решений увеличится на 2 за счет неопределенности хц и х^2.
В случае, если Д2в = 0, матрицу У снова можно привести к виду, описанному в Утверждении 3 за исключением последних блоков 2 х 2 в обеих матрицах: У2^ будет нулевым, а У1,3 - произвольным верхнетреугольным. Очевидно, что вне нижнего диагонального блока 2 х 2 все условия аналогичны ранее рассмотренным; поэтому, согласно Замечанию 1 можно рассмотреть случай В8о(4).
Первое уравнение (3) тавтологическое, а второе имеет вид
— YiX{ ) =
Т\
Х2у2 Х\у2 — х3у2 0 Х2У2
0,
размерность пространства решений данного уравнения равна единице, и еще единица получается из отсутствия условий на Х2.
В случае, когда равен нулю один из Д2 , = , матрицу У2 можно привести к блочно-диагональному виду, где все блоки стандартные 2 х 2 кроме одного блока 4 х 4, имеющего 0 7Е4 —7Е 0
вид W =
Система сводится к блочно-диагональной, поэтому в соответствии с
Замечанием 1 рассмотрим случай Bs0(8). Выберем такой Y :
Yi =
0 0 1 0 0 0 1 0
0 0 0 1 ,Y2 = 0 0 0 1
0 0 0 0 —1 0 0 0
0 0 0 0 0 —1 0 0
Нетрудно проверить, что данный элемент действительно является сингулярным, при этом из определенных полуинвариантов в нуль обращается только Д2. Аннулятор данного элемента имеет вид
х1 0 х2 0 х1
Xi =
0 0 0
0
х1 0
,Х2 =
Х2 0
0 — х\_ х1 0 00
0
0 0
\0 0 0 0 / \—Х1
Данная подалгебра, очевидно, коммутативна. □
Доказательство теоремы 8. Утверждение 4 означает, что если Y является точкой общего положения множества решений уравнения Р1 ■... ■ Ps-1(x) = 0, то dim Ann Y — ind g = 2 и ind Ann Y — ind g = 2. В этой ситуации можно воспользоваться следующим предложением.
Предложение 1 ([2], Proposition 13). Пусть (х,а) е g* х g* - пара общего положения, \г - один из корней характеристического уравнения fg(x + Ха). Положим Y = х + Xi(a е Sing.
1. Число жордановых блоков, отвечающих корню Xi, равно
^ (dim Ann Y — ind g).
2. Число нетривиальных жордановых блоков (то есть, размера 4 х 4 и больше), отвечающих корню Xi, равно
- (ind Ann Y — ind g).
В рассматриваемой ситуации каждому корню характеристического многочлена соответствует один жорданов блок. Из Предложения 1 следует, что каждому корню Pi(x + Ха) = 0 соответствует один нетривиальный жорданов блок; складывая суммы степеней Pi, получаем, что количество различных корней, возникающих в данных компонентах, равно ^. Корням уравнений J2i-i(x + Ха) = 0 (s(s + 1) различных) могут соответствовать и тривиальные блоки. Исходя из этого, можем получить оценку снизу суммы размеров жордановых блоков для всех корней характеристического многочлена: 2 ■ s(s + 1) + 4 ■ ^ = 4s2, что равно размерности алгебры Ли, то есть, оценке сверху такой суммы. Следовательно, каждому корню Pi(x + Ха) = 0, г = 1,..., s — 1, соответствует один жорданов блок размера 4, то есть, кратность неприводимой компоненты Pi фундаментального полуинварианта равна двум. Аналогично, корням J2i—i(x + Ха) = 0, г = 1,..., s, соответствуют тривиальные жордановы блоки, следовательно, неприводимые компоненты J2i— i(x) входят в полуинвариант с кратностью один. Таким образом, вид фундаментального инварианта (соответственно, характеристического многочлена) полностью определен. □
В процессе доказательства Теоремы 8 мы фактически нашли число и размеры жордановых блоков для каждого корня характеристического многочлена, то есть, доказали следующую теорему.
Теорема 9 (Основная теорема об инвариантах Жордана-Кронекера Bso(4s)). Алгебры Ли Bso(4s) имеют жорданов тип. Характеристический многочлен fg(x + Ха) = 0 пучка Ах + ХАа общего положения имеет s(s + 1) корней кратности 1 и s(s— ^ корней кратности 2. Каждому корню кратности 1 соответствует один жорданов индекс 2; каждому корню кратности 2 соответствует один жорданов индекс 4.
3.4. Серия Bso(4s + 2): кронекеров блок
Алгебры Ли данной серии имеют смешанный тип, то есть, в разложении Жордана-Кронекера пары форм общего положения будут присутствовать кронекеровы блоки. Так как индекс алгебры равен единице, такой блок будет единственным.
Лемма 1. Справедлива оценка кронекерова индекса:
ki < 2s + 1.
Доказательство. Ad* —инвариантом данной алгебры является функция f (x) = —р. Ранее было показано, что J2s = Ps ■ Qs+i, а значит, дробь —^ можно сократить.
Степень Qs+i как многочлена равна s + 1, степень Ps равна s. Согласно ([2], Section 6, также см. [14]), в случае рационального инварианта индекс ki может быть оценен сверху суммой степеней числителя и знаменателя: k1 < deg Ps + deg Qs+i = 2s + 1. □
Лемма 2. Кронекеров индекс равен 2з + 1.
Доказательство. Воспользуемся методом сдвига аргумента. Рассмотрим такой элемент Ух (записанный в стандартном представлении):
Y,x =
i* * ... . . . * 11 0 a1 0 0 0 0 0
0 * ... . . . * 0 —a1 0 0 0 0 0 21
0 0 ... . . . * 12 0 0 0 0 0 0
0 0 ... . . . * 0 0 0 —a.2 0 0 0 22
,Y2,X =
0 0 ... . . . * Уи 0 0 0 0 0 as 0
0 0 ... . . . * 0 0 0 0 0 —as 0 У2з
\0 0
0 0 /
\ 0 -У21 0 - У22
0 - У28 0 /
На месте символов * могут быть любые элементы, такой элемент может быть выбран регулярным (подробнее об этом в следующем разделе). Инвариант —^ представляет собой частное определителя матрицы, получаемой из У2,х заменой последней строки на последнюю строку У\х, и углового минора порядка 2$ матрицы У2,х. Легко заметить, что он имеет такой вид:
J2s
2 s
^ yuy2i
г=1
tti
Рассмотрим его сдвиг на элемент Уа : У\,а и У2,а имеют такой же вид, что и У\х и 12,х; ах,а = ... = а3,а = 1, у\3,а = у23,а = 1, остальные элементы равны нулю.
Для получения матрицы градиентов сдвигов достаточно взять градиент самой функции, сделать замену х ^ а + Хх и дифференцировать компоненты в точке Л = 0.
В полученной матрице размера 3 5 мы будем рассмаривать группы столбцов, соответствующие тройкам (V а{, vУli, v№,i), где элементу, например, уи соответствует столбец с первым элементом - частной производной инварианта по уц,а, и так далее. Тройки, соответствующие г = в, имеют ранг 2 (легко проверить, что у2гVy1i — уцVУ21 = 0), и, вообще говоря, представляют собой векторы
0
аг
р •
(-1)2а
22
V(-1)2af+1/
где Р = yи или Р = y2i. Из каждой такой тройки мы можем убрать по одному вектор-столбцу, оставив таким образом 2 s + 1 векторов. Теперь для проверки утверждения достаточно доказать, что полученная матрица размера (2s + 1) х (2 s + 1) невырождена.
Рассмотрим тройку (vas, vyis, vy2a). Все элементы данных вектор-столбцов, начиная с четвертого, представляют собой произведение некоторого многочлена на as; если as = 0, получаем
/1 1 1\
0 У 2 s У1з
(v
as , vyis , vy2s ) =
1 2 0
00 00
V
Такая матрица имеет ненулевой определитель.
Проверим, что (2 — 2) х (2в — 2)-подматрица координат оставшихся столбцов, начиная с четвертой, невырождена. Столбцы vQ,i представляют собой векторы
(0 0 ( — 1)УИУ21 ( — 1)22агУиУ2г
(—1)2-2(23 — 2)а2$-?уи У2г)
соответственно, можно вынести УlíУ2í за знак определителя. Получаем подматрицу такого вида (нас интересуют вектор-столбцы, начиная с четвертой координаты):
-Л
2 а1 а2 2 а2 а22
—3 а21 —а? —3 а22 — а
4а? а4 4а3? а42
—5а4 —а5 — 5 а 24 — а
V
/
Определитель такой матрицы равен а4 ■... ■ от3_1 ■ П (аг — аз)4 и, очевидно, в общей ситуации не равен нулю.
Таким образом мы доказали независимость сдвигов инварианта. Подпространство, натянутое на дифференциалы сдвигов, соответствует правому нижнему нулевому блоку в кронекеро-вом блоке, поэтому доказанное означает, что размер этого нулевого блока (равный кронекерову индексу) не меньше, чем 28 + 1. □
3.5. Серия Вво(4:8 + 2) : характеристический многочлен и ^КК—инварианты
Теорема 10. Фундаментальный полуинвариант коприсоединенного представления алгебры Ли Вво(4в + 2) имеет вид
= (Р1 )2 ■ (Р2)2 ■ ... ■ (Рз-1)2 31 ■ ... ■ Рг = ^Д^.
Характеристическим многочленом пучка Ах + \Аа общего положения является многочлен ^(х + Ха).
Как и выше, разобьем доказательство теоремы на два утверждения.
Утверждение 5. Элемент У регулярен при ^(У) = 0.
Доказательство. Аналогично Утверждению 3.
Если Д2,..., Д2 з-2 не равны нулю, то Аё*-преобразованием мы можем привести (2 8 — 2) х (2 — 2) подматрицу матрицы У2 к стандартному виду.
При Д2 $ = 0 возможно получить блочно-диагональное представление с 8 блоками 2 х 2 и блоком 1 х 1 в самом низу диагонали, нулевым в кососимметричной матрице и ненулевым в верхнетреугольной.
В соответствии с замечанием 1 рассмотрим блок 1 х 1 отдельно. В матрице Х1 соответствующий элемент хц будет свободным: в первом уравнении системы (3) условие на Х11 не появляется за счет равенства нулю соответствующего блока в матрице У2; во втором уравнении (3) при вычислении коммутатора в блоке 1 х 1 получим условие вида хц7 — 7хц = 0, то есть, условие выполняется при любых хц. Отсюда получаем, что аннулятор элемента общего положения такого вида имеет размерность 1.
При Д2 = 0 получим похожее блочно-диагональное представление с — 1 блоками 2 х 2 и блоком 3 х 3 в самом низу диагонали.
Рассмотрим этот блок отдельно, то есть, рассмотрим случай В8о(6) с Д2 = 0. Элемент У в таком случае можно привести к следующему виду:
'71 0 7э\ / 0 0 а^
У = | 0 72 74] ,У2 = ( 0 0 0 0 0 0 \ —а 00,
Решая систему уравнений (3) для данного элемента, находим аннулятор данного элемента:
/ 0 Х21 0^ Х1 =0,Х2 = I —Х21 0 0 V 0 0 0у
Отсюда видно, что размерность аннулятора снова равна единице. □
Утверждение 6. Элемент У сингулярен при £&(У) = 0. Аннулятор сингулярного элемента общего положения У, соответствующего равенству нулю одного из Pí, г = 1,..., в — 1, является трехмерной коммутативной подалгеброй.
Доказательство.
1. Если 32г-1 = 0, рассуждение полностью повторяет аналогичное из Утверждения 4.
2. Если Д2 $ = 0, но Д2г = 0, г = в, то нахождение аннулятора проводится по аналогии с Вво(4в) : матрицу У2 можно привести к блочно-диагональному виду с множеством блоков 2 х 2, одним блоком 4 х 4, а также одним блоком 1 х 1, который был рассмотрен в предыдущем Утверждении. То же самое будет, если мы рассмотрим ситуацию, когда Д2 я = 0, но Д2з-2 = 0 (при этом какой-то еще Д—полуинвариант равен нулю). В таком случае "хорошим" видом будет являться вид с множеством 2 х 2 блоков, одним 4 х 4 блоком, и одним 3 х 3 блоком, ситуация в котором разобрана в предыдущем утверждении. Аннулятор будет коммутативной подалгеброй в соответствии с Замечанием 1 и уже доказанной коммутативностью двумерной подалгебры, отвечающей блоку 4 х 4.
3. Ситуация, когда Д2я-2 = Д2 $ = 0 не сводится ни к одной предыдущей, так как в блочно-диагональном разложении появляется блок размера 5 х 5.
Рассмотрим последний случай отдельно. У можно привести к виду (стандартное представление)
У2 =
0 0 а 0 0
0 0 0 0
— а 0 0 0 0
0 0 0 0 с
0 — 0 — 0
Рассмотрим такой элемент:
У1 =
0 0 1 0 0 0 0 1 0 0
0 0 0 0 1 0 0 0 0 1
0 0 0 0 0 ,У2 = —1 0 0 0 0
0 0 0 0 0 0 0 0 0 1
0 0 0 0 0 0 —1 0 —1 0
Все полуинварианты, входящие как множители в фундаментальный, кроме Д2 я-2, не равны нулю.
Решая систему уравнений (3) для такого элемента, получаем, что аннулятор состоит из элементов вида
Х1 =
0 0 0 0 —Хз\ 0 х1 0 0 — Хз
0 0 —хз 0 0 — х1 0 Хз Х2 0
0 0 0 0 0 ,Х2 = 0 —Хз 0 0 0
0 0 0 0 0 0 —Х2 0 0 0
0 0 0 0 0 \ Хз 0 0 0 0
Нетрудно убедиться в том, что такие элементы составляют коммутативную подалгебру размерности 3, что не является минимальной размерностью аннулятора в данном случае; следовательно, элемент У сингулярен. □
Доказательство теоремы 10. Снова воспользуемся Предложением 1, откуда получаем, что каждому корню {в(х + Ха) = 0 соответствует один жорданов блок (так как размерность аннулятора любого сингулярного элемента общего положения больше индекса алгебры Ли на 2); при этом для решений уравнений Рг(х + Ха) = 0,1 = 1,... ,8 — 1, жордановы блоки имеют размер, больший 2 х 2; остальным корням могут соответствовать тривиальные жордановы блоки. Сумма жордановых индексов равна ё1ш д — ^¿=1®(2кг — 1) = 4в2 + 2,з; несложно проверить, что такая сумма достигается только в случае, если корням Рг(х + Ха) = 0, г = 1,..., в — 1, соответствуют блоки размера 4 х 4, а корням ^ -1(х + Ха) = 0, г = 1,... ,8 - блоки размера 2 х 2. Значит, неприводимые компоненты Р.\ входят в фундаментальный инвариант с кратностью 2, а компоненты 321-1 - с кратностью один. Таким образом, вид фундаментального полуинварианта полностью определен. □
Теорема 11 (Основная теорема об инвариантах Жордана-Кронекера Вво(4з+2)). Алгебры Ли Вво(4в + 2) имеют смешанный тип. Характеристический многочлен пучка Ах + ХАа общего положения имеет в(5 + 1) корней кратности 1 и корней кратности 2. Каждому
корню кратности 1 соответствует один жорданов блок размера 2, а каждому корню кратности 2 - один жорданов блок размера 4. Также инвариантом Жордана-Кронекера Вво(4з+2) является один кронекеров индекс, равный 2 + 1.
4. Случай Взо(2к + 1)
4.1. Общие сведения о серии
Общая конструкция была описана в разделе 3.1. В случае группы ВБО(2к + 1) форма £ имеет вид
/0 0 Е\ £ = ( 0 1 0 ] , \Е 0 0/
где единичные матрицы Е имеют размер к хк. Элемент С € ВБО(2к + 1) устроен следующим образом:
(А — Ае В ] С = ( 0 1 е?т ] ,
\0 0 А-1 /
А - верхнетреугольная матрица к хк, В - матрица размера к хк такая, что ВАТ + Ае етАт + АВТ = 0.
Мы снова используем отождествление (У|Х} = Тг(УХТ); Х € Вво(2к+1), У € Вво*(2к+1) имеют одинаковый вид. Например, для У :
у У2 \
у = ( 0 0 —Ут ] ,
\0 0 —У?)
где У и У2 - матрицы х к, - вектор длины к.
Коприсоединенное представление Аё* задается следующим образом:
( А-1Т^АТ -ГТУсТАТ + л-1^, л-1^ л-1
+А-1Т¥2В т
А-1±у + А-1ТУ2е А"11У2А"
к * * еТУ2А-1 - уТА-1
\ * * ВУ2А-1 + АеуТА-1 -АУТА-1)
где к - проекция, заключающаяся в подставлении нулей вместо всех элементов в блоках, отмеченных *, а также нижнетреугольных элементов в левом верхнем блоке и верхнетреугольных в правом нижнем.
Так же, как и для случая В8о(2к), полуинварианты проще описать в представлении, используемом В. В. Трофимовым в [13]. Изоморфизм представлений задается следующей формулой:
/У у У2в \
ф(У) = I 0 0 -уТБ I ,
\0 0 -БуТв)
где Б - матрица единиц на побочной диагонали. В таком представлении У представляет собой верхнетреугольную матрицу, кососимметричную относительно побочной диагонали.
Размерность в случае Взо(2з + 1) равна 482 + 2з, а в случае Взо(2з + 3) - 482 +6в + 2. Индекс для алгебр данной серии равен нулю, то есть, алгебры фробениусовы, и для нахождения инвариантов Жордана-Кронекера достаточно найти характеристический многочлен.
4.2. Полуинварианты Вво(2к + 1)
В целом конструкция полуинвариантов не отличается от таковой для В8о(2к). Единственное различие появляется в алгоритме получения 7-полуинвариантов (для элемента ф(У),У е Вво(2к + 1)):
1. Вычеркнем первые 2г - 1 строк и последние 2г - 1 столбцов ф(У);
2. к уже вычеркнутым вычеркнем еще одну строку и один столбец с индексом = 2 г ,...,к + 1;
3. на пересечении вычеркнутых строк и столбцов получилась матрица, считаем ее определитель;
4. делаем так для всех возможных ] и складываем получившиеся определители с коэффициентом 1, кроме определителя, соответствующего ] = к + 1 - его добавляем в общую
сумму с коэффициентом —.
Все рассуждения о независимости и неприводимости, приведенные для полуинвариантов В,во(2к), справедливы и в данном случае.
Теорема 12 (Трофимов,[13]). Функции Д2г при г < в, и ,]2ц-1 при г < в являются полуинвариантами коприсоединенного представления алгебры Ли Вво(2к + 1), к = 2в или к = 2в + 1. Функция ■12з+1 = Д2б+2 является полуинвариантом коприсоединенного представления алгебры Ли В в о(4в + 3).
4.3. Серия Вво(4:8 + 1): характеристический многочлен и ^КК—инварианты
Теорема 13. Фундаментальный полуинвариант коприсоединенного представления алгебры Ли Вво(4в + 1) имеет вид
(д(х) = (Р)2 ■ (Р2)2 ■ ... ■ (Рз-1 )2 Р$ ■ 3\ ■ ... ■ 32$-1, Рг = . Характеристический многочлен пучка Ах + ХАа общего положения имеет вид {д(х + Ха). Доказательство.
Если Д2 з = 0, то Аё*-преобразованием можем привести элемент У к такому виду, чтобы матрица У2 имела блочно-диагональный вид с блоками размера 2 (если остальные Д2г = 0), либо с одним блоком размера 4 (если один из Д2г, г = в, равен нулю), а вектор-столбец у был нулевым.
Система уравнений на аннулятор будет иметь следующий вид:
■к(Х?У1 — У1Х? + У2Х2 — ухт) = 0;
Х?у + У2х = 0; (5)
Х?У2 + У2Х1 = 0.
Очевидно, из условия = 0 и второго уравнения следует, что х = 0. После этого оставшиеся уравнения в точности повторяют таковые для случая В8о(4в), соответственно, все рассуждения, описанные выше для характеристического многочлена В8о(4в), верны и для данного случая.
Единственная ситуация, отличающая данный случай от В (4 ) - ситуация, когда Д2 = 0. Нужно проверить, что в этом случае ранг падает. В данном случае Аё*-преобразованием матрицу У2 возможно диагонализовать с несколькими блоками 2 х 2 стандартного вида и одним нулевым блоком 2 х 2; вектор-столбец можно сделать нулевым везде, кроме последних двух элементов. Достаточно будет рассмотреть случай В8о(5), решив систему (5) для такого элемента У :
1 У2 4 0 0
0 Уз У5 0 0
0 0 0 —У4 —У5
0 0 0 —У1 0
0 0 0 —У2 —Уз)
Легко устанавливается, что ранг системы (5) будет равен четырем, размерность аннулятора, следовательно, равна двум. Элемент У сингулярен.
Аналогично рассмотренным выше случаям, воспользуемся Предложением 1, что позволит найти размеры жордановых блоков, а вместе с этим и кратности корней и соответствующих им неприводимых компонент. □
Теорема 14 (Основная теорема об инвариантах Жордана-Кронекера В в о(4в + 1)). Алгебры Ли Вво(4в + 1) имеют жорданов тип. Характеристический многочлен пучка общего положения имеет з(з2 ^ корней кратности 2 и 5(5 + 2) корней кратности 1. Каждому корню кратности 1 соответствует один жорданов индекс 2, каждому корню кратности 2 соответствует один жорданов индекс 4.
4.4. Серия Вво(4:8 + 3) : характеристический многочлен и ^КК—инварианты
Теорема 15. Фундаментальный полуинвариант коприсоединенного представления алгебры Ли Вво(4в + 3) имеет вид
(д(х) = (Р1)2 ■ (Р2)2 ■ ... ■ (Рз)2 ^Рз+1 31 ■ ... ■ Ъз-1, Рг = .
Характеристический многочлен пучка Лх + ХЛа общего положения имеет вид {д(х + Ха).
Для данной серии также является полуинвариантом, но (формально) в разложении
^(х) на множители не участвует, так как Д2 5+2 = . Доказательство.
При Д2г = 0, г = 1,..., 8, У2 приводится к стандартному виду: стандартные кососиммет-ричные блоки размера 2, и один (последний, как в В,во(4в + 2)) нулевой блок размера 1; у вектор-столбца у первые 28 элементов нулевые, а последний произвольный; У1 блочно-
диагональна с блоками 2 х 2 вида ^^ и одним нулевым одномерным.
При Д2 .5+2 = 0 можно сделать почти то же самое, но последний элемент вектора у при таком условии должен быть равен нулю; тогда матрица У1 будет иметь уже ненулевой блок размера 1. Ранг в таком случае упадет на 2.
3. Все остальные случаи, когда ранг падает на 2 за счет обращения в нуль J-полуинва-рианта, эквивалентны описанным для предыдущих серий, то есть, в блоке размера 2 (уравнение (4)) за счет равенства нулю Л образуются две свободные переменные.
4. В случае, если равен нулю любой блок Д2 , кроме Д2 , задача сводится к известной: все блоки размера 2, блок размера 4, и последний блок размера 1. Ранг падает на 2 за счет блока 4 х 4, соответствующий аннулятор является коммутативной подалгеброй.
5. Если Д2 = 0, то ситуация сводится к ситуации с блоком размера 3, однако за счет вектора у (и того, что размерности пространства решений должны быть разные) не получится просто свести все к случаю В8о(48 + 2).
Все описанные случаи достаточно рассмотреть для маленькой алгебры Ли В8о(7). Действительно, посмотрим на систему (5): если у имеет первые к координат равными нулю, то Х'у будет иметь те же координаты равными нулю, и (если их четное число) эти же к координат будут равными нулю в векторе х (это следует из уравнения ХТу + У2х = 0); тогда "добавка" —ухТ в первом уравнении будет влиять только на последний блок (размера 1 или 3, как описано выше), а вне этого блока это уравнение ничем не будет отличаться от второго уравнения системы (3).
Итак, рассмотрим сначала регулярный случай:
0 р 0 0 0 2 0
0 0 0 0 - 2 0 0
0 0 0 Уо 0 0 0
0 0 0 0 0 0 - Уо
0 0 0 0 0 0 0
0 0 0 0 -Р 0 0
0 0 0 0 0 0 0
Случай отличается от аналогичного Вво(6) наличием векторов х и у и условием на них. Решая систему (5), легко убедиться, что при уо = 0, размерность пространства ее решений равна нулю; если же у0 = 0, то размерность равна двум.
В случае Д2 = 0 нам нужно найти аннулятор следующего элемента:
У =
0 0 У11 0 0 0 2
0 0 У 12 Уо 0 0 0
0 0 У13 0 - 2 0 0
0 0 0 0 0 0 - о
0 0 0 0 - 11 - 12 - У13
0 0 0 0 0 0 0
0 0 0 0 0 0 0
Аннулятор двумерен, базисные элементы такие:
Хел =
0 0 0 0 0 Х21 0
0 0 0 0 - Х21 0 0
0 0 0 0 0 0 0
0 0 0 0 0 0 0
0 0 0 0 0 0 0
0 0 0 0 0 0 0
0 0 0 0 0 0 0
/0 0 - 2^X15
0 0 Х15 0 0 0
Хе2 =
Х15
00
00 00
00
0
0 0
0
У0 Х15
2у2Х15
0 - У2х15
2У2Х15
- УУ2Х15
У11 У2
У12 У0
Х15 Х15
0 0
У12 2У11
Х15
0 0
Х15
0
0
0 0
0
/
два этих базисных элемента коммутативны. Таким образом, все возможные ситуации сингулярных элементов общего положения рассмотрены. Для доказательства теоремы осталось лишь воспользоваться Предложением 1 □
Теорема 16 (Основная теорема об инвариантах Жордана-Кронекера Вво(4«+3)). Алгебры Ли данной серии имеют жорданов тип. Характеристический многочлен пучка Ах + \Аа общего положения имеет («+1)(«+1) корней кратности 1 и корней кратности 2. Каж-
дому корню кратности 1 соответствует один жорданов индекс 2, каждому корню кратности 2 соответствует один жорданов индекс 4.
0
0
0
5. Заключение
Среди направлений дальнейших исследований в данной области большой интерес представляет задача нахождения полных наборов полиномиальных функций в биинволюции для рассмотренной в статье серии В8о(п), которую, как ранее упоминалось, не удалось решить методами, используемыми при решении аналогичной задачи для серий В,вр(2п) и В81(п). Также логичным продолжением исследования, представленного в данной статье, является вычисление инвариантов Жордана-Кронекера для других классов алгебр Ли, упомянутых в Задаче, описанной во введении.
Благодарности
Автор выражает благодарность А. В. Болсинову и А. А. Ошемкову за постоянное внимание
к работе.
СПИСОК ЦИТИРОВАННОЙ ЛИТЕРАТУРЫ
1. Архангельский А. А. Вполне интегрируемые гамильтоновы системы на группе треугольных матриц // Матем. сб. 1979. Т. 108(150) №1. С.134-142.
2. Bolsinov A.V., Zhang P. Jordan-Kronecker invariants of finite-dimensional Lie algebras// Transform. Groups. 2016. Vol. 21 №1. P. 51-86.
3. Bolsinov A., Izosimov A., Kozlov I. Jordan-Kronecker invariants of Lie algebra representations and degrees of invariant polynomials // accepted by Transform. Groups. 2019. https://arxiv.org/pdf/1407.1878
4. Болсинов А. В., Изосимов А. М., Коняев А. Ю., Ошемков А. А. Алгебра и топология интегрируемых систем. Задачи для исследования // Труды семинара по векторному и тензорному анализу. 1012 T. 28. C.119-191.
5. Bolsinov A., Izosimov A., Tsonev D. Finite-dimensional integrable systems: A collection of research problems // Journal of Geometry and Physics, published online 16 November 2016, http://dx.doi.org/10.1016/j.geomphys.2016.11.003
6. Bolsinov A. V., Matveev V. S., Miranda E., Tabachnikov S. Open Problems, Questions and Challenges in Finite-Dimensional Integrable Systems // Philos. Trans. R. Soc. A-Math. Phys. Eng. Sci. 2018. Vol. 376 №2131.
7. Bolsinov A. V. Complete commutative subalgebras in polynomial Poisson algebras: a proof of the Mischenko-Fomenko conjecture // Theor. Appl. Mech. 2016. Vol. 43 №2. P. 145-168.
8. Грозновa А. Ю. Вычисление инвариантов Жордана-Кронекера для алгебр Ли малых размерностей // выпускная квалификационная работа МГУ. 2018.
9. Короткевич А. А. Полные наборы полиномов на борелевских подалгебрах // Вестн. Моск. ун-та. Сер. 1. Матем., мех. 2006. №5. С. 20-25.
10. Мищенко А. С., Фоменко А. Т. Уравнения Эйлера на конечномерных группах Ли // Изв. АН СССР. 1978. Т. 42 №2. С. 396-415.
11. Rosemann S., Schobel K. Open problems in the theory of finite-dimensional integrable systems and related fields // Journ. Geom. and Phys. 2015. Vol. 87. P. 396-414.
12. Thompson R. Pencils of complex and real symmetric and skew matrices // Linear Algebra Appl. 1991. Vol. 147. P. 323-371.
13. Трофимов В. В. Уравнения Эйлера на борелевских подалгебрах полупростых алгебр Ли // Изв. АН СССР. Сер. матем. 1979. Т. 43 №3. С. 714-732.
14. Воронцов А. Кронекеровы индексы алгебры Ли и оценка степеней инвариантов // Вестн. Моск. ун-та. Сер. 1. Матем., мех. 2011. Т. 66 №1. С. 26-30.
15. Vorushilov K. Jordan-Kronecker invariants for semidirect sums defined by standard representation of orthogonal or symplectic Lie algebras // Lobachevskii Journal of Mathematics. 2017. Vol. 38 №6. P. 1121-1130.
16. Ворушилов К. С. Инварианты Жордана—Кронекера для полупрямых сумм вида s 1(п) + (Rn)k и д 1(п) + (Rn)k // Фундамент. и прикл. матем. 2019. Т. 22 №6. С. 3-18.
REFERENCES
1. Arkhangel'skii, A. A. 1980, "Completely integrable Hamiltonian systems on a group of triangular matrices" Math. USSR-Sb., vol. 36, no. 1, pp. 127-134.
2. Bolsinov A. V., Zhang P. 2016, "Jordan-Kronecker invariants of finite-dimensional Lie algebras", Transform. Groups vol. 21, no. 1, pp. 51-86.
3. Bolsinov A., Izosimov A., Kozlov I. 2019, "Jordan-Kronecker invariants of Lie algebra representations and degrees of invariant polynomials", accepted by Transform. Groups, https:// arxiv.org/pdf/1407.1878
4. Bolsinov A. V., Izosimov A. M., Konyaev A. Yu., Oshemkov A. A. 2012, "Algebra and topology of integrable systems. Research problems", Trudy Sem. Vektor. Tenzor. Analysis, vol. 28, pp. 119-191.
5. Bolsinov A., Izosimov A., Tsonev D., 2016 "Finite-dimensional integrable systems: A collection of research problems", Journal of Geometry and Physics, published online, http://dx.doi. org/10.1016/j.geomphys.2016.11.003
6. Bolsinov A. V., Matveev V. S., Miranda E., Tabachnikov S., 2018, "Open Problems, Questions and Challenges in Finite-Dimensional Integrable Systems", Philos. Trans. R. Soc. A-Math. Phys. Eng. Sci., vol. 376, no. 2131
7. Bolsinov A. V., 2016, "Complete commutative subalgebras in polynomial Poisson algebras: a proof of the Mischenko-Fomenko conjecture", Theor. Appl. Mech. vol. 43, no. 2, pp. 145-168.
8. Groznova A.Yu., 2018 "Computation of Jordan-Kronecker invariants for low-dimensional Lie algebras" Graduate Thesis, Lomonosov Moscow State University
9. Korotkevich A. A., 2006, "Complete sets of polynomials on Borel subalgebras", Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., no. 5, pp. 20-25.
10. Mischenko AS., Fomenko A.T., 1978, "Euler equations on finite-dimensional Lie groups", Mathematics of the USSR-Izvestiya, vol. 12, no. 2, pp. 396-415.
11. Rosemann S., Schobel K., 2015, "Open problems in the theory of finite-dimensional integrable systems and related fields", Journ. Geom. and Phys., vol. 87, pp. 396-414.
12. Thompson R., 1991, "Pencils of complex and real symmetric and skew matrices", Linear Algebra Appl., vol. 147, pp. 323-371.
13. Trofimov V. V., 1980, "Euler equations on Borel subalgebras of semisimple Lie algebras", Mathematics of the USSR-Izvestiya, vol. 14, no. 3, pp. 714-732.
14. Vorontsov A., 2011, "Kronecker indices of Lie algebras and invariants degrees estimate", Moscow University Mathematics Bulletin, vol. 66, no. 1, pp. 26-30.
15. Vorushilov K., 2017, "Jordan-Kronecker invariants for semidirect sums defined by standard representation of orthogonal or symplectic Lie algebras", Lobachevskii Journal of Mathematics, vol. 38, no. 6, pp. 1121-1130.
16. Vorushilov K.S., 2019, "Jordan-Kronecker invariants of semidirect sums of the form sl(n) + (Rn)k and gl(n) + (Rn)k", Fundam. Prikl. Mat., vol. 22, no. 6, pp. 3-18.
Получено 01.06.21 г. Принято в печать 20.09.2021 г.
