Алгебраические солитоны Риччи...
УДК 512.81
Алгебраические солитоны Риччи на метрических группах Ли с недиагонализируемым оператором Риччи*
П.Н. Клепиков, Е.Д. Родионов
Алтайский государственный университет (Барнаул, Россия)
Algebraic Ricci Solitons on the Metric Lie Groups with Nondiagonalizable Ricci Operator
P.N. Klepikov, E.D. Rodionov Altai State University (Barnaul, Russia)
В последнее время активно изучаются различные обобщения многообразий Эйнштейна, например многообразия с тривиальным тензором Схоутена-Вейля, а также солитоны Риччи, впервые рассмотренные Р. Гамильтоном.
Солитоны Риччи на однородных (псев-до)римановых пространствах и, в частности, на группах Ли изучались многими математиками. Так, например, на группах Ли с левоинвариант-ной римановой метрикой размерности не более четырех (и унимодулярных групп Ли любой размерности) не существует нетривиальных однородных инвариантных солитонов Риччи. Вопрос о существовании нетривиальных однородных инвариантных солитонов Риччи на группах Ли размерности более четырех с левоинвариантной ри-мановой метрикой до сих пор остается открытым.
Другим важным примером солитонов Рич-чи являются алгебраические солитоны Риччи на группах Ли, которые впервые были рассмотрены Х. Лауре. Позднее было доказано, что каждый алгебраический солитон Риччи на группе Ли с ле-воинвариантной (псевдо)римановой метрикой является однородным солитоном Риччи.
В данной работе показано существование нетривиальных алгебраических и однородных инвариантных солитонов Риччи на конформно плоских группах Ли в случае недиагонализируемого оператора Риччи, а также на группах Ли с гармоническим тензором Вейля.
Ключевые слова: метрические группы Ли, метрические алгебры Ли, алгебраические солитоны Риччи, однородные инвариантные солитоны Риччи, недиагонализируемый оператор Риччи.
БМ 10.14258/izvasu(2017)1-16
In recent years, various generalizations of Einstein manifolds are actively studied, for example, manifolds with the trivial Schouten-Weyl tensor, and Ricci solitons, which were first considered by R. Hamilton.
Ricci solitons on homogeneous (pseudo)Rieman-nian spaces and, in particular, on the Lie groups have been studied by many mathematicians. For example, there are no nontrivial homogeneous invariant Ricci solitons on three and four-dimensional Lie groups with a left-invariant Riemannian metric. A similar result was proved for the unimodular Lie groups with a left-invariant Riemannian metric in any dimension. However, this question is still an open problem for nonunimodular Lie groups of dimension more than 4.
Another important example of Ricci solitons is the case of algebraic Ricci solitons on Lie groups, first considered by J. Lauret. Later, it was proved that every algebraic Ricci soliton on a Lie group with left-invariant (pseudo)Riemannian metric is a homogeneous Ricci soliton.
This paper shows the existence of non-trivial algebraic and homogeneous invariant Ricci solitons on conformally flat Lie groups in the case of nondiagonalizable Ricci operator. Also, a non-diagonalizable Ricci operator on Lie groups with harmonic Weyl tensor is demonstrated.
Key words: metric Lie groups, metric Lie algebras, algebraic Ricci solitons, homogeneous invariant Ricci solitons, nondiagonalizable Ricci operator.
Введение, обзор, определения и постановка задачи. Исследованию многообразий по-
* Работа выполнена при поддержке РФФИ (гранты: №16-01-00336А, №16-31-00048мол_а), Минобрнауки РФ (код проекта: 1148).
стоянной кривизны Риччи, или эйнштейновых многообразий, посвящены работы многих математиков (см., например, обзоры [1,2]). В последнее время изучаются различные обобщения многообразий Эйштейна, одними из которых являются со-
литоны Риччи, впервые рассмотреные Р. Гамильтоном в работе [3].
Определение 1. (Псевдо)риманово многообразие (М, д) называется солитоном Риччи, если метрика д удовлетворяет уравнению
г = Л • д + Ьхд, (1)
где г — тензор Риччи, Л € М — константа, Ьх д — производная Ли метрики д по направлению полного дифференцируемого векторного поля X. (С/Н,д) — однородное (псевдо)риманово пространство, удовлетворяющее (1), называется однородным солитоном Риччи.
(О, д) — группа Ли с левоинвариантной (псев-до)римановой метрикой, удовлетворяющая (1) с некоторым левоинвариантным векторным полем X, называется однородным инвариантным солитоном Риччи.
Солитоны Риччи естественным образом связаны с решениями уравнения потока Риччи [3]. Метрика до — метрика солитона Риччи тогда и только тогда, когда д^) = ст(£)1*(д0) — решение уравнения потока Риччи:
дд = -2г(д), д(0) = до,
где г(д) — тензор Риччи метрики д, <г(£) — гладкая функция, 1 — однопараметрическое семейство диффеоморфизмов на многообразии, причем <г(0) = 1 и 1о = ¿^м п.
Определение 2. Солитон Риччи называется растягивающимся, если Л < 0; устойчивым, если Л = 0; стягивающимся, если Л > 0. Также назовем солитон Риччи тривиальным, если он изомет-ричен многообразию Эйнштейна или пряму произведению эйнштейнового многообразия и (псев-до)евклидова пространства.
Если однородный риманов солитон устойчив, то тензор Риччи тривиален (см. подробнее в [4]) и, по теореме Алексеевского-Кимельфельда, многообразие является плоским (см. [5]). В случае стягивающегося однородного риманова солитона из работ [3, 6] вытекает, что он изометричен произведению компактного однородного эйнштейнова многообразия и евклидова пространства. Если однородный риманов солитон растягивающийся, то М некомпактно (см. [7]). Известные нетривиальные растягивающиеся однородные римано-вы солитоны Риччи изометричны солвсолитонам (см. [8,9]).
Кроме того, на группах Ли с левоинвариант-ной римановой метрикой размерности не более четырех не существует нетривиальных однородных инвариантных солитонов Риччи (см. [10-12]). Аналогичный факт известен для унимодулярных групп Ли с левоинвариантной римановой метрикой любой конечной размерности. Вопрос о существовании нетривиальных однородных инвари-
антных солитонов Риччи на группах Ли размерности более четырех с левоинвариантной римано-вой метрикой до сих пор остается открытым.
Определение 3. Группа Ли О с левоинвари-антной (псевдо)римановой метрикой д называется алгебраическим солитоном Риччи, если выполняется уравнение
р = Л • И + Б,
где р — оператор Риччи, Л € М — константа, М — тождественный оператор, Б — оператор дифференцирования алгебры 0.
Другим важным примером являются алгебраические солитоны Риччи на группах Ли, которые впервые были рассмотрены Х. Лауре. Им же было доказано, что каждый алгебраический солитон Риччи на группе Ли с левоинвариантной рима-новой метрикой является однородным солитоном Риччи (см. [13]). Позднее этот результат был обобщен К. Онда на случай групп Ли с левоинвариантной псевдоримановой метрикой (см. [14]).
В случае однородных псевдоримановых пространств ситуация представляется менее ясной. Так, в работах [15, 16] получена классификация алгебраических и однородных инвариантных со-литонов Риччи на трехмерных метрических группах Ли. Кроме того, было доказано, что в псевдо-римановом случае существуют однородные инвариантные солитоны Риччи, которые не являются алгебраическими.
В случае четырехмерных однородных псевдо-римановых пространств известна работа [17], в которой получена классификация алгебраических солитонов Риччи на обобщенно симметрических пространствах, а также статья [18], где изучаются однородные инвариантные солитоны Риччи на четырехмерных однородных псевдоримановых пространствах с нетривиальной подгруппой изотропии.
Работы [19,20] посвящены изучению алгебраических солитонов Риччи на группах Ли с тривиальным (Ш = 0) или гармоническим (ё1у Ш = 0) тензором Вейля. В них доказана следующая теорема.
Теорема [19, 20]. Пусть О — группа Ли с левоинвариантной (псевдо)римановой метрикой алгебраического солитона Риччи и Ш = 0 (или, в частности, Ш = 0). Если оператор Риччи диа-гонализируем, то алгебраический солитон Риччи тривиален.
Целью данной статьи является рассмотрение некоторых примеров алгебраических солитонов Риччи на п-мерных метрических группах Ли с тривиальным (Ш = 0) или гармоническим (ё1у Ш = 0) тензором Вейля и с недиагонализиру-емым оператором Риччи, что является существенным дополнением к результатам работ [11,12,14, 15,19,20].
Алгебраические солитоны Риччи.
Метрическая алгебра Ли 01. Рассмотрим метрическую алгебру Ли 01 = М"_1 х М размерности п ^ 3, ненулевые скобки Ли которой задаются равенствами
Метрическая алгебра Ли 02. Рассмотрим метрическую алгебру Ли 02 = М"_1 х М размерности п ^ 3, ненулевые скобки Ли которой задаются равенствами
[ei, е"]
г < п - 2, [е„-1,в„]= веп-1, (2) [ег,е„] = а^, г < п - 2, [е„_1,е„] = веи-1,
где а =
_ в("_2)±У("_2)(в2("_2)_4£о)
2(п_2)
. Нетривиаль-
ные скалярные произведения задаются следующими равенствами:
(ег, е») = Ег, если г < п - 2, (е„_1, е„) = Ео.
Прямые вычисления показывают, что оператор Риччи алгебры 01 в данном базисе имеет вид
р(е») = 0, г = п; р(е„) = е„_ь
из чего следует, что оператор Риччи не является диагонализируемым.
Из вида коммутационных соотношений (2) следует, что [01, 01] С врап(е1,..., еп_1), а значит
Р([ег,е;]) = 0. Пусть г, ] = п, тогда
[Р(ег),е;] + [ег,Р(е5 )] = 0
если же г = п и ] = п, то
[р(е„),е^ ] + [е„ ,р(е^)] = [е„_1,е^ ] = 0.
Из вышеприведенных выкладок следует, что оператор Риччи р является дифференцированием в алгебре Ли 01 , а значит метрическая алгебра Ли 01 является устойчивым алгебраическим солитоном Риччи. Нетривиальность данного со-литона следует из того, что оператор Риччи не является диагонализируемым.
Кроме того, пусть в = 0, тогда рассмотрим вектор X = 1 еп_1. Тогда оператор имеет вид
(ег)=0, г = п; аёх(е„) = е„_1.
Таким образом, метрическая алгебра Ли 01 является однородным инвариантным солитоном Рич-чи (см. [19]).
Отметим также, что метрическая алгебра Ли 01 является конформно плоской (т.е. Ш = 0), а при в = 0 — локально симметричной (т.е. УД = 0). Таким образом, данный пример дополняет результаты работы [19], где показано, что каждый алгебраический солитон Риччи на конформно плоской метрической группе Ли с диагонализируемым оператором Риччи является тривиальным.
где параметры аг и в выбираются так, чтобы
2
2
У^ а2 - в ^ а + Ео = 0.
г=1
г=1
Нетривиальные скалярные произведения задаются следующими равенствами:
(ег, ег) = Ег, если г < п - 2, (е„_ь е„) = Ео.
Отметим, что метрическая алгебра Ли 02 при аг = а для любого г совпадает с метрической алгеброй Ли 01 .
Как и в случае алгебры 01 , аналогичные выкладки показывают, что оператор Риччи алгебры 02 является недиагонализируемым, а также что метрическая алгебра Ли 02 — нетривиальный устойчивый алгебраический солитон Риччи и нетривиальный однородный инвариантный со-литон Риччи.
Метрическая алгебра Ли 02 имеет гармонический тензор Вейля (т.е. ёгу Ш = 0), а при в = 0 является локально симметричной (т.е. УД = 0). Она является конформно плоской тогда и только тогда, когда совпадает с метрической алгеброй Ли 01, т.е. при равных параметрах аг. Таким образом, данный пример дополняет результаты работы [20], где показано, что каждый алгебраический солитон Риччи на метрической группе Ли с гармоническим тензором Вейля и диаго-нализируемым оператором Риччи является тривиальным.
Заключение. В результате проведенных исследований решена часть задач теории солитонов Риччи, получены следующие результаты:
1. Показано, что в случае недиагонализируемо-го оператора Риччи существуют нетривиальные алгебраические солитоны Риччи на конформно плоских группах Ли произвольной размерности больше либо равной 3.
2. Построен пример однородного инвариантного солитона Риччи на конформно плоской группе Ли произвольной размерности.
3. Доказано существование нетривиальных алгебраических и однородных инвариантных солитонов Риччи на группах Ли с гармоническим тензором Вейля и недиагонализируе-мым оператором Риччи.
Библиографический список
1. Бессе A. Многообразия Эйнштейна : в 2 т. пер. с англ. — М., 1990.
2. Никоноров Ю.Г., Родионов Е.Д., Слав-ский B.B. Геометрия однородных римановых многообразий // Современная математика и ее приложения. Геометрия. — 2006. — Т. 37.
3. Hamilton R.S. The Ricci flow on surfaces // Contemporary Mathematics. — 1988. — Vol. 71. DOI: 10.1090/conm/071/954419.
4. Lauret J. Einstein solvmanifolds and nilsolitons, New development in Lie theory and geometry // Contemp. Math. — 2009. — Vol. 491. DOI: 10.1090/conm/491/09607.
5. Alexeevskii D.V. Kimel'fel'd B.N. Structure of homogeneous Riemannian spaces with zero Ricci curvature // Funktional. Anal. i Pril. — 1975. — Vol. 9, No 2. DOI: 10.1007/BF01075445.
6. Petersen P., Wylie W. On gradient Ricci solitons with symmetry // Proc. Amer. Math. Soc. — 2009. — Vol. 137, No 6. DOI: 10.1090/S0002-9939-09-09723-8.
7. Ivey T. Ricci solitons on compact three-manifolds // Differential Geometry and Applications. — 1993. — Vol. 3, No 4. DOI: 10.1016/0926-2245(93)90008-O.
8. Jablonski M. Homogeneous Ricci solitons // Journal fur die reine und angewandte Mathematik. — 2015. — Vol. 2015, No 699. DOI: 10.1515/crelle-2013-0044.
9. Jablonski M. Homogeneous Ricci solitons are algebraic // Geometry & Topology. — 2014. — Vol. 18. DOI: 10.2140/gt.2014.18.2477.
10. Cerbo L.F. Generic properties of homogeneous Ricci solitons // Adv. Geom. — 2014. — Vol. 14(2). DOI: 10.1515/advgeom-2013-0031.
11. Клепиков П.Н., Оскорбин Д.Н. Однородные инвариантные солитоны Риччи на четырехмерных группах Ли // Известия Алтайского гос. ун-та. — 2015. — №1/2. DOI: 10.14258/izvasu(2015)1.2-21.
12. Клепиков П.Н., Оскорбин Д.Н., Родионов Е.Д. Об однородных солитонах Риччи на четырехмерных группах Ли с левоинвариантной ри-мановой метрикой // ДАН. - 2015. - Т. 465, № 3. DOI: 10.7868/S0869565215330051.
13. Lauret J. Ricci soliton homogeneous nil-manifolds // Math. Ann. - 2001. - Vol. 319, No. 4. DOI: 10.1007/PL00004456.
14. Onda K. Examples of Algebraic Ricci Solitons in the Pseudo-Riemannian Case // Acta Mathematica Hungarica. — 2014. — Vol. 144, No. 1. DOI: 10.1007/s10474-014-0426-0.
15. Batat W., Onda K. Algebraic Ricci Solitons of three-dimensional Lorentzian Lie groups // arXiv.org. - 2012.
16. Brozos-Vazquez M., Calvaruso G., Garcia-Rio E., Gavino-Fernandez S. Three-dimensional Lorentzian homogeneous Ricci solitons -2009.
17. Batat W., Onda K. Four-Dimensional Pseudo-Riemannian Generalized Symmetric Spaces Which are Algebraic Ricci Solitons // Results. Math. - 2013. - Vol. 64, No 3. DOI: 10.1007/s00025-013-0312-z.
18. Calvaruso G., Fino A. Four-dimensional pseudo-Riemannian homogeneous Ricci solitons // Int. J. Geom. Methods Mod. Phys. - 2015. -Vol. 12, No 05. DOI: 10.1142/S0219887815500565
19. Клепиков П.Н., Оскорбин Д.Н. Конформно плоские солитоны Риччи на группах Ли с левоинвариантной (псевдо)римановой метрикой // Известия Алтайского гос. ун-та. — 2016. — №89(1). DOI: 10.14258/izvasu(2016)1-22.
20. Клепиков П.Н., Родионов Е.Д. Алгебраические солитоны Риччи на метрических группах Ли с нулевым тензором Схоутена-Вейля // ДАН. - 2017. - Т. 472, № 5.