Гипотеза Калаби, известная к тому времени уже пару десятилетий, подходила именно под вторую категорию. Я обратил внимание на эту задачу на первом курсе аспирантуры, хотя порой мне казалось, что на самом деле это задача обратила на меня внимание. Ни одна из задач до того так не захватывала меня, как эта, поскольку я чувствовал, что ее решение может открыть дверь в совершенно новую область математики. Гипотеза Калаби отчасти затрагивала классическую проблему Пуанкаре, однако казалась мне более общей, так как из предположения Калаби следовало не только существование нового большого класса математических поверхностей и пространств, о которых до этого ничего не было известно, но и, возможно, она вела к новому пониманию пространства и времени. Для меня эта встреча с этой гипотезой была практически неизбежной: почти все дороги, по которым я двигался в своих первых исследованиях кривизны, неминуемо вели к ней.
Прежде чем приступить непосредственно к обсуждению доказательства данной гипотезы, необходимо для начала разобраться с упоминавшимися ранее понятиями, лежащими в ее основе. Гипотеза Калаби относится только к комплексным многообразиям. Понятие многообразия, как я уже говорил, аналогично понятию поверхности или пространства, но, в отличие от хорошо знакомых нам двухмерных поверхностей, многообразия могут иметь любую четную размерность, не обязательно равную двум. Ограничение по поводу четного значения размерности относится только к комплексным многообразиям, в общем случае многообразие может иметь как четную, так и нечетную размерность. По определению многообразия на малых или локальных участках имеют сходство с евклидовыми пространствами, но в больших, или так называемых глобальных , масштабах они демонстрируют заметное отличие. Так, к примеру, окружность представляет собой одномерное многообразие, и окрестность каждой из лежащей на ней точек можно уподобить отрезку прямой. Но в целом окружность совершенно не похожа на прямую линию. Теперь добавим еще одно измерение. Мы живем на поверхности сферы, которая представляет собой двухмерное многообразие. Взглянув на достаточно малый участок земной поверхности, можно обнаружить, что он имеет практически идеально плоскую форму как диск или фрагмент плоскости, несмотря на то что в целом эта поверхность искривлена и, следовательно, неевклидова. Если теперь выбрать на поверхности участок значительно большего размера, то отклонение от евклидовости станет очевидным, что приведет к необходимости сделать поправки на кривизну.
Одной из важных особенностей многообразий является их гладкость . Это свойство прямо вытекает из их определения, поскольку из сходства каждого малого участка поверхности с евклидовым пространством напрямую следует гладкость поверхности во всех точках. Геометры говорят о гладкости многообразия даже в том случае, если оно имеет некоторое количество «странных» точек, в которых условие локальной евклидовости не выполняется — например, точка пересечения двух линий. Такие точки носят название топологических сингулярностей , поскольку их в принципе невозможно сгладить. Вне зависимости то того, насколько мала выбранная вокруг такой точки окрестность, пересечение все равно останется пересечением.
Подобные вещи постоянно встречаются в римановой геометрии. В начале преобразования объект может быть гладким и простым для исследований, но стоит нам приблизиться к определенному пределу — скажем, постепенно заостряя его форму или срезая углы, — и возникновение сингулярности станет неизбежным. Впрочем, геометры обычно столь либеральны в этом вопросе, что даже пространство, имеющее бесконечно большое число сингулярностей, в их глазах все равно остается многообразием — в этом случае они называют его сингулярным пространством , или сингулярным многообразием , и рассматривают как предельную форму гладкого многообразия. При этом вместо двух линий, пересекающихся в одной точке, чаще рассматривают плоскости, результатом пересечения которых будет линия.
Это и есть грубое определение понятия многообразия. Теперь что касается слова «комплексное». Комплексным называется такое многообразие, каждой точке которого можно сопоставить определенное комплексное число. Подобное число имеет вид a + ib , где а и b — действительные числа, a i — так называемая мнимая единица, определяемая как квадратный корень из -1. Как и координаты точки на плоскости, которые можно изобразить на графике с двумя осями x и y , одномерные комплексные числа можно изобразить на графике с двумя осями, соответствующими вещественной и мнимой частям.
Читать дальше