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