Слушатели Фрея вышли из аудитории и устремились в комнату фотокопирования. Очень часто о важности доклада можно судить по длине очереди ожидающих у этой комнаты оттисков с текстом доклада. Получив полный текст доклада Фрея, слушатели разъехались по своим институтам и начали пытаться восполнить пробел в его рассуждениях.
Аргументы Фрея опирались на то, что его эллиптическая кривая, выведенная из уравнения Ферма, весьма причудлива — и поэтому не модулярна. Работа Фрея была неполна потому, что Фрей не доказал, что его эллиптическая кривая достаточно причудлива. Только когда кому-нибудь удастся доказать, что абсолютная причудливость эллиптической кривой Фрея доказывает гипотезу Таниямы-Шимуры, из этого будет следовать доказательство Великой теоремы Ферма.
Первоначально математики считали, что доказательство причудливости эллиптической кривой Фрея не требует никаких новых идей. Казалось, что допущенная Фреем ошибка элементарна, и все, кто присутствовал на симпозиуме в Обервольфахе, полагали, что начнется гонка — кто быстрее проделает необходимые выкладки. Все ожидали, что через несколько дней кто-нибудь пришлет по электронной почте сообщение о том, как именно доказать причудливость эллиптической кривой.
Прошла неделя. Никакого сообщения по электронной почте не последовало. Прошло несколько месяцев. То, что должно было стать массовым математическим забегом на спринтерскую дистанцию стало медленно, но верно превращаться в марафон. Казалось, Ферма продолжает по-прежнему дразнить и мучить своих потомков. Фрей нарисовал увлекательную, но обманчивую стратегию доказательства Великой теоремы Ферма, но даже первый шаг — доказательство немодулярности эллиптической кривой Фрея — озадачил математиков всего земного шара.
Чтобы доказать, что эллиптическая кривая не модулярна, математики занялись поиском инвариантов, аналогичных тем, которые были описаны в гл. 4. Инвариант узла показывает, что один инвариант не может быть трансформирован в другой, инвариант придуманной модели Лойдом головоломки «15–14» показывает, что исходное расположение шашек в этой головоломке невозможно превратить в расположение шашек строго по порядку номеров. Если бы специалистам по теории чисел удалось найти подходящий инвариант для описания эллиптической кривой Фрея, то они смогли бы доказать, что этой кривой, что бы с ней ни делали, невозможно сопоставить модулярную форму.

Одним из тех, кто тщетно пытался доказать существование связи между гипотезой Таниямы-Шимуры и Великой теоремы Ферма, был профессор Калифорнийского университета в Беркли Кен Рибет. С тех пор, как он побывал на докладе Фрея в Обервольфахе, его не покидала надежда доказать, что эллиптическая кривая Фрея слишком причудлива для того, чтобы быть модулярной. После восемнадцати месяцев усилий Рибет, как и все остальные, не продвинулся ни на шаг. Летом 1986 года коллега Рибета, профессор Барри Мазур, приехал в Беркли для участия в Международном конгрессе математиков. Друзья встретились за чашечкой кофе в кафе «Стр?да» и принялись жаловаться друг другу на неудачи и брюзжать по поводу состояния дел в математике.
Когда же они, в конце концов, добрались до обсуждения последних новостей о различных попытках доказать причудливость эллиптической кривой Фрея, Рибет начал объяснять тот ход доказательства, которой он наметил. Этот подход позволял питать смутные надежды на успех, но Рибету удалось осуществить лишь малую часть из задуманного. «Я сидел с Барри и рассказывал о том, чем занимался все это время. Я упомянул, что мне удалось найти доказательство лишь для весьма частного случая, но что делать дальше, как обобщить его, превратив в полнокровное доказательство, я не знаю».
Профессор Мазур прихлебывал кофе и внимательно слушал Рибета. Вдруг он замер и с недоверием посмотрел на Кена. «Неужели Вы не видите? Вы уже доказали все, что требуется. Осталось лишь добавить гамма-нуль M -структуры, провести все доказательство с самого начала, и Вы получите все необходимое».
Рибет посмотрел на Мазура, потом заглянул в чашечку с кофе и снова посмотрел на Мазура. В жизни Рибета как математика это был самый важный момент, и он охотно вспоминает его в мельчайших подробностях. «Я ответил Мазуру, что он абсолютно прав. Как же я сам этого не заметил? Я был сильно удивлен потому, что мне и в голову не приходило добавить лишний гамма-нуль M -структуры. Ведь это так просто!»
Следует заметить, что добавление гамма-нуля M -структуры, звучавшее так просто для Кена Рибета, представляет довольно «хитроумную» часть доказательства.
«Это был тот самый нюанс, которого мне недоставало, и теперь я видел его перед собой ясно и определенно. К себе в гостиничный номер я возвращался, как во сне. Я был полностью поглощен этой новой идеей. Меня не покидала мысль: "Боже, неужели это правильно?". Сев за стол, я принялся лихорадочно строчить в блокноте. Через час-другой я закончил все выкладки и убедился в том, что все ключевые шаги мной проверены и они прекрасно согласуются. Я еще раз просмотрел доказательство от начала и до конца. Все работало, как надо! На Международном конгрессе присутствовали тысячи математиков, и в беседе с некоторыми из коллег я упомянул о том, что мне удалось доказать, что Великая теорема Ферма следует из гипотезы Таниямы-Шимуры. Новость распространилась, как лесной пожар. Мои коллеги бросились ко мне с вопросом: «Правда ли, что Вам удалось доказать, что эллиптическая кривая Фрея не модулярна?» Я подумал минуту-другую и уверенно заявил: "Да!"».
Отныне Великая теорема Ферма была нерасторжимо связана с гипотезой Таниямы-Шимуры. Если бы кому-нибудь удалось доказать, что любая эллиптическая кривая модулярна, то из этого следовало бы, что уравнение Ферма не имеет решений в целых числах, и Великая теорема Ферма была бы тотчас же доказана.
На протяжении трех с половиной столетий Великая теорема Ферма была изолированной проблемой, занимательной и неразрешимой головоломкой на краю математики. Теперь Кен Рибет, вдохновленный Герхардом Фреем, передвинул проблему Ферма в центр событий. Самая занимательная проблема, остававшаяся нерешенной с XVII века, оказалась неразрывно связанной с самой значительной проблемой XX века. Головоломка огромного исторического и эмоционального значения оказалась связанной с гипотезой, способной революционизировать современную математику. Действительно, теперь математики могли подходить к доказательству Великой теоремы Ферма, придерживаясь стратегии доказательства от противного. Чтобы доказать, что Великая теорема Ферма верна, математики исходили из предположения, что она неверна. Из этого бы следовало, что гипотеза Таниямы-Шимуры неверна. Но если бы можно было доказать, что гипотеза Таниямы-Шимуры верна, то из этого следовало бы, что и Великая теорема Ферма должна быть верна.
Но в течение тридцати лет доказать гипотезу Таниямы-Шимуры не удавалось, и надежд на успех оставалось все меньше. Пессимистом был даже Кен Рибет: «Я был одним из очень многих, кто считал гипотезу Таниямы-Шимуры совершенно не доказуемой. Я и не пытался доказывать ее. Об этом нечего было и думать. Эндрю Уайлс был, по-видимому, одним из немногих людей на Земле, кто осмелился попытаться доказать эту гипотезу».
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81