CC BY
12
24 ТРУДЫ БГТУ. 2015. № 6. Физико-математические науки и информатика. С. 24-28
УДК 514.765.1
Н. П. Можей
Казанский (Приволжский) федеральный университет
ТРЕХМЕРНЫЕ МНОГООБРАЗИЯ С РАЗРЕШИМОЙ ГРУППОЙ ПРЕОБРАЗОВАНИЙ И НОРМАЛЬНЫЕ СВЯЗНОСТИ НА НИХ
В работе представлена локальная классификация трехмерных однородных пространств, допускающих нормальную связность. В статье рассмотрен только случай разрешимой группы Ли преобразований, полная классификация которых до сих пор не представлена. Локальная классификация однородных пространств эквивалентна описанию эффективных пар алгебр Ли. Описаны все инвариантные аффинные связности на таких однородных пространствах вместе с их тензорами кривизны и кручения. Исследованы алгебры голономии однородных пространств и найдено, когда инвариантная связность нормальна. В работе применен алгебраический подход для описания связностей, методы теории групп Ли, алгебр Ли и однородных пространств. Полученные результаты могут быть использованы при исследовании многообразий, при изучении пространств с аффинной связностью, а также могут применяться в общей теории относительности, которая с математической точки зрения базируется на геометрии искривленных пространств, в ядерной физике, физике элементарных частиц и др.
Ключевые слова: нормальная связность, однородное пространство, группа преобразований, алгебра голономии.
N. P. Mozhey
Kazan (Volga Region) Federal University
THREE-DIMENSIONAL MANIFOLDS WITH SOLVABLE TRANSFORMATION GROUP AND NORMAL CONNECTIONS ON THEM
In this paper we present a complete local classification of three-dimensional homogeneous spaces which admit a normal connection. In the paper we concerned only one case when Lie group of transformations is solvable but the complete classification of which is not represented yet. The local classification of homogeneous spaces is equivalent to the description of effective pairs of Lie algebras. We describe all invariant affine connections on such homogeneous spaces together with their curvature and torsion tensors. In this paper we study the holonomy algebras of homogeneous spaces and find that the invariant connection is normal. In this work we use the algebraic approach for description of connections, methods of the theory of Lie groups, Lie algebras and homogeneous spaces. The results can be applied to the study of manifolds, of spaces with affine connection, and may have applications in the general theory of relativity, which, from a mathematical point of view, based on the geometry of curved spaces, in nuclear physics, elementary particle physics, etc.
Key words: normal connection, homogeneous space, transformation group, holonomy algebra.
Введение. Понятие нормальной связности для риманова многообразия ввел Э. Картан. Многообразия с нулевым кручением (т. е. с плоской нормальной связностью) изучали почти одновременно Д. И. Перепелкин и Фабрициус -Бьерре, а также Э. Картан. Итоги этих исследований подведены в монографии Чена [1]. Нгуеи Ван Хей изучал условия существования инвариантной аффинной связности на однородном пространстве. Его результат обобщает некоторые результаты Номидзу и связан с проблемой ха-рактеризации аффинной связности, которая допускает транзитивную группу аффинных преобразований. Эта проблема изучалась Амброузом, Зингером, Номидзу и др. Связность на многообразии определяет через параллельный перенос понятие голономии. Важными примерами являются голономия связности Леви - Чивиты
в римановой геометрии (называемая риманова голономия), голономия связностей в векторных расслоениях, голономия связностей Картана и др. В каждом из этих случаев голономия связности может быть описана через группу Ли - группу голономии. Исследование голономии было начато Картаном для изучения и классификации симметрических пространств, позже группы голономии использовались, чтобы изучить рима-нову геометрию в целом. Аффинные группы го-лономии - группы, возникающие как голономии аффинных связностей без кручения; те, которые не являются римановыми или псевдоримановы-ми, также известны как неметрические группы голономии. Теория связностей имеет много приложений, например, в калибровочных моделях фундаментальных взаимодействий связности на главных расслоениях интерпретируются как ка-
либровочные поля - переносчики взаимодействий, характеризуемых той или иной группой симметрий.
Основная часть. Пусть M - дифференцируемое многообразие, на котором транзитивно действует группа G (М, G) - однородное пространство, G = Gx - стабилизатор произвольной точки x е М. Проблема классификации однородных пространств (М, G) равносильна классификации (с точностью до эквивалентности) пар групп Ли G), где G с G, так как многообразие M может быть отождествлено с многообразием левых смежных классов G / G. Изучая однородные пространства, важно рассматривать не саму группу G, а ее образ в Diff (М), другими словами, достаточно изучать только эффективные действия группы G на многообразии M. Широкий класс среди однородных пространств образуют однородные пространства с разрешимой группой преобразований. Их исследование существенно затруднено тем, что в отличие от полупростых алгебр Ли не разработана структурированная теория их классификации, а сама классификация является громоздкой и трудоемкой. О «разрешимых» римановых многообразиях, на которых транзитивно действует разрешимая подгруппа полной группы изометрий, смотрите в [2]. Пусть 0 - алгебра Ли группы Ли G, а 0 - подалгебра, соответствующая подгруппе G. Пара (0,0) алгебр Ли называется эффективной, если подалгебра 0 не содержит отличных от нуля идеалов 0. В дальнейшем будем предполагать, что G - связная подгруппа, что всегда можно сделать, ограничиваясь локальной точкой зрения. Изотропное действие группы G на ТХМ -это фактор-действие присоединенного действия G на 0: 5.(x + 0) = (Ads)(x) + 0 для всех s е G, x е 0: При этом 0 действует на касательном пространстве TxM = 0 / 0 как x.(y + 0) = [ x, у] + + 0 для всех x е 0, у е 0. Пара (0,0) называется изотропно-точной, если точно изотропное представление подалгебры 0. С геометрической точки зрения это означает, что естественное действие стабилизатора G x произвольной точки xе М на ТХМ имеет нулевое ядро.
Поскольку однородное пространство допускает аффинную связность, 0-модуль 0 / 0 точен. Для определения всех изотропно-точных пар коразмерности три нужно классифицировать (с точностью до изоморфизма) все точные трехмерные 0-модули U (это эквивалентно классификации подалгебр в 0l(3, Ж) с точностью до сопряженности), а далее найти (с точностью до эквивалентности) все пары (0,0) такие, что 0-модули 0 /0 и U эквивалентны. Все такие пары codimg0 = 3 определены в [3], дальнейшая нумерация пар соответствует приве-
денной там. Ограничимся случаем с ненулевым стабилизатором, так как все остальные однородные пространства - просто трехмерные группы Ли. Там, где это не будет вызывать разночтения, будем отождествлять подпространство, дополнительное к 0 в 0, и фактор-пространство т = 0 / 0. Аффинной связностью на паре (0,0) называется такое отображение Л: 0 ^ 0l(т), что его ограничение на 0 есть изотропное представление подалгебры, а все отображение является 0-инвариантным. Хорошо известно, что инвариантные аффинные связности на однородном пространстве (М, G) находятся во взаимно однозначном соответствии с аффинными связностями на паре (0,0). Поскольку тензоры кривизны и кручения инвариантны относительно действия группы Ли G, то они однозначно определяются тензорами на касательном пространстве к многообразию, причем эти тензоры инвариантны относительно изотропного действия. Тензор кручения T е 1тТ2 (т) имеет вид
T(-^т, Ут ) = Л(^Ут - Л(У)xm - [x, У]т, тензор кривизны Я е (т) выглядит так
Я(Xm, Ут ) = [Л(x),Л(у)]-Л([, У]), V x, у е G.
Переформулируем теорему Вана об алгебре группы голономии инвариантной связности: алгебра Ли группы голономии инвариантной связности Л: 0 ^ 01(3,Ж) на паре (0,0) - это подалгебра алгебры Ли 01(3, Ж) вида
V + [ Л( 0),У ] + [Л( 0),[ Л( 0),У ]] +...,
где V - подпространство, порожденное множеством {[Л^), Л( у)]-Л(^, у])| x, у е 0}. Положим а равной подалгебре в 01(3, Ж), порожденной множеством {Л(x); x е 0 }. Первоначально а была введена в римановом случае Костантом и использовалась Лихнеровичем и Ваном в более общей ситуации. Основное свойство а таково: пусть ^ - алгебра Ли группы голономии, тогда ^ с а с ), где Ы(\) ) - нормализатор ^ в 01(3,Ж). Будем говорить, что инвариантная связность нормальна, если ^ = а.
Дадим геометрическую интерпретацию понятию нормальной связности: пусть Р есть инвариантная структура на однородном пространстве М. Фиксируем инвариантную связность в Р и пусть Р(и0) - расслоение голономии через репер и0 е Р. Тогда связность нормальна тогда и только тогда, когда каждый элемент из G отображает Р(и0) в себя. В силу теоремы редукции для определенного типа проблем, связанных со связностью в главном расслоении, можем считать, что Р есть расслоение голономии.
Такое упрощение, вообще говоря, недостижимо, если О не отображает расслоение голо-номии в себя. Сформулированный результат означает, что если инвариантная связность на однородном пространстве нормальна, то теорема редукции все еще может быть успешно использована. Из него следует, что если инвариантная связность нормальна, то каждое параллельное тензорное поле на М инвариантно под действием О. Это утверждение было доказано Лихнеровичем.
Будем описывать пару (0, 0) при помощи таблицы умножения алгебры Ли 0. Здесь через {еь...,еп} обозначен базис 0 (п = 0). Будем полагать, что подалгебра Ли 0 порождается векторами еь ..., еп-з, а {еп-2,еп-Ьеп} -базис т. Для нумерации пар будет использована запись ё.п.т, где ё - размерность подалгебры, а п - номер подалгебры в 01(3, Ж), т -номер пары (0,0), соответствующий приведенному в [3]. Будем описывать аффинную связность на трехмерном однородном пространстве через образы базисных векторов Л(еп-2), Л(еп-1), Л(еп), тензор кривизны Я - через Д(еп_2, еп-1), Я(еп-2, еп), Я(еп-Ь еп), а тензор кручения Т - через Т(еп-2,еп-1), Т(еп-2,еп), Т (еп-1, еп). Для упрощения записи будет предполагаться, что переменные обозначены х, у, г и принадлежат Ж, а параметры, при их наличии, обозначаются X, ц.
Теорема. Пусть 0 - подалгебра алгебры Ли 01(3,Ж) такая, что пара (0,0) допускает нормальную связность и 0 разрешима. Тогда 0 сопряжена одной и только одной из следующих подалгебр:
3.20
у х
цу
ц = 0, -1,
х У х
2.17 у , 2.20
х у х
2.21 У , 11 Хх
-х
Х = 0, -1,
х х х
1.3 - х , 15 , 18 х
Подалгебра 1.3 допускает риманову метрику, подалгебры 1.1, 1.8 допускают псевдорима-нову метрику, а 3.20, 2.9, 2.17, 2.20, 2.21 и 1.5 не допускают инвариантную метрику.
Доказательство. Для получения результата, приведенного в теореме, из пар, найденных в [3], выбираем допускающие нормальную связность, выписываем соответствующее изотропное представление, находим аффинные связности, алгебры голономии, а также определяем, при каких условиях связность является нормальной.
Рассмотрим, например, пару типа 2.9.
Лемма. Любая пара (0,0) типа 2.9 при X = 0, ц = 0, -1 эквивалентна одной и только одной из пар 2.9.1, 2.9.2, 2.9.4-2.9.7.
Доказательство. Пусть Е = {е1, е2} - базис 0,
где
(1 0 0 > (0 0 1 ^
е1 = 0 X 0 , е2 = 0 0 0
V0 0 ц V V 0 0 0 V
Через Ь обозначим нильпотентную подалгебру алгебры Ли 0, порожденную вектором е1. Тогда имеем:
0
0(0)№) з I
(1-ц)й) з:
и (1)(ВД з ] и(Х)й) з] из:
Положим: [м1, и2] = а1е1 + а2 е2 + а1и1 + а2и2 + а3и3, [м1, и3] = Ь1е1 + Ь2 е2 + Р1и1 + Р2и2 + Р3и3, [и2, и3] = с1е1 + с2 е2 + у1и1 + у 2и2 + у3и3. Рассмотрим следующие случаи:
1.цг {0,-2,2},-ц).
Тогда
[е1, е2] = (1 -Ц)е2,
[е1, и1] = и1, [е2, и1] = 0,
[е1, и2] = Xu2, [е2, и2] = 0,
[е1, и3] = ци3, [е2, и3] = и1.
Проверим тождество Якоби для троек (ег-,и],ик), I = 1,2, 1 < ] < к < 3, и (и1,и2,и3).
1. [е1,[и1,и2]] + [и1,[и2,е1]] + [и2,[е1,и1]] = 0, (1 - ц)а2е2 + а1и1 + Xа2u2 + ца3и3 - (X + 1)[и1,и2] = 0,
1. (X + 1)а1 = 0, 2. (ц + Х)а2 = 0, 3. Ха1 = 0,
4. а2 = 0, 5. а3 = 0.
2. [е2,[иьи2]] + [и1,[и2,е2]] + [и2,[е2,и1]] = 0,
(ц - 1)ае = 0, 6. (ц - 1)а1 = 0.
3. [еь[иьи3]] + [и1,[и3,е1]] + [и3,[е1,и1]] = 0,
(1 - ц)Ь2е2 + Рхи1 + Хв2и2 + цви - (ц + 1)[иьи3] = 0,
7. (ц + 1)Ь1 = 0, 8. Ь2 = 0, 9. р1 = 0, 10. (X - ц - 1)р2 = 0, 11. р3 = 0.
2
2
3
4. [е2,[иьиз]] + [иь[из,е2]] + [u3,[e2,uj] = 0,
(| - 1)^1^2 = 0, 12. bi = 0.
5. [еь[и2,из]] + [u2,[u3,ei]] + [u3,[ebu2]] = 0,
(1 - Ц)С2в2 + YU + \J2U2 + ЦУ3И3 - (Y + Ц)["2,Мз] = 0, 13. (X + |)c = 0, 14. (1 - X -2ц)с2 = 0, 15. Y = 0, 16. Y2 = 0, 17. XY3 = 0.
6. [б2,[И2,Из]] + [U2,[U3,e2]] + [Мз,[б2,М2]] = 0,
(| - 1)c1e2 + Y3u1 + a2e2 + a1u1 = 0, 18. a1 = 0, 19. a2 + (| -1)c1 = 0, 20. Y3 + a = 0.
7. [U1,[U2,U3]] + [U2,[U3,U1]] + [U3,[U1,U2]] = 0,
-ce + Y3P2U2 - 02U1 - a^u = 0, 21. С1 + a2 = 0, 22. p2(Y3 - a1) = 0.
Окончательно имеем:
X = 0: X = | +1:
[u1, u2] = a1U1, [u1, u2] = 0,
[u1, u3] = 0, [u1, u3] = P2u2, [u2, u3] = -a1u3, [u2, u3] = 0,
X = 1- 2|: + 1,X* 1-2|:
[U1, U2 ] = 0, [U1, U2 ] = 0,
[U1, U3] = 0, [U1, U3] = 0,
[u2, u3] = c2 e2, [u2, u3] = 0.
1.1. X = 0.
1.1.1. a1 = 0. Тогда пара (g, g) эквивалентна тривиальной паре (g1, g1).
1.1.2. a1 Ф 0. Если | Ф 0, тогда пара (g,g) эквивалентна паре (g4, g4) посредством отображения п: g4 ^ g, где
n(ei ) = et, i = 1,2, n(u1) = u1, n(u2) = a1u2, n(u3) = u3,
и в случае | = 1 пара (g, g) эквивалентна тривиальной паре при помощи отображения п|=1: g1 ^ g, где
ni=1 (ei ) = ei, i = 1,2, ni=1(u1) = U1, П|=1 (u2 ) = U2 -alel, П|=1 (U3 ) = U3.
1.2. X = 1 +
1.2.1. в2 = 0. Пара (g, g) тривиальна.
1.2.2. в2 ф 0. Тогда пара (g,g) эквивалентна паре (g2, g2) при помощи отображения п:
g2 ^ g, где
n(e1) = e1, n(e2) = p2e2, n(u1) = P2U1, n(u2) = u2, n(u3) = u3.
1.3. X Ф 1 + X Ф 1 - 2|. Тогда пара (g,g) тривиальна. Аналогично получим другие результаты леммы.
Пусть ni - максимальный нильпотентный идеал алгебры Ли g. Заметим, что dim n1 = 4 и
С3n1={0}, dimn2 = 4 иС3n2 Ф {0}, dimn =3 для i = 4, „.,7. Отсюда следует, что все пары (gi,g) для i = 2, „.,7 не эквивалентны тривиальной паре (g1,g1). Аналогично другие пары, определенные в лемме, не эквивалентны друг другу.
Прямыми вычислениями получаем, что для всех указанных пар типа 2.9 связность имеет вид
' 0 Р1,2 0 > ' 41,1 0 0 1
ЛЦ) = 0 0 Р2,3 , Л(u2) = 0 42,2 0
V0 0 0 , 0 V 0 41,1,
Л(^) =
0
0 0
л
Р2,з 0 0
V 0 Р1,2 0,
Рассмотрим пару 2.9.1 при X = 0, | = -1, тензор кривизны
(0 Л,242,2 - 4U Р1,2 0
0 0 Р2,з41,1 - 42,2Р2,3
0
(
0
-Р1,2Р2,3 0 0
0 2Р1,2Р2,3 0
0 0 -Р1,2Р2,3
0
Л
(
0
0
0
\
Р2,3Чи - 42,2Р2,3 0 0
ч 0 41,1 А,2 - Р1,242,2 0у
тензор кручения
(Р12 - 41,1,0,0), (0,2Р2,3,0),(0,0,41,1 - Р12).
Связность является нормальной при Р12 Ф 0, Р23 Ф 0, 422 = -2411, тогда алгебра голономии -з!(3, Ж).
Рассмотрим пару 2.9.2 при ц = -1, тензор кривизны
( 0 Р1,242,2 - 41,1 Р1,2 0^
0 0 Р2,341,1 - 42,2 Р2,3
0 0 0
(
■Р1,2Р2,3 - 41,1 0 0
0 2Р1,2Р2,3 - 42,2 0
0 0 -Р1,2Р2,3 - 41,1
Л
(
0
0
Р2,з41,1 - 42,2Р2,3 0 0
0 41,1 Р1,2 - Р1,2 42,2 0
Л
тензор кручения
(( - ^ДО))^ - 1,0),(0,0^1Д - ри).
Связность является нормальной при р^2 ф О, P2,з ф 0, 2q1,1 + q2,2 ф 0, тогда алгебра голоно-мии - $1(3, Ж), либо при p1,2 ф 0, р2,3 ф 0, 2q1,1 + + q2,2 = 0, тогда алгебра голономии - з!(3, Ж).
Рассмотрим пару 2.9.4 при ц = -1, тензор кривизны
(0 Pl,2q2,2 - ql,1 Pl,2 - А,2 0^
0 0 P2,3ql,1 - q2,2P2,3 - P2,3
0 0 0
0
2 Р1,2Р2,3
мии - з!(3, Ж). Изотропно-точные пары и нормальные связности на них в остальных случаях находятся аналогично.
Проводя аналогичные вычисления, получаем алгебры голономии:
f
pi,2 p2,3 0
0
0
0 0
pi,2 p2,3
л
3.20
2.21
f
p6 0 0
л
pi p2
p3 p5 pa - p3 у
f
p3 pi 0 Л p2 0 pI
0 p2 -p3
2.17
2.20
(0 0 5
0 0 s 0 0 I
л
0 s1 s Л
0 s3 s4
0 s 5 -s3 J
0 0 0
p 2,3^1,1 42,2 p2,3 - p2,3 0 0
0 41,1 pi,2 - pi,2 42,2 + pi,2 0
тензор кручения (Р1,2 -^,1 -1,0,0),(0,2Р2,3,0),(0,0,ql,l -ри +1).
Связность является нормальной при р12 ф 0, р2,3 ф 0, 2q1,1 + q2,2 = 0, тогда алгебра голоно-
В случае 2.9 алгебра голономии - з!(3, Ж), для остальных пар рассуждения аналогичны.
Заключение. Полученные результаты могут быть использованы при исследовании многообразий, при изучении пространств с аффинной связностью, а также могут иметь приложения в общей теории относительности, которая с математической точки зрения базируется на геометрии искривленных пространств, в ядерной физике, физике элементарных частиц и др.
Литература
1. Chen Bang-Yen. Geometry of submanifolds // Pure and Appl. Math. 1973. No. 22. 308 p.
2. Gordon Carolyn S., Wilson Edward N. Isometry groups of Riemannian solvemanifolds // Trans. Amer. Math. Soc. 1988. Vol. 307, no. 1. P. 245-269.
3. Komrakov B., Tchourioumov A., Mozhey N. Three-dimensional isotropically-faithful homogeneous spaces // Preprints Univ. Oslo. 1993. Vol. 1-3, no. 35-37. 432 p.
References
1. Chen Bang-Yen. Geometry of submanifolds. Pure and Appl. Math., 1973, no. 22, 308 p.
2. Gordon Carolyn S., Wilson Edward N. Isometry groups of Riemannian solvemanifolds. Trans. Amer. Math. Soc., 1988, vol. 307, no. 1, pp. 245-269.
3. Komrakov B., Tchourioumov A., Mozhey N. Three-dimensional isotropically-faithful homogeneous spaces. Preprints Univ. Oslo, 1993, vol. 1-3, no. 35-37, 432 p.
Информация об авторе
Можей Наталья Павловна — кандидат физико-математических наук, доцент, докторант. Казанский (Приволжский) федеральный университет (420008, г. Казань, ул. Кремлевская, 18, Российская Федерация). E-mail: [email protected]
Information about the author
Mozhey Natalya Pavlovna — Ph. D. (Physics and Mathematics), Assistant Professor, Doctoral Candidate. Kazan (Volga Region) Federal University (18, Kremlyovskaya str., 420008, Kazan, Russia). E-mail: [email protected]
Поступила 27.02.2015
