CC BY
9
УДК 512.815.1+512.815.6+512.816.1+512.816.2
DOI: 10.18698/1812-3368-2018-3-68-81
ТОПОЛОГИЧЕСКИЕ И ГОМОЛОГИЧЕСКИЕ СВОЙСТВА ПРОСТРАНСТВА ОРБИТ КОМПАКТНОЙ ЛИНЕЙНОЙ ГРУППЫ ЛИ С КОММУТАТИВНОЙ СВЯЗНОЙ КОМПОНЕНТОЙ
О.Г. Стырт styrt@bmstu.ru; oleg_styrt@mail.ru
МГТУ им. Н.Э. Баумана, Москва, Российская Федерация
Аннотация
Исследован вопрос о том, является ли фактор-пространство компактной линейной группы топологическим многообразием, а также гомологическим многообразием. Рассмотрен случай бесконечной группы с коммутативной связной компонентой. Ранее был представлен метод сведения произвольного представления к представлению с 2-устойчивым множеством весов. Получены важные необходимые условия в случае 2-устойчивого множества весов
Ключевые слова
Группа Ли, линейное представление группы, топологический фактор действия, топологическое многообразие, гомологическое многообразие
Поступила в редакцию 03.04.2017 © МГТУ им. Н.Э. Баумана, 2018
Работа выполнена при поддержке гранта РФФИ (№ 16-01-00818-а)
Введение. Пусть имеется точное линейное представление компактной группы Ли G в вещественном векторном пространстве V. Интересен вопрос о том, является ли фактор V / G этого действия топологическим многообразием, а также гомологическим многообразием. Далее для краткости назовем топологическое многообразие просто «многообразием».
Пространство V обладает G -инвариантным скалярным умножением и поэтому может (и будет) рассматриваться как евклидово пространство, на котором группа G действует ортогональными операторами. Кроме того, поскольку представление G : V точное, можно полагать, что G — подгруппа Ли группы Ли O(V), а представление G : V — тавтологическое.
Исследования по данной тематике проводились для конечных групп в работах [1, 2]. В настоящей работе рассмотрим группы с коммутативной связной компонентой.
Формулировки упомянутых во введении утверждений (в том числе результатов настоящей работы) приведены далее.
Определение 1. Линейный оператор в пространстве над некоторым полем называется отражением (соответственно псевдоотражением), если подпространство его неподвижных точек имеет коразмерность 1 (соответственно 2).
Доказано, что если группа О с O(V) конечна и порождена псевдоотражениями, то V / О = V [1]. Обратное неверно. Необходимое и достаточное условие для соотношения V / О = V получено относительно недавно в работе [2], оно описывается теоремой 1 и использует понятие группы Пуанкаре.
Определение 2. Рассмотрим компактную группу Ли S := {v е И: ||v|| = 1} с с Н (с операцией умножения кватернионов), накрывающий гомоморфизм S ^ SO3 и прообраз Г с S группы вращений додекаэдра при указанном гомоморфизме. Группой Пуанкаре называется линейная группа, полученная ограничением действия S : Н левыми сдвигами на подгруппу Г с S.
Примем g := Lie G. Предположим, что G0 = Tm, m е N.
На пространстве g определено Ad(G) -инвариантное скалярное умножение; далее с помощью последнего будем отождествлять пространства g и g*.
Для произвольного конечного множества P векторов в конечномерном пространстве над некоторым полем, рассматриваемого с учетом кратностей своих элементов, число ненулевых векторов множества P (с учетом кратностей) обозначим через ||P|| .
Любое неприводимое представление группы G0 одномерно либо двумерно. Напомним понятие веса ее неприводимого представления. Произвольное двумерное неприводимое представление группы G0 обладает G0-инвариантной комплексной структурой, и его можно рассматривать как одномерное комплексное представление группы G0, сопоставив ему естественным образом вес — гомоморфизм групп Ли X: G0 ^ Т и его также обозначаемый дифференциал X е g*. Одномерному представлению группы G0 сопоставим вес X := 0 е g*.
Классы изоморфных неприводимых представлений группы G0 характеризуются весами X е g* = g, определенными с точностью до умножения на (-1).
Пусть P сg — множество весов A,eg, соответствующее разложению представления G0 : V в прямую сумму неприводимых (с учетом кратностей). Множество P с g не зависит от выбора указанного разложения (с точностью до умножения весов на (-1)). Поскольку представление G : V точное, имеем (p) = g.
Напомним определения q-устойчивых (q е N) и неразложимых множеств векторов конечномерных пространств над полями [3, §1], необходимые и в настоящей работе.
Разложением множества векторов конечномерного линейного пространства на компоненты будем называть его представление в виде объединения своих подмножеств, линейные оболочки которых линейно независимы. Если среди указанных линейных оболочек по крайней мере две нетривиальны, то такое разложение назовем собственным. Будем говорить, что множество векторов неразложимо, если оно не допускает ни одного собственного разложения на компоненты. Всякое множество векторов разлагается на неразложимые компоненты единственным образом (с точностью до распределения нулевого вектора), причем для любого его разложения на компоненты каждая компонента является объединением некоторых его неразложимых компонент (вновь с точностью до нулевого вектора).
Определение 3. Конечное множество векторов конечномерного пространства, рассматриваемое с учетом кратностей своих элементов, назовем q-устой-
чивым (q е N), если его линейная оболочка сохраняется при удалении из него любых векторов числом не более q (с учетом кратностей).
Согласно предложению 2.2, приведенному в работе [3, § 2], если V / О — многообразие, то множество Р с $ является 1-устойчивым. Кроме того, в работе [3, §8] описан метод сопоставления каждой компактной линейной группе с коммутативной связной компонентой, 1-устойчивым множеством весов и фактором М компактной линейной группы с коммутативной связной компонентой, 2-устойчивым множеством весов и фактором, гомеоморфным М. В связи с изложенным выше рассмотрим случай 2-устойчивого множества весов.
Для линейного представления группы Ли Н (соответственно алгебры Ли Ь) обозначим стабилизатор (соответственно стационарную подалгебру) вектора V через Hv (соответственно через ^).
Приведем ранее полученный результат для представлений конечных групп (см. [2, предложение 3.13, теорема А]).
Теорема 1. Пусть Н с O(V) — конечная группа. Тогда
1) если V / Н — гомологическое многообразие, то представление Н : V есть прямое произведение представлений Нг : VI (г = 0,..к), причем линейная группа Hj V является группой Пуанкаре при г >0 и порождена псевдоотражениями при г = 0 (в частности, VI = 4 для всякого г = 1,..,к);
2) если представления Нг : VI (г = 0,...,к) из п. 1 существуют и V/Н ^ V, то Н с O(V) — группа Пуанкаре.
Следствие 1. Пусть Н с O(V) — конечная группа, Ь — множество всех ее псевдоотражений. Если V / Н — гомологическое многообразие, то (Ь) -[Н, Н] = Н.
Далее для рассматриваемого представления О: V докажем теоремы 2 и 3.
Теорема 2. Если V / О — гомологическое многообразие, а Р с $ — 2-устой-чивое множество, то = ^ + 2 для любой неразложимой компоненты Q множества Р.
Теорема 3. Если V / О — гомологическое многообразие, а Р с $ — 2-устой-чивое множество, то группа О порождена объединением подгрупп О0 и Gv (V е V, | Gv |< да).
Обозначения и вспомогательные факты. Приведем вспомогательные обозначения и утверждения, в том числе заимствованные из процитированных работ (все новые утверждения — с доказательствами).
Лемма 1 (см. [2, теорема 2.3, лемма 2.6]. Пусть X и У — топологические пространства, а п — натуральное число. Тогда
1) если X — односвязная гомологическая п-сфера, то X = 8п;
2) конус над пространством X является гомологическим (п + 1)-многообразием тогда и только тогда, когда X — гомологическая п-сфера;
3) пространство X хУ является гомологическим многообразием тогда и только тогда, когда X и У — гомологические многообразия.
Утверждение 1. Пусть g — антилинейный оператор в n-мерном комплексном пространстве У. Тогда dimr Vg < n, что равносильно, rk« (E - g) > n.
< Вытекает из очевидных соотношений V~g = iVg с V и Vg nV"g =0. ►
Перечислим основные свойства q-устойчивых (q е N) конечных множеств векторов конечномерных пространств над полями, которые (множества) рассматриваются с учетом кратностей своих элементов [3, § 1].
1. Добавление и удаление нулевых векторов, а также умножение векторов на ненулевые элементы поля не влияют на q-устойчивость множества.
2. Образ q-устойчивого множества при линейном отображении пространств является q-устойчивым множеством. В частности, если некоторое множество линейных функций на пространстве q-устойчиво, то множество их ограничений на произвольное подпространство также q-устойчиво.
3. Для любого разложения произвольного q-устойчивого множества на компоненты (не обязательно неразложимые) каждая компонента является q-устой-чивой.
4. Всякое q-устойчивое множество с m-мерной линейной оболочкой (m е N) содержит не менее m + q ненулевых векторов.
5. Всякое q-устойчивое множество с m-мерной линейной оболочкой (me N), содержащее ровно m + q ненулевых векторов, неразложимо, а любые его ненулевые векторы числом не более m линейно независимы.
Для конечномерного представления конечной группы над произвольным полем следующие условия эквивалентны:
1) подпространство инвариантов тривиально;
2) сумма векторов в любой орбите равна нулю.
Представление, удовлетворяющее условиям 1 и 2, для краткости назовем представлением без инвариантов, или представлением, не имеющим инвариантов.
Следующее утверждение является очевидным.
Утверждение 2. Никакая группа нечетного порядка не обладает одномерным вещественным представлением без инвариантов.
Следствие 2. Всякое неприводимое вещественное представление коммутативной группы нечетного порядка, не имеющее инвариантов, двумерно.
Следствие 3. Если некоторая коммутативная группа имеет нечетный порядок, то размерность любого ее вещественного представления без инвариантов четна.
Лемма 2. Рассмотрим произвольное представление конечной группы Г в пространстве W над полем F, не имеющее инвариантов. Далее, пусть W\,...,Wp с W (pе N) — линейно независимые подпространства, переставляемые группой Г, а Г' — подгруппа (у е Г: yWi = Wj с Г. Тогда
1) представление Г': W1 не имеет инвариантов;
2) если F = К, а Г — группа нечетного порядка, то dim W1 Ф1.
< Для всякого вектора w е W1 имеем Y'w с W1 и (rw) \ (r'w) с с W2 Ф...Ф Wp, причем сумма векторов в орбите Tw с W равна нулю, вследствие чего сумма векторов подмножества r'w с W1 равна нулю. Таким образом, Г': W1 — представление без инвариантов. Если F = М, а Г — группа нечетного порядка, то Г' с Г — группа нечетного порядка, и, в силу утверждения 2, dim W1 Ф1. ►
Следствие 4. Рассмотрим произвольное вещественное представление группы Г нечетного порядка в пространстве W, не имеющее инвариантов. Всякая орбита действия группы Г на множестве прямых пространства W состоит из нечетного числа линейно зависимых прямых.
Допустим, что имеются представление H ^ O (V) компактной группы Ли H с касательной алгеброй h в евклидовом пространстве V и его дифференциал — представление h: V. Обозначим через % отображение факторизации
V ^ V / H. Рассмотрим произвольный вектор v е V. Ясно, что hv = Lie Hv. Кроме того, имеют место Hv-инвариантные ортогональные разложения
V = (hv)©Nv и Nv = NH ©Mv. Введем обозначения ra(h):=rk(E-h)--rk(E- Ad(h)) e Z (h e H ) и Q:={h e H: ra(h) e {0,2}} с H.
Предложение 1. Если V / H — многообразие, то найдется связная H-инва-риантная окрестность нуля U с V, для которой фактор U / H гомеоморфен открытому шару B размерностью dim(V / H).
Доказательство ввиду его очевидности опускается.
Лемма 3. Если в факторе V / H некоторая окрестность точки % (0) является (гомологическим) многообразием, то V / H — (гомологическое) многообразие.
< В пространстве V найдутся H-инвариантная окрестность нуля U, такая что U / H — (гомологическое) многообразие, и открытый шар B с U с центром в нуле. Имеем HB = B, причем B / H — (гомологическое) многообразие. Наконец, существует H-эквивариантный гомеоморфизм V ^ B, что влечет требуемое. ►
Теорема 4. Пусть v е V — некоторый вектор. Фактор V / H является (гомологическим) многообразием локально в точке % (v) тогда и только тогда, когда Nv / Hv — (гомологическое) многообразие.
< В силу теоремы о слайсе [4, гл. II, § 4, 5], фактор V / H локально в точке %(v) гомеоморфен фактору Nv / Hv локально в нуле. Осталось применить лемму 3. ►
Следствие 5. Пусть v е V — некоторый вектор. Если V / H — гомологическое многообразие, то Mv / Hv — гомологическое многообразие.
< Имеем Nv /Hv = N^v x(Mv /Hv). Далее, в силу теоремы 4 Nv /Hv — гомологическое многообразие. Осталось применить лемму 1. ►
Утверждение 3. В любом H-инвариантном подпространстве V 'с V существует вектор v, для которого Mv с (V')х.
< См. утверждение 2.2, приведенное в работе [3, § 2]. ►
Пусть v е У — некоторый вектор, такой что | Hv |< да. Тогда =0, и для любого элемента h е Hv имеем
dim ((E - h)Nv) = dim ((E - h)V) - dim ((E - h)(h v)) = = rk(E - h) - rk (E - Ad(h)) = ro(h).
В частности, элемент h e Hv принадлежит подмножеству QcH, если и только если он действует на подпространстве Nv с V псевдоотражением либо тождественно.
Лемма 4. Если V / H — гомологическое многообразие, то для всякого вектора v е V, такого что | Hv |< да, имеем (Hv nQ)-[Hv,Hv] = Hv.
< Вытекает из теоремы 4 и следствия 1. ►
Доказательства результатов. Теперь докажем теоремы 2 и 3 для рассматриваемого представления G : V.
Стабилизатор общего положения этого представления конечен, вследствие чего dim( V / G) = dim V - dim G = dim V - m. Множество P с g весов представления G : V удовлетворяет равенству (P) = g. Легко заметить, что Ad(G0) = {E} и |Ad(G)|<<x>. Примем ю(g):=rk(E - g) -rk(E - Ad(g)) e Z (g e G) и П :={g e G: <»(g) e {0,2}} с G.
Изотипную компоненту представления G0 : V, соответствующую неприводимым представлениям с произвольным весом A,eP, обозначим через V%. Для всякого XeP\{0} изотипная компонента V% сV обладает структурой комплексного пространства, на котором группа G0 действует скалярными линейными операторами. Пространство V разложимо в прямую сумму своих попарно ортогональных подпространств V% (A, е P), переставляемых группой G.
Имеем Ad(G)P = P и gVx = Vaj(gд (keP, g e G). В частности, GV0 = V0.
Кроме того, V0 = Vg0 . Подпространство V^ с V разложимо в прямую сумму попарно ортогональных изотипных компонент V% сV (XeP\{0}), переставляемых группой G, и обладает G0-инвариантной структурой комплексного пространства размерностью ||p||.
Пусть XeP \{0} — произвольный вес. Элемент g е G переводит в себя изотипную компоненту V% с V, если и только если Ad(g)Х = ±А,, действуя на ней при Ad(g)Х = X (соответственно при Ad(g)Х = —X) линейно (соответственно антилинейно) над полем С.
Пусть S с V — единичная сфера евклидова пространства V, D с G — подмножество {g е G: Vg ф 0} = {g е G : Sg = U Gv = UGv, а Gst — нор-
veV veS v
мальная подгруппа Ли ^G0 ^D^ с G. Группа Ли G/G st конечна, а действие (G / Gst): (S / Gst) свободное.
Предложение 2. Если g e G и gAd( g' Ф 0, то g e Gst.
< Рассмотрим подгруппу Ли H := ZG (g) с G.
По условию h :=Lie H = gAd(g' Ф 0, отсюда dim H >0. Поскольку представление H0 :V точное, некоторая его изотипная компонента V'сV обладает комплексной структурой, такой что (H0)|V' = ТЕ с GLc (V'). Далее g е Z(H) с H, AdH (g) = idh, вследствие чего gV' = V' и g |V-g GLC (V'). Найдется вектор v eV' \{0}, являющийся собственным для оператора g |V'G GLC(V'). Имеем gv e Tv = H0v, g e H°GV с Gst. ►
Следствие 6. Справедливо включение Ker Ad с Gst.
Предложение 3. Если m = 1 и V0 =0, то подгруппа H := ((Ker Ad) n D) <i G конечна.
< Обозначим через n число ||P|| e N, а через ф — изоморфизм групп Ли
G0 ^ Т.
Пространство V обладает структурой комплексного пространства с базисом {е1,...,en},удовлетворяющей для некоторых натуральных чисел k^,...,kn
условиям G0 с Ker Ad с GLC (V) и gej = (cp(g ))kj ej eV, где g e G0 и j = 1,..., n. Легко видеть, что (Ker Ad) n D с H с Ker Ad с GLC (V).
Примем k0 :=| G/G0 |e N, k := k1 ...kn e N и k' := k1 + ... + kn e N.
Рассмотрим произвольный элемент h e (Ker Ad) nD. Ясно, что g := hk0 e G0 nD. Найдется число j e {1,..., n}, удовлетворяющее равенству (9(g))kj =1. Отметим, что gkj = E, gk = E, hk0k = E, (detc h)k0k = detc(hk0k) = 1.
Следовательно, равенство (detc h)k0k = 1 выполняется для любого h e (Ker Ad) n D, таким образом, и для любого h g H. В частности, если h е G0 n H — произвольный элемент, то 1 = (detс h)k0k = (9(h))kk0k. Отсюда | G0 n H | = | 9(G0 n H)| < k'k 0k < да, | H |< да.
До конца работы будем полагать, что V / G — гомологическое многообразие, а P с g — 2-устойчивое множество.
Имеем |р|| > m + 2, dim V > 2m + 4 >4, dim S >3. Поэтому сфера S с V связна и односвязна. Согласно лемме 1, M := S / G — гомологическая сфера. Кроме того, dim( V / G) = dim V - m > (2m + 4) - m >4, dim M > 3. Отсюда (см. лемму 1)
(7i1(M) )/[7i1(M), ^(M )]= H1(M) = 0; (1)
(^(M) = {e} )^(^2(M) = 0 ). (2)
Лемма 5. Группа G / Gst совпадает со своим коммутантом.
^ Поскольку сфера S с V связна, факторпространство S / Gst связно. Далее, как уже было отмечено, | G / Gst |< да, а действие (G / Gst): (S / Gst) свободное. Фактор данного действия гомеоморфен M , а отображение факторизации (S / Gst) ^ M является накрытием со слоем G / Gst. Следовательно, существует сюръективный гомоморфизм n1(M) ^ G/Gst. Ввиду (1) rn1(M) = [7t1(M),^1(M)], что влечет требуемое. ►
Теорема 5. Если т = 1 и У0 =0, то Аа(Б) э -Б.
< Допустим, что утверждение теоремы не выполняется, т. е. что Б с Кег Аа.
В силу предложения 3 Н :=( Б) < О — конечная подгруппа Ли, а О := О / Н — одномерная группа Ли. Согласно следствию 6, Кег Аа с О^ = (О0 ^ Б^ с Кег Аа, Кег Аа = ( в0 и б) = О0Н, С / (С)0 = в / О0 Н) = в / (Кег Аа) = АаО).
Из связности и односвязности сферы 5 с V, а также соотношений Б = {_£ е О Ф 0} с О, Н = (Б) < О и | Н |< да вытекает, что факторпростран-ство 5 / Н связно и односвязно, а действие С: (Б / Н) — свободное. Его фактор гомеоморфен М, а отображение факторизации (Б / Н) ^ М есть локально тривиальное расслоение со слоем С. Рассмотрим участок точной гомотопической последовательности я2 (М) ^ щ (С) ^ я^Б / Н) ^ щ (М) ^ С / (С)0 ^ 0. Поскольку я^ / Н ) = {е} и Я1С) = 2, имеем я2(М) * 0 и я^ М) = С /О ')0 = АаО). Наконец, ввиду (1), щ(М) = [я1(М), Я1(М)] = [Аа(О),Аа(О)] = {Б}, т(М) = {е}, что противоречит (2). ►
Теорема 6. Если т = 1 и У"0 =0, то Аа(О) Э -Б.
< Допустим, что утверждение теоремы не выполняется, т. е. Ос Кег Аа.
Имеем (О)с Кег Аа и, кроме того, [О, О] с КегАа, откуда (О^О, О] с
с Кег Аа.
Рассмотрим произвольный вектор V е Б. Легко заметить, что | О, |< да. Согласно лемме 4, О, = (О, п О) • [О,, О, ] с (О) • [О, О] с Кег Аа.
Таким образом, для всякого V е Б выполнено включение О, с Кег Аа. Следовательно, Б = у О, с Кег Аа, что невозможно в силу теоремы 5. ►
Теорема 7. Если т = 1 и У"0=0, то Аа(О) = {+Б} и ||Р|| = 3.
< Согласно теореме 6, найдется элемент g еО, такой что Аа( g) = - Б. Имеем Аа(О) = {+Б}, п :=||Р\\ > 3, гк(Б - Аа(g)) = 1 и ю(g) < 2, откуда гк(Б -g) < < 3. Пространство V обладает структурой п-мерного комплексного пространства, на котором элемент g е О действует антилинейно. Следовательно, гк(Б - g) > > п > 3 > гк(Б - g), п = 3. ►
Для конечного подмножества Q с 0*, рассматриваемого с учетом кратно-стей своих элементов, подалгебры )с 0 и вектора ^£0, примем Q |) :=Я |)е )*: с )* и Qi= :={^ : Щ) * 0} cQ.
Пусть , eV — произвольный вектор. Имеем 0,(0,) = 0(0,,) = 0, 0, с с с V
и, как следствие, М =(0,)© N° с VGo. Представление О,: V точное, а множество его весов совпадает с множеством Р |0, с 0,. Таким образом, представление О,?: М, точное, а множество его весов с точностью до нулей совпадает с множеством Р |0, с 0,.
Теорема 8. Если т = 1, то Аё(С) = {+Е} и ||р|| = 3.
< Согласно утверждению 3, существует вектор V еУ0, для которого Му с У0Х. Далее, в силу следствия 5 Mv / Gv — гомологическое многообразие. Имеем Gv з G0, Gv = G0, 0V =Ые Gv = 0, Gv = 1. Представление Gv : Mv точное, а множество его весов с точностью до нулей совпадает с множеством
Р с При этом Mv с У,1, откуда мЯ = = 0. Осталось применить теорему 7 к представлению Gv: Мх,. ►
Лемма 6. Пусть О с Р — подмножество, для которого П (Кег X) = Щ с 0,
ХеО
^е0\{0}. Тогда Аад^эЧ и ||Р=|| = 3.
< В каждой изотипной компоненте У^сV (^ е О ) выберем ненулевой вектор Vx. Примем v := ^ VxeУ. Имеем Це Gv = 0V = Р| (Кег X) = Щ с 0, Gv = 1.
ХеО ХеО
Представление Gv: Mv точное, а множество его весов с точностью до нулей совпадает с 2-устойчивым множеством Р с ^. Согласно следствию 5, Mv / Gv — гомологическое многообразие. Далее, в силу теоремы 8 (Ad(GV)) |flv = = {+ } с O(0v), Ad(Gv£ = {±£} с 0v, Ad(G)^э-^, а также || Р |Bv || =3, Щ =
=11 Р 1( ®Ы1 = 3. ►
Перейдем к доказательству теоремы 2.
Поскольку (Р} = 0, множество Р с 0 = 0* представляется в виде объединения (с учетом кратностей векторов) своих подмножеств Р' и Р', таких что подмножество Р с 0 не содержит кратных векторов и совпадает с некоторым базисом {А4,...,Хт} пространства 0*. Существует базис ,£,т} простран-
ства 0, удовлетворяющий равенствам Х^ (£,^) = 5у (г, ] = 1, ...,т).
Имеем || Р||=1 (} = 1,..., т) и || р. Др. || = 2 (72 =1,..., т, )1 ф Далее, для всякого ] = 1,...,т пересечение ядер всех весов Хг еР (г = 1,..,т, г Ф ]) есть не что иное, как подпространство Щ,^ с 0, %^ е 0 \{0}, и, согласно лемме 6, ||Р|| = 3, ||Р§" || = ||Р^. ||-1|Р^ || = 2.
т
Легко заметить, что Р" \{0} = с Р".
j=l '
Покажем, что среди подмножеств Р^" сР" (j = 1,...,т) никакие два различных не пересекаются.
Допустим, что ф и п Р' Ф0 для некоторых j1, j2 е {1,..., т}.
Ясно, что j1 ф j2. Таким образом, || P^'jl ДР. У = 2. Кроме того, найдется вес ХеР, такой что с1 := Х(£,л) Ф 0 и с2 := Х(£,j2) Ф 0. Пересечение ядер всех весов X, е Р (г = 1,...,т , г ф ']1, j2) и ХеР совпадает с подпространством Щс0, % := с2£,j1 -j2 е 0 \{0}, и в силу леммы 6 ||Р=|| = 3. Из соотношения с1, с2 ф 0
вытекает, что APj сP, || ^Щп ||< Ц^Ц = 3, || Щ2 || = || ^Щп || -- II Р;'л 11^ 1. В то же время || P?h || = У Pfj2 || = 2 и Цк Ф P?h, откуда || P^i ^P'j2 II — 2. Получили противоречие.
Тем самым установили, что среди подмножеств P?j с P" (j = 1,..., m) никакие два различных не пересекаются.
p p
Следовательно, существуют разложения {1,..., m} = Ц7; и P" \{0} = Ц<3"с P"
i=i i=i
(p еN),где Ii с{1,...,m}, Ii Ф0, Qfc P"\{0}, ||Qf| = 2 (I = 1,...,p), и, кроме того, Pj = Qfc P" (I = 1,..., p, j e h).
Рассмотрим произвольное число I e {1, ..., p}.
Пусть Ql с P' — подмножество, включающее в себя каждый вектор X, е g*, i е Ii, с кратностью 1 и не содержащее других векторов пространства g*, а Qi с P — объединение (с учетом кратностей векторов) подмножеств Q; с P' и Q"c P". Если XeQ"с P" и j е{1,..., m}\ Ii, то A^P", Щ j ) = 0. Следовательно, = 0*, Q = ( Q')c g*, dim Qi) = dim( Q?) =| Q! |=||Q,'||,
IIqHI = 1 |Q/||+I |Q"II = dim Qi)+2.
p p p p
Имеем g* = ©(Qi) = ©(Q) и P' = UQ/cP\{0}, откуда P\{0} = UQi cP.
i=1 i=1 i=1 i=1
Таким образом, множество P \{0}c P разложимо на компоненты Qi с P (i = 1,...,p). Для всякого i = 1,...,p компонента Qi сP является 2-устойчивой и в силу равенства ||Q^| = dim (Qi) + 2 неразложимой. Тем самым теорема 2 доказана. Теорема 9. Имеем Gst = G.
Доказательству теоремы 9 предпошлем несколько вспомогательных утверждений.
Лемма 7. Пусть Г с Ad(G) — коммутативная подгруппа нечетного порядка. Тогда gr ф 0.
< Предположим, что gr = 0, т. е. что тавтологическое представление Г: g не имеет инвариантов.
Пусть Q с g — некоторая неразложимая компонента множества P с g, Г' — подгруппа {у е Г: yQ = Q} = {уеГ: у (Q) = (Q)} сГ, а Q — множество всевозможных прямых ЖАeg, XeQ\{0} (без учета кратностей прямых). Ясно, что r'Q = Q.
Линейные оболочки всех неразложимых компонент множества P с g — линейно независимые подпространства пространства g, переставляемые группой Г, и, согласно лемме 2, представление Г': (Q) не имеет инвариантов. При этом Г' с Г — коммутативная группа нечетного порядка. В силу следствий 3 и 4
число m' := dim(Q) е N четно, а любая орбита действия Г': Q состоит из нечетного числа линейно зависимых прямых. В частности, m' > 2.
Неразложимая компонента Q с g множества P с g является 2-устойчивой и, согласно теореме 2, удовлетворяет равенству ||Q|| = dim( Q) + 2. Таким образом, в множестве Q с g любые ненулевые векторы числом не более m' линейно независимы. Поскольку m' > 2, все ненулевые векторы этого множества попарно не пропорциональны. Следовательно, множество Q включает в себя ровно m' + 2 прямых, среди которых любые числом не более m' линейно независимы.
С учетом изложенного выше любая орбита действия Г': Q имеет нечетный порядок, не меньший m' +1. При этом | Q |=m' + 2:2, следовательно, порядок любой орбиты действия Г': Q равен m' +1. Отсюда m' + 2=|Q |:m' +1, 1:m' +1 > 1. Получили противоречие. ►
Следствие 7. Если А е Ad(G) и Ak = E, где k — нечетное натуральное число, то gА ф 0.
< Подгруппа Г :=( A) с Ad(G) является коммутативной и имеет нечетный порядок. В силу леммы 7 gA = gr Ф 0. ►
Число |Ad(G)|e N представимо в виде 2d0 k0, где d0 е Z>0, а k0 — нечетное натуральное число.
Предложение 4. Пусть g е G — произвольный элемент, тогда h := g2d0 е Gst.
^ Примем А := Ad(h) = (Ad(g))2d0 e Ad(G). Имеем Ak0 =(Ad(g))2d0 k0 = E и в силу следствия 7 gAd(h) = gA ф 0. Согласно предложению 2, h е Gst. ►
Следствие 8. Для всякого у е G / Gst имеем у2 = e.
Теперь можно доказать теорему 9.
Напомним, что группа Ли G / Gst конечна. С одной стороны, в силу следствия 8 указанная группа является конечной 2-группой и потому разрешима. С другой стороны, согласно лемме 5, группа G / Gst совпадает со своим коммутантом. Отсюда G / Gst = {e}, Gst = G.
Тем самым теорема 9 доказана.
Перейдем к доказательству теоремы 3.
Предположим, что утверждение теоремы не выполняется. Докажем, что оно не выполнено для некоторой компактной линейной группы Ли с размерностью пространства менее dim V : это позволит доказать теорему индукцией по dim V.
Согласно теореме 9, ^G0 ^ D^ = Gst = G. Другими словами, группа G порождается своими подгруппами G0 и Gv (v е V \{0}). В то же время в группе G объединение подгрупп G0 и Gv (v eV, | Gv |< » ) порождает подгруппу H ф G. Следовательно, существует вектор v е V \{0}, такой что подгруппа Gv с G является бесконечной и не содержится в подгруппе H с G.
Представлению Gv : Mv отвечает гомоморфизм групп Ли R: Gv ^ O (Mv). Примем V' := Mv с Nv с V и G' := R(GV) с O (Mv ) = O(V').
Докажем, что тавтологическое представление С: V' является искомым.
Очевидно, что представление С: V' точное.
Имеем С°! = Тт', где т' :=ё1ш Су е N. Кроме того, представление С°° : Иу
точное, и поэтому (Кег Я) п С0 = {е} с С0. Отсюда (С)0 = Я(С0) = С0 = Тт' и |Кег Я | < да.
Множество весов представления Су : Иу с точностью до нулей совпадает с 2-устойчивым множеством Р |Ву с ду. Поскольку |Кег Я |<®, множество весов представления С: V' также 2-устойчиво.
Ясно, что Иу / Су = V' / С'. В силу следствия 5 фактор Иу / Су является гомологическим многообразием; то же можно утверждать и о факторе V' / С'.
Отметим, что 0 ф у е с (ду) © = Иу = (VО1 с V. Таким образом, а1ш V' <а1ш V.
Пусть и — подмножество {у' е V' :| Су |< »} с V', а Н' — подгруппа группы С', порожденная подгруппами (Сс С и Су> с С (у' еи ). Покажем, что Н' Ф С'.
В силу соотношения (С)0 = Тт стабилизатор общего положения точного представления С: V' конечен. Следовательно, и Ф0.
Рассмотрим произвольный вектор у'еи. Имеем | Су |< да и |Кег Я |< да. Поэтому | Я_1(С/ )|< да. Кроме того, у 'еи с V' = Иу с Ыу. Следовательно, найдется число веЖ>0, для которого Су+8у- с Су. Очевидно, что Су+8у- = = Су п Су' = Я-1(СУ') с Су. Таким образом, Я^С) = Су+еу> с Су и | Я~1(СУ')|< да, откуда Кег Я с Я^(С'у) с Су п Н, С'у> = Я (я-1(Су'))с Я(Су п Н).
Тем самым стало ясно, что для любого у' е и выполнены включения Кег Я с Су п Н и Су' с Я(Су п Н). Поскольку и Ф0, имеем Кег Я с Су п Н. Отметим, что С0 с Н, С0 с Су п С0 с Су п Н, (С)0 = Я(С0) с Я (Су п Н). Следовательно, Н'с Я(Су п Н), Я^1(Н') с Я"1 ( Я(Су п Н)) = (Кег Я)(Су п Н) с с (Су п Н)(Су п Н) = Су п Н с Н.
Если Н' = С', то Су = Я_1(Н') с Н, что неверно. Поэтому Н' Ф С'.
Таким образом, представление С: V' является точным, удовлетворяет неравенству а1ш V' < а1ш V и не удовлетворяет утверждению теоремы.
Тем самым теорема 3 доказана.
Заключение. В настоящей работе вопрос о том, является ли фактор-пространство компактной линейной группы многообразием, изучен для бесконечной группы с коммутативной связной компонентой. Получены важные необходимые условия в предположении 2-устойчивости множества весов (как было показано ранее, произвольный случай можно свести к данному). Результаты работы создают основы для полного исследования случая 2-устойчивого множества весов.
ЛИТЕРАТУРА
1. Михайлова М.А. О факторпространстве по действию конечной группы, порожденной псевдоотражениями // Известия АН СССР. Сер. матем. 1984. Т. 48. Вып. 1. С. 104-126.
2. Lange C. When is the underlying space of an orbifold a topological manifold? URL: https://arxiv.org/abs/1307.4875 (дата обращения: 15.02.2017).
3. Стырт О.Г. О пространстве орбит компактной линейной группы Ли с коммутативной связной компонентой // Труды ММО. 2009. № 70. С. 235-287.
4. Бредон Г. Введение в теорию компактных групп преобразований. М.: Наука, 1980. 440 с.
Стырт Олег Григорьевич — канд. физ.-мат. наук, доцент кафедры «Математическое моделирование» МГТУ им. Н.Э. Баумана (Российская Федерация, 105005, Москва, 2-я Бауманская ул., д. 5, стр. 1).
Просьба ссылаться на эту статью следующим образом:
Стырт О.Г. Топологические и гомологические свойства пространства орбит компактной линейной группы Ли с коммутативной связной компонентой // Вестник МГТУ им. Н.Э. Баумана. Сер. Естественные науки. 2018. № 3. C. 68-81. DOI: 10.18698/1812-3368-2018-3-68-81
TOPOLOGICAL AND HOMOLOGICAL PROPERTIES OF THE ORBIT SPACE OF A COMPACT LINEAR LIE GROUP WITH A COMMUTATIVE CONNECTED COMPONENT
O.G. Styrt styrt@bmstu.ru; oleg_styrt@mail.ru
Bauman Moscow State Technical University, Moscow, Russian Federation
Abstract
The purpose of the work was to find whether the compact linear group space factor is a topological manifold, as well as a homological manifold. The paper studied the case of an infinite group with a commutative connected component. In previous research a method of reducing an arbitrary representation to a representation with a 2-stable set of weights was introduced. Findings of the research helped to obtain important necessary conditions in the case of a 2-stable weight set
Keywords
Lie group, linear representation of a group, topological quotient of an action, topological manifold, homological manifold
Received 03.04.2017 © BMSTU, 2018
This work was supported by a grant from the RFBR (no. 16-01-00818-a)
REFERENCES
[1] Mikhailova M.A. On the quotient space modulo the action of a finite group generated by pseudoreflections. Mathematics of the USSR-Izvestiya, 1985, vol. 24, no. 1, pp. 99-119.
DOI: 10.1070/IM1985v024n01ABEH001216
[2] Lange C. When is the underlying space of an orbifold a topological manifold? Available at: https://arxiv.org/abs/1307.4875 (accessed: 15.02.2017).
[3] Styrt O.G. On the orbit space of a compact linear Lie group with commutative connected component. Trans. Moscow Math. Soc., 2009, pp. 171-206.
DOI: 10.1090/S0077-1554-09-00178-2
[4] Bredon G.E. Introduction to compact transformation groups. Academic Press, 1972. 459 p.
Styrt O.G. — Cand. Sc. (Phys.-Math.), Assoc. Professor, Department of Mathematical Simulation, Bauman Moscow State Technical University (2-ya Baumanskaya ul. 5, str. 1, Moscow, 105005 Russian Federation).
Please cite this article in English as:
Styrt O.G. Topological and Homological Properties of the Orbit Space of a Compact Linear Lie Group with a Commutative Connected Component. Vestn. Mosk. Gos. Tekh. Univ. im. N.E. Baumana, Estestv. Nauki [Herald of the Bauman Moscow State Tech. Univ., Nat. Sci.], 2018, no. 3, pp. 68-81 (in Russ.). DOI: 10.18698/1812-3368-2018-3-68-81
В Издательстве МГТУ им. Н.Э. Баумана вышел в свет учебник (5-е издание) под редакцией К.С. Колесникова, В.В. Дубинина
«Курс теоретической механики»
Изложены кинематика, статика, динамика точки, твердого тела и механической системы; аналитическая механика; теория колебаний; теория удара; введение в динамику тел переменной массы; основы небесной механики. Приведены примеры решения задач. Содержание учебника соответствует программе и курсу лекций, которые читаются в МГТУ им. Н.Э. Баумана. Для студентов машиностроительных вузов и технических университетов. Может быть полезен аспирантам и преподавателям, а также специалистам в области статики и динамики механических систем.
По вопросам приобретения обращайтесь:
105005, Москва, 2-я Бауманская ул., д. 5, стр. 1 +7 (499) 263-60-45 press@bmstu.ru www.baumanpress.ru
