Журнал «Компьютерра» №1-2 за 2006 год

Григорий Яковлевич Перельман родился и вырос в Ленинграде, учился в знаменитой 239-й школе. В 1982 году выиграл Международную математическую олимпиаду, набрав максимально возможное количество баллов. Степень кандидата наук получил в СПбГУ, затем некоторое время работал в Петербургском отделении математического института РАН; в конце восьмидесятых уехал в США, где работал до середины девяностых, а затем вернулся в Россию; сейчас снова работает в ПОМИ.

История доказательства гипотезы Пуанкаре напоминает историю доказательства теоремы Ферма: как и Эндрю Уайлс, Перельман на долгих семь лет (с возвращения в Россию до 2002 года) практически перестал публиковаться и вообще почти ничем не напоминал о себе. Никто не знал, над чем он работал. Затем, как гром среди ясного неба, – препринт (предварительная версия статьи, обычно предшествующая публикации и нужная для того, чтобы установить приоритет и довести свои результаты до научного сообщества), помещенный Перельманом на популярный препринт-сервер arXiv [Вот ссылки на препринты Перельмана на этом сервере, содержащие доказательство гипотезы Пуанкаре: в ноябре 2002 года. В препринте содержалось доказательство более общего геометрического факта, из которого, в частности, вытекала гипотеза Пуанкаре.

В 2003 году Григорий Яковлевич дополнил первый препринт еще одним, в котором подробнее изложил технические подробности доказательства. Кроме того, он выступил с лекциями, где комментировал свои идеи. Казалось бы, больше ничего не нужно: проверяйте доказательство и платите миллион. Однако одним из условий фонда Clay Mathematics Institute была публикация результата в реферируемых изданиях, а этого Перельман почему-то делать не хотел. Он вообще старался (и до сих пор старается) избегать любых контактов с прессой; создается впечатление, что приз Григория Яковлевича не интересует, а неразрывно связанная с ним слава – тяготит.

Текущее положение дел таково: множество экспертов тщательнейшим образом проверили детали доказательства. Опубликованы много сотен страниц пояснений и комментариев к двум препринтам Перельмана [См., например,. Пока ошибок не найдено, и большинство экспертов склоняются к мысли, что задача действительно решена. Что же касается обязательных публикаций, то представители Clay Mathematics Institute уже выступили с заявлением о том, что могут пересмотреть условия присуждения приза.

Ошибка на ошибке: история вопроса

Все началось с исследований, которые Пуанкаре вел в области алгебраической геометрии. Он работал над одним из краеугольных камней этой науки – теорией гомологий, особого класса топологических инвариантов. В 1900 году он опубликовал статью, в которой доказывал, что если у трехмерной поверхности гомология совпадает с гомологией сферы, то и сама поверхность – сфера; на самом деле это утверждение даже более сильное, чем утверждение гипотезы Пуанкаре.

Однако в его рассуждения вкралась ошибка, которую он сам и нашел, к 1904 году разработав важнейшее понятие фундаментальной группы и построив на его базе контрпример к собственной теореме. Тогда же он наконец-то поставил вопрос правильно.

Достаточно долго на гипотезу не обращали внимания. Интерес к ней пробудил Генри Уайтхед[Джон Генри Константин Уайтхед (J.H.C. Whitehead, 1904–1960) – выдающийся английский математик, один из основателей теории гомотопий. Не следует его путать с его собственным дядей Альфредом Уайтхедом, тоже математиком, но специализировавшимся на логике и алгебре, соавтором Бертрана Рассела по знаменитой книге Principia Mathematica], который в 1930-е годы объявил о том, что нашел доказательство. Как вы уже догадались, его доказательство также было неверным. Однако в процессе поиска и попыток исправить свои неточности он обнаружил интереснейшие классы трехмерных поверхностей и значительно продвинул теорию, которая позднее получила название топологии малых (или низших) размерностей. В пятидесятые и шестидесятые годы всплеск интереса к проблеме вновь породил несколько ошибочных заявлений о том, что теорему удалось доказать, и после этого математики наконец-то поняли, что гипотезу Пуанкаре так просто не возьмешь: с шестидесятых годов и до работ Григория Перельмана ложные доказательства предъявляли только любители (таких всегда достаточно; не присоединяйтесь к их числу).

Топология низших размерностей стала отдельной ветвью математики по удивительной причине – в многомерном случае все гораздо проще! Уже в 50-е и 60-е годы утверждения, аналогичные гипотезе Пуанкаре, были доказаны для более высоких размерностей. Трехмерный же случай продолжал оставаться камнем преткновения.