13. Уклонение многообразия от плоского
Введем величины
и
В случае положим
Тогда для эффективного тензора имеем
Отсюда и из аналогичной оценки через И мы получаем следующую теорему:
Теорема 8.27. Если в компактном кэлеровом многообразии форма положительно определена и
для
то не существует эффективных гармонических тензоров порядка
Таким образом, если соотношения (8.140) выполняются для всех при условии (8.141), то
Наконец, мы вводим величину
и утверждаем следующее:
Теорема 8.28. Пусть в компактном кэлеровом многообразии и выполнено условие
при и, кроме того,
тогда
для
Доказательство. Мы будем различать два случая:
и