Файл: Желобенко, Д. П. Гармонический анализ на полупростых комплексных группах Ли.pdf

предложению 3.2,

8 = LIUJи — градуированный под­

модуль U с компонентами 8х = 8 Г) Йх. ®

частности,

8 х» — максимальный левый

идеал в

А ^0,

содержа­

щий / 0:

/0С

SX° d

Ат,0.

Если 8 х" =

А Яо, то

Ux =

ЦХЛ Яо =

UX8 X" = 8 х для всех

\ е

Ло,

откуда

8 =

U

L =

U.

Следовательно,

если

L — собственный

идеал, то

8Хо =

/ 0.

С другой

стороны, для каждого элемента

и Ez U

пусть и0 —

образ и в U, 4 — проекция и0 на Ux. Положим

L0 =

{ x e = U :

(u x^ E ilo

для

всех

u ^ U ).

Д о к а з а т е л ь с т в о . Если

алгебра

А содер­

жит полную матричную

алгебру М, то А ~

В (g) М,

где В — коммутант М

в А. (Действительно, А как

двусторонний М -модуль — прямая

сумма подмодулей

Чандре (см. [75]), который рассматривал случай

g0=

f

(максимальная компактная подалгебра в д).

Мы

огра­

3.

М о д у л и Х а р и ш - Ч а н д р ы .

если

dim Fx <С °°

для

Я, е= Л, где

А — множество

всех старших весов алгебры ?с.

Примером

модуля

Хариш-Чандры является U =

= U/UJU (см.

предложение 3.4):

U = 0 U\

х

Пусть 3j— аналитический идеал в gG, Z (g,) — центр

алгебры U (gi). Отметим, что имеет место

Z (д,)-мо­

П р е д л о ж е н и е

3.8.

Ux — конечный

дуль для каждого Я ЕЕ А.

gG = 9i © fG на­

Действительно,

из

разложения

ходим

и =

и (з,)

и (?а) ^

и (3)) ®

и (fG),

откуда

также вытекает f-модульный изоморфизм

Ux = f/(g1),//Xo^ C /(g 1)(g).//x0,

где

— f/(fG)//^ .

Остается

заметить, что,

согласно

теореме Костанта (§2),

U (gx) = Z (дД Е (дх) ~

Z (gi) ®

® Е{§^) и dim Е (дД* <

оо для всех Я £= Л.

Из предложения

3.8

вытекает

П р е д л о ж е н и е

3.9. Всякий неприводимый мо­

дуль

Хариш-Чандры t-финитен.

Действительно,

Z (дД Cl Z (д), и злемонты Z (д) дей­

ствуют скалярно

на

любом неприводимом U (д)-мо-

дуле (см., например, [16], стр. 133).

*)

Это замечание в дальнейшем не используется.

З а м е ч а н и е 4.

Пусть G — связная группа

Ли

с алгеброй Ли д. В дальнейшем мы увидим (гл. 9),

что

неприводимые модули

Хариш-Чандры тесно связаны

порождается

образующими wt,

i = 1, 2, . .

I, где

Wi — отражение

по направлению корня он е

S.

I. Следующая лемма хорошо известна (111], стр. 263).

Л е м м а

4.1.

Отражение wt переводит at в — аг и

оставляет инвариантным Д+ \

^аг}.

Пусть

Наименьшее из чисел п, для которых

обозначается I (w)

и называется длиной элемента w ЕЕ W.

В частности,

1(e)

= 0 , где е — единица группы W.

Положим

Aw = {а ЕЕ А+:

wa ЕЕ А- }.

Л е м м а

4.2. I (w) = card Дw.

Д о к а з а т е л ь с т в о .

Пусть е (w) = card Aw.

вательно, если

w Ф е, то Aw содержит он €ЕЕ£.

При

этом

Awwj =

wiAw\ {a t}.

Действительно,

wwtai — — ipat

0,

т.

е. а г 6j£ Агтщ.

С другой стороны,' если

0 < а Ф аг,

то

а ЕЕ A ^ ,-^

4Ф wtа ЕЕ Aw. В

результате e (wwt)

=

е (w) — 1.

Про­

должая этот процесс, получаем:

е (wwh . . . win) = 0,

т. е. w = win. . . wit

для некоторой

последовательности

ilt

г2,

. . ., гп,

п =

= е (w). Отсюда I (w) ^

е (w). В то же время из леммы

4.1 очевидно, что е (w)

I (w).

В результате

I (w) =

= е (w). Лемма доказана.

I (w)

10, где l0 =

card Д+,

С л е д с т в и е 4.3

.0

причем

(1)

Если 1{ ш) фО ,

=

то

существует

а г,

o i

е

АМ1

для которого I (wwt)

I (w) — 1 .

аг

Ду,,

для

(2)

Если I (w) Ф 1 0, то существует аг,

которого I (wwi) =

I (w)

-f- 1.

Действительно, (1) получено при доказательстве

леммы 4.2 (для е (w)), (2) проверяется аналогично.

С л е д с т в и е

4.4.

Существует

единственный

элемент w0E= W, отображающий Д+ на А- (I (w0)

=

10).

Ясно, что I (ww') ^

I (w)

+

I (w'). Следующая лемма

полезна для проведения индукции по I (w).

+

Л е м м а

4.5.

Равенство

I (ww')

=

I (w)

l (w')

имеет место тогда и только тогда, когда

АШ1Р' =

Ау/ U » ' - 1Aw.

Д о к а з а т е л ь с т в о .

Если

а е Д

то

либо

м/а <

0 (т.

е. а е д » ' ) ,

ww'а <;

0,

либо

w'a >

О,

ш 'а <

0 (т. е. w'a G A » ) .

Следовательно, Ay,„/ являет­

ся объединением своих дизъюнктных пересечений с Д w-,

и>'_1Д„,. Утверждение леммы вытекает теперь из срав­

нения кардинальных чисел. Лемма доказана.

Разложение w =

wijvu. . . wtn называется приведен­

ным, если п = Z(г/;).

Пусть

wa — отражение в

()с по

З а м е ч а н и е

1.

направлению корня а. Из транзитивности W на каме­

рах Вейля следует, что ИЛ5 = Д , откуда

Wa = UWi и-1,

и е= W.

Пусть

и е= W — элемент

наименьшей длины,

для

ко­

торого. и~г a

= 0|G S.

Тогда

wa =

uw(u~x — приве­

денное

разложение

элемента

wa.

Д №-1 =

— wAw.

Заметим также, что I (w-1) =

l (w),

II.

С каждым элементом w е= W связано

разложе­

ние алгебры tt в прямую

сумму подпространств

tty,

^

Cea,

tty, =

Cga .

а>0,г»а< 0

а>о,и)а>о

Очевидно, каждое из этих подпространств является

подалгеброй в tt. Из леммы 4.5 получаем

=

I (w) +

С л е д с т в и е

4.6.

Равенство I (ww')

+ l (w') имеет место

тогда

и

только

тогда,

когда

tty,u/

—

tty/

ф

W

^tty,.

Действительно,

wea

cewa,

с Ф 0.

Пусть N — односвязная связная группа Ли с алгеб­

рой Ли n, Nw, Nw — аналитические

подгруппы

в N,

порожденные tt,„, пш. В гл. 4 нам понадобится

Пр е д л о ж е н и е

4.7. Отображение Nw X Nw -*•

-*■ NWNW является

аналитическим

гомеоморфизмом

на N.

Заметим вначале,

что

Д о к а з а т е л ь с т в о .

ским гомеоморфизмом

п на N. В частности, все анали­

тические подгруппы в N односвязны и замкнуты. Если

п — прямая сумма

идеала tt0 и

подалгебры ttj, то

N — N^Ni — N 0 X

Nj_ (аналитический гомеоморфизм),

где N 0 — exp n0,

JVj

=

exp «!*).

по

I (w)

Доказательство

будем вести индукцией

(если w — е, то

утверждение тривиально).

Положим

w — wtw',

I (w) =

1 +

I (и/). Согласно следствию

4.6,

имеем

к = пш©

= п,„- ®

® пш,

откуда

=

Согласно

определению

пш,

и шС Я .

Поскольку

а{ — простой

корень, то Сеа. —

идеал в w'nw’ = пЮ{

®

w'вш. Отсюда получаем

‘

NW’ =

Nw

Действительно,

Nw =

Nw-P, где

P = Nw (") Nw> =

= w'^Nw, согласно следствию 4.6

(с заменой w на wi)

Предложение доказано.

Используя

инверсию, находим

З а м е ч а н и е

2.

также, что Nw X Nw

NWNWявляется аналитическим

гомеоморфизмом на

N.

подгруппа точки

III. Пусть

И \ — стационарная