Задача имеет форму теоремы, связывающей топологию
Рис. 4.1. Геометр Эудженио Калаби (фотография Дирка Феруса)
Ответ на этот вопрос едва ли покажется кому-либо имеющим важное значение для физики. Но посмотрим на него с другой стороны. Гипотеза Калаби касается пространств, имеющих особый тип кривизны, известный как кривизна Риччи, которая вкратце будет описана позже. Как оказалось, кривизна Риччи определенного пространства напрямую зависит от распределения материи в этом пространстве. Пространство, называемое
Калаби утверждает, что, когда эта гипотеза впервые пришла ему в голову, «она совершенно не была связана с физическими представлениями. Это была чистая геометрия»[42]. Я не сомневаюсь в истинности его слов. Это утверждение могло бы быть точно так же сформулировано, даже если бы Эйнштейну никогда не приходила в голову идея общей теории относительности. И доказательство этой гипотезы могло бы быть получено, даже если бы теории Эйнштейна не существовало. Впрочем, я уверен, что в то время, когда Калаби сформулировал свою задачу — почти через сорок лет после публикации Эйнштейном его революционных статей, — теория Эйнштейна была уже широко распространена. Едва ли найдется хотя бы один математик, который никогда не размышлял над физическими идеями Эйнштейна, пусть даже без какой-либо определенной цели. К тому времени уравнения Эйнштейна прочно связали искривление пространства и гравитацию, глубоко пустив корни в математику. Можно сказать, что общая теория относительности стала частью коллективного сознания или, наоборот, «коллективного бессознательного», — как сказал бы Юнг.
Безотносительно к тому, сознательно или бессознательно Калаби затрагивал физические проблемы, связь между его гипотезой и вопросами гравитации стала для меня важнейшим побудительным фактором, чтобы приняться за эту работу. Я понял, что доказательство гипотезы Калаби может стать важным шагом на пути к раскрытию какой-то глубокой тайны.
Вопросы, подобные тому, который поставил Калаби, часто формулируют в терминах метрики или геометрии пространства — набора функций, который позволяет определить длину любой траектории в соответствующем пространстве, — с этим понятием мы впервые столкнулись в первой главе. Всякое топологическое пространство способно принимать множество различных форм и, следовательно, обладать множеством всевозможных метрик. Одно и то же топологическое пространство может иметь форму куба, сферы, пирамиды или тетраэдра — геометрических тел, эквивалентных с топологической точки зрения. Вопрос, который затрагивает гипотеза Калаби, относящийся к разновидностям метрики, допустимым в данном пространстве, может быть переформулирован следующим эквивалентным образом: какие из геометрических форм возможны для пространств данной топологии?