Последние два фрагмента нашей мозаики — классы Черна и кривизна Риччи — возникли из попыток геометров обобщить одномерные римановы поверхности на случай многих измерений и затем попытаться математически описать различия между ними. Это привело к возникновению важной теоремы, относящейся к компактным римановым поверхностям, — как, впрочем, и ко всем компактным поверхностям, не имеющим границ. Определение границы в топологии дается скорее на интуитивном уровне: диск имеет границу, или четко определенный край, тогда как сфера границы не имеет. На поверхности сферы можно сколь угодно долго двигаться в любом направлении, никогда не достигая никакой границы и даже не приближаясь к ней.
Теорема, сформулированная в XIX веке Карлом Фридрихом Гауссом и французским математиком Пьером Бонне, связала геометрию поверхности с ее топологией.
Согласно формуле Гаусса-Бонне, общая гауссова кривизна подобных поверхностей равна произведению эйлеровой характеристики поверхности на 2π . Эйлерова характеристика, обозначаемая греческой буквой χ («хи»), в свою очередь равна 2–2 g , где g — это род (число «дырок» или «ручек» на данной поверхности). К примеру, эйлерова характеристика двухмерной сферы, не имеющей дырок, будет равна 2. Эйлер вывел отдельную формулу для нахождения эйлеровых характеристик любого многогранника: χ=V-E+F , где V — число вершин, E — число ребер, a F — число граней. Для тетраэдра χ=4-6+4=2 , точно так же, как и для сферы. Для куба, имеющего 8 вершин, 12 ребер и 6 граней, χ=8-12+6=2 — снова то же, что и для сферы. Причина того, что эти топологически идентичные (хотя и геометрически различные) объекты имеют одинаковую величину заключается в том, что эйлеровы характеристики всецело определяются топологией объекта и не зависят от его геометрии. Эйлерова характеристика χ стала первым из основных топологических инвариантов пространства — величин, остающихся неизменными — инвариантными — для пространств, имеющих совершенно различный внешний вид, подобно являющимся топологически эквивалентными сфере, тетраэдру и кубу.
Вернемся к формуле Гаусса-Бонне. Общая гауссова кривизна двухмерной сферы будет равна 2π×2 , или 4π . Кривизна двухмерного тора равна нулю, поскольку в нем имеется одна дырка и, следовательно, χ=2-2g=2-2=0 . Обобщение принципа Гаусса-Бонне на случай большего числа измерений приводит к возникновению так называемых классов Черна . Классы Черна были созданы моим руководителем и наставником Ч. Ш. Черном как весьма грубый математический метод охарактеризовать различия между многообразиями. Говоря простыми словами, многообразия, для которых имеются разные классы Черна, не могут быть одинаковы, хотя обратное верно далеко не всегда: многообразия могут иметь один и тот же класс Черна и при этом оставаться различными.
Для имеющих одно комплексное измерение римановых поверхностей существует только один класс Черна, а именно первый, в данном случае совпадающий с эйлеровой характеристикой. Количество классов Черна для конкретного многообразия зависит от количества измерений. К примеру, многообразие с двумя комплексными измерениями имеет первый и второй классы Черна. Многообразия, представляющие большой интерес для теории струн — обладающие тремя комплексными (или шестью вещественными) измерениями, — имеют три класса Черна. В этом случае первый класс Черна приписывает двухмерным подпространствам шестимерного многообразия (их можно представить как набитую двухмерными листами бумаги трехмерную комнату) определенные целые коэффициенты. Второй класс Черна присваивает коэффициенты четырехмерным подмногообразиям шестимерного пространства. Третий класс присваивает определенное число, а именно эйлерову характеристику χ , всему многообразию, имеющему три комплексные размерности и шесть вещественных. Для многообразий, имеющих n комплексных измерений, последний класс Черна — n -й класс — всегда равен эйлеровой характеристике.
Рис. 4.5.Ориентируемая (двухсторонняя) поверхность в топологии описывается при помощи ее эйлеровой характеристики, или числа Эйлера. Для многогранника, являющегося геометрическим телом с плоскими гранями и прямыми ребрами, эйлерову характеристику можно рассчитать по простой формуле. Эйлерова характеристика, которая обозначается греческой буквой χ (хи), равна числу вершин минус число ребер плюс число граней. Для прямоугольной призмы или «коробки» в этом примере число Эйлера равно двум. Для тетраэдра это число также равно двум (4-6+ 4), как и для пирамиды с квадратным основанием (5-8+5). Нет ничего удивительного в том, что эти пространства имеют одинаковые эйлеровы характеристики, поскольку они топологически эквивалентны
Читать дальше