О солитонах Риччи на 2-симметрических четырёхмерных лоренцевых многообразиях Текст научной статьи по специальности «Математика»

УДК 515.16

О солитонах Риччи на 2-симметрических четырёхмерных лоренцевых многообразиях *

Д. Н. Оскорбин, Е. Д. Родионов, И.В. Эрнст,

Алтайский государственный университет (Барнаул, Россия)

Ricci Solitons on 2-Symmetric Four-Dimensional Lorentzian Manifolds

D.N. Oskorbin, E.D. Rodionov, I.V. Ernst

Altai State University (Barnaul, Russia)

Важным обобщением эйнштейновых метрик на (псевдо)римановых многообразиях являются солитоны Риччи, которые впервые были рассмотрены Р. Гамильтоном. Задача нахождения солитонов Риччи является достаточно сложной, поэтому предполагаются ограничения либо на строение многообразия, либо на размерность, либо на класс рассматриваемых метрик, либо на класс векторных полей, участвующих в записи уравнения солитона Риччи. Одним из важных примеров такого рода ограничений являются 2-симметрические лоренцевы многообразия. Они изучены в работах А.С. Галаева, Д.В. Алексеев-ского и Л.Ы. Senovilla. 2-симметрические локально неразложимые лоренцевы многообразия обладают параллельным распределением изотропных прямых, т.е. являются многообразиями Уокера. Такие многообразия обладают специальной системой координат, в которой уравнение солитона Риччи допускает локальное разрешение. В настоящей статье рассмотрено уравнение солитона Рич-чи на 2-симметрических локально неразложимых лоренцевых многообразиях. К. Онда и В. Батат исследовали солитоны Риччи на четырёхмерных 2-симметрических лоренцевых многообразиях и доказали локальную разрешимость уравнения со-литона Риччи на таких многообразиях. В данной работе найдено общее решение уравнения соли-тона Риччи на четырёхмерных 2-симметрических локально неразложимых лоренцевых многообразиях.

Ключевые слова: солитоны Риччи, многообразия Уокера, лоренцевы многообразия.

БМ 10.14258/izvasu(2017)4-23

An important generalization of Einstein metrics on a (pseudo) Riemannian manifolds are Ricci solitons first discussed by R. Hamilton. The problem of finding Ricci solitons is quite difficult, so we assume the restriction of one of the following: the structure of the manifold, the dimension, the class of metrics, or a class of vector fields, participating in the Ricci soliton equation. The most important examples of such restrictions are 2-symmetric Lorentzian manifolds investigated by A.S. Galaaev, D.V. Alekseevskii, and J.M. Senovilla. 2-Symmetric locally indecomposable Lorentzian manifolds have parallel null-distribution, i.e. they are Walker manifolds. These manifolds have a special coordinate system, which allows us to solve Ricci soliton equation locally. In this paper, we investigate the Ricci soliton equation on 2-symmetric locally indecomposable Lorentzian manifolds. K. Onda and B. Batat investigated Ricci solitons on the four-dimensional 2-symmetric Lorentzian manifolds. Local solvability of the Ricci soliton equation on such manifolds was proven. In this paper, we obtain general solution of the Ricci soliton equation on four-dimensional 2-symmetric locally indecomposable Lorentzian manifolds.

Key words: Ricci soliton, Walker manifold,

Lorentzian manifold.

1. Введение. Уравнение солитона Риччи является обобщением уравнения Эйнштейна, и

* Работа выполнена при поддержке РФФИ (гранты: №16-01-00336А, №16-31-00048мол_а), Минобрнауки РФ в рамках базовой части государственного задания в сфере научной деятельности ФГБОУ ВПО «Алтайский государственный университет» (код проекта: 1148).

впервые данный термин был введен Р. Гамильтоном в работе [1]. Позднее солитоны Риччи исследовались в работах многих математиков (см., например, обзор [2]). В общем случае задача исследования и классификации солитонов Риччи является достаточно сложной, и поэтому она рас-

сматривается при некоторых ограничениях на многообразие. К числу многообразий с такими ограничениями относятся 2-симметрические ло-ренцевы многообразия, которые были исследованы Д.В. Алексеевским и А.С. Галаевым (см. [3]). Классификация 2-симметрических многообразий была получена группой математиков O.F. Blanco, M. Sanchez, J.M. Senovilla (см. [4]). В этих работах независимо доказано, что на любом 2-симметрическом лоренцевом многообразии существует параллельное изотропное распределение. Таким образом, 2-симметрические многообразия являются многообразиями Уокера. Позднее К. Онда и В. Батат в работе [5] исследовали соли-тоны Риччи на четырёхмерных 2-симметрических лоренцевых многообразиях, и доказали локальную разрешимость уравнения солитона Риччи на таких многообразиях. В данной работе описано общее решение уравнения солитона Риччи на четырёхмерных 2-симметрических локально неразложимых лоренцевых многообразиях.

2. Основные определения. Псевдорима-новым многообразием называется гладкое многообразие M, на котором задан гладкий невырожденный симметричный метрический тензор g. Если метрический тензор имеет сигнатуру (1,n- 1), то (M,g) называется лоренцевым многообразием.

Пусть (M,g) - псевдориманово многообразие размерности n, V - соответствующая связность Леви-Чивита. Тензор кривизны опеределим как R(X,Y)Z = V, Vx]Z + V[x y]Z и тензор Риччи как r(X, Y) = tr(V ^ R(X, V)Y), где X, Y, Z, V -гладкие векторные поля на M.

Определение. Полное псевдориманово многообразие (M,g) называется солитоном Риччи, если существует гладкое векторное поле X, удовлетворяющее уравнению

£х g + Г = Xg,

(1)

где г - тензор Риччи; А € И - некоторая константа, £хд производная Ли метрики д в направлении поля X.

Число А называется константой солитона. При А > 0, А = 0 или А < 0 солитон называют сжимающимся, стабильным или расширяющимся соответственно.

Определение. Гладкое распределение V на М называется параллельным, если для любых векторных полей X € V, У € ТМ имеем У уX € V

Определение. Псевдориманово многообразие, допускающее гладкое параллельное распределение изотропных векторов, называется многообразием Уокера (см. [6,7]).

Определение. Пусть R - тензор кривизны метрики д. Если

УR = 0, У2R = 0,

то (М,д) называется 2-симметрическим псевдо-римановым многообразием.

3. Система координат. Уравнение солитона Риччи. Рассмотрим лоренцево локально неразложимое 2-симметрическое многообразие Уокера (М,д). Следующая теорема А. С. Галаева и Д. В. Алексеевского позволяет выбрать систему локальных координат на М:

Теорема (см. [3]). Пусть (М,д) - локально неразложимое лоренцево .многообразие Уокера размерности п + 2. Тогда (М,д) является 2-симметрическим тогда и только тогда, когда существуют локальные координаты

1 п v,x1,..., х', и такие, что

п

д = 2сШи + ^(¿хг)2 + {Нг1и + Fij)хгх1 (¿и)2, (2) г=1

где Н1 - ненулевая диагональная вещественная матрица с диагональными элементами А1 < • • • < Ап; Fij - симметричная вещественная матрица.

В размерности 4 получаем локальную систему координат (V, х, у, и) на многообразии М. Обозначим:

12

х = х1 ,у = х2

A -

ф(х,у,и) = и + Fij )хг х1.

Пусть в координатах (V, х, у, и) векторное поле X имеет вид X = {К, L, М, где К, L, М, N -гладкие функции на М. Запишем уравнение солитона Риччи в системе координат {v,x,y,u):

Hii 0

0 H22

F11 F12

F12 F22

Nv = 0

Nx + Lv = 0

Ny + Mv = 0

Nu + Kv =X

2Lx =X

Mx + Ly = 0

x,y,u)Nx + Lu + Kx = 0

2My =X

V(x,y,u)Ny + Mu + Ky = 0

-11 (^xx + Pyy) + 2NuP+

+2Ku + L^x + M^y + N^u = Xp

(3)

4. Решения уравнения солитона Риччи

Теорема. Уравнение солитона Риччи (1) локально разрешимо в классе 2-симметрических лоренцевых многообразий размерности 4 для любой

Л

L(v,x,y,u) = ^х — ¡1^,и)у + ¡з^,и).

константы Л. Искомое векторное поле имеет вид X = (К, L, М, N:

Если ранг матрицы А равен двум и Нц = Н22 Уравнения (12.5), (12.6), (12.8) выполнены. или Fll = F22, то Из уравнений 2 и 3 выразим Nx и Ny:

К = Лv — П(и)х — в'(и)у + 7(и), L = лх + п(и), М = Л у + в(и)^ = 0,

где 7(и) = (Н11+И22)и2 + ^и+Ъ*)* + ъ, функции П и в являются решениями системы уравнений:

п''(и) = п(и)(Нии + Fn)+ F12в(u) в''(и) = в(и)(Н22и + F22) + Fl2 п(и)

Если ранг матрицы А равен двум и Н11 = Н22 и F11 = F22, то

К = Лv — п' (и)х — в' (и)у + 7; L = Л х — су + п(и);

М = Л у + сх + в (и);

N = 0, F12c = 0

и выполнены уравнения

Нип(и)и + Fllп(u) + Fl2в (и) — п'' (и) = 0; Нцв(и)и + Fllв(u) + Fl2п(u) — в''(и) = 0.

Если ранг матрицы А равен одному (Н22 = F12 F22 = 0), то

К = Лv — п'(и)х — в1У + \(Нци + Fll);

2

Л

L = 2х + п(и);

м = Л у + в1и + в2N = 0,

где (Нпи + Fll)п(u) — п''(и) = 0. Схема доказательства:

Запишем уравнение солитона Риччи в локальных координатах (V,х,у,и) (см. система 1). Уравнения 5 и 8 интегрируются:

L(v, х, у, и) = ЛЛх + Ll(v,y,u);

М(V, х, у, и) = лу + М1(V, х, и). Подставим полученные выражения в уравнение 6:

(М1)х(V, х, и) + (Ь1)у (V, у, и) = 0.

Отсюда видно, что (М{)х(и,х,и) не зависит от х, а (^1)у(V,у,и) не зависит от у. Поэтому функция М1 линейна по х, а L1 линейна по у:

М (V,х,у,и) = ЛЛ у + ¡1^,и)х + f2(v,u);

N = —LV = у — (¡3^;

^ = —Mv = —(¡1^ х — (¡2^

Так как N = 0 (из уравнения 1), то (f2)v, (f3)v не зависят от V:

¡2(V, и) = va(u)+ в(и)^з(и,и) = v^(u) + п(и).

Продифференцируем уравнение 2 по у, а уравнение 3 по х. Поскольку Nxy = Nyx, получим:

Nxy — ^^ух = Lvy — Mvx = —2(f1)v =

Получили следующее:

¡1(Р,и) = ¡1(и); М (V,х,у,и) = Л у + ¡1 (и)х + va(u) + в (и);

L(v, х, у, и) = Л х — ¡1(и)у + v^(u)+ п(и); N(V, х, у, и) = —ц(и)х — а(и)у + ш(и).

Это гарантирует выполнение уравнений 1, 2, 3, 5, 6, 8.

Продифференцируем уравнение 4 по х, а уравнение 7 по V. Разность полученных выражений равна

—2^'(и) = 0.

Поэтому ц(и) = ц. Аналогично, дифференцируя уравнение 4 по у, уравнение 9 по V, получим

а(и) = а.

Продифференцируем теперь уравнение 7 по у, а уравнение 9 по х. Запишем разность полученных выражений:

— 1АН22 уи + F22 у + Fl2 х) +

+а(Нц хи + Fll х + Fl2 у) — ¡'(и) = 0.

Это равенство выполнено для всех х, у, поэтому ¡1 (и) = с - константа, также выполнены соотношения:

Ниа = 0

Н221^ = 0

Fllа — Fl2|J> = 0

Fl2а — F22^ = 0

(4)

Рассмотрим случай, когда ранг матрицы СЛАУ (4) относительно а, ц равен 2. Тогда а = ц = 0.

Из уравнений 4, 7 и 9 находим частные производные функции К:

^ = = —п'(и), Ку = —М* = —в'(и);

К

X — N. = X — ш'(и).

Откуда находим вид К:

К (у,х,у,и) = (X — ш'(и))у — П (и)х — в'(и)у + -у(и).

Выполнены все уравнения за исключением последнего. Перепишем это уравнение с новыми функциями:

— 2 (Рхх + Руу ) + 2ш'(и)р—

—2уш''(и) — 2хц''(и) — 2ув''(и) — Хр +(2 Хх — су + п(и))рх + (2 Ху + сх + в(и))ру+ +ш(и)р« + 2^'(и) = 0.

(5)

Это уравнение является многочленом от переменных у,х,у с коэффициентами, зависящими только от и. Поэтому эти коэффициенты нулевые.

Коэффициент при у равен ш''(и) = 0. Откуда ш(и) = С\и + с0.

Коэффициенты при х2 и у2 равны:

6Нц сги + 4ЯПС1 +^12с +2НцСо =0;

6Н22 сги + 4Е'22сг — + 2Н22со = 0, отсюда с\ = 0, поскольку Нц не могут быть одновременно нулевыми. В итоге ш(и) = ш. Запишем коэффициент при ху:

—2Н11си + 2Н22си — 2F11c + 2F22c = 0.

Рассмотрим два случая:

Нц = Н22 или F11 = F22 Тогда с = 0. Вновь собрав коэффициенты при х2 и у2 , получим

2шН11 = 0, 2шН22 = 0.

Отсюда ш = 0.

Теперь уравнение (5) содержит только коэффициенты при степени 1 по х,у и свободный член. Запишем их:

Г п(и)(Нци + Fll) + Fl2в(u) — п''(и) = 0 I Р(и)(Н22и + F22) + Fl2^n(u) — в''(и) = 0 [ —Нии — Н22и — Fll — F22 + 2^'(и) = 0

(6)

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

Таким образом, найдены все векторные поля X при условии, что матрица системы (4) имеет ранг 2 и Нц = Н22:

К L

М N

= Ху — хц'(и) — ув'(и) + -у(и)

= ¥ + п(и)

= ^ + в (и)

= 0,

(7)

/ \ (Н11+Н22)«2 , №1+^22)« , 1

где ^(и) = ( 4 22)--+ ( 2 22) + 7о, функции

П и в являются решениями системы уравнений

П''(и) = п(и)(Нци + Fll) + Fl2в(u) в''(и) = в(и)(Н22и + F22) + Fl2n(u)

Нц = Н22, Fll = F22 Пусть теперь Нц = Н22 и Fll = F22. Заметим, что тогда матрица системы (4) имеет ранг 2. Запишем коэффициенты послед-

22

него уравнения при х2 и у2:

№12с +2Нцш —4Е12с +2Н11ш

0

Н11 = 0 поэтому ш = 0, F12С = 0. Запишем оставшиеся коэффициенты последнего уравнения:

Г 21'(и) = 0

I Нцп(и)и + Flln(u) + Fl2в(u) — п''(и) = 0

[ Нцв(и)и + Fllв(u) + Fl2V(u) — в''(и) = 0

Второе и третье уравнения этой системы совпадают с уравнениями из системы (6) при Нц = Н22, Fll = F22, поэтому они разрешимы.

Рассмотрим случай, когда ранг матрицы А равен 1. Тогда, без ограничения общности, полагаем:

Н22 = F^2 = F22 = а = 0.

Запишем все уравнения, кроме последнего:

ш'(и) + К„ =

—¡(Нии + Fll)x2 + п'(и) + Кх

в'(и)

Ку =

(8)

Отсюда К(у,х,у,и) = (X — ш'(и))у + Щ> (Н11и + F11)x3 — п'(и)х — в'(и)у + ч(и). Продифференцируем последнее уравнение по х и по у:

—2с(Нци + Fll) = 0,

а также по х и по у:

2^(Нци + Fll) = 0.

Получим, что = с = 0. Запишем коэффициенты при переменных у, х, у в последнем уравнении:

2(Н11и + F11)ш'(u) + Н11ш(и (Нии + Fll)n(u) — п''(и —2в''(и —2ш'(и Нии + Fll — 27 (и

Из первого и четвертого уравнений следует, что ш(и) = 0. Второе уравнение разрешимо, остальные уравнения интегрируются непосредственно. Система (3) решена.

5. Заключение. В результате проведенных исследований найдено общее решение уравнения солитона Риччи на четырёхмерных 2-симметрических лоренцевых многообразиях. Данные результаты продолжают исследования К. Он-ды и В. Батата по существованию солитонов Рич-чи на 2-симметрических лоренцевых многообразиях.

Библиографический список

1. Hamilton R. S. The Ricci flow on surfaces // Contemporary Mathematics. - 1988. - V. 71.

2. Cao H.-D. Recent progress on Ricci solitons // Advanced Lectures in Mathematics. - 2010. -V. 11.

3. Alekseevsky D.V., Galaev A.S. Two-symmetric Lorentzian manifolds // Journal of Geometry and Physics. - 2011. - V. 61, N. 12.

4. Blanco O.F., Sanchez M., Senovilla J.M. Complete classification of second order symmetric spacetimes // J. Phys. Conf. Ser. - 2010.

5. Onda K., Batat W. Ricci and Yamabe solitons on second-order symmetric, and plane wave 4-dimensional Lorentzian manifolds // Journal of Geometry. - 2014. - V. 105. - Issue 3.

6. Brozos-Vazquez M., Garcia-Rio E., Gavino-Fernandez S. Locally conformally flat lorentzian gradient Ricci soliton // Journal of Geometric Analysis. - 2013. - V. 23, N 3.

7. Walker A.G. Canonical form for a Riemannian space with a parallel field of null planes // Quart. J. Math. - Oxford, 1950. - V. 1, N 2.