CC BY
8
22
Труды БГТУ, 2019, серия 3, № 2, с. 22-27
УДК 514.76
Н. П. Можей
Белорусский государственный университет информатики и радиоэлектроники СПЕЦИАЛЬНО РЕДУКТИВНЫЕ ОДНОРОДНЫЕ ПРОСТРАНСТВА
В общем случае задача исследования многообразий различных типов является достаточно сложной. Поэтому естественно рассматривать данную задачу в более узком классе многообразий, например, в классе однородных многообразий. В работе приведены результаты по исследованию трехмерных специально редуктивных однородных пространств. Определены основные понятия - изотропно-точная пара, редуктивное пространство, каноническое разложение, аффинная связность, тензоры кривизны и кручения, специально редуктивное пространство, алгебра го-лономии, форма Киллинга. Локальное изучение однородных пространств равносильно исследованию пар, состоящих из алгебры Ли и ее подалгебры. В статье описаны трехмерные специально редуктивные однородные пространства; для каждого такого пространства найдены в явном виде формы Киллинга, выписаны стандартные однородные псевдоримановы метрики, связности Леви-Чивита, тензоры кривизны, алгебры голономии, скалярные кривизны, тензоры Риччи, определено, является ли пространство Риччи-плоским, Эйнштейновым, Риччи-парал-лельным, локально симметрическим, конформно-плоским. Полученные результаты могут найти приложения в математике и физике, поскольку многие фундаментальные задачи в этих областях сводятся к изучению инвариантных объектов на однородных пространствах.
Ключевые слова: специально редуктивное пространство, группа преобразований, аффинная связность, тензор Риччи.
N. P. Mozhey
Belarusian State University of Informatics and Radioelectronics SPECIALLY REDUCTIVE HOMOGENEOUS SPACES
In general, the purpose of the research of manifolds of various types is rather complicated. Therefore, it is natural to consider this problem in a narrower class of manifolds, for example, in the class of homogeneous manifolds. The article presents the results of research of three-dimensional specially reductive homogeneous spaces. The basic notions, such as an isotropically-faithful pair, a reductive space, a canonical decomposition, an affine connection, curvature and torsion tensors, a specially reductive space, a holonomy algebra, Killing form are defined. The local study of homogeneous spaces is equivalent to the investigation of pairs consisting of Lie algebra and its subalgebra. The paper describes three-dimensional specially reductive homogeneous spaces. For each such space, Killing forms, standard homogeneous pseudo-Riemannian metrics, Levi-Chivita connections, curvature tensors, holonomy algebras, scalar curvatures, Ricci tensors have been found, it has been determined whether the Ricci-flat, Einstein, Ricci-parallel, locally symmetric, conformally flat space. The results obtained can find applications in mathematics and physics, since many fundamental problems in these fields are reduced to the study of invariant objects on homogeneous spaces.
Key words: specially reductive space, transformation group, affine connection, Ricci tensor.
Введение. П. К. Рашевский ввел в рассмотрение класс пространств аффинной связности с кручением, у которых при параллельном переносе сохраняются как тензор кривизны, так и тензор кручения; эти пространства он назвал симметрическими пространствами с кручением [1]. Соответствующий класс однородных пространств, получивших название «редуктивных пространств», изучается в дифференциальной геометрии и ее приложениях. Такие пространства, широко обобщающие римановы глобально симметрические пространства, обладают тем свойством, что все геодезические на них являются однородными [2]. М. Берже [3] изучал компактные однородные пространства с инвари-
антной римановой метрикой, которые являются естественно редуктивными. Естественно редук-тивны также большинство примеров инвариантных Эйнштейновых метрик на компактных однородных пространствах (см. обзор [4]). Каждое односвязное стандартное однородное риманово пространство разложимо в прямое риманово произведение симметрического и специально редуктивного пространства [5, 6]. Поэтому, например, для изучения стандартных Эйнштейновых многообразий достаточно рассмотреть специально редуктивные пространства, которые и описываются в данной работе.
Основная часть. Пусть М - дифференцируемое многообразие, на котором транзитивно
действует группа О, О = Ох - стабилизатор произвольной точки _х е М. Пусть $ - алгебра Ли группы Ли О, а $ - подалгебра, соответствующая подгруппе О. Пара ($, называется изотропно-точной, если точно изотропное представление Там, где это не будет вызывать разночтения, будем отождествлять подпространство, дополнительное к $ в и фактор-пространство т = $ /$ . Если подгруппа О связна, то однородное пространство О / О редуктивно при существовании разложения $ = $ + т, $ п т = 0; [0,т] с т, а само разложение $ = $ + т называется каноническим [2]. Такое разложение определяет на однородном пространстве геодезически полную линейную связность с ковариантно постоянными тензорами кривизны и кручения. Обратно, односвязное многообразие с полной линейной связностью, имеющей ковариантно постоянные тензоры кривизны и кручения, является редук-тивным однородным пространством относительно группы автоморфизмов этой связности (см. [7]). _
Аффинной связностью на паре ($, $) называется отображение Л: $ ^ $1(т) такое, что его ограничение на $ - изотропное представление подалгебры, а все отображение является $-инвариантным. Если пространство допускает инвариантную аффинную связность, то оно является изотропно-точным [7]. Редук-тивные пространства всегда допускают инвариантную аффинную связность. Тензор кручения Т е ТпуТ^ (т) и тензор кривизны Я е 1пуТ31(т) имеют вид
Т(хт, Ут )= Л(х)Ут -Л(У)Хт -[x, У ]т , Я( Хт, Ут ) = [Л( X), Л( у )]-Л([ X, у ])
для всех х, У е
Редуктивное однородное пространство М = О / О с разложением $ © т называется специально редуктивным, если пространство т с умножением
х * У = [x, У]т
не содержит нетривиальных идеалов с нулевым умножением.
Одной из важнейших характеристик связности является группа голономии. Алгебра Ли ^ группы голономии инвариантной связности Л: $ ^ $1(3, Ж) на паре ($, $) - это подалгебра алгебры Ли $1(3, Ж) вида V + [Л(0), V] + [Л(0),[Л(0), V]] + ..., где V -подпространство, порожденное множеством {[Л(х), Л(у)] -Л([х, у])| х, У е $}. В случае специально редуктивного однородного рима-нова многообразия, которое является голоном-но неприводимым относительно римановой
связности (односвязное псевдориманово пространство является голономно неприводимым относительно канонической связности без кручения тогда и только тогда, когда алгебра m проста), алгебра голономии порождается преобразованиями вида Lx : y ^ 1/2[x, y]m, x, y e m и действует неприводимо на m [8].
Будем описывать пару (g, g) при помощи таблицы умножения g c базисом (е1,...,en}, n = dim g и полагать, что g порождается
el,..., en-3 , а {«1 = en-2, u2 = en-^ u3 = en } - базис m. Для нумерации подалгебр используем запись d.n, для нумерации пар - d.n.m, здесь d - размерность подалгебры; n - номер подалгебры в gl(3, М); m - номер пары (g, g). Будем описывать связность через образы базисных векторов Л(«1), Л(«2), Л(«3), тензор кривизны R - через R(u1,u2), R(«1, u3), R(«2,u3), а тензор кручения T - через T (u1, u2), ТЦ,u3), T(u2,u3).
Теорема. Любое трехмерное специально редуктивное однородное пространство имеет следующий вид:
1.8.2 e1 u1 u2 u3
e1 0 0 u1 u2
u1 0 0 u1 u2
u2 -u1 -u1 0 u3
u3 -u2 -u2 -u3 0
2.21.4 e1 e2 u1 u2 u3
e1 0 e2 u1 0 -u3
e2 -e2 0 0 u1 u2
u1 -u1 0 0 u1 u2
u2 0 -u1 -u1 0 u3
u3 u3 -u2 -u2 -u3 0
Замечание. Здесь предполагается, что $ Ф {0}. Для $ = {0} получаем следующие однородные пространства:
0.1.6 u1 u2 u3
u1 0 2u2 -2u3
u2 -2u2 0 u1
u3 2u3 -u1 0
0.1.7 u1 u2 u3
u1 0 u3 -u2
u2 -u3 0 u1
u3 u2 -u1 0
Действительно, трехмерные редуктивные однородные пространства с ненулевой подалгеброй $ изучаются, например, в [9, 10]. Выбираем из них пространства, такие, что т не содержит нетривиальных идеалов с нулевым умножением (в данном случае одномерных идеалов либо двумерных коммутативных идеалов).
Рассмотрим, например, случай 1.8.2. Очевидно, что т не содержит нетривиальных
идеалов с нулевым умножением. Обозначив через 1х след эндоморфизма векторного пространства, рассмотрим билинейную форму
К(х, у) = 1х(а<1 х о а<1 у), х, у е д.
Форма К называется формой Киллинга алгебры "д. Если форма Киллинга не вырождена, то она отрицательно определена. В случае 1.8.2 форма Киллинга имеет вид
К =
(0 0 0 -21
0 0 0 -2
0 0 2 0
0
-2 -2 0
\ у
а ограничение формы Киллинга на подалгебру -
( 0 0 -2 1 0 2 0
V-2 0 0/
Можно рассмотреть скалярное произведение В( х, у ) = - 1х(аа х о аа у) алгебры д и ортогональное разложение алгебры д = д © т. Пара (д, д) редуктивна относительно данного разложения, т. е. д = д © т - прямая сумма, а ограничение скалярного произведения на т индуцирует С-инвариантную риманову _мет-рику на однородном пространстве С / С. В случае 1.8.2 получаем, что стандартная однородная псевдориманова метрика принимает вид
( 0 0 2 1
В=
0 -2 0 2 0 0
Риманова (псевдориманова) связность, соответствующая форме В, находится из соотношения
Л(х)ут =2[^ у]т + и(х У),
2 В(и( х, у), 2) = В( х, [ г, у]т) + В([ г, х]т, у)
для всех х, у, 2 е т. Существует единственная риманова связность без кручения, называемая Леви-Чивита связностью. Тогда связность Леви-Чивита примет вид
(0 1/2 0 1 (-1/2 0 0 0
0 1/2 0 0 ( 0 -1/2 0 -1/2 0
0 1 0 0 0 0 0 1/2 0 0 1 0 0
а тензор кривизны -
(0 -1/4 0 1 (1/4 0
-1/4 0 ( 0 1/4 0
0 0
0 0
\
0 0 1 0 0 1/4 0
0 1 0 -1/4
тензор кручения нулевой.
Алгебра голономии ^ имеет вид
Л
0
0 1
32;
Тензор Риччи определяется через тензор кривизны следующим образом:
Шс(х,у) = 1х{2 ^ Я(2,х)у},
где х, у, 2 - произвольные касательные векторы на многообразии, в рассматриваемом случае
Шс =
( 0 0 1/2
0
1/2
0
1/2 1 0 0
С тензором Риччи связано несколько геометрических свойств многообразия. Многообразие называется Риччи-плоским, если тензор Риччи тождественно равен нулю. Более общее условие - многообразие является Эйнштейновым, если Шс = ХВ для некоторой константы Х. Условие Риччи-параллельности - кова-риантная производная тензора Риччи равна нулю. Если ковариантная производная тензора кривизны равна нулю, т. е. Л(Я) = 0, многообразие называется локально симметрическим. Тензор Коттона (тензор Схоутена - Вей-ля) задается как тензор 3-го ранга, определяемый с помощью метрики:
С(х, у, 2) = Vг Шс(х, у) - Vу Шс(х, 2) + +(V уЯВ( х, 2) -V 2ЯВ( х, у)),
где х, у, 2 е т, а Я - скалярная кривизна. В размерности п = 3 равенство нулю тензора Коттона является необходимым и достаточным условием того, что многообразие будет конформно-плоским.
Пространство 1.8.2 не является Риччи-плоским (так как тензор Риччи не равен нулю), является Эйнштейновым (поскольку Шс = ХВ при Х = 1/4), Риччи-параллельным (так как
ковариантная производная тензора Риччи равна нулю), локально симметрическим (поскольку Л^) = 0), конформно-плоским (так как тензор Коттона равен нулю), а скалярная кривизна R = 3/4.
Рассмотрим теперь случай 2.21.4. Очевидно, что т не содержит нетривиальных идеалов с нулевым умножением. Форма Киллинга имеет вид
K =
а ограничение формы Киллинга на подалгебру -
( 0 0 -2 1 0 2 0
V-2 0
Стандартная однородная псевдориманова метрика примет вид
Тензор Риччи -
(0 0 1/2"
Шс = 0 -1/2 0
[ш 0 0,
(3 0 0 -2 0 1
0 0 0 0 -2
0 0 0 0 -2
-2 0 0 2 0
V 0 -2 -2 0 0 )
Пространство не является Риччи-плоским (так как тензор Риччи не равен нулю), является Эйнштейновым (поскольку Шс = ХВ при X = 1/4), Риччи-параллельным (так как ковариантная производная тензора Риччи равна нулю), локально симметрическим (Л^) = 0), конформно-плоским (поскольку тензор Коттона равен нулю), а R = 3/4.
В случае 0.1.6 т не содержит нетривиальных идеалов с нулевым умножением, форма Киллинга -
K =
( 8 0 01
0 0 4
V 0 4 0)
стандартная однородная метрика имеет вид
псевдориманова
(0 0 21 (-8 0 01
B = 0 -2 0 B = ? 0 0 -4
V 2 0 0 V V 0 -4 0 V
а связность Леви-Чивита -
( 0 0 0
1/2 0 0
0 1 (-1/2
1/2 0
( 0 -1/2 0
0 0
0 0 1/2
0 1 0 1/2
а связность Леви-Чивита -
(0 0 0 1 ( 0 0 1/2 1
0 1 0 0
0 -1
-1 0 0 0
0 1
0
0
(0 -1/2 0 1 0 0 0 1 0 0
при этом тензор кривизны -(0 -1/4 0 1 (1/4
-1/4
0
У N
( 0 0 1/4 0 0 1/4
0
0 0 0 0 0 1 0 0
0 1 0
-1/4
тензор кривизны -
(0 0 -1/2 1 1 0 0
V0 0 0 у
( 0 0 0
(0 -1/2 0 1
0 0 0
1 0 0
0 0 1 -1/2 0 0 1/2
тензор кручения нулевой.
Алгебра голономии ^ имеет вид
тензор кручения нулевой. Алгебра голономии -
(.У 2 .1 01
< .3 0 .1
V0 .3 -У2 )
, .3 е
( 0 .2 * 1
-2.1 .3 0 .2,.3 е Ж
V -2У2 0 - .3)
а тензор Риччи -
Алгебра голономии -
Г -2 0 0 ï
0 0 -1
v 0 -1 0,
Ric =
Пространство не является Риччи-плоским, является Эйнштейновым (при X = 1/4), Риччи-параллельным, локально симметрическим, конформно-плоским, а Я = 3/4.
Для случая 0.1.7 т не содержит нетривиальных идеалов с нулевым умножением, форма Киллинга -
K =
Г -2 0 0
0 -2 0
0 ï 0 -2
тогда стандартная однородная псевдориманова метрика -
Г 2 0 0 ï B =020 ч 0 0 2 а связность Леви-Чивита -
Г 0 0 0 ï г
0 -1/2 1/2 0 Г 0 1/2
0 0 -1/2
\
1/2 0 ï
1/2 ï 0 0
0
тензор кривизны
Г 0 1/4 0 ï Г -1/4 0 0 0 0 0
0 0
-1/4
0 0
0 0 0
0 0
1/4 ï 0 0
Г 0 0 0
0 0
-1/4
0 ï 1/4 0
тензор кручения нулевой.
Г 0 S1 5 ï 2
< -s1 0 S3 5j,s2,s3 e Ж >
v - S2 -S3 0 j
Тогда тензор Риччи -
Г1/2 0 0 ï
Ric =
1/2 0 0 1/2
пространство не является Риччи-плоским, является Эйнштейновым (X = 1/4), Риччи-параллельным, локально симметрическим, конформно-плоским (Я = 3/4).
Прямыми вычислениями для всех трехмерных редуктивных однородных пространств получаем, что других специально редуктивных трехмерных однородных пространств нет. В частности, не существует специально редук-тивных трехмерных однородных пространств со стабилизатором размерности более двух.
Заключение. Описаны трехмерные специально редуктивные однородные пространства. Для каждого такого пространства найдены в явном виде формы Киллинга, их ограничение на подалгебру, выписаны стандартные однородные псевдоримановы метрики, связности Леви-Чивита, тензоры кривизны, алгебры голономии, скалярные кривизны, тензоры Риччи, определено, является ли пространство Риччи-плоским, Эйнштейновым, Риччи-параллельным, локально симметрическим, конформно-плоским. Полученные результаты могут найти приложения в математике и физике, поскольку многие фундаментальные задачи в этих областях сводятся к изучению инвариантных объектов на однородных пространствах.
Литература
1. Рашевский П. К. Симметрические пространства аффинной связности с кручением // Труды семинара по векторному и тензорному анализу. 1969. Вып. 8. С. 82-92.
2. Кобаяси Ш., Номидзу К. Основы дифференциальной геометрии: в 2 т. М.: Наука, 1981. 2 т.
3. Berger M. Les variétés riemanniennes homogènes normales simplement connexes à courbure strictement positive // Ann. Sci. Ecole Norm. Super. 1961. Vol. 15. P. 179-246.
4. Никоноров Ю. Г., Родионов Е. Д., Славский В. В. Геометрия однородных римановых многообразий // Современная математика и ее приложения. 2006. Т. 37. С. 1-78.
5. Родионов Е. Д. Односвязные компактные стандартные однородные Эйнштейновы многообразия с группой голономии SO(n) // Известия Алтайского государственного университета. 1997. № 1. С. 7-10.
6. Фляйшер А. Алгебры инвариантных псевдоримановых связностей на однородных пространствах // Ученые записки Тартуского университета. 1988. Вып. 803. С. 132-142.
7. Картан Э. Геометрия групп Ли и симметрические пространства. М.: Иностранная литература, 1949. 384 с.
8. Sagle A. On anticommutative algebras and homogeneous spaces // J. math. and mech. 1967. Vol. 16, no. 12. P.1381-1394.
9. Можей Н. П. Трехмерные редуктивные пространства разрешимых групп Ли // Известия Гомельского государственного университета имени Франциска Скорины. 2016. № 6. С. 74-81.
10. Можей Н. П. Трехмерные редуктивные пространства неразрешимых групп Ли // Доклады Национальной академии наук Беларуси. 2017. Т. 61, № 1. С. 7-17.
References
1. Rashevskiy P. K. Symmetric spaces of affine connection with torsion. Trudy seminara po vektornomu i tenzornomu analizu [Proceedings of the seminar on vector and tensor analysis], 1969, issue 8, pp. 82-92 (In Russian).
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. Berger M. Les variétés riemanniennes homogènes normales simplement connexes à courbure strictement positive. Ann. Sci. Ecole Norm. Super, 1961, vol. 15, pp. 179-246.
4. Nikonorov Yu. G., Rodionov E. D., Slavskiy V. V. Geometry of homogeneous Riemannian manifolds. Sovremennaya matematika i ee prilozheniya [Modern Mathematics and Its Applications], 2006, vol. 37, pp. 1-78 (In Russian).
5. Rodionov E. D. Compact simply connected standard homogeneous Einstein manifolds with holonomy group SO(n). Izvestiya Altayskogo gosudarstvennogo universiteta [Proceedings of the Altai State University], 1997, no. 1, pp. 7-10 (In Russian).
6. Flyaysher A. Algebras of invariant pseudo-Riemannian connections on homogeneous spaces. Uchenyye zapiski Tartuskogo universiteta [Scientific notes of the University of Tartu], 1988, issue 803, pp. 132-142 (In Russian).
7. Kartan E. Geometriya grupp Li i simmetricheskiye prostranstva [Geometry of Lie groups and symmetric spaces]. Moscow, Inostrannaya literatura Publ., 1949. 384 p.
8. Sagle A. On anticommutative algebras and homogeneous spaces. J. math. and mech., 1967, vol. 16, no. 12, pp. 1381-1394.
9. Mozhey N. P. Three-dimensional reductive spaces of solvable Lie groups. Izvestiya Gomel'skogo gosudarstvennogo universiteta imeni Frantsiska Skoriny [Proceedings of the Francis Skaryna Gomel State University], 2016, no. 6, pp. 74-81 (In Russian).
10. Mozhey N. P. Three-dimensional reductive spaces of insoluble Lie groups. Doklady Natsional'noy akademii nauk Belarusi [Reports of the National Academy of Sciences of Belarus], 2017, vol. 61, no. 1, pp. 7-17 (In Russian).
Информация об авторе
Можей Наталья Павловна - кандидат физико-математических наук, доцент, доцент кафедры программного обеспечения информационных технологий. Белорусский государственный университет информатики и радиоэлектроники (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 st., 220013, Minsk, Republic of Belarus). E-mail: mozheynatalya@mail.ru
Поступила 29.03.2019
