Дональдсона, по его словам, восхищает тот факт, что с фундаментальной точки зрения невозможно точно указать, что именно выделяет случай четырех измерений среди всех остальных. До того как вышла его работа, о «гладкой эквивалентности» (диффеоморфизме) не было известно практически ничего, хотя благодаря математику Майклу Фриману (ранее работавшему в Калифорнийском университете, Сан‑Диего) уже существовали определенные наработки в области топологической эквивалентности (гомеоморфизма). В свою очередь Фриман классифицировал четырехмерные многообразия с топологической точки зрения, основываясь на более ранней работе Эндрю Кассона, в настоящее время работающего в Йельском университете.
Дональдсон привнес в топологию целый ряд свежих идей, использование которых на практике позволило решить сложнейшую задачу классификации гладких (диффеоморфных) четырехмерных многообразий, открыв, фигурально выражаясь, закрытую прежде дверь. До него подобные многообразия были темным лесом. И хотя четырехмерные многообразия еще содержат в себе много загадок, по крайней мере, вопрос, с чего начинать их исследование, уже не стоит. При этом, однако, метод Дональдсона оказался чрезвычайно труден для практического применения. «Мы работали как лошади, пытаясь этим путем извлечь хоть какую‑то информацию!» – рассказал гарвардский геометр Клиффорд Таубс.[38]
В 1994 году Эдвард Виттен и его коллега – физик Натан Зайберг обнаружили намного более простой метод исследования геометрии четырехмерных пространств, несмотря на то что их подход основывался не собственно на геометрии, как метод Дональдсона, а на одной из теорий из области физики элементарных частиц – так называемой теории суперсимметрии. «В новом уравнении содержится вся информация, которая содержалась и в старом, – прокомментировал это открытие Таубс. – Разница лишь в том, что извлечь эту информацию из нового уравнения в тысячу раз проще».[39] Таубс, как и многие другие, использовал подход Зайберга‑Виттена для расширения наших знаний о геометрических структурах в четырехмерном пространстве, понимание которых на сегодняшний день остается весьма условным, но тем не менее очень важным для ответа на вопрос о природе пространства‑времени в общей теории относительности.
Виттен показал, что для большей части четырехмерных многообразий число решений уравнения Зайберга‑Виттена определяется исключительно топологией соответствующего многообразия. После этого Таубс доказал теорему, согласно которой количество решений этих уравнений, предопределенное топологией многообразия, совпадает с числом подпространств или кривых определенного типа ( семейства), которые можно поместить в данном многообразии. Определив количество кривых конкретного типа, соответствующих данному многообразию, можно как определить его геометрию, так и получить о нем много другой важной информации. Таким образом, справедливым будет заметить, что теорема Таубса позволила значительно продвинуться в области исследования подобных пространств.
Взглянув на историю исследований четырехмерных пространств, начиная с работ физиков Янга и Миллса в 1950‑х, можно обнаружить, что в своем развитии эта теория проходила этапы, на которых физика оказывала влияние на математику, плавно переходящие в этапы, на которых математика влияла на физику. Несмотря на свое физическое происхождение, теория Янга‑Миллса возникла не без участия геометрии, которая помогла лучше понять природу сил, объединяющих элементарные частицы в единое целое. Подойдя к данной проблеме с другой стороны, геометр Дональдсон использовал теорию Янга‑Миллса для того, чтобы понять топологию и геометрию четырехмерных пространств. Тот же взаимовыгодный обмен между математикой и физикой был продолжен в работе физиков Зайберга и Виттена и в последовавших за ними работах. Таубс так подвел итог этой бурной истории: «Однажды на Землю прилетел марсианин, дал нам уравнения Янга‑Миллса и улетел. Мы изучали их, и в конце концов возникла теория Дональдсона. Много лет спустя марсианин прилетел вновь и дал нам уравнения Зайберга‑Виттена»[40]. Хотя я и не могу поручиться за достоверность истории Таубса, пожалуй, из всех объяснений, которые я когда‑либо слышал, это – наиболее правдоподобное…
Второе важнейшее достижение геометрического анализа – и многие поставили бы именно его на первое место по важности – относится к доказательству знаменитой гипотезы, сформулированной в 1904 году Анри Пуанкаре и на протяжении более столетия остававшейся важнейшей проблемой трехмерной топологии. Основной причиной, по которой я считаю эту гипотезу выдающейся, является возможность сформулировать ее в виде одного простого утверждения, которое, тем не менее, держало в напряжении все математическое сообщество на протяжении сотни лет. В двух словах, эта гипотеза утверждает, что компактное трехмерное пространство топологически эквивалентно сфере, если любая петля, которую можно построить в данном пространстве, может быть стянута в точку без нарушения при этом целостности петли или пространства. Как уже было сказано ранее в данной главе, пространство, удовлетворяющее этому условию, содержит тривиальную фундаментальную группу.
Гипотеза Пуанкаре звучит весьма просто, но на самом деле она далеко не очевидна. Рассмотрим двухмерный аналог этой задачи, не обращая внимания на то, что в действительности проблема сформулирована для трех измерений (и решить ее в этом случае намного сложнее). Представим себе сферу, например глобус, по экватору которого проходит резинка. Теперь легонько подтолкнем эту ленту в направлении северного полюса так, чтобы при этом она не переставала касаться поверхности. Если резиновая лента достаточно эластична, то, достигнув полюса, она фактически стянется в одну точку. В случае тора ситуация будет иная. Представим себе, что резиновая лента проходит через дырку тора и выходит с противоположной стороны. В данном случае стянуть резиновую ленту в одну точку, не разрезая при этом тор, невозможно. Резиновую ленту, идущую вокруг внешней поверхности тора, можно переместить в его верхнюю часть и оттуда уже спустить на внутреннюю поверхность. Однако пока лента находится на поверхности тора, стянуть ее в точку не удастся. По этой причине для тополога сфера имеет фундаментальное отличие от тора или любого другого многообразия, имеющего одну или несколько дырок. Гипотеза Пуанкаре, по сути, представляет собой вопрос, чем в действительности является топологическая сфера.
Прежде чем перейти к доказательству, я хотел бы вернуться на несколько десятилетий назад, в 1979 год, когда я еще работал в Институте перспективных исследований. В тот год я пригласил в Принстон более дюжины исследователей со всего мира, работающих в области геометрического анализа, чтобы вместе с ними попытаться заложить основы этой новой дисциплины. Мною было отобрано 120 важнейших геометрических вопросов, почти половина из которых в настоящее время полностью решена. Гипотеза Пуанкаре в этот список не входила. Причиной тому, с одной стороны, было отсутствие необходимости привлекать внимание к задаче, которая и без того являлась одной из известнейших в математике. С другой стороны, я искал задачи, имеющие более узкую формулировку, – такие, на которые можно найти однозначный ответ, – причем, по возможности, в обозримое время. И хотя нам порой приходилось бороться за то, чтобы узнать что‑то новое, мы достигли заметного прогресса именно на пути решения подобных задач; это как раз то, что стимулирует математиков к работе сильнее, чем что‑либо другое. В то время, однако, никто не знал, что делать с гипотезой Пуанкаре.
Одним из тех, кто не принимал участия в наших дискуссиях, был математик Ричард Гамильтон, работавший тогда в Корнеллском университете и впоследствии осевший на математическом факультете Колумбийского университета. В то время он как раз приступал к выполнению амбициозного проекта, посвященного поиску методов преобразования сложной и не обладающей гладкостью метрики в более гладкую. Несмотря на все упования Гамильтона, эти разработки не принесли столь быстрого успеха, на который он рассчитывал. Его интересовала чрезвычайно сложная система уравнений, относящаяся к вопросу о потоке Риччи – одном из видов геометрического потока, которые уже упоминались ранее. По сути дела, геометрический поток представляет собой метод, позволяющий разгладить выпуклости и прочие неровности на неоднородной поверхности, придавая таким образом поверхностям более однородную кривизну и выявляя фундаментальные формы, лежащие в их основе. Идеи Гамильтона не вошли в мой список из 120 основных задач хотя бы потому, что в то время он еще ничего не опубликовал по этой теме. Он скорее забавлялся ими, чем пытался найти решение.