CC BY
29
О спектрах операторов кривизны некоторых четырехмерных групп Ли... УДК 517.165.7+512.81
О спектрах операторов кривизны некоторых четырехмерных групп Ли с левоинвариантной римановой метрикой*
П.Н. Клепиков, Д.Н. Оскорбин, Е.Д. Родионов
Алтайский государственный университет (Барнаул, Россия)
On Curvature Operators Spectra of Some Four-dimensional Lie Groups with Left-invariant Riemannian Metrics
P.N. Klepikov, D.N. Oskorbin, E.D. Rodionov
Altai State University (Barnaul, Russia)
При исследовании римановых многообразий важную роль играют операторы кривизны: оператор Риччи, оператор одномерной кривизны и оператор секционной кривизны. Изучение их свойств представляет интерес в понимании геометрического и топологического строения однородного риманова многообразия. В частности, представляет интерес отыскать спектры операторов кривизны.
Ранее оператор Риччи и его спектр на группах Ли и однородных пространствах изучался в работах Дж. Милнора, В.Н. Берестовского, А.Г. Крем-лева и Ю.Г. Никонорова, а спектры операторов одномерной и секционной кривизн — в исследованиях Д.Н. Оскорбина, Е.Д. Родионова, О.П. Хромовой. Однако в размерности не менее 4 все еще не решен ряд задач, связанных со спектром операторов кривизны на метрических группах Ли. Например, в размерности 4 не найдены точные формулы для вычисления спектра оператора Рич-чи на метрических группах Ли.
Проблема определения спектров операторов кривизны левоинвариантных римановых метрик на заданной группе Ли является локальной, так как операторы кривизны действуют на алгебре Ли группы Ли. Поэтому естественно переформулировать задачу в терминах метрических алгебр Ли. Именно, определить спектры операторов Риччи, одномерной и секционной кривизн для всевозможных скалярных произведений на заданной алгебре Ли в терминах ее структурных констант.
Ключевые слова: группы Ли, алгебры Ли, операторы кривизны, левоинвариантная риманова метрика, обобщенные базисы Дж. Милнора.
БОТ 10.14258/^уа8и(2015)1.2-22
Curvature operators, such as the Ricci operator, a one-dimensional curvature operator and a sectional curvature operator, are important in a study of Riemannian manifolds. Investigation of their properties is interesting for understanding the geometrical and topological structure of homogeneous Riemannian manifolds. In particular, it is interesting to find spectra of the curvature operators.
The Ricci operator and its spectrum on Lie groups and homogeneous spaces was studied by J. Milnor, V.N. Berestovskii, A.G. Kremlev and Yu.G. Nikonorov, and spectra of one-dimensional and sectional curvature operators were studied by D.N. Oskorbin, E.D. Rodionov, O.P. Khromova. However, the number of problems associated with the spectra of curvatures on metric Lie groups are still not solved in dimension not less than 4. For example, there are no exact formulas for calculating the spectrum of Ricci operator on metric Lie groups in dimension 4.
The problem of spectra calculation for curvature operators of left-invariant Riemannian metrics on given Lie group is local since the curvature operators are defined on Lie algebra of Lie group. It is natural to reformulate the problem in terms of metric Lie algebras. Namely, to calculate the spectra of Ricci, one-dimensional and sectional curvature operators for various scalar products on a given Lie algebra in terms of its structure constants.
Key words: Lie groups, Lie algebras, curvature operators, left-invariant Riemannian metric, J. Milnor's generalized bases.
* Работа выполнена при поддержке Совета по грантам Президента РФ (грант НШ 2263.2014.1), Правительства РФ (госконстракт № 14.В25.31.0029), Министерства образования и науки РФ в рамках базовой части го-
сударственного задания в сфере научной деятельности ФГБОУ ВПО «Алтайский государственный университет» (код проекта: 1148).
1. Основные определения и обозначения. Пусть (М, д) — риманово многообразие размерности п; Х, У, V — векторные поля на М. Обозначим через V связность Леви-Чивита и через Д(Х,У)£ = VYV*£ - V*VY£ + V[X,Y] £ тензор кривизны Римана. Тензор Риччи г и скалярную кривизну в определим, соответственно, как г(Х, У) = ^(У —^ Д(Х,У)У) и в = tr(г). Тензор одномерной кривизны А определим как
где ||дкя|| есть матрица, обратная к ||дк8||.
Тогда формула для вычисления компонент тензора кривизны Римана представима в виде
Д.
■ijkt
С!з — Г^к ^ + Г1к Г
кг
(3)
компоненты тензора Риччи и скалярную кривизну, соответственно, можно найти как
Пк = Д,ы д3\ р = Пк д
Лк
(4)
А -
1
п - 2
вд
2(п — 1)) '
Оператор Риччи р и оператор одномерной кривизны А определим с помощью тождеств
д(р(Х), У) = г(Х, У), д(А(Х), У ) = А(Х, У),
где Х, У — векторные поля на М.
Риманова метрика д индуцирует скалярное произведение (•, •} в слоях пространства расслоения Л2М по правилу
(Х1 Л Х2,У1 Л У2}х =det(gx(Xi,У)).
Риманову тензору кривизны Д, в силу его сим-метрий, в любой точке многообразия М можно поставить в соответствие оператор секционной кривизны Ж: ЛХМ ^ Л^М, определяемый равенством
Из (1), (2), (3) и (4) очевидно следует, что операторы Риччи р, одномерной кривизны А и секционной кривизны Ж являются функциями структурных констант С- и компонент метрического тензора д,.
2. Спектры операторов кривизны некоторых четырехмерных групп Ли с лево-инвариантной римановой метрикой. Мы будем использовать классификацию четырехмерных действительных алгебр Ли, полученную Г.М. Мубаракзяновым в работе [14], а также удобные для вычислений базисы (обобщенные базисы Дж. Милнора) этих алгебр Ли, построенные в [15,16]. Сформулируем леммы, фактически доказанные в этих работах.
Лемма 1. Для произвольного скалярного произведения (•, •} на алгебре Ли А2 ф 2А1 существует (•, •}-ортонормированный базис {Х^}, в котором ненулевые структурные константы имеют следующий вид:
(Х Л У, Ж(Т Л V)}х = Дх(Х, У, Т, V),
С1 С1,2
а, С4,2
6, где а > 0.
где Д*(Х, У, Т, V) = д*(Д(Х, У)Т, V).
Пусть далее О — группа Ли с левоинвариант-ной римановой метрикой, {д, [•.•]} — соответствующая алгебра Ли. Тогда существует взаимно однозначное соответствие между множеством скалярных произведений в д и множеством левоинва-риантных римановых метрик в О (см. [1]). Будем обозначать соответствующее скалярное произведение через (•, •} и называть пару {д, (•, •}} метрической алгеброй Ли.
Фиксируем базис {Е^ Е2,..., Еп} в д. Поло-
Е, Е,] = С3Ек, VEiЕ, = ГкзЕк (Е ,Е3} = дз,
(1)
где С3
структурные константы алгебры Ли; д, — метрический тензор.
В дальнейшем будем использовать факты и основные обозначения из работ [2-13].
Пусть С,8 = С*, дк8, тогда символы Кристоф-феля первого и второго родов вычисляются, соответственно, по формулам
I'/-/./, ^ ^ '/уА I ^ '/, /-/,) ;
г8. ,
р кв г ,,к д ,
(2)
Лемма 2. Для произвольного скалярного произведения (•, •} на алгебре Ли А3д ф А1 существует (•, •}-ортонормированный базис {Х^}, в котором ненулевые структурные константы имеют следующий вид:
С21,3 = а, где а > 0.
Лемма 3. Для произвольного скалярного произведения (•, •} на алгебре Ли А3,3 ф А1 существует (•, •}-ортонормированный базис {Х^}, в котором ненулевые структурные константы имеют следующий вид:
С1 С1,3
С2 С2,3
а С3,4
6, где а > 0.
Из всех четырехмерных метрических алгебр Ли рассмотрим только алгебры А2 ф 2А1, А3д ф А1 и Аз,з ф А1, так как структурные константы этих алгебр зависят от малого числа параметров.
Теорема. Спектры оператора одномерной кривизны А, оператора кривизны Риччи р, оператора секционной кривизны Ж четырехмерных
г
О спектрах операторов кривизны некоторых четырехмерных групп Ли.
Таблица 1
Спектры операторов кривизны четырехмерных метрических алгебр Ли
А2 © 2А1, А3 1 © А1 и А3 з © А1
Алгебра Ли Структурные константы Спектры операторов
А2 © 2А1 С{,2 = а, С{ 2 =Ь, а > 0 зрес{А) = {-±а2 - ^Ь2, -¿а2 - ^Ь2, |а2 + ¿Ь2, £б2 + |а2}, 8рес(р) = {-а2-±Ь2,-а2-±Ь2,0,Ь2}, 5рес(7г) = {-а2 - §Ь2, 0, ±Ь2,0, ±Ь2,0}
Азд © А1 С2 з = а, а > 0 врес(А) = {-|^а2, -^а2, ¿а2, ¿а2}, зрес(р) = { — ^а2, — ^а2, ^а2,0}, врес(Т1) = {-§а2, |а2,0, ±а2,0,0}
Аз,з © А1 С^з = а, <^2,3 = С\л = Ъ, а > 0 = {-^а2 - -^а2 + ^Ь2, ^Ь2 ± ¿VЪ4 + 4а4 + 5а2Ь2}, врес(р) = {-2а2, -2а2 - ±Ь2, -а2 ± ±л/Ь4 + 4а4 + 5а2Ь2}, зрес{П) = {\Ъ2, ±Ь2, -а2, -а2 - §Ь2, -±а(а ± л/а2 + Ь2)}
метрических алгебр Ли А2 © 2А1; А3 д © А1 и Аз , з © А1, соответствующих группам Ли с ле-воинвариантной римановой метрикой, имеет вид, представленный в таблице 1.
Доказательство. Вычислим матрицы оператора одномерной кривизны А, оператора кривизны Риччи р, оператора секционной кривизны в обощенном базисе Дж. Милнора из лемм 1-3 для каждой из метрических алгебр Ли А2 © 2А1, Аз,1 © А1 и Аз,з © А1 .
Алгебра Ли А2 © 2А1:
А
/Я1 0 0 Н1 00 00
0 0
6 ^ 24 "
\
0 0 0
7-ъ2 + и\
24
1 2 --а. Аб2
3 24
/-а2 152 2
0
0
V 0
п
-§Ь2 0 0 0
0 0 0 0
0 0 0
0 0 0 0
0 0 0 0
0 0 0 0
0 0 0
\
Алгебра Ли Аз,1 © А1
А =
\Ъ2 О 00
- Аа2 24 0 0 0
0 24 0 0
0 0 а? 24 0
V 0 0 0 ¿«У
П-
(~\а 0
0 0
3 2 41
"К 0
0
/-!а
0
|«2
О
00 00 00 00
Алгебра Ли Аз,з © А1 :
0 0
0 0
1а2 0 0 0
0 0
0 0
0 0
1а2 0 0 0
0 0
А
\
0 0
1аЪ
00
Н2 0 0 Нз 00
\аЪ 0 0
-^Ь2 + ±а2
0 0
0 0 ./
0 0
0 62у! р=
11 15
где Я2 = --а2 + ¿Ь2, Я3 = -^а2 - ¿Ь2.
2
24
0 0
| аЪ
0
-2а2 0 0
0 0
-2а2 - ±Ъ2
| аЪ \ 0 0
/ -а2 0 0 0 — ^аЬ 0
0 Н4 0 0 0 -аЬ
0 0 ь2 4 0 0 0
0 0 0 -а2 0 0
-^аб 0 0 0 0 0
V 0 —аЬ 0 0 0 "Г/
п
где Н4 = -а2 +
Ь2 4
Отметим следующее: так как матрицы операторов являются симметричными, то они всегда имеют действительные собственные значения.
0
р
0
0
2
а
2
р
а
Разберем подробнее случай метрической алгебры Ли А3,3 ф А1 , так как в обобщенном базисе Дж. Милнора этой алгебры операторы кривизны имеют не диагональный вид. Запишем характеристические многочлены для матриц каждого оператора кривизны.
Характеристический многочлен оператора одномерной А кривизны имеет вид
(24х + 12а2 + 562)(24х + 12а2 — 62)
• (576х2 — 4862х — 144а4 — 180а262 — 3564) = 0.
Характеристический многочлен оператора Риччи р будет иметь вид
(х + 2а2)(2х + 4а2 + 62)
• (4х2 + 8а2 х — 5а262 — 64) = 0.
Характеристический многочлен оператора секционной кривизны Ж имеет вид
(4х — 62)2(х + а2 )(4х + 4а2 + 362)
• (4х2 + 4а2х — а262) = 0.
Решая характеристические уравнения каждого оператора, находим их собственные значения. Повторяя вышеприведенную процедуру для оставшихся двух метрических алгебр Ли, получим требуемое.
Замечание. Из результатов о спектре оператора Риччи, полученных в работе, следуют результаты работ [9,10] о сигнатурах спектра оператора Риччи соответствующих четырехмерных вещественных алгебр Ли.
Библиографический список
1. Бессе А. Многообразия Эйнштейна : в 2 т. / пер. с англ. — М., 1990.
2. Воронов Д.С., Родионов Е.Д. Левоинва-риантные римановы метрики на четырехмерных неунимодулярных группах Ли с нулевой дивергенцией тензора Вейля // Доклады академии наук. — 2010. — Т. 432, №3.
3. Nikonorov Yu.G., Rodionov E.D. Compact Homogeneous Einstein 6-Manifolds // Differential Geometry and its Applications. — 2003. — Т. 19, №3.
4. Родионов Е.Д. Эйнштейновы метрики на четномерных однородных пространствах, допускающих однородную риманову метрику положительной секционной кривизны // Сиб. матем. журнал. — 1991. — Т. 32, №3.
5. Родионов Е.Д., Славский В.В. Локально конформно однородные пространства // ДАН. — 2002. — Т. 387, №3.
6. Гладунова О.П., Родионов Е.Д., Слав-ский В.В. О конформно полуплоских 4-мерных группах Ли // Владикавк. матем. журнал. — 2011. — Т. 13, №3.
7. Никоноров Ю.Г., Родионов Е.Д., Слав-ский В.В. Геометрия однородных римановых многообразий // Современная математика и ее приложения. — 2006. — Т. 37.
8. Клепиков П.Н., Хромова О.П. Четырехмерные группы Ли с левоинвариантной римано-вой метрикой и гармоническим тензором концир-кулярной кривизны // Известия Алт. гос. ун-та. — 2014. — №1/2. DOI 10.14258/izvasu(2014)1.2-05.
9. Кремлев А.Г., Никоноров Ю.Г. Сигнатура кривизны Риччи левоинвариантных римано-
вых метрик на четырехмерных группах Ли. Уни-модулярный случай // Мат. труды. — 2008. — Т. 11, №2.
10. Кремлев А.Г., Никоноров Ю.Г. Сигнатура кривизны Риччи левоинвариантных рима-новых метрик на четырехмерных группах Ли. Неунимодулярный случай // Мат. труды. — 2009. — Т. 12, №1.
11. Никоноров Ю.Г., Родионов Е.Д., Слав-ский В.В. Геометрия однородных римановых многообразий // Современная математика и ее приложения. — 2006. — Т. 37.
12. Оскорбин Д.Н., Родионов Е.Д. О спектре оператора кривизны трехмерных групп Ли с ле-воинвариантной римановой метрикой // ДАН. — 2013. — Т. 450, №3.
13. Родионов Е.Д., Славский В.В., Чибрико-ва Л.Н. Локально конформно однородные псевдо-римановы пространства // Мат. труды. — 2006. — Т. 9, №1.
14. Мубаракзянов Г.М. О разрешимых алгебрах Ли // Изв. вузов. Матем. — 1963. — № 1.
15. Клепиков П.Н., Оскорбин Д.Н. Обобщенные базисы Милнора некоторых 4-мерных вещественных метрических алгебр Ли // Избранные труды междунар. конф. «Ломоносовские чтения на Алтае: фундаментальные проблемы науки и образования», Барнаул, 11-14 ноября 2014. — Барнаул, 2014.
16. Клепиков П.Н., Оскорбин Д.Н. Построение обобщенных базисов Милнора некоторых четырехмерных метрических алгебр Ли // Известия Алт. гос. ун-та. — 2015 — №1/1 (85). БО! 10.14258/^x^(2015)1.1-13.
