В ноябре 2002 года на сервере arXiv появилась работа под номером math/0211159 — тридцать девять страниц, автор Grisha Perelman, название «The entropy formula for the Ricci flow and its geometric applications». Никакого сопроводительного письма, никаких анонсов в профильных журналах. Просто файл в открытом доступе. И через несколько недель мировое математическое сообщество поняло: перед ними — первая часть доказательства гипотезы Пуанкаре, задачи, которая ждала решения больше века и была включена в список семи задач тысячелетия Клэевского института с премией в миллион долларов.
Гипотеза Пуанкаре звучит обманчиво просто: любая замкнутая трёхмерная поверхность без дыр, на которой каждую петлю можно стянуть в точку, топологически эквивалентна сфере. На двумерной поверхности сферы любая верёвка, брошенная на её поверхность, стягивается к одной точке — в отличие от тора, где верёвка, обёрнутая вокруг «бублика», не сдвинется никуда. Трёхмерный аналог этого свойства описывает структуру пространства, в котором мы живём, но математики не могли доказать это утверждение с 1904 года, когда французский математик Анри Пуанкаре его сформулировал.
Ричард Гамильтон в 1980-х разработал метод потока Риччи — деформацию геометрии многообразия по аналогии с распространением тепла в физике. Представьте, что трёхмерная поверхность — это кусок пластилина, который начинает плавиться по определённым правилам: искривлённые участки сглаживаются, выпуклости расплываются, поверхность стремится к однородности. Проблема в том, что в процессе деформации могут возникать сингулярности — точки, где кривизна устремляется в бесконечность, и поток разрушается. Гамильтон надеялся, что если научиться контролировать эти разрывы и «хирургически» их вырезать, то поток приведёт многообразие к стандартным геометрическим формам — и докажет не только гипотезу Пуанкаре, но и более общую гипотезу геометризации Тёрстона.
Перельман в своём первом препринте представил монотонную функцию — выражение, которое убывает вдоль потока Риччи и позволяет контролировать, как ведут себя сингулярности. В аннотации он прямо заявил: проверяются несколько утверждений, связанных с программой Гамильтона по доказательству гипотезы геометризации для замкнутых трёхмерных многообразий. Перельман не изобретал новый метод с нуля — он завершал двадцатилетнюю программу, предложенную до него, но застрявшую на проблеме контроля инъективного радиуса в областях формирования сингулярности.
11 ноября 2002 года — первый препринт. Март 2003 года — второй. Июль 2003 года — третий. Перельман не стал подавать работу в Annals of Mathematics или Inventiones Mathematicae, где рецензирование могло занять годы. Он разместил доказательство на arXiv, открытом архиве препринтов, и разослал ссылки нескольким коллегам. Математическое сообщество получило доступ к тексту мгновенно — но не к его пониманию.
Перельман писал сжато. Он опускал промежуточные шаги, ссылался на результаты Гамильтона и других геометров, не всегда указывая, где именно в их работах искать нужное утверждение. Для специалистов по потоку Риччи это был язык профессионалов — но даже они не могли проверить каждый переход без многомесячной работы. В отличие от классической публикации, где рецензенты в закрытом режиме проверяют текст перед выходом, препринты Перельмана запустили процесс публичной проверки: математики по всему миру читали, обсуждали, искали пробелы.
Брюс Клейнер и Джон Лотт взялись написать детализированную версию доказательства — расшифровку сжатых аргументов Перельмана для более широкой аудитории. Джон Морган и Ган Тянь работали над альтернативным изложением. Хуай-Донг Цао и Си-Пин Чжу опубликовали в 2006 году статью в Asian Journal of Mathematics, где также представили полное изложение доказательства — и это вызвало самый громкий скандал вокруг доказательства. Журналом руководил Яу Шинтун — наставник Гамильтона и влиятельнейший геометр эпохи; рецензирование прошло за рекордно короткий срок, а Яу публично подавал результат как триумф китайской математической школы. Коллеги увидели в этом попытку перераспределить приоритет. Перельман отреагировал жёстко: «Мне не ясно, что нового они внесли. Похоже, Чжу не до конца понял рассуждение и просто переработал его». И шире — о дисциплине в целом: «Чужаками здесь оказываются не те, кто нарушает этические нормы, — а такие, как я». Цао и Чжу настаивали, что лишь систематизировали аргументы Перельмана и проверили их корректность; сам Перельман впоследствии говорил, что конфликт вокруг приоритета стал одной из причин его разрыва с математическим сообществом.
22 августа 2006 года президент Международного математического союза Джон Болл объявил на церемонии в Мадриде, что Григорий Перельман награждён медалью Филдса — высшей наградой в математике — с формулировкой «за вклад в геометрию и революционные прозрения в аналитическую и геометрическую структуру потока Риччи» — Болл сознательно не упомянул гипотезу Пуанкаре: к июлю 2006-го формальная верификация ещё не была завершена, и связывать высшую награду с непроверенным доказательством он не хотел. Перельман не приехал на церемонию. Не ответил на приглашение прочитать пленарную лекцию. Не принял медаль.
Болл позже связал отказ с тем, что Перельман чувствовал себя изолированным от математического сообщества и не хотел становиться его символической фигурой. Nature News опубликовала статью об отказе, отметив, что доказательство строилось на методах изучения деформаций поверхностей, разработанных Гамильтоном, и что три препринта, размещённые онлайн в 2002 и 2003 годах, стали основой для международной проверки.
К тому моменту математики уже несколько лет разбирали тексты Перельмана. Клейнер и Лотт готовили свою версию доказательства, Морган и Тянь работали над книгой, коллеги по всему миру проводили семинары и конференции, где обсуждались отдельные шаги. Процесс напоминал археологическую экспедицию: каждый фрагмент нужно было извлечь, очистить от лишнего, сопоставить с соседними находками. Некоторые переходы требовали недель работы, чтобы убедиться, что ссылка на результат Гамильтона действительно применима в данном контексте.
В 2010 году Клэевский институт официально признал доказательство Перельмана завершённым и присудил ему премию в миллион долларов. Перельман отказался и от неё. Это был второй публичный отказ — и на этот раз уже не от символической награды, а от реальных денег. Президенту института Джеймсу Карлсону причин он не назвал, но агентству Interfax объяснение дал: его вклад не больше вклада Гамильтона, создавшего сам метод потока Риччи, — а премию постановили вручить в одиночку. «Если коротко, главная причина — моё несогласие с организованным математическим сообществом. Мне не нравятся их решения, я считаю их несправедливыми». Для человека, который ещё в 1996-м отверг премию Европейского математического общества из принципа, а в 2006-м смотрел, как чужие имена обрастают его результатом, это была не внезапная выходка, а последовательная позиция. Математическое сообщество продолжало обсуждать его мотивы: кто-то видел в этом протест против коммерциализации науки, кто-то — недовольство тем, как распределялись заслуги между ним и Гамильтоном; позднейшие «развёрнутые интервью» о его истинных мотивах — вроде рассказа продюсера Забровского в 2011-м — журналисты считали фальшивкой.
К моменту присуждения премии прошло почти восемь лет с момента публикации первого препринта. ArXiv не отменил научную проверку — он перенёс её из редакционных процедур в публичную международную работу. Вместо двух-трёх рецензентов, закрытых от внешнего мира, доказательство проверяли десятки специалистов, обменивавшихся замечаниями на конференциях, в переписке, в собственных статьях. Это было медленнее, чем могло бы быть в идеальном мире, но надёжнее: каждый сомнительный шаг проходил через множество независимых проверок.
Несколько десятков страниц препринтов потребовали многих лет коллективного анализа, прежде чем математическое сообщество признало доказательство завершённым. Программа Гамильтона по потоку Риччи, начатая в 1980-х, была доведена до конца Перельманом в 2002–2003 годах — но окончательное признание пришло только после того, как другие математики расшифровали сжатые аргументы, заполнили пробелы в изложении и убедились, что хирургия сингулярностей действительно работает. Открытый доступ не заменил научную строгость — он распределил её среди сотен глаз и умов, превратив доказательство из закрытого манускрипта в живой организм, который рос и проверял сам себя на прочность.