CC BY
15
Владикавказский математический журнал 2014, Том 16, Выпуск 1, С. 57-67
УДК 514.765
О КРИВИЗНЕ РИЧЧИ ТРЕХМЕРНЫХ МЕТРИЧЕСКИХ АЛГЕБР ЛИ1
М. С. Чебарыков
В работе получена классификация возможных сигнатур кривизны Риччи левоинвариантных ри-мановых метрик на трехмерных группах Ли, являющаяся уточнением некоторых результатов Дж. Милнора. В качестве вспомогательного результата получена классификация трехмерных неуни-модулярных метрических алгебр Ли.
Ключевые слова: однородное риманово многообразие, алгебра Ли, группа Ли, трехмерная алгебра Ли, левоинвариантная риманова метрика, кривизна Риччи.
1. Введение и основной результат
При изучении римановых многообразий знание ограничений на их кривизну позволяет получить важную информацию о геометрическом и топологическом строении исследуемых многообразий. Одной из важных характеристик кривизны является кривизна Риччи, и существует целый ряд открытых проблем, связанных с ней (более подробную информацию по этой проблематике можно найти, например, в [3] и [9]). Одной из таких проблем является задача определения возможных значений сигнатуры кривизны Риччи инвариантных метрик на заданном однородном пространстве [6, 7, 13].
Хорошо известен ряд принципиальных результатов в этом направлении [2, 4, 11]. Например, Дж. Милнор в работе [13] определил возможные сигнатуры оператора Риччи левоинвариантных римановых метрик на всех группах Ли размерности, не превышающей трех. В статьях [6, 7] А. Г. Кремлев и Ю. Г. Никоноров получили аналогичный результат для групп Ли размерности четыре.
Левоинвариантные римановы метрики на группах Ли удобно исследовать в терминах соответствующих метрических алгебр Ли (см. подробности в § 1 работы [6] или в [1, 4, 9]), поэтому в дальнейшем будем использовать именно такой вариант изложения. Определения и обсуждение всех необходимых нам в дальнейшем изложении понятий можно найти, например, в работе [6].
Следуя работам [6, 7], под сигнатурой симметрического оператора А, действующего на п-мерном евклидовом пространстве, мы понимаем упорядоченный набор
^п(А1), 8§П(А2), ..., sgn(Лra)),
© 2014 Чебарыков М. С.
"'"Исследование выполнено при финансовой поддержке гранта Федеральной целевой программы «Научные и научно-педагогические кадры инновационной России» на 2009-2013 гг., соглашение № 8206, а также гранта Президента РФ для поддержки молодых российских ученых и ведущих научных школ, грант № НШ-921.2012.1.
где А1 ^ А2 ^ ... ^ Ап — собственные значения оператора Д а sgn(x) означает знак (вещественного) числа х.
Еще в работе Г. Иенсена [12] было доказано, что скалярная кривизна произвольной разрешимой метрической неунимодулярной алгебры Ли неположительна. В теореме 1.5 из работы [13] Дж. Милнор доказал, что скалярная кривизна такой метрической алгебры Ли строго отрицательна. Следовательно, оператор Риччи такой алгебры имеет по крайней мере одно отрицательное собственное значение. Более того, в трехмерном неуни-модулярном случае оператор Риччи имеет не менее двух отрицательных собственных значений [13] (аналогичный результат для четырехмерного случая получен в работе [7], а для алгебр размерности < 6 - в работе [10]).
Таблица 1
Алгебра Ли Ненулевые скобки Ли Условия на параметры
ЗАг
А2 ф А\ [еье2] = е2
А3,1 [е2,е3] = С\
А3,2 [еье3] = еь [е2,е3] = ег + е2
А3,3 [еье3] = еь [е2,е3] = е2
А3,4 [еье3] = еь [е2,е3] = -е2
^3,5 [еье3] = еь [е2,е3] = ре2 0 < \р\ < 1
Аз,а [в1,е3] = —е2, [е2,е3] = ег
А3,7 [в1,е3] =ре 1 — е2, [е2,е3] = в! +ре2 р > 0
Аз,8 [в1,е3] = —2е2, [еье2] = еь [е2,е3] = е3
Аз,9 [еье2] = е3, [е2,е3] = еь [е3,в1] = е2
Отметим, что исследование сигнатуры оператора Риччи трехмерных метрических алгебр Ли в [13] проведено весьма подробно в унимодулярном случае и несколько менее подробно — в неунимодулярном. Информацию о возможности реализации заданной сигнатуры в качестве сигнатуры оператора Риччи для некоторого скалярного произведения на заданной неунимодулярной алгебре Ли при желании можно извлечь из результатов § 4 процитированной работы. Но поскольку это сопряжено с рядом неудобств, автор посчитал возможным и нужным провести более детальное исследование, результаты которого составляют содержание теоремы 1 настоящей работы и являются уточнениями соответствующих результатов Дж. Милнора.
В отличие от [13], в данной статье последовательно рассматриваются все трехмерные неунимодулярные алгебры Ли д с целью определения возможных сигнатур оператора Риччи для различных скалярных произведений на д. В таблице 1 указаны все возможные алгебры Ли размерности 3 (обозначения алгебр Ли согласованы с обозначениями из работ [6] и [7]), а в таблице 2 указан список возможных сигнатур симметричного оператора в трехмерном евклидовом пространстве. Заметим, что в таблице 1 неунимодулярными являются в точности алгебры Дз,2, Дз, з, Д 5, Д 7 й А Ф Дъ
Таблица 2
Сигнатура Сигнатура
1 6 (-+,+)
2 7 (0,0,0)
3 8 (0,0,+)
4 (-,0,0) 9 (0,+,+)
5 (-,0,+) 10 (+,+,+)
Основным результатом настоящей работы является следующая
Теорема 1. Пусть д — некоторая неунимодулярная трехмерная алгебра Ли д из таблицы 1, в — произвольная сигнатура из таблицы 2. Тогда в реализуется в качестве сигнатуры оператора Риччи для некоторого скалярного произведения на д в том и только том случае, если в таблице 3 па пересечении строки, соответствующей алгебре д, и
в
Таблица 3
№ сигнатуры
Алгебра Ли 1 2 3 4 5 6 7 8 9 10
А2 © А\ - + +
Аз,2 + + +
Аз,з +
АРз,„Р>0 + + +
АРз,„Р<0 +
А3,7 + + +
В следующем параграфе подробно исследуются все неунимодулярные алгебры Ли из таблицы 1, что позволяет в конечном итоге получить доказательство теоремы 1.
Для полноты картины мы приведем результат, аналогичный теореме 1, для трехмерного унимодулярного случая, который получен Дж. Милнором (см. [13, §4]). Отметим, что в работе [13] были использованы обозначения для алгебр Ли, отличные от тех, что использованы нами в таблице 1.
Дж. Милнор доказал (см. лемму 4.1 и теорему 4.3 в [13]), что для произвольной трехмерной унимодулярной метрической алгебры Ли существует ортонормированный базис {в1,в2,ез} со следующими коммутациоными соотношениями:
[в2 ,ез ] = А1в1, [вз,в1] = А2в2, [в1 ,в2 ] = Азвз. (1)
Отметим, что знаки чисел А1, А2 и Аз полностью определяют (трехмерную унимодуляр-ную) алгебру Ли. Нужный нам результат Дж. Милнора в терминах настоящей работы звучит следующим образом:
Теорема 2 (Дж. Милнор [13]). Пусть д — некоторая унимодулярная трехмерная алгебры Ли д из таблицы 1, в — произвольная сигнатура из таблицы 2. Тогда в реализуется в качестве сигнатуры оператора Риччи для некоторого скалярного произведения на
0 в том и только том случае, если в таблице 4 на пересечении строки, соответствующей алгебре и столбца, соответствующего сигнатуре в, находится знак «+».
Таблица 4
№ сигнатуры
Алгебра Ли 1 2 3 4 5 6 7 8 9 10
ЗА! +
М, 1 +
со - - + + - - - - - -
А,6 +
- - + + - - - - - -
- - + - - - - + - +
Отметим также, что в леммах 1-5 следующего параграфа устанавливается вид удобного ортонормированного базиса для соответствующей неунимодулярной метрической алгебры Ли, т. е. устанавливается некоторая классификация трехмерных неунимоду-лярных метрических алгебр Ли. Вместе с соотношениями (1) для унимодулярных метрических алгебр Ли это дает удобный инструмент для исследования различных инвариантных структур на трехмерных группах Ли. Аналогичные удобные ортонормирован-ные базисы для четехмерных метрических алгебр Ли были получены в работах [6] и [7] (использование этих базисов см., например, в [5]).
2. Доказательство основной теоремы
Для каждой исследуемой алгебры Ли и произвольного ее базиса {/г} через с^- обозначаются структурные константы алгебры Ли в этом базисе ([/г, fj] = к с^- / для всех г,], к). Матрица оператора Риччи метрической алгебры Ли в заданном ортонорми-рованном базисе находится стандартным образом (см., например, формулу (1) в [6]).
Далее мы для каждой неунимодулярной трехмерной алгебры Ли и произвольного скалярного произведения на ней найдем удобный ортонормированный базис. Матрица оператора Риччи в таком базисе примет простой вид, что и позволит определить его сигнатуру.
1. Алгебра Аз,2. Для рассматриваемой алгебры справедлива следующая
Лемма 1. Для произвольного скалярного произведения (■, ■) на алгебре Ли Аз , 2 существует (■, •)-ортонормированный базис {/¿} со следующими ненулевыми структурными константами:
с1 , з = с2 , з = 7, с2 , з = 5,
где 7,6 £ М, 7> 0 и 5 > 0. Обратно, для любых вещественных чисел 7 > 0 и 5 > 0 алгебра Ли со структурными константами = с2 3 = 7 и с2 3 = 5 изоморфна алгебре
Аз,2
< Выберем специальный (■, -)-ортонормированный базис {/г} для алгебры Ли Аз^. Потребуем, чтобы /1 = ав2 при а > 0 /2 лежал в производной алгебре Ьт(еье2) алгебры Аз>2, /з £ Ь1п(е1;е2,ез). Заменяя при необходимости /г на — /г, г £ {2, 3}, можно
считать, что матрица А перехода от базиса {е^} к базису {/¿} будет иметь следующий вид:
/а 0 0 \
А = I в1 в2 0 I , а > 0, в2 > 0, 7з > 0. (2)
\ 71 72 7з /
Структурные константы алгебры Аз,2 в базисе {/¿} имеют следующий вид:
с1,з = с2,з = 7з > 0, 4 =^7з>0. (3)
а
7 = с1,з = с2,з, 6 = е2,з-
Положим
Ясно, что 7 > 0 и 6 > 0, и мы доказали первое утверждение леммы. Для доказательства второго утверждения леммы нам достаточно для любых 7 > 0 и 6 > 0 указать вещественные числа а > 0 във2 > 0,71, 72,7з > 0, для которых выполнены равенства (3). Это будет означать, что базис данной алгебры Ли получается из канонического базиса Аз,2
ность двух алгебр Ли. Очевидно, что в качестве подходящих значений констант можно выбрать следующие:
а = 7, в1 =0, в2 = 6, 71 = 72 = 0, 7з = 7. >
Предложение. В качестве сигнатуры операторов Риччи скалярных произведений на алгебре Ли Аз,2 реализуются только сигнатуры вида (—, —, —) (—, —, 0) (—, —, +) т. е. сигнатуры 1, 2, 3 из таблицы 2.
< Для метрической алгебры Ли (Аз,2;(-, ■)) мы выберем ортонормированный базис {/»}, существование которого доказано в лемме 1. Матрица оператора Риччи Шс в этом базисе имеет вид:
/ - 272 -¿7 0
Шс = -¿7 -272 - ±62 0
\ 0 0 -272 - \52
Собственные значения оператора таковы:
А1 =-272 + ^^4 + 4(7^)2, А2 = -272 -^^4 + 4(7^)2, Х3 = -212-^52.
Очевидно, что знак А1 может быть произвольным при соответствующем выборе параметров 7 > 0 и 6 > 0, в то время как остальные собственные значения всегда отрицательны. Например, сигнатура (—, —,0) реализуется при 7 = 1, § = у/2\/5 — 2, сигнатура (—, —, +) — при 7 = 1 6 = 2, сигнатура (—, —, —) — при 7 = 6 = 1 >
Аз,з
Лемма 2. Для произвольного скалярного произведения (■, ■) на алгебре Ли Аз,з существует (■, ■)-ортонормированный базис {/¿} со следующими ненулевыми структурными константами:
с1,з = с|з = 7,
где 7 £ М, 7 > 0- Обратно, для любого вещественного числа 7 > 0 алгебра Ли со структурными константами с1 з = с2 з = 7 изоморфна алгебре Ли Аз,з.
< Выберем специальный (■, -)-ортонормированный базис {/¿} для алгебры Ли Аз , з. Потребуем, чтобы /1 = ае2 при а > 0 /2 лежал в производной алгебре Ьш(еье2) алгебры Аз>з, /з £ Ып(е1;е2,ез). Заменяя при необходимости /г на — /г, г £ {2, 3}, можно считать, что матрица А перехода от базиса {ег} к базису {/¿} будет иметь следующий вид:
а 0 0
А = I в1 в2 0 I , а > 0, в2 > 0, 7з > 0. (4)
\ 71 72 7з )
Структурные константы алгебры Аз,з в базисе {/г} имеют следующий вид:
сЦ.з = с|з = 7з > 0. (5)
Положим
7 = с1,з = 4з-
Ясно, что 7 > 0, и мы доказали первое утверждение леммы. Для доказательства второго утверждения леммы нам достаточно для любого 7 > 0 указать вещественные числа а > 0 в1, в2 > 0 7ъ72>7з > 0, для которых выполнены равенства (5). Это будет означать, что базис данной алгебры Ли получается из канонического базиса алгебры Аз,з
двух алгебр Ли. Ясно, что в качестве подходящих значений констант можно выбрать следующие:
а = в1 = в2 = 71 = 72 = 1, 7з = 7- >
Предложение 2. В качестве сигнатуры операторов Риччи скалярных произведе-Аз,з (—, —, —) 1
2)
< Для метрической алгебры Ли (Аз)з;(-, ■)) мы выберем ортонормированный базис {/¿}, существование которого доказано в лемме 2. Матрица оператора Риччи Шс в этом базисе имеет вид:
/ —272 0 0 Шс = I 0 —272 0
V 0 0 —272
Очевидно, что стоящие на диагонали матрицы собственные значения оператора Риччи всегда отрицательны, независимо от значения 7 > 0 >
Замечание. Заметим, что в данном случае (■, ■) есть метрика Эйнштейна, поскольку Шс = —272 ■ I, иными словами, оператор Риччи Шс пропорционален тождественному оператору I.
3. Алгебра А|5. Для рассматриваемой алгебры справедлива следующая Лемма 3. Для произвольного скалярного произведения (■, ■) на алгебре Ли А|5, 0 < |р| < 1, существует (■, -)-ортонормированный базис {/¿} со следующими ненулевыми структурными константами:
с1 , з = 7> с2 , з = 7Р> с2, з = (1 — Р)5,
где 7, 5 £ М 7 > 0. Обратно, для любых вещественных чисел 7 > 0 и 5 = 0 алгебра Ли со структурными константами с1 з = % с2 з = 7Р, с1, з = (1 — р)5, изоморфна алгебре Ли А? 5. ' '
< Выберем специальный (■, -)-ортонормированный базис {/¿} для алгебры Ли А| 5. Потребуем, чтобы /1 = ае2 при а > 0, /2 лежал в производной алгебре Ьш(еье2) алгебры А| 5, /з £ Ып(е1, е2, ез). Заменяя при необходимости /¿на —/¿, г £ {2, 3}, можно считать, что матрица А перехода от базиса {е«} к базису {/¿} будет иметь следующий вид:
а 0 0
А = I в1 в2 0 I , а > 0, в2 > 0, 7з > 0. (6)
\ 71 72 7з /
Структурные константы алгебры А| 5 в базисе {/¿} имеют следующий вид:
с1,з = 7з > 0, с|з=7зр, 4 з = (1 -р) — 73. (7)
а
Положим
1 х с2,з 7 = с1,з> <* =
1 — p
Ясно, что y > 0, и мы доказали первое утверждение леммы. Для доказательства второго утверждения леммы нам достаточно для любых 7 > 0 и 5 = 0 указать вещественные числа a > 0 във2 > 0 71,72,73 > 0, для которых выполнены равенства (7). Это будет означать, что базис данной алгебры Ли получается из канонического базиса алгебры Ли A3 5 с помощью невырожденной матрицы перехода, что и означает изоморфность двух алгебр Ли. Ясно, что в качестве подходящих значений констант можно выбрать следующие:
a = 7, в1 = 5, в2 = 1, 71 = 72 = 0, 7з = 7- >
Предложение 3. В качестве сигнатуры операторов Риччи скалярных произведений на семействе алгебр Ли Ap 5 при p > 0 реализуются только сигнатуры вида (—, —, — ), (—, —, 0) (—, —, +) (сигнатуры 1, 2, 3 из таблицы 1), а при p < 0 реализуется только сигнатура (—, — , +) (сигнатура 3 из таблицы 1).
< Для метрической алгебры Ли (A| 5;(-, ■)) мы выберем ортонормированный базис {/»}, существование которого доказано в лемме 3. Матрица оператора Риччи Ric в этом базисе имеет вид:
( \(p-l)2ô2 -^(1+р) <*7(р-1) 0 Ric = ! ôj(p — 1) -\{Р~ 1)2^2-72(1 +Р)Р 0
\0 0 -\(1-р)252 -^(l+p2)
Очевидно, что собственное значение — ^(1 — р)252 — 72(1 +р2) всегда отрицательное. Рассмотрим (2 х 2)-матрицу, полученную из матрицы оператора Риччи путем удаления третьей строки и третьего столбца. Обозначим ее Ric3. След этой матрицы имеет вид trace(Ric3) = —72(1+ p)2, значит, он отрицателен. Исходя из того, что след матрицы равен сумме ее собственных значений, мы можем сказать, что одно из собственных чисел матрицы Ric3 отрицательно, а, значит, отрицательно еще одно из собственных значе-
Ric
Ric
Оставшееся собственное значение может иметь любой знак при соответствующем выборе 7 > 0 и 5, если p > 0. Действительно, достаточно заметить, что (определитель матрицы Ric3)
det(Ric3) = ^ (4(1 + pfpf - 2(1 - p)2( 1 + p2)j262 - (1 - p)4A~)
1
в этом случае может принимать как положительные так и отрицательные (а, следовательно, и нулевое) значения при подходящих y > 0 и 5. Если же p < 0, то определитель матрицы Шсз всегда отрицателен, следовательно, она (и, соответственно, Rie) всегда имеет одно положительное собственное значение (ср. с предложением 12 из работы [7]). > 4. Алгебра A| 7. Для рассматриваемой алгебры справедлива следующая Лемма 4. Для произвольного скалярного произведения (■, ■) на алгебре Ли A3 7, p > 0, существует (■, -)-ортонормированный базис {fi} со следующими ненулевыми структурными константами:
в 2 Y
cî>3=7(P + /3), 4з = -7 S, 4,з =Ч(Р~Р), с2,з = ^,
где y, 5, в £ R Y > 0 и 5 > 0. Обратно, для любых вещественных чисел y> 0 в и 5 > 0 алгебра Ли со структурными константами c} , 3 = 7(p + в) c2 , 3 = —y5 с2 , з = Y(p — в)
с2 з = изоморфна алгебре Ли А| 7.
< Выберем специальный (■, -)-ортонормированный базис {fi} для алгебры Ли A3 5. Потребуем, чтобы f = ав2 при а > 0 f2 лежал в производной алгебре Lin(ei,e2) алгебры A| 5, f3 £ Lin(e},e2,e3). Заменяя при необходимости fi на —fi, i £ {2, 3}, можно считать, что матрица A перехода от базиса {ei} к базису {fi} будет иметь следующий вид:
/а 0 0 \
A = I в1 в2 0 I , а > 0, в2 > 0, 7з > 0. (8)
\ Yi 72 7з )
Структурные константы алгебры A3 7 в базиce {fi} имеют следующий вид:
с1,з = 1з{р + Pi), cl3 = -73a, С23 = 73 (i> — А ), = (9)
С точностью до переобозначений (а = ¿,73 = 7, в1 = в) эт0 и есть указанные в формулировке леммы равенства. Ясно, что с2 3 > 0 с1 3 < 0 и мы доказали первое утверждение леммы.
Для доказательства второго утверждения леммы нам достаточно для любых 7 > 0, в и 6 > 0 указать вещественные числа а > 0 въвг > 0 71,72,7з > 0, для которых выполнены равенства (9). Это будет означать, что базис данной алгебры Ли получается из канонического базиса алгебры Ли А3 5 с помощью невырожденной матрицы перехода, что и означает изоморфность двух алгебр Ли. Ясно, что в качестве подходящих значений констант можно выбрать следующие:
а = 6, в1 = в, в2 = 1, 71 = 72 = 0, Yз = 7- >
Предложение 4. В качестве сигнатуры операторов Риччи скалярных произведений на алгебре Ли А| 7 реализуются только сигнатуры вида (—, —, —) (—, —, 0) (—, —, +) т. е. сигнатуры 1, 2, 3 из таблицы 2.
< Для метрической алгебры Ли (А| 7;(-, ■)) мы выберем ортонормированный базис существование которого доказано в лемме 4. Матрица оператора Риччи в этом базисе имеет вид:
Rie =
/ _172£2+1/3V -2^р(р + Р) -SPf+Р) -72S(P-p) \ 0 0 A )
где
72(4р2£2 + 2[3252 + + /З4)
Понятно, что элемент А матрицы Шс, будучи ее собственным значением, всегда отрицателен. Как и в предыдущем случае, рассмотрим (2х2)-матрицу, полученную из исходной матрицы оператора Риччи путем удаления третьей строки и третьего столбца. Обозначим его Шсз. След этой матрицы, 1;гасе(Шсз) = —472р2, отрицателен. Таким образом, одно из собственных чисел матрицы Шсз отрицательно, а, значит, отрицательно еще одно из собственных значений исходного оператора Шс. Третье собственное значение оператора Риччи может иметь любой знак. Проще всего убедиться в этом, показав, что определитель матрицы Шсз может иметь произвольный знак. Понятно, что при в = 0 получаем равенство
с1е1;(Шсз) = -^(16р4 - 4р262 - 54).
Значит, при различных значениях 5 > 0 (и при произвольном фиксированном 7) знак ёе^Шсз) может быть произвольным, что и требовалось. >
5. Алгебра А2 © Аь Для рассматриваемой алгебры справедлива следующая
Лемма 5. Для произвольного скалярного произведения (■, ■) на разложимой алгебре Ли А2 © А1 существует (■, ■)-ортонормированный базис {в^} со следующими ненулевыми структурными константами:
2з С1 , 2 = а, С1 , 2 = 7,
где а, 7 £ М, а > 0. Обратно, для любых вещественных чисел 7, а > 0 алгебра Ли со структурными константами с1 , 2 = а, сз , 2 = 7, изоморфна алгебре Ли А2 © А1.
< Выберем специальный (■, -)-ортонормированный базис {в»} для алгебры Ли А2© А1. Выберем вектор вз £ А1 = (0, М) С А2 © А1 со свойств ом (вз ,вз) = 1 и рассмотр им р — (■, -)-ортогональное дополнение к М ■ вз = А1 в А2 © А1. Рассмотрим теперь линейное отображение Ь : р ^ А^, являющееся проекцией вдоль (0, М). Ясно, что Ь — линейный изоморфизм. Определим на алгебре Ли А2 скалярное произведение (•, ■) так, чтобы выполнялось равенство (X, У) = (Ь(Х),Ь(У)) для всех X, У £ р.
Для метрической алгебры Ли А2 существует ортонормированный базис {/1, /2} с коммутационным соотношением [/1, /2] = а/2 при некотором вещественном а > 0. Для г = 1, 2 положим в» = Ь-1(/^). Понятно, что в1 = /1 + квз, в2 = /2 + 1вз для некоторых
£ М. Ясно также, что векторы в1; в2, вз образуют (■, -)-ортонормированный базис в
А2 © А1 А2 © А1
с2 , 2 = а, с1 , 2 = —а ■ 1. (10)
Положим а = с2 2,7 = с? 2- Ясно, что а > 0, и мы доказали первое утверждение леммы.
Пусть теперь 5 — алгебра Ли, имеющая базис (/1, /2, /з) с единственным нетривиальным коммутатором [/ь/2] = а/2 + 7/3, где а, 7 £ Ж, а > 0. Полагая е\ = ^/1, е2 = /2 + ^/з, ез = /3, мы получаем новый базис для 5 с единственным нетривиальным коммутационным соотношением [в1, в2] = в2- Таким образом, 5 изоморфна алгебре Ли А2 © Аь >
Предложение 5. В качестве сигнатуры операторов Риччи скалярных произведений на алгебре Ли 5 = А2 © А1 реализуются только сигнатуры вида (—, —, 0) (—, —, +) (сигнатуры 2 и 3 из таблицы 2).
< Для метрической алгебры Ли s = A2 Ф Ai мы выберем ортоиормироваиный базис {/¿}, существование которого доказано в лемме 5. Матрица оператора Риччи в этом базисе имеет вид:
/ —о? — TjY2 0 0 \
Rie = 0 —а2 - О
V 0 0 172 /
Очевидно, что два из стоящих на диагонали матрицы собственных значения оператора Риччи всегда отрицательны, причем при y = 0 реализуется сигнатура (—, —, 0), при Y > 0 — сигнатура (—, —, +), и никаких других сигнатур оператор Риччи иметь не может. >
Понятно, что доказанные выше предложения 1-5 влекут теорему 1.
Автор выражает свою признательность Ю. Г. Ннконорову за ценные советы, использованные при написании данной статьи.
Литература
1. Алексеевский Д. В. Однородные рнмановы пространства отрицательной кривизны // Мат. сб.— 1975.—T. 96.-С. 93-117.
2. Алексеевский Д. В., Кимелъфелъд В. Н. Структура однородных римановых пространств с нулевой кривизной Риччи // Функциональный анализ и его приложения.—1975.—Т. 9, № 2.—С. 5-11.
3. Валащенко В. В., Никоноров К). Г., Родионов Е. Д., Славский В. В. Однородные пространства: теория и приложения.—Ханты-Мансийск: Полиграфист, 2008.—280 с.
4. Вессе А. Л. Многообразия Эйнштейна.—М.: Мир, 1990.—704 с.
5. Гладуиова О. П., Родионов Е. Д., Славский В. В. О конформно полуплоских 4-мерных группах Ли // Владикавк. мат. журн.—2011.—Т. 13, № 3.—С. 3-16.
6. Кремлев А. Г., Никоноров К). Г. Сигнатура кривизны Риччи левоинвариантных римановых метрик на четырехмерных группах Ли. Унимодулярный случай // Мат. труды.—2008.—Т. 11, № 2.— С. 115-147.
7. Кремлев А. Г., Никоноров К). Г. Сигнатура кривизны Риччи левоинвариантных римановых метрик на четырехмерных группах Ли. Неунимодулярный случай // Мат. труды.—2009.—Т. 12, № 1.—С. 40-116.
8. Никитенко Е. В., Никоноров К). Г. Шестимерные эйнштейновы солвмногообразия // Мат. труды.—2005.—Т. 8, № 1—С. 71-121.
9. Никоноров К). Г., Родионов Е. Д., Славский В. В. Геометрия однородных римановых многообразий // Современная математика и ее приложения. Геометрия.—2006.—Т. 37.—С. 1-78. Engl, transi: J. Math. Sci.-2007.-Vol. 146, № 6.-P. 6313-6390.
10. Чебарыков M. С. О кривизне Риччи неунимодулярных разрешимых метрических алгебр Ли малой размерности // Мат. труды.—2010.—Т. 13, № 1.—С. 186-211.
11. Dotti Miatello I. Ricci curvature of left-invariant metrics on solvable unimodular Lie groups // Math. Zeit.-1982.-Vol. 180.-P. 257-263.
12. Jensen G. The scalar curvature of left invariant Riemannian metrics // Indiana Univ. Math. J.—1971.— Vol. 20.—P. 1125-1143.
13. Milnor J. Curvature of left invariant metrics on Lie groups // Adv. Math.—1976.—Vol. 21.—P. 293-329.
Статья поступила 2 апреля 2013 г.
Чебарыков Михаил Сергеевич Рубцовский индустриальный институт Алтайского государственного технического университета им. И. И. Ползунова
ассистент кафедры прикладной математики РОССИЯ, 658207, Рубцовск, ул. Тракторная, 2/6 E-mail: chebarikovOyandex. ru
ON THE RICCI CURVATURE OF THREE-DIMENSIONAL METRIC LIE ALGEBRAS
Chebarikov M. S.
In this paper, we get a classification of possible values of the Ricci curvature signature of left invariant Riemannian metrics on three-dimensional Lie groups, that is a specification of some results of J. Milnor. As an auxiliary problem, we classify three-dimensional nonunimodular metric Lie algebras.
Key words: homogeneous Riemannian manifold, Lie group, metric Lie algebra, three-dimensional Lie group, Ricci operator, eigenvalues of the Ricci operator, Ricci curvature.
