CC BY
10
В работе представлена локальная классификация трехмерных симметрических однородных пространств, допускающих нормальную связность. В статье рассматривается случай неразрешимой группы Ли преобразований. Локальная классификация однородных пространств эквивалентна описанию эффективных пар алгебр Ли. Описаны инвариантные аффинные связности вместе с их тензорами кривизны и кручения, исследованы алгебры голономии однородных пространств и найдено, когда инвариантная связность нормальна. Исследования основаны на использовании свойств алгебр Ли, групп Ли и однородных пространств и носят, главным образом, локальный характер. Особенностью методов, представленных в работе, является применение чисто алгебраического подхода, а также сочетание различных методов дифференциальной геометрии, теории групп и алгебр Ли и теории однородных пространств.
Ключевые слова: нормальная связность, группа преобразований, симметрическое пространство, алгебра голономии.
N. P. Mozhey
Belarusian State University of Informatics and Radioelectronics NORMAL CONNECTIONS ON SYMMETRIC MANIFOLDS
In this article we present a local classification of three-dimensional symmetric homogeneous spaces allowing a normal connection. We have considered the case of the unsolvable Lie group of transformations. The local classification of homogeneous spaces is equivalent to the description of the effective pairs of Lie algebras. We describe invariant affine connections together with their curvature and torsion tensors. We have studied the holonomy algebras of homogeneous spaces and have found when the invariant connection is normal. 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 combination of methods of differential geometry, the theory of Lie groups and algebras and the theory of homogeneous spaces.
Key words: normal connection, transformation group, symmetric space, holonomy algebra.
УДК 514.765.12
Н. П. Можей
Белорусский государственный университет информатики и радиоэлектроники НОРМАЛЬНЫЕ СВЯЗНОСТИ НА СИММЕТРИЧЕСКИХ МНОГООБРАЗИЯХ
Введение. Понятие нормальной связности ввел Э. Картан для риманова многообразия (см. [1]). Многообразия с плоской нормальной связностью исследовали Д. И. Перепелкин и Ф. Фаб-рициус-Бьерре, а также Э. Картан. Итоги этих исследований подведены в монографии Б. Чена [2]. Симметрические пространства обладают математически красивыми свойствами - это пространства аффинной связности без кручения, тензор кривизны которых сохраняется при параллельном перенесении (см. [1]). Симметрические римановы пространства впервые исследовал П. А. Широков, классификация римановых симметрических пространств получена Э. Кар-таном, им была решена и задача локальной классификации симметрических однородных пространств с простыми компактными основными группами (см. [3]). Трехмерные редук-тивные однородные пространства с неразрешимой группой преобразований, допускающие нормальные связности, изучались в [4], симметрические однородные пространства с разрешимой группой преобразований, допускающие нормальные связности, исследуются в [5], где приведен более подробный тематический
обзор, а также обоснование применяемых методов; при изложении сохранены обозначения, введенные ранее. В данной работе также изучаются нормальные связности на симметрических многообразиях, но внимание сосредоточено на пространствах, на которых действует неразрешимая группа преобразований.
1. Основные определения. Пусть М -дифференцируемое многообразие, на котором транзитивно действует группа О, О = Ох -стабилизатор произвольной точки х е М. Проблема классификации однородных пространств (М, О) равносильна классификации пар групп Ли (О, О), где О с О, так как М может быть отождествлено с многообразием левых смежных классов О / О. Пусть д - алгебра Ли группы Ли О, ад - подалгебра, соответствующая подгруппе О. Пара (д, д) алгебр Ли называется эффективной, если подалгебра д не содержит отличных от нуля идеалов д. Пара (д, д) называется изотропно-точной, если точно
изотропное представление д. Необходимое условие существования аффинной связности состоит в том, что представление изотропии для О должно быть точным, если О эффективна на О / О . Аффинной связностью на паре (д, д) называется такое отображение Л: д ^ д1(т), что его ограничение на д - изотропное представление подалгебры, а все отображение является д -инвариантным. Там, где это не будет вызывать разночтения, будем отождествлять подпространство, дополнительное к д в д, и фактор-пространство т = д / д .
Симметрическое пространство есть тройка (О, О, о), состоящая из связной группы Ли О, замкнутой подгруппы О для О и инволю-тивного автоморфизма о для О такого, что °(?) = so°g°So1 для gе О, где so - симметрия для М в о. Пусть (д, д, о) - симметрическая алгебра Ли. Поскольку о инволютивно, то его собственными значениями являются 1 и -1, ад -собственное подпространство для 1. Пусть т -собственное подпространство для -1. Разложение д = д + т называется каноническим разложением для (д, д, о). Если д = д + т - каноническое разложение симметрической алгебры Ли (д, д, о), то [ д, д ] с д, [ д, т ] с т, [ т, т ] с д. Тензор кручения Т е ТпуТ^т) и тензор кривизны Я е 1пуТ3 (т) имеют вид
Т(хт, Ут ) = Л(Х)Ут - Л(У)Хт - [х У]т, Я( Хт, Ут ) = [Л( Х), Л( У)]-Л([х, у ])
— и*
для всех х, У е д. Алгебра Ли Ц группы голо-номии инвариантной связности Л: д ^ д1(3, Ж) на паре (д, д) - это подалгебра алгебры Ли д1(3, К) вида V + [Л(д),К] + [Л(д),[Л(д),К]] + +..., где V - подпространство, порожденное множеством {[Л(х),Л(у)] -Л([х, у])| х,У е д}. Положим а равной подалгебре в д1(3, К),
порожденной {Л(х)| х е д}. Будем говорить,
/ * _
что связность нормальна, если Ц = а.
2. Классификация симметрических пространств. Будем описывать пару (д, д) при помощи таблицы умножения д. Через {е1,..., еп} обозначим базис д (п = dim д). Будем полагать, что д порождается е1,..., еп-3, а {щ = еп-2, и2 = en-l, Щ = еп} - базис т. Для нумерации подалгебр используем запись ё.п, для
нумерации пар - ё.п.т, здесь ё - размерность подалгебры, п - номер подалгебры в д1(3, Ж), а т - номер пары (д, д). Будем описывать связность через образы базисных векторов Л(м1), Л(и2), Л(и3), тензор кривизны Я - через Я(и1,и2), Я(и1,и3), Я(и2,и3), а тензор кручения Т - через Т(и1,и2), Т(и1,и3), Т(и2,и3).
Теорема 1. Все трехмерные симметрические однородные пространства, допускающие нормальную связность, такие, что д неразрешима, а д разрешима (д Ф {0}), локально имеют следующий вид:
1.1.5 е\ щ Щ и3
е1 0 и1 -щ 0
щ -и1 0 е1 0
Щ Щ -е1 0 0
и3 0 0 0 0
1.3.5 е\ щ Щ и3
е\ 0 -щ и1 0
щ Щ 0 е1 0
Щ -щ -е1 0 0
и3 0 0 0 0
1.3.6 е1 и\ и2 и3
е1 0 -щ и1 0
щ Щ 0 -е1 0
Щ -и1 е1 0 0
и3 0 0 0 0
2.9.12 е1 е2 и1 и2 и3
е1 0 -е2 и1 -2и2 2и3
е2 е2 0 0 0 и1
и1 0 0 е2 0
и2 2и2 0 -е2 0 -е1
и3 -2и3 -и1 0 е1 0
3.19.14 е\ е2 е3 и1 и2 и3
е1 0 -е2 е3 0 и2 -и3
е2 е2 0 0 0 и1 0
е3 -е3 0 0 0 0 и1
и1 0 0 0 0 е3 е2
и2 -Щ2 -и1 0 -е3 0 е1
и3 и3 0 -и1 -е2 -е1 0
3.21.6 е1 е2 е3 и1 и2 и3
е1 0 -е3 е2 0 -и3 и2
е2 е3 0 0 0 и1 0
е3 -е2 0 0 0 0 и1 ,
и^ 0 0 0 0 е2 е3
Щ2 и3 -и1 0 -е2 0 е1
и3 -и2 0 -и1 -е3 -е1 0
3.21.7 е1 е2 е3 и1 и2 и3
е1 0 -е3 е2 0 -и3 и2
е2 е3 0 0 0 и1 0
е3 -е2 0 0 0 0 и1 .
и^ 0 0 0 0 -е2 -е3
Щ2 и3 -и1 0 е2 0 -е1
и3 -и2 0 -и1 е3 е1 0
Замечание. Если на параметры, появляющиеся в процессе классификации, накладываются некоторые дополнительные условия, то они записываются сразу после таблицы умножения. В противном случае предполагается, что параметры пробегают все Ж.
Доказательство. Сначала описаны трехмерные изотропно-точные пары. Для этого классифицированы подалгебры д в д1(3,Ж), а далее найдены (с точностью до эквивалентности) пары (д, д). Из них выбраны симметрические пары с неразрешимой д и разрешимой д, допускающие нормальную связность, т. е. для которых д = д + т, дпт = 0, [д,д] с д, [д, т] с т, [ т, т ] с д.
Если д - разрешимая подалгебра алгебры д[(3,Ж), такая, что пара (д,д) задает трехмерное симметрическое однородное пространство, допускающее нормальную связность, д не является разрешимой ид Ф {0},
то д сопряжена одной и только одной из следующих подалгебр:
x x У x
1.1 — x ;1.3 —x ; 2.9 —2 У
2 У
3.19
; 3.21
Здесь предполагается, что переменные обозначены латинскими буквами и принадлежат Ж . Базис подалгебры, по умолчанию, будем выбирать, придав одной из латинских переменных значение 1, а остальным 0, нумерация базисных векторов соответствует алфавиту.
Для каждой такой подалгебры найдем изотропно-точные пары. Рассмотрим, например, пару типа 1.1. Из тождества Якоби следует, что [м1,и2] = а1е1 + а3и3, [и1,и3] = Р1м1, [и2,и3] = у2и2. Если в1 + у2 Ф 0, то а1 = а3 = 0 и пара (д,д) эквивалентна паре, не входящей в рассматриваемый в работе класс пар. При в1 + у2 = 0 , а1 Ф 0 и а3 Ф 0 пара эквивалентна 1.1.5. При в1 + у2= 0 , а1а3 = 0 пара эквивалентна одной из пар, не входящих в изучаемый в работе класс.
Рассмотрим теперь пару типа 1.3. Тогда [е1,и1] = -и2, [е1,и2] = и1, [е1,и1] = ре1,ре М. Из тождества Якоби получим [и1, и2] = а1е1 + а3и3, [и1,и3] = Р1и1,[и2,и3] = Р1и2. При а3 = 0, а1 Ф 0
пара (д,д) эквивалентна 1.3.5 или 1.3.6 посредством п: дад ^ д , л(е1) = ex, п(щ) = -у/ЙК, n(u2) = = a1 \u2, n(u3) = u3. Пары 1.3.5 и 1.3.6 не эквивалентны, поскольку подалгебра Леви (д^ дб) изоморфна su(2), а подалгебра Леви (д6, д6) изоморфна sl(2, Ж). В остальных случаях (д, д) эквивалентна одной из пар, не входящих в рассматриваемый в работе класс.
Рассмотрим теперь подалгебру 3.21. Тогда
[«1, uj = 0, [¿2, uj = p@2 ,ie3, U1] = Р^3 ,
[e1,u2] = qe3 — u3, [e2,u2] = u1, [e3,u2] = pe1,
[e1,u3] = u2 + re3, [e2,u3] = — pe1, [e3,u3] = u1,
при p Ф 0 пространство не является симметрическим. Если p = 0, то имеем: при r Ф 0 пространство также не является симметрическим, при a2 = r = 0 пара эквивалентна тривиальной паре, алгебра является разрешимой и не входит в рассматриваемый в работе класс алгебр, при a2>0, r = 0 пара (д,д) эквивалентна паре 3.21.6 (это пространство является симметрическим), при a2 < 0, r = 0 пара эквивалентна 3.21.7. Заметим, что dim Ф dim Пд6, dim Пд1 Ф dim Dq7 , подалгебра Леви в д6 изоморфна sl(2,Ж), а подалгебра Леви в д7 изоморфна su(2). Отсюда следует, что пары не эквивалентны друг другу.
Остальные случаи исследуются аналогично. Пара (д,д) называется тривиальной, если
существует коммутативный идеал а в алгебре Ли д, такой, что д © а = д .
Теорема 2. Все трехмерные симметрические тривиальные однородные пространства, допускающие нормальную связность, такие, что д ид неразрешимы, локально имеют вид д © а = д, где д (подалгебра алгебры Ли д[(3,Ж)) сопряжена только одной из подалгебр
x y x У У x
3.3 z —x ; 3.4 z У ; 3.5 —У z
z —x —x —z
Все трехмерные симметрические нетривиальные однородные пространства, допускающие нормальную связность, такие, что д и д неразрешимы, локально имеют следующий вид:
3.4.2 e\ e2 e3 u1 u2 u3
e\ 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 -e1
u2 0 -u1 -u3 -e2 0 -e3
u3 u3 -u2 0 e1 e3 0
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 -ui 0 -u2 0 -e2 e1
Щ 0 -u1 -u3 e2 0 e3
u3 u3 -u2 0 -e1 -e3 0
3.5.2 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 -e2 0 e3
u3 -u1 0 -u2 -e1 -e3 0
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
Щ 0 -u1 u3 e2 0 -e3
u3 -u1 0 -u2 e1 e3 0
Доказательство. Все тривиальные однородные пространства являются симметрическими. В теореме выписаны неразрешимые подалгебры алгебры Ли д[(3,Ж), допускающие нормальную связность. Аналогично приведенному выше, если д - неразрешимая подалгебра алгебры Ли д[(3,Ж), такая, что пара (д,д) нетривиальная симметрическая, допускающая нормальную связность, а д неразрешима, то д сопряжена одной и только одной из подалгебр 3.4, 3.5. Найдем изотропно-точные пары.
Рассмотрим пару (д,д) типа 3.4. Пусть Ц (нильпотентная подалгебра алгебры Ли д) порождена вектором е1, д(0)(Ц) = Же1 @ Ши2, д(1)(Ц) =
= Ме2Ф Ru1, -¿(0)1
д(-1)(Ь) = Me3® Mu3, [u1, u2] е g(1)(h),
[и1, и3] е д() (Ц), [и2, и3] е д(- ) (Ц), тогда, использовав тождество Якоби, получим, что [и1, и2] = = а2е2 + а1иь [иьи3] = -а2е! + а^2, [и2,и3] = -а2е3 + + а!и3. Положим р = а2 + ц2/4. При р = 0 пара (д, д) эквивалентна тривиальной паре при помощи отображения п: д1 ^ д , п(е;) = е1, I = 1,3, п(и1) = и1- (а1 /2)е2, п(и2) = и2 + (а1 /2)е1, п(и3) = и3 + (а1/2)е3. При р >0 пара (д, д) эк-
вивалентна 3.4.2, при p <0 пара (д,д) эквивалентна 3.4.3.
Поскольку dim r( д1) Ф dim r (д2) и dim r( д1) Ф Ф dim r( д3), пара (д1, д1) не эквивалентна (д2, д2) и (д3, д3). Поскольку д3 - простая алгебра Ли (д3 = st(2, C)R), а алгебра Ли д2 не проста (д2 = sl(2,R)Xsl(2,R)), пары (д2,д2) и (03, д3) не эквивалентны.
Рассмотрим пару типа 3.5. В силу тождества Якоби (с учетом того, что д - полупростая алгебра Ли) [u1, u2 ] = a2e2 + a3u3, [u1, u3] = a2e1 -— a3u2, [u2, u3] = a2e3 + a3u1. Положим p = = | a2 — a2 / 41—1/2 при a2 ф a2 / 4.
1. 4a2 = a2. Пара (д,д) эквивалентна тривиальной паре посредством п: д1 ^ д , n(e;) = et,
i = 1,3, n(u1) = u1 + (a3 / 2)e3, n(u2) = u2 — (a3 / 2)e1, n(u3) = u3 + (a3 /2)e2.
2. 4a2 > a^. Пара (д,д) эквивалентна 3.5.2 при помощи п: д2 ^ д , n(ei) = et, i = 1,3, n(u1) = p(u1 + (a3/2)e3), n(u2) = p(u2 — (a3 /2)e1), n(u3) = p(u3 + (a3 / 2)e2).
3. 4a2 < a2. Эквивалентность пар (д,д) и 3.5.3 определяется п: д3 ^ д, n(ei) = et, i = 1,3, n(u1) = p(u1 + (a3 / 2)e3), n(u2) = p(u2 — (a3 / 2)e1), n(u3) = p(u3 + (a3 / 2)e2).
Поскольку r(£(1) Ф {0} и r(д2) = r(д3) = {0}, ни одна из пар 3.5.2 и 3.5.3 не эквивалентна тривиальной паре. Заметим, что алгебра Ли д2 проста (д2 = st(2,C)R), а алгебра Ли д3 не проста (д3 = su(2) X su(2)). Отсюда следует, что пары 3.5.2 и 3.5.3 не эквивалентны.
3. Связности на симметрических пространствах. Для найденных пар выписываем аффинные связности, тензоры кривизны и кручения, алгебры голономии. Находим алгебры голономии указанных связностей и определяем, когда аффинная связность нормальна.
Подалгебра д - разрешима. Рассмотрим, например, пару 2.9.12. Прямыми вычислениями получим Л(^) = Л(^) = Л(^) = 0. Тензор кривизны имеет вид, указанный ниже. Алгебра, порожденная множеством R(ut,uj), т. е. V =
= {[Л(x),Л(y)] — Л([x, y])| x,y е д}, совпадает с алгеброй голономии (таким образом, алгебра голономии совершенна). Действительно, поскольку связность тривиальна, Л(д) = Л(д) и [Л(д)^ ] =
= [Л(д), V] = V, так как Л(д) совпадает с V . В данном случае а5 = Л(д) и = а^, т. е. связность
нормальна. Тензор кручения нулевой. Остальные случаи рассматриваются аналогично.
Таким образом, прямыми вычислениями находим, что аффинные связности имеют следующий вид:
Пара
3.19.14
3.21.6
3.21.7
1.1.5
2.9.12
Аффинная связность
(0 0 0Л( 0 0
0 0 0 0 0 0
0 0 00
41,3 0 0
^ (0 1 0
00
1,2 0
0 ^
0
0
(0 0 0V 0 000
V 0 0 0/V
(0 00 00
41,2 00 00
41,з 0 0
Л
41,2 0 0
Л
0 0 0 0
0 Рз,2
Р1,з 0 0
Л
0 0 0
0 0 423
4з,1 0 0
Л
( Г '1,1 0 0 1
0 Г2,2 0
0 V 0 Г3,3 ,
1.3.5 Г 0 0 Р1,3 1 ( 0 0 -Р2,3
1.3.6 0 0 Р2,3 0 0 Р1,3
1 Р3,1 Р3,2 0 / V р3,2 р3,1 0
Г Г '1,1 1,2 0 >
—Г1,2 '1,1 0
0 V 0 1 0 'ъ,ъ у
тривиальная (нулевая)
Тензоры кривизны и кручения:
Пара Тензор кривизны
3.19.14 ' 0 0 —Г 0 0 0 V0 0 0 , ' 0 —1 0^ 0 0 0 V0 0 , ' 0 0 0л 0—10 V0 0 1,
3.21.6, 3.21.7 ' 0 +1 0Л 0 0 0 V0 0 0, ' 0 0 +1^ 0 0 0 V0 0 0 V , ' 0 0 0 0 0 +1 ч 0 ±1 0 /
1.1.5 'р^Н 0 0 л 0 —р3,242,3+1 0 ч 0 0 Р1,343,1 , ,
1.1.5
1.3.5, 1.3.6
2.9.12
0
0 Р3,2 Г2,2 Г3,3 Ръ.
0 0 —Г
0 0
0
Р1,3Г3,3 Г1,1Р1,3 0 0
0
Л
0 42,ъrъ,ъ Г2,2 42,3
43,1Г1,1 Г3,343,1 0
0
С — А Н+1 0 ^ — Н±1 —А 0 0 0 2А
ч /
( 00 Рl,ъrъ,ъ—rlДJРl,Ъ—Г1,2Р2,3
0 0 Р^1^^^1,^2,3
ВС 0
( 0 0 —Р2,ЪrЪ,Ъ—rl,2Рl,Ъ+rl,lР2Ъ 0 0 Рl,ЪrЪ,Ъ—rl,lРl,Ъ—rl,2Р2,Ъ
\
В ^
0
А = —Р2,3 р3,1 + р1,3 Р3,2
Н = Р1,3 Р3,1 + Р2,3Р3,2
В = р3,1г1,1 — р3,21,2 — Г3,3р3,1 С = Р3,1Г1,2 + Р3,21,1 — Г3,3Р3,2 В = —Р3,21,1— Р3,1Г1,2 + Г3,3 Р3,2 ^ = Р3,1Г1,1 — Р3,21,2 — Г3,3 Р3,1
Г 0 0 0 0 00
0 0 0 V1 0 0 ^ 0 0 0,0 —2 0 0 0 0)10 0 2
Пара Тензор кручения
3.19.14 (0,0,0),(0,0,0), (41,3 —1,2,0,0)
3.21.6, 3.21.7 (0,0,0),(0,0,0), (241,3,0,0)
1.1.5 ( 0,0, Р3,2 —43,1 ), ( Р1,3 —rl,l,0,0), (0 42,3 — r2,2,0)
1.3.5, 1.3.6 (0, 0 2Р3,2 ) , (Р1,3 — rl,1, Р2,3 + 1,2 , 0), (— Р2,3 — rl,2, Р1,3— rl,1,0)
2.9.12 нулевой
Алгебры голономии:
Пара Алгебра голономии
2.9.12 Г р2 0 Р1 > 0 —2 р2 0 ч 0 0 2р2,
3.19.14 (0 р2 Р1 > 0 Р3 0 ч 0 0 —Р3 у
0
2
3.21.6, 3.21.7 ( 0 P1 P2 ^
0 0 - P3
10 P3 0 J
У пар 2.9.12, 3.19.14, 3.21.6 и 3.21.7 связность является нормальной.
Подалгебра д - неразрешима.
Пара Аффинная связность
3.4.2, 3.4.3 ( 0 Pi,2 0 1 Pu 0 0 ^
0 0 P1,2 , 0 0 0 ,
10 0 0 0 V 0 Pu J
0 0 0
- Pia 0 0
0 V - Pu 0 y
3.5.2, 3.5.3 '0 0 0 f 0 0 -P2,3
0 0 P2,3 0 0 0 ,
0 - P2,3 0 l P2,3 0 0
( 0 P2,3 01
- P2,3 0 0
1 0 0 0 J
3.5.2, 3.5.3
Pl,3 0 0
' 0 ' 0 ± 1 0
0 0
0 P2,32 ± 1
P2,3 + 1 0 0
0
P2,32 + 1 0
Л
Л
Пара Тензор кручения
3.4.2, 3.4.3 ( 2 P1,2,0,0 ), ( 0,2 P1,2,0 ), ( 0,0,2 P., )
3.5.2, 3.5.3 ( 0,0,- 2 P2,3 ), ( 0,2 P2,3,0), (-2 P2,3,0,0)
Для пары 3.4.2 связность нормальна при р122 Ф1; для 3.4.3 и 3.5.2 связность является
нормальной, у 3.5.3 - нормальна при р232 Ф 1. Тензоры кривизны и кручения:
Пара
3.4.2, 3.4.3
3.5.2, 3.5.3
Тензор кривизны
P1,22 + 1 0 0
0
P1,
22 + 1
f-P1,22 ± 1 0 0
0 0
P1,22 + 1
0
-P1,22 0
± 1
0 0
P1,
±1
0
P2,
2 ± 1
0
Pli +1 0 0
Пара
3.4.3
3.4.2
P1,22 Ф 1
3.4.2
P1,
= 1
3.5.2
3.5.3
P2,3
Ф 1
3.5.3
P2,3
= 1
Алгебра голономии
(
P2 P3 0
0
P1
P3 - P2
P1 0
А
нулевая
0 - P1 - P2
P1 0 - P3
P2 P3 0
нулевая
Заключение. Таким образом, приведена в явном виде полная классификация трехмерных симметрических однородных пространств с неразрешимой группой преобразований, допускающих нормальную связность. Описаны все инвариантные аффинные связности на каждом таком пространстве, найдены тензоры кривизны, кручения, алгебры голономии указанных связностей и определено, когда аффинная связность нормальна.
Полученные результаты могут быть использованы при исследовании многообразий, при изучении пространств с аффинной связностью,
а также иметь приложения в различных областях математики и физики, поскольку многие фундаментальные задачи в этих областях связаны с изучением инвариантных объектов на симметрических пространствах.
Литература
1. Картан Э. Риманова геометрия в ортогональном репере. М.: Москов. ун-т, 1960. 307 с.
2. Chen B. Y. Geometry of submanifoids // Pure and Appl. Math. New York: Marcel Dekker. 1973. Vol. 10, no. 22. 308 p.
3. Картан Э. Геометрия групп Ли и симметрические пространства // Сборник работ. М., 1949. 384 с.
4. Можей Н. П. Нормальные связности на редуктивных однородных пространствах с неразрешимой группой преобразований // Доклады Национальной академии наук Беларуси. 2016. Т. 60, № 6. С. 28-36.
2
2
2
5. Можей Н. П. Канонические связности на трехмерных симметрических пространствах разрешимых групп Ли // Труды БГТУ. 2017. № 3: Физ.-мат. науки и информатика. С. 8-13.
References
1. Kartan E. Rimanova geometriya v ortogonal'nom repere [Riemannian geometry in an orthogonal frame]. Moscow, Moskovskiy universitet Publ., 1960. 307 p. (In Russian).
2. Chen B. Y. Geometry of submanifoids. Pure and Appl. Math. New York, Marcel Dekker, 1973, vol. 10, no. 22.308 p.
3. Kartan E. Geometriya grupp Li i simmetricheskie prostranstva. Sbornik rabot [The geometry of Lie groups and symmetric spaces. Collected works]. Moscow, 1949. 384 p.
4. 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).
5. Mozhey N. P. Canonical connections on three-dimensional symmetric spaces solvable Lie groups. Trudy BGTU [Proceedings of BSTU], 2017, no. 3: Physical-mathematical sciences and informatics, pp. 8-13 (In Russian).
Информация об авторе
Можей Наталья Павловна — кандидат физико-математических наук, доцент, доцент кафедры «Программное обеспечение информационных технологий». Белорусский государственный университет информатики и радиоэлектроники (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
Поступила 14.04.2017
