Диаграммный метод в исследовании коприсоединенных орбит Текст научной статьи по специальности «Математика»

УДК 512.7

ДИАГРАММНЫЙ МЕТОД В ИССЛЕДОВАНИИ КОПРИСОЕДИНЕННЫХ ОРБИТ

© 2008 А.Н.Панов1

В работе по алгебре Ли специального вида строится диаграмма, по которой можно определить индекс и максимальную размерность ко-присоединенного представления. Показывается, что расстановка символов в диаграмме зависит от свойств ассоциированной подстановки.

Работа поддержана грантом РФФИ (проект №08-01-00151 и 06-01-00037)

Ключевые слова: алгебра Ли, диаграммный метод, диаграмма, коприсо-единенное представление.

Введение

Коприсоединенные орбиты групп Ли интересны, по крайней мере, с двух точек зрения. Согласно методу орбит А.А.Кириллова [1,2], для нильпотент-ных групп Ли существует взаимно однозначное соответствие между копри-соединенными орбитами и неприводимыми унитарными представлениями в гильбертовых пространствах. Это позволяет решать задачи теории представлений и гармонического анализа в геометрических терминах пространства орбит. С другой точки зрения, коприсоединенные орбиты являются симплектическими многообразиями, и многие гамильтоновы системы классической механики реализуются на этих орбитах [3-5]. Однако сама задача описания всех коприсоединенных орбит для конкретных нильпотентных групп Ли (таких как, например, группа унитреугольных матриц) является в настоящее время открытой проблемой, интерес к которой не ослабевает [6].

1 Панов Александр Николаевич (apanov@list.ru), кафедра алгебры и геометрии Самарского государственного университета, 443011, Россия, г. Самара, ул. Акад. Павлова, 1.

В самой первой работе по методу орбит [2] было получено описание алгебры инвариантов коприсоединенного представления унитреугольной группы и классификация орбит максимальной размерности. В работе [7] проведена классификация всех коприсоединенных орбит для групп ИТ(п, К) до порядка меньше или равного семи. В этой же работе получено описание субрегулярных коприсоединенных орбит для произвольного п.

В работе [8] рассматривается семейство орбит, ассоциированных с инволюциями. Частным случаем является семейство орбит максимальной размерности, которой ассоциировано с инволюцией максимальной длины. Получена формула для размерности таких орбит, найдены образующие элементы в определяющем идеале орбиты, для канонической формы на орбите построена поляризация.

Настоящая работа является продолжением работы [9], в которой по каждой алгебре Ли X, определенной в конце введения, строится некоторая диаграмма ©£. По этой диаграмме можно легко вычислить максимальную размерность коприсоединенной орбиты и определить индекс для X.

Напомним, что индекс алгебры Ли — минимальная размерность стабилизатора линейной формы на этой алгебре Ли. Для нильпотентных алгебр Ли поле инвариантов коприсоединенного представления является чисто тран-цендентным расширением основного поля степени, равной индексу этой алгебры Ли [10].

В [9] диаграмма строится индуктивным методом, который удобен в конкретных примерах и очень не удобен для доказательства каких-либо общих теорем. Хотелось бы иметь некоторую формулу, указывающую какой символ в диаграмме окажется на каждом месте.

Эта задача решается в настоящей работе. По каждой алгебре Ли рассматриваемой алгебре Ли X строится подстановка w£. Основные результаты работы формулируются в терминах разложения подстановки w£ в произведение отражений и ее действия на отрезке натурального ряда [1, п] (см. теоремы 2.2, 2.6 и 2.7). В заключении работы сформулирована гипотеза о строении поля инвариантов коприсоединенного представления для алгебры Ли X.

Перейдем к изложению содержания работы. Пусть N = ИТ(п, К) — группа нижнетреугольных матриц размера п X п с единицами по диагонали и с элементами из поля К нулевой характеристики. Алгебра Ли п = и1(п, К) этой группы состоит из нижнетреугольных матриц размера п X п с нулями по диагонали. Группа N действует на сопряженным пространстве п* по формуле А^/(х) = /(А^1 х). Это представление называют коприсоединен-ным представлением. Отождествим симметрическую алгебру S (п) с алгеброй регулярных функций К[п*] на сопряженном пространстве п*. Отожде-*

ствим также п с подпространством верхнетреугольных матриц с нулями по диагонали. Спаривание п и п* реализуется с помощью формы Киллинга (а, Ь) = Тг(аЬ), где а е п, Ь е п*. При таком отождествлении коприсоединен-

ное представление имеет вид Adgb = P(Adgb), где P — естественная проекция пространства n X n-матриц на n*.

Напомним, что для любой алгебры Ли g алгебра ^[g*] является алгеброй Пуассона относительно скобки, для которой {x,у) = [x,у], x,y е g. Симплектические листы этой скобки Пуассона совпадают с орбитами присоединенного представления [1]. Соответственно, алгебра элементов Казимира из ^[g*] совпадает с алгеброй инвариантов Ä"[g*]L коприсоединенно-го представления. Добавим, что коприсоединенные орбиты произвольной нильпотентной группы Ли являются замкнутыми в топологии Зарисского подмножествами в g* [10, 11.2.4].

В целях упрощения языка будем называть корнем произвольную пару (i, j), где i, j — натуральные числа от 1 до n и i Ф j. Группа подстановок Sn действует на множестве корней по формуле w(i, j) = (w(i), w(j)).

Если i > j, то корень (i, j) назовем положительным. Соответственно, если i < j, то корень отрицательный. Множество положительных корней обозначим через A.

Для любого корня n = (i, j), то через -n обозначим корень (j, i). На множестве положительных корней определим частичную операцию сложения: если n = (i, j) е A и n' = (j, m) е A, то n + n' = (i, m).

Рассмотрим стандартный базис {yij : (i, j) е A) в алгебре n. Будем также использовать обозначение у| для yij, где ^ = (i, j).

Зафиксируем некоторое подмножество M с A, удовлетворяющее условию: если n е M, n' е A и n + n' определено, то n + n' е M . Обозначим через m подпространство, натянутое на {yij : (i, j) е M). Из определения M, подпространство m является идеалом в алгебре Ли n.

Обозначим через L факторалгебру Ли n/m и через L соответствующую факторгруппу N по нормальной подгруппе exp(m). Отметим, что сопряжен-

Г»* *

ное пространство L является подпространством в n , состоящим из тех f е n*, которые аннулируются на m. Коприсоединенная L-орбита для f еХ* совпадает с ее N-орбитой.

1. Метод построения диаграммы

Как было сказано, в работе [9] по всякой алгебре Ли X выла построена диаграмма ©£. Изложим метод построения диаграммы и сформулируем основные утверждения работы [9].

Рассмотрим отношение порядка > на множестве пар А, для которого

(п, 1) > (п - 1,1) > ... > (2,1) > (п, 2) > ... > (3,2) > ... > (п, п — 1).

По идеалу т построим диаграмму, представляющая собой п X п-матрицу, в которой места (г, ]), г ^ ] не заполняются, а остальные места (т.е. места из А) заполняются символами <8>, •, " +" и " —" по изложенным ниже правилам. Места (г, ]) е М заполняются символом •. Назовем эту процедуру нулевым шагом в построении диаграммы.

На наибольшее в смысле отношения > место из А \ М ставим символ Заметим, что этот символ будет стоять в первом столбце, если множество пар вида (г, 1) из А \ М не пусто. Предположим, что мы поставили символ <8> на место (к, г), к > г. Далее, на все места (к, а), г < а < к, ставим символ " —", и на все места (Ь, г), 1 < Ь < к, ставим символ " +". На этом завершается первый шаг в построении диаграммы.

Если после этой процедуры часть клеток из А остаются незаполненными, то мы снова ставим символ ® на наибольшее (в смысле отношения > ) свободное место из А. Далее, мы расставляем символы " +" и " —" на свободные места по тому же правилу с учетом следующего замечания: символы " +" и " —" расставляются парами, если оба места (к, а) и (а, г), где к > а > г, свободны, то на первое ставится " —", а на второе " +"; если же одно из мест, (к, а) или (а, г), уже занято, то второе место не заполняется. После расстановки плюсов и минусов завершается очередной шаг, которому мы даем номер 2.

Продолжая процедуру дальше, мы получаем диаграмму. Обозначим построенную диаграмму через Номер последнего шага совпадает с количеством символов <8> в диаграмме.

Пример 1: Пусть п = 7, т = Куц ф Куб1 Ф Куц ф Ку62. Соответствующая диаграмма имеет вид

£>х =

+

+ +

<8> —

• + + <8>

• <8> — + —

• • <8> <8> — —

Диаграмма строится в 5 шагов, начиная с нулевого:

=>

+

+ +

<8> — —

• +

• <8> —

• •

=>

+

+

<8> — —

•

•

• •

=>

+

+ +

<8> —

• + +

• <8> —

• • <8>

=>

+ +

+ + + +

<8> — — => <8> —

• + + • + + <8>

• <8> — + — • <8> + —

• • <8> <8> — — • • <8> <8> — —

Обозначим через S (соотв. С+, С—) множество пар (г, ]), заполненных на диаграмме символом <8> (соотв. " +", "—"). Множество А пар (г,]), г > ], разлагается на непересекающиеся подмножества: А = М и С+ и С— и S.

Обозначим через Ат алгебру Пуассона К[р1,..., рт; ql,... ,дш], {рг, qí•} = = 1 и {рг, qj} = 0 для г ф ]. Напомним, что алгебра Пуассона А распадается в тензорное произведение двух алгебр Пуассона В<8>$2, если А изоморфна Вх®В2 как коммутативная ассоциативная алгебра и {Вх,В2} = 0. Следующие теоремы 1.1 и 1.2 — основные результаты работы [9].

Теорема 1.1 [9]: Существуют е К[X*]1, где 5 = 1, такие, что

1) каждое Zi = У^^+Р>г, где Q — некоторое произведение степеней от Zl,... , zí•—1, а Р>г — многочлен от {ул}, п ^

2) обозначим через £ множество знаменателей, порожденное z\,...,Zs'; локализация К[£*]2 алгебры К[X*] по множеству знаменателей £ как алгебра Пуассона изоморфна тензорному произведению К ] <8> Ат для некоторого т.

Теорема 1.2 [9]:

1) Поле инвариантов К(Х*)£ совпадает с полем К^ь...^).

2) Максимальная размерность коприсоединенной орбиты в X* равна сумме чисел символов " +" и " —" в диаграмме ©X.

3) Индекс алгебры Ли X совпадает с числом символов <8> в диаграмме ©х. Следует отметить, что в доказательстве теоремы 1.1 элементы строятся индуктивным путем, что оставляет нерешенным вопрос о нахождении для них явной формулы (например, в терминах коэффициентов миноров характеристической матрицы). К вопросу о явной формуле для образующих поля инвариантов мы вернемся в заключительном параграфе работы.

Сформулируем еще два вспомогательных утверждения из [9], которые будут использованы в этой работе. Обозначим через в- множество пар (а, Ь), а > Ь, которые остаются незаполненными после г-го шага в процедуре заполнения диаграммы. Подмножества Вг образуют цепочку:

В0 э В1 э ... э В5 = 0,

где 5 = |51. Обозначим Аг = В{ и М, п,- = 8рап{уп : п е А,-}, X; = пг/т. Здесь А = Ао.

Пусть S = {^1 > ... > }. Напомним, что место е S занято на диаграмме символом <8> на г-том шаге.

Для 1 ^ г ^ 5 обозначим через С— ¿(соотв. С+г) множество пар (а, Ь), а > Ь, которые заполняются символом " —"(соотв." +") на г-том шаге.

Предложение 1.3 [9, Лемма 1]: Подпространство пг (соотв. Хг) в п (соотв. Х) является подалгеброй Ли. Для любого 1 ^ г ^ 5 обозначим

В—= {п е Д+ > п, П е У С—у), В+г = {п е Д+> п, п е У С+у).

Заметим, что места п е В+г располагаются, в том же столбце, что и

Через г, где 1 ^ г ^ 5, линейное подпространство в п, натянутое на векторы Уп, п е В—.

Предложение 1.4 [9, Лемма 2]: Для любого 1 ^ г ^ 5 подпространство г является подалгеброй Ли в п. В примере 1:

§1 = (4,1), §2 = (6, 2), §з = (7,3), §4 = (7,4), §5 = (5,4);

С-1 = {(4,2), (4,3)}, 1= span{j42, У43};

С-2 = {(6,3), (6,5)}, 2= span{j42, У43, У63, У65};

С-з = {(7,5)}, "з = span{j43, У 63, У65, У75};

C-4 = {(7,6)}, 4 = span{y65, У75, У76};

C-5 = 0, 5= d-4.

2. Ассоциированная подстановка и ее разложения

Алгебре Ли X поставим в соответствие подстановку, которая определяется следующим образом.

Определение 2.1: Обозначим через w = wx подстановку из Sn для которой

1) w(1) = max{1 ^ i ^ n| (i, 1) £ M};

2) w(t) = max{1 ^ i ^ n| (i, t) £ M, i £ {w(1), ...,w(t - 1)}} для всех 2 ^ t ^ n. Как обычно обозначим через l(w) — наименьшее числом множителей во

всевозможных разложениях w в произведение простых отражений. Число l(w) совпадает с числом инверсий в перестановке (w(1),..., w(n)). Теорема 2.2: Число l(w) совпадает с dimX.

Доказательство: Обозначим через l(w)(t) число таких к, что к > t и w(k) < w(t).

Покажем, что l(w)(t) совпадает с dim X(t), где x(t) = span {jit | (i, t) £ M}. Пусть a(t) —наибольшее число, такое, что пара (a(t), t) не содержится в M. Очевидно, что a(t) ^ t, и dim X(t) = a(t) - t.

C другой стороны видно, что множество {w(1),..., w(t)} содержится в отрезке [1,a(t)]. Согласно методу построения w, всякий элемент c из отрезка

[1,a(t)], не входящий в {w(1),..., w(t)}, имеет вид c = w(k), для некоторого k > t, такого, что w(k) < w(t). Отрезок [1, a(t)] распадается:

[1, a(t)] = {w(1),..., w(t)} У {w(k)| к > t, w(k) < w(t)}. Отсюда l(w)(t) = a(t) - t = dim L(t). Поскольку

n

l(w) = ^ l(w)(t) и L = ®n=1L(t), t=1

то l(w) = dim L.

Напомним, что S = {^1 > > ... > ?s}. Положим wo = 1. Для любого 1 ^ i ^ s обозначим

wi = Г|2 ••T|i, (1)

Множество {n e A| > n} распадается в несвязное объединение

Bi u D~i u D+.

Предложение 2.3:

1) Если n e Bi, то w,-(n) > 0.

2) Если n e D~i U D+, то w,-(n) < 0.

Доказательство: будем проводить методом индукции по 0 ^ i ^ s. Для i = 0 утверждение очевидно. Предположим, что утверждение верно для всех номеров меньших i. Докажем для номера i.

Пусть = (k, t), k > t. Разобьем {nl > n} на четыре подмножества

I U II U III U IV, где

I = {(b, t)| t < b < k},

II = {(k, c)| t < c < k}, III = {(b, k)| k < b},

а в IV входят все остальные пары из {n| > n}, которые не попали в I,

II или III.

Если n e IV, то Г|.(n) = n, и утверждения предложения вытекают из предположения индукции.

Случай 1: Пусть n e I П Bi. Тогда n = (b, t), где t < b < k, и место n пусто после i-го шага. Поэтому место (k, b) заполнено (символом " —") до i-го шага (иначе на i-том шаге место (b, t) будет заполнено символом " + +"). Из предположения индукции вытекает, что w.—x(n') < 0 для n' = (k, b). Поэтому получаем

wi(n) = wi—1Г|,(n) = —wi—x(n') > 0. Случай 2: Пусть n e IП (D— U D+). В следующих пунктах 2a) и 2b) мы покажем, что wi(n) < 0.

2a). Пусть n e IП C++. Тогда n = (b, t), где t < b < k, и место n отмечено символом " +" на i-го шаге. Поэтому место (k, b) заполнено символом " —" на i-ом шаге и пусто на предыдущем (i — 1)-ом шаге. Из предположения индукции вытекает, что w.—x(n') > 0 для n' = (k, b). Поэтому

wi(n) = wi—1Г|;(n) = —wi—x(n') < 0.

2Ь). Пусть п е IП (В— и В+) и п £ С+. В этом случае место п заполнено одним из символов " +" или " —" на некотором у-том шаге, у < г.

Покажем, что место п', равное — Г&(п) = (к, Ь), свободно после г-го шага (т.е. п' е Вг). Предположим противное. Тогда п' е С— для некоторого у < г. При этом место находится в столбце с номером меньшим, чем г. Поскольку п е В— и В+, то п е В— или п е В+. Из п е В— и п' е С— с В—, вытекает, что & = п + п'е В— (см. предложение 1.4). Что приводит к противоречию. Остается рассмотреть случай п е В+. Тогда п е С++ для некоторого &т = = (с, г), с > к, лежащего в том же г-том столбце, что и &, только ниже &. Тогда на т-ном шаге место п, равное (Ь, г) получает символ " +", а место (с,Ь) —символ " —". На т-ном шаге место (с,к) уже занято символом " —" (иначе на т-ном шаге (с, к) получит символ " —", а &, равное (к, г), символ " +"). Итак, после (т — 1)-го шага места (к, Ь), равное п', и (с, к) уже заполнены символом " —", в то время как место (с,Ь) пусто. Это противоречит тому, что д—т—1 —подалгебра.

Итак, п' е Вг. Тогда х(п') > 0 и, следовательно, можно получить, что ^г(п) = —х(п') < 0. Что доказывает 2) для случая п е I.

Случай 3: п е II П Вг. Рассматривается аналогично случаю 1.

Случай 4: п е II П (В— и В+). Рассматривается аналогично случаю 2.

Случай 5: п е III. Как в доказательстве теоремы 2.2, обозначим через а®, наибольшее число, зависящее от г, такое, что (а®, г) £ М. Тогда все пары (с, г), где с > г, лежат в М. Напомним, что III = {(Ь, к)| к < Ь). Разобьем III на два подмножества: III! = {(Ь, к) е Ш| к < Ь < а(г)), Ш2 = {(Ь, к) е III| п ^ Ь > а(г)).

5а. Пусть п е Ш2. Из определения а® прямоугольник (а®,п] X [1, г] в диаграмме ©х заполнен символом •. Все места & у, у ^ г, расположены выше этого прямоугольника. Отсюда Ш2 с Вг и н^п) > 0. Что доказывает утверждение предложения в этом случае.

5Ь. Покажем, что III си/<-С— . Предположим противное, пусть существует п = (Ь, к) е И^, такой, что

п £ и С——.

]<г

Тогда место п пусто после г'-го шага. Рассмотрим место (Ь, г). Поскольку Ь > к, то место (Ь, г) заполнено ранее г-шага одним из символов "<8>", "—" или " +".

С другой стороны, на месте (Ь, г) не может стоять символ <8>, поскольку тогда п = &т для некоторого т < г. И на т-ном шаге место & = (к, г) будет заполнено символом " +" (соотв. (Ь,к) —символом " —"). На месте (Ь, г) не может стоять символ " —", поскольку тогда (к, г) е В—1, (Ь, к) е Вг с В—1 и (Ь, г) £ В—1, что противоречит предложению 1.3( подпространство п-—1 не является подалгеброй).

Остается последнее: на месте (Ь, г) стоит символ " +". Тогда существует

= (с, г) е S, у < г, с > Ь, такой, что на у-том шаге на месте (Ь, г) появляется символ " +" и на месте (с,Ь) —символ " —". На этом же у-том шаге место (с,к) должно быть уже занято, иначе (к, г) получит символ " +" и будет занято до г-го шага. Согласно процедуре расстановки символов, место (с, к) может быть занято только символом " —". Итак, после у — 1-го шага мы получаем, что места (с,Ь) и (Ь,к) свободны, а место (с,к) занято символом " —". Это противоречит утверждению, что пу—1 —подалгебра (см. предложение 1.4). Утверждение пункта 5Ь) доказано.

5с. Покажем, что »(п) < 0 для любого п = (Ь, к) е III. Пусть п = (Ь, к). Тогда (Ь, г) = г&(Ь, к). Пусть т - наибольший номер, такой, что &т > (Ь, г). Возможны следующие два случая.

a) т = г — 1. Тогда либо (Ь, г) = 1, либо (Ь, г) е В++1 и В—1. В любом случае 1(Ь, г) < 0. Получаем

н>г(п) = нг— 1 г&(Ь, к)) = 1(Ь, г)) < 0.

b) т > г — 1. Пусть &г—1 = (с, г). Тогда Ь > с и

Г&—1 (Ь, к) = г& _1(Ь, г) = (Ь, с).

Заметим, что г&р(Ь, с) = (Ь, с) для всех т < ^ < г — 1. Поэтому

» г(п) = ^тГ|т+1 ... —1 г&(Ь, к) = »т(Ь, с). (2)

Осталось показать, что »т(Ь, с) < 0.

Поскольку в паре &т номер столбца меньше или равен г, а с > г, то место (Ь,с) после т-го шага может быть либо свободно, либо занято символом " —". Из предположения индукции, неравенство »т(Ь, с) < 0 равносильно тому, что место (Ь, с) занято после т-го (символом " —").

Предположим, что место (Ь, с) свободно после т-го шага. Место (Ь, г) заполнено после -'-го шага, поскольку Ь > к. Из определения т, место (Ь, г) заполнено после т-го шага (одним из символов <8>, " +", "—"). Итак, после т-шага места (Ь, г) занято, а места (Ь, с) и (с, г) свободны. Это противоречит утверждению, что пт - подалгебра. Итак, (Ь, с) занято после т-го шага символом " —" и, поэтому, »т(Ь, с) < 0. Что доказывает »-(п) < 0.

Следствие 2.4: Если п е В-, то »у(п) > 0 для любого 1 ^ у ^ -'. Доказательство вытекает из включения В - с В у.

Обозначим через произведение в порядке убывания индекса (в смысле отношения >) отражений г& относительно корней & е S вида (а, г), где а > г. Построим систему подстановок

»[г] = ...»« (3)

Заметим, что »[г] совпадает с »-, если & - наименьший в смысле отношения > корень среди корней, лежащих в первых г столбцах. Пусть, как и выше, а® = тах{1 ^ с ^ п| (с, г) £ М). Предложение 2.5: Утверждается, что

1) »[г](п) > 0 для любого п = (Ь, г), а(г) < Ь ^ п.

2) н>[г](п) < 0 для любого п = (Ь, г), г < Ь ^ а(г).

Доказательство: Из определения а® прямоугольник (а®, п] X [1, г] в

диаграмме ©X заполнен символом •. Все места '%j, j ^ г, расположены выше этого прямоугольника. Отсюда вытекает утверждение пункта 1).

Доказательство пункта 2) проводится в каждом из следующих случаев отдельно.

I) г-ый столбец не содержит корней из S .В этом случае этот столбец весь заполнен символом " —". Получаем ж[г](п) = ж[г— 1](п) . Из предложения 2.3, получаем ж[г— 1](п) < 0.

п) Пусть (Ь, г) располагается выше всех корней из S, входящих в г-ый столбец. Тогда (Ь, г) отмечено символом " +" или символом " —". Из предложения 2.3, н-М(п) < 0.

Ш) (Ь, г) располагается ниже '•, наименьшего в смысле отношения > корня из г-го столбца или совпадает с ним. Если п = 'г, то

Ж[г](п) = П&д = —М>;—1(';) < 0.

Пусть = (к, г) и Ь > к. Тогда Г'.(Ь, г) = (Ь, к). Пусть 'т — наименьший корень из S, который больше или равен (Ь, г) в смысле отношения X Из пункта 5Ь (см. доказательство предложения 2.3) (Ь, к) заполнено символом " —" до или во время т-го шага. Следовательно, wm(Ь, к) < 0. Поскольку V (Ь, к) = (Ь, к) для любого т < р < г, то

н-М(п) = ж,.(п) = н>тГ|т+1 ... Г'.(Ь, г) = ^тг|т+1 ... Г'_1 (Ь, к) = Wm(Ь, к) < 0.

Предположим как и выше, что S = {'1 > ... > }. Напомним также, что (к, г) е S тогда и только тогда, когда место (к, г) заполнено на диаграмме ©X символом <8>.

Теорема 2.6: Утверждается, что ж = Г'1 Г|2 ••• Г|5. Доказательство: Согласно формуле (2)

ы

Докажем, что для любого 1 ^ г ^ п выполнено ж[п](г) = ж(г), используя индукцию по г. Для г = 1 утверждение очевидно. Предположим, что утверждение доказано для номеров меньших г. Докажем для номера г.

По определению, ж(г) есть наибольшее среди чисел отрезка [1, п] натурального ряда, не лежащих в подмножестве

Лг = М1),...,ж(г — 1)}и(а[г], п].

Из предположения индукции, w(j) = ж[п](У) для любого 1 ^ j ^ г — 1. Заметим, что ж[п](У) = поскольку Г'О') = j для всех ' е $, лежащих

в столбцах с номерами большими, чем г. Поэтому j) = для всех

1 ^ j ^ г — 1. Это дает возможность заменить в (3) ж на

Из определения а(г), прямоугольник (а(г), п] X [1, г] в диаграмме ©X заполнен символом •. Все места 'у, j ^ г, расположены выше этого прямоугольника. Поэтому для любого р е (а[г],п] имеет место ж[г](р) = р.

Множество Лг может быть представлено в виде

Лг = {»[г](1),..., -»[г](г — 1)) и ^(р^ а[г] < р < п).

Все элементы из отрезка [1, п] натурального ряда, не лежащие в Лг имеют вид »[г](к), где г ^ к ^ а(г).

Из пункта 2) предложения 2.5, »[г](г) > »[г](к) для любого г < к ^ а®. Следовательно, что »[г](г) есть наибольшее среди чисел отрезка [1, п] натурального ряда, не лежащих в подмножестве Лг. Заключаем, что »[г](г) = = »(г). Наконец, »[г](г) = »[п](г), так как г&(г) = г для всех & е 5, лежащих в столбцах с номерами большими, чем г. Окончательно, »[п](г) = »(г). Обозначим через А® множество п е А, имеющих вид (Ь, г) для некоторого Ь > г.

Теорема 2.7: Пусть п е А(г) тогда,

1) место п заполнено символом " —" тогда и только тогда, когда »[г— 1](п) < 0;

2) место п заполнено символом "•" тогда и только тогда, когда »[г](п) > 0;

3) место п заполнено символом " +" или символом <8> тогда и только тогда, когда »[г—1](п) > 0 и »[г](п) < 0.

Доказательство непосредственно вытекает из предложений 2.3 и 2.5.

3. Поле инвариантов

В этом параграфе будет сформулирована гипотеза о строении поля инвариантов коприсоединенного представления группы Ь.

По каждому элементу из & е 5 мы построим многочлен Р&. Пусть & = = &т = (к, г) е 5, где к > г. Обозначим через ^ подстановку »т = г& ... г&т.

Случай 1: »&(г) > г. Можно показать, что в этом случае (г) = к. Положим

№ = {1 < у < г: ъ&О) > »&(г)), I(&) =

Случай 2: »&(г) ^ г. Система /(&) определяется как в (3.1). Обозначим !*(§) = {1 ^ г ^ п : г > г, щ(г) < »&(г)),

I(&) = [»&(г), г] и !(&).

Можно показать, что в обоих случаях |!(&)| = |Д&)|.

Как и выше {у-у) — стандартный базис в п. По диаграмме ©х построим матрицу Фх, в которой на места {(-', у) е А \ М) ставятся соответствующие элементы {у-у) стандартного базиса; остальные места заполняются нулями. Например, для алгебры Ли Х из примера 1 получаем диаграмму ©х и матрицу Фх:

Í 0 0 0 0 0 0 0 )

+ У 21 0 0 0 0 0 0

+ + У 31 У32 0 0 0 0 0

<8> — — фх = У 41 У42 У43 0 0 0 0

• + + <8> 0 У52 У53 У54 0 0 0

• <8> + — 0 У62 У63 У64 У65 0 0

• • <8> <8> — — 1 0 0 У73 У74 У75 У76 0 )

Пусть X — переменная. Введем в рассмотрение характеристическую матрицу Ф£ - ХЕ. Всякий минор характеристической матрицы является многочленом от X с коэффициентами в S(X) = К[X*]. Пусть М|(Х) — минор характеристической матрицы с системой столбцов Д|) и системой строк /(|), и Р| — его старший коэффициент.

Гипотеза: Поле инвариантов коприсоединенного представления алгебры Ли X есть поле рациональных функций от Р|, | е S.

В примере 1 подмножество S состоит из пяти корней {|ь §2, |3, |4, |5}. Непосредственные вычисления показывают, что

= У41, Р|2 = У 62, Р|з = У73,

У52 У53 У54

P%A = У74У41 + У73У31, II JXT У62 У63 У64

0 У73 У74

Литература

[1] Кириллов,А.А. Лекции по методу орбит / А.Н.Кириллов. - Новосибирск: Научная книга, 2002. - 304 с.

[2] Кириллов, А.А. Унитарные представления нильпотентных групп Ли / А.А.Кириллов // УМН. - 1962. - Т. 17. - С. 57-110.

[3] Переломов, А.М. Интегрируемые системы классической механики и алгебры Ли / А.М. Переломов. - М.:Наука, 1990. - 240 с.

[4] Трофимов, В.В. Алгебра и геометрия интегрируемых гамильтоновых дифференциальных уравнений / В.В.Трофимов, А.Т.Фоменко. - М.: Факториал. - 1995. - 448 с.

[5] Рейман, А.Г. Интегрируемые системы / А.Г. Рейман, М.А. Семенов— тян—Шанский. - М.;-Ижевск: Институт компьютерных исследований, 2003. - 352 с.

[6] Kirillov, A.A. Two more variations on the triangular theme / А.А.Кириллов // Progress in Math. - 2003. - V. 213. - P. 243-258.

[7] Панов, А.Н. Коприсоединенные орбиты для группы UT(n, K) / А.Н. Панов, М.В. Игнатьев // Фундаментальная и прикладная математика. - 2007. - Т. 13. - №5. - C. 127-159.

[8] Панов, А.Н. Инволюции в 5п и ассоциированные коприсоединенные орбиты / А.Н.Панов// Записки научных семинаров ПОМИ. - 2007. -Т. 349. - С. 150-173.

[9] Панов, А.Н. Об индексе некоторых нильпотентных алгебр Ли / А.Н. Панов // Современная математика и ее приложения. - 2008. -Т. 60. - С. 123-131.

[10] Диксмье, Ж. Универсальные обертывающие алгебры / Ж. Диксмье. -М: Мир, 1978. - 407 с.

Поступила в редакцию 29/ VIII/2008; в окончательном варианте — 29/VIII/2008.

THE DIAGRAM METHOD IN A STUDY OF COADJOINT

ORBITS

© 2008 A.N.Panov2

In the paper to a Lie algebra of special type we correspond a diagram that gives a possibility to calculate index and maximal dimension of the coadjoint representation. We show that a placing of symbols in the diagram depends on the properties of associated permutation.

Keywords and phrases: Lie algebra, diagram method, diagram, coadjoint

represen tation.

Paper received 29/ VIII/2008.

Paper accepted 29/VIII/2008.

2Panov Alexander Nickolaevich (apanov@list.ru), Dept. of Algebra and Geometry, Samara State University, Samara, 443011, Russia.