Онлайн библиотека PLAM.RU


  • Желаемое принимается за действительное
  • Смерть гения
  • Что значит «хорошо» в математике
  • Недостающее звено 
  • Глава 5. Доказательство от противного

    Узоры математика, как и узоры художника или узоры поэта, должны быть красивы; идеи, как и краски или слова, должны сочетаться гармонически. Красота является первым критерием: в мире нет места для безобразной математики.

    Г. Г. Харди


    В январе 1954 года талантливый молодой математик из Токийского университета нанес обычный визит в факультетскую библиотеку. Горо Шимуре был нужен экземпляр журнала «Mathematische Annalen», том 24. В частности, его интересовала статья Дойринга по алгебраической теории комплексного умножения. Шимура надеялся, что теория Дойринга поможет ему выполнить чрезвычайно сложные вычисления, смысл которых был ясен лишь узкому кругу специалистов.

    К удивлению и разочарованию Шимуры, нужный ему том журнала был выдан. Его взял Ютака Танияма, с которым Шимура был едва знаком. Танияма жил в другом конце студенческого городка. Шимура отправил Танияме открытку, объясняя, что журнал ему срочно нужен, чтобы закончить сложные вычисления, и вежливо осведомился, когда тот мог бы вернуть журнал.

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

    Танияма родился 12 ноября 1927 года в небольшом городке в нескольких километрах к северу от Токио. Японский иероглиф, обозначающий его имя, должен читаться как «Тойо», но большинство чужих людей, не являющихся членами семьи Таниямы, неправильно интерпретировали его как «Ютака», и, когда Танияма вырос, он принял это имя. В детстве образование Таниямы постоянно прерывалось. Он не отличался особенно крепким здоровьем, часто хворал, а став подростком, заболел туберкулезом и пропустил два года в средней школе. Разразившаяся война вызвала еще более продолжительный перерыв в его образовании.


    Горо Шимура, бывший на один год младше Таниямы, вынужден был совсем не учиться в военные годы. Его школу закрыли, и вместо уроков Шимура был вынужден работать на заводе, собирая детали самолетов. Каждый вечер он пытался самостоятельно заниматься по школьной программе. Особенно его влекла математика. «Разумеется, приходилось изучать многие предметы, но особенно легко мне давалась математика. Я запоем читал учебники математики. По учебникам я выучил математический анализ. Если бы я захотел изучить химию или физику, то мне потребовалось бы специальное оборудование, а у меня не было доступа ни к чему подобному. Я никогда не думал, будто обладаю какими-то способностями к математике. Просто мне было интересно».


    Через несколько лет после окончания войны Шимура и Танияма были уже студентами университета. К тому времени, когда они обменялись открытками по поводу тома «Mathematische Annalen», жизнь в Токио начала возвращаться в обычное русло, и два студента могли позволить себе небольшую роскошь: среди дня немного посидеть в кафе, вечером пообедать в ресторанчике, специализировавшемся на блюдах из китового мяса, а потом погулять в ботаническом саду или городском парке. Все это были идеальные места для обсуждения самых свежих математических идей.

    Хотя Шимура был не чужд некоторых причуд (он и поныне питает слабость к анекдотам о мудрецах, проповедующих дзен-буддизм), он был более консервативен и традиционен, чем его коллега. Шимура поднимался на рассвете и сразу же приступал к работе. Танияма же частенько не ложился спать, проработав всю ночь напролет. Те, кто заглядывал днем к нему в номер, нередко заставали его спящим.

    Шимура был скрупулезен и строг, Танияма небрежен, почти ленив. Удивительно, но именно эта черта в Танияме особенно импонировала Шимуре: «Он обладал особым даром совершать множество ошибок, в основном в правильном направлении. Я завидовал этой его особенности и даже пытался подражать ему, но обнаружил, что совершать хорошие ошибки очень трудно».

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

    Когда Танияма и Шимура встретились в 1954 году, они оба были начинающими математиками. По традиции, существующей и до сих пор, молодых аспирантов берет «под крыло» профессор, руководящий их становлением как математиков. Танияма и Шимура отвергли такую форму ученичества. Во время войны настоящие математические исследования прекратились, и даже к 50-м годам математический факультет еще не возродился. По словам Шимуры, профессора были «усталы, измучены и разочарованы». Что же касается послевоенных студентов и аспирантов, то они были преисполнены энергии и страстно хотели учиться. Вскоре аспиранты поняли, что единственный доступный им способ изучать математику заключается в том, чтобы обучать друг друга. Они организовали регулярно действующие семинары, на которых по очереди информировали друг друга о новейших идеях, результатах и методах. Несмотря на свою вялость и апатичность, Танияма, когда речь заходила о семинарах, преисполнялся всесокрушающей энергией. Аспирантов постарше он поощрял к тому, чтобы те смелее вторгались на еще неизведанную территорию, а по отношению к аспирантам младше себя и студентам выступал в роли учителя. Научная изоляция Японии привела к тому, что эти семинары занимались задачами, которые, как правило, в Европе и Америке считалась давно пройденными. Одна вышедшая из моды тема, а именно, исследование модулярных форм, казалась особенно привлекательной Танияме и Шимуре, Модулярные формы — один из самых причудливых и чудесных объектов в математике. Современный специалист по теории чисел Эйхлер причислил их к одной из пяти фундаментальных операций, т. е. умение обращаться с модулярными формами он считал настолько же важным, как и выполнение четырех действий арифметики. Надо сказать, что далеко не все математики уверенно чувствуют себя, сталкиваясь с этой пятой операцией, в отличие от первых четырех, где они считают себя мастерами.

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

    Рис. 18. Простой квадрат обладает вращательной и зеркальной симметриями


    Рис. 19. Плоскость, выложенная квадратами, помимо вращательной и зеркальной симметрий обладает еще и трансляционной симметрией


    В случае квадрата одна из форм симметрий — вращательная. Если мы мысленно проведем через точку пересечения осей x и y прямую, перпендикулярную рисунку, то квадрат на рис. 18 можно повернуть на четверть оборота — и он будет неотличим от исходного квадрата. Квадрат будет неотличим от исходного и после поворота на пол-оборота, три четверти оборота и полный оборот.

    Помимо вращательной симметрии квадрат обладает зеркальной симметрией. Если представить себе, что зеркало расположено вдоль оси x перпендикулярно плоскости рисунка, то верхняя половина квадрата отразится точно на нижнюю и наоборот, поэтому после преобразования квадрат будет неотличим от исходного. Аналогично, мы можем поставить три других зеркала (вдоль оси y и двух диагоналей). Во всех случаях отраженный квадрат будет неотличим от исходного квадрата.

    Простой квадрат симметричен, поскольку обладает вращательной и зеркальной симметриями. Но не обладает трансляционной симметрией. Это означает, что если квадрат подвергнуть сдвигу в любом направлении, то наблюдатель тотчас же заметит перемещение, поскольку положение квадрата относительно осей x и y изменится. Но если бы вся плоскость была вымощена квадратами, как на рис. 19, то этот бесконечный набор квадратов обладал бы трансляционной симметрией. При сдвиге такой разбитой на квадраты бесконечной поверхности на расстояние, равное одной или нескольким длинам квадрата, сдвинутая мозаика была бы ничем не отличима от исходной.

    Симметрия выложенных плитками поверхностей — идея довольно простая, но, как это нередко бывает со многими простыми на первый взгляд понятиями, в ней скрыто немало тонкостей. Например, в 70-е годы британский физик и большой любитель занимательных задач-головоломок Роджер Пенроуз начал прикидывать различные варианты разбиения одной и той же поверхности на плитки различной формы. В конце концов он обнаружил две особенно интересные формы, которые он назвал воздушным змеем и дротиком (см. рис. 20). Каждая из этих форм сама по себе не годится для замощения всей поверхности без пробелов и наложений плиток друг на друга, но вместе воздушные змеи и дротики позволяют разбивать поверхность на мозаики с различным рисунком. Змеи и дротики можно сочетать бесконечным числом способов, и хотя рисунки мозаик кажутся похожими, они сильно отличаются в деталях. Одна из таких мозаик представлена на рис. 20.

    Рис. 20. Используя плитки двух различных форм Роджер Пенроуз сумел выложить ими всю плоскость. Однако мозаика Пенроуза не обладает трансляционной симметрией


    Еще одна замечательная особенность мозаик Пенроуза заключается в том, что они обладает весьма ограниченным уровнем симметрии. На первый взгляд может показаться, что мозаика на рис. 20 обладает трансляционной симметрией, тем не менее любая попытка совместить мозаику с самой собой завершается неудачей. Мозаики Пенроуза оказались асимметричными, и этим они так привлекли математиков, что стали исходным пунктом в развитии целого нового направления.

    Интересно отметить, что мозаики Пенроуза эхом отозвались в материаловедении. Кристаллографы всегда считали, что структура кристаллов опирается на принципы, лежащие в основе разбиения на квадраты, обладающего высоким уровнем трансляционной симметрии. Теоретически строение кристаллов зиждется на весьма регулярной периодической структуре. Но в 1984 году ученые обнаружили металлический кристалл сплава алюминия и марганца, построенный на тех же принципах, что и мозаики Пенроуза. Мозаика сплава алюминия и марганца вела себя, как мозаика из воздушных змеев и дротиков, порождая кристалл почти регулярный, но не совсем. Недавно одна из французских компаний использовала кристалл Пенроуза в покрытии для сковород.

    Если отличительной особенностью мозаик Пенроуза является их ограниченная симметрия, то отличительная особенность модулярных форм — их бесконечная, неисчерпаемая симметрия. Модулярные формы, изучением которых занимались Танияма и Шимура, можно подвергать трансляциям (параллельным переносам, или сдвигам), перестраивать, переставлять фрагменты, отражать в зеркалах и поворачивать бесконечно многими способами, и при этом они останутся неизменными, что делает их наиболее симметричными математическими объектами. Когда французский математик-универсал Анри Пуанкаре изучал модулярные формы в XIX веке, он испытал огромные трудности, пытаясь справиться с их огромной симметрией. Пуанкаре признавался своим коллегам, что получив модулярную форму частного вида, он на протяжении двух недель просыпался каждое утро в надежде найти ошибку в своих вычислениях. И только на пятнадцатый день он понял, что модулярные формы действительно обладают предельно возможной симметрией.

    К сожалению, ни нарисовать, ни даже наглядно представить себе модулярную форму невозможно. В случае квадратной мозаики мы имеем объект, который обитает в двух измерениях. Его пространство задано осью x и осью y. Модулярную форму можно представлять себе как функцию, область определения которой находится в двух измерениях, но область значений которой также двумерна. Поэтому если бы мы хотели посмотреть на график такой функции, то он оказался бы в четырехмерном пространстве.

    Еще одной особенностью модулярных форм является то, что на области их определения можно ввести специальную структуру, превращающую эту область в гиперболическое пространство. Людям, вынужденным жить в обычном трехмерном мире, понять, что такое гиперболический мир, довольно трудно, но с точки зрения математики именно эта особенность придает модулярным формам столь необычайно высокий уровень симметрии. Голландский художник Мориц Эшер был так увлечен математическими идеями, что попытался воплотить понятие гиперболического пространства в некоторых из своих гравюр и рисунков. На рис. 21 вы видите работу Эшера «Предельный круг. IV», на которой гиперболический мир втиснут в двумерную страницу. В истинно гиперболическом мире все летучие мыши и ангелы были бы одного размера, а повторы указывают на высокий уровень симметрии. Хотя некоторая симметрия ощутима и на рисунке, по мере продвижения к краю картины искажения усиливаются.


    Рис. 21. «Предельный круг. IV» Морица Эшера содержит некоторые элементы симметрии модулярных форм


    Модулярные формы появляются в различных обличьях, но каждую из форм можно представить в виде бесконечной суммы слагаемых специального вида, которые и отличают одну форму от другой. Эти бесконечные ряды, с помощью которых модулярная форма задается однозначно, называют модулярными рядами, или M-рядами.

    Подобно тому, как E-ряды служат своего рода ДНК для эллиптических кривых, M-ряды играют роль ДНК для модулярных форм. Изменяя слагаемые M-ряда можно породить совершенно другую, но столь же симметричную, модулярную форму или полностью разрушить симметрию и создать новый объект, который не является модулярной формой. Если слагаемые выбраны произвольно, то построенный объект скорее всего будет обладать малой симметрией или даже будет полностью асимметричным.

    Модулярные формы сами по себе играют весьма важную роль в математике. Они никак не связаны с предметом исследований Уайлса в Кембридже — эллиптическими кривыми. Модулярная форма — объект необычайно сложный, открытый только в XIX веке и ставший предметом пристального изучения главным образом из-за его симметрии. Кубические уравнения, соответствующие эллиптическим кривым, были известны с античных времен и не были никак связаны с симметрией. Модулярные формы и эллиптические кривые обитают в совершенно различных областях математического мира, и никому и в голову не приходило, что между ними существует какая-нибудь связь. Поэтому Танияма и Шимура повергли математическое сообщество в состояние шока своей гипотезой о том, что эллиптические кривые и модулярные формы по существу представляют собой одно и то же.

    Желаемое принимается за действительное

    В сентябре 1955 года в Токио состоялся международный симпозиум. Для молодых японских математиков это была уникальная возможность продемонстрировать остальному миру свои результаты. Они распространили среди участников симпозиума подборку из тридцати шести задач, связанных с той проблемой, над которой они работали, предпослав задачам следующее скромное введение: «Некоторые нерешенные математические задачи. Никакого основательного предварительного исследования не проводилось. Некоторые из предлагаемых задач могут быть тривиальными или уже решенными. Обращаемся к участникам семинара с просьбой прокомментировать любые из них».

    Четыре задачи были предложены Таниямой и указывали на любопытную связь между модулярными формами и эллиптическими уравнениями. Эти невинные задачи в конце концов привели к перевороту в теории чисел. Танияма смог вычислить несколько первых членов M-ряда некоторой модулярной формы и понял, что эти члены совпадают с членами E-ряда хорошо известной эллиптической кривой. Танияма вычислил еще несколько членов каждого ряда, и M-ряд модулярной формы и E-ряд эллиптической кривой полностью совпали.


    Ютака Танияма (крайний слева) и Горо Шимура (крайний справа) на Международном симпозиуме в Токио (1955)


    Это открытие было поразительным, потому что не было никакой видимой причины, по которой модулярную форму можно было связать с эллиптической кривой. Однако, математические ДНК (E- и M-ряды), составляющие самую сущность обоих математических объектов, оказались тождественными. Открытие Таниямы было глубоким по двум причинам. Во-первых, оно наводило на мысль о существовании фундаментальной взаимосвязи между модулярными формами и эллиптическими кривыми — разными объектами математического мира. Во-вторых, оно означало, что математикам, которые уже знали M-ряд модулярной формы, нет необходимости вычислять E-ряд для соответствующей эллиптической кривой, поскольку он в точности совпадает с M-рядом.

    Установление взаимосвязи между, казалось бы, различными объектами чрезвычайно плодотворно не только в математике, но и в любой науке. Такая взаимосвязь указывает на какой-то глубокий принцип, лежащий в основе обоих объектов и позволяющий глубже понять их. Например, первоначально физики рассматривали электричество и магнетизм как совершенно не связанные между собой явления, а в XIX веке теоретики и экспериментаторы поняли, что электричество и магнетизм тесно связаны между собой. В результате было достигнуто более глубокое понимание и электричества, и магнетизма. Электрические токи порождают магнитные поля, а магниты могут индуцировать электричество в проводниках, находящихся вблизи магнитов. Это привело к изобретению динамомашин и электромоторов. В конце концов было открыто, что свет представляет собой результат согласованных гармонических колебаний магнитного и электрического полей.

    Танияма исследовал несколько других модулярных форм, и в каждом случае M-ряд в точности совпадал с E-рядом эллиптической кривой. Танияма начал размышлять над тем, не может ли каждая модулярная форма находиться в соответствии с некоторым кубическим уравнением. Может быть, у каждой модулярной формы есть такая же ДНК, как у некоторой эллиптической кривой? Именно с этой гипотезой и были связаны задачи, которые Танияма предложил вниманию участников симпозиума.

    Идея о том, что каждая эллиптическая кривая связана с какой-то модулярной формой, была настолько необычна, что те, кому довелось взглянуть на задачи Таниямы, считали их не более чем забавным наблюдением. Разумеется, Танияма продемонстрировал, что несколько эллиптических кривых можно поставить в соответствие определенным модулярным формам, но участники семинара сочли, что это не более чем совпадение. По их мнению, гипотеза Таниямы о существовании какой-то более общей и универсальной взаимосвязи не имела под собой достаточного основания. Она опиралась не столько на факты, сколько на интуицию.

    Единственным союзником Таниямы был Шимура, твердо веривший в силу и глубину идей своего друга. После симпозиума он стал работать вместе с Таниямой, стремясь довести его гипотезу до такого уровня, на котором остальной мир уже не сможет игнорировать полученные ими результаты. Шимура хотел найти новые факты, подтверждающие существование взаимосвязи между модулярными формами и эллиптическими кривыми. Их сотрудничество временно приостановилось в 1957 году, когда Шимура был приглашен в Принстонский институт высших исследований. По истечении двух лет работы в Америке в качестве приглашенного профессора Шимура намеревался возобновить совместную работу с Таниямой, но этим планам не суждено было сбыться. 17 ноября 1958 года Ютака Танияма покончил жизнь самоубийством.

    Смерть гения

    Шимура все еще хранит ту открытку, которую Танияма послал ему в ответ на просьбу вернуть том журнала «Mathematische Annalen». Он также хранит письмо, которое Танияма прислал ему, когда он находился в Принстоне. В письме не было ни малейшего намека на то, что произошло всего лишь двумя месяцами позднее. До сего дня Шимура не может понять, что толкнуло Танияму на самоубийство. «Я был очень озадачен. Озадачен — наиболее точное слово. Разумеется, я был очень опечален. Все это было так неожиданно. Я получил от него письмо в сентябре, а погиб он в начале ноября. В голове у меня это просто не укладывается. Разумеется, позднее до меня доходили разные слухи, и я пытался как-то примириться с его смертью. Некоторые говорили, что он потерял уверенность в себе, но не как математик».


    У Горо Шимуры и поныне хранится последнее письмо, которое он получил от своего друга и коллеги Ютаки Таниямы


    Друзья Таниямы недоумевали, так как он незадолго до самоубийства полюбил Мисако Сузуки и намеревался в том году вступить с ней в брак. В некрологе, опубликованном в журнале «Bulletin of the London Mathematical Society», Горо Шимура вспоминает помолвку Таниямы и Мисако и последние недели жизни своего друга:

    «Получив известие об их помолвке, я был несколько удивлен, так как смутно ощущал, что она была не в его вкусе, но никаких дурных предчувствий у меня не было. Позднее мне рассказали, что они сняли квартиру, по-видимому, более комфортабельную, вместе купили кое-какую кухонную утварь и занялись приготовлениями к свадьбе. Будущее казалось безоблачным и им, и их друзьям. Катастрофа обрушилась внезапно.

    Утром в понедельник 17 ноября 1958 года комендант аспирантского общежития, где жил Танияма, обнаружил его мертвым. На столе лежало предсмертное письмо. Оно заняло три страницы из блокнота, в котором он обычно производил вычисления. Первый абзац письма гласил: "Вплоть до вчерашнего дня у меня не было определенного намерения покончить с собой. Но многие обратили внимание на то, что последнее время я очень устал и физически, и умственно. Что касается причины самоубийства, то она не вполне понятна мне самому, но во всяком случае не является результатом чего-нибудь конкретного. Могу только сказать, что нахожусь в таком умонастроении, что утратил всякую уверенность в моем будущем. Возможно, кого-нибудь мое самоубийство встревожит или до какой-то степени огорчит. Я искренне надеюсь, что этот случай не омрачит будущее этого человека. Во всяком случае, я не могу отрицать того, что мой поступок отдает предательством, но прошу отнестись к нему снисходительно, как к последнему поступку, который я совершаю по своей воле. Всю свою жизнь я делал то, что хотел."

    Далее Танияма очень скрупулезно описывает, как следует распорядиться его имуществом, какие книги и пластинки он брал в библиотеке или у друзей. В частности, в его посмертном письме говорится: "Я хотел бы оставить пластинки и проигрыватель Мисако Сузуки, если ей не будет неприятно получить их от меня". Затем он поясняет, на чем остановился, читая курсы математического анализа и линейной алгебры для студентов, и приносит своим коллегам извинения за те неудобства, которые причинит им его поступок. Это был один из самых блестящих и новаторских умов своего времени, ушедший из жизни по собственному желанию. Всего лишь за пять дней до самоубийства ему исполнился тридцать один год».

    Через несколько недель после самоубийства Таниямы трагедия повторилась: его невеста Мисако Сузуки также покончила с собой. В ее посмертном письме говорилось: "Мы обещали друг другу, что куда бы мы ни отправились, мы никогда не будем разлучаться. Теперь он ушел. Я должна также уйти, чтобы быть вместе с ним".

    Что значит «хорошо» в математике

    За свою короткую жизнь в математике Танияма внес немало радикальных идей. Наиболее значительная из них настолько опередила свое время, что ему так и не довелось увидеть, какое огромное влияние она оказала на теорию чисел. Он был лидером среди молодых японских математиков, и его уход из жизни стал для них большой потерей. Шимура отчетливо вспоминает влияние Таниямы: «Он всегда был внимателен к коллегам, особенно к молодым, и искренне заботился об их благосостоянии. Для многих из тех, кто вступал с ним в математический контакт, в том числе и для меня, он служил моральной опорой. Возможно, он не догадывался о той роли, которую играл. Ныне я ощущаю его благородную щедрость в этом отношении еще более остро, чем когда он был жив. Но никто не смог поддержать его, когда он отчаянно нуждался в поддержке. Когда я думаю об этом, глубочайшая печаль переполняет меня».

    После смерти Таниямы Шимура сосредоточил все свои усилия на том, чтобы понять, какая именно взаимосвязь существует между эллиптическими кривыми и модулярными формами. Несколько лет он упорно собирал все новые и новые факты и логические доводы в пользу гипотезы Таниямы. Постепенно он стал проникаться все большей уверенностью в том, что каждое эллиптическое уравнение в отдельности должно быть связано с соответствующей модулярной формой. Другие математики сомневались, и Шимура вспоминает разговор с одним знаменитым коллегой. Профессор спросил: «Я слышал, что Вы предполагаете, будто какие-то эллиптические кривые могут быть связаны с модулярными формами?» «Вы не поняли, — возразил Шимура. — Не просто какие-то эллиптические кривые, а каждая эллиптическая кривая!»

    Шимура не мог доказать, что это действительно так, но всякий раз, когда он проверял гипотезу, она неизменно оказывалась верной. Во всяком случае, все происходившее как нельзя лучше вписывалась в его широкую философию математики. «У меня есть своя философия относительно того, что такое хорошо. Математика должна выражать то, что хорошо. Например, в случае эллиптической кривой, ее можно назвать хорошей, если она параметризована модулярной формой. По моим ожиданиям, все эллиптические кривые хорошие. Разумеется, это философия в чистом виде, но ничто не мешает ее принять за исходный пункт. Нужно ли говорить, что в обоснование гипотезы мне приходится изыскивать различные «технические» причины. Я бы сказал, что моя математическая гипотеза появилась из моего представления о том, что такое хорошо. Многие математики занимаются своей наукой из эстетических соображений, и моя философия того, что такое хорошо, также проистекает из моих эстетических соображений».

    Собранные Шимурой подкрепляющие данные означали, что гипотеза о связи между эллиптическими кривыми и модулярными формами начала пользоваться более широким признанием. Шимура не мог доказать, что гипотеза верна, но, по крайней мере, никто более не мог утверждать, что, формулируя гипотезу, он выдает желаемое за действительное. В пользу нее теперь свидетельствовало довольно много фактов. Первоначально ее стали называть гипотезой Таниямы-Шимуры в знак признания заслуг человека, впервые высказавшего ее, и его коллеги, который развил ее и придал ей законченный вид.

    Андре Вейль, один из крестных отцов теории чисел XX века, принял эту гипотезу и опубликовал ее на Западе. Вейль подверг идею Шимуры и Таниямы подробнейшему анализу и обнаружил еще более фундаментальные данные, свидетельствующие в ее пользу. В результате эту гипотезу стали часто называть гипотезой Таниямы-Шимуры—Вейля, иногда — гипотезой Таниямы—Вейля, а иногда даже гипотезой Вейля. Относительно того, как ее следует правильно называть, было немало дискуссий и споров. Для тех читателей, которые интересуются подобной комбинаторикой, заметим, что все возможные комбинации из трех имен — Таниямы, Шимуры и Вейля — появлялись в печати в течение года, однако я буду ее называть так, как ее назвали в самом начале, — гипотезой Таниямы-Шимуры.

    Профессор Джон Коутс, руководитель Эндрю Уайлса в его аспирантские годы, сам был аспирантом в то время, когда гипотезу Таниямы-Шимуры начали обсуждать на Западе. «Я приступил к самостоятельным исследованиям в 1966 году, когда гипотеза Таниямы-Шимуры распространялась по всему миру. Все были потрясены и начали серьезно задумываться над вопросом, все ли эллиптические кривые могут быть модулярными. Время было захватывающе интересным; единственная проблема заключалась в том, что успехи были очень незначительны. Должен честно признаться, что сколь ни красивой была сама идея, доказать ее было очень трудно, и именно это привлекало нас как математиков».

    В конце 60-х многие математики только и делали, что занимались проверкой гипотезы Таниямы-Шимуры. Они брали какую-нибудь эллиптическую кривую, вычисляли E-ряд и занимались поиском модулярной формы с таким же M-рядом. И каждый раз находили для данной эллиптической кривой соответствующую ей модулярную форму. И хотя это убедительно свидетельствует в пользу гипотезы Таниямы-Шимуры, доказательством собранные данные считать было нельзя. Математики подозревали, что гипотеза верна, но до тех пор, пока не найдено логическое доказательство, гипотеза оставалась всего лишь гипотезой.

    Профессор Гарвардского университета Барри Мазур был свидетелем того, как гипотеза Таниямы-Шимуры обретала все большую известность. «Гипотеза была великолепной (предполагалось, что каждой эллиптической кривой соответствует модулярная форма), поначалу ее игнорировали, так как она опередила свое время. Когда она была выдвинута впервые, ее не восприняли всерьез потому, что она была чересчур удивительна. С одной стороны, вы имеете эллиптический мир, с другой — модулярный мир. Обе эти области математики исследовались интенсивно, но независимо друг от друга. Математики, занимавшиеся изучением эллиптических кривых, могли не быть сведущими в проблемах модулярных форм, и наоборот. И тут появляется гипотеза Таниямы-Шимуры, которая утверждает, что между двумя совершенно различными математическими мирами существует мост. Математики любят наводить мосты».

    Значение математических мостов огромно. Они позволяют сообществам математиков, обитающим на отдельных островах, обмениваться идеями и исследовать то, что удалось создать их коллегам с других островов. Математика состоит из островов знания в море незнания. Например, на одном острове обитают геометры, занимающиеся изучением форм, на другом острове теории вероятностей математики изучают риски и случайность. Существуют десятки других островов, обитатели которых говорят на своем собственном языке, непонятном обитателям других островов. Язык геометрии сильно отличается от языка теории вероятностей, а алгебраическая терминология чужда тем, кто говорит только о статистике.

    Большой интерес к гипотезе Таниямы-Шимуры был обусловлен тем, что она наводила мост между двумя островами и позволяла их обитателям впервые говорить друг с другом. Барри Мазур склонен видеть в гипотезе Таниямы-Шимуры устройство, позволяющее осуществлять перевод с одного языка на другой, аналогичное розеттскому камню, надписи на котором были выполнены на трех языках: демотическим египетским письмом, на древнегреческом языке и египетскими иероглифами. Так как демотическое письмо и древнегреческий были понятны, археологи впервые смогли расшифровать египетские иероглифы. «Если один из языков вы знаете, то розеттский камень позволяет вам достичь глубокого понимания другого языка, — говорит Мазур. — Но гипотеза Таниямы-Шимуры — розеттский камень, наделенный определенной магической силой. Гипотеза Таниямы-Шимуры обладает весьма приятной особенностью, которая заключается в том, что простые интуитивные соображения в модулярном мире при переводе превращаются в глубокие истины в эллиптическом мире, и наоборот. Более того, глубокие проблемы в эллиптическом мире иногда решались очень просто при переводе их с помощью нового "розеттского камня" на язык модулярного мира, если удавалось обнаружить в модулярном мире идеи и средства для решения переведенной проблемы. Оставаясь в эллиптическом мире, мы были бы обречены на поражение».

    Если бы гипотеза Таниямы-Шимуры оказалась верной, то она позволила бы математикам подходить к решению эллиптических проблем, остававшихся нерешенными на протяжении столетий, с позиций модулярного мира. Была надежда, что область эллиптических уравнений удастся объединить с областью модулярных форм. Гипотеза Таниямы-Шимуры также породила надежду на существование мостов и между другими областями математики. В 60-е годы возможности, заложенные в гипотезе Таниямы-Шимуры, поразили воображение Роберта Ленглендса из Принстонского Института высших исследований. И хотя гипотеза не была доказана, Ленглендс был убежден, что она представляет собой всего лишь один из элементов гораздо более общей схемы унификации. Он считал, что все основные разделами математики взаимосвязаны, и приступил к поиску такого рода связей. Через несколько лет его поиски стали приносить первые результаты. Другие гипотезы о связях между разными разделами математики были гораздо слабее и рискованнее, чем гипотеза Таниямы-Шимуры, но все они сплетались в одну тонкую сеть. Ленглендс мечтал о том, как одна за другой эти гипотезы будут доказаны и возникнет великая единая математика.

    Ленглендс охотно обсуждал свой план построения математики будущего (который впоследствии стали называть программой Ленглендса) и пытался привлечь других математиков к участию в доказательстве множества своих гипотез. Никаких путей, ведущих к цели не было видно, но если бы мечта Ленглендса все же осуществилась, то награда была бы грандиозной. Любую неразрешимую проблему в одной области математики можно было бы трансформировать в аналогичную проблему из другой области, где для ее решения имелся бы целый новый арсенал методов.[17] В случае неудачи эту проблему можно было бы перенести еще в какую-нибудь другую область математики, и так далее — до тех пор, пока наконец она не будет решена. В один прекрасный день, как надеялся автор программы Ленглендс, математики смогут решить самые трудные и тонкие проблемы, перенеся их в более подходящее место математического ландшафта.

    Важные следствия программа Ленглендса могла бы иметь и для прикладных наук и техники. Идет ли речь о моделировании взаимодействий между сталкивающимися кварками, или о выяснении наиболее эффективного варианта организации телекоммуникационной сети, часто ключом к решению проблемы служит выполнение математических расчетов. В некоторых разделах физики и техники сложность вычислений столь высока, что служит серьезнейшим препятствием на пути к прогрессу. Если бы математики могли доказать «мостообразующие» гипотезы из программы Ленглендса, то появились бы пути решения не только абстрактных, но и практических проблем реального мира.

    К 70-м годам программа Ленглендса стала своего рода перспективным планом развития математики, но «путь в рай», о котором может только мечтать каждый любитель решать задачи, был закрыт весьма простым обстоятельством: никто не имел ни малейшего представления о том, как можно было бы доказать любую из гипотез Ленглендса. Первым шагом к осуществлению программы Ленглендса могло бы стать доказательство гипотезы Таниямы-Шимуры, но и оно пока было неосуществимо.

    Несмотря на это, гипотеза Таниямы-Шимуры упоминалась в сотнях математических статей, авторы которых рассуждали о том, что произошло бы, если бы ее удалось доказать. Такие статьи начинались с преамбулы: «Предположим, что гипотеза Таниямы-Шимуры верна…» Далее следовал набросок решения какой-нибудь нерешенной задачи. Разумеется, полученные в таких работах результаты были не более чем гипотетическими. В свою очередь, эти результаты включались как предположения в другие результаты, и т. д. Возникла обширная математическая «страна», опиравшаяся только на истинность гипотезы Таниямы-Шимуры. Именно эта гипотеза стала фундаментом целого нового здания в математике, но до тех пор, пока гипотеза Таниямы-Шимуры не была доказана, все здание могло рухнуть в любой момент.

    В то время Эндрю Уайлс был молодым аспирантом Кембриджского университета, и он отчетливо вспоминает тревогу, которая охватила математическое сообщество в 70-е годы: «Мы строили все новые и новые гипотезы, простиравшиеся все дальше и дальше в будущее, но все это обратилось бы в прах, окажись гипотеза Таниямы-Шимуры неверна. Нам было необходимо доказать ее, чтобы продемонстрировать обоснованность плана, который мы с таким энтузиазмом наметили на будущее».

    Математики сложили хрупкий карточный домик. Они мечтали о том, что в один прекрасный день удастся подвести под это сооружение надежный фундамент. Их неотвязно мучил кошмар: кто-нибудь мог доказать, что гипотеза Таниямы-Шимуры неверна, и тем самым свести на нет плоды математических исследований на протяжении двух десятков лет.

    Недостающее звено 

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

    Когда Фрею предоставили слово для доклада, он начал с того, что выписал уравнение Ферма

    xn + yn = zn, где n — натуральное число больше 2.

    Великая теорема Ферма утверждает, что это уравнение не имеет решений в целых числах. Фрей исследовал вопрос о том, что бы произошло, если бы Великая теорема Ферма оказалась неверной, т. е. если бы уравнение Ферма допускало бы по крайней мере одно решение в целых числах. Фрей не имел ни малейшего представления о том, каким могло бы быть его гипотетическое (и еретическое) решение, поэтому неизвестные целые числа, якобы удовлетворяющие уравнению Ферма, он обозначил буквами A, B и C. Тем самым он предположил, что для некоторого N выполнено равенство:

    AN + BN = CN.

    Затем Фрей приступил к «преобразованию» уравнения. Это строгая математическая процедура, изменяющая вид уравнения, оставляя неизменной его сущность. С помощью искусных и сложных маневров Фрею удалось преобразовать исходное уравнение Ферма, обладающее гипотетическим решением, к виду

    y2 = x3 + (AN — BNx2ANBN.

    Хотя полученное уравнение по своему внешнему виду очень сильно отличается от исходного, тем не менее оно является его прямым следствием с учетом принятой гипотезы. Иначе говоря, если (и, разумеется, это большое «если») уравнение Ферма допускает решение в целых числах, то такое преобразованное уравнение существует. Поначалу преобразование Фрея не произвело особого впечатления на аудиторию, но он обратил внимание присутствующих на то, что это уравнение кубическое, а кривая, ему соответствующая, является эллиптической.

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

    Не следует забывать, что эллиптическая кривая Фрея — всего лишь фантом, призрак. Ее существование обусловлено тем, что уравнение Ферма имеет решение. Но если эллиптическая кривая Фрея существует, то она столь причудлива и необычайна, что невозможно установить соответствие между ней и какой угодно модулярной формой. Но гипотеза Таниямы-Шимуры утверждает, что каждая эллиптическая кривая должна быть связана с какой-нибудь модулярной формой. Таким образом, существование эллиптической кривой Фрея отрицает гипотезу Таниямы-Шимуры. Иначе говоря, аргументы Фрея сводились к следующему.

    1. В том (и только в том) случае, если Великая теорема Ферма неверна, то эллиптическая кривая Фрея существует.

    2. Кривая Фрея настолько причудлива, что не может быть модулярной.

    3. Гипотеза Таниямы-Шимуры утверждает, что любая эллиптическая кривая должна быть модулярной.

    4. Следовательно, гипотеза Таниямы-Шимуры должна быть неверна!

    Но, что еще более важно, рассуждения Фрея можно обратить:

    1. Если гипотеза Таниямы-Шимуры окажется верной, то каждая эллиптическая кривая должна быть модулярной.

    2. Если любая эллиптическая кривая должна быть модулярной, то эллиптическая кривая Фрея не может существовать.

    3. Если эллиптическая кривая Фрея не существует, то не могут существовать решения уравнения Ферма.

    4. Следовательно, Великая теорема Ферма верна!

    Отсюда Герхард Фрей сделал сенсационный вывод о том, что если бы математикам удалось доказать гипотезу Таниямы-Шимуры, то они автоматически доказали бы Великую теорему Ферма. Впервые за сотни лет появилась надежда, что труднейшую математическую проблему все же удастся разрешить. По Фрею, на пути к доказательству Великой теоремы Ферма стоит единственное препятствие: отсутствие доказательства гипотезы Таниямы-Шимуры.

    На аудиторию блестящая идея Фрея произвела неизгладимое впечатление, но присутствовавших поразил элементарный пробел в его логике. Почти все, кто был в аудитории, кроме самого Фрея, заметили этот пробел. Ошибка не казалась серьезной, тем не менее пока она не была исправлена, работу Фрея нельзя было считать законченной. Тому, кто сумел бы первым исправить эту ошибку, принадлежала бы честь установления связи между Великой теоремой Ферма и гипотезой Таниямы-Шимуры.

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

    Аргументы Фрея опирались на то, что его эллиптическая кривая, выведенная из уравнения Ферма, весьма причудлива — и поэтому не модулярна. Работа Фрея была неполна потому, что Фрей не доказал, что его эллиптическая кривая достаточно причудлива. Только когда кому-нибудь удастся доказать, что абсолютная причудливость эллиптической кривой Фрея доказывает гипотезу Таниямы-Шимуры, из этого будет следовать доказательство Великой теоремы Ферма.

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

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

    Чтобы доказать, что эллиптическая кривая не модулярна, математики занялись поиском инвариантов, аналогичных тем, которые были описаны в гл. 4. Инвариант узла показывает, что один инвариант не может быть трансформирован в другой, инвариант придуманной модели Лойдом головоломки «15–14» показывает, что исходное расположение шашек в этой головоломке невозможно превратить в расположение шашек строго по порядку номеров. Если бы специалистам по теории чисел удалось найти подходящий инвариант для описания эллиптической кривой Фрея, то они смогли бы доказать, что этой кривой, что бы с ней ни делали, невозможно сопоставить модулярную форму.


    Одним из тех, кто тщетно пытался доказать существование связи между гипотезой Таниямы-Шимуры и Великой теоремы Ферма, был профессор Калифорнийского университета в Беркли Кен Рибет. С тех пор, как он побывал на докладе Фрея в Обервольфахе, его не покидала надежда доказать, что эллиптическая кривая Фрея слишком причудлива для того, чтобы быть модулярной. После восемнадцати месяцев усилий Рибет, как и все остальные, не продвинулся ни на шаг. Летом 1986 года коллега Рибета, профессор Барри Мазур, приехал в Беркли для участия в Международном конгрессе математиков. Друзья встретились за чашечкой кофе в кафе «Стрaда» и принялись жаловаться друг другу на неудачи и брюзжать по поводу состояния дел в математике.


    Когда же они, в конце концов, добрались до обсуждения последних новостей о различных попытках доказать причудливость эллиптической кривой Фрея, Рибет начал объяснять тот ход доказательства, которой он наметил. Этот подход позволял питать смутные надежды на успех, но Рибету удалось осуществить лишь малую часть из задуманного. «Я сидел с Барри и рассказывал о том, чем занимался все это время. Я упомянул, что мне удалось найти доказательство лишь для весьма частного случая, но что делать дальше, как обобщить его, превратив в полнокровное доказательство, я не знаю».

    Профессор Мазур прихлебывал кофе и внимательно слушал Рибета. Вдруг он замер и с недоверием посмотрел на Кена. «Неужели Вы не видите? Вы уже доказали все, что требуется. Осталось лишь добавить гамма-нуль M-структуры, провести все доказательство с самого начала, и Вы получите все необходимое».

    Рибет посмотрел на Мазура, потом заглянул в чашечку с кофе и снова посмотрел на Мазура. В жизни Рибета как математика это был самый важный момент, и он охотно вспоминает его в мельчайших подробностях. «Я ответил Мазуру, что он абсолютно прав. Как же я сам этого не заметил? Я был сильно удивлен потому, что мне и в голову не приходило добавить лишний гамма-нуль M-структуры. Ведь это так просто!»

    Следует заметить, что добавление гамма-нуля M-структуры, звучавшее так просто для Кена Рибета, представляет довольно «хитроумную» часть доказательства.

    «Это был тот самый нюанс, которого мне недоставало, и теперь я видел его перед собой ясно и определенно. К себе в гостиничный номер я возвращался, как во сне. Я был полностью поглощен этой новой идеей. Меня не покидала мысль: "Боже, неужели это правильно?". Сев за стол, я принялся лихорадочно строчить в блокноте. Через час-другой я закончил все выкладки и убедился в том, что все ключевые шаги мной проверены и они прекрасно согласуются. Я еще раз просмотрел доказательство от начала и до конца. Все работало, как надо! На Международном конгрессе присутствовали тысячи математиков, и в беседе с некоторыми из коллег я упомянул о том, что мне удалось доказать, что Великая теорема Ферма следует из гипотезы Таниямы-Шимуры. Новость распространилась, как лесной пожар. Мои коллеги бросились ко мне с вопросом: «Правда ли, что Вам удалось доказать, что эллиптическая кривая Фрея не модулярна?» Я подумал минуту-другую и уверенно заявил: "Да!"».

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

    На протяжении трех с половиной столетий Великая теорема Ферма была изолированной проблемой, занимательной и неразрешимой головоломкой на краю математики. Теперь Кен Рибет, вдохновленный Герхардом Фреем, передвинул проблему Ферма в центр событий. Самая занимательная проблема, остававшаяся нерешенной с XVII века, оказалась неразрывно связанной с самой значительной проблемой XX века. Головоломка огромного исторического и эмоционального значения оказалась связанной с гипотезой, способной революционизировать современную математику. Действительно, теперь математики могли подходить к доказательству Великой теоремы Ферма, придерживаясь стратегии доказательства от противного. Чтобы доказать, что Великая теорема Ферма верна, математики исходили из предположения, что она неверна. Из этого бы следовало, что гипотеза Таниямы-Шимуры неверна. Но если бы можно было доказать, что гипотеза Таниямы-Шимуры верна, то из этого следовало бы, что и Великая теорема Ферма должна быть верна.

    Но в течение тридцати лет доказать гипотезу Таниямы-Шимуры не удавалось, и надежд на успех оставалось все меньше. Пессимистом был даже Кен Рибет: «Я был одним из очень многих, кто считал гипотезу Таниямы-Шимуры совершенно не доказуемой. Я и не пытался доказывать ее. Об этом нечего было и думать. Эндрю Уайлс был, по-видимому, одним из немногих людей на Земле, кто осмелился попытаться доказать эту гипотезу».


    Примечания:



    1

    Не могу отказать себе в удовольствии привести сонет А. Шамиссо, написанный по этому поводу:

    Во мгле веков пред нашим взором
    Блеснула истина. Она,
    Как теорема Пифагора,
    До наших дней еще верна.
      Найдя разгадку, мудрый старец
    Был благодарен небесам;
    Он сто быков велел зажарить
    И в жертву принести богам.
      С тех пор быки тревожно дышат, —
    Они, кляня дары богов,
    О новой истине услышав,
    Ужасный поднимают рев.
      Их старца имя потрясает,
    Их истины лучи слепят;
    И, новой жертвы ожидая,
    Быки, зажмурившись, дрожат.

    — E.G.A.



    17

    Строго говоря программа Ленглендса относится прежде всего к установлению связей между теорией представлений алгебраических групп, теорией модулярных форм и теорией Галуа глобальных полей.









    Главная | Контакты | Нашёл ошибку | Прислать материал | Добавить в избранное

    Все материалы представлены для ознакомления и принадлежат их авторам.