Что значит «хорошо» в математике
Что значит «хорошо» в математике
За свою короткую жизнь в математике Танияма внес немало радикальных идей. Наиболее значительная из них настолько опередила свое время, что ему так и не довелось увидеть, какое огромное влияние она оказала на теорию чисел. Он был лидером среди молодых японских математиков, и его уход из жизни стал для них большой потерей. Шимура отчетливо вспоминает влияние Таниямы: «Он всегда был внимателен к коллегам, особенно к молодым, и искренне заботился об их благосостоянии. Для многих из тех, кто вступал с ним в математический контакт, в том числе и для меня, он служил моральной опорой. Возможно, он не догадывался о той роли, которую играл. Ныне я ощущаю его благородную щедрость в этом отношении еще более остро, чем когда он был жив. Но никто не смог поддержать его, когда он отчаянно нуждался в поддержке. Когда я думаю об этом, глубочайшая печаль переполняет меня».
После смерти Таниямы Шимура сосредоточил все свои усилия на том, чтобы понять, какая именно взаимосвязь существует между эллиптическими кривыми и модулярными формами. Несколько лет он упорно собирал все новые и новые факты и логические доводы в пользу гипотезы Таниямы. Постепенно он стал проникаться все большей уверенностью в том, что каждое эллиптическое уравнение в отдельности должно быть связано с соответствующей модулярной формой. Другие математики сомневались, и Шимура вспоминает разговор с одним знаменитым коллегой. Профессор спросил: «Я слышал, что Вы предполагаете, будто какие-то эллиптические кривые могут быть связаны с модулярными формами?» «Вы не поняли, — возразил Шимура. — Не просто какие-то эллиптические кривые, а каждая эллиптическая кривая!»
Шимура не мог доказать, что это действительно так, но всякий раз, когда он проверял гипотезу, она неизменно оказывалась верной. Во всяком случае, все происходившее как нельзя лучше вписывалась в его широкую философию математики. «У меня есть своя философия относительно того, что такое хорошо. Математика должна выражать то, что хорошо. Например, в случае эллиптической кривой, ее можно назвать хорошей, если она параметризована модулярной формой. По моим ожиданиям, все эллиптические кривые хорошие. Разумеется, это философия в чистом виде, но ничто не мешает ее принять за исходный пункт. Нужно ли говорить, что в обоснование гипотезы мне приходится изыскивать различные «технические» причины. Я бы сказал, что моя математическая гипотеза появилась из моего представления о том, что такое хорошо. Многие математики занимаются своей наукой из эстетических соображений, и моя философия того, что такое хорошо, также проистекает из моих эстетических соображений».
Собранные Шимурой подкрепляющие данные означали, что гипотеза о связи между эллиптическими кривыми и модулярными формами начала пользоваться более широким признанием. Шимура не мог доказать, что гипотеза верна, но, по крайней мере, никто более не мог утверждать, что, формулируя гипотезу, он выдает желаемое за действительное. В пользу нее теперь свидетельствовало довольно много фактов. Первоначально ее стали называть гипотезой Таниямы-Шимуры в знак признания заслуг человека, впервые высказавшего ее, и его коллеги, который развил ее и придал ей законченный вид.
Андре Вейль, один из крестных отцов теории чисел XX века, принял эту гипотезу и опубликовал ее на Западе. Вейль подверг идею Шимуры и Таниямы подробнейшему анализу и обнаружил еще более фундаментальные данные, свидетельствующие в ее пользу. В результате эту гипотезу стали часто называть гипотезой Таниямы-Шимуры—Вейля, иногда — гипотезой Таниямы—Вейля, а иногда даже гипотезой Вейля. Относительно того, как ее следует правильно называть, было немало дискуссий и споров. Для тех читателей, которые интересуются подобной комбинаторикой, заметим, что все возможные комбинации из трех имен — Таниямы, Шимуры и Вейля — появлялись в печати в течение года, однако я буду ее называть так, как ее назвали в самом начале, — гипотезой Таниямы-Шимуры.
Профессор Джон Коутс, руководитель Эндрю Уайлса в его аспирантские годы, сам был аспирантом в то время, когда гипотезу Таниямы-Шимуры начали обсуждать на Западе. «Я приступил к самостоятельным исследованиям в 1966 году, когда гипотеза Таниямы-Шимуры распространялась по всему миру. Все были потрясены и начали серьезно задумываться над вопросом, все ли эллиптические кривые могут быть модулярными. Время было захватывающе интересным; единственная проблема заключалась в том, что успехи были очень незначительны. Должен честно признаться, что сколь ни красивой была сама идея, доказать ее было очень трудно, и именно это привлекало нас как математиков».
В конце 60-х многие математики только и делали, что занимались проверкой гипотезы Таниямы-Шимуры. Они брали какую-нибудь эллиптическую кривую, вычисляли E-ряд и занимались поиском модулярной формы с таким же M-рядом. И каждый раз находили для данной эллиптической кривой соответствующую ей модулярную форму. И хотя это убедительно свидетельствует в пользу гипотезы Таниямы-Шимуры, доказательством собранные данные считать было нельзя. Математики подозревали, что гипотеза верна, но до тех пор, пока не найдено логическое доказательство, гипотеза оставалась всего лишь гипотезой.
Профессор Гарвардского университета Барри Мазур был свидетелем того, как гипотеза Таниямы-Шимуры обретала все большую известность. «Гипотеза была великолепной (предполагалось, что каждой эллиптической кривой соответствует модулярная форма), поначалу ее игнорировали, так как она опередила свое время. Когда она была выдвинута впервые, ее не восприняли всерьез потому, что она была чересчур удивительна. С одной стороны, вы имеете эллиптический мир, с другой — модулярный мир. Обе эти области математики исследовались интенсивно, но независимо друг от друга. Математики, занимавшиеся изучением эллиптических кривых, могли не быть сведущими в проблемах модулярных форм, и наоборот. И тут появляется гипотеза Таниямы-Шимуры, которая утверждает, что между двумя совершенно различными математическими мирами существует мост. Математики любят наводить мосты».
Значение математических мостов огромно. Они позволяют сообществам математиков, обитающим на отдельных островах, обмениваться идеями и исследовать то, что удалось создать их коллегам с других островов. Математика состоит из островов знания в море незнания. Например, на одном острове обитают геометры, занимающиеся изучением форм, на другом острове теории вероятностей математики изучают риски и случайность. Существуют десятки других островов, обитатели которых говорят на своем собственном языке, непонятном обитателям других островов. Язык геометрии сильно отличается от языка теории вероятностей, а алгебраическая терминология чужда тем, кто говорит только о статистике.
Большой интерес к гипотезе Таниямы-Шимуры был обусловлен тем, что она наводила мост между двумя островами и позволяла их обитателям впервые говорить друг с другом. Барри Мазур склонен видеть в гипотезе Таниямы-Шимуры устройство, позволяющее осуществлять перевод с одного языка на другой, аналогичное розеттскому камню, надписи на котором были выполнены на трех языках: демотическим египетским письмом, на древнегреческом языке и египетскими иероглифами. Так как демотическое письмо и древнегреческий были понятны, археологи впервые смогли расшифровать египетские иероглифы. «Если один из языков вы знаете, то розеттский камень позволяет вам достичь глубокого понимания другого языка, — говорит Мазур. — Но гипотеза Таниямы-Шимуры — розеттский камень, наделенный определенной магической силой. Гипотеза Таниямы-Шимуры обладает весьма приятной особенностью, которая заключается в том, что простые интуитивные соображения в модулярном мире при переводе превращаются в глубокие истины в эллиптическом мире, и наоборот. Более того, глубокие проблемы в эллиптическом мире иногда решались очень просто при переводе их с помощью нового "розеттского камня" на язык модулярного мира, если удавалось обнаружить в модулярном мире идеи и средства для решения переведенной проблемы. Оставаясь в эллиптическом мире, мы были бы обречены на поражение».
Если бы гипотеза Таниямы-Шимуры оказалась верной, то она позволила бы математикам подходить к решению эллиптических проблем, остававшихся нерешенными на протяжении столетий, с позиций модулярного мира. Была надежда, что область эллиптических уравнений удастся объединить с областью модулярных форм. Гипотеза Таниямы-Шимуры также породила надежду на существование мостов и между другими областями математики. В 60-е годы возможности, заложенные в гипотезе Таниямы-Шимуры, поразили воображение Роберта Ленглендса из Принстонского Института высших исследований. И хотя гипотеза не была доказана, Ленглендс был убежден, что она представляет собой всего лишь один из элементов гораздо более общей схемы унификации. Он считал, что все основные разделами математики взаимосвязаны, и приступил к поиску такого рода связей. Через несколько лет его поиски стали приносить первые результаты. Другие гипотезы о связях между разными разделами математики были гораздо слабее и рискованнее, чем гипотеза Таниямы-Шимуры, но все они сплетались в одну тонкую сеть. Ленглендс мечтал о том, как одна за другой эти гипотезы будут доказаны и возникнет великая единая математика.
Ленглендс охотно обсуждал свой план построения математики будущего (который впоследствии стали называть программой Ленглендса) и пытался привлечь других математиков к участию в доказательстве множества своих гипотез. Никаких путей, ведущих к цели не было видно, но если бы мечта Ленглендса все же осуществилась, то награда была бы грандиозной. Любую неразрешимую проблему в одной области математики можно было бы трансформировать в аналогичную проблему из другой области, где для ее решения имелся бы целый новый арсенал методов.[17] В случае неудачи эту проблему можно было бы перенести еще в какую-нибудь другую область математики, и так далее — до тех пор, пока наконец она не будет решена. В один прекрасный день, как надеялся автор программы Ленглендс, математики смогут решить самые трудные и тонкие проблемы, перенеся их в более подходящее место математического ландшафта.
Важные следствия программа Ленглендса могла бы иметь и для прикладных наук и техники. Идет ли речь о моделировании взаимодействий между сталкивающимися кварками, или о выяснении наиболее эффективного варианта организации телекоммуникационной сети, часто ключом к решению проблемы служит выполнение математических расчетов. В некоторых разделах физики и техники сложность вычислений столь высока, что служит серьезнейшим препятствием на пути к прогрессу. Если бы математики могли доказать «мостообразующие» гипотезы из программы Ленглендса, то появились бы пути решения не только абстрактных, но и практических проблем реального мира.
К 70-м годам программа Ленглендса стала своего рода перспективным планом развития математики, но «путь в рай», о котором может только мечтать каждый любитель решать задачи, был закрыт весьма простым обстоятельством: никто не имел ни малейшего представления о том, как можно было бы доказать любую из гипотез Ленглендса. Первым шагом к осуществлению программы Ленглендса могло бы стать доказательство гипотезы Таниямы-Шимуры, но и оно пока было неосуществимо.
Несмотря на это, гипотеза Таниямы-Шимуры упоминалась в сотнях математических статей, авторы которых рассуждали о том, что произошло бы, если бы ее удалось доказать. Такие статьи начинались с преамбулы: «Предположим, что гипотеза Таниямы-Шимуры верна…» Далее следовал набросок решения какой-нибудь нерешенной задачи. Разумеется, полученные в таких работах результаты были не более чем гипотетическими. В свою очередь, эти результаты включались как предположения в другие результаты, и т. д. Возникла обширная математическая «страна», опиравшаяся только на истинность гипотезы Таниямы-Шимуры. Именно эта гипотеза стала фундаментом целого нового здания в математике, но до тех пор, пока гипотеза Таниямы-Шимуры не была доказана, все здание могло рухнуть в любой момент.
В то время Эндрю Уайлс был молодым аспирантом Кембриджского университета, и он отчетливо вспоминает тревогу, которая охватила математическое сообщество в 70-е годы: «Мы строили все новые и новые гипотезы, простиравшиеся все дальше и дальше в будущее, но все это обратилось бы в прах, окажись гипотеза Таниямы-Шимуры неверна. Нам было необходимо доказать ее, чтобы продемонстрировать обоснованность плана, который мы с таким энтузиазмом наметили на будущее».
Математики сложили хрупкий карточный домик. Они мечтали о том, что в один прекрасный день удастся подвести под это сооружение надежный фундамент. Их неотвязно мучил кошмар: кто-нибудь мог доказать, что гипотеза Таниямы-Шимуры неверна, и тем самым свести на нет плоды математических исследований на протяжении двух десятков лет.