Прошло еще двадцать лет, прежде чем задача снова чуть- чуть поддалась. В 1982 году молодой американский математик Майкл Фридман (ему был тогда 31 год) опубликовал доказательство гипотезы Пуанкаре для размерности 4. За это достижение Фридман получил медаль Филдса. Однако справедливость гипотезы для размерности 3 оставалась под сомнением: ни один из методов, применимых для более высоких размерностей, не сработал. Нужен был революционно новый путь — такой, какой и сам Анри Пуанкаре не смог себе представить. Одна из сложностей, которые вызывает четырехмерное пространство, заключается в том, что, в отличие от большего числа размерностей, это не вполне абстракция. Мы способны жить в трехмерном пространстве, у которого четыре измерения. И пусть большинство из нас не в состоянии это себе представить.
Говорят, правда, что один из ныне живущих людей, американский геометр Уильям Терстон, способен вообразить четыре измерения, а его геометрическая интуиция несравнима ни с чьей. "Когда вы смотрите на него или говорите с ним, часто бывает так — он смотрит в пространство, и вы понимаете — он видит в этот момент картинки, — рассказал мне Джон Морган, профессор Колумбийского университета, друг Терстона и соавтор одной из книг о доказательстве Перельманом гипотезы Пуанкаре. — Такого глубокого интуитивного проникновения в геометрию я не встречал ни у кого. Есть ли другой такой математик, как Билл Терстон? Как человек может обладать такой способностью к постижению геометрии? У меня самого есть приличные математические способности, но я и близко не подошел к умозаключениям, какие делает он".
Терстон говорил о трехмерных множествах в четырехмерных пространствах так, как если бы он мог видеть их и манипулировать ими. Он рассуждал о том, как их можно разрезать на кусочки и что при этом произойдет. Для тополога это очень важное упражнение. Сложные объекты обыкновенно изучают, разделяя их на более простые составные части. Понимание свойств этих частей и их связей существенно для понимания более крупного объекта.
Терстон предположил, что трехмерные многообразия можно "препарировать" и получить объекты, относящиеся к одной из восьми разновидностей трехмерных многообразий. Было бы не совсем верным назвать гипотезу Терстона шагом на пути доказательства гипотезы Пуанкаре. На самом деле гипотеза Терстона более сложна, хотя и менее знаменита, и если бы ему самому удалось доказать свою гипотезу, справедливость гипотезы Пуанкаре стала бы простым ее следствием. Но Терстон не смог этого сделать.
"Я видел, что Билл [Терстон] делает успехи, — вспоминает Морган. — И когда у него ничего не вышло, я подумал — раз у него не получилось, не получится ни у кого. Как сказал как-то Джефф [Чигер], "заниматься гипотезой Пуанкаре стало слишком трудно".
Пока другие математики благоразумно избрали себе другую сферу приложения усилий, Ричард Гамильтон, профессор из Беркли, продолжал биться над гипотезой Пуанкаре, а затем над гипотезой Терстона. Эпитет, которым обычно награждали Гамильтона журналисты, — "колоритная личность". Это подразумевало, что Гамильтона интересовала не только математика, но также серфинг и женщины. Он общителен, обаятелен и, безусловно, блестящий ученый — потому что именно он открыл путь к доказательству обеих гипотез.
В начале 1980-х Гамильтон предложил подход, который казался обманчиво простым. Поверхность сферы в любой размерности обладает постоянной положительной кривизной. Это основное свойство объекта. Если кто-нибудь смог бы найти способ измерить кривизну поверхности неопознаваемого и невообразимого трехмерного шара, а после принялся бы его деформировать, все время измеряя кривизну поверхности, то пришел бы в точку, в которой кривизна постоянна и положительна. Отсюда следовало бы, что шар является трехмерной сферой. То есть что шар все это время был сферой, поскольку трансформация не изменяет топологические свойства объектов, а просто делает их более узнаваемыми.
Гамильтон открыл способ помещения метрики на шар, чтобы измерить кривизну его поверхности, и составил уравнение, описывающее, как шар и метрика будут меняться в процессе деформации. Гамильтон доказал, что в случае деформированного шара кривизна поверхности будет не уменьшаться, а, напротив, расти. Это помогло ему показать, что кривизна будет положительной. Но как убедиться в том, что так будет всегда, Гамильтон не знал.
Рассмотрим простую функцию вроде тех, которые вы изучали в школе, например \/х. Ее график будет выглядеть как плавная линия, пока не дойдет до точки, в которой х = о. Здесь начинается бедлам: делить на о нельзя: график стремится к бесконечности. Эта точка называется сингулярностью.
Процесс трансформирования метрики, описываемый уравнением, предложенным Гамильтоном, назвали потоками Риччи. Если воздействовать на воображаемую метрику невообразимого шара этим теоретическим инструментом, то могут возникнуть сингулярности.
Гамильтон предполагал, что их можно обойти. Для этого при подходе к ним функцию — поток Риччи — останавливают, вручную исправляют ошибку и возобновляют поток. Когда математики говорят, что они исправили что-то вручную, это означает, что в проблемном месте они воспользовались другой функцией. Похожее часто происходит в компьютерном программировании: в различных условиях пользуются разными функциями. Например, функция всегда равна ху если х равен или больше о, и равна -х во всех случаях, когда х меньше о. В топологии, где воображаемые участвуют в воображаемой деформации воображаемых объектов, такое вмешательство называют хирургией. Поэтому метод, предложенный Гамильтоном, называется потоками Риччи с хирургией.
Гамильтон не был первым математиком, решившим, что он знает, как доказать гипотезу Пуанкаре. И не он первым столкнулся с непреодолимыми препятствиями на пути к доказательству. Чтобы его программа, то есть план доказательства, сработала, истинными должны были оказаться несколько вещей. Во-первых, кривизна поверхности, которую стремился измерить Гамильтон, должна иметь постоянный предел. Если предположить, что это так, то истинность доказательства подтверждается. Но как узнать, что предположение верно? Во-вторых, хотя Гамильтон разработал метод потока Риччи с хирургией и показал, что этот метод эффективен в некоторых случаях, он не смог доказать, что его можно применить к любым сингулярностям. Он размышлял над их классификацией, но не мог найти универсальный способ обезвредить их или даже определить все их разновидности. Так Гамильтон стал еще одним математиком, который делал успехи, но не преуспел и которому, по выражению Моргана и Чигера, стало "слишком трудно заниматься гипотезой Пуанкаре".
Сейчас, четверть века спустя, очевидны две вещи: во-первых, в действительности у Гамильтона не было плана доказательства разом гипотезы геометризации и гипотезы Пуанкаре. Во-вторых, его личная трагедия оказалась так же велика, как и его научное достижение: Гамильтон застрял, когда ему было сорок лет, и с тех пор ничуть не продвинулся вперед.
Там, где остановился Гамильтон, начал Перельман. С этого же времени он начал исчезать: все реже посещал семинары, постепенно свел к минимуму присутственные часы в Институте им. Стеклова и в конце концов стал приходить только за зарплатой. Постепенно интенсивность его электронной переписки уменьшилась настолько, что большинство знакомых решило: Перельман — один из тех, кто, однажды прогремев, столкнулся с неразрешимой задачей, был погребен под ней и покинул математику.
Теперь мы знаем, что причина была не в этом. Григорий Перельман закончил изучать математику и желал применить свои знания. Так вышло, что желание учиться или, если быть точным, желание узнавать о математике от других связывало Перельмана с внешним миром. Теперь же полезность мира стремилась к нулю, а следовательно, требования внешней среды стали еще менее обоснованными и вызывали еще большее раздражение, чем прежде. Перельман повернулся к миру спиной, к задаче — лицом.