Одним из тех, кто не принимал участия в наших дискуссиях, был математик Ричард Гамильтон, работавший тогда в Корнеллском университете и впоследствии осевший на математическом факультете Колумбийского университета. В то время он как раз приступал к выполнению амбициозного проекта, посвященного поиску методов преобразования сложной и не обладающей гладкостью метрики в более гладкую. Несмотря на все упования Гамильтона, эти разработки не принесли столь быстрого успеха, на который он рассчитывал. Его интересовала чрезвычайно сложная система уравнений, относящаяся к вопросу о потоке Риччи — одном из видов геометрического потока, которые уже упоминались ранее. По сути дела, геометрический поток представляет собой метод, позволяющий разгладить выпуклости и прочие неровности на неоднородной поверхности, придавая таким образом поверхностям более однородную кривизну и выявляя фундаментальные формы, лежащие в их основе. Идеи Гамильтона не вошли в мой список из 120 основных задач хотя бы потому, что в то время он еще ничего не опубликовал по этой теме. Он скорее забавлялся ими, чем пытался найти решение.
Возможность познакомиться с его достижениями на 1979 год я получил, выступая с докладом в Корнеллском университете. Гамильтон тогда не считал свои уравнения применимыми к доказательству гипотезы Пуанкаре — он рассматривал их просто как задачу, небезынтересную для исследователя. Впервые столкнувшись с подобными уравнениями, я также занял весьма скептическую позицию по поводу их применимости… Уравнения выглядели слишком сложными, чтобы их можно было использовать на практике. Однако работа, проделанная Гамильтоном после этого, позволила ему опубликовать в 1983 году статью, посвященную решению уравнений, которые сейчас носят название гамильтоновых. В этой статье Гамильтон доказал особый случай гипотезы Пуанкаре, а именно тот случай, при котором кривизна Риччи положительна. О кривизне Риччи, тесно связанной с физикой, более подробно будет рассказано в следующей главе.
Мой изначальный скептицизм побудил меня досконально исследовать статью Гамильтона, вчитываясь буквально в каждую строку, прежде чем я окончательно согласился с ней. При этом доказательство Гамильтона столь захватило меня, что по прочтении я немедленно поручил трем моим аспирантам из Принстона начать работу над его уравнениями. Тогда же я посоветовал Гамильтону попытаться воспользоваться своим подходом для доказательства гипотезы геометризации Тёрстона, относящейся к классификации трехмерных многообразий по восьми типам геометрий, расширенная форма которой включает в себя и общее доказательство гипотезы Пуанкаре. К сожалению, в то время я был мало осведомлен о каких-либо других методах, которые бы пригодились для дальнейшей работы над этим вопросом. Как ни удивительно, Гамильтон взялся за эту задачу с огромной энергией, постепенно продвигаясь в области исследований потока Риччи на протяжении следующих двадцати лет, работая в основном самостоятельно, хотя и находясь в тесном контакте со мной и моими студентами. Контакты между нами заметно оживились в 1984 году, когда мы с Гамильтоном вместе поступили на работу в Калифорнийский университет в Сан-Диего, где заняли смежные офисы. Посещение его семинаров по потокам Риччи было обязательным для всех моих студентов. Сотрудничество с Гамильтоном позволило нам узнать много нового, впрочем, я надеюсь, что он также перенял кое-что и от меня. Переехав в Гарвард в 1987 году, я больше всего жалел об утраченной возможности работать в тесном контакте с Гамильтоном.
Не обращая внимания на окружающих, Гамильтон с неколебимой решительностью занимался решением своей задачи. Помимо прочего им было опубликовано полдюжины важнейших статей — порядка девяноста страниц каждая, — и в конце концов, ни один из его аргументов не оказался бесполезным. Все они пригодились при восхождении на гору Пуанкаре.
Так, например, Гамильтон показал, что все без исключения геометрические объекты, имеющие округлую форму, могут быть преобразованы в сферы при помощи потока Риччи — в полном соответствии с идеями Пуанкаре. Однако, как им было установлено, при деформации более сложных объектов будут неминуемо возникать выступы, складки и прочие сингулярности. Возможности обойти эти сингулярности не было, поэтому столь важным являлся вопрос, с какими именно сингулярностями можно столкнуться в данном процессе. Полный список всевозможных особенностей, которые могут возникнуть при деформации, был сформулирован Гамильтоном на основании моей совместной работы с Питером Ли, к которой я привлек его внимание за несколько лет до этого, — впрочем, Гамильтон весьма впечатляюще обобщил наши результаты.
Мой личный вклад в описываемые исследования восходит к 1973 году, когда я приступил к использованию нового метода, разработанного мной для гармонического анализа — области математики, насчитывающей несколько сотен лет и используемой для описания равновесных ситуаций. Созданный мной метод был основан на так называемом принципе максимума, который предполагает рассмотрение худшего из всех возможных сценариев. Представим, к примеру, что нам требуется доказать неравенство А < 0. Для этого нужно сформулировать вопрос так: «Какое максимальное значение может принимать А?» Если рассмотреть наихудший случай, то есть взять наибольшее из возможных значений А и его величина все равно останется меньше нуля, то этим мы и подтвердим истинность исходного утверждения. На этом работу по доказательству можно считать законченной и насладиться заслуженным отдыхом. Я, иногда работая сам, иногда — совместно с Ш. Ю. Ченгом, моим бывшим однокурсником из Китайского университета Гонконга, применил этот принцип к огромному количеству нелинейных проблем. Работа включала в себя исследование уравнений, повсеместно возникающих в геометрии и физике и носящих в математике название эллиптических. Хотя подобные задачи, как правило, чрезвычайно сложны, в них отсутствует зависимость от времени, и поэтому их можно рассматривать как стационарные, что заметно упрощает решение.
В 1978 году мы с Питером Ли рассмотрели более сложную, зависящую от времени — динамическую ситуацию. В частности, мы исследовали уравнения, описывающие процессы распространения тепла через тело или многообразие. Мы рассмотрели случай, в котором одна из переменных, например энтропия — величина, характеризующая беспорядок системы, — изменяется во времени. Наиболее известным нашим вкладом в эту область стало неравенство Ли-Яу, описывающее с математической точки зрения процесс изменения теплового потока или другой аналогичной ему переменной во времени. Гамильтон и Перельман, в свою очередь, рассмотрели изменение во времени не теплового потока, как мы, а именно энтропии, отвечающей за беспорядок в системе. Соотношение Ли-Яу называется «неравенством», поскольку значение некой величины — в данном случае значение теплового потока или энтропии — в конкретной точке в определенный момент времени больше или меньше значения теплового потока или энтропии в той же точке в другой момент времени.
Наш подход дал в руки ученым количественный метод исследования процессов развития сингулярностей в нелинейных системах путем отслеживания расстояния между двумя точками с течением времени. Когда две точки сближаются настолько, что расстояние между ними становится равным нулю, вы получаете сингулярность. И сингулярность, и понимание этих сингулярностей является ключевым моментом для исследования процессов распространения тепла в целом. В частности, наш метод позволил подобраться к сингулярности настолько близко, насколько только это возможно, показывая, что происходило непосредственно перед столкновением — например, какова была скорость сближения точек. Это напоминает попытку реконструкции событий, предшествовавших автомобильной аварии.
Для того чтобы увидеть сингулярность крупным планом — или разрешить ее, как принято говорить в математике, — нами был изобретен особый вид «увеличительного стекла». Этот прибор мы используем для того, чтобы получше рассмотреть ту область, в которой пространство сходится в особую точку. Затем мы увеличиваем выбранную область, сглаживая при этом все складки и неровности. Этот процесс повторяется не один или два, но бесконечное число раз. Чтобы увидеть полную картину, мы растягиваем не только пространство, но и время — то есть замедляем его. На следующем этапе происходит сравнение полученного описания точки сингулярности, соответствующее бесконечно большому числу увеличений, с описанием системы до столкновения точек. Неравенство Ли-Яу позволяет непосредственно сопоставить то, что было до столкновения, с тем, что стало после.
