CC BY
15
ЧЕБЫШЕВСКИЙ СБОРНИК
Том 16. Выпуск 4.
УДК 512.745.2
МАЛАЯ ГРУППА ВЕЙЛЯ И МНОГООБРАЗИЕ ВЫРОЖДЕННЫХ ОРИСФЕР*
В. С. Жгун (г. Москва)
Посвящено академику В. П. Платонову в честь его 75-летия
Аннотация
Пусть G — связная редуктивная группа, действующая на нормальном алгебраическом многообразии X. Мы исследуем эквивариантную геометрию кокасательного расслоения многообразия X и применяем полученные результаты для исследования малой группы Вейля. Цель настоящей статьи обобщить на случай квазипроективных многообразий результаты
Э. Б. Винберга [19], который построил рациональное накрытие Галуа T*Х для квазиаффинного X с помощью кокасательного расслоения к пространству так называемых общих орисфер. Как хорошо известно, пример многообразия флагов показывает, что эти результаты не могут быть обобщены дословно.
Мы развиваем идеи Д. А. Тимашева [18], который получил обобщение результатов Винберга для более общего класса многообразий, чем квазиаффинные многообразия, но более узкого чем квазипроективные.
Мы построим семейство орисфер меньшей размерности на X, которое мы назовем вырожденными орисферами, и многообразие Hor, параметризующее это семейство, которое, тем не менее, имеет ту же размерность, что и многообразие, параметризующее общие орисферы. Более того, в квазиаффинном случае наша конструкция показывает, что множество вырожденных орисфер совпадает с множеством общих орисфер.
Мы покажем, что для построенного семейства вырожденных орисфер существует G-эквивариантное симплектическое рациональное накрытие кокасательных расслоений T^or TX. Будет доказано, что конечное
расширение полей рациональных функций на этих многообразиях, соответствующее построенному накрытию, является расширением Галуа, а его группа Галуа изоморфна малой группе Вейля.
хРабота автора была частично поддержана следующими грантами РФФИ 15-01-02094 а, РФФИ 13-01-12402 офи-м2, работа над теоремой 6 была поддержана грантом РНФ 14-21-00052 от 11.08.14. Часть работы была выполнена в Лаборатории алгебраической геометрии и ее приложений при финансовой поддержке Правительства РФ в рамках реализации «Дорожной карты» Программы 5/100 Национального исследовательского университета «Высшая школа экономики».
МАЛАЯ ГРУППА ВЕЙЛЯ И МНОГООБРАЗИЕ ВЫРОЖДЕННЫХ ... 165
В качестве приложения этих результатов мы получим описание образа отображения моментов и нормализованного отображения моментов для TX, используя только геометрические методы. Последнее описание впервые появилось в работах Кнопа, тем не менее, его обоснование не является элементарным, поскольку в нем используются методы дифференциальных операторов.
Ключевые слова: Кокасательное расслоение, отображение моментов, орисферы, теорема о локальной структуре, малая группа Вейля.
Библиография: 21 название.
LITTLE WEYL GROUPS AND VARIETY OF DEGENERATE HOROSPHERES
V. S. Zhgoon (Moscow)
Abstract
Let G be a connected reductive group acting on an irreducible normal algebraic variety X. We study equivariant geometry of the cotangent vector bundle X, and we apply these results to study of a little Weyl group. The aim of this paper is to extend various results of E. B. Vinberg, who constructed a rational Galois cover of T*X of quasiaffine X by means of cotangent bundle to the so-called variety of generic horosheres. It is well-known that the example of a flag variety shows that these results could not be generalized directly.
We develop the results of D. A. Timashev [18], who obtained the generalizations of the results of Vinberg to the class of varieties wider than quasiaffine but smaller than quasiprojective.
We construct a family of horospheres of a smaller dimension in X which are called degenerate, and a variety Hor parameterizing this family, which has the same dimension as the variety parametrizing generic horosheres. Moreover in the quasiaffine case our construction shows that the familly of degenerate horosheres coincides with the familly of generic ones.
We show that for constructed family of horosheres there exists a rational G-equivariant symplectic Galois covering of cotangent vector bundles T*Hor T*X. It is proved that the extension of the fields of rational functions corresponding to this cover is a finite Galois extension with the Galois group isomorphic to the little Weyl group.
As an application we get the description of the image of the moment map of T*X and the image of the normalized moment map by means of purely geometric methods. The first description of the image of the normalized moment map was obtained by F. Knop, nevertheless his proof is non-elementary since it involves the methods of differential operators.
Keywords: Cotangent bundle, moment map, horosphere, local structure theorem, little Weyl group
Bibliography: 21 titles.
166
В. С. Жгун
1. Введение
Пусть G — связная редуктивная группа, действующая на нормальном алгебраическом многообразии X. Цель настоящей статьи обобщить на случай квазипроективных многообразий результат Э. Б. Винберга [19], который построил рациональное накрытие Галуа TX для квазиаффинного X с помощью кокаса-тельного расслоения к пространству общих орисфер.
Под орисферами мы понимаем орбиты всех максимальных унипотентных подгрупп G в X. Можно показать, что множество общих орисфер (то есть общих орбит максимальных унипотентных подгрупп в G) может быть снабжено структурой алгебраического многообразия. Группа Галуа этого рационального накрытия равна малой группе Вейля многообразия X. Этот результат не может быть непосредственно обобщен на случай произвольных многообразий, поскольку множество общих орисфер не подходит для этих целей, что легко видеть в случае, когда X является многообразием флагов.
Указанные результаты Э. Б. Винберга были обобщены Д. А. Тимашевым в [18] на некоторый более общий класс, чем квазиаффинные многообразия. Упомянутый класс многообразий, в частности, включает в себя обобщенные многообразия флагов (тем не менее он содержит не все орисферические многообразия).
В настоящей работе мы построим семейство вырожденных орисфер и многообразие Hor, которое их параметризует. Также мы построим рациональное накрытие TЦor —+ ТЦ для соответствующих кокасательных расслоений и покажем, что его группа Галуа является малой группой Вейля, опеределенной Ф. Кнопом [9].
Опишем структуру работы. В первой части мы напоминаем необходимые факты, связанные с так называемой теоремой о локаольной структуре. Во второй части, используя идеи Кнопа [12], с помощью клеток Бялиницкого-Биру-ля мы строим слоение вырожденных орисфер, такое, что образ конормального расслоения к этому слоению при отображении действия группы G плотен в ТЦ. В третьей части мы обобщаем конструкцию Винберга, которая связывает Т Ц и кокасательное расслоение к построенному семейству орисфер. Последняя часть посвящена доказательству того, что группа Галуа рационального накрытия ТЦor ТЦ равна малой группе Вейля W х. Мы также даем элементарное
описание образа нормализованного отображения моментов.
Автор благодарен Д. А. Тимашеву за плодотворное сотрудничество, а также
Э. Б. Винбергу, М. Бриону и Ф. Кнопу за полезные обсуждения.
2. Соглашения и обозначения
Все многообразия рассматриваются над алгебраически замкнутым полем K характеристики нуль.
МАЛАЯ ГРУППА ВЕЙЛЯ И МНОГООБРАЗИЕ ВЫРОЖДЕННЫХ ... 167
Готическими буквами мы обозначаем алгебры Ли, соответствующие алгебраические группы обозначаются заглавными латинскими буквами.
Зафиксируем G-инвариантную билинейную симметрическую форму на 0, с помощью которой мы отождествим g и 0*. Для коприсоединенного действия G : g* и подпространства h С 0 через h± обозначим аннулятор h в g*.
Зафиксируем борелевскую подгруппу B С G и максимальны тор T С B. Пусть B- — единственная борелевская подгруппа в G, такая что B- П B = T. Через P D B обозначим параболическую подгруппу, а через Pu — ее унипотентный радикал. Через P- D B- оборзначим параболическую подгруппу (с унипотентным радикалом P-) противоположную к P.
Пусть £ = £(T) — решетка характеров тора T и пусть Л = Л(Т) — решетка однопараметрических подгрупп T. Для однопараметрической подгруппы А: K* ^ T и характера у £ £ имеет место спаривание (А,х), определенное по формуле x(A(t)) = t^x,x'), отождествляющее Л и £*. Для группового закона в Л и £ мы используем аддитивную запись. Для х £ £ мы обозначаем соответствующий дифференциал в t* той же буквой.
Обозначим через W = NG(T)/T группу Вейля группы G. Пусть А — система корней алгебры Ли g, соответствующая тору T, и пусть А+(А-) системы положительных (отрицательных) корней отвечающие борелевской подалгебре b С g. Через П мы обозначим систему простых корней в А+. Также имеет место корневое разложение g = t ф 0 ga. Для а £ А через ea £ ga обозначим
а€Д
соответствующую образующую базиса Шевалле, а через sa — соответствующее отражение. w0 £ W обозначает самый длинный элемент в группе Вейля. Через t*/W мы обозначаем геометрический фактор t* по W. Для параболической подгруппы P D B обозначим через L ее подгруппу Леви, содержащую T. Тогда BL = L П B будет борелевской подгруппой в L. Пусть АL С А и А+ С АL — соответствующие системы корней для L а также положительные и отрицательные корни. Подмножество простых корней в А+ обозначим через Щ. Через Cl С £ ®z Q обозначим доминантную камеру Вейля по отношению к системе корней А+. CL обозначает внутренность Cl . Для параболической подгруппы P (соответственно для ее алгебры Ли р) содержащей T (соот. t) обозначим через Ари (соот. Ари) подмножество корней в А, отвечающее корневому разложению Pu.
Пусть Vx — простой G-модуль со старшим весом х и пусть VX* — двойственный ему модуль. Старший вектор Vx обозначим через ax а младший вектор в V£ обозначим а- , (v, w) — спаривание для v £ Vx и w £ V*. Wt(VX) обозначает множество весов действия T на Vx.
Для алгебраической группы H, операция (-)(H^ обозначает взятие H-полуинвариантов а через (—)Н мы обозначим подмножество H-полуинвариантов веса х.
Пусть G D H — линейные алгебраические группы, а Z — квазипроективное H-многообразие. Существует квазипроективное G-многообразие G*hZ, которое
168
В. С. Жгун
является фактором G х Z по диагональному действию H: (g,z) М (gh-1 ,hz). Образ точки (g, z) в этом факторе обозначим g * z.
Для действия алгебраической группы G на X, £x обозначает вектор скорости для £ £ g в точке x £ X, gx — соответственно касательное пространство к орбите Gx в точке х, а Gx — стабилизатор х. Для аффинного X, для конечно порожденной алгебры K[X]G G-инвариантных регулярных функций на X через X//G обозначим категорный фактор X, изоморфный Spec K[X]G. В гладких точках X, мы можем определить отображение моментов цх : TX —> 0* (где Т* — кокасательное расслоение к X) посредством следующей формулы:
(д>х(а),0 = (a,£x), Wx £ X, а £ Тх,х, £ £ 0-
Напомним, что для однородного многообразия X = G/H кокасательное расслоение TX* может быть описано как
Т* = G *н (g/h)* = G *н
В этом случае образ отображения моментов слоя над точкой eH индуцировано включением h± М g*, а весь образ отображения моментов равен Gh±.
3. Теорема о локальной структуре
Рассмотрим нормальное G-многообразие X и B-инвариантный дивизор Вейля D = aiDi, где Di — неприводимые компоненты. Назовем для краткости
D B-дивизором. Обозначим через P[D£] — нормализатор Di в G. Нормализатор B-дивизора D определяется как пересечение нормализаторов его простых компонент и равен параболической подгруппе P[D] = Р| a=0 P[Di] группы G. Поскольку число параболических подгрупп содержащих B конечно, сушеству-ет единственный B-дивизор для которого P [D] абсолютно минимальна. Эту подгруппу обозначим через P (X). Нам понадобится следующая лемма.
Лемма 1. ([11, Лемма 2.2]) Пусть X — нормальное G-многообраие, а D £ X — простой дивизор. Тогда D является дивизором Картье вне множества Y = П gD.
g£G
В дальнейшем в качестве D мы возьмем B-инвариантный, но не G-инвариантный дивизор. Таким образом, Y будет строго включено в D, и рассматривая X \ Y вместо X, мы можем считать, что D — дивизор Картье.
Заменяя дивизор Картье D на подходящий кратный ему дивизор nD, мы можем считать, что D обладает G-линеаризацией ([8]), и в частности, B-линеаризацией. Любые две G-линеаризации отличаются на характер G, выберем одну из них.
Для дивизора nD рассмотрим соответствующее B-полуинвариатное тавтологическое рациональное сечение anD ассоциированного линейного расслоения O(nD) веса xnD. Обозначимим xd := XnD/n.
МАЛАЯ ГРУППА ВЕЙЛЯ И МНОГООБРАЗИЕ ВЫРОЖДЕННЫХ ... 169
Определение 1. ([11]) Рассмотрим B-дивизор D веса xd■ Вес xd назовем P[0]-регулярнъм,, если (xd,а) = 0 для всех а Е AP{D]u.
Замечание 1. Напомним, что (xd,а) = 0 для всех а Е Al[D], где L[D] Е С P[D] — подгруппа Леви содержащая T. Заметим также, что вес эффективного дивизора D со стабилизатором P[D] автоматически P[D^-регулярен. Это следствие теории представлений со старшим весом, примененной к B-полуинвариантному сечению -D Е H°(X, O(D))XBI(, которое является старшим вектором..
Напомним определение невырожденных многообразий по Кнопу [11]:
Определение 2. G-многообразие X называется невырожденным., если существует рациональная B-полуинвариантная функция fx Е K(X)B с дивизором нулей-полюсов D = (fx) с P(X)-регулярным весом х.
Замечание 2. Заметим, что квазиаффинные многообразия являются регулярными.
Для B-дивизора D, рассмотрим следующее P ^]-эквивариантное отображение ([11]):
Фd : X \ D —> 0*, x ^ lx, где ф(() = (х).
-D
Напомним версию теоремы о локальной структуре, принадлежащую Кнопу.
Теорема 1. ([11, Thm. 2.3, Prop. 2.4]) Пусть X — нормальное G-многообразие с B-дивизором D с P[D^-регулярным весом xD. Для точки х0 Е X \ D положим По := ФD(хо), L := Gno и Z := ф—1(щ)- Тогда:
(i) Образ фD состоит из одной P[0)-орбиты и равен щ + p[D]u, где ограничение линейной (функции р0 на p[D] равно xD.
(ii) L — подгруппа Леви в P[D] и имеет место изоморфизм
P[D] *L Z —► X \ D.
(iii) Предположим, что выполнено равенство P[D] = P(X). Тогда ядро действия L на Z, которое мы обозначим L0, содержит коммутант [L,L].
Для простоты обозначим P(X) через P. Заметим, что в теореме точка х0 может быть выбрана, таким образом, что L D T, зафиксируем такой выбор.
В условии Теоремы 1 (iii), мы видим, что тор A := L/L0 = P/L0Pu действует эффективно на Z (Группу L0Pu мы обозначим через P0). Из равенств K(X)(B) = = K(Z)(BP = K(Z)(L) мы можем отождествить 2(A) с группой характеров
S(X) = {х | K(X)<« = 0}.
Заметим, что в качестве следствия теоремы о локально структуре, мы получим, что общие P0-орбиты совпадают с общими Pu-орбитами.
170
В. С. Жгун
4. Семейства вырожденных орисфер
В этой части мы построим семейство вырожденных орисфер.
Напомним, что под орисферами мы понимаем орбиты максимальных унипотентных подгрупп группы G.
Мы покажем, что для конормального расслоения NX к некоторому слоению U-орбит (для некоторой максимальной унипотентной группы U) построенному ниже, имеет место равенство GNX = TX.
Наша конструкция основана на идеях Кнопа [12]. Основная идея заключается в построении клетки Бялиницкого-Бируля с помощью специального выбора однопараметрической подгруппы.
Этот выбор позволяет избежать использование компактификаций подобных тем, что были использованы в цитируемой статье Кнопа. Наша конструкция также дает более глубокое и детальное понимание устройства конормального расслоения к вырожденным орисферам.
Основным этапом является исследование частного случая орисферических многообразий.
Напомним, что многообразие назыввается орисферическим, если стабилизатор точки общего положения содержит максимальную унипотентную группу.
Исследование случая общего многообразия X обычно сводится к случаю орисферического многообразия посредством орисферического стягивания, определение и доказательство существования которого приведено в работе В. Л. Попова (см. [16]).
В орисферическом многообразии X можно найти G-инвариантное открытое подмножество изоморфное G/P- х C, где G действует на C тривиально и P- = L0P-. Построив многообразие вырожденных орисфер для X = G/P-, мы продолжим его на орисферическое многообразие X посредством умножения на многообразие C. Введем следующие дополнительные обозначения M := Zg(0) и Mo := [M,M]Z(Lо).
Предложение 1. Пусть X = G/P- — орисферическое однородное пространство. Рассмотрим борелевскую подгруппу B С G, такую что ее алгебра b содержит разрешимую подалгебру a + (p- П m). Обозначим через U унипо-т,ент,ный радикал B. Пусть NX — конормальное расслоение к орбите UP-/P-, тогда имеем GNX = TX.
Доказательство. Кокасательное расслоение TX отождествляется с
G *p0- P-^ - G *p0- (a + P-)-
Слоем конормального расслоения к орбите UP-/P- в точке eP- будет
(u + P-)X = П P-± = b П (a + p-) D a + (p- П m).
Нам понадобится следующая лемма.
МАЛАЯ ГРУППА ВЕЙЛЯ И МНОГООБРАЗИЕ ВЫРОЖДЕННЫХ ... 171
Лемма 2. Пусть P — некоторая параболическая подгруппа в G а L — подгруппа Леви в P. Тогда для подалгебры а С з(!) имеем
Pu (а + (pu П m)) = а + p„.
Доказательство. Мы покажем, что отображение
Pu х (а + (pu П m)) ^ а + pu
доминантно, показав,что дифференциал в точке (e, £) сюръективен, для общего £ £ а. Вычислим дифференциал в (e,£). Используя равенство
pu (pu П 3g(£)) ф [pи, £],
выполненное для любого £ £ а, и равенство pu П з0(£) = pu П m, выполненное для общего £ £ а, мы получим, что дифференциал
pu х (а + (pu П m)) ^ [pu, £] + а + (pu П m) = а + pu
сюръективен. □
Группа P- действует на слое TX над x0 = eP-, поскольку она лежит в стабилизаторе точки x0. По предыдущей лемме получаем
P-NX ,x0 ^ + (p- П m)) = а + p- = TX,xo.
Откуда
GNX = G(TXx„) = TX.
□
Нам понадобится следующая элементарная лемма.
Лемма 3. Рассмотрим X/S и Y/S — два семейства равноразмерных многообразий над некоторым многообразием S, а также S-морфизм f: X/S ^ ^ Y/S. Предположим, что существуют гладкие точки s0 £ S и x0 £ Xs0, такие что многообразия X, Xs0 гладкие в x0 £ Xs0, а многообразия Y, Ys0 гладкие в f (x0), отображение fs0: Xs0 ^ Ys0 является субмерсией в x0 (то
есть отображение касательных пространств dfs0: TXso,x0 ^ Tya0,f (x0) — сюръективно), а проекции X ^ S, Y ^ S субмерсивны в x0 и fs0(x0). Тогда морфизм fs: Xs ^ Ys является субмерсией (и в частности, доминантен) в общей точке Xs для достаточно общего s.
Напомним следующее важное предложение о присоединенных орбитах. Для его формулировки мы воспользуемся обозначениями не связанными с остальным текстом статьи.
172
В. С. Жгун
Предложение 2. [4, Sec. 5.1, 5.5] Рассмотрим произвольную параболическую подгруппу P в G, с подгруппой Леви L и унипотентном радикалом Pu. Пусть O\ — нильпотентная присоединенная орбита L в I. Пусть x Е Д[) — произвольный элемент центра I. Тогда существует единственная G-орбита Og пересекающая x + Ot + pu по открытому плотному подмножеству. Пересечение OgП(x+Ot+pu) составляет одну P-орбиту. Выполнено следующее равенство codimgOg = codimOt. Также для точки общего положения z Е x + O[ + pu стабилизатор z в p- тривиален, а подпространство [p-,z] транстверсально к [t, z] + pu. Для неприводимых компонент стабилизаторов выполнено равенство
(Pz)° = (Gz)° .
Теперь перейдем к случаю, когда X — произвольное G-многообразие. Мы должны построить семейство U-орбит для некоторой максимальной унипотентной подгруппы U, такое что G-разнесение конормального расслоения к этомй слоению плотно в TX.
Теорема 2. Пусть X — гладкое G-многообразие. Рассмотрим открытое подмножество X° = P *L Z, полученное с помощью применеия теоремы о локальной структуре 1 к некоторому B-дивизору со стабилизатором равным параболической подгруппе P := P(X). Тогда существует максимальная унипотентная подгруппа U со следующими свойствами:
(i) Для любого z Е Z имеем Uz = (U П U)z.
(ii) Пусть NX — конормальное расслоение к слоению орбит Uz, где z Е Z.
Тогда имеем GNX = TX.
Доказательство.
Наша цель построить клетку Бялиницкого-Бируля, адаптированую к однопараметрической подгруппе А Е A(Z(L°)). Для этого выберем А специальным образом. Вспомним, что p П m° — параболическая подалгебра m° с подалгеброй Леви t° и нильпотентным радикалом pu П m.
Выберем однопараметрическую подгруппу А: Kx ^T так что A(t) Е ZMo (L°) и (А, у) < 0 для всех у Е Ap^nm. __
Рассмотрим следующие группы. Пусть M := Zg(A), ее система корней равна Am = {Y Е A|(y; А) = 0}. Группа M является подгруппой Леви в
Q := {д Е GI сеществует предел lim А(б)дА(б)-1 в G},
t^°
с алгеброй Ли
q = t Ф ga-
{a,X)Z°
Унипотентный радикал Q и его алгебра Ли могут быть описаны как:
Qu = {д Е GI tinrЩдЩ-1 = e}, qu = 0 ga-
{a,X)>°
МАЛАЯ ГРУППА ВЕЙЛЯ И МНОГООБРАЗИЕ ВЫРОЖДЕННЫХ ... 173
В частности, имеем очевидные включения: M D L и qu D p- П m.
Зафиксируем открытое P-инвариантное подмножество X° = P Z в X, построенное с помощью теоремы о локальной структуре 1, примененной к некоторому эффективному B-дивизору со стабилизатором равным параболической подгруппе Р := Р(X). Вспомним, что Lo дейтствует на Z тривиально. Рассмотрим следующее открытое подмножество клетки Бялиницкого-Бируля:
Z\ := {x £ X| lim\(t)x £ Z}. t^o
Оно корректно определено, поскольку A(t) оставляет точки Z неподвижными. Определим отображение ф по формуле:
ф: Z\ ^ Z, ф(х) = lim X(t)x.
t^o
Покажем, что Z\ С X°. Действительно если limt^0 \(t)x = z £ Z, то A-орбита точки x пересекает X°, а это множество является открытой инвариантной окрестностью z, и тем самым оно содержит все A-орбиту точки x.
Лемма 4. Для x £ Z\, q £ Qu и m £ M имеем следующие равенства: ф(qx) = ф(x) and ф(mx) = тф(x).
ДОКАЗАТЕЛЬСТВО. Действительно для q £ Qu по определению
lim A(t)qA(t)-1 = e.
t^o
Таким образом,
ф(qx) = lim A(t)qA(t) ■ lim A(t)x = lim A(t)x = фЫ),
t o t o t o
ф(mx) = lim A(t)mx = m lim A(t)x = фЫ).
t^o t^o
□
Предложение 3. Для z £ Z имеем ф 1(z) = (PuПQu)z и Z\ = (Pu ПQu)Z.
ДОКАЗАТЕЛЬСТВО. Как было замечено ранее Z\ С X°. Запишем действие A на точке x £ X°, которую представим в виде x = puz, где pu £ Pu и z £ Z. Поскольку действие A тривиально на Z имеем
lim A(t)(puz) = lim A(t)puA(t)-1z.
t^o t^o
Принимая во внимание то, что A(t)puA(t)-1 £ Pu и тот факт, что действие Pu свободно на X° получаем, что предел
lim A(t)puA(t)-1 z
t^o
174
В. С. Жгун
существует если и только если существует предел limt^0 А(t)puA(t) 1. Откуда Pu £ Q.
Покажем, что pu £ Qu. Используя разложение Леви Q = M к Qu получаем разложение Pu П Q = Pu П M к Pu П Qu, и в частности pu = mqu для m £ Pu П M и qu £ Pu П Qu. Откуда
lim A(t)(puz) = m lim A(t)(quz) = mz.
t^o t^o
Таким образом, включение mz £ Z выполнено если и только если m = e, поскольку m £ Pu и X° = Pu х Z. Это дает необходимое включение pu £ Qu и завершает доказательство. □
Рассмотрим Qu-орбиты точек из Z. Покажем, что эти орбиты содержатся в открытом подмножестве X°.
Лемма 5. Для z £ Z имеем (Pu П Qu)z = Quz.
Доказательство. По лемме 4 и предложению 3 имеем
Quz ^ V-1(z) = (Pu П Qu)z■
Откуда следует лемма. □
Определим теперь группу U. Рассмотрим группу Uм = U П M. Положим U := Uм к Qu £ Q. Будучи прообразом максимальной унипотентной группы в M при морфизме Q ^ Q/Qu = M, группа U также является максимальной унипотентной в G.
Рассмотрим семейство орбит Uz для z £ Z. Из леммы 5 мы получим, что Uz = Uм(Quz) = Uм(Qu П Pu)z £ Puz. Откуда в частности орбиты Uz содержатся в X°, а также Uz1 = Uz2 для z1 = z2 (поскольку Puz1 П Puz2 = 0).
Лемма 6. Орбита Uz of z £ Z нормализуется группой
S := (Lo к (M П Pu)) к Qu £ Q.
Доказательство. Достаточно показать, что L0 нормализует Uz. Но это следствие следующей цепочки равенств
LoUz = Lo(M П Pu)Quz = (M П Pu)QuLoz = Uz, где мы использовали, что Lo £ Gz. □
Теперь мы готовы доказать часть (ii) теоремы 2. Мы приведем доказательство основанное на вычислении отображения моментов, созвучное с доказательством Кнопа [11]. Напомним определение конормального расслоения к слоению U-орбит:
NX = -к £ I x £ UZ, (йх.о = 0}.
Наша цель вычислить образ ЯX при отображении моментов /а х. Поскольку S нормализует орбиты Uz (для z £ Z), имеем
NX = {С £ TX1 x £ UZ> (sx,0 = 0}>
ах(Ях) £ = а + (pu П m) + qu 0 а + (p- П m).
МАЛАЯ ГРУППА ВЕЙЛЯ И МНОГООБРАЗИЕ ВЫРОЖДЕННЫХ ... 175
Замечание 3. По построению q имеем включение qu D (pM П m) а также равенство а + (p“ П m) = а + (pu П m + qu) П m.
Обозначим Р := Ng(S). Имеем pu = pu П m + qu. Следующее предложение дает информацию об образе рх (NX z).
Предложение 4. Пусть NXz — слой NX над точкой z Е Z. Рассмотрим T-эквивариантную проекцию а + pu на подпространство а + qu П р“ со слоями параллельными подпространству q П pu. Тогда образ рх(NXz) при этой проекции равен а + qu П p“.
Доказательство. Рассмотрим T-эквивариантное разложение
0 = а + (qu П p« + qu П pu) + 00,
где 0О — ортогонально остальным слагаемым. Ограниечение спаривания на qu П p“ + qu_ П pu невырождено, а подпространства qu П p“, qu_ П pu являются изотропными. Более того q Пpu С 0О, и элементы а + (qu Пp“) отождествляются с линейными функциями на а + (qu_ П pu). Из включения
Tx,z D Uz 0 (а + qu“ П pu)z = (q П pu)z 0 (а + qu“ П pu)z,
мы видим, что любая линейная функция п на а + (qu_ П pu) может быть поднята до элемента £ Е TXz обращающего в нуль на (q П pu)z = Uz. Тем самым мы нашли £ Е NX z, такой что проекция рх(£) на а + quПp“ равна п, что доказывает предложение. □
Замечание 4. Рассмотрим некоторую точку z Е Z. Однопараметрическая группа X действует на TX,z поскольку X стабилизирует z. В доказательстве предложения 4 мы построили подпространство Vz С NX z, такое что рх (Vz) изоморфно отображается в а + qu П p“ при T-эквивариантной проекции. Заметим, что разложение
TX,z = (q П pu)z 0 (а + qu П pu)z 0 R
может быть выбрано X-эквивариантным. Что показывает,, что Vz можно выбрать X-инвариантным.
Предложение 5. Имеем следующее равенство
Рх (NX) = а + pu = а + pu П m + qu-
Доказательство. Посколкьку P нормализует слоение U-орбит оно также нормализует и NX. Таким образом, чтобы доказать предложение достаточно показать, что Ррх (NXz) плотно в 5х = а + pu. Для этого воспользуемся следующей леммой.
176
В. С. Жгун
Лемма 7. Рассмотрим действие Pu П Q на а + pu. Пусть £ Е a + pu — точка общего положения. Тогда стабилизатор £ в Pu П Q тривиален. Более того, если £ Е apr + pu П q, то (Pu П Q)£ = £ + pu П q.
Доказательство. Первое утверждение легко следует из второго. Возьмем £ Е apr. Имеем включение (Pu П Q)£ Е £ + pu П q (оно следует из равенства Pu П Q = exp(pu П q) и включения [£,pu П q] С pu П q ). Из pu П з0(£) = pu П m С q-получим, что стабилизатор £ в PuПQ тривиален и имеет место равенство [£, p^ Пф] = pu П q. Откуда получаем, что касательное пространство к орбите (Pu П Q)£ в точке £ равно pu П q. Таким образом, (Pu П Q)£ плотно в £ + pu П q. Поскольку любая орбита унипотентной группы в аффинном многообразии замкнута имеем (Pu П Q)£ = £ + pu П q. □
По предложению 4, существует £ = £0 + £+ Е pX(NXz), где £0 Е apr и £+ Е
Е pu П q. Из леммы 7 следует, что стабилизатор £ в pu П q тривиален и [pu П q, £] = = pu П q. Поскольку проекция pX (NX z) на подпространство a + p- П qu сюръек-тина, получаем pX (NX z) + pu П q = sx. Вычисляя дифференциал отображения (Pu П Q) х рх (NXz) ^ (Pu П Q)px(NXz) в точке £ получаем
(pu П q) х Рх (NX,z) ^ [pu П q£] + Рх (NX,z) = s±-
Откуда (Pu П Q)pX (NX z) плотно дф что доказывает предложение. □
Теорема 2 (ii) теперь следует из следующего предложения.
Предложение 6. Подмножество PUN£ плотно TX.
Доказательство. Рассматривая дифференциал отображения Pu xNX ^ ^ Pu NX мы видим, что достаточно показать, что для некоторого а Е NX касательное пространство к TX в точке а равно сумме подпространство p-а и касательного пространства к NX. Возьмем а, такое что £ = pX(а) Е a+pu достаточно общая точка. Из предложения 2 следует, что dpX отображается изоморфно p-а на [p— ,£] = p—, а также то, что [p- ,£] трансверсально a + pu = pX(NX) в точке £. Откуда p-а трансверсально NX в точке а. Из трансверсальности p-а и NX и равенства codim^NX = dim Pu = dim Pu следует наше предложение. □ Доказательство предложения завершает доказательство теоремы 2. □
Следующий результат Кнопа является следствием теоремы 2.
Следствие 1. ([9], Thm. 5.4) Замыкание образа отображения моментов может быть описано как pX(TX) = G(a + pu) = G(a + p-).
Доказательство. Имеем pX(TX) = GpX(NX) = G(a + pu). Равенство G(a + pu) = G(a + p-) следует из леммы 2 и равенства (pu П m) = (p- П m). □
Следующая теорема описывает нормализатор U-орбит из семейства, параметризованного Z.
МАЛАЯ ГРУППА ВЕЙЛЯ И МНОГООБРАЗИЕ ВЫРОЖДЕННЫХ ... 177
Теорема 3. Нормализатор орбиты Uz для z Е Z равен S. Равенство gUz = UZ для некоторых z,z' Е Z выполнены g Е P (где P = NG(S)). Отображение G *р NX — TX доминантно и конечно в общей точке.
Доказательство. Мы докажем теорему только для точек общего положения в Z (полное доказательство см. [21]).
Для z Е Z пусть У — нормализатор Uz. Группа Ng(S) — параболическая подгруппа в G, поскольку она также содержит Ng(U) = B, которая является борелевской подгруппой, содержащей U; в частности T С NG(S). Так как Z П Uz = z, имеем NG(S) П T = Tz = L0 П T. Поскольку число орисферических подгрупп, нормализуемых T и таких, что S П T = T0 конечно, для общей точки Z нормализатор Uz равен некоторой фиксированной орисферической подгруппе '. ^
Далее можно определить нормализатор P семейства орбит Uz, где z Е Z', то есть группу, состоящую из p Е р, такую что для zi Е Z1 существует z2 Е Z1, такое что pUz1 = Uz2.
Поскольку P нормализует семейство орбит Uz, она также нормализует ко-нормальное расслоение к этому слоению NX. Таким образом, отображение
G *р NX — GNX С T XX
корректно определено и доминантно. Произведем вычисление размерностей: dim NX = dim Z + dim Uz + codimX Uz = dim TX — dim Pu
dim P X dim P = dim L + dim Pu П M + dim Qu = dim P dim G *p NX = dim G/P + dim NX ^ dim TX.
Интересующее нас отображение может быть доминантно только если
dim G *p NX = dim T*X,
что происходит только если P = P, а отображение G NX — TX конечно
в общей точке. □
5. Орисферическое кокасательное расслоение
В этой части мы определим многообразие вырожденных орисфер Hor. Нашей целью будет показать, что конормальное расслоение с семейству вырожденных орисфер бирационально отображается в Hor. Это обобщение теоремы, доказанной Винбергом в [19, Sec. 5, Thm. 3].
Рассмотрим G-разнесение орисфер из слоения, построенного в теореме 2. По теореме 3 мы можем отождествить это множество с многообразием
Hor := G Z,
178
В. С. Жгун
где P действует на Z посредством фактора A = P/P0. Поскольку dim P = = dim P имеем dim Hor = dim X. Определим следующее многообразие инцидентности:
U := {(x, [H]) е X х Hor\ x е H}.
Заметим, что точка общего положения в X содержится в некоторой орисфе-ре [H] е Hor (поскольку GZ плотно в X). Таким образом, проекция pX : U A X доминантна. Многообразие U может быть отождествлено с подмногообразием G U0 в G (X х Z) (здесь P действует диагонально на X х Z посредством
стандартного действия на X и действием фактора P/S на Z), где
U0 = {(x,z) е X х Z\ x е Uz}.
Заметим, что Z вкладывается в качестве диагонали в U0.
Для этого многообразия инцидентности, следуя Винбергу, можно определить конормальное расслоение, обозначенное HTX (подробное изложение можно найти в [19, Sec. 4], [18, Sec. 2]).
Многообразие HTX можно отождествить с многообразием троек (x,C, [H]), таких что
x eH, С е TX,x, С = 0 on TH,X.
Из теоремы 3 мы также находим, что HTX отождествляется с G NX.
Рассмотрим следующую коммутативную диаграмму:
rpx Р X ZJHPX rji x
1 X ^ niX ^ 1 Hor
X+A^ Hor
Теорема 3 может быть переформулирована в следующем виде:
Теорема 4. Морфизм HTX —A TX является доминантным и конечным в общей точке.
Мы готовы теперь доказать следующее обобщение результата Винберга [19, Thm. 3].
Теорема 5. Морфизм HTX —A TXor является бирафциональнъш.
Доказательство. Поскольку TXor — векторное расслоение над Hor, а HTX отображается доминантно на Hor достаточно доказать бирациональность морфизма послойно. Пусть [H] е Hor, тогда слой HTX над [H] отождествляется с NX/н — конормальным расслоением к H С X. Мы покажем, что образ NX/h при морфизме Рног содержит открытое подмножество в TXor н]. Поскольку все интересующие нас отображения G-эквивариантны можно считать, что [H] е Z, то есть H = (Pu П Q)x для некоторой точки x е Z. Заметим, что действие
МАЛАЯ ГРУППА ВЕЙЛЯ И МНОГООБРАЗИЕ ВЫРОЖДЕННЫХ ... 179
Pu П Q на NX/h — свободно, а слой NXx конормального расслоения к H в некоторой точке х £ H определяет сечение этого действия. Без ограничения общности можно уменьшить Z и получить подмножество изоморфное A х C, то есть мы можем считать, что x £ C. Согласно [19, Sec. 4] морфизм p'u.or отображает слой NX,x изоморфно на подпространство NXor/norx [u] £ T^or щ, где Horx = рхХ(х) — множество орисфер, содержащих х, а NXor/uorx [щ — слой над [H] конормального расслоения к Horx в многообразии Hor. Поскольку проекции Puor и pX обе сюръективны и размерность общего слоя puor равна dim(pu П q), имеем dimHorx = dim(pu П q). Из вышесказанного очевидно, что бирациональность морфизма p>uor следует из следующего предложения:
Предложение 7. Действие Pu П Q на T^cr щ свободно для точки общего положения. Подпространство NXor/Horx щ пересекает общую Pu П Q-орбиту и3 ТПor, [H] трансверсально в единственной точке.
Замечание 5. Действие Pu П Q на T^or щ определено, поскольку Pu П Q оставляет на месте [H].
Доказательство. Заметим, что касательное пространство Тщ^щ] отождествляется с g/s ф TC,x, а слой кокасательного расслоения Т^or щ изоморфен
S± ф TC,x — (а + pu П m + qu) ф TC,x■
Из этого описания мы видим, что наш вопрос сводится к исследованию Pu П Q-орбит в вФ Лемма 7 завершает доказательство первой части предложения.
Рассмотрим подмногообразие Hortr := (Pu П Qu ) х Z в многообразии орисфер Hor. Это подмногообразие параметризует семейство орисфер U\uortr = = p—w (Hortr), которое отображается изоморфно на X0 под действием pX. Действительно, этот образ состоит из сдвигов орбит вида (Pu П Q)z для z £ Z на элементы из Pu П Qu . Более того, поскольку действие Pu свободно, имеем равенство (Pu П Qu )(Pu П Q) = Pu (см. [7, Prop. 28.7]), из которого следует, что образы орбит при таких сдвигах не пересекаются. Следовательно это семейство отображается изоморфно на открытое подмножество (Pu П Qu )(Pu П Q)Z = PuZ = X°. Из того, что Z вкладывется диагонально в U £ G (X х Z), мы получаем, что
p-or (Hortr) = PuZ.
Лемма 8. Для х £ Z подмногообразия Hortr и Horx в многообразии Hor пересекаются трансверсально в точке H, соответствующей орисфере Ux. В точке H £ Hor имеем следующее равенство:
THor,[H] = THorx,[H] ф THortr,[u]■ (*)
180
В. С. Жгун
Доказательство. Заметим, что многообразия X, Hor, U можно считать гладкими, а морфизмы px ,Риог субмерсивными. Также заметим, что орисферы параметризованные Hortr друг друга не пересекают и покрывают открытое подмножество X°. Отсюда получаем, что p—0r (Hortr) отображается изоморфно на X° при проекции px. Поскольку px субмерсивен, p-1^ (Hortr) также пересекает слой Horx = pX1(x) для точки x Е X° трансверсально в точности по единственной точке. Поскольку каждый слой Horx отображается инъективно в Hor посредством рн0Г, получаем трансверсальность Hortr и Horx в точке Hor. Многообразия 'p—0r (Hortr) и Horx имеют дополнительные размерности в U, таким образом, Hortr и Horx имеют дополнительные размерности в Hor, что влечет (*). □
Лемма 9. Tnortr,[н] канонически отождествляется с pu П q— ф Tz,x С g/s ф Tc,x а слой конормального расслоения N^or/Uortr щ отождествляется с
pu П q С ф Tc,x-
Доказательство. Первое утверждение очевидно. Поскольку T^ortrщ — pu П q— ф Tz,x С g/s ф Tcx, векторное пространство N/or/Hortrщ отождествляется с подпространством pu П q С 5х, которое состоит из линейных функций на g/5 обращающихся в нуль на pu П q—. □
Двойственное равенство к (*) дает:
TH.or,[H] = NHor/Horx,[H] ф NHor/Hortr,[H] = NHor/Horx,[H] ф (pu П q)- (**)
Доказательство теоремы 5 будет завершено после доказательства следующего предложения.
Предложение 8. Пересечение N/or/Horx щ и общей Pu П Q-орбитой из 5х ф T/x состоит из одной точки.
Доказательство.
Мы опустим доказательство этого предложения поскольку оно стандартно, но несколько технично. В нем используется экспоненциальное отображение и исследуются веса тора T. Полное доказательство читатель найдет в [21]. □
Для дальнейшего нам понадобится следующее следствие предложения 8, которое также можно найти в [21].
Предложение 9. Пусть NXz — слой конормального расслоения к слоению вырожденных орисфер в точке z Е Z и пусть Vz С NX z — \-инвариантное подпространство, такое что pX(Vz) отображается изоморфно на а + р— П qu при T-эквивариантной проекции на это подпространство. Тогда пересечение pX(Vz) и общей орбиты Pu П Q-из 5х состоит из одной точки.
Теорема 5 доказана. □
МАЛАЯ ГРУППА ВЕЙЛЯ И МНОГООБРАЗИЕ ВЫРОЖДЕННЫХ ... 181
6. Малая группа Вейля
Согласно теореме 3 морфизм G *рNX М TX является доминантным и конечным в общей точке, на самом деле он также является рациональным накрытием Галуа, что будет показано в теореме 6. Наша цель показать, что группа Галуа этого накорытия является малой группой Вейля многообразия X, которая была введена Кнопом в [9].
Рассмотрим следующую коммутативную диаграмму.
G *P NX G *P (a + pu)------- a
TX-----^ G(a + Pu)------- t/W
В ней правая вертикальная стрелка является рациональным фактором по действию группы G. Нижняя правая — композиция категорного фактора по действию группы G и изоморфизма Шевалле g//G = t/W. Центральная вертикальная стрелка g * £ М g£. Отображение ру* определено по формуле g * £ М М g * p X(£). Оно корректоно определено, поскольку pX — G-эквивариантно и в частности Р-эквивариантно.
Малая группа Вейля может быть определена следующим образом (см. [11, 9]). Рассмотрим расслоенное произведение TX хt/w a. В общем случае оно приводимо. Существует естественное включение NX в TX xt/w a, которое является произведением вложения в TX и отображения, которое отправляет п £ NX в ортогональную проекцию их (п) на a. Обозначим через TX неприводимую компонету многообразия TX xt/w a, содержащую образ NX (это компонента оказывается единственна [13, Lemma 6.7]). Определим действие группы Вейля NG(a) /ZG(a) на TX xt/W a посредством стандартного действия на правом множителе.
Определение 3. Максимальная подгруппа WX в группе NG(a) /ZG(a), которая сохраняет компоненту TX называется малой группой Вейля многообразия X.
Наша цель доказать следующую теорему:
Теорема 6. Отображение G *рNX м TX является рациональным накрытием Галуа с группой WX.
Для доказательства теоремы 6 нам понадобится понятие нормализованного отображения моментов pX: TX М M X также введенного Кнопом в [9]. Оно может быть определено посредством применения разложения Штейна TXX м М M X М G(a + p“) к отображению моментов pX. Другими словами возьмем
182
В. С. Жгун
в качестве М х нормализацию G(a + р-) в поле рациональных функций многообразия TX. Напомним, что для орисферического многообразия G/P- многообразие G *р- (а + р-) является G-бирациональной моделью для MG/P- (см. [9,
§4]).
Следующая лемма описывает различные бирациональные G-модели
для MG/P- .
Лемма 10. Многообразия G *р- (а + р-) и G *р (а + рф бирационально изоморфны G *м (а + М *мпр- (р- П m)) как G-многообразия.
Доказательство ее мы опустим, поскольку оно стандартно (см.[21]).
Предложение 10. Общие слои морфизмов рх: NX ^ а + рад и р^* : G *Р NX ^ G *р (а + рад) неприводимы.
Доказательство. Нам понадобится следующая стандартная лемма из алгебраической геометрии.
Лемма 11. Пусть X — нормальное многообразие и пусть f: X ^ Y — доминантный морфизм. Предположим, что существует рациональное сечение морфизма f, т.е. такое а: Y X, что f о а = idY. Тогда общий слой f неприводим.
Чтобы показать неприводимость общего слоя рх\n*, по лемме 11 достаточно построить рациональное сечение а + рад --+ NX морфизма рх\n* : NX ^ а + pu. Заметим, что по предложению 4 и замечанию 4 существует подпространство Vz С NXz, такое что р х (Vz) изоморфно Vz и р х(Vz) изоморфно проецируется на а + р- П qu при T-эквивариантной проекции из 5х на а + р- П qu со
слоями параллельными подпространству ри П q. По предложению 9 отображение (Pu П Q) х рх (Vz) ^ а + ри бирационально. Поскольку отображение (Pu П Q) х Vz ^ (Pu П Q)Vz С NX является изоморфизмом на свой образ из G-эквивариантности рх следует, что многообразие (Pu П Q)Vz определяет рациональное сечение р х: NX ^ а + р^ Поскольку морфизм рn* G-эквивариантен общие слои также неприводимы. □
Обозначим через 0 неприводимую компоненту р-1(арг + (р- П m)) П NX, которая отображается доминантно на а + (р- П m) (она единственна по предложению 10). Рассмотрим Е = М0, это компонента р-1(арг + М(р- П m)) которая отображается доминантно на а + М (р- П m) и пересекает NX. Поскольку G(арг + М(р- П m)) плотно в рх(TX) мы получаем, что GE плотно в TX. Пусть £ Е арг + М(р- Пm). Если Ad(g)£ Е (арг + М(р- Пm)) для некоторого g Е G, то из единственности разложения Жордана мы получаем, что полупростые части £ и Ad(g)£ сопряжены с помощью g и обе лежат в арг. Таким образом множество {g Е G \ дЕ П Е = 0} содержится в конечном объединении смежных классов группы М в Ng(а). Согласно [19, Lemma 2] морфизм G *м Е ^ TX является рациональным накрытием Галуа с группой Nх/М, где
Nх := {g Е ада) \ gE = Е},
МАЛАЯ ГРУППА ВЕЙЛЯ И МНОГООБРАЗИЕ ВЫРОЖДЕННЫХ ... 183
а действие NX /М определяется как nM о [g * z] = [gn 1 * nz] для n Е NX.
Теорема 7. Многообразия TX и MX G-бирационально изоморфны G*Nx У и G*Nx (apr + М*р-пм (p" Пт)) соответственно. Отображение Ф : М*р-пм0 ^ ^ У, определенное как Ф(т * п) = тП для т Е М и п Е 0 является бирациональным изоморфизмом, и при этом бирациональном изоморфизме нормализованное отображение моментов рх : TX ^ Мх может быть описано на некотором открытом подмножестве по формуле рх ([g * п]) = [g * Vn* (Фй1(п))].
Доказательство. Чтобы показать бирациональность Ф достаточно показать, что он является изоморфизмом на открытом подмножестве (Pu П М) х 0 in М *р-гм 0. Заметим, что проекция NX на X равна (Pu П Q)Z, а также Q П (Pu П М) = {e}. Таким образом, мы имеем изоморфизм (Pu П М)(Pu П Q)Z = (Pu П М) х (Pu П Q)Z, который влечет (Pu П М)NX = (Pu П М) xNX. В частности, (Pu П М)0 = (Pu П М) х 0.
Имеем М-эквивариантное рациональное отображение
VN* о Ф"1: У М *р-пм (apr + (Рй П т)),
индуцирующее отображение
V'x : G *Nx У --* G *Nx (apr + М *р-пм (Рй П т)),
через которое пропускается отображение моментов рх. Чтобы показать, что Мх бирационально
G *Nx (apr + М *р-пм (Рй П т))
и то, что V'x = рх достаточно доказать неприводимость общих слоев рХ. А она в свою очередь следует из неприводимости общих слоев рх |© : 0 ^ apr + (p" Пт) (см. предложение 10). □
ДОКАЗАТЕЛЬСТВО. [Доказательство теоремы 6] Как мы видели группа Галуа рационального накрытия G *р NX ^ TX равна Nx/М, и по теореме 7 отображение Ма/р- ^ Мх является фактором по действию группы NX/М, который коммутирует с действием G. Согласно определению Кнопа [9], малая группа Вейля является группой Галуа накрытия МС/р- //G ^ Мх//G (заметим, что Мс/р-//G = a), которая также равна NX/М. □
7. Заключение
В заключении отметим, что из приведенной теории легко получить существование стабилизатора общего положения для действия группы G на T*Х, а также описание его связной компоненты (см. [21], Замечание 7.7).
Автор считает, интересной задачу о полном описании стабилизатора общего
положения.
184
В. С. Жгун
СПИСОК ЦИТИРОВАННОЙ ЛИТЕРАТУРЫ
1. Berstein I. N., Gelfand I. M. Gelfand S. I., Schubert cells and cohomology of the spaces G/P // Russian Math. Surveys, 1973. Vol. 171, no. 37 (3), P. 3-26.
2. Brion M., The cone of effective one-cycles of certain G-varieties //A Tribute to C. S. Seshadri, Hindustan Book Agency, 2003. P. 180-198.
3. Brion M., Luna D. Vust Th., Espaces homogenes spheriques // Invent. Math. 1986. Vol. 84, P. 617-632.
4. McGovern W. M., The adjoint representation and adjoint action // Algebraic Quotients. Torus Actions and Cohomology. The Adjoint Representation and the Adjoint Action Series: Encyclopaedia of Mathematical Sciences, Springer-Verlag. 2002. Vol. 131.
5. Grosshans F. D., Constructing invariant polynomials via Tchirnhaus transformations // Invariant theory, Lecture notes in Math. 1987. Vol. 1278, Springer, Berlin, P. 95-102.
6. Hartshorne R., Algebraic geometry, New York, Heidelberg, Berlin: Springer-Verlag, 1977.
7. Humphreys J. E., Linear algebraic groups. 1975. New York, Heidelberg, Berlin: Springer-Verlag.
8. Knop F., Kraft H., Vust T., The Picard group of a G-variety // Algebraische Transformationsgruppen und Invariantentheorie, DMV-Seminar, Vol. 13, Basel-Boston: Birkhauser Verlag, 1989. P. 77-88.
9. Knop F., Weylgruppe und Momentabbildung // Invent. Math. 1990. Vol. 99, P. 1-23.
10. Knop F., Uber Bewertungen, welche unter einer reduktiven Gruppe invariant sind // Math. Ann. 1993. Vol. 295, P. 333-363.
11. Knop F., 1994, The asymptotic behavior of invariant collective motion // Invent. math. Vol. 116, P. 309-328.
12. Knop F., A Harish-Chandra Homomorphism for Reductive Group Actions // Annals of Mathematics, Series II, 1994. Vol. 140, 253-288.
13. Knop F., On the Set of Orbits for a Borel Subgroup // Commentarii Mathe-matici Helvetici, 1995. Vol. 70, P. 285-309.
14. Kraft H., Geometrishe Methoden in der Invariantentheorie, Aspects of Mathematics, Friedr. Vieweg & Sohn, 1984. Braunschweig.
МАЛАЯ ГРУППА ВЕЙЛЯ И МНОГООБРАЗИЕ ВЫРОЖДЕННЫХ ... 185
15. Luna D., Grosses cellules pour les varietes spheriques // Algebraic Groups and Lie Groups, Austral. Math. Soc. Lect. Ser. 9, Cambridge Univ. Press 1997. Cambridge, 267-280.
16. Popov V. L., Contractions of the actions of reductive algebraic groups // Mat. Sb. 1986. Vol. 130, no. 3, P. 310-334.
17. Springer T. A., Linear Algebraic Groups Progress in Mathematics 2nd ed., Springer 1998.
18. Timashev D. A., Equivariant symplectic geometry of cotangent bundles II // Moscow Math. J. 2006. Vol. 6, no. 2, P. 389-404.
19. Vinberg E. B., Equivariant symplectic geometry of cotangent bundles // Moscow Math. J. 2001. Vol. 1, no. 2, P. 287-299.
20. Vinberg E. B., Popov V. L., Invariant theory. Algebraic geometry IV. Encyclopaedia of Mathematical Sciences, Vol. 55, Berlin: Springer-Verlag, 1994.
21. Zhgoon V. S., On the Local Structure Theorem and Equivariant Geometry of Cotangent Bundles // Journal of Lie Theory. 2013. Vol. 23, no. 3, P. 607-638.
REFERENCES
1. Berstein, I. N., Gelfand, I. M. & Gelfand, S. I., 1973, “Schubert cells and cohomology of the spaces G/P”, Russian Math. Surveys, vol. 171, no. 37 (3), pp. 3-26.
2. Brion, M., 2003, “The cone of effective one-cycles of certain G-varieties”. A Tribute to C. S. Seshadri, Hindustan Book Agency, pp. 180-198.
3. Brion, M., Luna, D. & Vust, Th., 1986, “Espaces homogenes spheriques”, Invent. Math. vol. 84, pp. 617-632.
4. McGovern,W. M., 2002, “The adjoint representation and adjoint action”,
Algebraic Quotients. Torus Actions and Cohomology. The Adjoint Representation and the Adjoint Action Series: Encyclopaedia of Mathematical Sciences, vol. 131, Springer-Verlag.
5. Grosshans, F. D., 1987, “Constructing invariant polynomials via Tchirnhaus transformations”, Invariant theory, Lecture notes in Math., vol. 1278, Springer, Berlin, pp. 95-102.
6. Hartshorne, R., 1977, Algebraic geometry, Springer-Verlag, New York, Heidelberg, Berlin.
186
В. С. Жгун
7. Humphreys, J. E., 1975, Linear algebraic groups, Springer-Verlag, New York, Heidelberg, Berlin.
8. Knop, F., Kraft, H. & Vust, T., 1989, “The Picard group of a G-variety”, Algebraische Transformationsgruppen und Invariantentheorie (H. Kraft, P. Slo-dowy, T. Springer eds.) DMV-Seminar, vol. 13, Birkhauser Verlag, Basel-Boston, pp. 77-88.
9. Knop, F., 1990, “Weylgruppe und Momentabbildung”, Invent. Math., vol. 99, pp. 1-23.
10. Knop, F., 1993, “Uber Bewertungen, welche unter einer reduktiven Gruppe invariant sind”, Math. Ann., vol. 295, pp. 333-363.
11. Knop, F., 1994, “The asymptotic behavior of invariant collective motion”, Invent. math., vol. 116, pp. 309-328.
12. Knop, F., 1994, “A Harish-Chandra Homomorphism for Reductive Group Actions”, Annals of Mathematics, Series II, vol. 140, 253-288.
13. Knop, F., 1995, “On the Set of Orbits for a Borel Subgroup”, Commentarii Mathematici Helvetici, vol. 70, pp. 285-309.
14. Kraft, H., 1984, Geom,etrishe Methoden in der Invariantentheorie, Aspects of Mathematics, Friedr. Vieweg & Sohn, Braunschweig.
15. Luna, D., 1997, “Grosses cellules pour les varietes spheriques”, Algebraic Groups and Lie Groups, Austral. Math. Soc. Lect. Ser. 9, Cambridge Univ. Press, Cambridge, 267-280.
16. Popov, V.L., 1986, “Contractions of the actions of reductive algebraic groups”, Mat.Sb., vol. 130, no. 3, pp. 310-334.
17. Springer, T. A., 1998, Linear Algebraic Groups, Progress in Mathematics 2nd ed.
18. Timashev, D. A., 2006, “Equivariant symplectic geometry of cotangent bundles II”, Moscow Math. J., vol. 6, no. 2, pp. 389-404.
19. Vinberg, E. B., 2001, “Equivariant symplectic geometry of cotangent bundles”, Moscow Math. J., vol. 1, no. 2, pp. 287-299.
20. Vinberg, E. B. & Popov, V.L., 1994, Invariant theory, Algebraic geometry IV. Encyclopaedia of Mathematical Sciences, vol. 55, Springer-Verlag, Berlin.
21. Zhgoon, V. S., 2013, “On the Local Structure Theorem and Equivariant Geometry of Cotangent Bundles”, Journal of Lie Theory, vol. 23, no. 3, pp. 607638.
МАЛАЯ ГРУППА ВЕЙЛЯ И МНОГООБРАЗИЕ ВЫРОЖДЕННЫХ ... 187
Научно исследовательский институт системных исследований. Национальный исследовательский университет «Высшая школа экономики». Поступило 6.03.2015.
