Великая Теорема Ферма
Шрифт:
Уайлс признался Питеру Сарнаку, что ситуация становится отчаянной и он готов признать поражение. Сарнак был склонен думать, что трудности Уайлса отчасти обусловлены его одиночеством: у Уайлса не было надежного человека, с которым он мог бы «перебрасываться» идеями, который вдохновлял бы Уайлса исследовать не столь прямые подходы. Сарнак посоветовал Уайлсу довериться кому-нибудь и попытаться еще раз восполнить пробел. Уайлсу был необходим специалист, свободно владеющий методом Колывагина-Флаха и способный, к тому же, хранить тайну. По зрелом размышлении Уайлс решил пригласить к себе в Принстон для совместной работы Ричарда Тейлора, ученого из Кембриджского университета.
Тейлор
В январе Уайлс с помощью Тейлора снова без устали исследовал метод Колывагина-Флаха, пытаясь найти выход из создавшегося затруднения. Иногда, после нескольких дней упорнейших усилий, Уайлс и Тейлор вступали на новую территорию, но неизбежно возвращались к исходному пункту. Проникая все дальше и дальше вглубь неизвестной территории и возвращаясь каждый раз туда, откуда они выходили, Уайлс и Тейлор осознали, что находятся в самом центре невообразимо огромного лабиринта. Больше всего они боялись, что этот лабиринт бесконечен, что из него нет выхода и они обречены бесцельно блуждать до скончания времени.
Весной 1994 года, когда казалось, что ситуация не может быть хуже, на экраны компьютеров всего мира поступило следующее сообщение по электронной почте:
Дата: 03 апр 1994
Тема: Снова великая теорема Ферма!
Сегодня в доказательстве великой теоремы Ферма произошел поистине поразительный сдвиг. Наум Элькис заявил, что располагает контрпримером. Таким образом, великая теорема Ферма оказалась неверной! Элькис выступил с сообщением о контрпримере сегодня в Институте. Построенное им решение уравнения Ферма имеет невероятно большую простую степень (больше, чем 1020), тем не менее оно представляет собой разновидность точечной конструкции Хенгера в комбинации с весьма остроумным вариантом метода спуска для перехода от модулярных кривых к кривой Ферма. Самая трудная часть задачи заключается в том, чтобы показать, что область определения решения (которая априори есть некоторое поле классов колец мнимого квадратичного поля) действительно допускает спуск на Q.
Я не смог проследить за всеми деталями, которые были весьма сложными… Таким образом, есть основания полагать, что гипотеза Таниямы-Шимуры все-таки неверна. По мнению экспертов, гипотезу все еще можно спасти, обобщая понятие автоморфного представления и вводя понятие «аномальных кривых», которое приведет к «квазиавтоморфному представлению».
Анри Дарман
Принстонский университет
Наум Элькис, профессор Гарвардского университета, в 1988 году обнаружил контрпример к гипотезе Эйлера. Теперь Элькис, по-видимому, нашел контрпример, опровергающий Великую теорему Ферма. Для Уайлса это был весьма чувствительный удар: причина, по которой ему никак не удавалось исправить доказательство заключалась в том, что так называемая ошибка была прямым следствием ложности Великой теоремы Ферма. Для математического сообщества в целом удар был еще сильнее, так как если Великая теорема Ферма неверна, то, как показал Фрей, это привело бы к эллиптической кривой, которой не соответствует никакая модулярная форма, а это прямо противоречит гипотезе Таниямы-Шимуры. Тем самым, можно было утверждать, что Элькис нашел не только контрпример Великой теореме Ферма, но и к гипотезе Таниямы-Шимуры.
Кончина гипотезы Таниямы-Шимуры имела бы разрушительные последствия для всей теории чисел, поскольку на протяжении двух десятилетий математики молчаливо предполагали, что гипотеза Таниямы-Шимуры верна. В главе 5 мы упоминали о том, что математики опубликовали десятки доказательств различных теорем, начинавшихся со слов: «Предположим, что гипотеза Таниямы-Шимуры верна…», но если Элькис доказал, что это предположение неверно, это означало бы, что все опиравшиеся на него теоремы рухнули. Математики немедленно стали требовать более подробной информации и забросали Элькиса вопросами, но ответов и разъяснений не последовало. Никаких
Через день или два всеобщей сумятицы некоторые математики взглянули на сообщения о контрпримере Элькиса еще раз и поняли, что, хотя сообщение было датировано 2 или 3 апреля, объяснялось это тем, что электронная почта была получена из вторых или третьих рук. Первоначально сообщение было датировано 1 апреля: сообщение было шуткой канадского специалиста по теории чисел Анри Дармана. Розыгрыш стал уроком для тех, кто распространял слухи о Великой теореме Ферма, и на какое-то время Великую теорему Ферма, Уайлса, Тейлора и доказательство с вкравшейся ошибкой оставили в покое.
В то лето Уайлсу и Тейлору не удалось продвинуться ни на шаг. После восьми лет непрестанных усилий — несмотря на то, что поиск доказательства стал делом его жизни, Уайлс был на грани того, чтобы признать свое поражение. Он сообщил Тейлору, что не видит смысла продолжать их совместные усилия по исправлению доказательства. Тейлор к тому времени уже принял решение провести сентябрь в Принстоне прежде, чем возвращаться в Кембридж, и поэтому, несмотря на то, что Уайлс пал духом, Тейлор предложил поработать над проблемой еще месяц. Если к концу сентября выяснится, что никаких признаков успеха нет, они публично признают поражение и опубликуют доказательство в том виде, в каком оно есть, чтобы предоставить другим возможность найти и исправить вкравшуюся ошибку.
Подарок ко дню рождения
Хотя сражение, которое Уайлс вел с самой трудной математической проблемой мира, по-видимому, было обречено на поражение, он мог, оглянувшись на семь последних лет, утешить себя сознанием того, что все же он достиг неплохих результатов.
Если не считать заключительной части, связанной с использованием метода Колывагина-Флаха, остальная работа Уайлса сомнений не вызывала. Гипотеза Таниямы-Шимуры и Великая теорема Ферма могли оставаться недоказанными, тем не менее Уайлс обогатил математику целой серией новых методов и стратегий, которые можно было использовать для доказательства других теорем. В том, что Уайлс потерпел неудачу, не было ничего постыдного, и он начал привыкать к такому положению дел.
В качестве слабого утешения Уайлс хотел по крайней мере понять, почему он потерпел поражение. Пока Тейлор еще и еще раз подвергал тщательному анализу альтернативные методы, Уайлс решил посвятить сентябрь изучению метода Колывагина-Флаха, чтобы понять, почему он не работает. Он живо вспоминает те роковые дни: «В понедельник 19 сентября я с утра сидел у себя в кабинете, изучая метод Колывагина-Флаха. Я не надеялся на то, что мне удастся заставить его заработать, но хотел по крайней мере выяснить, почему этот метод не срабатывает. Я понимал, что хватаюсь за соломинку, но хотел до конца разобраться в причинах постигшей меня неудачи. Внезапно, совершенно неожиданно, на меня снизошло озарение. Я понял, что хотя метод Колывагина-Флаха не работал на полную мощность, в нем было все, что необходимо для возможности применения теории Ивасавы, на которую я первоначально опирался. Мне стало ясно, что от метода Колывагина-Флаха я могу взять все необходимое для того, чтобы сделать эффективным мой первоначальный подход трехлетней давности. Так из руин и пепла метода Колывагина-Флаха возникло правильное решение проблемы».
Теория Ивасавы сама по себе была недостаточна. Метод Колывагина-Флаха сам по себе также был недостаточен. Но взятые вместе, они идеально дополняли друг друга. Этот момент, когда на него снизошло прозрение, Уайлс не забудет никогда. Когда он вспоминает те мгновения, картины прошлого оживают настолько ярко, что он едва удерживает слезы: «Решение было неописуемо прекрасно, такое простое и изящное. Я никак не мог взять в толк, почему оно не приходило мне в голову раньше. Не веря самому себе, я минут двадцать молча таращился на него. На следующий день я обошел моих коллег по математическому факультету и пригласил их заглянуть ко мне в кабинет и посмотреть, все ли в порядке с найденным мной накануне решением. С решением все было в порядке. Я был вне себя от возбуждения. Это был самый важный момент за всю мою математическую карьеру. Ничто из того, что мне суждено свершить, не могло сравниться с переживаемым моментом».