CC BY
30
УДК 514.76
Н. П. Можей
Белорусский государственный университет информатики и радиоэлектроники
ТРЕХМЕРНЫЕ СИММЕТРИЧЕСКИЕ МНОГООБРАЗИЯ И ТЕНЗОРЫ РИЧЧИ НА НИХ
Работа посвящена исследованию симметрических пространств. Представлена локальная классификация трехмерных симметрических однородных пространств, что эквивалентно описанию эффективных пар алгебр Ли, допускающих инвариантную невырожденную симметрическую билинейную форму на изотропном модуле. Описаны все инвариантные линейные связности на таких пространствах вместе с их тензорами кривизны и кручения, алгебрами го-лономии, секционными кривизнами, тензорами Риччи. В статье использован алгебраический подход для описания линейных связностей, методы теории групп Ли, алгебр Ли и однородных пространств. Методы, предложенные в работе, могут быть применены для анализа физических моделей, а алгоритмы классификации однородных пространств, линейных связностей на этих пространствах, тензоров кривизны и кручения, алгебр голономии, секционных кривизн, тензоров Риччи могут быть компьютеризованы и использованы для решения подобных задач в больших размерностях.
Ключевые слова: симметрическое пространство, алгебра Ли, линейная связность, тензор Риччи.
N. P. Mozhey
Belarusian State University of Informatics and Radioelectronics THREE-DIMENSIONAL SYMMETRIC SPACES AND RICHI TENSORS ON THEM
The paper is devoted to the study of symmetric spaces. We present the local classification of three-dimensional symmetric homogeneous spaces. It is equivalent to the description of effective pairs of Lie algebras supplied with an invariant nondegenerate symmetric bilinear form on the isotropy module. We describe all invariant linear connections on the such spaces together with their curvature and torsion tensors, holonomy algebras, sectional curvatures, Richi tensors. In this article we used the algebraic approach for description of linear connections, methods of the theory of Lie groups, Lie algebras and homogeneous spaces. The methods stated in the work can be applied for the analysis of physical models, and algorithms classification of homogeneous spaces, linear connections on these spaces, curvature and torsion tensors, holonomy algebras, sectional curvatures, Richi tensors can be computerized and used for the decision of similar problems in large dimensions.
Key words: symmetric space, Lie algebra, linear connection, Richi tensor.
Введение. Идея многообразия как геометрического объекта, обладающего своей собственной внутренней геометрией, принадлежит Б. Риману. Это понятие появилось до понятия абстрактного топологического пространства, и первоначально многообразие всегда было снабжено метрикой. Симметрическое пространство - это пространство линейной связности без кручения, тензор кривизны которого сохраняется при параллельном перенесении. Название «симметрическое» связано с одним важным геометрическим свойством таких пространств, которое может быть принято за определение: геодезическая симметрия относительно любой точки есть автоморфизм пространства, т. е. такое преобразование, при котором заданная связность переходит в себя.
Потоки Риччи ввел Р. Гамильтон, он же получил глубокие результаты в теории трехмерных многообразий. В работах, связанных с доказательством гипотезы Пуанкаре, потоки Рич-
чи римановых многообразий использовались как важное техническое средство, было получено много результатов о существовании и свойствах таких потоков (см., например, [1]). Представляет интерес и изучение геометрических свойств метрик, входящих в поток Риччи. Поток Риччи задается через тензор Риччи, который определяет кривизну многообразия в одномерном направлении.
Наиболее важной и интересной задачей ри-мановой геометрии в целом является задача о нахождении связей между геометрическими и топологическими характеристиками римановых многообразий и их локальной характеристикой -кривизной: секционной кривизной, кривизной Риччи или скалярной кривизной. Впервые открытые двумерные поверхности неотрицательной гауссовой кривизны изучал Кон-Фоссен. В двумерном случае все указанные кривизны совпадают, эта связь достаточно просто описывается с помощью теоремы Гаусса - Бонне.
В многомерном случае теоремы, аналогичной теореме Гаусса - Бонне, нет, а возможность серьезного изучения многомерных римановых многообразий появилась после доказательства теоремы сравнения Рауха и Александрова -Топоногова. Используя эти теоремы и другие, часто удается получить те или иные геометрические характеристики риманова многообразия, а из уже имеющихся геометрических свойств извлечь информацию и о топологическом строении риманова многообразия. Первым результатом в многомерном случае была теорема о цилиндре, обобщающая аналогичную теорему Кон-Фоссена для двумерных поверхностей.
1. Основные опрелеления. Пусть М -дифференцируемое многообразие, на котором транзитивно действует группа_О, (М, О) - однородное пространство, О = Ох - стабилизатор произвольной точки х е М. Проблема классификации однородных пространств (М, О) равносильна классификации (с точностью до эквивалентности) пар групп Ли (О, О) где О с О. Пусть "д - алгебра Ли группы Ли О, ад - подалгебра, соответствующая подгруппе О. Инвариантные римановы метрики g на М находятся во взаимно однозначном соответствии с инвариантными симметрическими невырожденными билинейными формами В на О-модуле д / д, т. е. каждое риманово однородное пространство (О, М, g), еоЛт-дд < 4 описывается тройкой (д, д, В). Линейной связностью на паре (д, д) будем называть такое отображение Л: д ^ д[(К), где V=д /д, что его ограничение на д есть изотропное представление подалгебры, а все отображение является д-инвариантным. Хорошо известно (см., например, [2]), что инвариантные линейные связности на однородном пространстве (М, О) находятся во взаимно однозначном соответствии с линейными связностями на паре (д, д). Тензор кручения имеет вид
Т(XV, Уv) = Л(х^ -Л(уX - [х, у\ для всех х, у е д, а тензор кривизны -
Я(хр, yv) = [ Л(х), Л (у) ] - Л([х, у]).
Алгеброй голономии связности на паре (д, д) называется подалгебра вида
V + [Л(д), V ] + [Л(д), [Л(д), V ]] + ...,
где V = {[Л (х), Л (у)] - Л([х, у])| х, у е д}.
2. Классификация симметрических пространств.
Теорема 1. Локально однородное симметрическое пространство, допускающее риманову метрику, такое, что соЛтдд = 3 и д Ф {0}, эквивалентно одной и только одной из следующих троек:
Таблица умножения
е1 и1 и2 и3
е1 0 -и2 и1 0
и1 и2 0 0 0
и2 -и1 0 0 0
и3 0 0 0 0
номер 1.3.1
е1 и1 и2 и3
е1 0 -и2 и1 0
и1 и2 0 ±е1 0
и2 -и1 те1 0 0
и3 0 0 0 0
номер 1.3.5 и 1.3.6
е1 е2 е3 и1 и2 и3
е1 0 е3 -е2 -и3 0 и1
е2 -е3 0 е1 -и2 и1 0
е3 е2 -е1 0 0 -и3 и2
и1 и3 и2 0 0 0 0
и2 0 -и1 и3 0 0 0
и3 -и1 0 -и2 0 0 0
номер 3.5.1
е\ е2 е3 и1 Щ и3
е1 0 е3 -е2 -и3 0 и1
е2 -е3 0 е1 -и2 и1 0
е3 е2 -е1 0 0 -и3 и2
и1 и3 и2 0 0 е2 е1
и2 0 -и1 и3 -е2 0 е3
и3 -и1 0 -и2 -е1 -е3 0
номер 3.5.2
е1 е2 е3 и1 и2 и3
е1 0 е3 -е2 -и3 0 и1
е2 -е3 0 е1 -и2 и1 0
е3 е2 -е1 0 0 -и3 и2
и1 и3 и2 0 0 -е2 -е1
и2 0 -и1 и3 е2 0 -е3
и3 -и1 0 -и2 е1 е3 0
номер 3.5.3
В
81 0 0
0 81 0
0 0 82
Е1, 82 = ±1
а 0 0
0 а 0
0 0 ±1
а ф 0
1 0 0
0 1 0
0 0 1
а 0 0
0 а 0
0 0 а
а ф 0
а 0 0
0 а 0
0 0 а
а ф 0
Здесь е1, е2, е3 - базис д, и1, и2, и3 - базис, дополнительный к д в д.
Кроме римановой метрики псевдориманову метрику сигнатуры (2, 1) допускают следующие однородные пространства из приведенных в теореме: 1.3.1 при £1£2 < 0, 1.3.5, 1.3.6.
Теорема 2. Локально однородное симметрическое пространство, допускающее только псевдориманову метрику, такое, что сойШдд = 3 и д Ф {0}, эквивалентно одной и только одной из следующих троек:
Таблица умножения
В
е1 е2 е3 и1 и2 и3
е1 0 е2 -е3 и1 0 -и3
е2 -е2 0 е1 0 и1 и2
е3 е3 -е1 0 и2 и3 0
и1 -и1 0 -и2 0 0 0
и2 0 -и1 -и3 0 0 0
и3 и3 -и2 0 0 0 0
номер 3.4.1
0 0 1
0 -1 0
1 0 0
е\ в2 в3 щ1 щ2 щ3
е\ 0 в2 -в3 щ1 0 -щ3
в2 0 в1 0 щ1 щ2
в3 в3 0 щ2 щ3 0
щ -Щ1 0 -щ2 0 в2 -в1
Щ 0 -щ -щ3 -в2 0 -в3
и3 щ3 -щ2 0 в1 в3 0
номер 3.4.2
е\ в2 в3 щ1 щ2 щ3
е\ 0 в2 -в3 щ1 0 -щ3
е2 -е2 0 в1 0 щ1 щ2
в3 в3 0 щ2 щ3 0
щ -щ 0 -щ2 0 -в2 в1
Щ 0 -щ -щ3 в2 0 в3
и3 щ3 -щ2 0 -в1 -в3 0
номер 3.4.3
е\ в2 щ Щ щ3
е\ 0 в2 щ1 0 -щ3
в2 -в2 0 0 щ1 щ2
щ -щ 0 0 0 0
и2 0 -щ 0 0 0
и3 щ3 -щ 0 0 0
номер 2.21.1
е\ щ щ2 щ3
е\ 0 0 щ1 щ2
щ 0 0 0 0
Щ -щ 0 0 0
и3 -щ 0 0 0
номер 1.8.1
е\ щ щ2 щ3
е\ 0 0 щ1 щ2
щ 0 0 0 0
Щ -щ 0 0 ±в1
и3 -щ 0 Тв\ 0
номер 1.8.4 и 1.8.5
е\ щ щ2 щ3
е\ 0 щ -щ 0
щ -щ 0 0 0
Щ Щ 0 0 0
щ3 0 0 0 0
номер 1.1.1
е\ щ щ2 щ3
е\ 0 щ -щ 0
щ -щ 0 в1 0
Щ Щ -в! 0 0
Щ3 0 0 0 0
номер 1.1.5
е\ щ щ2 щ3
е\ 0 щ -щ 0
щ -щ 0 щ3 0
Щ Щ -щ3 0 0
Щ3 0 0 0 0
номер 1.1.6
0 0 а
0 -а 0
а 0 0
а ф 0
0 0 а
0 -а 0
а 0 0
а ф 0
0 0 1
0 -1 0
1 0 0
0 0 1
0 -1 0
1 0 0
0 0 1
0 -1 0
1 0 0
0 1 0
1 0 0
0 0 ±1
0 а 0
а 0 0
0 0 ±1
а ф 0
0 1 0
1 0 0
0 0 а
а ф 0
Доказательство основано на классификации псевдоримановых пространств, приведенной в [3].
Для указанных однородных пространств находим инвариантные линейные связности.
Прямыми вычислениями получаем, что, например, в случаях 3.5.1, 3.5.2, 3.5.3 связность в базисе щ, и2, и3 имеет вид
0 0 Л 0 Г 0 0 - Р2,3'
0 0 Р2,3 ? 0 0 0
0 - Р2,3 0 Г Р2,3 0 0 V
( 0 Р2,3 0 Л
-Р%3 0 0 0 0 0
Для 1.3.1-1.3.6 связность выглядит следующим образом:
0 0 Л Р1,3 ( 0 0 Л - Р2,3
0 0 Р2,3 0 0 Р1,3
Р3,1 Р3,2 0 ч - Р3,2 Р3,1 0 /
( г 1,1 г 0 1,2 Л
Г.,2 г 0 1,1
0 V 0 г " 3,3 V
В случаях 3.4.1, 3.4.2, 3.4.3, 2.21.1 связность имеет вид
0 Р1,2 0 > Г - Р1,2 0 0 1
0 0 Р1,2 0 0 0
0 0 0 0 0 Р1,2 ,
/ V
( Л
( Л
0 0 0
-/>1,2 0 0 .
Для 1.1.1, 1.1.5, 1.1.6 связность выглядит следующим образом:
0 0 Р1,3> ( 0 0 Л 0 ( г1,1 0 0 Л
0 0 0 0 0 42,3 0 г 2,2 0
0 Р3,2 0 V V 0 0 V 0 V 0 г 3,3 V
В случаях 1.8.1, 1.8.4, 1.8.5 связность имеет вид
0 Р1,2 Р1,3 Л ( -Р1,2 41,2 Л 41,3
0 0 Р1,2 ? 0 0 41,2 + Р1,3
0 0 0 0 0 Р 2
г1,1 1,2
-Р1,2 1,1+ql
0 -Р1,2
1,3
1,2 + q^,з
1,1 + ^1,2 + Pv
Рассмотрим теперь случаи 3.4.2 и 3.4.3. Не нарушая общности, можно считать, что a = Р^2 > 0. Поскольку тензоры кривизны и кручения инвариантны относительно действия группы Ли, то они однозначно определяются тензорами на касательном пространстве к многообразию, причем эти тензоры инвариантны относительно изотропного действия. Тензор кривизны:
^0 a2 +1
R(u1, u2) =
0
a2 +1
Л
( 2,1 -а ± 1 0 0 Л
R(u1, и3) = 0 0 0
0 V 0 а2 + 1 /
' 0 0 0
R(u2, и3) = -а2 ± 1 0 0
0 -а2 ± 1 0
Тензор кручения:
T(u1,u2) = 2au1, T(u1,u3) = 2au2, T(u2,u3) = 2au3.
Алгебра голономии совпадает с трехмерным неприводимым представлением 81(2, Я) при а2 Ф ±1 и коммутативна в противном случае. Аналогично рассматриваются остальные случаи.
Для указанных выше симметрических пространств найдем также секционную кривизну:
К (и., и}) =
, и )и, и})
В (и., и )Б(и;, и) - Б(и, и})
Номер тройки К (и1,и2) К(и1,и3) К(и2,и3)
1.3.1 0 0 0
1.3.5 1 а 0 0
1.3.6 1 а 0 0
3.5.1 0 0 0
3.5.2 1 1 1
а а а
3.5.3 1 1 1
а а а
3. Классификация тензоров Риччи. Тензорное поле Риччи - ковариантное тензорное поле степени 2, такое, что
5(х, у) = 1х V ^ R(v, х)у для х, у, V е ТХ(М).
Теорема 3. Тензоры Риччи симметрических римановых однородных пространств имеют следующий вид: 3.5.1
-2р2,32 0 0
0 -2Р2,32 0
0 0 -2Р2,32
3.5.2
-2р2,32 - 2 0 0
0 -2Р2,32 - 2 0
0 0 -2Р2,32 - 2
3.5.3
-2р2,32 + 2 0 0
0 -2Р2,32 + 2 0
0 0 -2Р2,32 + 2
1.3.1
Р2,3Р3,2 + Р1,3Р3,1 - Р1,3Р3,2 - Р2,3Р3,1 - 0
- Р3,1^1,1 + Р3,2^1,2 + - Р3,1^1,2 -
+ Г3,3Р3,1 - Р3,2^1,1 + Г3,3Р3,2
Р1,3Р3,2 + Р2,3Р3,1 + Р2,3Р3,2 + Р1,3Р3,1 - 0
+ Р3,2^1,1 + Р3,1П,2 - - Р3,1^1,1 + Р3,2^1,2 +
- г3,3р3,2 + г 3,3Р3,1
0 0 2Р133Г333 -
- 2г 1,1Р1,3 -
- 2г 1,2Р2,3
1.3.5
Р2,3Р3,2 + Р1,3Р3,1 - Р1,3Р3,2 - Р2,3Р3,1 - 0
- 1 - Р3,1П,1 + - Р3,1г 1,2 - Р3,2Г 1,1 +
+ Р3,2Г1,2 + Г3,3Р3,1 + Г3,3Р3,2
-Р1,3Р3,2 + Р2,3Р3,1 + Р2,3Р3,2 + Р1,3Р3,1 - 0
+ р3,2г 1,1 + р3,1г 1,2 - - 1 - Р3,1^1,1 +
- г 3,3р3,2 + Р3,2^1,2 + Г3,3Р3,1
0 0 2Р1,3^3,3 -
- 2г 1,1Р1,3 -
- 2Г1,2Р2,3
1.3.6
Р2,3Р3,2 + Р1,3Р3,1 + Р1,3Р3,2 - Р2,3Р3,1 - 0
+ 1 - Р3,1^1,1 + - Р3,1^1,2 - Р3,2^1,1 +
+ Р3,2^1,2 + Г3,3Р3,1 + Г33Р32
-Р1,3Р3,2 + Р2,3Р3,2 + Р1,3Р3,1 + 0
+ Р2,3Р3,1 + Р3,2^1,1 + + 1 - Р3,1^1,1 +
+ Р3,1^1,2 - Г3,3Р3,2 + Р3,2^1,2 + Г3,3Р3,1
0 0 2Р133Г333 -
- 2г 1,1Р1,3 -
- 2Г1,2Р2,3
Теорема 4. Тензоры Риччи симметрических псевдоримановых однородных пространств имеют следующий вид: 3.4.1
3.4.2
3.4.3
2.21.1
1.1.1
1.1.5
1.1.6
0 P3,2^2,3 + 72,2 -- Р3,2Г2,2 + 7*3,3^3,2 0
p1,3q3,1 - 7*1,1 -- q3,lr 1,1 + 73,3q3,1 0 0
0 0 p1,3>*3,3 - 7*1,1p1,3 + + Ч233Г3,3 - 72,2^2,3
1.8.1
0 0 -2p1,22
0 2p1,22 3p1,3p1,2 -- pu(qu + p1,3)
-2p1,22 -2p1,3p1,2 + + q1,2p1,2 p1,2^1,3 + 4p1,3^1,2 + + 2p1,32 + qu2 -- 7*1^1,2
1.8.4
0 0 -2p1,22
0 2p1,22 3p1,3p1,2 -- pu(qu + p1,3)
-2p1,22 -2pup1,2 + + q1,2p1,2 p1,2^1,3 + + 4p1,3^1,2 + + 2p1,32 + qu2 -- 7*1^1,2 - 1
1.8.5
0 0 -2p1,22
0 2p1,22 3p1,3p1,2 -- А,2^1,2 + p1,3)
-2p1,22 -2pup1,2 + + q1,2p1,2 p1,2^1,3 + + 4pi,3^1,2 + + 2p1,32 + qu2 -- 71,2p1,2 + 1
Заключение. Алгебраический подход, использованный в работе, дает возможность обобщить различные результаты дифференциальной геометрии и упростить их доказательство, а также применить идеи дифференциальной геометрии к другим математическим теориям и, наоборот, использовать различные алгебраические результаты в дифференциальной геометрии. Полученный результат позволяет в дальнейшем провести классификацию всех линейных связностей на трехмерных пространствах, методика также может быть использована для других размерностей.
0 p3,2q2,3 - 1 - 0
- p3,272,2 + 73,3p3,2
p1,3q3,1 - 1 - 0 0
- q3,171,1 + 73,3q3,1
0 0 p1,373,3 - 71,1p1,3 +
+ q2,373,3 - 72,2q2,3
0 0 -2p1,22
0 2p1,22 0
-2p1,22 0 0
0 0 -2p1,22 + 2
0 2pU22 - 2 0
-2p1,22 + 2 0 0
0 0 -2pu2 - 2
0 2p1,22 + 2 0
-2pu2 - 2 0 0
0 0 -2p1,22
0 2p1,22 0
-2p1,22 0 0
0 p3,2q2,3 - p3,272,2 + 0
+ 73,3p3,2
p1,3q3,1 - 0 0
- q3,1^1,1 + 73,3q3,1
0 0 p1,37*3,3 - 71,1p1,3 +
+ q2,373,3 - 72,2q2,3
Литература
1. Chow B., Knopf D. Mathematical Surveys and Monographs. Vol. 110: The Ricci flow: an introduction. Providence: American Mathematical Society, 2004. 325 p.
2. Nomizu K. Invariant affine connections on homogeneous spaces // Amer. Journ. Math. 1954. Vol. 76, no. 1. Р. 33-65.
3. Можей Н. П. Аффинные связности на трехмерных псевдоримановых однородных пространствах // Известия высших учебных заведений. Математика. 2013. № 12. С. 51-69.
References
1. Chow B., Knopf D. Mathematical Surveys and Monographs. Vol. 110: The Ricci flow: an introduction. Providence, American Mathematical Society Publ., 2004. 325 p.
2. Nomizu K. Invariant affine connections on homogeneous spaces. Amer. Journ. Math., 1954, vol. 76, no. 1, pp. 33-65.
3. Mozhey N. P. Affine connections on three-dimensional pseudo-Riemannian homogeneous spaces. Izvestiya vysshikh uchebnykh zavedeniy. Matematika [News of higher educational institutions. Mathematics], 2013, no. 12, pp. 51-68 (In Russian).
Информация об авторе
Можей Наталья Павловна — кандидат физико-математических наук, доцент, доцент кафедры «Программное обеспечение информационных технологий». Белорусский государственный университет информатики и радиоэлектроники (220013, г. Минск, ул. П. Бровки, 6, Республика Беларусь). E-mail: mozheynatalya@mail.ru
Information about the author
Mozhey Natalya Pavlovna — PhD (Physics and Mathematics), Assistant Professor, Assistant Professor, Software for Information Technologies Department. Belarusian State University of Informatics and Radioelectronics (6, P. Brovki str., 220013, Minsk, Republic of Belarus). E-mail: mozheynatalya@ mail.ru
Поступила 26.02.2016
