В том же году Ричард Гамильтон, математик из Корнеллского университета, приступил к реализации программы, которая, по его мнению, должна была доказать гипотезу геометризации Тёрстона226
. Он хотел взять произвольное трехмерное многообразие и, надувая его, как воздушный шарик, непрерывно деформировать в форму, которая, как он надеялся, будет точно отвечать модели Тёрстона. На пути к этой цели он добился значительного прогресса. Большинство специалистов полагало, что его техника должна сработать, но ни Гамильтон, ни кто-либо еще не смогли избавиться или еще как-то решить проблему сингулярностей — участков многообразия, которые не только не становились лучше при надувании, но даже превращались в нечто худшее.В 2002 году скромный российский математик Григорий Перельман (Гриша) (родился в 1966 г.) из Математического института им. Стеклова поразил математическое сообщество, опубликовав в интернете первую из трех коротких, но чрезвычайно насыщенных статей. В этих статьях общим объемом всего 68 страниц автор утверждал, что довел до конца исследовательскую программу Гамильтона, которой исполнилось уже двадцать лет227
. В них показано, что некоторые сингулярности вообще никогда не возникают, а другие при должной аккуратности можно устранить. В совокупности статьи содержали доказательство гипотезы геометризации и, как следствие, классической гипотезы Пуанкаре.Математическое сообщество было настроено скептически — такие заявления звучали и раньше, а в статьях было очень мало деталей, — но и с осторожным оптимизмом. Перельман был уважаемым математиком и следовал широко признанному плану Гамильтона.
В рассуждениях Перельмана многое осталось недосказанным. Даже лучшие специалисты по геометрии и топологии испытывали трудности при проверке правильности доказательства. Три независимые группы математиков под микроскопом изучили его аргументы, восполнив недостающие детали228
. Средняя длина анализа составила свыше трехсот страниц. Никаких серьезных ошибок не было найдено.К концу 2006 года сложилось общее мнение, что доказательство Перельмана правильно. В тот год журнал «Science» назвал доказательство Перельмана «прорывом года»229
. Как Смейл и Фридман до него, сорокалетний Перельман был номинирован на филдсовскую премию за вклад в доказательство гипотезы Пуанкаре (Тёрстон тоже получил филдсовскую премию за работу, которая косвенно привела к окончательному доказательству). Начался обратный отсчет времени в гонке за приз в миллион долларов (некоторые полагают, что награду вручат Перельману и Гамильтону вместе).Возможно, покорена одна из высочайших математических вершин, подобная великой теореме Ферма, доказанной десятью годами ранее. Флаг водружен. Кто-то, возможно, посчитает, что это достижение звучит как похоронный звон по целой отрасли математики. Разумеется, это не так. С этой вершины математикам открывается ошеломляющее зрелище еще неизведанных пиков, ждущих своих покорителей. Как и в случае великой теоремы Ферма, не так важен сам результат, как огромный пласт математических методов, созданных в попытках доказать его.
Великая математика порождает еще более великую. Решение Эйлером задачи о кёнигсбергских мостах и данное им доказательство формулы для многогранников положило начало целой череде открытий во многих областях красивейшей математики и привело к созданию топологии. Гипотеза Пуанкаре — лишь одна из остановок в этом волнующем путешествии. Топология по-прежнему живее всех живых и активно развивается.
У этой удивительной истории странное и печальное послесловие, связанное с тем, какое влияние оказало доказательство на жизнь Перельмана. Начиналось все хорошо. В апреле 2003 года он отправился в краткий тур с целью разъяснения своей работы. На его лекциях присутствовали Эндрю Уайлс, Джон Форбс Нэш младший (герой голливудского фильма-биографии «Игры разума»), Джон Конвей и другие хорошо известные математики. Но после возвращения в Россию придирчивость математического сообщества и поползновения других математиков, желавших примазаться к его успеху, начали испытывать его терпение230
.Перельман, который и раньше вел затворнический образ жизни, стал еще более замкнутым. Он хотел, чтобы его работа говорила сама за себя, и не желал принимать участия в процессе проверки. В конце концов, разочарование математическим сообществом окончательно возобладало, он уволился из академического института, перестал отвечать на письма и, судя по всему, полностью порвал с математикой. Беспрецедентным поступком, шокировавшим все научное сообщество, стал его отказ принять филдсовскую премию.
В конце лета 2006 года безработный Перельман жил вместе с матерью на ее нищенскую пенсию в маленькой квартирке в Санкт-Петербурге. Когда его спросили, примет ли он денежную сумму от Института математики Клэя, он ответил: «Я не буду решать, принять ли награду, до тех пор пока ее не предложат»231
.