«Доказана ли Великая теорема Ферма?»

«Доказана ли Великая теорема Ферма?»

Был сделан лишь первый шаг на пути к доказательству гипотезы Таниямы-Шимуры, но избранная Уайлсом стратегия была блестящим математическим прорывом, результатом, который заслуживал публикации. Но в силу обета молчания, наложенного Уайлсом самим на себя, он не мог поведать о полученном результате остальному миру и не имел ни малейшего представления о том, кто еще мог совершить столь же значительный прорыв.

Уайлс вспоминает о своем философском отношении к любому потенциальному сопернику: «Никто не захочет затратить годы на доказательство чего-то и обнаружить, что кому-то другому удалось найти доказательство несколькими неделями раньше. Но, как ни странно, поскольку я пытался решить проблему, которая по существу считалась неразрешимой, я не очень опасался соперников. Я просто не надеялся, что мне или кому-нибудь другому придет в голову идея, которая приведет к доказательству».

8 марта 1988 года Уайлс испытал шок, увидев на первых полосах газет набранные крупным шрифтом заголовки, гласившие: «Великая теорема Ферма доказана». Газеты «Washington Post» и «New York Times» сообщали, что тридцативосьмилетний Иоичи Мияока из токийского Метрополитен университета решил самую трудную математическую проблему в мире. Пока Мияока еще не опубликовал свое доказательство, но в общих чертах изложил его ход на семинаре в Институте Макса Планка по математике в Бонне. Дон Цагир, присутствовавший на докладе Мияоки, выразил оптимизм математического сообщества в следующих словах: «Представленное Мияокой доказательство необычайно интересно, и некоторые математики полагают, что оно с высокой вероятностью окажется правильным. Полной уверенности еще нет, но пока доказательство выглядит весьма обнадеживающим».

Выступая с докладом на семинаре в Бонне, Мияока рассказал о своем подходе к решению проблемы, которую он рассматривал с совершенно иной, алгебро-геометрической, точки зрения. За последние десятилетия геометры достигли глубокого и тонкого понимания математических объектов, в частности, свойств поверхностей. В 70-е годы российский математик С. Аракелов попытался установить параллели между проблемами алгебраической геометрии и проблемами теории чисел. Это было одно из направлений программы Ленглендса, и математики надеялись, что нерешенные проблемы теории чисел удастся решить, изучая соответствующие проблемы геометрии, которые также еще оставались нерешенными[18]. Такая программа была известна под названием философии параллелизма[19]. Те алгебраические геометры, которые пытались решать проблемы теории чисел, получили название «арифметических алгебраических геометров». В 1983 году они возвестили о своей первой значительной победе, когда Герд Фалтингс из Принстонского Института высших исследований внес существенный вклад в понимание теоремы Ферма[20]. Напомним, что, по утверждению Ферма, уравнение

xⁿ + yⁿ = zⁿ

при n б?льших 2 не имеет решений в целых числах. Фалтингс решил, что ему удалось продвинуться в доказательстве Великой теоремы Ферма с помощью изучения геометрических поверхностей, связанных с различными значениями n. Поверхности, связанные с уравнениями Ферма при различных значениях n, отличаются друг от друга, но обладают одним общим свойством — у них всех имеются сквозные отверстия, или, попросту говоря, дыры. Эти поверхности четырехмерны, как и графики модулярных форм. Двумерные сечения двух поверхностей представлены на рис. 23. Поверхности, связанные с уравнением Ферма, выглядят аналогично. Чем больше значение n в уравнении, тем больше дыр в соответствующей поверхности.

 Рис. 23. Эти две поверхности получены с использованием компьютерной программы «Mathematica». Каждая из них представляет геометрическое место точек удовлетворяющих уравнению xⁿ + yⁿ = zⁿ (для поверхности слева n=3, для поверхности справа n=5). Переменные x и y здесь считаются комплексными

Фалтингсу удалось доказать, что, поскольку такие поверхности всегда имеют несколько дыр, связанное с ними уравнение Ферма могло бы иметь лишь конечное множество решений в целых числах. Число решений могло быть любым — от нуля, как предполагал Ферма, до миллиона или миллиарда. Таким образом, Фалтингс не доказал Великую теорему Ферма, но по крайней мере сумел отвергнуть возможность существования у уравнения Ферма бесконечно многих решений.

Пятью годами позже Мияока сообщил, что ему удалось продвинуться еще на один шаг. Ему тогда было двадцать с небольшим лет. Мияока сформулировал гипотезу относительно некоторого неравенства. Стало ясно, что доказательство его геометрической гипотезы означало бы доказательство того, что число решений уравнения Ферма не просто конечно, а равно нулю[21]. Подход Мияоки был аналогичен подходу Уайлса в том, что они оба пытались доказать Великую теорему Ферма, связывая ее с фундаментальной гипотезой в другой области математики. У Мияоки это была алгебраическая геометрия, для Уайлса путь к доказательству лежал через эллиптические кривые и модулярные формы. К великому огорчению Уайлса, он все еще бился над доказательством гипотезы Таниямы-Шимуры, когда Мияока заявил о том, что располагает полным доказательством собственной гипотезы и, следовательно, Великой теоремы Ферма.

Через две недели после своего выступления в Бонне Мияока опубликовал пять страниц вычислений, составлявших суть его доказательства, и началась тщательнейшая проверка. Специалисты по теории чисел и алгебраической геометрии во всех странах мира изучали, строка за строкой, опубликованные вычисления. Через несколько дней математики обнаружили в доказательстве одно противоречие, которое не могло не вызывать беспокойства. Одна из частей работы Мияоки приводила к утверждению из теории чисел, из которого, при переводе на язык алгебраической геометрии, получалось утверждение, противоречившее результату, полученному несколькими годами раньше. И хотя это не обязательно обесценивало все доказательство Мияоки, обнаруженное противоречие не вписывалось в философию параллелизма между теорией чисел и геометрией.

Еще через две недели Герд Фалтингс, проложивший путь Мияоке, объявил о том, что обнаружил точную причину кажущегося нарушения параллелизма — пробел в рассуждениях. Японский математик был геометром и при переводе своих идей на менее знакомую территорию теории чисел не был абсолютно строг. Армия специалистов по теории чисел предприняла отчаянные усилия залатать прореху в доказательстве Мияоки, но тщетно. Через два месяца после того, как Мияока заявил о том, что располагает полным доказательством Великой теоремы Ферма, математическое сообщество пришло к единодушному заключению: доказательство Мияоки обречено на провал.

Как и в случае прежних несостоявшихся доказательств, Мияоке удалось получить немало интересных результатов. Отдельные фрагменты его доказательства заслуживали внимания как весьма остроумные приложения геометрии к теории чисел, и в последующие годы другие математики воспользовались ими для доказательства некоторых теорем, но доказать Великую теорему Ферма этим путем не удалось никому.

Шумиха по поводу Великой теоремы Ферма вскоре утихла, и газеты поместили краткие заметки, в которых говорилось, что трехсотлетняя головоломка по-прежнему остается нерешенной. На стене станции нью-йоркской подземки на Восьмой стрит появилась следующая надпись, несомненно, вдохновленная публикациями в прессе по поводу Великой теоремы Ферма: «Уравнение xn + yn = zn не имеет решений. Я нашел поистине удивительное доказательство этого факта, но не могу записать его здесь, так как пришел мой поезд».