CC BY
11
Локально однородные псевдоримановы многообразия...
УДК 514.764.2
Локально однородные псевдоримановы многообразия размерности 4 с изотропным тензором Вейля*
С.В. Клепикова, О.П. Хромова
Алтайский государственный университет (Барнаул, Россия)
Locally Homogeneous Pseudo-Riemannian 4-Manifolds with Isotropic Weyl Tensor
S.V. Klepikova, O.P. Khromova
Altai State University (Barnaul, Russia)
Изучению конформно плоских (псевдо)рима-новых многообразий, т.е. многообразий с тривиальным тензором Вейля, посвящены работы многих математиков. Кроме того, можно рассматривать многообразия, тензор Вейля которых имеет нулевой квадрат длины, а сам он не является нулевым. Такие многообразия называют многообразиями с изотропным тензором Вейля.
В случае римановой метрики квадрат длины тензора в некотором ортонормированном базисе представляет собой сумму квадратов всех компонент и равен нулю, только если сам тензор тривиален. Поэтому естественно рассматривать лишь случай псевдоримановой метрики. В случае размерности 3 тензор Вейля тривиален и его аналогом является тензор Схоутена — Вейля (также известный как тензор Коттона). В работе Е.Д. Родионова, В.В. Славского, Л.Н. Чибриковой тензор Схоутена — Вейля был исследован для левоин-вариантной лоренцевой метрики на трехмерных группах Ли, в т.ч. решена задача о его изотропности.
В данной работе приведены результаты по исследованию четырехмерных локально однородных пространств с нетривиальной подгруппой изотропии и левоинвариантной псевдоримановой метрикой с изотропным тензором Вейля.
Ключевые слова: локально однородные многообразия, тензор Вейля, инвариантная (псевдо)рима-нова метрика, изотропный тензор.
ОМ 10.14258/izvasu(2018)1-17
Papers of many mathematicians are devoted to studying of conformally flat (i.e., with the trivial Weyl tensor) (pseudo)Riemannian manifolds. Moreover, one can consider manifolds with Weyl tensors having zero squared length while itself being non zero. Also, such manifolds are called manifolds with isotropic Weyl tensors.
In the case of Riemannian metric, the squared length of the tensor in some orthonormal basis is the sum of the squares of all components. The squared length equals to zero if the tensor itself is trivial. Therefore, it is natural to consider only the pseudo-Riemannian metric case. For the dimension of 3, the Weyl tensor is trivial, and the Schouten-Weyl tensor (also known as the Cotton tensor) is identical with the Weyl tensor. In the paper of Rodionov E.D., Slavskii V.V., Chibrikova L.N., the Schouten-Weyl tensor was investigated for a left-invariant Lorentzian metric on three-dimensional Lie groups, including the problem of its isotropy.
In this paper, results of the study of four-dimensional locally homogeneous spaces with nontrivial isotropy subgroup and with invariant pseudo-Riemannian metric and an isotropic Weyl tensor are presented.
Key words: locally homogeneous manifolds, Weyl tensor, invariant (pseudo)Riemannian metric, isotropic tensor.
1. Введение, основные обозначения и
факты. Псевдориманово многообразие (М, д) называется локально конформно однородным, если псевдогруппа локальных конформных преобразований на нем действует транзитивно. Из работы [1] известно, что при конформной деформации локально однородное пространство перехо-
*Работа выполнена при поддержке РФФИ (грант № 16-01-00336А).
дит в локально конформно однородное пространство (см. подробнее [1-9]). Возникает вопрос: существует ли такое преобразование, с помощью которого из локально конформно однородного пространства можно получить локально однородное?
Известно, что если квадрат длины тензора Вейля \\Wу2 не равен нулю (при т =3 квадрат длины тензора Схоутена — Вейля \\2 не равен нулю), то с помощью некоторого специально
выбранного конформного преобразования из локально конформного пространства возможно получить локально однородное пространство.
Если \\Wу2 = 0, то в случае римановой метрики W = 0, поэтому естественно ограничиться лишь собственно псевдоримановым случаем.
Задача: найти такие псевдоримановы многообразия, для которых одновременно \\W\\2 = 0 и W = 0 (т.е. тензор Вейля является изотропным).
В трехмерном случае аналогичная задача для тензора Схоутена — Вейля решена в работах [1,10], что является продолжением исследований Дж. Милнора [11] по левоинвариантным ри-мановым метрикам на трехмерных группах Ли.
В данной работе представлено решение вышеприведенной задачи для случая размерности m = 4 с использованием классификации 4-мерных локально однородных многообразий с нетривиальной подгруппой изотропии [12].
Приведем математическую модель, позволяющую решить задачу об изотропности тензора Вейля на локально однородных псевдоримановых многообразиях.
Пусть (M = G/H,g) — локально однородное (псевдо)риманово многообразие размерности m. Обозначим через g алгебру Ли группы G, через h — подалгебру изотропии, а через m = g/h (необязательно редуктивное) дополнение к h в g.
Пара (g, h) однозначно определяет представление изотропии ф : h ^ gl (m) правилом фх (Y) = [X, Y]m. Инвариантной (псевдо)римано-вой метрике на G/H соответствует невырожденная билинейная форма g на m такая, что
(фх)t ■ g + g ■ Фх = 0, УХ е h,
(1)
Компоненты тензора Вейля W имеют следующий вид:
Wijkt = Rijkt-
riccikgjt + riccjtgik - riccitgjk - riccjkgit
(n - 2)
sc(gitgjk - gikgjt)
(n - 1) (n - 2)
• (7)
Квадрат длины тензора Вейля вычисляется по формуле
№ У2 = WijktWlnqr дид^д^д^. (8)
2. Изотропность тензора Вейля. Приведем алгоритм решения задачи об изотропности тензора Вейля (см. подробнее [13-15]):
1. Из классификации [12] находим вид ненулевых скобок Ли.
2. С помощью уравнения (1) выписываем матрицу метрического тензора.
3. Находим компоненты тензора Вейля используя формулы (2-7).
4. Вычисляем квадрат длины тензора Вей-
ля
', используя (8).
где (фх) — транспонированная матрица. Эта форма однозначно определяет связность Ле-ви — Чивита V: 0 ^ 01 (т) правилом
^х ^т) = 2[Х^]т + V (Х^), (2)
где отображение V: 0 х 0 ^ т определяется формулой
2д (V (Х^) ,^т) =
= д (Хт, [^]т)+ д ^т, [^Щ . (3)
Тензору кривизны связности V соответствует отображение К: т х т ^ 01 (т) такое, что
R (Х^)=[VY, Vх]+ V [х^]. (4)
Тензор Риччи йсс и скалярная кривизна ее определяются формулами
осс (X, Y) = ^ ^ ^ К (X, Z) Y), (5) sc = ^г^ (ricc) . (6)
5. Решаем систему уравнений \\№||2 = 0, № = 0.
Решая задачу об изотропности тензора Вейля для всех 186 случаев из классификации Б.Б. Ко-мракова [12], получим следующий результат:
• в 77 случаях из классификации [12] тензор Вейля № является изотропным, причем:
1) для 34 из них тензор Вейля № изотропен для любой инвариантной метрики;
2) для остальных 43 случаев тензор Вейля № является изотропным лишь при определенных условиях на компоненты метрического тензора;
• в 109 случаях из классификации [12] тензор Вейля № не является изотропным, причем:
1) в 15 случаях квадрат длины тензора Вейля \ №\ 2 не зануляется ни для какой инвариантной метрики;
2) в 74 случаях все компоненты тензора Вейля № равны нулю;
3) в 20 случаях тривиальность квадрата
влечет за со-
длины тензора Вейля бой тривиальность тензора Вейля №.
В таблице 1 представлены результаты для случая, когда тензор Вейля является изотропным при определенных условиях.
Замечание. Для всех случаев, представленных в таблице 1, квадрат длины тензора Вейля тождественно равен нулю, кроме случаев 1.11.1,
Локально однородные псевдоримановы многообразия.
1.12.1 и 1.31.1. В случае 1.12.1 квадрат длины тензора Вейля представлен ниже, в случае 1. 11. 1
IIW II2 =
(о43 - 13Aa23 +4A2)
22
^13
где A = а22а44 — «24; в случае 1.31.1
3«44
8«4з.
3. Пример вычислений. В качестве примера рассмотрим случай 1 . 12.1 из классификации [12].
В данном случае скобки Ли имеют следующий вид:
[ebwi] = из, [ei, U3] = —ui, [ui,из] = — U2,
[ui, U4] = Ui, [U2, U4] = 2u2, [из, U4] = U3,
где h = span (ei), m = span (ui, u2, u3, u4). Метрический тензор имеет вид:
g =
/«33 0 0 0
0 «22 0 «24
0 0 «33 0
0 «24 0 «44/
«33 = 0
2
«24 = «22 «44
Ненулевыми компонентами тензора Вейля являются:
Wm4 = Wi4i2 = Wi4i4 = W2334 = —W3423 =
(A + 2а3з) «22«44
= W 3434 = -тп->
6A азз
Wi324 = 2Wi324 = W23i4 = Wi423 = 2WMi3 =
_ 022 , ~ 2
Wv
Wi-
W2:
W2.
(A + 2a2
6A азз (A + 2a33) «22
3A
где А = «22 «44 - «24.
Квадрат длины тензора Вейля имеет следующий вид:
IIWI
2_ 4а22(4«зз + 13Aa^3 + A2)
3A2c
33
Он равен нулю в двух случаях:
1. При «22 = 0. Но в этом случае зануляются компоненты тензора Вейля, следовательно, в данном случае тензор Вейля не является изотропным.
о -гт 2а24-а5,(13±зУТ7) о
2. При «22 = —24—--—. В данном случае
все компоненты тензора Вейля одновременно в ноль не обращаются.
Таблица 1
Псевдоримановы многообразия с изотропным тензором Вейля W
№ det g = 0 W изотропен
1.11.1 а1з = 0 2 U- а24 = а22а44 а44 = 0, а22 = «?3(3VlJ±13)+8a|4 = 0
1.12.1 азз = 0 2 а24 = а22а44 а44 = 0, а____2а24-а3з(1з±зУ17) = 0 а22 2а44 = 0
1.31.1 а2з = 0 азз + аз4 = 0, а44 = 0
1.31.2 а44 = 0, Л = 0
1.31.4 а44 = 0
1.31.5 = 2Ааз4 а44(2^ + \2) а33 = м м(м-1)
1.3^7 Лазз — 2аз4 — а44 = 0
1.31.8 азз = 0
1.31.9 азз = 0, Л =0, Л = —1
1.31.12 азз = 0, 2д = 1, д + Л = 1
1.31.15 азз = —а44
1.31.16 азз = аз4
1.31.19 азз = 0
1.31.20
1.31.21 азз = 0, Л = 0, 2Л = 1
1.31.24 3Л = 2, азз = 2Л(Л — 1)а44
1.31.25 3Л = 2, —азз = 2Л(Л — 1)а44
1.31.28 азз = 2а44
1.31.29 азз = — 2а44
1.31.30 д = 0, Л = 0, —2аз4 = = (д — 1)азз + (Л — 1)а44
1.41.1 а22 = 0 а44 = 0 азз = 0, 2а22 = а44
1.41.2 азз = 0, p =3
1.41.3 азз = а44
1.41.4 азз = —а44
1.41.5 азз = 0
1.41.9 (2p — 1)2 + +(а22(р(р + 1) — r) — а44)2 = = 0
1.41.10 Р(Р + 1) = r
1.41.12 r = 0
1.41.14 r = 1
1.41.15 а22 = —а44
1.41.16 а22 = а44
1.41.18 а22 = —а44
1.41.19 а22 = а44
2.21.4 а24 = 0 азз = 0
2.22.1 а2з = 0 а44 = 0
2.22.2
2.51.1 а24 = 0 азз = 0
2.51.2
2.52.1 а22 = 0 а44 = 0
2.52.2 а44 = 0 s = 0
2.52.3
2.52.4
2.52.5
2
2
2
а
4
Таким образом, справедлива Теорема. Локально однородное псевдоримано-во многообразие 1.12.1 имеет изотропный тензор Вейля тогда и только тогда, когда инвариантная метрика имеет вид
0 \
g
( «33 0 0 V0
2a
0
3(13±3У17)
2a44 0
«24
0
0
«33 0
«24 0
«44
где «4,4 = о, ^^laif3^ = 0, «33 = 0.
4. Заключение. В данной работе приведены результаты по исследованию четырехмерных локально однородных пространств с нетривиальной подгруппой изотропии и левоинвариантной псевдоримановой метрикой с изотропным тензором Вейля.
Результатом данной работы является решение задачи об изотропности тензора Вейля в случае 4-мерных локально однородных псевдорима-новых многообразий, что дополняет результаты работ [1,10,16].
2
a
Библиографический список
1. Родионов Е.Д., Славский В.В., Чибрикова Л. Н. Локально конформно однородные псевдори-мановы пространства // Мат. труды. — 2006. — Т. 9, № 1. DOI: 10.3103/S1055134407030030
2. Alekseevskiy D.V. Lorentzian manifolds with transitive conformal group // Note di Matematica. — 1974. — V. 37, № 1. D0I:10.1285/i15900932v37suppl1p35
3. Alekseevskiy D.V. Groups of conformal transformations of Riemannian spaces // Math. Sb. — 1985. — V. 89, № 1. DOI: 10.1070/SM1972v018n02ABEH001770
4. Alekseevsky D.V. The sphere and the Euclidean space are the only Riemannian manifolds with essential conformal transformations // Uspekhi Math. Nauk. — 1973. — V. 28, № 5.
5. Kühnel W., Rademacher H-B. Conformal transformations of pseudo-Riemannian manifolds Recent Development of Pseudo-Riemannian geometry — European Mathematical Society Publishing House, Switzerland: 2008. — P. 261-298. DOI: 10.4171/051
6. Ferrand J. The action of conformal transformations on a Riemannian manifold // Math. Ann. — 1996. — V. 304, № 2. — P. 272-291.
7. Frances C. Essential conformal structures in Riemannian and Lorentzian structures Recent Development of Pseudo-Riemannian geometry — European Mathematical Society Publishing House, Switzerland: 2008. — P. 234-260. DOI: 10.4171/051
8. Podoksenov M.N. Conformally homogeneous Lorentzian manifolds // Sib. Mat. J. — 1992. -V. 33, № 6.
9. Takagi H. Conformally flat Riemannian manifolds admitting a transitive group of isometries // Tohoku Math. J. — 1975. — V. 27, № 1. DOI: 10.2748/tmj/1178241040
10. Клепиков П.Н., Клепикова С.В., Родионов Е.Д., Хромова О.П. О тензоре Схоутена -Вейля трехмерных метрических групп Ли // математика и ее приложения: фундаментальные проблемы науки и техники : сб. тр. Всерос. конф. Барнаул, 24-26 ноября 2015. — Барнаул, 2015.
11. Milnor J. Curvature of left invariant metric on Lie groups // Advances in mathematics. — 1976. — V. 21. — P. 293-329. DOI: 1016/S0001-8708(76)80002-3.
12. Komrakov B.B. Einstein — Maxwell equation on four-dimensional homogeneous spaces // Lobachevskii J. Math. — 2001. — V. 8.
13. Хромова О.П. Применение пакетов аналитических вычислений для определения основных геометрических характеристик нередуктив-ных однородных псевдоримановых многообразий // Математика и ее приложения: фундаментальные проблемы науки и техники : сб. тр. Всерос. конф. Барнаул, 24-26 ноября, 2015. — Барнаул, 2015.
14. Клепиков П.Н., Родионов Е.Д. Применение пакетов символьных вычислений к исследованию алгебраических солитонов Риччи на однородных (псевдо)римановых многообразиях // Известия АлтГУ. — 2017. — №4. DOI: 10.14258/izvasu(2017)4-19
15. Calvaruso G., Zaeim A. Conformally flat homogeneous pseudo-riemannian four-manifolds // Tohoku Math. J. — 2014. — Vol. 66. DOI: 10.2748/tmj/1396875661
16. Гладунова О.П., Родионов Е.Д., Слав-ский В.В. О гармонических тензорах на трехмерных группах Ли с левоинвариантной римановой метрикой // ДАН, серия: математика. — 2008. — T. 419, № 6.
