Страница:
Уайлс попытался вернуться в то состояние изоляции, которое позволило ему создать первоначальный вариант доказательства. Он возобновил интенсивные занятия в кабинете на мансарде своего дома. Время от времени он, как в добрые старые времена, совершал пешие прогулки к озеру. Но теперь любители бега трусцой, велосипедисты и гребцы, которые прежде приветствовали его коротким взмахом руки, останавливались и спрашивали, удалось ли продвинуться в восполнении пробела. Портреты Уайлса появились на первых полосах газет, статья о нем была напечатана в журнале «People», интервью с Уайлсом передавалось по CNN. И хотя за прошедшее лето Уайлс стал математической знаменитостью мирового масштаба, его имидж уже померк.
Между тем по математическому факультету Принстона продолжали циркулировать слухи. Профессор Джон Конвей вспоминает атмосферу, царившую тогда в чайной комнате математического факультета: «В три часа мы собирались на чай и налегали на булочки. Иногда мы обсуждали математические проблемы, иногда — суд над О. Дж. Симпсоном, иногда судачили о том, как продвигалась работа у Эндрю. Поскольку никому из нас и в голову не приходило пойти и спросить у него, как идут дела с доказательством, мы вели себя, как кремлинологи. Кто-нибудь заявлял: "Сегодня утром я встретил Эндрю". "Он улыбался?" — спрашивал другой коллега. "Улыбался, но вид у него был не слишком радостный". О том, как продвигается исправление доказательства, мы могли судить только по выражению лица Эндрю».
Кошмарное сообщение по электронной почте
Подарок ко дню рождения
Глава 8. Великое Объединение в математике
Великие нерешенные проблемы
Между тем по математическому факультету Принстона продолжали циркулировать слухи. Профессор Джон Конвей вспоминает атмосферу, царившую тогда в чайной комнате математического факультета: «В три часа мы собирались на чай и налегали на булочки. Иногда мы обсуждали математические проблемы, иногда — суд над О. Дж. Симпсоном, иногда судачили о том, как продвигалась работа у Эндрю. Поскольку никому из нас и в голову не приходило пойти и спросить у него, как идут дела с доказательством, мы вели себя, как кремлинологи. Кто-нибудь заявлял: "Сегодня утром я встретил Эндрю". "Он улыбался?" — спрашивал другой коллега. "Улыбался, но вид у него был не слишком радостный". О том, как продвигается исправление доказательства, мы могли судить только по выражению лица Эндрю».
Кошмарное сообщение по электронной почте
Зима вступила в свои права. Надежды на прорыв окончательно угасали, и все больше математиков высказывали мнение, что Уайлс должен опубликовать рукопись. Слухи не стихали, и в одной из газетных статей появилось сообщение о том, будто Уайлс отказался от попыток восполнить пробел в своем доказательстве и признал, что оно обладает неисправимым дефектом. И хотя автор заметки заведомо преувеличил, не подлежало сомнению, что Уайлс испробовал несколько вариантов в надежде исправить замеченную ошибку и пока не видел новых возможных путей, ведущих к решению.
Уайлс признался Питеру Сарнаку, что ситуация становится отчаянной и он готов признать поражение. Сарнак был склонен думать, что трудности Уайлса отчасти обусловлены его одиночеством: у Уайлса не было надежного человека, с которым он мог бы «перебрасываться» идеями, который вдохновлял бы Уайлса исследовать не столь прямые подходы. Сарнак посоветовал Уайлсу довериться кому-нибудь и попытаться еще раз восполнить пробел. Уайлсу был необходим специалист, свободно владеющий методом Колывагина-Флаха и способный, к тому же, хранить тайну. По зрелом размышлении Уайлс решил пригласить к себе в Принстон для совместной работы Ричарда Тейлора, ученого из Кембриджского университета.
Тейлор был одним из рецензентов, проверявших доказательство. Кроме того, он был бывшим аспирантом Уайлса, поэтому Уайлс питал к нему двойное доверие. В прошлом году Тейлор присутствовал на лекции Уайлса в Институте сэра Исаака Ньютона. Теперь ему предстояло помочь в спасении доказательства, которое оказалось небезупречным.
В январе Уайлс с помощью Тейлора снова без устали исследовал метод Колывагина-Флаха, пытаясь найти выход из создавшегося затруднения. Иногда, после нескольких дней упорнейших усилий, Уайлс и Тейлор вступали на новую территорию, но неизбежно возвращались к исходному пункту. Проникая все дальше и дальше вглубь неизвестной территории и возвращаясь каждый раз туда, откуда они выходили, Уайлс и Тейлор осознали, что находятся в самом центре невообразимо огромного лабиринта. Больше всего они боялись, что этот лабиринт бесконечен, что из него нет выхода и они обречены бесцельно блуждать до скончания времени.
Весной 1994 года, когда казалось, что ситуация не может быть хуже, на экраны компьютеров всего мира поступило следующее сообщение по электронной почте:
Кончина гипотезы Таниямы-Шимуры имела бы разрушительные последствия для всей теории чисел, поскольку на протяжении двух десятилетий математики молчаливо предполагали, что гипотеза Таниямы-Шимуры верна. В главе 5 мы упоминали о том, что математики опубликовали десятки доказательств различных теорем, начинавшихся со слов: «Предположим, что гипотеза Таниямы-Шимуры верна…», но если Элькис доказал, что это предположение неверно, это означало бы, что все опиравшиеся на него теоремы рухнули. Математики немедленно стали требовать более подробной информации и забросали Элькиса вопросами, но ответов и разъяснений не последовало. Никаких подробностей относительно якобы построенного им контрпримера никому разузнать не удалось.
Через день или два всеобщей сумятицы некоторые математики взглянули на сообщения о контрпримере Элькиса еще раз и поняли, что, хотя сообщение было датировано 2 или 3 апреля, объяснялось это тем, что электронная почта была получена из вторых или третьих рук. Первоначально сообщение было датировано 1 апреля: сообщение было шуткой канадского специалиста по теории чисел Анри Дармана. Розыгрыш стал уроком для тех, кто распространял слухи о Великой теореме Ферма, и на какое-то время Великую теорему Ферма, Уайлса, Тейлора и доказательство с вкравшейся ошибкой оставили в покое.
В то лето Уайлсу и Тейлору не удалось продвинуться ни на шаг. После восьми лет непрестанных усилий — несмотря на то, что поиск доказательства стал делом его жизни, Уайлс был на грани того, чтобы признать свое поражение. Он сообщил Тейлору, что не видит смысла продолжать их совместные усилия по исправлению доказательства. Тейлор к тому времени уже принял решение провести сентябрь в Принстоне прежде, чем возвращаться в Кембридж, и поэтому, несмотря на то, что Уайлс пал духом, Тейлор предложил поработать над проблемой еще месяц. Если к концу сентября выяснится, что никаких признаков успеха нет, они публично признают поражение и опубликуют доказательство в том виде, в каком оно есть, чтобы предоставить другим возможность найти и исправить вкравшуюся ошибку.
Уайлс признался Питеру Сарнаку, что ситуация становится отчаянной и он готов признать поражение. Сарнак был склонен думать, что трудности Уайлса отчасти обусловлены его одиночеством: у Уайлса не было надежного человека, с которым он мог бы «перебрасываться» идеями, который вдохновлял бы Уайлса исследовать не столь прямые подходы. Сарнак посоветовал Уайлсу довериться кому-нибудь и попытаться еще раз восполнить пробел. Уайлсу был необходим специалист, свободно владеющий методом Колывагина-Флаха и способный, к тому же, хранить тайну. По зрелом размышлении Уайлс решил пригласить к себе в Принстон для совместной работы Ричарда Тейлора, ученого из Кембриджского университета.
В январе Уайлс с помощью Тейлора снова без устали исследовал метод Колывагина-Флаха, пытаясь найти выход из создавшегося затруднения. Иногда, после нескольких дней упорнейших усилий, Уайлс и Тейлор вступали на новую территорию, но неизбежно возвращались к исходному пункту. Проникая все дальше и дальше вглубь неизвестной территории и возвращаясь каждый раз туда, откуда они выходили, Уайлс и Тейлор осознали, что находятся в самом центре невообразимо огромного лабиринта. Больше всего они боялись, что этот лабиринт бесконечен, что из него нет выхода и они обречены бесцельно блуждать до скончания времени.
Весной 1994 года, когда казалось, что ситуация не может быть хуже, на экраны компьютеров всего мира поступило следующее сообщение по электронной почте:
Дата: 03 апр 1994Наум Элькис, профессор Гарвардского университета, в 1988 году обнаружил контрпример к гипотезе Эйлера. Теперь Элькис, по-видимому, нашел контрпример, опровергающий Великую теорему Ферма. Для Уайлса это был весьма чувствительный удар: причина, по которой ему никак не удавалось исправить доказательство заключалась в том, что так называемая ошибка была прямым следствием ложности Великой теоремы Ферма. Для математического сообщества в целом удар был еще сильнее, так как если Великая теорема Ферма неверна, то, как показал Фрей, это привело бы к эллиптической кривой, которой не соответствует никакая модулярная форма, а это прямо противоречит гипотезе Таниямы-Шимуры. Тем самым, можно было утверждать, что Элькис нашел не только контрпример Великой теореме Ферма, но и к гипотезе Таниямы-Шимуры.
Тема: Снова великая теорема Ферма!
Сегодня в доказательстве великой теоремы Ферма произошел поистине поразительный сдвиг. Наум Элькис заявил, что располагает контрпримером. Таким образом, великая теорема Ферма оказалась неверной! Элькис выступил с сообщением о контрпримере сегодня в Институте. Построенное им решение уравнения Ферма имеет невероятно большую простую степень (больше, чем 1020), тем не менее оно представляет собой разновидность точечной конструкции Хенгера в комбинации с весьма остроумным вариантом метода спуска для перехода от модулярных кривых к кривой Ферма. Самая трудная часть задачи заключается в том, чтобы показать, что область определения решения (которая априори есть некоторое поле классов колец мнимого квадратичного поля) действительно допускает спуск на Q.
Я не смог проследить за всеми деталями, которые были весьма сложными… Таким образом, есть основания полагать, что гипотеза Таниямы-Шимуры все-таки неверна. По мнению экспертов, гипотезу все еще можно спасти, обобщая понятие автоморфного представления и вводя понятие «аномальных кривых», которое приведет к «квазиавтоморфному представлению».
Анри Дарман
Принстонский университет
Кончина гипотезы Таниямы-Шимуры имела бы разрушительные последствия для всей теории чисел, поскольку на протяжении двух десятилетий математики молчаливо предполагали, что гипотеза Таниямы-Шимуры верна. В главе 5 мы упоминали о том, что математики опубликовали десятки доказательств различных теорем, начинавшихся со слов: «Предположим, что гипотеза Таниямы-Шимуры верна…», но если Элькис доказал, что это предположение неверно, это означало бы, что все опиравшиеся на него теоремы рухнули. Математики немедленно стали требовать более подробной информации и забросали Элькиса вопросами, но ответов и разъяснений не последовало. Никаких подробностей относительно якобы построенного им контрпримера никому разузнать не удалось.
Через день или два всеобщей сумятицы некоторые математики взглянули на сообщения о контрпримере Элькиса еще раз и поняли, что, хотя сообщение было датировано 2 или 3 апреля, объяснялось это тем, что электронная почта была получена из вторых или третьих рук. Первоначально сообщение было датировано 1 апреля: сообщение было шуткой канадского специалиста по теории чисел Анри Дармана. Розыгрыш стал уроком для тех, кто распространял слухи о Великой теореме Ферма, и на какое-то время Великую теорему Ферма, Уайлса, Тейлора и доказательство с вкравшейся ошибкой оставили в покое.
В то лето Уайлсу и Тейлору не удалось продвинуться ни на шаг. После восьми лет непрестанных усилий — несмотря на то, что поиск доказательства стал делом его жизни, Уайлс был на грани того, чтобы признать свое поражение. Он сообщил Тейлору, что не видит смысла продолжать их совместные усилия по исправлению доказательства. Тейлор к тому времени уже принял решение провести сентябрь в Принстоне прежде, чем возвращаться в Кембридж, и поэтому, несмотря на то, что Уайлс пал духом, Тейлор предложил поработать над проблемой еще месяц. Если к концу сентября выяснится, что никаких признаков успеха нет, они публично признают поражение и опубликуют доказательство в том виде, в каком оно есть, чтобы предоставить другим возможность найти и исправить вкравшуюся ошибку.
Подарок ко дню рождения
Хотя сражение, которое Уайлс вел с самой трудной математической проблемой мира, по-видимому, было обречено на поражение, он мог, оглянувшись на семь последних лет, утешить себя сознанием того, что все же он достиг неплохих результатов.
Если не считать заключительной части, связанной с использованием метода Колывагина-Флаха, остальная работа Уайлса сомнений не вызывала. Гипотеза Таниямы-Шимуры и Великая теорема Ферма могли оставаться недоказанными, тем не менее Уайлс обогатил математику целой серией новых методов и стратегий, которые можно было использовать для доказательства других теорем. В том, что Уайлс потерпел неудачу, не было ничего постыдного, и он начал привыкать к такому положению дел.
В качестве слабого утешения Уайлс хотел по крайней мере понять, почему он потерпел поражение. Пока Тейлор еще и еще раз подвергал тщательному анализу альтернативные методы, Уайлс решил посвятить сентябрь изучению метода Колывагина-Флаха, чтобы понять, почему он не работает. Он живо вспоминает те роковые дни: «В понедельник 19 сентября я с утра сидел у себя в кабинете, изучая метод Колывагина-Флаха. Я не надеялся на то, что мне удастся заставить его заработать, но хотел по крайней мере выяснить, почему этот метод не срабатывает. Я понимал, что хватаюсь за соломинку, но хотел до конца разобраться в причинах постигшей меня неудачи. Внезапно, совершенно неожиданно, на меня снизошло озарение. Я понял, что хотя метод Колывагина-Флаха не работал на полную мощность, в нем было все, что необходимо для возможности применения теории Ивасавы, на которую я первоначально опирался. Мне стало ясно, что от метода Колывагина-Флаха я могу взять все необходимое для того, чтобы сделать эффективным мой первоначальный подход трехлетней давности. Так из руин и пепла метода Колывагина-Флаха возникло правильное решение проблемы».
Теория Ивасавы сама по себе была недостаточна. Метод Колывагина-Флаха сам по себе также был недостаточен. Но взятые вместе, они идеально дополняли друг друга. Этот момент, когда на него снизошло прозрение, Уайлс не забудет никогда. Когда он вспоминает те мгновения, картины прошлого оживают настолько ярко, что он едва удерживает слезы: «Решение было неописуемо прекрасно, такое простое и изящное. Я никак не мог взять в толк, почему оно не приходило мне в голову раньше. Не веря самому себе, я минут двадцать молча таращился на него. На следующий день я обошел моих коллег по математическому факультету и пригласил их заглянуть ко мне в кабинет и посмотреть, все ли в порядке с найденным мной накануне решением. С решением все было в порядке. Я был вне себя от возбуждения. Это был самый важный момент за всю мою математическую карьеру. Ничто из того, что мне суждено свершить, не могло сравниться с переживаемым моментом».
Момент действительно был необычайно важным: не только исполнилась мечта детства Уайлса, не только достигнута кульминация восьми лет напряженнейшей работы, но и сам Уайлс, казалось, находившийся на грани поражения, еще раз заявил о себе как о выдающемся математике. Последние четырнадцать месяцев были особенно мучительным, унизительным и отчаянным периодом в его математической карьере. И теперь блестящее озарение положило конец всем страданиям.
«В первый вечер я отправился домой и заснул у себя в кабинете над найденным решением. На следующее утро к 11 часам я убедился, что все в порядке. Тогда я спустился вниз и сказал жене: "Я нашел его! Думаю, что мне удалось найти его". Мое заявление прозвучало так неожиданно, что жена решила, будто я говорю о какой-то детской игрушке. Тогда я объяснил, что мне удалось исправить свое доказательство».
Первая страница доказательства теоремы Ферма, представленного Уайлсом
In the second section we extract from the results of Poitou and Tate on Galois cohomology certain general relations between Selmer groups as ? varies, as well as between Selmer groups and their duals. The most important observation of the third section is Lemma 1.10(i) which guarantees the existence of the special primes used in Chapter 3 and [TW].
(1.1)
? 0: Gal( Q ?/ Q) ? GL 2( k)
is an irreducible representation. In contrast to the introduction we will assume in the rest of the paper that ? 0comes with its field of definition k. Suppose further that det ?0 is odd. In particular this implies that the smallest field of definition for ? 0is given by the field k0 generated by the traces but we will not assume that k= k 0. It also implies that ?0 is absolutely irreducible. We consider the deformations [?] to GL 2( A) of ? 0in the sense of Mazur [Ma1]. Thus if W( k) is the ring of Witt vectors of k, Ais to be a complete Noetherian local W( k)-algebra with residue field kand maximal ideal m, and a deformation [?] is just a strict equivalence class of homomorphisms ?: Gal( Q ?/ Q) ? GL 2( A) such that ? mod m= ? 0, two such homomorphisms being called strictly equivalent if one can be brought to the other by conjugation by an element of ker: GL 2( A) ? GL 2( k). We often simply write ? instead of [?] for the equivalence class.
В следующем месяце Уайлс, наконец, смог исполнить обещание, которое ему не удалось исполнить в прошлом году. «Приближался день рождения Нады, и я вспомнил, что в прошлый раз я не смог подарить ей то, что она хотела получить в подарок. На этот раз, через полминуты после начала праздничного обеда по случаю ее дня рождения, я подарил Наде рукопись полного доказательства. Думаю, что этому подарку она была рада больше, чем любому другому, который я когда-либо дарил ей».
Если не считать заключительной части, связанной с использованием метода Колывагина-Флаха, остальная работа Уайлса сомнений не вызывала. Гипотеза Таниямы-Шимуры и Великая теорема Ферма могли оставаться недоказанными, тем не менее Уайлс обогатил математику целой серией новых методов и стратегий, которые можно было использовать для доказательства других теорем. В том, что Уайлс потерпел неудачу, не было ничего постыдного, и он начал привыкать к такому положению дел.
В качестве слабого утешения Уайлс хотел по крайней мере понять, почему он потерпел поражение. Пока Тейлор еще и еще раз подвергал тщательному анализу альтернативные методы, Уайлс решил посвятить сентябрь изучению метода Колывагина-Флаха, чтобы понять, почему он не работает. Он живо вспоминает те роковые дни: «В понедельник 19 сентября я с утра сидел у себя в кабинете, изучая метод Колывагина-Флаха. Я не надеялся на то, что мне удастся заставить его заработать, но хотел по крайней мере выяснить, почему этот метод не срабатывает. Я понимал, что хватаюсь за соломинку, но хотел до конца разобраться в причинах постигшей меня неудачи. Внезапно, совершенно неожиданно, на меня снизошло озарение. Я понял, что хотя метод Колывагина-Флаха не работал на полную мощность, в нем было все, что необходимо для возможности применения теории Ивасавы, на которую я первоначально опирался. Мне стало ясно, что от метода Колывагина-Флаха я могу взять все необходимое для того, чтобы сделать эффективным мой первоначальный подход трехлетней давности. Так из руин и пепла метода Колывагина-Флаха возникло правильное решение проблемы».
Теория Ивасавы сама по себе была недостаточна. Метод Колывагина-Флаха сам по себе также был недостаточен. Но взятые вместе, они идеально дополняли друг друга. Этот момент, когда на него снизошло прозрение, Уайлс не забудет никогда. Когда он вспоминает те мгновения, картины прошлого оживают настолько ярко, что он едва удерживает слезы: «Решение было неописуемо прекрасно, такое простое и изящное. Я никак не мог взять в толк, почему оно не приходило мне в голову раньше. Не веря самому себе, я минут двадцать молча таращился на него. На следующий день я обошел моих коллег по математическому факультету и пригласил их заглянуть ко мне в кабинет и посмотреть, все ли в порядке с найденным мной накануне решением. С решением все было в порядке. Я был вне себя от возбуждения. Это был самый важный момент за всю мою математическую карьеру. Ничто из того, что мне суждено свершить, не могло сравниться с переживаемым моментом».
Момент действительно был необычайно важным: не только исполнилась мечта детства Уайлса, не только достигнута кульминация восьми лет напряженнейшей работы, но и сам Уайлс, казалось, находившийся на грани поражения, еще раз заявил о себе как о выдающемся математике. Последние четырнадцать месяцев были особенно мучительным, унизительным и отчаянным периодом в его математической карьере. И теперь блестящее озарение положило конец всем страданиям.
«В первый вечер я отправился домой и заснул у себя в кабинете над найденным решением. На следующее утро к 11 часам я убедился, что все в порядке. Тогда я спустился вниз и сказал жене: "Я нашел его! Думаю, что мне удалось найти его". Мое заявление прозвучало так неожиданно, что жена решила, будто я говорю о какой-то детской игрушке. Тогда я объяснил, что мне удалось исправить свое доказательство».
MODULAR ELLIPTIC CURVES AND FERMAT'S LAST THEOREM /455
Chapter 1
This chapter is devoted to the study of certain Galois representations. In the first section we introduce and study Mazur's deformation theory and discuss various refinements of it. These refinements will be needed later to make precise the correspondence between the universal deformation rings and the Hecke rings in Chapter 2. The main results needed are Proposition 1.2 which is used to interpret various generalized cotangent spaces as Selmer groups and (1.7) which later will be used to study them. At the end of the section we relate these Selmer groups to ones used in the Bloch—Kato conjecture, but this connection is not needed for the proofs of our main results.In the second section we extract from the results of Poitou and Tate on Galois cohomology certain general relations between Selmer groups as ? varies, as well as between Selmer groups and their duals. The most important observation of the third section is Lemma 1.10(i) which guarantees the existence of the special primes used in Chapter 3 and [TW].
1. Deformations of Galois representations
Let pbe an odd prime. Let ? be a finite set of primes including pand let Q ?be the maximal extension of Qunramified outside this set and ?. Throughout we fix an embedding of Q, and so also of Q ?, in C. We will also fix a choice of decomposition group D qfor all primes qin Z. Suppose that kis a finite field of characteristic pand that(1.1)
? 0: Gal( Q ?/ Q) ? GL 2( k)
is an irreducible representation. In contrast to the introduction we will assume in the rest of the paper that ? 0comes with its field of definition k. Suppose further that det ?0 is odd. In particular this implies that the smallest field of definition for ? 0is given by the field k0 generated by the traces but we will not assume that k= k 0. It also implies that ?0 is absolutely irreducible. We consider the deformations [?] to GL 2( A) of ? 0in the sense of Mazur [Ma1]. Thus if W( k) is the ring of Witt vectors of k, Ais to be a complete Noetherian local W( k)-algebra with residue field kand maximal ideal m, and a deformation [?] is just a strict equivalence class of homomorphisms ?: Gal( Q ?/ Q) ? GL 2( A) such that ? mod m= ? 0, two such homomorphisms being called strictly equivalent if one can be brought to the other by conjugation by an element of ker: GL 2( A) ? GL 2( k). We often simply write ? instead of [?] for the equivalence class.
В следующем месяце Уайлс, наконец, смог исполнить обещание, которое ему не удалось исполнить в прошлом году. «Приближался день рождения Нады, и я вспомнил, что в прошлый раз я не смог подарить ей то, что она хотела получить в подарок. На этот раз, через полминуты после начала праздничного обеда по случаю ее дня рождения, я подарил Наде рукопись полного доказательства. Думаю, что этому подарку она была рада больше, чем любому другому, который я когда-либо дарил ей».
Дата: 25 окт 1994 11:04:11
Тема: Последние новости о великой теореме Ферма
Этим утром поступили две рукописи: «Модулярные эллиптические кривые и великая теорема Ферма» Эндрю Уайлса и «Теоретико-кольцевые свойства некоторых алгебр Гекке» Ричарда Тейлора и Эндрю Уайлса.
Первая из них (большая) содержит среди прочего доказательство великой теоремы Ферма, использующее в одном решающем шаге вторую (малую).
Как известно большинству из вас, в доказательстве, изложенном в кембриджских докладах Уайлса, оказался серьезный пробел, а именно: построение эйлеровской системы. После безуспешных попыток исправить эту конструкцию, Уайлс обратился к другим подходам, которые он использовал раньше, но от которых отказался в пользу идеи эйлеровской системы. Уайлсу удалось восполнить пробел в своем доказательстве в предположении, что некоторые алгебры Гекке представляют собой локально полные пересечения. Эта и остальные идеи, бегло описанные в кембриджских докладах Уайлса, изложены в первой рукописи. В совместной работе Тейлор и Уайлс (вторая статья) установили необходимое свойство алгебр Гекке. Общий ход доказательства аналогичен намеченному Уайлсом в его кембриджских докладах. Новый подход гораздо проще и короче первоначального, поскольку изъята система Эйлера. (После изучения обеих работ Фалтингсу удалось еще более упростить эту часть доказательства.) Варианты представленных рукописей попали в руки небольшого числа людей (в некоторых случаях) в течение нескольких недель. И хотя разумно сохранять осторожность, основания для оптимизма заведомо имеются.
Карл Рубин
Университет штата Огайо
Глава 8. Великое Объединение в математике
Был малый не промах, а стал, как чума.
Виною всему — теорема Ферма:
Не может никак он ее доказать,
Уайлса пример не дает ему спать.
Фернандо Гувеа
На этот раз никаких сомнений в доказательстве не было. Две статьи общим объемом в 130 страниц были подвергнуты самому тщательному анализу, которому когда-либо подвергались математические рукописи за всю историю человечества, и в мае 1995 года были опубликованы в журнале «Annals of Mathematics».
Уайлс снова оказался на первой полосе «New York Times», но заголовок «Математик утверждает, что классическая проблема решена» оказался в тени заголовка другой статьи: «Новые данные о возрасте Вселенной ставят перед учеными новую космическую проблему». И хотя журналисты на этот раз проявили по отношению к Великой теореме Ферма несколько меньший энтузиазм, математики по достоинству оценили истинное значение полученного доказательства. «Для математиков окончательный вариант доказательства эквивалентен по своему значению расщеплению атома или открытию структуры ДНК, — заявил Джон Коутс. — Доказательство Великой теоремы Ферма представляет собой великий триумф человеческого интеллекта, и не следует упускать из виду, что оно единым махом совершило переворот в теории чисел. Для меня очарование и красота работы Эндрю заключается в том, что она стала гигантским шагом вперед в развитии теории алгебраических чисел».
За восемь лет упорнейшего труда Уайлс, по существу, свел воедино все достижения теории чисел XX века, выстроив из них одно сверхмощное доказательство. Преследуя свою главную цель, Уайлс попутно создавал совершенно новые доказательства и использовал их в немыслимых ранее сочетаниях с традиционными методами.
Этим Уайлс открыл новые направления для атак на множество других проблем. По словам Кена Рибета, доказательство Уайлса представляет собой идеальный синтез современной математики и служит источником вдохновения на будущее: «Я думаю, что если бы вы оказались на необитаемом острове и захватили с собой только рукопись с доказательством Уайлса, то у вас было бы предостаточно пищи для размышлений. Перед вами предстали бы все течения современной мысли в области теории чисел. На одной странице вы встретите краткое упоминание о фундаментальной теореме Делиня, на другой найдете несколько неожиданную ссылку на теорему Хеллегуарка — и все это вводится в игру и используется с тем, чтобы через мгновенье уступить место следующей идее».
Большинство журналистов превозносили на все лады найденное Уайлсом доказательство Великой теоремы Ферма, некоторые из них комментировали нераздельно связанное с ним доказательство гипотезы Таниямы-Шимуры. Лишь немногие удосужились упомянуть о вкладе Ютаки Таниямы и Горо Шимуры, двух японских математиков, которые еще в 50-е годы XX века посеяли семена, предопределившие успех Уайлса. Хотя Танияма умер более тридцати лет назад, его коллега — Горо Шимура — стал свидетелем доказательства гипотезы Таниямы-Шимуры. Когда его спросили о его впечатлении от доказательства, он мягко улыбнулся и сдержанно, с достоинством ответил: «Я же говорил вам».
Подобно многим своим коллегам, Кен Рибет считал, что доказательство гипотезы Таниямы-Шимуры совершило переворот в математике: «Важным психологическим отзвуком доказательства гипотезы Таниямы-Шимуры явилось то, что теперь математики стали смело браться за решение проблем, которые прежде казались им неприступными. Ныне картина полностью изменилась. Теперь известно, что все эллиптические кривые модулярны, и, когда вы доказываете какую-нибудь теорему для эллиптических кривых, вы тем самым доказываете теорему относительно модулярных форм, и наоборот. У вас появляется иное видение происходящего в математике, и мысль о том, что вам придется работать с модулярными формами пугает вас меньше, поскольку вы, по существу, работаете с эллиптическими кривыми. Когда прежде приходилось писать статью об эллиптических кривых, мы вместо того, чтобы открыто признать, что нам ничего не известно, делали предположение: "Пусть гипотеза Таниямы-Шимуры доказана", — и смотрели, какие следствия проистекают из этого. Теперь нам достоверно известно, что гипотеза Таниямы-Шимуры верна, и мы смело можем утверждать, что из этого следует. Нужно ли говорить, что это гораздо приятнее».
С помощью гипотезы Таниямы-Шимуры Уайлс объединил эллиптический и модулярный миры и, тем самым, проложил математике пути ко многим другим доказательствам: проблемы, стоящие в одной области, могут быть решены по аналогии с проблемами из параллельной области. Классические нерешенные проблемы теории эллиптических кривых стало возможным подвергнуть пересмотру, используя все имеющиеся средства и методы теории модулярных форм.
Что еще более важно, Уайлс сделал первый шаг к осуществлению грандиозной программы математики Роберта Ленглендса. После успеха, достигнутого Уайлсом, стало возможно с новыми силами пытаться доказать другие гипотезы, объединяющие различные разделы математики. В марте 1996 года Уайлс разделил с Ленглендсом премию Вольфа (не путать с премией Вольфскеля) размером в 100 000 долларов. Комитет по присуждению премии Вольфа признал, что доказательство Уайлса само по себе представляет собой выдающееся достижение, к тому же оно вдохнуло жизнь в амбициозную схему Ленглендса. Уайлс совершил прорыв, который может привести математику в новый золотой век.
После года сумятицы и неопределенности математическое сообщество могло, наконец, успокоиться. На каждом симпозиуме, коллоквиуме, на любой конференции одно заседание посвящалось доказательству Уайлса, а бостонские математики даже устроили соревнование: кто из них сумеет запечатлеть памятное событие, каким, несомненно, стало доказательство Уайлса, в шутливом стихотворении. Всеобщее внимание привлекли следующие вирши-лимерик:
Уайлс снова оказался на первой полосе «New York Times», но заголовок «Математик утверждает, что классическая проблема решена» оказался в тени заголовка другой статьи: «Новые данные о возрасте Вселенной ставят перед учеными новую космическую проблему». И хотя журналисты на этот раз проявили по отношению к Великой теореме Ферма несколько меньший энтузиазм, математики по достоинству оценили истинное значение полученного доказательства. «Для математиков окончательный вариант доказательства эквивалентен по своему значению расщеплению атома или открытию структуры ДНК, — заявил Джон Коутс. — Доказательство Великой теоремы Ферма представляет собой великий триумф человеческого интеллекта, и не следует упускать из виду, что оно единым махом совершило переворот в теории чисел. Для меня очарование и красота работы Эндрю заключается в том, что она стала гигантским шагом вперед в развитии теории алгебраических чисел».
Этим Уайлс открыл новые направления для атак на множество других проблем. По словам Кена Рибета, доказательство Уайлса представляет собой идеальный синтез современной математики и служит источником вдохновения на будущее: «Я думаю, что если бы вы оказались на необитаемом острове и захватили с собой только рукопись с доказательством Уайлса, то у вас было бы предостаточно пищи для размышлений. Перед вами предстали бы все течения современной мысли в области теории чисел. На одной странице вы встретите краткое упоминание о фундаментальной теореме Делиня, на другой найдете несколько неожиданную ссылку на теорему Хеллегуарка — и все это вводится в игру и используется с тем, чтобы через мгновенье уступить место следующей идее».
Большинство журналистов превозносили на все лады найденное Уайлсом доказательство Великой теоремы Ферма, некоторые из них комментировали нераздельно связанное с ним доказательство гипотезы Таниямы-Шимуры. Лишь немногие удосужились упомянуть о вкладе Ютаки Таниямы и Горо Шимуры, двух японских математиков, которые еще в 50-е годы XX века посеяли семена, предопределившие успех Уайлса. Хотя Танияма умер более тридцати лет назад, его коллега — Горо Шимура — стал свидетелем доказательства гипотезы Таниямы-Шимуры. Когда его спросили о его впечатлении от доказательства, он мягко улыбнулся и сдержанно, с достоинством ответил: «Я же говорил вам».
Подобно многим своим коллегам, Кен Рибет считал, что доказательство гипотезы Таниямы-Шимуры совершило переворот в математике: «Важным психологическим отзвуком доказательства гипотезы Таниямы-Шимуры явилось то, что теперь математики стали смело браться за решение проблем, которые прежде казались им неприступными. Ныне картина полностью изменилась. Теперь известно, что все эллиптические кривые модулярны, и, когда вы доказываете какую-нибудь теорему для эллиптических кривых, вы тем самым доказываете теорему относительно модулярных форм, и наоборот. У вас появляется иное видение происходящего в математике, и мысль о том, что вам придется работать с модулярными формами пугает вас меньше, поскольку вы, по существу, работаете с эллиптическими кривыми. Когда прежде приходилось писать статью об эллиптических кривых, мы вместо того, чтобы открыто признать, что нам ничего не известно, делали предположение: "Пусть гипотеза Таниямы-Шимуры доказана", — и смотрели, какие следствия проистекают из этого. Теперь нам достоверно известно, что гипотеза Таниямы-Шимуры верна, и мы смело можем утверждать, что из этого следует. Нужно ли говорить, что это гораздо приятнее».
С помощью гипотезы Таниямы-Шимуры Уайлс объединил эллиптический и модулярный миры и, тем самым, проложил математике пути ко многим другим доказательствам: проблемы, стоящие в одной области, могут быть решены по аналогии с проблемами из параллельной области. Классические нерешенные проблемы теории эллиптических кривых стало возможным подвергнуть пересмотру, используя все имеющиеся средства и методы теории модулярных форм.
Что еще более важно, Уайлс сделал первый шаг к осуществлению грандиозной программы математики Роберта Ленглендса. После успеха, достигнутого Уайлсом, стало возможно с новыми силами пытаться доказать другие гипотезы, объединяющие различные разделы математики. В марте 1996 года Уайлс разделил с Ленглендсом премию Вольфа (не путать с премией Вольфскеля) размером в 100 000 долларов. Комитет по присуждению премии Вольфа признал, что доказательство Уайлса само по себе представляет собой выдающееся достижение, к тому же оно вдохнуло жизнь в амбициозную схему Ленглендса. Уайлс совершил прорыв, который может привести математику в новый золотой век.
После года сумятицы и неопределенности математическое сообщество могло, наконец, успокоиться. На каждом симпозиуме, коллоквиуме, на любой конференции одно заседание посвящалось доказательству Уайлса, а бостонские математики даже устроили соревнование: кто из них сумеет запечатлеть памятное событие, каким, несомненно, стало доказательство Уайлса, в шутливом стихотворении. Всеобщее внимание привлекли следующие вирши-лимерик:
Э.Хоув, Х.Ленстра, Д.Моултон.
— Гарсон, книгу жалоб прошу я давно:
Несвежая скатерть, прокисло вино.
— Что книга! Ее я могу Вам подать,
Но узки поля, и нельзя записать,
Как Вы ни старайтесь, на них ничего.
Великие нерешенные проблемы
Уайлс сознавал, что, дав математике одно из величайших доказательств, он лишил ее одной из величайших загадок: «Люди говорили мне, что я отнял у них проблему, и просили дать им взамен что-нибудь еще. Математики впали в меланхолию. Мы утратили нечто такое, что было с нами на протяжении долгого времени и что многих из нас привлекло к математике. С математическими проблемами всегда так. Нам всегда необходимо находить новые проблемы, которые привлекли бы наше внимание».
Но хотя Уайлс действительно разгадал самую знаменитую математическую проблему, любителям трудных задач-головоломок не стоит терять надежду. Нерешенных проблем еще осталось превеликое множество. Многие из них, как и Великая теорема Ферма, уходят корнями в древнегреческую математику, понять их может любой школьник. Например, множество загадок и поныне связано с простыми числами. В главе 1 мы уже упоминали о том, что совершенным называется число, сумма делителей которого совпадает с самим числом. Например, 6 и 28 — совершенные числа, так как
1, 2, 3 делят 6, и 6 = 1 + 2 + 3,
1, 2, 4, 7, 14 делят 28, и 28 = 1 + 2 + 4 + 7 + 14.
Рене Декарт говорил, что «совершенные числа, подобно совершенным людям, встречаются весьма редко». Самое большое из известных совершенных чисел содержит в своей десятичной записи 130000 цифр и определяется по формуле
2 216090·(2 216091— 1).
Общее свойство всех известных совершенных чисел заключается в том, что они четны. Поэтому так и подмывает сказать, что все совершенные числа четны. Проблема, увы, пока не поддающаяся решению, заключается в том, чтобы доказать это утверждение.
Другая сложная проблема, связанная с совершенными числами, состоит в выяснении ответа на вопрос, можно ли исчерпать запас совершенных чисел за конечное число шагов. На протяжении веков многие математики, занимающиеся теорией чисел, пытались выяснить, конечно или бесконечно множество совершенных чисел, но всякий раз терпели неудачу. Всякому, кому удалось бы дать определенный ответ на этот вопрос, уготовано почетное место в истории математики.
Еще одна область богата древнейшими нерешенными проблемами — теория простых чисел. Последовательность простых чисел подчиняется какой-то плохо различимой закономерности, и простые числа живут по собственным правилам. Их сравнивают с сорной травой, случайным образом распределенной среди натуральных чисел. Перебирая одно за другим натуральные числа, можно набрести на области, богатые простыми числами, но, по неизвестной причине, другие области оказываются совершенно пустыми. Математики веками пытались разгадать закон, по которому распределены простые числа, и всякий раз терпели поражение. Возможно, никакого закона не существует, и распределение простых чисел случайно по самой своей природе. В этом случае математикам можно было бы порекомендовать заняться решением менее амбициозных проблем, связанных с простыми числами.
Например, две тысячи лет назад Евклид доказал, что запас простых чисел неисчерпаем (см. гл. 2). Последние два столетия математики пытались доказать, что запас простых чисел-близнецов также неисчерпаем. Близнецами называют пары простых чисел, отличающихся на 2, т. е. являющихся ближайшими соседними простыми числами (простые числа не могут отличаться на 1, иначе одно из них должно было бы быть четным). Примерами небольших простых чисел-близнецов могут служить (5, 7), (11, 13) и (17, 19), примерами больших чисел-близнецов — (22271, 22273) и (1 000 000 000 061, 1 000 000 000 063). Существуют веские основания полагать, что множество простых чисел-близнецов бесконечно, но никому пока не удалось доказать, что это действительно так.
Но хотя Уайлс действительно разгадал самую знаменитую математическую проблему, любителям трудных задач-головоломок не стоит терять надежду. Нерешенных проблем еще осталось превеликое множество. Многие из них, как и Великая теорема Ферма, уходят корнями в древнегреческую математику, понять их может любой школьник. Например, множество загадок и поныне связано с простыми числами. В главе 1 мы уже упоминали о том, что совершенным называется число, сумма делителей которого совпадает с самим числом. Например, 6 и 28 — совершенные числа, так как
1, 2, 3 делят 6, и 6 = 1 + 2 + 3,
1, 2, 4, 7, 14 делят 28, и 28 = 1 + 2 + 4 + 7 + 14.
Рене Декарт говорил, что «совершенные числа, подобно совершенным людям, встречаются весьма редко». Самое большое из известных совершенных чисел содержит в своей десятичной записи 130000 цифр и определяется по формуле
2 216090·(2 216091— 1).
Общее свойство всех известных совершенных чисел заключается в том, что они четны. Поэтому так и подмывает сказать, что все совершенные числа четны. Проблема, увы, пока не поддающаяся решению, заключается в том, чтобы доказать это утверждение.
Другая сложная проблема, связанная с совершенными числами, состоит в выяснении ответа на вопрос, можно ли исчерпать запас совершенных чисел за конечное число шагов. На протяжении веков многие математики, занимающиеся теорией чисел, пытались выяснить, конечно или бесконечно множество совершенных чисел, но всякий раз терпели неудачу. Всякому, кому удалось бы дать определенный ответ на этот вопрос, уготовано почетное место в истории математики.
Еще одна область богата древнейшими нерешенными проблемами — теория простых чисел. Последовательность простых чисел подчиняется какой-то плохо различимой закономерности, и простые числа живут по собственным правилам. Их сравнивают с сорной травой, случайным образом распределенной среди натуральных чисел. Перебирая одно за другим натуральные числа, можно набрести на области, богатые простыми числами, но, по неизвестной причине, другие области оказываются совершенно пустыми. Математики веками пытались разгадать закон, по которому распределены простые числа, и всякий раз терпели поражение. Возможно, никакого закона не существует, и распределение простых чисел случайно по самой своей природе. В этом случае математикам можно было бы порекомендовать заняться решением менее амбициозных проблем, связанных с простыми числами.
Например, две тысячи лет назад Евклид доказал, что запас простых чисел неисчерпаем (см. гл. 2). Последние два столетия математики пытались доказать, что запас простых чисел-близнецов также неисчерпаем. Близнецами называют пары простых чисел, отличающихся на 2, т. е. являющихся ближайшими соседними простыми числами (простые числа не могут отличаться на 1, иначе одно из них должно было бы быть четным). Примерами небольших простых чисел-близнецов могут служить (5, 7), (11, 13) и (17, 19), примерами больших чисел-близнецов — (22271, 22273) и (1 000 000 000 061, 1 000 000 000 063). Существуют веские основания полагать, что множество простых чисел-близнецов бесконечно, но никому пока не удалось доказать, что это действительно так.