Научная статья на тему 'Конечномерный анализ на пара-эрмитовых пространствах с псевдоортогональной группой движений'

Конечномерный анализ на пара-эрмитовых пространствах с псевдоортогональной группой движений Текст научной статьи по специальности «Математика»

CC BY
77
28
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ГРУППЫ И АЛГЕБРЫ ЛИ / ПРЕДСТАВЛЕНИЯ ГРУПП / ПСЕВДООРТОГОНАЛЬНЫЕ ГРУППЫ / ПАРА-ЭРМИТОВЫ СИММЕТРИЧЕСКИЕ ПРОСТРАНСТВА / LIE GROUPS AND LIE ALGEBRAS / GROUP REPRESENTATIONS / PSEUDO-ORTHOGONAL GROUPS / PARA-HERMITIAN SYMMETRIC SPACES

Аннотация научной статьи по математике, автор научной работы — Цыкина Светлана Викторовна

Изучается конечномерный анализ на пара-эрмитовых симметрических пространствах G/H, для которых группа G есть псевдоортогональная группа SO_0(p,q).

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

FINITE-DIMENSIONAL ANALYSIS ON PARA-HERMITIAN SPACES WITH A PSEUDO-ORTHOGONAL GROUP OF TRANSLATIONS

Finite-dimensional analysis on para-Hermitian symmetric spaces G/H, for which the group G is a pseudo-orthogonal group SO_0(p,q), is studied.

Текст научной работы на тему «Конечномерный анализ на пара-эрмитовых пространствах с псевдоортогональной группой движений»

УДК 517.98

Конечномерный анализ на пара-эрмитовых пространствах с псевдоортогональной группой

движений 1

© С. В. Цыкина

Ключевые слова: группы и алгебры Ли; представления групп; псевдоортогональпые группы; пара-эрмитовы симметрические пространства.

Изучается конечномерный анализ на пара-эрмитовых симметрических пространствах С?/Я, для которых группа С? есть псевдоортогональная группа БОо(р. д).

Мы рассматриваем пара-эрмитовы симметрические пространства С/Я, для которых группа С есть псевдоортогональная группа БОо(р, ?), а связная компонента единицы Яе подгруппы Я есть 80о(1,1) х ЭОо(р — 1, <? — 1). Все такие пространства (с данной С) получаются факторизацией из "самого большого" пространства С/Не. Накрытие ие более чем четырехкратно. Размерность всех этих пространств (7/Я равна 2п — 4, где п — р + д, сигнатура, есть (п — 2, п — 2), а ранг равен 2. Именно только для таких пространств с рангом, большим единицы, пока получены явные формулы в полиномиальном квантовании, см. [1], [2]. В настоящей работе мы исследуем для наших пространств С/ II конечномерный анализ, то есть разлагаем представление группы С в многочленах на С/Я на неприводимые составляющие.

Введем в пространстве Мп следующую билинейную форму:

71

Iх,у] = ^2 ^г^гУг,

г=1

где Ах = ... = Ар — —1, Ар+1 = ... = Ап — 1. Группа С — ЭОо(р,д) есть связная компонента единицы в группе линейных преобразований пространства М71 с определителем 1, сохраняющих билинейную форму [х,у\. Для простоты мы будем рассматривать общий случай р >1, д > I. Мы считаем, что группа С действует в М’г справа: х хд, так что векторы х из К” будем записывать в виде строки. В качестве Я возьмем группу матриц

а 0

0 V 0 ’ (1)

Р 0 а

1 Работа поддержана грантом РФФИ 13-01-00952 и Госзаданием Минобрнауки 1.3445.2011.

где а2 — /З2 = 1, V £ ЭО(р — 1,д — 1). Она состоит из двух связных кусков, ее связная компонента единицы Яе состоит из матриц (1), где а = сЫ, /3 — бЫ. Однородное пространство С/Н является (7-орбитой в алгебре Ли д в присоединенном представлении группы С.

Реализуем сначала С/Н в виде индефинитного грассмаиова многообразия. Возьмем в пространстве М" два "сопряженных" гиперболоида X и У, задаваемых уравнениями [х, х\ = 1 и [у, у] = — 1, соответственно. Оба они - псевдорима-новы многообразия. Обозначим через Е многообразие пар (и, у), и £ X, V £ таких, что [и, у] = 0. Это - аналог многообразия Штифеля 80(п)/80(п —2). Его размерность равна 2п — 3. Многообразие Е можно реализовать как совокупность двустрочных матриц

°= ("!.) = (И"V [«,«] = о.

Группа С действует на Е умножениями справа:

а і-> ад, д Є С, (2)

это действие транзитивно. Назовем две матрицы а и а из Е эквивалентными, если одна получается из другой умножением слева на матрицу г £ 30(1,1):

га.

Матрица г из 80(1,1) есть

/3 а

В частности, для матрицы

<х° =

х°

У°

эквивалентными являются матрицы

/3 0 ... О а а 0 ... О 0

а2 — /З2 = 1. (3)

Факторизуем множество Е по указанному отношению эквивалентности, полученное множество обозначим Е. Действие (2) группы С порождает ее действие на Е. Элементы /г. Є Я, см. (1), переводят а0 как раз в матрицу (3). Следовательно, Н является стационарной подгруппой класса эквивалентности матрицы а0. Таким образом, многообразие С/Н есть Е.

Перенесем результаты [3], [4] о гармоническом анализе на многообразиях Штифеля и Грассмана 80(гг)/80(п — 2) и 80(п)/Э0(2) х 80(п — 2) на наше

пространство (3/Я с С — ЭОо(р, <?)• Мы окомплексиваем группу ЭО(п), получаем группу ЭО(п, С), указанные многообразия Штифеля и Грассмана становятся комплексными многообразиями Штифеля и Грассмана 80(п, С)/80(п — 2, С) и вО(п, С)/80(2, С) х 80(п-2, С). Затем мы переходим к нужной нам вещественной форме и получаем конечномерный гармонический анализ на Е = С/Я,

Возьмем в алгебре Ли д максимальную коммутативную подалгебру а, состоящую из матриц, имеющих нули вне побочной диагонали. Пусть матрица X € а имеет параметры £х, £2, • • • на местах (1, гг), (2, п — 1), — Тогда, посколь-

X из С есть

^ сЬ^і 0 . 0 вЬіх \

0 сЫ2 ■ . 0

0 • . сЬі2 0

у 0 . . 0 ch.ii /

Многочлен ір(х) от х = (жі,..., хп) Є Мга называется (р, д)-гармоническим, если он обращается в нуль оператором

А - V* \ —

&хх — Лі дх2 > г=1 1

где А, - коэффициенты формы [х, у]. Пусть Н[(х) - пространство (р, д)-гармони-ческих многочленов, однородных степени I. Представление 7Гг, І Є М, группы Є — БОо(р, д) действует в пространстве Я;(ж) сдвигами.

Многочлен /і(?і, у) от и, V Є К" (или от элементов матрицы а) называется (р, о)-гармоническим, если он обращается в нуль операторами Аии, Д,™, Аиу, где

_ А д2

- 2_. {диідуі

2—1

Обозначим пространство всех таких многочленов через Н{и,ь). Пространство Ь(Е) ограничений на Е этих многочленов изоморфно пространству Н(и, и). Обозначим через и представление группы Є сдвигами в пространстве Н{и,и), а также в пространстве Ь(Е). Представление II содержит неприводимые конечномерные представления 7г„ группы Є со старшими весами и = (а, Ь, 0,..., 0) (относительно алгебры а), где а,Ь - целые числа, такие, что а ^ Ь ^ 0, количество координат вектора и равно [п/2], для простоты мы будем писать

и = (а, Ь).

Представление тт/ есть 7г^о)- Кратность представления тти в и равна а — Ъ + 1. Размерность представления 7г„ дается формулой

і

с1іт7г„

(а — Ъ + 1) (а + Ь + п — 3) (2а + п — 2) (26 + п — 4) (п — 2)!(п — 4)!

х

х(а + 2)[п-51 (6+1)[п“51, мы используем обозначение + 1)... (Ь + т — 1). В частности,

Разложение представления II на неприводимые можно делать с помощью тензорных произведений. А именно, рассмотрим тензорное произведение 7Г;®7Гт. Оно действует в пространстве Я/(м)®ЬГш(г»). Представление 7Г/®7Гт распадается в прямую однократную сумму представлений 7г^ с весами (а, Ь) такими, что

Соответственно, пространство Н^и) <£> Нт(у), в котором действует 7гI <8)7гт, распадается в прямую сумму некоторых пространств Ни'т\и,у), где и = (а, 6) удовлетворяет условиям (5). Имеет место разложение

к=0

где внутреннее суммирование происходит по (а, Ъ) таким, что

а + Ь = 1 + т — 2к, тах{/ — к,т — к} ^а^1 + т — 2к.

При ограничении на многообразие Е в правой части (6) исчезают пространства с к > 0 и остаются пространства с к = 0, так что

а + Ь ^ I + ш, а — Ъ ^ \1 — т\, а + Ь = 1 + т (тосі 2).

(5)

(6)

(7)

где суммирование происходит по (а, Ь) таким, что

а + Ь = I + т, тах{/, т} ^ а ^ I + т.

Сами пространства у), участвующие в (7), входят в Н(и,у). Поэтому

пространство Н(и, у) разлагается в сумму:

(8)

где внутреннее суммирование происходит по (/, то) таким, что

(9)

Обозначим через Н0(и,у) подпространство в Н(и, у), состоящее из многочленов <^(сг) = <р(и,у), инвариантных относительно умножения матриц а на матрицы г из ЭО(1,1) слева:

(7 1—> га, г € 30(1,1).

Пространство 1/0(Е) ограничений на многообразие Е многочленов из Н0(и,у) изоморфно Н0(и,у). Обозначим через и0 ограничение представления V на пространства Н0(и,у) и Ьо(Т,). Оно содержит с кратностью 1 представления 7Г„ с весами V = (а,Ъ), для которых

0, а = Ь (тос! 2). (10)

Соответственно, пространство Щ(и, у) разлагается в прямую однократную сумму некоторых подпространств Ни со старшими весами и, удовлетворяющими (10). Подпространство Н„ "лежит наискосок" в прямой сумме подпространств н11'т\и,у) с тем же самым и из разложения (8), т. е. многочлены из Ни - это линейные комбинации многочленов из указанных подпространств н11'т\и,у), удовлетворяющих (9).

Предъявим старшие и младшие векторы в пространствах Ни.

Старший (соответственно, младший) вектор в Н„- это многочлен, собственный для матрицы ехрХ, см. (4), с собственным числом ехр(а^ + Ы2) (соответственно, ехр(—сй\ — Ы2)). Введем четыре вектора

з± = ( 1,0,...,0,±1), ^ = (0,1,0,...,0, ±1,0),

они - собственные для ехр X:

■ ехрХ = е±*1з=ь, г* ■ ехрХ = е^г*.

Теперь обозначим

х = V — и, у = и + и, (11)

тогда старший вектор (а) и младший вектор (а) в Ни даются формулами

0\Ь / \ (а—Ь)/2 ^

з~,х]-[г~,у]-[з~,у]-[г~,х)J • у[з~,х] ■ , (12)

(р-(а) = ([5+,ж] • [г+,у\ - [з+,у] • [г+,ж]) • ([в+,х] • [в+,у]У . (13)

Функции на Е мы можем рассматривать как функции на Е, инвариантные относительно левого действия группы 30(1,1). Обозначим через 1/(Е) пространство, отвечающее пространству Ь0( Е), и сохраним обозначение IIо для представления группы С сдвигами в Ь(Е). Мы получаем следующую теорему.

Теорема 1 Представление ио группы С = ЭОо(р, (?) сдвигами в пространстве Ь(Е) распадается в прямую однократную сумму представлений т\и со старшими весами V = (а, Ъ) такими, чт,о а = Ь (тос! 2). Эти представления 7Ти действуют в пространствах Нстарший и младший векторы </?*(и,у) в которых даются формулами (12), (13).

Реализуем теперь G/H как многообразие в прямом произведении С х С двух экземпляров конуса С. Конус С в W1 определяется условиями [х, х] = 0, х ф 0. Он связен, группа G действует на нем транзитивно (напомним, что р > 1, q > 1). Возьмем в С х С множество пар (х, у) с [х, у] ф 0 и в нем возьмем подмножество с фиксированным значением [х,у], именно, мы положим [х,у] = — 2 и обозначим полученное множество через Л. В частности, пара (s“, s+) входит в Л. Назовем две пары (х,у) и (tx, t~ly), где t £ М*, эквивалентными и обозначим через А множество классов эквивалентности. Группа G действует на А линейно (справа): (ж, у) н* [хд, уд) и поэтому на А. Стационарная подгруппа пары (s~, s+) в А есть в точности Н. Следовательно, пространство G/H мы можем отождествить с множеством А.

Две указанные реализации связаны между собой равенствами (11). А именно, если матрица а порождается парой векторов и, v, то оба вектора х, у, определенных по (11), принадлежат конусу и [х,у\ = —2, так что пара (х, у) принадлежит А.

При замене (11) пространство H(u,v) становится пространством Н(х,у), а пространство H0(u,v) - пространством Н0(х,у), состоящим из многочленов из Н(х,у), инвариантных относительно замены

(х,у) I—>(tx,t~1y), teR*. (14)

Группа G действует умножением векторов х,у справа на д £ G. Представление Uо группы G сдвигами в Hq(u,v) становится представлением Uq тоже сдвигами в Н0(х,у). Оно распадается в прямую однократную сумму представлений и — (a, b), а = b (mod 2). Эти представления 7г„ действуют в пространствах, которые пол}7чаются из предыдущих Ни заменой (11), мы сохраняем обозначение Ни. Старший и младший векторы уof(z) в Ни задаются в точности формулами (12), (13), поскольку правые части этих формул были записаны как раз в терминах х, у. Описание самих пространств Н1У несколько проще. В самом деле, многочлены из тензорного произведения Hi(x) <g> Hrn(y) инвариантны относительно замены (14) только при I = т. Запишем формулу (6) с I = т, заменяя (и, v) на (х,у). Мы получим

Hi(x) 0 Нт(у) = у]к Н^’т~к\х, у), (15)

к=О

где внутреннее суммирование происходит по (а, b) таким, что

а + b = 21 — 2к, I — к ^ а ^ 21 — 2к.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Слагаемые в (15) с к = 0 входят в Н0(х,у): поэтому Я„ есть как раз Ни’Г}{х, у), где 21 — а + Ь.

Отметим, что многочлены <р(х, у) из Ну являются однородными отдельно по х и по у степени однородности U общая степень однородности есть 21 = а + Ь.

Ограничим многочлены из Н0(х,у) на многообразие Л. Мы получим пространство Lq{A) функций на А, инвариантных относительно замены (14), и,

тем самым, пространство Ь(Л) функций на А. Пространства Ьо(А) и Ь(А) отвечают при замене (11) пространствам Ь0(И) и Ь(Е), соответственно. Представление группы С? сдвигами в Ь0(А) и Ь(А) распадается на представления тти вышеуказанным образом.

Пусть С - многообразие образующих конуса С. Оно состоит из прямых (без нуля) [ж] = Е*ж, где х Е С. Группа С действует на С естественным образом: [х]д = [хд\, д £ С, а на С х С - диагонально. Стационарной подгруппой пары ([я-], [я+]) служит как раз Я. Следовательно, С/Я есть С-орбита (С х С^ пары ([я-], [в"1"]) в С х С. Это единственная открытая С-орбита, она выделяется условием [ж, у\ Ф 0.

Распространением многочлена <£>(ж, у) из Я„ на многообразие (С хСУ служит функция

В самом деле, она не изменяется при замене ж Аж. «/и цу, А, ц £ К*, поэтому она есть функция от пары ([ж], [у]), а при [ж, у] = —2 равна </?(ж,у).

В частности, старший и младший векторы в Я„ - это следующие функции

Запишем эти функции в орисферических координатах £, г\ (это нужно для полиномиального квантования). Векторы £ = (£2, • • • ,£п-1) и г/ = (гу2,... ,^-1) принадлежат Еп~2, им отвечают векторы ж(0 и у (г/) из конуса:

билинейная форма (■, ■) есть ограничение формы [ •, ■ ]. Опуская несущественный множитель, мы получим

на (С х С)^\

*(0 = (! + <*, 0.2*, -1 + <£,0)

1/(77) = (1 + <7?, Г]), 277, 1 - (V , V)),

где

= <е,е>(а-‘)/2 • {& + е„-1 - (% + %-!)' (и о}" • АГ(е,ч)-<а+*>^ ЛГК.Ч) = ' {42 - Чп-1 - (6 - С»-|) ■ <Ч, Ч>} ■ Л'('ч■ Г1Г'‘"Ь‘П

77) = 1 - 2 (£, ту) + (£, 0 (ту, 77).

Литература

1. S. V. Tsykina. Polynomial quantization on para-Hermitian symmetric spaces with pseudo-orthogonal group of translations. International Workshop "Idempotent and tropical mathematics and problems of mathematical physics", Moscow, Aug. 25-30, 2007, vol. 2, 63-71.

2. С. В. Цыкина. Операторы Лапласа на пара-эрмитовых пространствах с псевдоортогональной группой движений. Вестник Тамбовского университета. Серия: Естественные и технические науки, 2008, том 13, вып. 6, 620-631.

3. D. Levine. Systems of singular integrals on spheres. Trans. Amer. Math. Soc., 1969, vol. 144, 493-522.

4. R. S. Strichartz. The explicit Fourier decomposition of L2(SO(n)/SO(n — m)). Canad. J. Math., 1975, vol. 27, 294-310.

Поступила в редакцию 16 ноября 2013 года

S. V. Tsykina. Finite-dimensional analysis on para-Hermitian spaces with a pseudo-ortho-gonal group of translations

We study finite-dimensional analysis on para-Hermitian symmetric spaces G/H for that the group G is a pseudo-orthogonal group SOo(p, q)•

Keywords: Lie groups and Lie algebras; group representations; pseudo-orthogonal groups; para-Hermitian symmetric spaces.

Цыкина Светлана Викторовна, Тамбовский государственный университет имени Г. Р. Державина, г. Тамбов, Российская Федерация, ассистент кафедры математического анализа, e-mail: [email protected]

Tsykina Svetlana Viktorovna, Tambov State University named after G. R. Derzhavin, Tambov, Russian Federation, Assistant of the mathematical analysis chair, e-mail: [email protected]

i Надоели баннеры? Вы всегда можете отключить рекламу.