CC BY
5
ВЕСТНИК ЮГОРСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА
_2021 г. Выпуск 1(60). С. 17-22_
DOI: 10.17816/byusu20210117-22 УДК 514.742.4
Т. А. Андреева, Д. Н. Оскорбин, Е. Д. Родионов
ИССЛЕДОВАНИЕ КОНФОРМНО КИЛЛИНГОВЫХ ВЕКТОРНЫХ
ПОЛЕЙ НА ПЯТИМЕРНЫХ 2-СИММЕТРИЧЕСКИХ ЛОРЕНЦЕВЫХ
МНОГООБРАЗИЯХ
Конформно киллинговы поля играют важную роль в теории солитонов Риччи, а также порождают важный класс локально конформно однородных (псевдо)римановых многообразийй. В римановом случае В. В. Славским и Е. Д. Родионовым было доказано, что такие пространства являются либо конформно плоскими, либо конформно эквивалент■,-ны локально однородным римановым многообразиям. В псевдоримановом случае вопрос их строения остается открытым. Псевдоримановы симметрические пространства порядка k, где k > 2, играют важную роль в исследованиях по псевдоримановой геометрии. В настоящее время они исследованы в случаях k = 2, 3 Д. В. Алексеевским, А. С. Га-лаевым и другими. Для произвольного k известны нетривиальные примеры таких пространств: обобщенные многообразия Кахена-Уоллаха. В случае малых размерностей эти пространства и векторные поля Киллинга на них изучались Д. Н. Оскорбиным, Е. Д. Родионовым и И. В. Эрнстом с помощью систем компьютерной математики. В данной работе с помощью СКМ Sagemath исследованы конформно киллинговы векторные поля на пятимерных неразложимых 2-симметрических лоренцевых многообразиях, построен алгоритм для их вычисления.
Ключевые слова: конформно киллинговы векторные поля, лоренцевы многообразия, k-симметрические пространства.
T. A. Andreeva, D. N. Oskorbin, E. D. Rodionov
INVESTIGATION OF CONFORMALLY KILLING VECTOR FIELDS ON 5-DIMENSIONAL 2-SYMMETRIC LORENTZIAN MANIFOLDS
Conformally Killing fields play an important role in the theory of Ricci solitons and also generate an important class of locally conformally homogeneous (pseudo) Riemannian manifolds. In the Riemannian case, V.V. Slavsky and E.D. Rodionov proved that such spaces are either conformally flat or conformally equivalent to locally homogeneous Riemannian manifolds. In the pseudo-Riemannian case, the question of their structure remains open. Pseudo-Riemannian symmetric spaces of order k, where k > 2, play an important role in research in pseudo-Riemannian geometry. Currently, they have been investigated in cases k = 2, 3 by D.V. Alekseevsky, A.S. Galaev and others. For arbitrary k, non-trivial examples of such spaces are known: generalized Kachen - Wallach manifolds. In the case of small dimensions, these spaces and Killing vector fields on them were studied by D.N.Oskorbin, E.D. Rodionov, and I.V. Ernst with the help of systems of computer mathematics. In this paper, using the Sagemath SCM, we investigate conformally Killing vector fields on five-dimensional indecomposable 2-symmetric Lorentzian manifolds, and construct an algorithm for their computation.
Key words: conformally Killing vector fields, Lorentzian manifolds, k-symmetric spaces.
1. Обозначения и факты.
Определение. Псевдоримановым многообразием называется гладкое многообразие M, на котором задан гладкий невырожденный симметричный метрический тензор g. Если метрический тензор имеет сигнатуру (1 , n — 1), то (M,g) называется лоренцевым многообразием.
Определение. Псевдориманово многообразие (M,g) называется симметрическим порядка к, если
Vk R = 0, Vk-1R = 0,
где к > 1 и R — тензор кривизны (M, g), а V — связность Леви-Чивиты.
Для римановых многообразий из условия VkR = 0 вытекает VR = 0. Однако лорен-цевы k-симметрические пространства существуют при всех к > 2.
Локально неразложимые 1-симметрические лоренцевы многообразия описаны Кахеном и Уоллахом в [1], 2-симметрические лоренцевы многообразия исследованы в работах [2,3,4]. Отметим, что они являются многообразиями Уокера [5,6].
Определение. Гладкое векторное поле K на (псевдо)римановом многообразии (M,g) называется полем Киллинга, если выполняется равенство
Lk g = 0, (1)
где Lkg — производная Ли метрического тензора вдоль поля K.
Определение. Гладкое векторное поле K на (псевдо)римановом многообразии (M,g) называется конформно киллинговым векторным полем, если выполняется равенство
Lk g = f (p)g, (2)
где Lkg — производная Ли метрического тензора вдоль поля K, p Е M, а f (p) — гладкая вещественная функция на многообразии.
Из теоремы Ву (см. [7]) следует, что любое лоренцево многообразие локально может быть представлено в виде прямого произведения некоторого риманова многообразия (Mi,gi) и локально неразложимого лоренцева многообразия (M2,g2). Все рассматриваемые далее лоренцевы многообразия предполагаются локально неразложимыми.
С помощью теоремы А.С. Галаева и Д.В. Алексеевского (см. [2]) можно выбрать систему локальных координат (v, x1, x2, x3, u) на M, где (M,g) — неразложимое лоренцево пятимерное многообразие, такую, что
3
g = 2dudv + ^(dxi)2 + ^H110(x1)2
i=1
+ 2HmxV + 2H130x1x3 + H22o(x2)2
3
+ 2H23ox2x3 + H33o(x3)2 + ^(xi)2uHii^ du2, (3)
i=1
где Hii1 — ненулевые действительные числа, а Hij0 — произвольные константы.
2. Основной алгоритм.
В решении задачи о нахождении общего решения уравнения конформно киллингова поля на пятимерных локально неразложимых 2-симметрических лоренцевых многообразиях можно выделить следующие основные этапы:
1) запись уравнения Lxg = f (p)g для определения комфорно киллингова поля в локальных координатах Д.В. Алексеевского - А.С. Галаева;
2) нахождение частного решения уравнения Lxg = f (p)g;
3) построение общего решения с помощью уравнения для нахождения полей Киллинга.
Более подробно:
1) Уравнение конформно киллингова векторного поля в локальных координатах на пятимерном 2-симметрическом неразложимом лоренцевом многообразии с метрикой (3) примет вид системы дифференциальных уравнений (4)
1 3
i=1
1 dX1 1 dX2 1 + 2 2 dx2 2 dx1 = 0, 2 dU dv = 0,
1 dX1 1 dX3 1 + 3 2 dx3 2 dx1 = 0, -f+dX- dxj = 0,
1 dX2 1 dX3 2 dx3 ' 2 dx2 = 0, dU 1 dX7- + J dxj 2 dv = 0,
+ HMo)(xi)2 ^ dv + H12Qx 1 2 dU 1xV+ dv
irr 1 dU „ 2dU\ 3 „ dU dV + H^ox1 — + Я230Х^ x3 - 2f + — + — = 0, V dv dW du dv
1 3 dU dU
- u + ЯИ0)(xi)2 — + H12QX1X2 — +
¿=1
/ 1 dU rr 2 dU \ 3 dV 1 dX2 + H13QX^-- + Я230Х^-- x3 + — + ""Г" = 0, V dxj dxj/ dxj 2 du
-- ^ (2H„1fu + 2HMof - Hii1U - 2(ЯИ1 u + Hmq)—) (x*)2+
¿=1
+ ((Hmu + ЯПо)Х1 + Я120Х2 + Я130Х3 - (^H12of - Я120ddu)x1-
-H12oX1^ - (H221 u + H22o)X2 - H23oX^x2 - (2 (H^of - Я130ddu)x1+
+2(H23of - Я230Х2 - (H331u + H33o)X3))x3 + 2^ = 0,
где Hii1 — ненулевые действительные числа, Hj0 — произвольные константы, а V(v,x1,x2,x3,u), Xj(v,x1,x2,x3,u), U(v,x1,x2,x3,u) — компоненты векторного поля K
(i = 1, 2, 3).
2) Для системы уравнений (4) построим частное решение. Теорема 1. Векторное поле
K = (2fv + c) dV + fx1 ^ + fx2 -d2 + fx3 ^,
dv dx1 dx2 dx3
где c, f — некоторые постоянные, на 2-симметрическом пятимерном неразложимом лоренцевом многообразии M с метрикой (3) является конформно киллинговым.
Доказательство. В локальных координатах Д.В. Алексеевского - А.С. Галаева проверим справедливость системы уравнений (4) для поля K.
Все уравнения, кроме последнего, очевидно, выполнены, последнее уравнение выполнено, так как после подстановки значений V, Xi, U и раскрытия всех скобок мы получаем:
-Hmf (x1)2u - Hnof (x1)2 - Я221/(x2)2u - H220f (x2)2 - H331/ (x3)2u--Я330 / (x3)2 + H111/(x1)2u + H110/(x1)2 + Hi20/x1x2+ +Hi30/x1x3 - 2H120/x1x2 + H120/x1x2 + H221/(x2)2u+
+H220/(x2)2 + H230/x2x3-2H130/x1x3 - 2H230/x2x3+ +H130/x1x3 + H230/x2x3 + H331/(x3)2u + H330/(x3)2 = 0.
Теорема доказана. 3) Имеет место
Лемма. Пусть (M, g) - (псевдо) риманово многообразие, K, P - конформно киллинго-вы векторные поля на M с константой / Е R. Тогда K - P есть векторное поле Киллинга на M.
Доказательство. Действительно, вычитая почленно из равенства Lkg = /g равенство Lpg = /g получаем Lk-pg = 0.
Следствие. В условиях теоремы 1 пространство конформно киллинговых векторных полей может быть построено с помощью частного решения конформно киллингова уравнения и пространства полей Киллинга.
Отметим, что неразложимые 2-симметрические лоренцевы многообразия являются пространствами Кахена-Уоллаха CWn+2 при d = 1, киллинговы векторные поля на которых изучались в работе [8]. Была доказана
Теорема 2. Пусть X — векторное поле Киллинга с координатами V(v, x1,..., xn, u), Xj(v, x1,..., xn, u), U(v,xl,..., xn, u) (V,Xj, U — гладкие функции), на обобщенном многообразии Кахена-Уоллаха (CWП+2, g) размерности n +2 > 4, с метрикой
nn
g = 2dvdu + ^^(dxi)2 + aij(u)xixj)(du)2, i=1 i,j=1
где aij (u) = Hij0 + H^u.
Общее решение уравнения Киллинга имеет вид:
U=0 Xi = bi(u) + /ikxk , V = —bi(u)xi + c
где c Е R — произвольная константа, функции bi(u) определяются системой дифференциальных уравнений bi,(u) = aij(u)bj(u), (/ik) — постоянная кососимметричная матрица, коммутирующая с A = (aij). Размерность пространства полей Киллинга не меньше 2n +1 и не больше 2n + 1 + n(n2-1).
Таким образом, используя следствие леммы, теорему 2 при n = 3, d = 1 и утверждение теоремы 1, получим.
Теорема 3. Пусть X — конформно киллингово векторное поле с координатами V(v,x1,x2,x3,u), Xi(v,x1,x2,x3,u), U(v,x1,x2,x3,u) (V, Xj, U — гладкие функции), на 2-симметрическом пятимерном неразложимом лоренцевом многообразии M с локально
допустимой метрикой (3). Общее решение уравнения конформно киллингова поля имеет вид:
( U = 0,
I Xi = bi(u) + fikxk + fxi, { V = -bi(u)xi + 2fv + c,
где c E R — произвольная константа, функции bj,(u) определяются системой дифференциальных уравнений bi(u) = aij(u)bj(u), (fik) — постоянная кососимметричная матрица, коммутирующая с A = (aij), где aij (u) = Hj + Hijiu. Размерность пространства полей Киллинга не меньше 8 и не больше 11.
Замечание. Поля Киллинга на 2-симметрических многообразиях размерности 4, 5 и 6 рассматривались в работе [9]. Кроме того, заметим, что конформно-киллинговы векторные поля на лоренцевых многообразиях до размерности 4 включительно рассматривались ранее, см., например, [10].
Заключение.
В результате проведенных исследований построен алгоритм для нахождения общего решения конформного аналога уравнения Киллинга на пятимерных локально неразложимых 2-симметрических лоренцевых многообразиях, изучено строение группы локально конформных преобразований таких пространств. Данные исследования найдут приложения при изучении потока Риччи на многообразиях, различных обобщениях теории многообразий А.Эйнштейна, а разработанные функции для СКМ Sagemath применимы при изучении тензорных полей на лоренцевых многообразиях малой размерности.
Литература
1. Cahen, M. Lorentzian symmetric spaces / M. Cahen, N. Wallach // Bulletin of the American Mathematical Society. - 1970. - Vol. 76. - P. 585-591.
2. Galaev, A. S. Two-symmetric Lorentzian manifolds / A. S. Galaev, D. V. Alexeevskii // Journal of Geometry and Physics. - 2011. - Vol. 61, № 12. - P. 2331-2340.
3. Blanco, O. F. Structure of second-order symmetric Lorentzian manifolds / O. F. Blanco, M. Sanchez, J. M. Senovilla // Journal of the European Mathematical Society. - 2013. -Vol. 15. - P. 595-634.
4. Galaev, A. S. Holonomy groups of Lorentzian manifolds: classification, examples, and applications / A. S. Galaev, T. Leistner // European Mathematical Society. - 2008. - № 1. - Р. 53-96.
5. Walker, A. G. On parallel fields of partially null vector spaces / A. G. Walker // Quarterly Journal of Mathematics. - 1949. - Vol. 20. - P. 135-145.
6. The geometry of Walker manifolds / M. Brozos-V?zquez, E. Garc?a-R?o, P. Gilkey [et al.] // Synthesis Lectures on Mathematics and Statistics. - 2009. - Vol. 2. - Р. 1-179.
7. Wu, H. On the de Rham decomposition theorem / H. Wu // Illinois Journal of Mathematics. - 1964. - Vol. 8, Issue 2. - P. 291-311.
8. Oskorbin, D. N. Ricci solitons and killing fields on generalized Cahen-Wallach manifolds / D. N. Oskorbin, E. D. Rodionov // Siberian Mathematical Journal. - 2019. - V. 60, № 5. - Р. 1165-1170.
9. Оскорбин, Д. Н. О размерностях пространства полей Киллинга на 2-симметрических лоренцевых многообразиях / Д. Н. Оскорбин, Е. Д. Родионов, И. В. Эрнст. - Текст : непосредственный // Математические заметки СВФУ. - 2019. - Т. 26, № 3. - C. 47-53. 10. Hall, G. S. Symmetries and Curvature Structure in General Relativity / G. S. Hall. -Hackensack : World Scientific Publishing Co, 2004. - 430 р.
