CC BY
7
38
Труды БГТУ, 2018, серия 3, № 2, с. 38-42
УДК 514.76
Н. П. Можей
Белорусский государственный университет информатики и радиоэлектроники
НОРМАЛЬНЫЕ СВЯЗНОСТИ НА НЕСИММЕТРИЧЕСКИХ ОДНОРОДНЫХ ПРОСТРАНСТВАХ
Цель работы - описание трехмерных несимметрических однородных пространств, допускающих нормальную связность, вместе с их тензорами кривизны и кручения, алгебрами голономии. Объектом исследования являются несимметрические пространства и связности на них. В статье определены основные понятия - изотропно-точная пара, редуктивное пространство, каноническое разложение, симметрическое пространство, аффинная связность, тензоры кривизны и кручения, алгебры голономии, нормальная связность. Приведено локальное описание трехмерных несимметрических однородных пространств с неразрешимой группой преобразований, допускающих нормальную связность. Локальное изучение однородных пространств равносильно исследованию пар, состоящих из алгебры Ли и ее подалгебры. Описаны в явном виде все инвариантные аффинные связности на найденных однородных пространствах, а также тензоры кривизны и кручения указанных связностей, выписаны канонические связности и естественные связности без кручения. Исследованы алгебры голономии указанных пространств и найдено, когда инвариантная связность нормальна. Результаты работы могут использоваться при исследовании многообразий, а также применяться в различных областях математики и физики, так как многие важные проблемы в этих областях связаны с исследованиями инвариантных объектов на однородных пространствах.
Ключевые слова: нормальная связность, симметрическое пространство, группа преобразований, алгебра голономии.
N. P. Mozhey
Belarusian State University of Informatics and Radioelectronics NORMAL CONNECTIONS ON NON-SYMMETRIC HOMOGENEOUS SPACES
The purpose of the work is the description of three-dimensional non-symmetric homogeneous spaces that allow normal connections together with their curvature and torsion tensors, holonomy algebras. The object of investigation - non-symmetric spaces and connections on them. The basic notions, such as an isotropically-faithful pair, a reductive space, a canonical decomposition, a symmetric space, an affine connection, curvature and torsion tensors, a holonomy algebra and normal connection are defined. The local description of three-dimensional non-symmetric homogeneous spaces with unsolvable Lie group of transformations, allowing normal connections, is given. The local study of homogeneous spaces is equivalent to the investigation of pairs consisting of Lie algebra and its subalgebra. All invariant affine connections on those spaces are described, curvature and torsion tensors, canonical connections and natural torsion-free connections are found. We have studed the holonomy algebras on the spaces and have found when the invariant connection is normal. The results can be used in the study of manifolds and can find application in various areas of mathematics and physics, since many fundamental problems in these areas relate to the investigation of invariant objects on homogeneous spaces.
Key words: normal connection, symmetric space, transformation group, holonomy algebra.
Введение. Теория связностей играет важную роль во многих областях математики и физики, например, калибровочные поля, лежащие в основе моделей математической физики, представляют собой компоненты локальной формы связности. Связность является нормальной, если каждый элемент группы преобразований отображает расслоение голономии в себя. Понятие нормальной связности ввел Э. Кар-тан для риманова многообразия [1]. Исследование нормальной связности наряду с другими условиями позволяет получить далеко идущие результаты об излучаемых многообразиях (см., например, работы Яно К., Исихара Ш., Эрбахе-ра Ж., Чена Б. и др., обзор исследований этого
направления дан в публикации [2]). Цель этой работы - описать трехмерные редуктивные несимметрические однородные пространства, допускающие нормальную связность, сами связности, их тензоры кривизны, кручения и алгебры голономии. Настоящая статья является продолжением работы автора [3] о нормальных связностях на однородных пространствах, в которой приведен более подробный тематический обзор, а также обоснование применяемых методов; при изложении сохранены обозначения, введенные ранее. В данной работе также изучаются нормальные связности, но внимание сосредоточено на несимметрических однородных пространствах.
Основные определения. Пусть М - дифференцируемое многообразие, _на котором транзитивно действует группа О, О = Ох -стабилизатор произвольной точки х е М. Пусть 0 - алгебра Ли группы Ли О, а $ - подалгебра, соответствующая подгруппе О. Пара ($) называется изотропно-точной, если точно изотропное представление 0. Там, где это не будет вызывать разночтения, будем отождествлять подпространство, дополнительное к $ в 0, и фактор-пространство т = 0 /0 .
Если подгруппа О связна, то однородное пространство О / О редуктивно при существовании разложения 0 = 0 + т, 0 п т = 0; [0,т] ^ т, а само разложение 0 = 0 + т называется каноническим [4]. Если, кроме того, [ т, т ] ^ 0, то пара (0,0) локально_задает симметрическое пространство М = О / О, в противном случае пространство не является симметрическим.
Аффинной связностью на паре (0,0) называется отображение Л: 0 ^ 01(т) такое, что его ограничение на 0 - изотропное представление подалгебры, а все отображение является 0 -инвариантным. Если пространство допускает инвариантную аффинную связность, то оно является изотропно-точным [4]. Редуктивные и симметрические пространства всегда допускают инвариантную аффинную связность.
Тензор кручения Т е 1тТ2(т) и тензор кривизны Я е ТпуТ^ (т) имеют вид
Т(хт, Ут ) = Л(х)Ут - Л(У)хт - [x, У]т;
Я( Хт, Ут ) = [Л( х), Л( у)]-Л([х, у])
для всех х, У е 0.
Одной из важнейших характеристик связности является группа голономии. Алгебра Ли Ь группы голономии инвариантной связности Л: 0 ^ 0[(3, Ж) на паре (0,0) - это подалгебра алгебры Ли 01(3, Ж) вида V + [Л(0),К ] + [Л(0),[Л(0),К ]] +..., где V -подпространство, порожденное множеством
{[Л( х), Л( У)] -Л([ х, У])|х, У е 0}.
Положим а равной подалгебре в 01(3, Ж), порожденной {Л(х)| х е 0}. Связность нормальна, если Ь* = а [4].
Инвариантная связность, определяемая равенством Л т = 0, называется канонической связностью (относительно разложения 0 = 0 + т). Редуктивное однородное пространство допускает единственную инвариантную аффинную связность без кручения, имеющую те же геодезические, что и каноническая: Лт (х)У = 1/2[х, У]т, х, У е т; она называется естественной связностью без кручения.
Классификация несимметрических пространств, допускающих нормальные связности.
Будем описывать пару (g, g) при помощи таблицы умножения g c базисом (e^...,en}, n = dim g и полагать, что g порождается
el,..., en-3 , а (uj = en-2, u2 = en-J, u3 = en } - базис
m. Для нумерации подалгебр используем запись d.n, для нумерации пар - d.n.m, здесь d - размерность подалгебры; n - номер подалгебры в g[(3, Ж); m - номер пары (g, g). Будем описывать связность через образы базисных векторов Л(м1), Л(м2), Л(м3), тензор кривизны R - через R(uj,u2), R(uj,u3), R(u2,u3), а тензор кручения T - через T (uj, u2), T(uj,u3), T(u2,u3).
Теорема 1. Все трехмерные редуктивные несимметрические однородные пространства, допускающие нормальную связность, такие что g и g неразрешимы, локально имеют следующий вид:
3.3.3 ej e2 e3 uj u2 u3
ej 0 2e2 -2e3 uj -u2 0
e2 -2e2 0 ej 0 uj 0
e3 2e3 -ej 0 u2 0 0
uj -uj 0 -u2 0 0 uj
u2 u2 -uj 0 0 0 u2
u3 0 0 0 -uj -u2 0
3.3.2 ej e2 e3 uj u2 u3
ej 0 2e2 -2e3 uj -u2 0
e2 -2e2 0 ej 0 uj 0
e3 2e3 -ej 0 u2 0 0
uj -uj 0 -u2 0 u3 0
u2 u2 -uj 0 -u3 0 0
u3 0 0 0 0 0 0
Для получения указанного результата найдены все трехмерные редуктивные пары с неразрешимыми 0 и 0 (с подробным описанием можно ознакомиться в публикации [3]), определены пары, допускающие нормальную связность, и выбраны несимметрические пары.
Действительно, пусть 0 - подалгебра алгебры Ли 0[(3, Ж), такая что редуктивная пара (0,0) допускает нормальную связность, 0 и 0 неразрешимы. Тогда 0 сопряжена одной из следующих подалгебр в 01(3, Ж) [3]:
x y x y y x
3.3 z -x ; 3.4 z y ; 3.5 - У z
z - x -x - z
Предполагается, что переменные обозначены латинскими буквами и принадлежат Ж . Базис подалгебры по умолчанию будем выбирать, придав одной из латинских переменных значение 1, а остальным 0, нумерация базисных векторов соответствует алфавиту.
Для каждой такой подалгебры найдем изотропно-точные пары. Рассмотрим, например, пары (д,д) типа 3.3. Обозначим через Ь ниль-потентную подалгебру алгебры Ли д, порожденную вектором е1. Заметим, что д - полупростая алгебра Ли. Имеем
5 = д (-2) ® © д (-1)® © д(0) (Ь) © 5(1) (Ь) © 5(2) (Ь),
где
g(-2) (h) = Ke3, g(-1) (h) = Ku2, g(0) (h) = Ke1 © Ku3,
g (1)(h) = Kui, g (2)(h) = Ke2. Поэтому
[u1,u2] = a1e1 + a3u3,[u1,u3] = P1u1,[u2,u3] = y2u2.
Здесь и далее параметры принадлежат K (если не оговорено противное).
Используя тождество Якоби, видим, что a1 =U, P1 = у2, а a3у2 =0. При a3 = у2 = U пара (g,g) эквивалентна тривиальной паре, являющейся симметрической. При a3 Ф 0, у2 = 0 отображение %: g2 ^ g, где
%(ег) = et, i = 1,2,3, %Ц) = щ,
%(u2) = u2, %(u3) = -1 u3, a3
показывает эквивалентность пар (g,g) и 3.3.2 (см. формулировку теоремы 1). При a3 =0, у2 Ф 0 отображение %: g3 ^ g, где
%(ег) = ег, i = 1,2,3, %Ц) = щ, %(u2) = u2, %(u3) = у2u3,
показывает, что пары (g,g) и 3.3.3 эквивалентны.
Поскольку dim Dg1 Ф dim Dg2, мы видим, что тривиальная пара и 3.3.2 не эквивалентны. Поскольку dim Dg3 Ф dim Dg1, заключаем, что 3.3.3 и тривиальная пара также не эквивалентны. Поскольку Zg2 = Ku3 и Zg3 = 0, заключаем, что пары 3.3.3 и 3.3.2 не эквивалентны.
Прямыми вычислениями получаем, что аффинные связности на этих пространствах имеют вид, указанный далее.
Пара
Аффинная связность
3.3.2, Г 0 0 P1,3 ^ Г 0 0 01
3.3.3 0 0 0 0 0 P1,3
l0 P3,2 0 / V "Р3,2 0 0 /
Г1 1,1 0 0 >
0 1 ,1 0
0 V 0 13,3
Связность является канонической, если Л(м1) = Л(и2) = Л(и3)= 0. В случаях 3.3.2, 3.3.3 при г3,3 = 0, г11 = -р1,3 связность имеет те же геодезические, что и каноническая. Выпишем, когда связность является естественной связностью без кручения.
Пара Естественная связность без кручения
3.3.2 P1,3 = 11,1 = 13,3 = 0, P3,2 = 1/2
3.3.3 P3,2 = 13,3 = 0, P1,3 = -11,1 = 1/2
Тензоры кривизны и кручения на редуктив-ных несимметрических пространствах выглядят следующим образом:
Пара
3.3.2
3.3.3
Пара
3.3.2
3.3.3
Тензор кривизны
P1,3 Р3,2" 1,1 0 0
0 ~А,3Р3,2 " 1,1 0
0 0 2Л,3P3,2 " Г3,3
Г0 0 P1,3r3,3 " 1,^,3 1
0 0 0
v0 P3,21,1 " Г3,3P3,2 0
Г 0 0 0 ^
0 0 Л,3 Г3,3 " 1,1 A,3
"P3,2 1,1 + Г3,3 P3,2 0 0
(
0
0
Л
Л
Д,3Г3,3 11,1p\,3 Д,3 0 0
Л
P1,3P3,2
0 "P1,3P3,2 0 0 0 2Рх,ЪРЪ,2
0
0 0
v0 P3,21,1 - Г3,3р3,2 -P3,2
0 0 0 1
0 0 P1,3r3,3 - 1,1p,3 -P1,3
"P3,21,1 +1,3 p3,2 + P3,2 0 0
Тензор кручения
(0,0,2P3,2 - 1), (pu - 11,1,0,0),
f0, P1,3 - 1,1,U)
(0,0,2P3,2 ), (P13 - 11,1 - 1,0,0),
(0, P1,3 - 11,1 - 1,0)
В случае 3.3.2 связность нормальна, если р13 ^ 0, р32 ^ 0, тогда при г3 3 = —2г11 алгебра голономии совпадает с £[(3, М), а при
г33 Ф -2г11 алгебра голономии совпадает с 0[(3,Ж); в случае 3.3.3 связность нормальна, если г3 3 = -2г11, р13 Ф 0, р32 Ф 0, тогда алгебра голономии совпадает с 5Ц3, М).
В случаях 3.4 и 3.5 получаем только симметрические пары.
Теорема 2. Все трехмерные редуктивные несимметрические однородные пространства, допускающие нормальную связность, такие что 0 неразрешима, а 0 разрешима (0 Ф {0}), локально имеют следующий вид:
2.21.4 е1 е2 и1 и2 и3
е1 0 е2 и1 0 —и3
е2 -е2 0 0 и1 и2
и1 —и1 0 0 и1 и2
Щ 0 —и1 —и1 0 и3
и3 и3 —и —и2 —и3 0
1.1.7 е1 и1 и2 и3
е1 0 и1 —и2 0
и1 —и1 0 е + и3 0
Щ2 и2 —е1 — и3 0 0
и3 0 0 0 0
1.3.3 е1 и1 и2 и3
е1 0 —и2 и1 0
и1 и2 0 е + и3 0
Щ2 —и1 —е1 — и3 0 0
и3 0 0 0 0
1.3.4 е1 и1 и2 и3
е1 0 —и2 и1 0
и1 и2 0 —е + и3 0
и2 —и1 е1 — и3 0 0
и3 0 0 0 0
1.8.2 е1 и1 и2 и3
е1 0 0 и1 и2
и1 0 0 и1 и2
и2 —и1 —и1 0 и3
и3 —и2 —и2 —и3 0
Аналогично приведенному в доказательстве теоремы 1 для получения указанного результата найдены все трехмерные редуктивные пары с неразрешимой 0 и разрешимой 0, определены пары, допускающие нормальную связность, и выбраны несимметрические пары.
Проведя вычисления, аналогичные приведенным выше, получаем, что редуктивные несимметрические пространства, допускающие нормальную связность, задают только пары, указанные в теореме. Аффинные связности на найденных парах имеют вид, показанный ниже.
Пара
2.21.4
1.1.7
1.3.3
1.3.4
1.8.2
Аффинная связность
(0 Р1,2 0 0
0 1 (-
0
Р1,2 0 0
/
( 0
-Р1,2 0
-Р1,2 0 0
0 0 1 0 0
0 Р1,2
0 0 0 0
0 Р3,2
Л
Р1,3 0 0
1,1 0 0
Л
0 01
0 0
"Р1,2 0 /
( 0 0
0
43,1
0
0 42,3 0 0
Л
0 0 1
Г2,2 0
0 Г3,3 ,
0 0
0 0
Р3,1 Р3,2
Р1,3 Р2,3 0
( г
Л
0 0
"Р3,2
0 0
Р3,1
-Р2,3 Р1,3 0
Л
0 1 0
0 0
(0 Р1,2 Р1,3 0 0 Р1,2 0 0 0
1 ( Р1,2 41,2 41,3 1
0 0 41,2 + Р1,3
0 0 Р1,2
г г г
1,1 1,2 1,3
-Р1,2 1,1 + 41,2 1,2 + 41,3
0 -Р1,2 1,1 + 241,2 + Р1,3
Инвариантная связность нормальна, если Ь = а; например, в случае 2.21.4 это верно при Р12 Ф 0, Р12 Ф1, тогда алгебра голономии
Р3
Р2 0
Р: 0
Р2
0 1 Р1
- Р3
Рl, Р2, Р3
в противном случае алгебра голономии нулевая.
Выпишем, при каких условиях связность имеет те же геодезические, что и каноническая.
Пара Геодезические совпадают с геодезическими канонической связности
1.1.7 43,1 = —Р3,2, Г3,3 = 0, Гц = —Р1,3, Г 2,2 = — 42,3
1.3.3 Р3,1 = 0, Г3,3 =0, Г1,1 = —Р1,3, Г1,2 = Р2,3
1.3.4 Р3,1 = 0, Г3,3 =0, Г1,1 = —Р1,3, Г1,2 = Р2,3
1.8.2 41,2 =0, Г 1,3 =0, Г1,1 = —Р1,3, Г1,2 =—41,3
2.21.4 Р12 — любое
Далее выпишем, при каких условиях связность является естественной связностью без кручения.
Пара Естественная связность без кручения
1.1.7 #¡,1 = -1/2, P3,2 = 1/2, 13,3 = 11,1 = P1,3 = 12,2 = #2,3 = 0
1.3.3 P3,1 = 13,3 = 11,1 = P1,3 = 11,2 = P2,3 = 0, P3,2 = 1/2
1.3.4 P3,1 = 13,3 = 11,1 = P1,3 = 11,2 = P2,3 = 0, P3,2 = 1/2
1.8.2 #1,2 = 11,3 = 11,1 = P1,3 = 11,2 = #1,3 = 0, P1,2 = 1/2
2.21.4 P1,2 = 1/2
Заключение. Таким образом, найдены все трехмерные редуктивные несимметрические однородные пространства с неразрешимой группой преобразований, допускающие нормальную связность, инвариантные аффинные связности на таких однородных пространствах вместе с их тензорами кривизны и кручения, алгебрами голономии, выписаны канонические связности, а также естественные связности без кручения. Полученные результаты могут быть использованы в работах по дифференциальной геометрии, дифференциальным уравнениям, топологии, в теории представлений, теоретической физике, а также других разделах современной математики и физики.
Литература
1. Картан Э. Риманова геометрия в ортогональном репере. М.: Моск. ун-т, 1960. 307 с.
2. Лумисте Ю. Г. Дифференциальная геометрия подмногообразий // Итоги науки и техники. Сер. Алгебра. Топология. Геометрия. М.: ВИНИТИ АН СССР, 1975. Т. 13. С. 273-340.
3. Можей Н. П. Нормальные связности на редуктивных однородных пространствах с неразрешимой группой преобразований // Доклады Национальной академии наук Беларуси. 2016. Т. 60, № 6. С. 28-36.
4. Кобаяси Ш., Номидзу К. Основы дифференциальной геометрии: в 2 т. М.: Наука, 1981. 2 т.
References
1. Kartan E. Rimanova geometriya v ortogonal'nom repere [Riemannian geometry in an orthogonal frame]. Moscow, Moskovskiy universitet Publ., 1960. 307 p.
2. Lumiste U. G. Differential geometry of submanifolds. Itogi Nauki i Tekhniki [Results of Science and Technology]. Series Algebra, Topology, Geometry, 1975, vol. 13, pp. 273-340 (In Russian).
3. Mozhey N. P. Normal connections on reductive homogeneous spaces with an unsolvable transformation group. Doklady Natsional'noy akademii nauk Belarusi [Reports of the National Academy of Sciences of Belarus], 2016, vol. 60, no. 6, pp. 28-36 (In Russian).
4. Kobayasi Sh., Nomidzu K. Osnovy differentsial'noy geometrii: v 2 tomakh [Foundations of differential geometry: in 2 vol.]. Moscow, Nauka Publ., 1981. 2 vol.
Информация об авторе
Можей Наталья Павловна - кандидат физико-математических наук, доцент, доцент кафедры программного обеспечения информационных технологий. Белорусский государственный университет информатики и радиоэлектроники (220013, г. Минск, ул. П. Бровки, 6, Республика Беларусь). E-mail: mozheynatalya@mail.ru
Information about the author
Mozhey Natalya Pavlovna - PhD (Physics and Mathematics), Associate Professor, Assistant Professor, the Department of Software for Information Technologies. Belarusian State University of Informatics and Radioelectronics (6, P. Brovki str., 220013, Minsk, Republic of Belarus). E-mail: mozheynatalya@ mail.ru
Поступила 02.03.2018
