CC BY
178
Вестник КемГУ № 3/1 2011 Риманова геометрия
// [Электронный ресурс]. - Режим доступа: arXiv:math/0209259v1 [math.DG], свободный.
[7] Goze, M. Symplectic or contact structures on Lie groups / M. Goze, Y. Khakimdjanov, A. Medina // Differential Geom. Appl. - 2004. - Vol. 21, no. 1.
- P. 41 - 54.
[8] Корнев, Е. С. Почти комплексные структуры и метрики на группах Ли размерности 4 / Е. С. Корнев. - LAP LAMBERT Academic Publishing, 2010. - 156 стр.
[9] Кобаяси, Ш. Основы дифференциальной геометрии / Ш. Кобаяси, К. Намидзу - М.: Наука, 1981. - Т. 2. - 416 с.
[10] Magnin, L. Complex structures on indecomposable 6-dimensional nilpotent real Lie algebras / L. Magnin // Int. J. of Algebra and Computation. - 2007. - Vol. 17, no. 1. - P. 77 - 113.
[11] Ovando, G. Complex, symplectic and
Kaehler structures on four dimensional Lie groups / G. Ovando // Rev. U.M.A. - 2004. - Vol. 45(2). -P. 55 - 68. (arXiv:math/0309146v1 [math.DG])
[12] Ovando, G. Invariant pseudo Kaehler metrics in dimension four / G. Ovando // J. of Lie Theory. - 2006. - Vol. 16(2). - P. 371 - 391. (arXiv:math/0410232v1 [math.DG]).
[13] Salamon, S. M. Complex structure on nilpotent Lie algebras /S. M. Salamon // J. Pure Appl. Algebra. - 2001. - Vol. 157. - P. 311 - 333 (arXiv:math/9808025v2 [math.DG]).
[14] Thurston, W. P. Some simple examples of symplectic manifolds / W. P. Thurston // Proc. Amer. Math. Soc. - 1976. - Vol. 55, no. 2. -P. 467 - 468.
[15] Tralle, A. Symplectic manifolds with no Kahler Structure / A. Tralle, J. Oprea // Lect. Notes. in Math. - Vol. 1661. - Berlin Heidelberg: Springer, 1997.
УДК 514.76.2
ГЕОМЕТРИЯ МНОГООБРАЗИЙ РИМАНА-КАРТАНА
С. Е. Степанов, И. А. Гордеева
GEOMETRY OF RIEMANN-CARTAN MANIFOLDS
S. E. Stepanov, I. A. Gordeeva
Пространство Римана-Картана - это триплет (M, g, V), где (M, g) - риманово n-мерное (n > 2) многообразие с линейной связностью V с ненулевым тензором кручения S, такой, что Vg = 0. Рассматриваются свойства псевдокиллинговых и псевдогармонических векторных полей на многообразиях (M, g, V) различных классов, а также теоремы исчезновения данных векторных полей.
A Riemann-Cartan manifold is a triple (M,g, V), where (M,g) is a Riemannian n-dimensional (n > 2) manifold with linear connection V having nonzero torsion S such that Vg = 0. We consider properties of pseudo-Killing and pseudo-garmonic vector fields on some classes of these manifolds and vanishes theorems as corollaries of these properties
Ключевые слова: многообразие Римана-Картана, связность с кручением, многообразие Вейтцен-бока, псевдокиллинговы и псевдогармонические векторные поля.
Keywords: Riemann-Cartan manifold, linear connection, torsion, Weitzenbock manifold, pseudo-Killing and pseudo-garmonic vector fields.
1. Введение
Пространства Римана-Картана относятся к метрически-аффинным пространствам. Начало теории метрически-аффинных пространств было положено Э. Картаном в 1922 году (см. [8]), который предложил вместо связности Леви-Чивита V в GRT (сокращенное от General Relativity Theory) рассматривать несимметричную линейную связность V, обладающую свойством метричности Vg = 0. В результате пространство-время получало в дополнение к кривизне еще и ненулевое кручение S. Впоследствии в 1924 и 1925 годах им было опубликовано еще две работы (см. [9] и [10]) в развитие своей теории, которая получила в дальнейшем название Einstein-Cartan Theory
of Gravity или сокращенно ECT (см., напр., [4]; [41]). Идея Э. Картана о несимметрической метрической связности почти сразу нашла отражение в известных монографиях по дифференциальной геометрии первой половины прошлого века (см.
[12]; [13]; [61]; [62] и др.).
Вплоть до начала 60-х годов предложение Э. Картана о применении несимметрической метрической связности в GRT не находила поддержки у физиков-теоретиков. Толчком к изучению ЕСТ послужили работы T. Кибла (см. [23]) и Д. Сци-ямы (см. [36]), которые независимо друг от друга установили связь между кручением S связности V и спин тензором материи s (spin tensor of matter). Впоследствии были найдены и другие физические
Вестник КемГУ № 3/1 2011 Риманова геометрия
приложения ECT (см., напр., [30] и [35] и др.). Так, например, установлено (см., [27]), что кручение S зависит от квантовых свойств материи, и поскольку кручение является частью метрической связности V, то и сама связность V, следовательно, зависит от квантовых свойств материи.
Впоследствии теория Эйнштейна-Картана была обобщена (см. [19]) за счет снятия требования метричности для линейной связности V. Новая теория получила название Metric-Affine Gauge Theory of Gravity, или сокращенно MAG (см. [21];
[41]).
Число работ, опубликованных в рамках ЕСТ и MAG исчисляется уже сотнями, причем опубликованные результаты имеют в большей степени прикладной физический характер (см. обзоры
[18]; [21]; [22]; [32]). Все исходные формулы новой теории были позаимствованы физиками из работ
Э. Картана вместе с его методом, который сейчас так и называется "метод внешних форм Кар-тана"(см. [65]). Также нетрудно проследить заимствования и из монографий по дифференциальной геометрии, например, из классических монографий И. Схоутена и Д. Стройка (см. [61]; [62];
[63]), изложение в которых ведется на тензорном языке. В итоге современные теории ЕСТ и MAG излагаются на довольно причудливом языке, который соединяет в себе методы внешних форм и тензорного анализа одновременно.
В этом контексте характерна работа Мак Креа (см. [26]), где были выведены неприводимые относительно действия псевдоортогональной группы O(q) разложения тензоров неметричности Q = —V д, кручения S и кривизны R связности V, основные соотношения на которые были приведены еще в монографии И. Схоутена и Д. Стройка (см. [61]). Более того, идею своей статьи Мак Креа также позаимствовал из дифференциальной геометрии, где уже давно и хорошо известны неприводимые разложения тензоров кривизны R рима-нова и келерова многообразий, что нашло отражение уже и в монографиях (см. [20]; [24]; [49]и др.).
Другой результат Мак Креа о неприводимом разложении тензора кручения S является простым следствием более общего результата (см.
[49], доклад XVI) о поточечно 0^)-неприводимом разложении соответствующего тензорного расслоения T*M ® Л2М, гладким сечением которого и является S.
Воспользовавшись результатом Мак Креа, целый коллектив авторов (см. [7]), так же, как это делалось не раз в римановой геометрии, но по другим поводам (см. [48] стр. 585-620; [16]; [17]; [42] и др.), за счет последовательного попарного обращения в нуль неприводимых компонент разложения тензора кручения S выделил 4 класса пространств (M, д, V) и провел систематизацию результатов, полученных в рамках ЕСТ для четырехмерного пространства (M,g, V). При этом ав-
торами был учтен тот факт, что при задании локальной ориентации многообразия оператор Ходжа * : ЛРМ ^ Лп-рМ, который на многообразии в размерности n переводит внешние р-формы во внешние (n — р)-формы, действует в размерности 4 на внешних 2-формах, определяя естественное разложение Л2М = Л 2 М ® Л++М для представления группы SO(q), где Л^М - пространства собственных 2-форм оператора Ходжа, соответствующие собственным значениям +1 или —1. В итоге вместо трех неприводимых компонент разложения, которые имеются у тензора S в размерностях n не равных 4, в размерности n = 4 их уже четыре.
Заметим здесь, что если последовательно применять отработанную в геометрии методику классификации (см. [48] стр. 585-620; [16]; [17]; [42]; и др.), то вместо выделенных трех классов, в реальности получается 14 классов пространств (М,д, V).
На контрасте со все увеличивающимся потоком работ физиков, геометры к настоящему времени почти потеряли интерес к теории, основы которой заложил еще в двадцатых годах прошлого века известный геометр Э. Картан. Наиболее яркими и, к сожалению, последними результатами геометрии пространств (М, g, V) являются результаты Л. Ванхекке и Ф. Тричерри по геометрии многообразий с однородной структурой (см. [42]). В принятой современной физикой терминологии (см. [14]; [20]) эта теория относится к Riemann-Cartan Theory, сокращенно RCT. Геометрия Римана-Картана - это геометрия метрически-аффинного пространства (М, g, V) с (псевдо)римановой метрикой g и линейной связностью V с ненулевым кручением S, такой, что Q =0. Но, в отличие от общей теории метрически-аффинных пространств, Л. Ванхекке и Ф. Тричер-ри (см. [42]) накладывали на (М,д, V) дополнительные условия в виде VR = 0 и VT = 0, которые, согласно теореме Амброуза-Зингера (см. [2]), вместе с условием Vg = 0 дают критерий однородности риманова многообразия (М, д). Доказав теорему о неприводимом относительно действия ортогональной группы разложении тензора деформации T = V — V, они, так же, как и в работах [16]; [17]; [42] и др.), перешли к классификации многообразий (М, д, V) с однородной структурой (см. [43]). В этой и последующих работах ими была изучена геометрия пространств из выделенных классов. Итоги исследований авторы подвели в монографии [42]. Отметим, что Л. Ванхекке и Ф. Тричерри как особый случай рассмотрели классификацию в размерности n = 4 (см. [44]).
Следует заметить, что результат Л. Ванхекке и Ф. Тричерри о неприводимом разложении тензора деформации T = V — V является простым следствием более общего результата (см. [49], доклад XVI) о поточечно 0^)-неприводимом разложении соответствующего тензорного расслоения
Вестник КемГУ № 3/1 2011 Риманова геометрия
Л2Ы ® Т* Ы, гладким сечением которого и является тензор Т.
Как это показано автором (см. [54]), классификация Л. Ванхекке и Ф. Тричерри равносильна классификации, полученной на основе неприводимого разложения тензора кручения 5, притом, что последняя не предполагает обращения в нуль
тензора неметричности Q, а потому является более общей и, следовательно, включает классификацию Л. Ванхекке и Ф. Тричерри.
Классификация различных типов изучаемых сейчас метрически-аффинных пространств в рамках MAG представлена составленной нами следующей диаграммой:
С большой степенью допущения к ИСТ можно отнести и теорию статистических многообразий (см. [3], с. 163 - 216), которые принято обозначать так же, как и метрически-аффинные пространства триплетами (М, д, V), где д - положительно определенная метрика, Б = 0 и Буш Q = Q. Теория статистических многообразий нашла свое отражение в десятках статей и серии монографий (см. об этом в [11]).
Из всех видов аффинно-метрических пространств (М, д, V) в геометрии последовательно в течение длительного времени изучались только четверть-симметрические метрические пространства и их частный вид полусимметрические метрические пространства (см. [5]; [28]; [29]; [37];
[39]; [46] и др.). Четверть-симметрические метрические пространства существуют в рамках ИСТ и ЕСТ и выделяются дополнительным условием Т (X, У) := и (X )р(У) - У (У )р(х) - д(и (X), У ^, где д(и(X),У) = (Буш Г)(Х,У), д(У(X),У) = = (АН Г)(X,У) для некоторого ковариантного
2-тензора Г и p(X) := g(Z,X). Полусимметриче-ские метрические пространства определяются, в свою очередь, условием Т (X,У) = и (У )X —
— и(X)У для любых векторных полей X, У и Z на М. Они были введены в рассмотрение К. Яно (см. [46]) и продолжают вызывать интерес иссле-
дователей вплоть до последнего времени (см., например, [45]; [47]).
Геометрия "в целом"метрически-аффинных пространств застыла на результатах K. Яно, C. Бохнера и C. Гольдберга (см. [6]; [15];
[66]) середины прошлого века. В их работах в рамках RCT доказывались "теоремы исчезно-вения"(уашвЫ^ theorems) для псевдокиллинго-вых и псевдогармонических векторных полей и тензоров на компактных многообразиях Римана-Картана (M, g, V) с положительно определенным метрическим тензором g, выделяемых следующим условием trace S = 0 на тензор кручения S связности V. Даже несмотря на последующие попытки обобщения их результатов за счет введения в рассмотрение компактных метрически-аффинных пространств с границей (см. [25]; [33]), это по-прежнему было доказательство тех же теорем исчезновения для тех же векторных полей и тензоров.
При этом сформулированные в "теоремах исчезновения” (vanishing theorems) условия препятствия существованию псевдокиллинговых и псев-догармонических векторных полей и тензоров поражают своей громоздкостью, в отличие от аналогичных теорем для киллинговых и гармонических векторных полей и тензоров на римановых мно-
Вестник КемГУ № 3/1 2011 Риманова геометрия
гообразиях (см. [66]). Упрощения условий препятствия удавалось достичь только для случая многообразий Римана-Картана (M, g, V) с антисимметричным тензором кручения S связности V.
Нам удалось наметить пути модернизации этой техники, при этом первые полученные результаты, анонсированные на Международной конференции "Геометрия в Одессе - 2008"и на Международной конференции по дифференциальным уравнениям и динамическим системам в Суздале в 2008 году, имеют геометрически содержательный и компактный вид (см. [50] и [51]). В дальнейшем нами была продолжена работа по изучению свойств псевдокиллинговых и псевдогар-монических векторных полей на многообразиях Римана-Картана различных классов. Полученные нами результаты изложены в работах [52] и [53].
2. Многообразия Римана-Картана
2.1. Определение. Под многообразием Римана-Картана будем понимать триплет (M,g, V), где пара (M,g) - (псевдо)риманово n-мерное (п > 2) многообразие и V - линейная связность, обладающая ненулевым кручением S, такая, что Vg = 0.
Поскольку на многообразии Римана-Картана (M, g, V) помимо связности V существует связность Леви-Чивита V, однозначно присоединяемая к метрике g, то на (M, g, V) однозначно определяется тензорное поле T = V — V, которое, согласно предположению
(Vx g)(Y,Z ) =
= —g(T(X, Y), Z) — g(T(X, Z), Y) = 0, (2.1)
является гладким сечением тензорного расслоения TM <g> K2M. Из формулы непосредственно выводим:
g(T (Y,Z ),X ) =
= g(S(X, Y), Z) + g(S(X, Z), Y) + g(S(Y, Z), X)
(2.2)
для тензора кручения
S(X,Y ) = \(T (X, Y) — T (Y, X)). (2.3)
Здесь и в дальнейшем X,Y, Z - произвольные гладкие векторные поля на M. При этом из (2.2) следует:
2 trace S = trace T, (2.4)
где (trace S)X := g(S(ei,X),ei) и (trace T)X :=
= T(ei,X,ei) для ортонормированного базиса {ei,..., en} касательного пространства TxM в произвольной точке x Є M.
В локальных координатах x1,...,xn произвольной карты (U, у>) многообразия M тензор кривизны R связности V имеет следующие компоненты (см. [60], стр. 130):
Р 1 _
р I _|_ у7 т I У7 Т I + Т ^Т т Т ^Т т
р1^к ' ^ зк ^ 3 Т1к ' Т1т Тзк Т 3т Т1к ,
(2.5)
где и Тзк 1 - локальные компоненты тензоров кривизны связности Леви-Чивита V и деформации Т — V — V и г,^,к,1,т — 1,... ,п.
Условие метричности Vд — 0 связности V приводит (см. [66], стр. 79 русского перевода) к следующим свойствам симметрии:
R
ij k l
R
R
ijkl
R
jikl
(2.6)
"FTb
для компонент Яі^кі = Яіт^іік тензора Я , ассоциированного с тензором кривизны Я связности
V. При этом тождествам Бианки, коим подчиняет-„ -рЬ
ся тензор римановои кривизны, тензор Я не удовлетворяет. Таким образом, справедлива
Лемма 2.1. Тензор ЯЬ связности V многообразия Римана-Картана является гладким сечением тензорного расслоения Л2 М ® Л2Ы.
Тензор Риччи Яіс связности V имеет следующие компоненты (см. [60], стр. 151):
Яісіз :=
= Яісіз + Vk Тіі к - V іТкк + Тк1 к Ту1 - Тік% к,
(2.7)
где Яіс^ - локальные компоненты тензора Риччи связности Леви-Чивита V. Очевидно, что тензор Риччи Яіс не является симметричным.
Приведем две различные классификации многообразии Римана-Картана.
2.2. Первый способ классификации многообразий Римана-Картана. Тензор кручения $ связности V является гладким сечением тензорного расслоения Л2М <8> ТМ. В свою очередь, для тензорного расслоения Л2М <8> Т*М, согласно теореме Ж.-П. Бургиньена, имеет место поточечно 0(п, И.)-неприводимое разложение
Л2М ® Т*М = р!(М) ф р2(М) 0 р3(М),
где рі(М) = Л3М и р2 (М) = (С™М ■ д) Л Т*М. При этом ортогональные проекции на компоненты этого разложения определяются равенствами (см., напр., [38]):
(1)БЬ(Х,У^) := (РтЫм^)(Х,У^) =
= 3-1(БЪ(Х,У^) + БЪ (У,^Х) + БЪ^,Х,У));
(2)Бь(Х,У^) := (РгЫм)Б)(Х,УХ) =
= д(Х^)в(У) - д(У^)в(Х);
Ъ(Х, У, Z) := (РгЫм )Б )(Х,У^) =
= Sb(X,Y,Z) —(1> S(X,Y,Z) —(2> S (X, Y, Z),
где Sb(X,Y,Z) := g(S(X,Y),Z) и в := (п — 1)-1trace S.
Вестник КемГУ № 3/1 2011 Риманова геометрия
Будем говорить, что многообразие Римана- М тензор Бь является сечением соответствующего
Картана (М, д, V), равно как и его присоединенная тензорного расслоения ра(М) или ра(М)®рр(М).
связность V, принадлежат классу ра или ра ® рр Составим классификационную диаграмму вклю-
для а, в = 1, 2, 3 и а < в, если в каждой точке х € чений:
Будем полагать V G pi, если Sx G A3(TxM) для всех x G M. Такие связности рассматривал К. Яно (см. [66], стр. 78-92) с целью расширения области применения "техники Бохнера"и им же было доказано, что связности V G pi естественным образом возникают в пространстве полупро-стой группы Ли (см. там же).
Будем полагать V G p2, если Sx G (Rgx)hT*M для всех x G M, или подробнее (2)Sb (X,Y,Z) =
= g(X, Z)в(У) — g(Y, Z)e(X), где Sb(X, Y, Z) :=
= g(S(X, Y), Z) и в := (n — 1)-1 trace S для любых X,Y, Z G TM. Этот класс состоит из полусиммет-рических метрических связностей (см. [46]).
Следующие классы несимметрических метрических связностей не были исследованы:
1) V G рз, что означает (1)S = 0 и (2)S = 0 или
Sb(Z, X, Y) + Sb(X, Y, Z) + Sb(Y, Z, X) = 0 и (trace S)X := g(S(ei, X), ei) = 0;
2) V G p2 ® p3, что означает (1)S = 0 или
Sb(Z, X, Y) + Sb(X, Y,Z) + Sb(Y, Z, X)=0;
3) V G p1 ® p2, что означает (3)S = 0
или Sb(X,Y,Z) = (AltS b)(X,Y,Z) +
+ — ((trace S)(Y)g(X,Z) — (trace S)(X)g(Y,Z)), что равносильно следующим соотношениям
Sb(X,Y,Z)+ Sb(X, Z,Y) = = (n — 1)-1(g(X, Z)(trace S)(Y) — —2g(Y, Z)(trace S)(X) — g(X,Y)(trace S)(Z));
4) V G p1 ® p3, что означает (2)S = 0 или
(trace S)X := g(Sb(ei, X), ei) = 0.
2.3. Второй способ классификации многообразий Римана-Картана. Тензор деформации Tb является гладким сечением тензорного расслоения T*M ® A2M согласно теореме
Ж. П. Бургиньена. Для тензорного расслоения T*M & Л2M, согласно теореме Ж. П. Бургинье-на, имеет место поточечно O(n, R)-неприводимое разложение
T*M & Л2M = Z1(M) ® Z2(M) ® Z3(M),
где Z1(M) = Л3M и Z2(M) = T*M А (CœM ■ g). При этом ортогональные проекции на компоненты этого разложения определяются равенствами (см., напр., [38]):
(1)Tb(X,Y,Z) := (Pr^iM)T)(X, Y, Z) =
= 3-1(Tb(X,Y,Z ) + Tb (Y, Z, X ) + Tb(Z, X, Y ));
(2)Tb(X,Y,Z) := (Pr^ÇM)T)(X,Y,Z) =
= g(X, Y)u(Z) - g(X, Z)u(Y);
(3)Tb(X,Y,Z) := (PrQs{M)T)(X,Y,Z) =
= Tb(X, Y, Z) -(1) T(X, Y, Z) -(2) T(X, Y, Z), где T b(X,Y,Z ) := g(T (X,Y ), Z ) и ш := (n - 1)-1trace T.
Будем говорить, что многообразие Римана-Картана (M, g, V), равно как и его присоединенная связность V, принадлежат классу Za или Za ® Zß для а, ß = І, 2, З и а < ß, если в каждой точке x Є M тензор Tb является сечением соответствующего тензорного расслоения Za(M) или Za(M ) ®Zß (M ).
Пространства Л2M & T*M и T*M & ti2M, как и их неприводимые компоненты, изоморфны. Более того, связности V классов pa(M) и Za(M), pa (M ) ® pß (M ) и Za(M ) ®Zß (M) для а, ß = 1, 2, З и а < ß совпадают (см. [54]), а потому две эти классификации равносильны.
Вестник КемГУ № 3/1 2011 Риманова геометрия
3. Примеры многообразий Римана-Картана
3.1. Однородные римановы многообразия.
Рассмотрим однородное риманово многообразие (M, g), т. е. связное риманово многообразие (M, g), чья группа изометрий, т. е. преобразований, сохраняющих метрический тензор g, транзитивна.
Известно (см. [58], стр. 170), что каждое однородное риманово многообразие является полным. С другой стороны, согласно теореме Амброуза-Зингера (см. [2]), связное полное риманово многообразие (M, g) будет однородным тогда и только тогда, когда на нем можно задать тензорное поле T, как гладкое сечение тензорного расслоения TM <8> Л2M, такое, что V R = 0 и VT = 0 для связности V = V + T. Из равенства (2.1) следует, что в этом случае Vg = 0, а потому однородное риманово многообразие является примером многообразия Римана-Картана (M,g, V). Общую теорию однородных римановых многообразий и многочисленные примеры можно найти, например, в монографиях [48]; [59] и др.
3.2. Почти эрмитовы многообразия. В качестве второго примера рассмотрим почти эрми-товое многообразие ([59], стр. 139), которое определяется как триплет (M,g,J), где пара (M,g) -риманово 2т-мерное многообразие с почти комплексной структурой J, которая является гладким сечением тензорного расслоения TM <g> T*M, совместимой с метрикой g, т. е. J2 = Мм и g(J, J) = g. Непосредственно проверяется, что Vg = 0 для связности V = V + V J. Известна классификация почти эрмитовых многообразий (см. [17]), которая основана на поточечно U(т)-неприводимом разложении тензорного поля VQ, где Q(X,Y) :=
= g(X, JY) - фундаментальная 2-форма почти эрмитова многообразия (M,g,J) (см. [59], стр. 139). Перечислим некоторые из классов почти эрмитовых многообразий вместе с тождествами, их характеризующими.
Почти семи-келеровы многообразия выделяются условием trace V J = 0 и представляют пример многообразий Римана-Картана класса Э ® Э3 или соответственно pi ® рз.
Почти-келеровы многообразия выделяются условием dQ =0 и представляют пример многообразий Римана-Картана класса Э2 ® Э3 или соответственно р2 ® р3.
Приближенно келеровы многообразия выделяются условием dQ = 3 V Q и представляют пример многообразий Римана-Картана класса Эх или соответственно pi.
3.3. Пример Э. Картана. Рассмотрим пример Э. Картана (см. [9]) многообразия с несимметрической метрической связностью. Пусть S2 — сфера радиуса R без полюсов евклидова пространства E3, С1 - долгота и С2 - широта точки сферы, тогда первая квадратичная форма сферы име-
ет вид: ds2 = R2((cos2£2)d£1 ® dC1 + dC2 <8> dC2),
а метрический тензор g имеет компоненты: gii = R2cos2С2, g22 = R2, gi2 = g2i = 0. Тогда векторы Xi = {(RcosC2)-1;0} и X2 = {0,R-1} будут единичными векторами в направлении "востока"и "севера". Полагаем, что в некоторой связности V векторы Xi и X2 переносятся параллельно вдоль любого направления на сфере, т. е. V kXj =
= dkXj + rki = 0 и VkXj = dkXj + RTjk2 = 0.
При — 2<C2<2 отсюда последует: r2i = —tgC2, а остальные символы Кристоффеля связности V равны нулю, т. е. Гу = 0. При n = 2 тензор кривизны R обладает лишь одной существенной компонентой Ri2i2. Остальные компоненты Rijki либо равны нулю, либо совпадают с ней с точностью до знака. А так как Г2х единственная компонента из всех Г, отличная от нуля, и производная от нее по с1 равна нулю, то Ri2i2 = 0. Тогда все коэффициенты Rkji = 0 тензора кривизны R, а единственным отличным от нуля компонентом тензора кручения S будет S2i = —SI2 = 1 tgC2.
Непосредственно проверяется выполнение условий g = 0. Воспользуемся известным соотношением (см. [58], стр. 141)
V igjk = di gj k — rij gpk — rikgjp
и подставим в него компоненты метрического тензора g.
V igii = digii—r!igpi—rPigip = di(R2 cos2c2) = °, V 2gii = d2gii — 2r2igip =
= 32(R2cos2 C2) + 2tgC2 R2 cos2 C2 = 0,
V ig22 = dig22 + 2^g2p = di (R2) = 0,
V 2g22 = d2g22 + 2rp2g2p = d2 (r2) = 0 Vigi2 = Vig2i = V2gi2 = V2g2i = 0.
Таким образом, (S2,g, V) являет пример многообразия Римана-Картана (M,g, V). В дополнение, если R = 0, тогда носит название связности Вейтценбёка или абсолютного параллелизма. Многомерные обобщения пространства (S2, g, V) носят название пространств Вейтценбёка (см. [31]).
Пространство Вейтценбёка или пространство абсолютного параллелизма (см. [1], [14], [31]) -это пространство, которое допускает параллельное перенесение n произвольных векторных полей Ci с локальными компонентами С^), С^), • • •, С(n) по любой кривой, то есть V kC^1) = V kС(2) = • • • =
= V kСi n) = 0. Дифференцируя и альтернируя последнее, получим условия интегрируемости, которые являются тождествами Риччи (см. [60], стр. 136)
2 V [jVk]Ci = RjkpCp — 2SPpkVpCi,
которые дают
Вестник КемГУ № 3/1 2011 Риманова геометрия
Это условие должно удовлетворяться тождественно по отношению к выбору вектора Ср. Отсюда следует, что тензор кривизны равен нулю. И, обратно, если К = 0, то существует п линейно независимых векторов £*, являющихся решениями уравнения V'= 0. Таким образом, если матрица
невырождена, то пространство не имеет кривизны. Если одновременно кручение также равно нулю, то пространство является плоским.
4. Скалярная и полная скалярная кривизны многообразия Римана-Картана. Теорема Грина
4.1. Теорема Грина. Пусть М - ориентированное п-мерное дифференцируемое многообразие. п-форма ш на М называется элементом объема, если ш(д/дх1 ,...,д/дхп) > 0 для каждой ориентированной локальной системы координат х1,... ,хп. Для каждого векторного поля X на М с фиксированным элементом объема ш дивергенция поля X, обозначаемая <ііуХ , есть функция на М, определяемая так:
(^уХ )ш = Ьх ш,
где Ьх - дифференцирование Ли в направлении X. Тогда справедлива теорема Грина
Теорема 4.1. Пусть М - ориентированное компактное многообразие с фиксированным элементом объема ш = йV. Для любого векторного поля X на М имеем
divXdv = 0.
4.2. Скалярная и полная скалярная кривизна многообразий Римана-Картана. Рассмотрим далее многообразие Римана-Картана (М, д, V) с положительно определенным метрическим тензором д. Взяв за основу тензор кривизны К несимметрической метрической связности V многообразия Римана-Картана (М, д, V)
и, воспользовавшись тем фактом, что Дъ € СЖ(Л2М ® Л2М), построим скалярный инвари-
П __
ант в =5^ д(К(ег, е^)е^,вг), который по аналогии со скалярной кривизной в риманова многообразия (М,д) (см. [48], стр. 65) назовем скалярной кривизной многообразия Римана-Картана (М,д, V). Хорошо известно, что несимметрический тензор Кге = ЬтасеК является тензором Риччи линейной несимметрической связности V. Следовательно, мы можем записать следующее тож-
П ___
дество в =5^ Кгс(е^, е^). В частности, для связно-
¿=1
сти Вейтценбока V мы имеем тождество В = 0.
Зависимость между скалярными кривизнами в и В описывается в следующей лемме.
Лемма 4.1. Скалярные кривизны В и в многообразия Римана-Картана (М, д, V) и риманова многообразия (М, д) связаны равенством
в = в -||(1)ТII2 - ||(2)Ту2 + 1 ||(3)ТII2-
-2div(trace Tb)
(4.3)
На (псевдо)римановом многообразии (М,д) дивергенция произвольного гладкого векторного поля X находится по формуле div X = trace VX. При этом, если многообразие (M, д) компактное и ориентированное, то классическая теорема Грина M(div X)dv = 0 примет в этом случае вид
I trace(VX) dv = 0 (4-1)
JM
для элемента объема dv = ■\f\deX~g\dx1 А ■ ■ ■ A dxn,
1 n
найденного в локальных координатах x1,---,xn произвольной карты (U,y>) многообразия (М,д) (см. [58], стр. 259-260). Если на многообразии М наряду со связностью Леви-Чивита V задана линейная связность V, вообще говоря, с кручением, то V = V+T и trace VX = trace VX + (trace T)X. Откуда на основании формулы (4.1) выводим:
(trace VX — (trace S)X)dv = 0- (4-2)
M
Равенство (4.2) является теоремой Грина для компактного ориентированного многообразия Римана-Картана (М,д, V).
с неприводимыми компонентами (1)Т, (2)Т и (3)Т тензора Т.
Кроме того, можно показать, что справедлива следующая
Лемма 4.2. Скалярные кривизны 1 и в многообразия Римана-Картана (М, д, V) и риманова многообразия (М, д) связаны равенством
1 = в - ||(%||2 - 2(п - 2)У(2)БУ2 + 2У(3)Б||2-
-4div(trace Sb)
(4.4)
с неприводимыми компонентами (1)Б, (2)Б и
(3)£
тензора Б.
Известно (см. [48], стр. 161), что полной скалярной кривизной компактного риманова многообразия (М,д) называется число в(М) := /м в ¿V. По аналогии сформулируем определение полной скалярной кривизны многообразия Римана-Картана (М, д, V).
Определение. На компактном многообразии Римана-Картана (М,д, V) число в(М) = /м в ¿V обозначает его полную скалярную кривизну.
Зависимость между полными скалярными кривизнами в(М) и в(М) компактных ориентированных многообразий Римана (М, д) и Римана-Картана (М, д, V) описывается следующей теоремой, которая является следствием лемм 4.1.,
Вестник КемГУ № 3/1 2011 Риманова геометрия
4.2. и теоремы Грина для многообразий Римана-Картана. (M,g, V) класса Э1 причем равенство связаны неравенством s > s, возможно только в случае
Теорема 4.2. Полные скалярные кривизны в(М) и в(М) компактных ориентированных многообразий Римана (М, д) и Римана-Картана (М, д, V) связаны равенством
в(М) = в(М )-
- I (11(1)ТII2 + ^||(2)ТII2 - 1 ||(3)Т||2)^. (4.5)
им 2 2
Для компонентов тензора кручения данное уравнение связи имеет вид:
в(М) = в(М )-
- [ (Н(1)51|2 +2(п - 2)|(2)Б||2 —2||(3)Б\\2УЬ. (4.6) Jм
5. Характеристики многообразий Римана-Картана выделенных классов и теоремы исчезновения
5.1. Класс Э1. Рассмотрим многообразие Римана-Картана (М,д, V) класса Э1, которое характеризуется условием (2)Т = 0 и (3)Т = 0 или ему равносильным
Б(X, У, Z) =
совпадения связности V со связностью Леви-Чивита метрики g.
Следствие. На компактном ориентированном римановом многообразии, (M, g) с неотрицательно (соответственно положительно) определенным тензором Риччи Ric не существует несимметрической метрической связности
V класса Э1 с положительно (соответственно неотрицательно) определенной квадратичной формой Ric(X,X) для тензора Риччи Ric связности V и любого гладкого векторного поля X.
5.2. Класс Э2. Рассмотрим многообразие Римана-Картана (M, g, V) класса Э2 или, что равносильно, класса р2, которое характеризуется условиями (1)S = О и (3)S = О. Для него справедлива следующая
Лемма 5.1. Связность V принадлежит классу р2 тогда и только тогда, когда ее тензор кручения удовлетворяет алгебраическому уравнению вида
S(X,Y,Z) - S(X, Z, Y) +
+g(X,Y)C(Z) - g(X,Z)C(Y) = О (5.1)
для некоторой гладкой Î-формы C и произвольных гладких векторных полей X, Y и Z на M.
3-1(Sb(X, Y, Z) + Sb(Y,Z,X) + Sb(Z, X, Y)). =
Напомним, что пара связностей V и V = V + + 2Б называется (см. [60], стр. 129) взаимной. Полагаем Б^к = 2-1^^к - Т1к^) для коэффициентов
связности V, найденных в локальной системе координат х1,...,хп на М, тогда коэффициентами взаимных связностей будут Г]к и Цк = = Г^к - 2Бк Из них можно построить коэффициенты 2-1(Гг^к +Ггк2) средней связности V взаимной пары (см. там же).
Тогда справедлива
Теорема 5.1. Для несимметрической метрической связности V, заданной на римановом многообразии (М,д) со связностью Леви-Чивита V, следующие четыре условия равносильны:
1. V € Э1;
2. ТЬ € А3(Т*М) для тензора деформации Т = V - V; ^
3. средняя связность V взаимной пары связностей V и V = V + 2Б является метрической;
4. геодезические линии связностей V и V совпадают.
Для многообразий данного класса справедли-
ва
Теорема 5.2. Скалярные кривизны s и s многообразий Римана (M, g) и Римана-Картана
Отметим здесь же, что метрическая связность
V класса р2 в литературе (см. [5]; [28]; [46] и др.) называется еще полусимметрической.
Рассмотрим многообразие Римана-Картана (M, g, V) класса Э2, которое характеризуется условием (1)T = 0 и (3)T = 0. В этом случае справедлива
Теорема 5.3. Полные скалярные кривизны s(M) и s(M) компактных ориентированных многообразий Римана (M, g) и Римана-Картана (M,g, V) класса Э2 связаны неравенством s(M) > s(M), причем равенство возможно только в случае совпадения связности V со связностью Леви-Чивита V метрики g.
Зная определение скалярных кривизн s и s и учитывая положительную определенность метрики g, можем сформулировать
Следствие. На компактном ориентированном римановом многообразии, (M, g) с неотрицательно (соответственно положительно) определенным тензором Риччи Ric не существует несимметрической метрической связности
V класса Э2 с положительно (соответственно неотрицательно) определенной квадратичной формой Ric(X,X) для тензора Риччи Ric связности V и любого гладкого векторного поля X.
5.3. Класс Э3. Рассмотрим теперь многообразие Римана-Картана (M, g, V) класса %, которое характеризуется условиями (1)T =(2) T = 0. По-
Вестник КемГУ № 3/1 2011 Риманова геометрия
следним можно придать вид следующих равенств: trace T = 0;
T(X, Y, Z) + T(Y, Z, X) + T(Z, X, Y) = 0.
В этом случае будет справедливой
Теорема 5.4. Скалярные кривизны s и s многообразий Римана (M, д) и Римана-Картана (M,g, V) класса Э3 связаны неравенством s > s. Равенство возможно только, если присоединенная связность V совпадает со связностью Леви-Чивита V метрики д.
Здесь также будет справедливым
Следствие. На римановом многообразии, (M,g) с неотрицательно (соответственно поло-жительно)скалярной кривизной s не существует несимметрической метрической связности
V класса Э3 с отрицательно (соответственно неположительно) определенной квадратичной формой Ric(X,X) для тензора Риччи Ric связности V и любого гладкого векторного поля X.
Замечание. С. Гольдберг, К. Яно и С. Бох-нер, а также Ю. Кубо, Н. Рани и Н. Пракаш (см.
[6]; [15]; [25]; [66] и [33]) доказывали свои "теоремы исчезновения"на компактных ориентированных многообразиях Римана-Картана (M, g, V), при условии, что div X = trace VX для произвольного гладкого векторного поля X. С учетом предложенных во втором параграфе классификаций можно констатировать, что это были многообразия класса 3^ Ф Э3 или, соответственно, класса Р1 Ф Рз. Это вызвано тем, что только для многообразий этих классов можно записать теорему Грина в форме JM trace VX dv = 0. Именно последняя лежит в основе "техники Бохнера"для многообразий Римана-Картана (см. [66]).
5.4. Класс Э1ФЭ2. Рассмотрим многообразие Римана-Картана (M, g, V) класса Э1 Ф^-2 или, что равносильно, класса р1 Ф р2, которое характеризуется условием (3) S = 0. Для него нами доказана следующая
Лемма 5.2. Связность V принадлежит классу P1 Ф P2 тогда и только тогда, когда ее тензор кручения удовлетворяет алгебраическому уравнению вида
S(X, Y, Z) + S(X, Z, Y) =
= g(X, Z)B(Y) + g(X, Y)B(Z) + g(Y, Z)A(X)
(5.2)
для некоторых гладких 1-форм A и B и произвольных гладких векторных полей X,Y и Z на M.
Для многообразий данного класса справедливы
Теорема 5.5. Многообразие Римана-Картана (M,g, V) класса Э1 Ф Э2 имеет общие изотропные геодезические с псевдоримановым многобрази-ем (M, g) .
Лемма 5.3. Полные скалярные кривизны в(М) и в(М) компактных ориентированных многообразий Римана (М, д) и Римана-Картана (М, д, V) класса ® Э2 связаны неравенством в(М) < в(М). Для &тМ > 3 равенство возможно, когда связность V совпадает со связностью Леви-Чивита V метрики д, а для случая <ИшМ = 2, когда связность V будет полусим-метрической.
Очевидно, что для многообразия Римана-Картана (М, д, V) со связностью Вейпценбёка класса З1 ® Э2 верно неравенство в(М) > 0. Следовательно, мы можем сформулировать
Следствие. Не существует связностей Вейтценбёка V класса З ® Э2 на римановом многообразии с в(М) < 0.
Зная определение скалярных кривизн в и в и учитывая положительную определенность метрики д, можем сформулировать
Следствие.На компактном ориентированном римановом многообразии (М, д) с неположительно (соответственно отрицательно) определенной скалярной кривизной в не существует несимметрической метрической связности V класса З ® Э2 с положительно (соответственно неотрицательно) определенной квадратичной формой Ше(Х,Х) для тензора Риччи Ric связности V и любого гладкого векторного поля X.
6. Псевдокиллинговы векторные поля на многообразии Римана-Картана
6.1. Определение. (см. [57], стр. 60-61) Уравнения Ь^д = 0 или им равносильные
д^х £,У) + д(Х, V у 0 = 0 (6.1)
характеризуют £ как киллинговое векторное поле или, по другой терминологии, инфинитезималь-ную изометрию.
Для связности V по аналогии с киллинговым векторным полем определим псевдокиллинговое векторное поле
Определение. (см. [6]; [15] и [66], стр. 86) Уравнения
д(Ух £,У) + д(Х, Уу £) = 0 (6.2)
служат определяющими для псевдокиллингова векторного поля £ пространства (М,д, V).
Уравнения (6.2) можно записать в равносильной им форме:
Ьд)(Х, У) = Т(X, У, £) + Т(У, X, £). (6.3)
Замечание. На многообразии Римана-Картана (М,д, V) класса которое характеризуется условием Т =(1) Т или равносильным ему условием Б =(1) Б, где антисимметричны тензоры деформации Ть и кручения Бь, и на котором сосредоточили свое внимание К. Яно и
Вестник КемГУ № 3/1 2011 Риманова геометрия
С. Бохнер, псевдокиллинговое векторное поле £ является киллинговым, поскольку в этом случае (Lçg)(X,Y) = 0, как это последует из (6.3).
В отличие от цитируемых выше работ [6], [15],
[25], [33], [66], рассмотрим псевдокиллинговое векторное поле £ на многообразии Римана-Картана (M,g, V) класса ® Э2. В этом случае
T(X, Y, £) + T(Y,X,£) =
= 2g(X, Y)w(£) - g(Y,, £)w(X) - g(X, £)w(Y) (6.4)
и уравнение (6.3) предстанет в следующем виде:
L g)(X,Y ) =
= 2g(X, Y )w(£) - в (Y )w(X ) - d(X )w(Y ), (6.5)
где e(X) = g(£,X) и w = (n - l)-1 trace T для произвольного гладкого векторного поля X на M.
Полагаем векторное поле £ неизотропным, то есть g(£,£) = 0, и введем в рассмотрение ортогональное векторному полю £ гиперраспределение £^ : x G M ^ Xx G ker вх С TxM для всех x из области определения поля £ на многообразии (M,g, V). Из (6.5) тогда последует, что (Lçg)(X,Y) = 2g(X,Y)w(£) для произвольных гладких векторных полей X и Y распределения £^. Это равенство характеризует £ как инфини-тезимальное (n - l)-конформное преобразование (см. [40]) или, по другой терминологии, как инфи-нитезимальное обобщенно-конформное преобразование (см. [56]). Как это доказано в [40], верно и обратное. А именно: каждое инфинитезимальное (n - 1)-конформное преобразование £ многообразия (M,g) задается уравнением вида (6.5). Доказана
Теорема 6.1. Псевдокиллинговое (неизотропное) векторное поле на многообразии Римана-Картана (M, g, V) класса ® Э2 или, что тоже самое, класса р1 ® р2 является инфинитезималь-ным (n - l)-конформным преобразованием.
С каждым гиперраспределением £^ ассоциируются тензор интегрируемости F^ и вторая фундаментальная форма Q^, которые определяются из равенств (см. [34], стр. 148)
g(F^(X,Y ),£):= g([X,Y],£); (6.6)
g(QL(X,Y),£) := g(2-1(VxY + VyX),£) (6.7)
для любых гладких векторных полей X и Y распределения £^. На многообразии Римана-Картана (M, g, V) класса Э;1®Э2 или, что то же самое, класса p1 ® р2 равенство (6.7) принимает следующий вид
g(Q±(X,Y ),£) =
= g(2-1(Vx Y + Vy X ), £) + T (X, Y, £) + T (Y, X, £)
для любых гладких векторных полей X и Y распределения £^ и псевдокиллингова векторного поля £. На основании (6.4) заключаем отсюда,что
g(QL(X,Y ),£)=2g(X,Y )w(£).
Это означает, что С^ - омбилическое распределение (см. [34], стр. 151). Доказана
Теорема 6.2. На многообразии Римана-Картана (M,g, V) класса Э1 ф^-2 или, что то же самое, класса р1 ф р2 гиперраспределение С^, ортогональное (неизотропному) псевдокиллингово-му векторному полю С, является омбилическим.
Тензор интегрируемости F^, вообще говоря, не обращается в нуль на многообразии Римана-Картана (M, g, V). Но возможен частный случай, который описывает
Теорема 6.3. Пусть (M,g, V) - компактное ориентированное n-мерное (n > 3) многообразие Римана-Картана с положительно определенным метрическим тензором g принадлежит классу Э1 ф Э2 или, что то же самое, классу р1 ф р2. Если для псевдокиллингова векторного поля С выполняется условие Ш^С,С) < 0, то гипераспределение С^ является интегрируемым с максимальными вполне геодезическими интегральными многообразиями, а метрическая форма многообразия в локальной системе координат x1,... ,xn некоторой карты (U, ф) имеет вид:
ds2 =
=gab(x1, ..., xn-1)dxa®dxb+gnn(xl,..., xn)dxn®dxn,
(6.8)
для a, b = І , . . . , n - І.
Далее рассмотрим псевдокиллингово векторное поле С на многообразии Римана-Картана (M,g, V) класса Э2, для которого, как было показано, присоединенная связность V - полусиммет-рическая. Справедлива
Теорема 6.4. Если для заданного на компактном многообразии, Римана-Картана (M,g, V) класса Э2 псевдокиллингова векторного поля С и тензора Риччи Ric присоединенной связности V выполняется условие Ric(С, С) < 0, то С является торсообразующим векторным полем, гиперраспределение С^ - интегрируемым с максимальными омбилическими интегральными многообразиями, а метрическая форма многообразия в локальной системе координат x1, . . . , xn некоторой карты (U, ф) имеет вид:
ds2 = a(x1,. .., xn)gab(x1, .. ., xn-1 )dxa <g) dxb+ +gnn(x1, ..., xn)dxn ® dxn, (6.9)
для a, b = І , . . . , n - І.
6.2. Теоремы исчезновения для псевдо-киллинговых векторных полей. Пусть как и прежде многообразие Римана-Картана (M,g, V) имеет положительно определенный метрический тензор g. Теорема исчезновения для псевдо-киллингова векторного поля на многообразии
Вестник КемГУ № 3/1 2011 Риманова геометрия
Римана-Картана (М, д, V) класса Эх ® Э2 или, что то же самое, класса р\ ® р2 имеет следующий вид.
Теорема 6.5. Пусть (М,д, V) - компактное ориентированное п-мерное (п > 3) многообразие Римана-Картана с положительно определенным метрическим тензором д принадлежит классу Эх ® Э2 или, что тоже самое, классу р\ ® р2. Если при этом тензор Риччи Яіе связности Леви-Чивита V метрики д отрицательно определен, то на (М, д, V) не существует ненулевых псевдо-киллинговых векторных полей.
Теорема исчезновения указывает на отрицательную определенность тензора Риччи Яіе связности Леви-Чивита V метрики д как на условие препятствия для существования псевдокиллин-гова векторного поля на многообразии Римана-Картана (М, д, V), при этом объекты связности V в этом не участвуют. Исправить эту ситуацию поможет следующая
Теорема 6.6. Пусть (М,д, V) - компактное п-мерное (п > 2) многообразие Римана-Картана с положительно определенным метрическим тензором д принадлежит классу Э2 или, что то же самое, классу р2. Тогда каждое псевдокиллинго-вое векторное поле £ на (М,д, V) имеет равную нулю ковариантную производную относительно несимметричной метрической связности V, если Яіе(£,£) < 0 для тензора Риччи Яге этой связности. Если же квадратичная форма Яіе(Х, X) отрицательно определена, то на (М,д, V) не существует ненулевых псевдокиллинговых векторных полей.
7. Псевдогармонические векторные поля на многообразии Римана-Картана
7.1. Геометрия псевдогармонических векторных полей. Векторное поле £ на римановом многообразии (М, д) называется гармоническим, если (см. [66], стр. 34)
д^х£,У) - д(Х, Vу£) = 0, ¿іу £ = ігаевд(V £) = 0.
(7.1)
По аналогии с приведенным определением было дано ( [15]; [25]; [33]; см. [66], стр. 84)
Определение. Псевдогармоническим векторным полем называется такое £ на многообразии (М, д, V), которое подчиняется системе дифференциальных уравнений:
д^х£,У) - д(Х, Vу£) = 0,
ігаевд ^£) = 0.
(7.2)
Изучим геометрию псевдогармонического векторного поля на компактном многообразии Римана-Картана (М, д, V) классов Эх ® Э2 и Э2. Справедлива
Лемма 7.1. Пусть на компактном многообразии (М, д, V) тензор кручения Б присоединенной связности V удовлетворяет уравнению
д(Б(X, У),Я) + д(Б(Х, Я),У) =
= д(Х, У)т(Я) + д(Х, Я)т(У) + д(У, Я)„(X) (7.3)
для произвольных гладких 1-форм т и V. Если для заданного на (М, д, V) псевдогармонического векторного поля £ и тензора Риччи Яіе присоединенной связности V выполняется условие Яіе(Х,Х) > 0, то с необходимостью V£ = 0. Если же квадратичная форма Яіе(Х, Х) является положительно определенной, то на многообразии (М, д, V) не существует ненулевых псевдогармо-нических векторных полей.
На основании леммы можно доказать, что справедлива следующая
Теорема 7.1. Пусть £ - псевдогармониче-ское векторное поле на компактном многообразии Римана-Картана (М,д, V) класса Эх ® Э2 такое, что Яіе(£,£) > 0 для тензора Риччи Яіе присоединенной связности V. Тогда гиперраспределение £^, ортогональное £, является омбилическим.
Рассмотрим теперь псевдогармоническое векторное поле £ на компактном многообразии Римана-Картана (М,д, V) класса Э2. Здесь будет справедлива
Теорема 7.2. Если на компактном многообразии Римана-Картана (М, д, V) класса Э2 для псевдогармонического векторного поля £ выполняется условие Яіе(£,£) > 0, то £ является торсообразующим векторным полем, гиперраспределение £^ - интегрируемым с максимальными омбилическими интегральными многообразиями, а метрическая форма многообразия в локальной системе координат хх,...,хп некоторой карты (и,ф) приводится к виду:
¿в2 = а(хх,..., хп)даЬ(х1,..., хп~1)в,ха ® ¿хь+ +дпп(х1, ..., хп)йхп ® ¿хп,
для а,Ь = 1, ...,п — 1.
7.2. Теорема исчезновения
Теорема 7.3. Пусть (М,д, V) - компактное многообразие Римана-Картана класса ® Э2
или, что то же самое, класса р\ ® р2. Тогда каждое псевдогармоническое векторное поле £ на (М, д, V) имеет равную нулю ковариантную производную относительно несимметричной метрической связности V, если Яіе(£, £) > 0 для тензора Риччи Яіе этой связности. Если же квадратичная форма Яіе(Х,Х) является положительно определенной, то на многообразии не существует ненулевых псевдогармонических векторных полей.
Вестник КемГУ № 3/1 2011 Риманова геометрия
Литература
[1] Aldrovandi, R. Selected topics in teleparallel gravity / R. Aldrovandi, J. G. Pereira, and K. H. Vu // Brazilian Journal of Physics. - Vol. 34, № 4A. -2004.
[2] Ambrose, W. On homogeneous Riemannian manifolds / W. Ambrose, I. M. Singer // Duke Math. J. - 1958. - Vol. 25. - P. 647 - 669.
[3] Amari, S.-I. Differential geometry in statistical inference / S.-I. Amari, O. E. Barndorff-Nielsen, R. E. Kass, S. L. Lauritzen, C. Rao. - Hayward.: Institute of Mathematical Statistics, 1987.
[4] Arkuszewski, W. On the linearized Einstein-Cartan theory / W. Arkuszewski, W. Korczynski, V. Ponomariev // Ann. Inst. Henri Poincare. - 1974.
- Vol. 21. - P. 89 - 95.
[5] Barua, B. Some properties of semi-symmetric connection in Riemannian manifold / B. Barua, A. K. Ray // Ind. J. Pure Appl. Math. - 1985. -Vol. 16, no. 7. - P. 726 - 740.
[6] Bochner, S. Tensor-fields in non-symmetric connections / S. Bochner, K. Yano // The Annals of Mathematics, 2nd Ser. - 1952. - Vol. 56, no. 3 -P. 504 - 519.
[7] Capozziello, S. Geometric classification of the torsion tensor in space-time. / S. Capozziello, G. Lambiase, C. Stornaiolo // Annalen Phys. - 2001.
- Vol. 10. - P. 713 - 727.
[8] Cartan, E. Sur les variétés à connexion affine et la théorie de la relativé généralisée. Part I / E. Cartan // Ann. Ec. Norm. - 1923. - Vol. 40. -P. 325 - 412.
[9] Cartan, E. Sur les variétés à connexion affine
et la théorie de la relative généralisée. Part I. /
E. Cartan // Ann. Ec. Norm. - 1924. - Vol. 41. -
P. 1 - 25.
[10] Cartan, E. Sur les variétés a connexion affine
et la théorie de la relative généralisée. Part II. /
E. Cartan // Ann. Ec. Norm. - 1925. - Vol. 42. -
P. 17-88.
[11] Deszcz, R. Differential geometry in statistics and econometrics / R. Deszcz, K. Sawicz // Electronic Modeling. - 2005. - Vol. 27, no. 2. - P. 139
- 143.
[12] Eisenhart, L. P. Continuous groups of transformations / L. P. Eisenhart. - Prinseton: Prinseton Univ. Press, 1933. - 359 p.
[13] Eisenhart, L. P. Non Riemannian geometry / L. P. Eisenhart - New York: Amer. Math. Soc. Coll. Publ., 1927. - 184 p.
[14] Garecki, J. Teleparallel equivalent of general relativity: a critical review Janusz Garecki./ J. Garecki // [Электронный ресурс]. - Режим доступа: arXiv:1010.2654v2 [gr-qc] 25 Oct 2010.
[15] Goldberg, S. I. On pseudo-harmonic and pseudo-Killing vector in metric manifolds with torsion / S. I. Goldberg // The Annals of Mathematics, 2nd Ser. - 1956. - Vol. 64, no. 2. -P. 364 - 373.
[16] Gray, A. Einstein-like manifolds which are not Einstein. / A. Gray // Geometriae deicata. -1978. - Vol. 7. - P. 259 - 280.
[17] Gray, A. The sixteen class of almost Hermitean manifolds / A. Gray, L. Hervella // Ann. Math. Pura Appl. - 1980. - Vol. 123. - P. 35 - 58.
[18] Hamond, R. T. Torsion gravity / R. T. Hamond // Rep. Prog. Phys. - 2002. - Vol. 65. - P. 599 - 649.
[19] Hehl, F. W. On a New Metric-Affine Theory of Gravitation / F. W. Hehl, P. Heyde // Physics Letters B. - 1976. - Vol. 63, no. 4. - P. 446 - 448.
[20] Hehl, F. W. Metric-affine gauge theory of gravity: field equations, Noether identities, word spinors, and breaking of dilation invariance /
F. W. Hehl, J. D. McCrea, E. W. Mielke, Y. Ne’eman // Physics Reports. - 1995. - Vol. 258. - P. 1 - 171.
[21] Hehl, F.W. General relativity with spin and torsion: Foundations and prospects / F.W. Hehl, P. Heyde, G.D. Kerlick, J.M. Nester // Rev. Mod. Phys. - 1976. - Vol. 48, № 3. - P. 393 - 416.
[22] Hehl, F. W. Elie Cartan’s torsion in geometry and in field theory, an essay / F. W. Hehl, Y. N. Obukhov // [Электронный ресурс]. - Режим доступа: arXiv:0711.1535v1 [gr-qc] 9Nov 2007.
[23] Kibble, T. W. B. Lorenz invariance and the gravitational field / T. W. B. Kibble // J. Math. Phys. - 1961. - Vol. 2. - P. 212 - 221.
[24] Крамер, Д. Точные решения уравнений Эйнштейна / Д. Крамер, Х. Штефанн, М. Мак-Каллум, Э. Херльт. - М.: Энергоиздат, 1982. -416 c.
[25] Kubo, Y. Vector fields in a metric manifold with torsion and boundary / Y. Kubo // Kodai Math. Sem. Rep. - 1972. - Vol. 24. - P. 383 - 395.
[26] McCrea, J. D. Irreducible decompositions of non-metricity, torsion, curvature and Bianchi identities in metric-affine spacetimes / J. D. McCrea // Class. Quantum. Grav. - 1992. - Vol. 9. -
P. 553 - 568.
[27] Megged, O. Post-Riemannian Merger of Yang-Mills interactions with gravity / O. Megged // [Электронный ресурс]. - Режим доступа: arXiv:hep-th/0008135.
[28] Muniraja, G. Manifolds admitting a semi-symmetric metric connection and a generalization of Shur’s theorem / G. Muniraja // Int. J. Contemp. Math. Sciences. - 2008. - Vol. 3, no. 25. - P. 1223 -1232.
[29] Nakao, Z. Submanifolds of a Riemannian manifold semi-symmetric metric connections. / Z. Nakao // Proc. Amer. Math. Soc. - 1976. - Vol. 54. - P. 261 - 266.
[30] Penrose, R. Spinors and torsion in General Relativity / R. Penrose // Fond. Of Phys. - 1983. -Vol. 13. - P. 325 - 339.
[31] Pestov, I. B. Kahler fermions on the Weitzenbok space-time / I. B. Pestov // [Элек-
Вестник КемГУ № 3/1 2011 Риманова геометрия
тронный ресурс]. - Режим доступа: arXiv:hep-th/9911247v1 30 Nov 1999.
[32] Puetzfeld, D. Prospects of non-Riemannian cosmology / D. Puetzfeld // Proceeding of the of 22nd. Texas Symposium on Relativistic Astrophysics at Stanford University (Dec. 13-17, 2004). -California: Stanford Univ. Press - 2004. - P. 1 - 5.
[33] Rani, N. Non-existence of pseudo-harmonic and pseudo-Killing vector and tensor fields in compact orientable generalized Riemannian space (metric manifold with torsion) with boundary / N. Rani, N. Prakash // Proc. Natl. Inst. Sci. India. -1966. - Vol. 32,A., no. 1. - P. 23 - 33.
[34] Reinhart, B. L. Differential geometry of foliations / B. L. Reinhart - Berlin-New York: Springer-Verlag, 1983. - 194 p.
[35] Ruggiero, M. L. Einstein-Cartan theory as a theory of defects in space-time / M. L. Ruggiero, A. Tartaglia // Amer. J. Phys. - 2003. - Vol. 71. -P. 1303-1313.
[36] Sciama, D. W. On the analogy between change and spin in general relativity / D. W. Sciama // Recent developments in General Relativity. -Oxford: Pergamon Press & Warszawa: PWN. - 1962.
- P. 415 - 439.
[37] Segupta, J. On a type of semi-symmetric connection on a Riemannian manifold / J. Segupta, U. C. De, T. Q. Binh // Ind. J. Pure Appl. Math. -2000. - Vol. 31, no. 12. - P. 1650 - 1670.
[38] Stepanov, S. E. On a conformal Killing 2-form of the electromagnetic field / S. E. Stepanov // Journal Geom. and Phys. - 2000. - Vol. 33. - P. 191 -209.
[39] Tarafdar, D. On pseudo concircular symmetric manifold admitting a type quarter symmetric metric connection. / D. Tarafdar // Istambul Univ. Fen. Fak. Mat. Dergisi. - 1996 -1997. - Vol. 55 - 56. - P. 237 - 243.
[40] Tanno, S. Partially conformal
transformations with respect to (m — 1)-dimensional distributions of m-dimensional Riemannian manifolds / S. Tanno // Tohoku Math. J. - 1965. -Vol. 17, no. 17. - P. 358 - 409.
[41] Trautman, A. The Einstein-Cartan theory / A. Trautman // Encyclopedia of Mathematical Physics. - Oxford: Elsevier, 2006. - Vol. 2. - P. 189
- 195.
[42] Tricerri, F. Homogeneous structures on Riemannian manifolds / F. Tricerri, L. Vanhecke // London Math. Soc.: Lecture Note Series. - Vol. 83. -London: Cambridge University Press, 1983.
[43] Tricerri, F. Homogeneous structures. Progress in mathematics / F. Tricerri, L. Vanhecke // Differential geometry. - 1983. - Vol. 32. - P. 234 -246.
[44] Tricerri, F. Self-dual and anti-self-dual homogeneous structures / F. Tricerri , L. Vanhecke // Lecture notes in mathematics. - 1984. - no. 1045.
- P. 18 - 194.
[45] Vysal, S. A. On weakly symmetric spaces with semi-symmetric metric connection / S. A. Vysal, R. O. Laleoglu // Publ.Math. - 2005. - Vol. 67, no. 1
- 2. - P. 145 - 154.
[46] Yano, K. On semi-symmetric metric connection / K. Yano // Rev. Roum. Math. Pure Appl. - 1970. - Vol. 15. - P. 1579 - 1586.
[47] Yasar, E. Totally umbilical lightlike hypersurfaces in semi-Riemannian manifold with semi-symmetric metric connection / E. Yasar, A. C. Coken, A. Yucesan // Int. J. Pure Appl. Math.
- 2005. - Vol. 23, no. 3. - P. 379 - 391.
[48] Бессе, А. Многообразия Эйнштейна: в 2-х т. Т. 1 / А. Бессе. - М.: Мир, 1990. - 318 с.
[49] Бессе, А. Четырехмерная риманова геометрия: семинар Артура Бессе 1978/1979 / А. Бессе. - М.: Мир, 1985 - 334 с.
[50] Гордеева, И. А. Теорема исчезновения для псевдогармонических векторных полей на многообразии Римана-Картана / И. А. Гордеева, С. Е. Степанов // Тезисы докладов "Международной конференции по дифференциальным уравнениям и динамическим системам". Суздаль, 27 июня - 2 июля 2008 г. - Владимир: Изд-во Вл-ГУ, 2008. - С. 71 - 73.
[51] Гордеева, И. А. Псевдокиллинговые векторные поля на многообразиях Римана-Картана / И. А. Гордеева // Тезисы докладов Международной конференции ’’Геометрия в Одессе - 2008”, 19 - 24 мая 2008 г. - Одесса: Фонд "Наука 2008. -С. 73 -75.
[52] Гордеева, И. А. Псевдокиллинговы и псев-догармонические векторные поля на многообразии Римана-Картана / И. А. Гордеева, С. Е. Степанов // Математические заметки. - 2010. - Т. 87, no. 2.
- C. 267 - 279.
[53] Гордеева, И. А. Теоремы исчезновения некоторых классов многообразий Рима,-на-Картана / И. А. Гордеева // Фундамент. и при-кл. матем. - 2010. - Т 16, No 2 - C. 7 — 12.
[54] Гордеева, И. А. О классификации несимметрических метрических связностей / И. А. Гордеева // Сборник трудов Международного геометрического семинара им. Г. Ф. Лаптева:
- Пенза: Изд-во ПГПУ им. В. Г. Белинского, 2007.
- С. 30 - 37.
[55] Гордеева, И. А. Многообразия Римана-Картана / И. А. Гордеева, В. И. Паньженский, С. Е. Степанов // Итоги науки и техники (совр. мат-ка и ее прил-я).: ВИНИТИ РАН. - М., 2009. -Т. 123. - С. 110 - 141.
[56] Дубинкин, А. В. К вопросу об инфини-тезимальных обобщенно-конформных преобразованиях / А. В. Дубинкин, А. П. Широков // Труды геометрического семинара (КГУ, Казань). - 1983.
- T. 15. - C. 26 - 34.
[57] Кобаяси, Ш. Группы преобразований в дифференциальной геометрии / Ш. Кобаяси. - М.: Наука, 1986. - 224 c.
Вестник КемГУ № 3/1 2011 Риманова геометрия
[58] Кобаяси, Ш. Основы дифференциальной геометрии: в 2 т. Т. 1. /Ш. Кобаяси, К. Номидзу.
- М.: Наука: Гл. ред. физ.-мат. лит., 1981. - 344 с.
[59] Кобаяси, Ш. Основы дифференциальной геометрии: в 2 т. Т. 2. /Ш. Кобаяси, К. Номидзу.
- М.: Наука: Гл. ред. физ.-мат. лит., 1981. - 416 с.
[60] Норден, А. П. Пространства аффинной связности / А. П. Норден. - М.: Наука, 1976. -463 с.
[61] Схоутен И. А. Введение в новые методы дифференциальной геометрии. Т.1. / И. А. Схоутен, Д. Дж. Стройк. - М.: ГОНТИ, 1939.
[62] Схоутен, И. А. Введение в новые методы
дифференциальной геометрии, Т.11. / И. А. Схоутен, Д. Дж. Стройк. - М.: ИЛ, 1948.
[63] Схоутен, Я. А. Тензорный анализ для физиков / Я. А. Схоутен. - М.: Наука, 1965.
[64] Точные решения уравнений Эйнштейна /Д. Крамер, X. Штефани, Э. Херльт, М. Мак-Каллум; под ред. Э. Шмутцера; пер. с англ. - М.: Энергоиздат, 1982. - 416 с.
[65] Фиников, С. П. Метод внешних форм Картана дифференциальной геометрии / С. П. Фиников. - М.: Л.: ГИТТЛ, 1948. - 432 с.
[66] Яно, К. Кривизна и числа Бетти / К. Яно, С. Бохнер. - М.: ИЛ, 1957 - 152 с.
514.763.34
RICCI SOLITONS IN CONTACT METRIC MANIFOLDS
Mukut Mani Tripathi
СОЛИТОНЫ РИЧЧИ В КОНТАКТНЫХ МЕТРИЧЕСКИХ МНОГООБРАЗИЯХ
M. M. Трипатхи
In N(k)-contact metric manifolds and/or (k, j)-manifolds, gradient Ricci solitons, compact Ricci solitons and Ricci solitons with V pointwise collinear with the structure vector field £ are studied.
В работе изучаются солитоны Риччи, в N (k)-контактных метрических многообразиях и в контактных (k, j)-многообразиях
Keywords: солитоны Риччи, N (^-контактные метрические многообразия, (k, ^-многообразия, K -контактные многообразия, многообразия Сасаки.
Ключевые слова: Ricci soliton, N(k)-contact metric manifold, (k, j)-manifold, K-contact manifold,
Sasakian manifold.
1. Introduction
A Ricci soliton is a generalization of an Einstein metric. In a Riemannian manifold (M,g), g is called a Ricci soliton [18] if
£v g + 2 Ric + 2Ag = 0, (1)
where £ is the Lie derivative, V is a complete vector field on M and A is a constant. Metrics satisfying
(1) are interesting and useful in physics and are often referred as quasi-Einstein (e.g. [9], [10], [15]). Compact Ricci solitons are the fixed point of the Ricci flow
projected from the space of metrics onto its quotient modulo diffeomorphisms and scalings, and often arise as blow-up limits for the Ricci flow on compact manifolds. The Ricci soliton is said to be shrinking, steady, and expanding according as A is negative, zero, and positive respectively. If the vector field V is the gradient of a potential function —f, then g is called a gradient Ricci soliton and equation (1) assumes the form
Wf = Ric + Ag. (2)
A Ricci soliton on a compact manifold has constant curvature in dimension 2 (Hamilton [18]), and also in dimension 3 (Ivey [19]). For details we refer to Chow and Knoff [12] and Derdzinski [14]. We also recall the following significant result of Perelman [24]: A Ricci soliton on a compact manifold is a gradient Ricci soliton.
On the other hand, the roots of contact geometry lie in differential equations as in 1872 Sophus Lie introduced the notion of contact transformation (Beriihrungstransformation) as a geometric tool to study systems of differential equations. This subject has manifold connections with the other fields of pure mathematics, and substantial applications in applied areas such as mechanics, optics, phase space of a dynamical system, thermodynamics and control theory (for more details see [1], [3], [16], [21] and [22]).
It is well known [26] that the tangent sphere bundle T1M of a Riemannian manifold M admits a contact metric structure. If M is of constant curvature c =1 then T\M is Sasakian [33], and if c = 0 then the curvature tensor R satisfies R(X, Y)£ = 0
[2]. As a generalization of these two cases, in [5], Blair, Koufogiorgos and Papantoniou started the study of the class of contact metric manifolds, in which the
