Кэлерово многообразие
Кэ́лерово многообра́зие, комплексное многообразие, на котором можно ввести метрику Кэлера. Иногда такие многообразия называются многообразиями кэлерова типа, а термин «кэлерово многообразие» оставляется для многообразий, снабжённых кэлеровой метрикой (Уэллс. 1976). Всякое подмногообразие кэлерова многообразия является кэлеровым многообразием. В частности, все проективные комплексные алгебраические многообразия без особых точек являются кэлеровыми многообразиями, причём кэлерова метрика на них индуцируется метрикой Фубини – Штуди на комплексном проективном пространстве. Аналогично, всякое подмногообразие в аффинном пространстве (в частности, всякое многообразие Штейна) является кэлеровым. Другие примеры кэлерова многообразия получаются, если рассматривать факторпростpaнство кэлерова многообразия по дискретной группе аналитических автоморфизмов , сохраняющих кэлерову метрику. В частности, любой комплексный тор есть кэлерово многообразие. Всякое одномерное комплексное многообразие кэлерово.
Теория гармонических форм на компактном кэлеровом многообразии даёт следующие свойства групп когомологий де Рама и Дольбо на таком многообразии (см. Уэллс. 1976; Вейль. 1961, а также Hodge. 1952, где эти свойства были впервые доказаны для проективных алгебраических многообразий):Голоморфные формы на компактном кэлеровом многообразии замкнуты. В частности,где – пространство всех голоморфных 1-форм на . B случае числоесть род компактной римановой поверхности . На указанных выше свойствах основано построение примеров некэлеровых компактных многообразий, простейшим из которых является поверхность Хопфа, диффеоморфная .
Кэлерово многообразие называется многообразием Ходжа, если кэлерова метрика на является метрикой Ходжа. Всякое проективное алгебраическое многообразие без особых точек является многообразием Ходжа относительно метрики, индуцированной метрикой Фубини – Штуди. Обратно, всякое компактное комплексное многообразие , снабжённое кэлеровой метрикой Ходжа , допускает биголоморфное вложение в комплексное проективное пространство, причём метрика на , индуцированная метрикой Фубини – Штуди, имеет вид где – натуральное число (Уэллс. 1976; Чжэнь Шэн-шэнь. 1961) (теорема Кодайры о проективном вложении). Таким образом, компактное комплексное многообразие изоморфно проективному алгебраическому многообразию тогда и только тогда, когда – многообразие Ходжа. Другая форма этого критерия состоит в том, что компактное комплексное многообразие является проективным алгебраическим многообразием тогда и только тогда, когда на существует отрицательное расслоение на комплексные прямые. Теорема Кодайры допускает обобщение на комплексные пространства (см. Ганнинг. 1969; Грауэрт. 1965). Компактные кэлеровы многообразия, не являющиеся многообразиями Ходжа, можно найти среди двумерных комплексных торов. Например, этим свойством обладает тор , где – решётка, натянутая на векторы , , , (см. Уэллс. 1976; Чжэнь Шэн-шэнь. 1961). Другое необходимое и достаточное условие проективности -мерного компактного кэлерова многообразия состоит в наличии на нём алгебраически независимых мероморфных функций.
Всякое некомпактное полное кэлерово многообразие, имеющее положительную секционную кривизну, является многообразием Штейна. Тем же свойством обладает любое односвязное полное кэлерово многообразие неположительной секционной кривизны (Greene. 1974).