Научная статья на тему 'Канонические связности на трехмерных симметрических пространствах разрешимых групп Ли'

Канонические связности на трехмерных симметрических пространствах разрешимых групп Ли Текст научной статьи по специальности «Математика»

CC BY
51
7
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
КАНОНИЧЕСКАЯ СВЯЗНОСТЬ / ГРУППА ПРЕОБРАЗОВАНИЙ / СИММЕТРИЧЕСКОЕ ПРОСТРАНСТВО / АЛГЕБРА ГОЛОНОМИИ

Аннотация научной статьи по математике, автор научной работы — Можей Наталья Павловна

Цель работы классификация трехмерных симметрических однородных пространств, допускающих нормальную связность, описание всех инвариантных аффинных связностей на таких пространствах вместе с их тензорами кривизны и кручения, канонических связностей и естественных связностей без кручения. Также исследованы алгебры голономии однородных пространств и найдено, когда связность нормальна. Рассмотрены пространства, на которых действует разрешимая группа преобразований. Локальная классификация однородных пространств эквивалентна описанию эффективных пар алгебр Ли. Исследования основаны на использовании свойств алгебр Ли, групп Ли и однородных пространств и носят главным образом локальный характер. Особенностью методов, представленных в работе, является применение чисто алгебраического подхода, а также сочетание различных методов дифференциальной геометрии, теории групп и алгебр Ли и теории однородных пространств.

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

CANONICAL CONNECTIONS ON THREE-DIMENSIONAL SYMMETRIC SPACES SOLVABLE LIE GROUPS

The purpose of the work is the classification of three-dimensional symmetric homogeneous spaces, admitting a normal connection, description of all invariant affine connections on those spaces together with their curvature and torsion tensors, canonical connections and natural torsion-free connections. We study the holonomy algebras of homogeneous spaces and findout when the invariant connection is normal. We concerned the case, when Lie group of transformations is solvable. The local classification of homogeneous spaces is equivalent to the description of the effective pairs of Lie algebras. 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 combination of methods of differential geometry, the theory of Lie groups and algebras and the theory of homogeneous spaces.

Текст научной работы на тему «Канонические связности на трехмерных симметрических пространствах разрешимых групп Ли»

8

Труды БГТУ, 2017, серия 3, № 1, с. 8-13

УДК 514.765.12

Н. П. Можей

Белорусский государственный университет информатики и радиоэлектроники

КАНОНИЧЕСКИЕ СВЯЗНОСТИ НА ТРЕХМЕРНЫХ СИММЕТРИЧЕСКИХ ПРОСТРАНСТВАХ РАЗРЕШИМЫХ ГРУПП ЛИ

Цель работы - классификация трехмерных симметрических однородных пространств, допускающих нормальную связность, описание всех инвариантных аффинных связностей на таких пространствах вместе с их тензорами кривизны и кручения, канонических связностей и естественных связностей без кручения. Также исследованы алгебры голономии однородных пространств и найдено, когда связность нормальна. Рассмотрены пространства, на которых действует разрешимая группа преобразований. Локальная классификация однородных пространств эквивалентна описанию эффективных пар алгебр Ли. Исследования основаны на использовании свойств алгебр Ли, групп Ли и однородных пространств и носят главным образом локальный характер. Особенностью методов, представленных в работе, является применение чисто алгебраического подхода, а также сочетание различных методов дифференциальной геометрии, теории групп и алгебр Ли и теории однородных пространств.

Ключевые слова: каноническая связность, группа преобразований, симметрическое пространство, алгебра голономии.

N. P. Mozhey

Belarusian State University of Informatics and Radioelectronics

CANONICAL CONNECTIONS ON THREE-DIMENSIONAL SYMMETRIC SPACES SOLVABLE LIE GROUPS

The purpose of the work is the classification of three-dimensional symmetric homogeneous spaces, admitting a normal connection, description of all invariant affine connections on those spaces together with their curvature and torsion tensors, canonical connections and natural torsion-free connections. We study the holonomy algebras of homogeneous spaces and findout when the invariant connection is normal. We concerned the case, when Lie group of transformations is solvable. The local classification of homogeneous spaces is equivalent to the description of the effective pairs of Lie algebras. 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 combination 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]). Изучая однородные пространства, важно рассматривать не саму группу О, а ее образ в Diff (М), т. е. достаточно изучать только эффективные действия группы О на многообразии М. Пусть 5 - алгебра Ли группы Ли О, а д - подалгебра, соответствующая подгруппе О. Пара (д, д) алгебр Ли называется эффективной, если подалгебра д не содержит отличных от нуля идеалов д. Изотропное действие группы О на касательном пространстве ТхМ - это фактор-действие присоединенного действия О на д: 5.(х + g) = (Ads)(x) + д для всех 5 е О, х е д.

При этом алгебра д действует на ТхМ = д /д следующим образом:

х.(у + д) = [х,у]+ д для всех хе д, у е д.

Пара (д, д) называется изотропно-точной, если точно изотропное представление д. Это означает, что естественное действие стабилизатора Ох, хе Ы на ТхЫ имеет нулевое ядро. Необходимое условие существования аффинной связности состоит в том, что представление гоотропии для G должно быть точным, если G эффективна на G / G [2]. Там, где это не будет вызывать разночтения, будем отождествлять подпространство, дополнительное к д в д, и фактор-пространство т = д /д. Аффинной связностью на паре (д, д) называется такое отображение Л: д ^ д[(т), что его ограничение на д - изотропное представление подалгебры, а все отображение является д -инвариантным. Инвариантные аффинные связности на однородном пространстве (М, G) находятся во взаимно однозначном соответствии (см., например, [4]) с аффинными связностями на паре (д, д). Говорят, что многообразие М с аффинной связностью является аффинным симметрическим, если для каждого хеМ симметрия sx может быть продолжена до глобального аффинного преобразования для М. На каждом связном аффинном симметрическом пространстве группа аффинных преобразований транзитивна, т. е. аффинное симметрическое пространство М может быть представлено как однородное пространство G / G. Более того, поскольку М = G / G редуктивно (а G транзитивна), для классификации симметрических пространств достаточно рассматривать только изотропно-точные пространства. Таким образом, симметрическое пространство есть тройка_(0, G, о), состоящая из связной группы Ли G, замкнутой подгруппы G_для G и инволютивного автоморфизма о для G такого, что о(^) = для gе G, где so - симметрия для М в о. Пусть (д, д, о) - симметрическая алгебра Ли. Поскольку о инволютивно, то его собственными значениями являются 1 и -1, ад - собственное подпространство для 1. Пусть т - собственное подпространство для -1. Разложение д = д + т называется каноническим разложением для (д, д, о). Если д = д + т -каноническое разложение симметрической алгебры Ли (д, д, о), то

[ д, д ] ^ д, [ д, т ] с т, [ т, т ] с д.

Поскольку тензоры кривизны и кручения инвариантны относительно действия группы Ли G, то они однозначно определяются тензорами на касательном пространстве к многообразию, причем эти тензоры инвариантны относительно

изотропного действия. Тензор кручения T е InvT2! (m) и тензор кривизны R е InvT^ (m) имеют вид

T(xm, Jm ) = Л(x)Ут - Л(У)xm - ^ У]m, R( Xm, Ут ) = [Л( X), Л( У)]-Л([х, y ])

для всех x, У е д.

Односвязное многообразие М с аффинной связностью такой, что Т = VR = 0, порождает симметрическое пространство (G, G, такое, что M = G / G. Верно и обратное, если (G, G, о) -симметрическое пространство, то однородное пространство G / G допускает инвариантную аффинную связность с Т = VR = 0.

Инвариантная связность, определяемая равенством Л| m = 0,_ называется _канонической связностью для (G, G, о) или G / G (относительно разложения д = д + m), ее также называют канонической связностью второго рода. Поскольку для симметрического пространства [ m, m ] с д, то каноническая связность совпадает с естественной связностью без кручения (единственной инвариантной аффинной связностью без кручения, имеющей те же геодезические, что и каноническая связность: Лm(х)у = l/2[x,y]m, x,уе m; ее также называют канонической связностью первого рода), и мы имеем Т = VR = 0. Если (G, G, о) - симметрическое пространство, то каноническая связ-ность_есть единственная аффинная связность на М = G / G, которая инвариантна при действии симметрий для М.

Переформулируем теорему Вана об алгебре группы голономии инвариантной связности: алгебра Ли группы голономии инвариантной связности Л: д ^ д[(3, К) на паре (д, д) -это подалгебра алгебры Ли д[(3, К) вида V + [Л(д),К ] + [Л(д),[Л(д),К ]] +..., где V -подпространство, порожденное множеством

{[Л(x),Л(у)]-Л([x,y])| x,yе д}.

Положим а, равной подалгебре в д1(3, К), порожденной {Л(x) | x е д}. Первоначально алгебра а была введена в римановом случае Б. Кос-тантом и использовалась А. Лихнеровичем и Г. Ваном в более общей ситуации. Если h - алгебра Ли группы голономии, то h с а с N(h ), где N(h ) - нормализатор h в д1(3, К). Будем говорить, что связность нормальна, если h = a.

Классификация симметрических пространств. Будем описывать пару (д, д) при помощи таблицы умножения д. Через {е1,..., en} обозначим базис д (n = dim д). Будем полагать, что д порождается e1,..., en-3, а Ц = en-2, u2 = en-1, u3 = en } - базис m. Для нумерации подалгебр используем запись d.n, для нумерации пар - d.n.m, соответствующие

приведенным в [5], здесь d - размерность подалгебры, n - номер подалгебры в д1(3, Ж), а m -номер пары (д, д). Будем описывать связность через образы базисных векторов ЛЦ), Л (u2), Л(м3), тензор кривизны R - через R(ux,u2), R(u1,u3), R(u2,u3), а тензор кручения T - через T (ul, u2), T (ul, u3), T (u2, u3).

Теорема. Все трехмерные симметрические однородные пространства, допускающие нормальную связность, такие, что д ид разрешимы, а dim д > 1, локально имеют следующий вид:

2.9.1 e1 e2 u1 u2 u3

e1 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.9.5, 2.9.6 e1 e2 u1 u2 u3

e1 0 e2 u1 0 0

e2 -e2 0 0 0 u1

u1 -u1 0 0 0 ±e2

u2 0 0 0 0 au2

u3 0 -u1 Te2 -au2 0

2.17.2, 2.17.3 e1 e2 u1 u2 u3

e1 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 Te1 -ae2 0

2.21.1 e1 e2 u1 u2 u3

e1 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.17.2, за исключением

2.17.4 [u1, u3] = ae1 -e2, [u2,u3] = e1 +ae2, a> 0

2.17.6, 2.17.7 [uj, u3] = ±ej, [u2 , u3] = e1 +e2

Для получения этого результата из изотропно-точных пар выбираем симметрические, т. е. для которых существует следующее разложение д = д + m, [ д, m ] с m, [ m, m ] с д. В теореме выписаны именно такие пары, причем с каноническим разложением.

Действительно, пусть д - подалгебра алгебры Ли д[(3, Ж) такая, что пара (д, д) допускает нормальную связность, д ид разрешимы, а dim д > 1. Тогда д сопряжена одной и только одной из следующих подалгебр [6]:

2.9

y x

iy

| = 0,-1,

2.17

x x y

y , 2.21 y

-x

Здесь предполагается, что переменные обозначены латинскими буквами и принадлежат Ж.

Для каждой такой подалгебры найдем изотропно-точные пары. Рассмотрим, например, пару типа 2.9. Пусть Е = ,е2} - базис д, где

(10 0 ^ 0 X 0 0 0 |

( 0 0 1 ^ 000 000

Через Ь обозначим нильпотентную подалгебру алгебры Ли д, порожденную вектором е1. Тогда имеем:

д

д» з i

(1-|)(h) з:

и (1)(h) з: и (X)(h) з: и (|)(h) з:

положим:

[uj, u2 ] = a1e1 + a2e2 + a1u1 + a2u2 + a3u3, [uj, u3] = b1e1 + b2e2 +P1u1 + P2u2 +P3u3, [u2, u3 ] = c1e1 + c2 e2 + y1u1 + y2u2 + y3u3.

Пусть {0,1/2,2}, X*±(1 -|). Проверим тождество Якоби для троек (e.., uj, uk), i = 1,2,

1 < j < k < 3, и (u1,u2,u3):

1. u 2]] + [u1,[u2, + [u^fa, ^]] = 0,

(1 - |)a2e2 +a1u1 + Xa2u2 + |a3u3 - (X+1)[u1, u2] = 0,

1. (X + 1)a1 = 0, 2. (| + X)a2 = 0, 3. Xa1 = 0,

4. a2 = 0, 5. a3 = 0,

2. e,K, u2]] + [u ,[u2, e2]] + [u2 ,[e2, = 0,

(|- 1)a1e2 = 0, 6. (|- 1)a1=0,

e1 =

e2 =

2

3. [e ,[м15 «3]] + [« ,[Мз, ]] + [« ,[£>!, ]] = 0,

(1 -ц)Ь^2 +Р1м1 + ЬР2«2 + цР3«3 -(ц + 1)[м1;u3] = 0, 7. (ц + 1)Ь1 =0, 8. b2 =0, 9. р1 =0, 10. (Ь-ц- 1)Р2 =0, 11. р3 = 0,

4. [e2, [«1, «3]] + [«1, [«3, e2]] + [«3 ,[e2, «1]] = 0,

(ц- 1)b1e2 =0, 12. b1 =0,

5. [^,[«2, «3]] + [«2,[«3, e1]] + [«3,[e1, «2]] = 0,

(1 - M-)c2e2 + Y1«1 + Ь2«2 + ЦУ3«3 - (Ь + ц)[«2,«3] = 0, 13. (Ь + ц)с1 = 0, 14. (1 -Ь - 2ц)с2 = 0, 15. у1 = 0, 16. у2 = 0, 17. Ьу3 = 0,

6. [e2 ,[«2, «3]] + [«2 ,[«3, e2]] + [«3 ,[e2, «2]] = 0, (ц - 1)c1e2 + y3«1 + a2 e2 + a1e1 + a1«1 = 0,

18. a1 = 0, 19. a2 + (ц- 1)c1 = 0, 20. y3 + a1=0,

7. [«1, [«2, «3]] + [«2 ,[«3, «1]] + [«3 ,[«1, «2]] = 0, -c1e1 + y3P2«2 - a2«1 - a1P2«2 =0, 21. c1 + a2 = 0,

22. p2(y3 -a1) = 0.

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

Рассмотрим следующие случаи:

1. Ь = 0. 1.1. a1 = 0. Тогда пара (g, g) эквивалентна тривиальной паре (g1, g1).

1.2. a1 Ф 0. Если цФ 1, тогда пара (g, g) эквивалентна паре (g4, д4) посредством отображения п: g4 ^ д, где

n(ei) = et, i = 1,2, п(«1) = «1, п(«2) = а1«2, п(«3) = «3,

и, в случае ц = 1, пара (g, g) эквивалентна тривиальной паре при помощи отображения пц=1 : g1 ^ g где

s=1(ei ) = ei, i = 1,2, пц=1(«1)= u1,

пц=1 («2) = «2 - alel, пц=1 («3 ) = «3.

2. Ь = 1 + ц. 2.1. Р2 = 0. Тогда пара (g,g) тривиальна.

2.2. Р2 Ф 0. Тогда пара (g, g) эквивалентна паре (g2, g2) посредством отображения п: g2 ^ g, где

rcfo) = e1, n(e2) = р 2e2, п(«) = р 2«1, п(«2) = «2, п(«3) = «3.

3. Ь Ф1 + ц, Ь Ф1 - 2ц. Тогда пара (g, g) тривиальна. Аналогично рассматриваются остальные случаи.

Пусть ni - максимальный нильпотентный идеал алгебры Ли g. Заметим, что dim n1 =4 и C3n1 ={0}, dimn2 = 4 и C3n2 Ф {0}, dimщ =3 для i = 4,. ..,7. Отсюда следует, что пары (g, gi) для i = 4,..., 7 не эквивалентны тривиальной паре (g1, g1) и паре (g2, g2), а пары (g1, g1) и (g2, g2) не эквивалентны между со-

бой. Пары 2.9.4-2.9.7 также не эквивалентны друг другу. Таким образом, любая пара (д,д) типа 2.9 при X = 0, ц = 0, -1 эквивалентна одной и только одной из пар 2.9.1, 2.9.2, 2.9.4-2.9.7. При этом симметрическое пространство задают только пары 2.9.1, 2.9.5 (а = 0), 2.9.6 (а = 0). Другие случаи рассматриваются аналогично.

Описание связностей. Для найденных пар выписываем аффинные связности, тензоры кривизны и кручения, алгебры голономии, находим канонические связности, а также естественные связности без кручения.

Рассмотрим, например, пару 2.9.1 при X = 0, ц = -1. Тогда прямыми вычислениями получаем, что аффинная связность имеет вид

( 0 0 0

а,2 0

0

0 Л ' 41,1 0 0

p2,3 0 q2,2 0

0 ) 0 v 0 Чц

0 0 0 >

- p2,3 0 0

0 а,2 0 /

Тензор кривизны -

( 0 А,2 ^2,2 - Р1 0

p2,3q1,l

0

f

f

p1,2 p2,3 0 0

0

p2,3q1,1 - q2,2p2,3 0

0 0

2 p1,2 p2,3 0

0 0

"p1,2 p2,3

q2,2 p2,3 0

Л

0 0

q1,1p1,2 - p1,2q2,2

0 0 0

а тензор кручения -

(р1,2 - ,0, 0) , ( 0 2Р2,3,0) , ( '0, 0, -1,2 ) , связность является нормальной при р12 Ф 0, р2 3 Ф 0, 2 = -2q1 х, тогда алгебра голономии -з1(3, Ж).

Рассмотрим пару 2.21.1. При X = 0 аффинная связность и тензор кривизны имеют вид соответственно:

' 0 а,2 0 Л ' - А,2 0 0 Л

0 0 А,2 0 0 0

V0 0 0) 0 V 0 А,2 ,

( 0 0 0 >

"А,2 0 0

V 0 -p1,2 0 /

Г 0 Р1,22 0 ^ Г -Ри2 0 0 1

0 0 Р1,22 ? 0 0 0

0 V 0 0 у 0 V 0 Р1,22 у

г 0 0 0 >

- Р1,22 0 0

V 0 Р1,22 0 у

тензор кручения -

(2А12,0,0), (0,2р12,0), (0,0,2д2),

связность нормальна при р12 Ф 0, тогда алгебра голономии -

' Рз р1 0 Л

Р2 0 Р1 •

V 0 Р2 -Р3 у

Рассмотрим пару 2.17.2. Связность имеет следующий вид:

Г 0 0 Р1,3 ^ Г 0 0 #1,3 ^

0 0 Р2,3 ? 0 0 #2,3 ?

V 0 0 0 у V 0 0 0 у

,1 _#1,3 г1,3 л

_ Р2,3 г1,1 +Р1, 3- #2,3 г2,3

0 0 г1,1 + Р1,3 у

связность нормальна при а Ф 0, Р13 = 11 = = Р2 3 = #2 3 = 3 = 0, тогда алгебра голономии имеет вид

Г 0 0 Р1

0 0 Р2

v 0 0 0

У перечисленных ниже пар связность такая же, как в случае 2.17.2:

Аналогично у указанных пар алгебра голономии такая же, как и в случае 2.17.2.

Аффинные связности на остальных пространствах имеют следующий вид:

Пара Аффинная связность

2.9.5, 2.9.6 Г 0 Р 0 0 V0 0 2 р13 Л Г #11 0 0,0 #22 0 Д 0 0 0 0 л 0 Г22 Г23 V 0 Р12 г11 + Р13 у 0 л #23 , #11 у

Тензоры кривизны и кручения на симметрических пространствах:

Пара Тензор кривизны

Г0 Р12#22 _ #11Р12 р12#23 ^

0 0 0

V0 0 0

Г 0 Р 2Г22 + р13р12 _ г11р12 Р12Г23 + р13 _ 1

2.9.5 0 0 V 0 0 0 0 у ?

Г _ а#11 0 0 р12 #23 _ а#22 0 А л ?

V 0 #11р12 _ р12 #22 _р12 #23 _ -а #11 у

Л= #22Г23 + #23г11 + #23 р13 г22#23 г23#1 1- "а#23

Г 0 Р12 #22 _ #11Р12 р12#23 ^

0 0 0

V0 0 0

Г 0 Р12Г22 + р13 р12 г11р12 р12 г23 + р13 +1

2.9.6 0 0 V 0 0 0 0 у ?

Г _ а#1 0 0 р12 #23 _ а#22 0 А Л ?

V 0 #11Р12 _ р12 #22 р12 #23 _

А= #22 г23 + #23г11 + #23 р13 г22#23 г23#11 _ а#23

Пара Тензор кручения

2.9.5, (Р12 _ #11,0,0), (Р13 _ г„,0,0),

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

2.9.6 (0, #23 _ г22 _ а, #1 _ Р12)

Связность является канонической, если Л(м1) = Л(и2) = Л(и3) = 0. Выпишем, при каких условиях связность имеет те же геодезические, что и каноническая, и когда связность является естественной связностью без кручения:

Пара Связность имеет те же геодезические, что и каноническая

2.9.1 #11 = -Р12, #22 = 0

2.9.5, а = 0 #11 = -Р12, Гц = -Р13, Г22 = -#23, #22 = г23 = 0

Пара Аффинная связность нормальна при

2.17.3 а Ф 0 Р1,3 = г1,1 = Р2,3 = #2,3 = #1,3 = 0

2.17.4 р1,3 = г1,1 = р2,3 = #2,3 = #1,3 = 0

2.17.6 р1,3 = г1,1 = р2,3 = #2,3 = #1,3 = 0

2.17.7 р1,3 = г1,1 = р2,3 = #2,3 = #1,3 = 0

2.9.6, q11--r11--p\3, r22--

а = 0 422 = r23 = 0

2.17.2- Гц = -p13, r13 = r23 = 0

2.17.4

2.17.6 r11 = -г13 = г23 = 0

2.17.7 Г11 = -p13, г13 = Г23 = 0

2.21.1 pi2 - любое

Пара Естественная связность без кручения

2.9.1 p12 = 0, p23 = 0, 411 = 0, 422 = 0

2.9.5, p12 = p13 = 411 = 422 = 423 =

а = 0 = Г11 = Г22 = Г23 = 0

2.9.6, p12 = p13 = 411 = 422 = 423 =

а = 0 = Гц = Г22 = Г23 = 0

2.17.2- p13 = p23 = 413 = 423 =

2.17.4 = Г11 = г13 = Г23 = 0

2.17.6 p13 = p23 = 413 = 423 = Г11 = г13 = Г23 = 0

2.17.7 p13 = p23 = 413 = 423 = r11 = r13 = r23 = 0

2.21.1 p12 = 0

Заключение. Таким образом, найдены инвариантные аффинные связности на трехмерных симметрических однородных пространствах с разрешимой группой преобразований вместе с их тензорами кривизны и кручения, алгебрами голономии, выписаны канонические связности, а также естественные связности без кручения. Полученные результаты могут быть использованы при исследовании многообразий, при изучении пространств с аффинной связностью, а также могут найти приложения в теории относительности, которая с математической точки зрения базируется на геометрии искривленных пространств, в ядерной физике, физике элементарных частиц и др.

Литература

1. Картан Э. Риманова геометрия в ортогональном репере. М.: Москов. ун-т, 1960. 307 с.

2. Кобаяси Ш., Номидзу К. Основы дифференциальной геометрии: в 2 т. М.: Наука, 1981. 2 т.

3. Онищик А. Л. Топология транзитивных групп Ли преобразований. М.: Физ.-мат. лит., 1995. 384 с.

4. Nomizu K. Invariant affine connections on homogeneous spaces // Amer. Journ. Math. 1954. Vol. 76, no. 1. P. 33-65.

5. Можей Н. П. Трехмерные изотропно-точные однородные пространства и связности на них. Казань: Изд-во Казан. ун-та, 2015. 394 с.

6. Mozhey N. P. Normal connections on three-dimensional manifolds with solvable transformation group // Lobachevskii Journal of Mathematics. 2016. Vol. 37, no. 2. P. 160-177.

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.

3. Onishchik A. L. Topologiya tranzitivnykh grupp Li preobrazovaniy [Topology of transitive transformation groups]. Moscow, Fiz.-mat. lit. Publ., 1995, 384 p.

4. Nomizu K. Invariant affine connections on homogeneous spaces. Amer. Journ. Math, 1954, vol. 76. no. 1, pp. 33-65.

5. 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.

6. Mozhey N. P. Normal connections on three-dimensional manifolds with solvable transformation group. Lobachevskii Journal of Mathematics, 2016, vol. 37, no. 2, pp. 160-177.

Информация об авторе

Можей Наталья Павловна - кандидат физико-математических наук, доцент, доцент кафедры «Программное обеспечение информационных технологий». Белорусский государственный университет информатики и радиоэлектроники (220013, г. Минск, ул. П. Бровки, 6, Республика Беларусь). E-mail: mozheynatalya@mail.ru

Information about the author

Mozhey Natalya 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: mozheynatalya@ mail.ru

Поступила 15.12.2016

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