Величайшие математические задачи

Процедура срезания и замазывания щупалец рубит пространство примерно так же, как терстоново рассечение на куски, каждый со своей геометрией (одной из восьми). Оказывается, что обе процедуры приводят к более или менее одинаковым результатам. Но есть один принципиально важный технический момент: операция обрезки не должна бесконечно ускоряться, так чтобы за конечное время проводилось бесконечное число операций. Это часть доказательства — одна из сложнейших.

Некоторые комментаторы критикуют математическое сообщество за несправедливое отношение к Перельману. Конечно, никто не должен быть закрыт для критики, да и инциденты, в которых, в принципе, можно разглядеть несправедливость или по крайней мере необдуманность, действительно имели место, но в целом математическое сообщество отреагировало на работу Перельмана быстро и положительно. Кроме того, реакция была осторожной, что абсолютно естественно в математике и науке вообще, и не без причин. Неизбежная публичность и слава, еще более яркая благодаря премии в миллион долларов, сказалась бы на любом человеке, и Перельман не исключение.

С момента размещения первой статьи Перельмана на arXiv в ноябре 2002 г. до объявления в марте 2010 г. о присуждении ему премии Института Клэя прошло восемь лет. Кажется, что это серьезная и, возможно, безосновательная задержка. Однако та, первая, публикация содержала лишь часть доказательства. Остальное по большей части было размещено на сайте в марте 2003 г. К сентябрю 2004 г., полтора года спустя после этой второй публикации, сообщество специалистов по потоку Риччи и топологии успело проработать доказательство — следует отметить, что этот процесс начался всего через несколько дней после первой публикации, — и ведущие эксперты объявили, что «поняли его». Они нашли в нем ошибки, нашли пробелы, но выразили уверенность в том, что все это можно исправить. Полтора года — совсем немного, когда речь идет о таком важном вопросе.

В конце 2005 г. Международный математический союз связался с Перельманом и предложил ему Филдсовскую премию, высшую математическую награду. Присудить ее предполагалось на Международном математическом конгрессе в 2006 г. Конгресс проводится раз в четыре года, так что это была бы первая возможность почтить ученого за серьезное достижение. Поскольку в полноте доказательства гипотезы Пуанкаре оставались некоторые сомнения — в нем все еще время от времени обнаруживались ошибки, — премия официально присуждалась за успехи в понимании потока Риччи (эта часть препринтов Перельмана к тому моменту уже считалась свободной от ошибок).

Условия присуждения премии за решение проблем тысячелетия размещены на сайте Института Клэя. В частности, предлагаемое решение должно быть опубликовано в рецензируемом журнале и принято математическим сообществом, причем отношение к нему не должно измениться за два года после публикации. После этого специальный консультативный комитет должен рассмотреть вопрос и выдать рекомендацию: присуждать автору премию или нет. Перельман не выполнил первого условия и, судя по всему, никогда уже этого не сделает. С его точки зрения, препринтов на сайте arXiv достаточно. Тем не менее Институт Клэя махнул на это рукой и объявил о начале уставного двухлетнего срока: требовалось посмотреть, не всплывут ли еще какие-нибудь ошибки или вопросы. Срок истек в 2008 г.; теперь нужно было следовать строгой (чтобы, не дай бог, не выдать премию преждевременно) процедуре.

Это правда, что некоторые эксперты не спешили выражать свою уверенность в корректности доказательства Перельмана. Причина понятна: они действительно не были в ней уверены. Не будет преувеличением сказать, что единственным человеком, способным быстро разобраться в доказательстве Перельмана, мог бы быть только второй Перельман. Невозможно читать математическое доказательство с листа, как музыканты читают ноты. Необходимо убедить самого себя в том, что здесь все разумно и имеет смысл. Всякий раз, когда аргументация усложняется, ты понимаешь, что возрастает и вероятность ошибки. То же можно сказать и о ситуации, когда излагаемые идеи становятся слишком простыми: многие перспективные доказательства споткнулись на утверждениях настолько очевидных, что ничего доказывать, казалось бы, вообще не требовалось. До тех пор, пока эксперты не убедились окончательно в том, что доказательство верно в своей основе — а именно в этот момент они признали достижение Перельмана, несмотря на оставшиеся пробелы и ошибки, — разумно было воздержаться от суждений. Вспомните, к примеру, шумиху вокруг холодного синтеза, данные о котором через некоторое время были опровергнуты. Осторожность — верная профессиональная реакция, и в данном случае вполне применимо известное изречение: чрезвычайные заявления требуют чрезвычайных доказательств.