CC BY
9
Труды БГТУ, 2018, серия 3, № 1, с. 19-23
19
УДК 514.76
Н. П. Можей
Белорусский государственный университет информатики и радиоэлектроники
ТРЕХМЕРНЫЕ СИММЕТРИЧЕСКИЕ ПРОСТРАНСТВА, ДОПУСКАЮЩИЕ НЕКАНОНИЧЕСКИЕ СВЯЗНОСТИ
Цель работы - описание трехмерных симметрических однородных пространств, допускающих неканонические связности, и инвариантных аффинных связностей на таких пространствах. В работе определены основные понятия: изотропно-точная пара, аффинная связность, тензор кручения, тензор кривизны, симметрическое пространство. Приведено в явном виде локальное описание трехмерных симметрических однородных пространств, допускающих неканонические связности. Локальная классификация таких пространств эквивалентна описанию соответствующих эффективных пар алгебр Ли. Описаны также в явном виде все инвариантные аффинные связности на найденных однородных пространствах. Исследования основаны на использовании свойств алгебр Ли, групп Ли и однородных пространств и носят главным образом локальный характер. Особенностью методов, представленных в работе, является применение чисто алгебраического подхода, а также сочетание различных методов дифференциальной геометрии, теории групп и алгебр Ли и теории однородных пространств.
Ключевые слова: каноническая связность, группа преобразований, симметрическое пространство, алгебра голономии.
N. P. Mozhey
Belarusian State University of Informatics and Radioelectronics
THREE-DIMENSIONAL SYMMETRIC SPACES, ADMITS UNCANONICAL CONNECTIONS
The purpose of the work is the description of three-dimensional symmetric homogeneous spaces, admits uncanonical connections, invariant affine connections on those spaces. The basic notions, such as an isotropically-faithful pair, an affine connection, curvature and torsion tensors, a symmetric space are defined. The local description of three-dimensional symmetric homogeneous spaces, admitting uncanonical connections, is given. The local classification of such spaces is equivalent to the description of the effective pairs of Lie algebras. All invariant affine connections on those spaces are described. Studies are based on the use of properties of the Lie algebras, Lie groups and homogeneous spaces and they mainly have local character. The peculiarity of techniques presented in the work is the application of purely algebraic approach, as well as the compound of methods of differential geometry, the theory of Lie groups and algebras and the theory of homogeneous spaces.
Key words: canonical connection, transformation group, symmetric space, holonomy algebra.
Введение. Нетривиальные геометрические структуры, а в работе речь идет о нетривиальных связностях, часто возникают при решении физических уравнений. В физических моделях, как правило, пространство, в котором мы живем, является многообразием. Для описания движения и взаимодействия различных физических объектов в пространстве необходимо задание дополнительных структур на многообразии. Такими структурами, в частности, являются связности, физическая интерпретация которых зависит от конкретной модели. Симметрическое пространство - это пространство аффинной связности без кручения, тензор кривизны которого сохраняется при параллельном перенесении (см., например, [1]). Каноническая связность - это единственная аффинная связность, которая инвариантна относительно сим-метрий, она всегда существует на симметриче-
ском пространстве; подробнее о канонической связности можно узнать из литературы (см., например, [2]). Канонические связности на трехмерных симметрических пространствах рассматривались в работе [3], в данной работе также изучаются трехмерные симметрические однородные пространства, но внимание сосредоточено на пространствах, допускающих неканонические связности. В статье определяется, при каких условиях нормальная связность не совпадает с естественной связностью без кручения, а также при каких условиях ее геодезические не совпадают с геодезическими канонической связности.
1. Основные определения. Пусть М - дифференцируемое многообразие, _на котором транзитивно действует группа О, (М, О) -однородное пространство, О = Ох - стабилизатор произвольной точки х е М. Проблема
классификации однородных пространств (М, О) равносильна классификации (с точностью до эквивалентности) пар групп Ли (О, О), где О с О, так как М может быть отождествлено с многообразием левых смежных классов О / О (см., например, [4]). Пусть 5 - алгебра Ли группы Ли О, ад - подалгебра, соответствующая подгруппе О. Пара (д, д) алгебр Ли называется эффективной, если подалгебра д не содержит отличных от нуля идеалов д. Пара (д, д) называется изотропно-точной, если точно изотропное представление д. Там, где это не будет вызывать разночтения, будем отождествлять подпространство, дополнительное к д в д, и фактор-пространство т = д /д .
Аффинной связностью на паре (д, д) называется такое отображение Л: д ^ д1(т), что его ограничение на д - изотропное представление подалгебры, а все отображение является д -инвариантным. Инвариантные аффинные связности на однородном пространстве (М, О) находятся во взаимно однозначном соответствии (см., например, [5]) с аффинными связно-стями на паре (д, д). Необходимое условие существования аффинной связности состоит в том, что представление изотропии для О должно быть точным, если О эффективна на О / О [2]. Симметрическое пространство есть тройка (О, О, о), состоящая из связной группы Ли О, замкнутой подгруппы О и инволютив-ного автоморфизма о для О . Поскольку о ин-волютивно, то его собственными значениями являются 1 и -1, ад - собственное подпространство для 1. Пусть т - собственное подпространство для -1. Разложение д = д + т называется каноническим разложением для (д, д, о). Если д = д + т - каноническое разложение симметрической алгебры Ли (д, д, о), то [ д, д ] с д, [ д, т ] с т, [ т, т ] с д. Тензор кручения Т е 1пуТ2 (т) и тензор кривизны Я е ТпуТ^ (т) имеют вид
Т(Хт, Ут ) = Л(х)Ут - Л(У)Хт - [Х У]т, Я( Хт, Ут ) = [Л( X), Л( У)]-Л([х, у])
для всех X, У е д. Тензоры кривизны и кручения играют важную роль в геометрии, их обращение в нуль является критерием локальной тривиальности связности.
Инвариантная связность, определяемая равенством Л| т = называется _канонической связностью для (О, О, о) или О / О (относительно разложения д = д + т), ее также называют канонической связностью второго рода. Поскольку для симметрического пространства [ т , т ] с д, то каноническая связность совпадает с естественной связностью без кручения (единственной инвариантной аффинной связ-
ностью без кручения, имеющей те же геодезические, что и каноническая связность: Лт(х)у = 1/2[х,у]т, x,у£ m; ее также называют канонической связностью первого рода).
Одной из важнейших характеристик связности является группа голономии. Переформулируем теорему Вана об алгебре группы голономии инвариантной связности: алгебра Ли группы голономии инвариантной связности Л: g ^ gl(3, Ж) на паре (g, g) - это подалгебра алгебры Ли gl(3, Ж) вида V + [Л(д)Л + [Л(д),[Л(д)Л] +..., где V -подпространство, порожденное множеством
{[Л(х),Л(у)]-Л([х,y])|x,y£ g}.
Положим а равной подалгебре в gl(3, Ж), порожденной {Л(х) | х £ g}. Если h - алгебра Ли группы голономии, то h с а с N(h ), где N(h ) - нормализатор h в gl(3, Ж). Будем говорить, что связность нормальна, если h = а.
2. Классификация симметрических пространств, допускающих неканонические связности. Будем описывать пару (g, g) при помощи таблицы умножения g. Через {е1,..., en} обозначим базис g (n = dim g). Будем полагать, что g порождается e1,..., en-3, а {ui = en-2, U2 = en-i, U3 = en } - базис m. Для нумерации подалгебр используем запись d.n, для нумерации пар - d.n.m, соответствующие приведенным в работе [6], здесь d - размерность подалгебры, n - номер подалгебры в gl(3, Ж), а m - номер пары (g, g). Будем описывать связность через образы базисных векторов Л(и1), Л(u2), Л(u3), тензор кривизны R - через R(u1,u2), R(u1,u3), R(u2,u3), а тензор кручения T - через T(u1,u2), T(u1,u3), T (u2, u3).
Теорема 1. Все трехмерные симметрические однородные пространства, допускающие нормальную неканоническую связность, такие, что g и g разрешимы, а dim g > 1, локально имеют следующий вид:
2.9.1 e1 e2 u1 u2 u3
ei 0 2e2 u1 0 —u3
e2 -2e2 0 0 0 u1
u1 —u1 0 0 0 0
u2 0 0 0 0 0
u3 u3 —u1 0 0 0
2.17.2, 2.17.3 e1 e2 u1 u2 u3
ei 0 0 0 0 u1
e2 0 0 0 0 u2
u1 0 0 0 0 ±e1
u2 0 0 0 0 ae2
u3 —u1 —u2 + e1 —ae2 0
2.21.1 ei e2 u1 u2 u3
ei 0 e2 u1 0 -u3
e2 -e2 0 0 u1 u2
u1 -u1 0 0 0 0
U2 0 -u1 0 0 0
U3 u3 -U2 0 0 0
Замечание. Если на параметры накладываются некоторые дополнительные условия, то они записываются сразу после таблицы умножения. В противном случае предполагается, что параметры пробегают все Ж.
Теорема 2. Все трехмерные симметрические однородные пространства, допускающие нормальную неканоническую связность, такие, что g неразрешима, g разрешима, а dim g > 1, локально имеют следующий вид:
3.19.14 e1 e2 e3 u1 u2 u3
ei 0 -e2 e3 0 u2 —u3
e2 e2 0 0 0 u1 0
e3 -e3 0 0 0 0 u1
u1 0 0 0 0 e3 e2
u2 -u2 —u1 0 -e3 0 e1
u3 u3 0 —u1 -e2 -e1 0
3.21.6 e1 e2 e3 u1 u2 u3
e1 0 -e3 e2 0 —u3 u2
e2 e3 0 0 0 u1 0
e3 -e2 0 0 0 0 u1
u1 0 0 0 0 e2 e3
u2 u3 —u1 0 -e2 0 e1
u3 -u2 0 —u1 -e3 -e1 0
3.21.7 e1 e2 e3 u1 u2 u3
e1 0 -e3 e2 0 —u3 u2
e2 e3 0 0 0 u1 0
e3 -e2 0 0 0 0 u1
u1 0 0 0 0 -e2 -e3
u2 u3 —u1 0 e2 0 -e1
u3 -u2 0 —u1 e3 e1 0
Пара (д,0) называется тривиальной, если существует коммутативный идеал а в алгебре Ли 0, такой, что д © а = 0 .
Теорема 3. Все трехмерные симметрические тривиальные однородные пространства, допускающие нормальную неканоническую связность, такие, что 0 ид неразрешимы, локально имеют вид д © а = 0, где д сопряжена только одной из подалгебр
x y x y y x
3.3 z -x ; 3.4 z y ; 3.5 -y z
z - x -x -z
Все трехмерные симметрические нетривиальные однородные пространства, допускающие нормальную неканоническую связность, такие, что 0 ид неразрешимы, локально имеют следующий вид:
3.4.2, 3.4.3 e1 e2 e3 u1 u2 u3
e1 0 e2 -e3 u1 0 —u3
e2 -e2 0 e1 0 u1 u2
e3 e3 -e1 0 u2 u3 0
u1 —u1 0 -u2 0 ±e2 Te1
u2 0 —u1 —u3 Te2 0 Te3
u3 u3 -u2 0 ±e1 ±e3 0
3.5.2, 3.5.3 e1 e2 e3 u1 u2 u3
e1 0 e3 -e2 —u3 0 u1
e2 -e3 0 e1 -u2 u1 0
e3 e2 -e1 0 0 —u3 u2
u1 u3 u2 0 0 ±e2 ±e1
u2 0 —u1 u3 Te2 0 3
u3 —u1 0 -u2 Te1 Te3 0
3. Описание связностей. Для найденных пар выписываем все аффинные связности, находим нормальные и канонические связности, а также естественные связности без кручения; определяем, при каких условиях нормальная связность не совпадает с естественной связностью без кручения, а также при каких условиях ее геодезические не совпадают с геодезическими канонической связности.
Начнем рассмотрение со случая, когда 0 разрешима, например, с пары 2.9.1. Тогда прямыми вычислениями получаем, что аффинная связность имеет вид
Г 0 P1,2 0 > f 41,1 0 0 1
0 0 P2,3 0 q2,2 0
V 0 0 0 V f 0 - P2,3 0 V 0 0 0 > 0 0
0 V A,2 0 /
Связность является нормальной при р12 ф 0, р23 ф 0, д2 2 = —2д1, связность является естественной связностью без кручения, если р12 = 0, р23 = 0, дп = 0, д22 = 0, следовательно, нормальная связность не совпадает с естественной связностью без кручения. Связность имеет те же геодезические, что и каноническая, если д11 = -р12, д22 = 0, следовательно, геодезические
Пара Совпадает с 2.17.2, за исключением
2.17.4 [u1, u3] = ae1 - e2, [u2, u3] = e1 + ae2, a > 0
2.17.6, 2.17.7 K, u3] = ±^, [u2, u3] = e +e2
нормальной связности не совпадают с геодезическими канонической связности.
Рассмотрим пару 2.21.1. Аффинная связность имеет вид
( 0 0 0
А,2 0
0 Л
Рх,2 0
( 0
-Р1,2 0
- Р1,2 0 0
0 0 0
0 0 Р1,2
(
0 0
"Р1,2
Л
связность нормальна при р12 Ф 0, естественную связностью без кручения получим при р12 = 0, следовательно, нормальная связность не совпадает с естественной связностью без кручения. При любых значениях параметра р12 нормальная связность имеет те же геодезические, что и каноническая.
Рассмотрим пару 2.17.2. Связность имеет следующий вид:
(0 0 Р1,3 ^ (0 0 #1,3 ^
0 0 Р2,3 ? 0 0 #2,3 ?
V 0 0 0 V V 0 0 0 V
Г Г ,1 -#1,3 Г1,3 Л
- Р2,3 г1,1 +Р1, 3- #2,3 Г2,3
V 0 0 1,1 + Р1,3 у
связность нормальна при а Ф 0,
= 0,
А,:
= р23 = #2 3 = #13 = 0, у перечисленных ниже пар связность такая же, как в случае 2.17.2:
Пара Аффинная связность нормальна при
2.17.3 а Ф 0 Р1,3 = 1,1 = Р2,3 = #2,3 = #1,3 = 0
2.17.4, 2.17.6, 2.17.7 Р1,3 = 1,1 = Р2,3 = #2,3 = #1,3 = 0
В случаях 2.17.2-2.17.4, 2.17.6, 2.17.7 естественную связностью без кручения получим при Р13 = Р23 = #13 = #23 = Гц = г 13 = Г23 = 0, следовательно, нормальная связность не совпадает с естественной связностью без кручения при отличных от нуля г13 или г23. Связность имеет те же геодезические, что и каноническая при г11 = -Р13, г13 = г23 = 0, следовательно, геодезические нормальной связности не совпадают с геодезическими канонической связности при отличных от нуля г13 или Г23.
Аналогично, прямыми вычислениями находим, что если д неразрешима, а д разрешима, аффинные связности имеют следующий вид:
Пара
3.19.14
3.21.6 3.21.7
Аффинная связность
( 0 0 0Л ( 0 0 0 0 0 0 0 0
#1,3 0 0 0 0 0 0
Л
(0 г 0
0 0
1,2 0
0 Л 0 0
(0 0 0 Л (0 #1,2 #1,3 Л
0 0 0 ? 0 0 0
V0 0 0 V V0 0 0 V
(0 -#1,3 #1,2 Л
0 0 0
V0 0 0 V
У пар 3.19.14, 3.21.6 и 3.21.7 связность является нормальной.
Если д ид неразрешимы, аффинные связности имеют следующий вид:
Пара
3.4.2, 3.4.3
3.5.2, 3.5.3
Аффинная связность
(0 Р1,2
0 0
V0 0
0 Л
Р1,2 0
/
0
- Р1,2 0
"Р1,2 0 0
0 0 Л 0 0 0 Р1,2
0 0
Р1,2
0 Л
0
0
( 0 0 0 > ( 0 0 -Р2,3 "
0 0 Р2,3 , 0 0 0
0 V - Р2,3 0 / ч Р2,3 0 0 /
( 0 Р2,3 0 л
- Р2,3 0 0
V 0 0 0 V
Для пары 3.4.2 связность нормальна при Р122 Ф1; для 3.4.3 и 3.5.2 связность является нормальной, у 3.5.3 - нормальна при Р232 Ф1.
В случае 3.19.14 нормальная связность не совпадает с естественной связностью без кручения при отличных от нуля г12 или #13, геодезические нормальной связности не совпадают с геодезическими канонической связности при г"12 Ф -#13. В случаях 3.21.6 и 3.21.7 нормальная связность не совпадает с естественной связностью без кручения при отличных от нуля #12 или #13, ее геодезические не совпадают с геодезическими канонической связности при #12 Ф 0. В случаях 3.3.1, 3.4.1, 3.5.1 при любых значениях параметров нормальная связность не совпадает с естественной связностью без кручения, в случае 3.3.1 ее геодезические не совпадают с геодезическими канонической связности (в слу-
чаях 3.4.1, 3.5.1 - совпадают). В случаях 3.4.2 и 3.4.3 прир12 Ф 0, в случаях 3.5.2 и 3.5.3 прир23 Ф 0 нормальная связность не совпадает с естественной связностью без кручения, а ее геодезические совпадают с геодезическими канонической связности.
Заключение. Таким образом, приведена в явном виде классификация трехмерных симметрических однородных пространств, допускающих нормальные неканонические связно-
сти. Описаны все инвариантные аффинные связности на каждом таком пространстве.
Полученные результаты могут быть использованы при исследовании многообразий, при изучении пространств с аффинной связностью, а также иметь приложения в различных областях математики и физики, поскольку многие фундаментальные задачи в этих областях связаны с изучением инвариантных объектов на симметрических пространствах.
Литература
1. Картан Э. Риманова геометрия в ортогональном репере. М.: Москов. ун-т, 1960. 307 с.
2. Кобаяси Ш., Номидзу К. Основы дифференциальной геометрии: в 2 т. М.: Наука, 1981. 2 т. 416 с.
3. Можей Н. П. Канонические связности на трехмерных симметрических пространствах разрешимых групп Ли // Труды БГТУ. Сер. 3, Физ.-мат. науки и информатика. 2017. № 1. С. 8-13.
4. Онищик А. Л. Топология транзитивных групп Ли преобразований. М.: Физ.-мат. лит., 1995. 384 с.
5. Nomizu K. Invariant affine connections on homogeneous spaces // Amer. Journ. Math. 1954. Vol. 76, no. 1. P. 33-65.
6. Можей Н. П. Трехмерные изотропно-точные однородные пространства и связности на них. Казань: Изд-во Казан. ун-та, 2015. 394 с.
References
1. Kartan E. Rimanova geometriya v ortogonal'nom repere [Riemannian geometry in an orthogonal frame]. Moscow, Moskovskiy universitet Publ., 1960. 307 p.
2. Kobayasi Sh., Nomidzu K. Osnovy differentsial'noy geometrii: v 2 tomakh [Foundations of differential geometry: in 2 vol.]. Moscow, Nauka Publ., 1981. 2 vol. 416 p.
3. Mozhey N. P. Canonical connections on three-dimensional symmetric spaces solvable Lie groups. Trudy BGTU [Proceedings of BSTU], series 3, Physics and mathematics. Informatics, 2017, no. 1, pp. 8-13 (In Russian).
4. Onishchik A. L. Topologiya tranzitivnykh grupp Li preobrazovaniy [Topology of transitive transformation groups]. Moscow, Fiz.-mat. lit. Publ., 1995. 384 p.
5. Nomizu K. Invariant affine connections on homogeneous spaces. Amer. Journ. Math, 1954, vol. 76, no. 1, pp. 33-65.
6. Mozhey N. P. Trekhmernyye izotropno-tochnyye odnorodnyye prostranstva i svyaznosti na nikh [Three-dimensional isotropically faithful homogeneous spaces and affine connections on them]. Kazan, Kazanskiy universitet Publ., 2015. 394 p.
Информация об авторе
Можей Наталья Павловна — кандидат физико-математических наук, доцент, доцент кафедры «Программное обеспечение информационных технологий». Белорусский государственный университет информатики и радиоэлектроники (220013, г. Минск, ул. П. Бровки, 6, Республика Беларусь). E-mail: [email protected]
Information about the author
Mozhey Natal'ya Pavlovna — PhD (Physics and Mathematics), Associate Professor, Assistant Professor, Software for Information Technologies Department. Belarusian State University of Informatics and Radioelectronics (6, P. Brovki str., 220013, Minsk, Republic of Belarus). E-mail: [email protected]
Поступила 20.11.2017
