Научная статья на тему 'Многообразие, которое имеет равное нулю первое число Бетти и допускает конформное некиллинговое векторное поле'

Многообразие, которое имеет равное нулю первое число Бетти и допускает конформное некиллинговое векторное поле Текст научной статьи по специальности «Математика»

CC BY
77
20
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
замкнутое риманово многообразие / конформно киллинговое векторное поле / первое число Бетти.

Аннотация научной статьи по математике, автор научной работы — С. Е. Степанов, И. И. Цыганок

Доказано, что односвязное полное риманово многообразие М изометрично евклидовой сфере, если многообразие допускает замкнутое конформно киллинговое векторное поле Х такое, что для скалярной кривизны s ее производная Ли L s  0 X . Доказано также, что замкнутое римановое многообразие с равным нулю первым числом Бетти и конформно киллинговым векторным полем Х конформно диффеоморфно евклидовой сфере. Если при этом для скалярной кривизны s ее производная Ли L s  0 X , то многообразие — изометрично евклидовой сфере.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Riemannian manifold which has zero as the first betti number and admits a conformal non-killing vector field

We prove two propositions. Firstly, assume that the first Betti number b M 1 of a closed Riemannian manifold M is equal to zero and M admits a conformal Killing vector field X. Then M is conformally diffeomorphic with a Euclidean sphere. If in addition, the Lie derivative with respect to X of the scalar curvature of M is equal to zero then M is isometric with a Euclidean sphere. Secondary, assume that M is a simply connected complete Riemannian manifold and M admits a closed conformal Killing vector field such that the Lie derivative with respect to X of the scalar curvature of M is equal to zero. Then M is isometric with a Euclidean sphere.

Текст научной работы на тему «Многообразие, которое имеет равное нулю первое число Бетти и допускает конформное некиллинговое векторное поле»

УДК 514.764.2

С. Е. Степанов, И. И. Цыганок

(Финансовый университет при Правительстве РФ, г. Москва)

Многообразие, которое имеет равное нулю первое число Бетти и допускает конформное некиллинговое векторное поле

Доказано, что односвязное полное риманово многообразие М изометрично евклидовой сфере, если многообразие допускает замкнутое конформно киллинго-вое векторное поле Х такое, что для скалярной кривизны 5 ее производная Ли = 0 . Доказано также, что

замкнутое римановое многообразие с равным нулю первым числом Бетти и конформно киллинговым векторным полем Х конформно диффеоморфно евклидовой сфере. Если при этом для скалярной кривизны 5 ее производная Ли Ьх5 = 0 , то многообразие — изомет-рично евклидовой сфере.

Ключевые слова: замкнутое риманово многообразие, конформно киллинговое векторное поле, первое число Бетти.

1. Введение и результаты

На «-мерном (п > 2) многообразии М с метрикой g векторное поле Х называется конформно киллинговым, если по отношению к Х производная Ли Lxg = (2/п)&у X ■ g . В случае, когда Lxg = 0 , векторное поле Х называется киллинговым. Конформно киллинговое векторное поле в конце прошлого и начале этого века было объектом пристального внимания в связи с интенсивным изучением групп инфинитезимальных конформных преобразований (псевдо)римановых многообразий [1].

Одним из главных результатов этих исследований стала теорема о том, что компактное риманово многообразие М, допускающее конформно киллинговое векторное поле Х, которое нельзя конформным преобразованием метрики g превратить в киллинговое, конформно диффеоморфно евклидовой сфере [1, с. 269]. Были доказаны также утверждения, исключающие требование подобного конформного преобразования метрики (см.: [2; 3 и др.]). Например, известно утверждение [2] о том, что компактное риманово многообразие М с конечной фундаментальной группой ж1 (М), допускающее замкнутое конформно киллинговое векторное поле, не являющее кил-линговым, диффеоморфно евклидовой сфере. Мы можем уточнить этот результат, сформулировав

Предложение. Односвязное полное риманово многообразие М, допускающее замкнутое конформно киллинговое векторное поле Х такое, что = 0 для скалярной кривизны s , изометрично евклидовой сфере.

Основным же результатом статьи будет следующая Теорема. Если на замкнутом римановом многообразии М с равным нулю первым числом Бетти существует конформно киллинговое векторное поле Х, то многообразие конформно диффеоморфно евклидовой сфере. Если при этом для скалярной кривизны s ее производная Ли = 0, то многообразие — изометрично евклидовой сфере.

2. Доказательства утверждений

Докажем предложение. Предварительно сделаем два замечания. Во-первых, известно [4, с. 189; 281], что для односвяз-ного риманова многообразия М первое число Бетти Ь1 (М) = 0, а потому каждое замкнутое векторное поле на таком М является градиентным; в частности, таким будет и замкнутое конформно киллинговое векторное поле. Более того, конформно киллинговое векторное поле на подобном многообразии не

может быть киллинговым, ибо в этом случае оно становится ковариантно постоянным, чего не может быть на многообразии с Ь1 (М) = 0. Во-вторых, полное риманово многообразие М с градиентным конформно киллинговым векторным полем Х, удовлетворяющим условию Lxs = 0 для скалярной кривизны 5, является изометричным евклидовой сфере (см. [5, лемма 4.10]). В результате будет справедливо сформулированное выше предложение.

Перейдем к доказательству теоремы. Рассмотрим «-мерное (п > 2) замкнутое, т.е. компактное без границы, многообразиеМс ри-мановой метрикой g. Обозначим через СМ пространство С" -функций, через 3(М):= С"ТМ пространство гладких векторных полей, а через О" (М):= С"А"М — пространство дифференциальных "-форм на М; в частности, о1 (М) := СТ*М. Введем в рассмотрение операторы Лапласа — Бельтрами А: о" (м)^о" (м), внешнего дифференцирования С: О"(М)^О"+1 (М) и ему формально сопряженный относительно глобального скалярного произведения = ^-1g(о>,ю')Су для ®,®'еО1 (М) оператор

М

кодифференцирования 8 : О"+1 (М) ^ О" (М ).

А. Лихнерович ввел в рассмотрение [6] дифференциальный оператор □ Х = АХ + |1 - — |С 8Х -2QX для тензора

I «)

Риччи Ше(X,У) = g(X,У), произвольных Х, Уе%(М) и доказал, что (□ Х, Х) > 0, причем равенство возможно только для конформно киллинговых векторных полей. Тогда киллинговое векторное поле Х определяется условием X е Кег □ п Кег 8.

Обозначим через ст^(^) главный символ [7, с. 627—628] оператора Лихнеровича □ для произвольного £ е Т'М . Можно доказать, что ст^(^) при п > 2 является инъективным и что совпадают размерности пространств при отображении символа

ТХМ — ТХМ. Поэтому из инъективности символа с^(^) следует, что он — изоморфизм и, следовательно, при п > 2 оператор □ является эллиптическим [7, с. 628—630]. Для эллиптического оператора □ его ядро Кег □ на замкнутом рима-новом многообразии М будет конечномерным векторным пространством [7, с. 632].

На замкнутом римановом многообразии М справедливы ортогональные относительно глобального скалярного произведения разложения [8, с. 161]

О1 (М ) = 1тё 01т 5 0 Кег А, Кег 5 = 1т 5 0 Кег А, Кегё = 1тё 0 Кег А,

первое из которых носит название разложения Ходжа-де Рама. Известно, что Ь1 (М) = ёт^ Кег А — первое число Бетти многообразия М. Для Ь1 (М) = 0 из приведенных равенств последует О1 (М) = 1шё01т5, Кег5 = 1т5, Кегё = 1тё. В этом случае будет справедливым ортогональное разложение Кег □ = (Кег □ п 1т 5) 0 (Кег □ п 1т ё),

где пространство Кег □ п 1т 5 состоит из 1-форм, двойственных коточным киллинговым векторным полям, а пространство Кег □ п 1т а состоит из 1-форм вида с = gгad/для некоторой функции / е С"М , которая удовлетворяет уравнениям

У У/ =-(1/п)А/• g . (*)

Имеем Кег □ Ф Кег □ п 1т 5, поскольку в противном случае каждое конформно киллинговое векторное поле Х является ковариантно постоянным, а следовательно, и гармоническим, что противоречит условию Ь1 (М) = 0 . Поэтому на таком М существует непостоянная функция / е С"М, удовлетворяющая уравнениям (*). Это означает [9], что многообразие (М, g) конформно диффеоморфно сфере 8п евклидова пространства Яп+1. Если при этом производная Ли Ь^ fs = 0, то М будет изометричным сфере 8п [5, лемма 4.10].

Список литературы

1. Rademacher H.-B., Kuhnel W. Conformai transformations of pseudo-Riemannian manifolds // Recent developments in pseudo-Riemannian geometry / eds D.V. Alekseevsky, H. Braum. Zürich, 2008. P. 261—298.

2. Suyama Y., Tsukamoto Y. Riemannian manifolds admitting a certain conformai transformation group // J. Differential Geometry. 1971. Vol. 5. P. 415—426.

3. Tanno S., Weber W.C. Closed conformal vector fields // J. Differential Geometry. 1969. Vol. 3. P. 361—366.

4. Шутц Б. Геометрические методы математической физики. М., 1984.

5. Yano K., Obata M. Conformal changes of Riemannian metrics // J. Differential Geometry. 1970. Vol. 4. P. 53—72.

6. Lichnerowicz A. Transformations infinitesimals conformes de certaines variétés riemanniennes compactes // C. R. Acad. Sci. Paris, 1955. Vol. 241. P. 726—729.

7. Бессе А. Многообразия Эйнштейна. М., 1990.

8. Новиков С. П. Топология // Современные проблемы математики. Фундаментальные направления (Итоги науки и техники ВИНИТИ АН СССР). М., 1986. Т. 12. C. 5—252.

9. Tashiro Y. Complete Riemannian manifolds and some vector fields, Transactions of the American Mathematical Society. 1965. Vol. 117. P. 251—275.

S. Stepanov, I. Tsyganok

Riemannian manifold which has zero as the first betti number and admits a conformal non-killing vector field

We prove two propositions. Firstly, assume that the first Betti number b1 (M) of a closed Riemannian manifold M is equal to zero and M admits a conformal Killing vector field X. Then M is conformally diffeomorphic with a Euclidean sphere. If in addition, the Lie derivative with respect to X of the scalar curvature of M is equal to zero then M is isometric with a Euclidean sphere. Secondary, assume that M is a simply connected complete Riemannian manifold and M admits a closed conformal Killing vector field such that the Lie derivative with respect to X of the scalar curvature of M is equal to zero. Then M is isometric with a Euclidean sphere.

i Надоели баннеры? Вы всегда можете отключить рекламу.