CC BY
21
УДК 514.765
Е.Д. Родионов, В. В. Славский, О.П. Хромова
О гармоничности тензора Вейля левоинвариантных римановых метрик на четырехмерных неунимодулярных разложимых группах Ли
E.D. Rodionov, V.V. Slavskii, О.P. Khromova
About Harmonic Weyl Tensor of Left-Invariant Riemannian Metrics on Four-Dimensional Nonunimodular Decomposable Lie Groups
В статье исследуются римановы многообразия с гармоническим тензором Вейля. Класс данных многообразий содержит: многообразия Эйнштейна, их произведения, конформно плоские римановы многообразия. В общем случае задача классификации римановых многообразий с гармоническим тензором Вейля представляется достаточно сложной. Естественно поэтому рассматривать ее в классе однородных римановых пространств, и, в частности, в классе групп Ли с левоинвариантной римановой метрикой. В размерности 3 тензор Вейля тривиален. Поэтому возникает вопрос о гармоничности тензора Вейля на метрических группах Ли размерности больше трех.
В статье исследуются вещественные четырехмерные неунимодулярные разложимые группы Ли с левоинвариантной римановой метрикой и гармоническим тензором Вейля. Разработаны методы, которые позволяют свести задачу к решению системы полиномиальных уравнений в алгебрах Ли. С помощью дальнейшего исследования подобных систем методами дифференциальной геометрии, математического анализа и компьютерной алгебры в работе получена полная классификация вещественных четырехмерных неунимодулярных разложимых алгебр Ли, группы Ли которых наделены левоинвариантной римановой метрикой с гармоническим тензором Вейля.
Ключевые слова: алгебры и группы Ли, левоинвариантные римановы метрики, гармонический тензор Вейля.
БО! 10.14258/1гуа8и(2014)1.1-27
In this paper Riemannian manifolds with a harmonic Weyl’s tensor are investigated. The class of these manifolds contains: Einstein’s manifolds, the results of Einstein’s manifolds products, conformally flat Riemannian manifolds. Generally, the problem of a classification of Riemannian manifolds with a harmonious Weyl’s tensor is considered rather difficult. Naturally therefore to consider it in a class of homogeneous Riemannian spaces, and in particular in a class of Lie groups with a left invariant Riemannian metrics. In dimension three Weyl’s tensor is trivial. Therefore there is a question of a harmony of the Weyl’s tensor on metric Lie groups of dimension more than three. Four-dimensional unimodular Lie algebras of Lie groups with a left invariant Riemannian metrics and a harmonious Weyl’s tensor were studied by authors. This paper continues these researches in nonunimodular case.
In this paper four-dimensional nonunimodular decomposable Lie groups with a left invariant Riemannian metrics, and a harmonious Weyl’s tensor are investigated. Some methods which allow to reduce this problem to the decision of the system of the polynomial equations in Lie algebras are obtained. Full classification of four-dimensional nonunimodular decomposable Lie groups with a left invariant Riemannian metrics, and harmonious Weyl’s tensor is obtained with the help of the methods of differential geometry, mathematical analysis and computer algebra. As a result of this classification the Lie algebras with metric Lie groups which aren’t conformally flat, i.e. have non trivial Weyl’s tensor are distinguished.
Key words: Lie algebras and Lie groups, left-
invariant Riemannian metrics, harmonic Weyl tensor.
Работа выполнена при поддержке Совета по грантам Президента РФ для поддержки молодых российских ученых и ведущих научных школ (грант НШ—2263.2014.1), мегагранта РФ для поддержки ведущих ученых (соглашение
№ 14.В25.31.0029), Минобрнауки РФ в рамках базовой части государственного задания в сфере научной деятельности ФГБОУ ВПО АлтГУ (проект: 1148)
Введение. В статье исследуются римановы многообразия с гармоническим тензором Вейля, т.е. с нулевой дивергенцией тензора Вейля. Ряд примеров таких многообразий и необходимые сведения о них приведены в [1—9]. В размерности 3 тензор Вейля тривиален, а его аналогом является тензор Схоутена-Вейля (тензор Коттона). Заметим, что вопросу гармоничности тензора Схоутена-Вейля на трехмерных группах Ли с левоинвариантной римановой метрикой посвящена работа [2]. В размерности четыре и выше тензор Вейля, вообще говоря, отличен от нуля. Поэтому возникает вопрос о гармоничности тензора Вейля на группах Ли размерности п > 4 с левоинвариантными римановыми метриками. Четырехмерные унимодулярные алгебры Ли групп Ли с левоинвариантной римановой метрикой и гармоническим тензором Вейля изучались в [3]. Настоящая работа продолжает исследования, начатые в [3], в неунимодулярном разложимом случае.
В данной работе мы будем использовать классификацию вещественных четырехмерных алгебр Ли и систему обозначений Г.М. Мубаракзянова [5]. При исследовании вещественных четырехмерных неунимодулярных групп Ли с левоинвариантной римановой метрикой и гармоническим тензором Вейля также будут использованы результаты работы А.Г. Кремлева и Ю.Г. Никонорова [4], в которой доказано, что для каждой четырехмерной неунимодулярной вещественной алгебры Ли существует ортонормированный базис, в котором структурные константы алгебры имеют удобный для вычисления вид. Определяя компоненты тензора Вейля и его дивергенции в указанных базисах, мы решаем вопрос о гармоничности тензора Вейля на неунимодулярных разложимых группах Ли. Заметим, что в силу инвариантности римановой метрики вопрос о гармоничности тензора Вейля на группах Ли может быть сведен к вопросу о гармоничности соответствующего тензора на алгебрах Ли.
1. Обозначения и предварительные сведения. Пусть (М, д) — риманово многообразие размерности п > 4; X, У, V — векторные поля на М. Обозначим через V связность Леви-Чивита и через И(Х, Y)Z = V— \7 х^у% + V[х,у]% тензор кривизны Римана. Тензор Риччи г и скалярную кривизну в определим соответственно как г = 1;г(V —> ЩХ, У)У) и в = Ьг(г). Разделив тензор кривизны Д на метрический тензор д в смысле произведения Кулкарни-Номидзу, получим тензор Вейля Ш и тензор одномерной кривизны А [1]:
Д = Ж + А@д, А =
1
п - 2
яд
2(п — 1)
где
(.А®д){Х,¥,г,У) =
А{Х, г)д(¥, V) + А(¥, У)д(Х, г)
-А(Х, У)д(¥, 2) - д(¥, г)Р(Х, V).
Пусть далее С — группа Ли с левоинвариантной римановой метрикой, {д, [-.-]} — соответствующая алгебра Ли. Тогда существует взаимно однозначное соответствие между множеством скалярных произведений в 0 и множеством левоинвариантных римановых метрик в С (см. [1]). Будем обозначать соответствующее скалярное произведение через (•, •} и называть пару {0, (•,•)} метрической алгеброй Ли.
Фиксируем базис {е\, ег,..., е„} левоинвариантных векторных полей в С. Положим
I( / - ( ;/ ( I: - , ( у I '/^ /. - ' ( г - ( ;} ) {!/у - (1)
где {с%} — структурные константы алгебры Ли, {Шз} — метрический тензор.
Пусть = с^дь8, тогда символы Кристоф-феля первого и второго родов вычисляются соответственно по формулам
^ij,k ~^{с1]к ^jki Гу Г, (2)
где Нй^Н есть матрица, обратная к Нй^Н-
Из (1) и (2) очевидно следует, что тензоры Римана Д^м, Риччи Гц., скалярная кривизна в и тензор Вейля \Vijkt являются функциями структурных констант с*- и компонент метрического тензора дц (см. также [2]). Так, например,
■ізкі
(п- 1)(п — 2)
івікви д^дік)
п- 2
І 1\’і/ Цг!: !'и .7'//, } -
(3)
Дивергенцию тензора Вейля будем определять формулой из [9]
сііуИ^ =
(4)
где + Т1р^Шикь + Г 1р1^цц +
Г — ковариантные производные тензора
Вейля.
Лемма 1. (см. [3]) Дивергенция тензора Вейля кососимметрична относительно второго и третьего индексов, т.е.
<іїу\¥і:ік = -сііу
ік]
Замечание 1. Чтобы компактно записать полученные результаты, воспользуемся симметриями, которыми обладают тензор Вейля и дивергенция тензора Вейля. Всюду далее из компонент тензора Вейля соответствующих групп Ли будем приводить только существенные, т.е. нетривиальные, поскольку остальные либо выражаются через них, либо равны нулю.
Таблица 1
Четырехмерные действительные разложимые неунимодулярные алгебры Ли
Разложимая алгебра Ли Нетривиальные структурные константы Ограничения
А2 ф 2Аі 4,2 = А 4,2 = В А > 0,В > 0
2А2 4,2 = А 4,3 = В> 4,3 = С> 4,4 = Р(А ~ В)> 4,4 = А 4,4 = —РС, с| 4 = С А > 0, С > 0
Аз,2 ф Аі 4,3 = 4,3 = А 4,3 = В, 4,3 = С, 4,3 = В А > 0, С > 0
Аз,з ф Аі 4,3 = 4,3 = А 4,3 = в А > 0, В > 0
А?,5фАі 4,3 = А 4,3 = В, 4,з = С, 4,з = Ла, с| 3 = В А > 0, 0 < |а| < 1
А?,7фАі 4,3 = 4,3 = 4,3 = ~АЬ, с\з = ВЬ, С2 3 = Ь/А, с\з = СЬ Ь>0, А>0, а>0
Придерживаясь терминологии работ [1—7], введем следующее понятие.
Определение 1. Риманово многообразие (М, д) размерности п > 4 называется С-пространством или пространством с гармоническим тензором Вейля, если <Иу\¥ = 0.
Определение 2. Будем называть алгебру Ли группы Ли разложимой, если она представима в виде прямой суммы алгебр Ли меньших размерностей.
Определение 3. Алгебра Ли 0 называется унимодулярной, если след любого внутреннего дифференцирования алгебры Ли равен нулю, т.е.
^(аёХ) = 0, УХ € 0,
где ас!Х(У) = [X, У], для любых X, У (Е 0.
2. Разложимые четырехмерные действительные неунимодулярные алгебры Ли с левоивариантной римановой метрикой и гармоническим тензором Вейля. В данном разделе работы мы рассмотрим все четырехмерные действительные разложимые неунимодулярные алгебры Ли, группы Ли которых наделены левоинвариантной римановой метрикой и нулевой дивергенцией тензора Вейля.
Нам понадобится следующий результат работы [4].
Лемма 2. Для произвольного скалярного произведения (•, •} на четырехмерной действительной разложимой неунимодулярной алгебре Ли 0 существует {■, ■)-ортонормированный базис с ненулевыми структурными константами, приведенными в таблице 1.
Далее все результаты формулируются с учетом базиса работы [4].
Теорема 1. Пусть С — вещественная четырехмерная неунпмодулярная группа Ли с левоинвариантной римановой метрикой и разложимой алгеброй Ли 0. Тогда сИуТУ = 0 в том и только
Таблица 2
Разложимые четырехмерные действительные неунимодулярные алгебры Ли с левоивариантной римановой метрикой и гармоническим тензором Вейля
Разложимая алгебра Ли Нетривиальные структурные константы Ограничения
А2 ф 2Аі 4,2 = А А > 0
2А2 4,2= А с| 4 = с А > 0, С > 0
Аз.зфАі г1 - г2 - А с1,3 — с2,3 — л А > 0
А3,г Ф Аі 4,3 = 4,3 = «А г2 -г1 - Т ~ с1,3 — с2,3 — ^ Ь > 0, а > 0
в том случае, если алгебра Ли д и ее структурные константы содержатся в таблице 2.
Доказательство. Рассмотрим последовательно каждую унимодулярную разложимую алгебру Ли из таблицы 1.
Алгебра А2 ф 2Аі. Фиксируем ортонормированный базис леммы 2. С помощью формул (3) определим компоненты тензора Вейля. Учитывая, что в этом базисе — \¥т2 = 2\¥ізіз = 2\¥і4і4 = 2\¥2323 = 2\¥г424 = —Wз434, существенной будет следующая координата тензора Вейля:
w1212 = -(1/3 )(А + В2).
Применяя формулы (4), найдем компоненты дивергенции тензора Вейля в указанном базисе. Заметим, что 2сИу\¥12з = — 2с1гу\¥21з = сИу\¥з12. Поэтому существенная координата дивергенции тензора Вейля равна:
сИу\¥12з = ( — 1/4 )В(В2 + А2).
Решая систему уравнений сИу\¥ = 0 относительно структурных констант А, В и принимая во внимание, что А > 0, получим единственное действительное решение:
А > О, В = 0.
Таким образом, для четырехмерной действительной разложимой неунимодулярной алгебры Ли {А2 ф 2А1, (•, •}} тензор Вейля является гармоническим в том и только в том случае, если ее нетривиальные структурные константы имеют вид: с2 2 = А, где А > 0, В = 0.
Алгебра 2А2. Рассуждая аналогично предыдущему случаю и решая систему уравнений divW = 0 относительно структурных констант А, В, С, В, С, получим следующие действительные решения:
1. А, ^ € М, В = С = С = 0, В = А.
2. А,С еК,В = С = В = В = 0.
3.4 = B = C = F = 0,ДGGR.
При А > 0 и С > 0 только второе решение удовлетворяет ограничениям леммы 2, и поэтому для четырехмерной действительной разложимой неунимодулярной алгебры Ли {2А2, (•,•)} тензор Вейля является гармоническим в том и только в том случае, если ее нетривиальные структурные константы имеют вид:
с1,2 = А сз,4 = где А > 0, С > 0.
Алгебра А3 2 ф Ах. Фиксируем ортонормиро-ванный базис леммы 2. Замечаем, что в этом базисе \Yi214 = ^^2334, 1414 = ^^2323, ^^1313 = ’\Y2424,
'^1212 = ^3434, \Vi224 = “^^1334 И \V1323 =
—\Yi424- Поэтому с учетом (3) существенными будут следующие компоненты тензора Вейля:
^^1212 = 1/6 (С2 + В2+В2),
У?12и = 1/4(СВ-АВ),
^1224 = 1/4АВ,
^ыз = 1/&(С2-2В2+В2),
\V1323 = -1/2 (АС + БВ),
1414 = 1/6(В2 - 2С2 - 2В2).
При этом компоненты дивергенции тензора
Вейля определяются из (4) следующим образом:
сиу\¥цз = (А/4)(ЗС2 + В2) + (1/2)00В - (3/8)АВ2, divWl2з = (С/2)(С2 + В2 - А2) - (В/8)(ЪАВ + СВ), (Ну\¥134 = -(1/8)ВС2 - (1/8)БАС - (1/2)А2В
- (1/4)В3 - (1/4)ВВ2,
divW2lз = (С/4)(С2 + В2) - (1/2)А2С - (5/8)ВАВ, &у\¥22з = (А/4)(В2 - 3С2) - (3/8)(АВ2 + СВВ),
с1^234 = -(1/2)А2В + (1/8)ВАС - (1/4)ВВ2
- (1/4)ВС2 - (1/4)В3,
(1^312 = — (1/8)С(—В2 + 2 С*2 + 2 В2), с1^з14 = (1/8)(3ВАС + 2В3 + 2В(В2 + А2 - С2)), (11у\¥з24 = (1/8)(ВАС + 2В(В2 + А2 + С2 + В2)), divW4lз = (1/2 )(ВАС +В3 + ВВ2) + (3/4 )А2В, divW42з = (1/4)В(ЗА2 + 2 В2 + 2 С2 + 2 В2), divW434 = (—АВ2 — АВ2 + СВВ)/8.
Рассмотрим &у\¥42з = 0. Из того что А > 0 и С > 0 следует, что (3А2 + 2В2 + 2С2 + 2В2) > О, поэтому divW423 = 0 тогда и только тогда, когда В = 0. Так как В = 0, то divW434 = —1/8АВ2, из чего получаем, что В = 0. Далее рассмотрим divW223 = 0, исходя из того, что В = 0 и В = 0, получим, что &у\¥22з = —3/4АС2, а в силу ограничений на структурные константы А иС(4>0иС>0) очевидно, что divW223 не равна нулю, следовательно, система уравнений divW = 0 не имеет решений при заданных в лемме 2 ограничениях на структурные константы. Таким образом, для четырехмерной действительной разложимой неунимодулярной метрической алгебры Ли {Аз_2 0 А1, (•, •)} тензор Вейля не является гармоническим.
Алгебра А3 3 ф Ах. Аналогично решая систему уравнений divW = 0 относительно структурных констант А, В и принимая во внимание, что А > 0, получим одно действительное решение А > О, В = 0. Таким образом, для четырехмерной действительной разложимой неунимодулярной алгебры Ли {Аз_з 0 А1, (•, •)} тензор Вейля является гармоническим в том и только в том случае, если ее нетривиальные структурные константы имеют вид: с\ 3 = 3 = А, где А > О, В = 0.
Алгебра Ад В0А1, 0 < |ск| < 1. Рассуждая аналогично и решая систему уравнений divW = О относительно структурных констант А, В, С, В и параметра а, получим следующие действительные решения:
1. А € М, В = С = В = 0, а = 0.
2. А € М, В = С = В = 0, а = 1.
Найденные решения не удовлетворяют условиям леммы 2. Следовательно, для четырехмер-
ной действительной разложимой неунимодуляр-ной метрической алгебры Ли {Аз 5 ф Аь (•, •}} тензор Вейля не является гармоническим.
Алгебра Ад7фАі, а > 0. Аналогично решая систему уравнений divW = 0 относительно структурных констант А, В, С, Ь и параметра а, получим следующие действительные решения:
1. А, В, С Є М, Ь = 0, а Є М.
2.А=1,В = С = 0,ІЄІ,аЄІ.
3. А = -1, В = С = О, Ь Є М, а Є М.
При Ь>0, А>0, а>0 только второе решение не противоречит условиям леммы 2. Значит, для четырехмерной действительной разложимой неунимодулярной алгебры Ли {Аз т ф Аь (•, •}} тензор Вейля является гармоническим в том и
только в том случае, если нетривиальные структурные константы имеют вид: с\ 3 = с| 3 =
аЬ, с2 з = — с\ з = —Ь, где Ь > 0, а > 0.
Теорема доказана.
Замечание 2. Среди четырехмерных действительных неунимодулярных разложимых алгебр Ли конформно плоскими являются лишь алгебры неунимодулярных разложимых алгебр Ли, конформно плоскими являются лишь алгебры Аз_з ф Ах при А > 0, В = 0; Ад 7 ф Ах - при А = I, В = С = 0, Ь > 0, о. > 0.
Замечание 3. Решение систем алгебраических уравнений настоящей работы проводилось с использованием пакетов аналитических расчетов, что позволило оптимизировать вычислительную часть исследования.
Библиографический список
1. Бессе А. Многообразия Эйнштейна: в 2 т. / пер. с англ. - М., 1990.
2. Гладунова О.П., Родионов Е.Д., Славский В.В. О гармонических тензорах на трехмерных группах Ли с левоинвариантной римановой метрикой // ДАН. - 2008. - Т. 419, №6.
3. Гладунова О.П., Славский В.В. Гармонический тензор Вейля левоинвариантных римановых метрик на четырехмерных унимодулярных группах Ли // Мат. труды. - 2011. - Т. 14, №1.
4. Кремлев А.Г., Никоноров Ю.Г. Сигнатура кривизны Риччи левоинвариантных римановых метрик на четырехмерных группах Ли. Неунимо-дулярный случай // Мат. труды. - 2009. - Т. 12, №1.
5. Мубаракзянов Г.М. О разрешимых алгебрах Ли // Изв. вузов. Сер.: Математика. - 1963. - Т. 32, №1.
6. Никоноров Ю.Г., Родионов Е.Д., Славский В.В. Геометрия однородных римановых многообразий // Современная математика и ее приложения. - 2006. - Т. 37.
7. Listing М. Conformal Einstein spaces in N-dimensions // Ann. Global Anal. Geom. 2001. -V. 20.
8. Milnor J. Curvature of left invariant metrics on Lie groups // Advances in mathematics. - 1976. -№21.
9. Yano K. Differential geometry on complex and almost complex spaces. — Oxford, 1965.
