6. Характеристика Эйлера — Пуанкаре
Старейшая известная связь между кривизной и числами Бетти — теорема Гаусса-Бонне. Ее дальнейшее развитие шло по путям несколько отличным от тех, которым мы следуем в этой книге, но тем не менее имеются некоторые точки соприкосновения, и мы приведем сначала один результат в духе нашего раздела 4; по поводу доказательства сошлемся на работу Бохнера [7].
Теорема 9.10. Если на компактном кэлеровом многообразии метрический тензор может в окрестности каждой точки быть представлен в виде
где и векторы имеют исчезающий вихрь,
а ранг матрицы
равен то характеристика Эйлера — Пуанкаре имеет знак или равна нулю.
Это утверждение сохраняет силу, если, в более общем случае, метрический тензор является в окрестности каждой точки пределом, в смысле равномерной сходимости, тензоров каждый из которых имеет указанный вид, причем первые и вторые производные также равномерно сходятся к соответствующим производным
Далее, если метрический тензор имеет в точности вид для одной и той же системы векторов на всем многообразии, то для равенства характеристики нулю необходимо и достаточно, чтобы суммы
были равны нулю при всех значениях здесь
- известные символы Кронекера