Людям, вынужденным жить в обычном трехмерном мире, понять, что такое гиперболический мир, довольно трудно, но с точки зрения математики именно эта особенность придает модулярным формам столь необычайно высокий уровень симметрии. Голландский художник Мориц Эшер был так увлечен математическими идеями, что попытался воплотить понятие гиперболического пространства в некоторых из своих гравюр и рисунков. На рис. 21 вы видите работу Эшера «Предельный круг. IV», на которой гиперболический мир втиснут в двумерную страницу. В истинно гиперболическом мире все летучие мыши и ангелы были бы одного размера, а повторы указывают на высокий уровень симметрии. Хотя некоторая симметрия ощутима и на рисунке, по мере продвижения к краю картины искажения усиливаются.
Рис. 21. «Предельный круг. IV» Морица Эшера содержит некоторые элементы симметрии модулярных форм
Модулярные формы появляются в различных обличьях, но каждую из форм можно представить в виде бесконечной суммы слагаемых специального вида, которые и отличают одну форму от другой. Эти бесконечные ряды, с помощью которых модулярная форма задается однозначно, называют модулярными рядами, или M -рядами.
Подобно тому, как E -ряды служат своего рода ДНК для эллиптических кривых, M -ряды играют роль ДНК для модулярных форм. Изменяя слагаемые M -ряда можно породить совершенно другую, но столь же симметричную, модулярную форму или полностью разрушить симметрию и создать новый объект, который не является модулярной формой. Если слагаемые выбраны произвольно, то построенный объект скорее всего будет обладать малой симметрией или даже будет полностью асимметричным.
Модулярные формы сами по себе играют весьма важную роль в математике. Они никак не связаны с предметом исследований Уайлса в Кембридже — эллиптическими кривыми. Модулярная форма — объект необычайно сложный, открытый только в XIX веке и ставший предметом пристального изучения главным образом из-за его симметрии. Кубические уравнения, соответствующие эллиптическим кривым, были известны с античных времен и не были никак связаны с симметрией. Модулярные формы и эллиптические кривые обитают в совершенно различных областях математического мира, и никому и в голову не приходило, что между ними существует какая-нибудь связь. Поэтому Танияма и Шимура повергли математическое сообщество в состояние шока своей гипотезой о том, что эллиптические кривые и модулярные формы по существу представляют собой одно и то же.
Желаемое принимается за действительное
В сентябре 1955 года в Токио состоялся международный симпозиум. Для молодых японских математиков это была уникальная возможность продемонстрировать остальному миру свои результаты. Они распространили среди участников симпозиума подборку из тридцати шести задач, связанных с той проблемой, над которой они работали, предпослав задачам следующее скромное введение: «Некоторые нерешенные математические задачи. Никакого основательного предварительного исследования не проводилось. Некоторые из предлагаемых задач могут быть тривиальными или уже решенными. Обращаемся к участникам семинара с просьбой прокомментировать любые из них».
Четыре задачи были предложены Таниямой и указывали на любопытную связь между модулярными формами и эллиптическими уравнениями. Эти невинные задачи в конце концов привели к перевороту в теории чисел. Танияма смог вычислить несколько первых членов M -ряда некоторой модулярной формы и понял, что эти члены совпадают с членами E -ряда хорошо известной эллиптической кривой. Танияма вычислил еще несколько членов каждого ряда, и M -ряд модулярной формы и E -ряд эллиптической кривой полностью совпали.
Ютака Танияма (крайний слева) и Горо Шимура (крайний справа) на Международном симпозиуме в Токио (1955)
Это открытие было поразительным, потому что не было никакой видимой причины, по которой модулярную форму можно было связать с эллиптической кривой. Однако, математические ДНК (E- и M -ряды), составляющие самую сущность обоих математических объектов, оказались тождественными. Открытие Таниямы было глубоким по двум причинам. Во-первых, оно наводило на мысль о существовании фундаментальной взаимосвязи между модулярными формами и эллиптическими кривыми — разными объектами математического мира. Во-вторых, оно означало, что математикам, которые уже знали M -ряд модулярной формы, нет необходимости вычислять E -ряд для соответствующей эллиптической кривой, поскольку он в точности совпадает с M -рядом.
Установление взаимосвязи между, казалось бы, различными объектами чрезвычайно плодотворно не только в математике, но и в любой науке. Такая взаимосвязь указывает на какой-то глубокий принцип, лежащий в основе обоих объектов и позволяющий глубже понять их. Например, первоначально физики рассматривали электричество и магнетизм как совершенно не связанные между собой явления, а в XIX веке теоретики и экспериментаторы поняли, что электричество и магнетизм тесно связаны между собой. В результате было достигнуто более глубокое понимание и электричества, и магнетизма. Электрические токи порождают магнитные поля, а магниты могут индуцировать электричество в проводниках, находящихся вблизи магнитов. Это привело к изобретению динамомашин и электромоторов. В конце концов было открыто, что свет представляет собой результат согласованных гармонических колебаний магнитного и электрического полей.
Танияма исследовал несколько других модулярных форм, и в каждом случае M -ряд в точности совпадал с E -рядом эллиптической кривой. Танияма начал размышлять над тем, не может ли каждая модулярная форма находиться в соответствии с некоторым кубическим уравнением. Может быть, у каждой модулярной формы есть такая же ДНК, как у некоторой эллиптической кривой? Именно с этой гипотезой и были связаны задачи, которые Танияма предложил вниманию участников симпозиума.
Идея о том, что каждая эллиптическая кривая связана с какой-то модулярной формой, была настолько необычна, что те, кому довелось взглянуть на задачи Таниямы, считали их не более чем забавным наблюдением. Разумеется, Танияма продемонстрировал, что несколько эллиптических кривых можно поставить в соответствие определенным модулярным формам, но участники семинара сочли, что это не более чем совпадение. По их мнению, гипотеза Таниямы о существовании какой-то более общей и универсальной взаимосвязи не имела под собой достаточного основания. Она опиралась не столько на факты, сколько на интуицию.
Единственным союзником Таниямы был Шимура, твердо веривший в силу и глубину идей своего друга. После симпозиума он стал работать вместе с Таниямой, стремясь довести его гипотезу до такого уровня, на котором остальной мир уже не сможет игнорировать полученные ими результаты. Шимура хотел найти новые факты, подтверждающие существование взаимосвязи между модулярными формами и эллиптическими кривыми. Их сотрудничество временно приостановилось в 1957 году, когда Шимура был приглашен в Принстонский институт высших исследований. По истечении двух лет работы в Америке в качестве приглашенного профессора Шимура намеревался возобновить совместную работу с Таниямой, но этим планам не суждено было сбыться.
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
Рис. 21. «Предельный круг. IV» Морица Эшера содержит некоторые элементы симметрии модулярных форм
Модулярные формы появляются в различных обличьях, но каждую из форм можно представить в виде бесконечной суммы слагаемых специального вида, которые и отличают одну форму от другой. Эти бесконечные ряды, с помощью которых модулярная форма задается однозначно, называют модулярными рядами, или M -рядами.
Подобно тому, как E -ряды служат своего рода ДНК для эллиптических кривых, M -ряды играют роль ДНК для модулярных форм. Изменяя слагаемые M -ряда можно породить совершенно другую, но столь же симметричную, модулярную форму или полностью разрушить симметрию и создать новый объект, который не является модулярной формой. Если слагаемые выбраны произвольно, то построенный объект скорее всего будет обладать малой симметрией или даже будет полностью асимметричным.
Модулярные формы сами по себе играют весьма важную роль в математике. Они никак не связаны с предметом исследований Уайлса в Кембридже — эллиптическими кривыми. Модулярная форма — объект необычайно сложный, открытый только в XIX веке и ставший предметом пристального изучения главным образом из-за его симметрии. Кубические уравнения, соответствующие эллиптическим кривым, были известны с античных времен и не были никак связаны с симметрией. Модулярные формы и эллиптические кривые обитают в совершенно различных областях математического мира, и никому и в голову не приходило, что между ними существует какая-нибудь связь. Поэтому Танияма и Шимура повергли математическое сообщество в состояние шока своей гипотезой о том, что эллиптические кривые и модулярные формы по существу представляют собой одно и то же.
Желаемое принимается за действительное
В сентябре 1955 года в Токио состоялся международный симпозиум. Для молодых японских математиков это была уникальная возможность продемонстрировать остальному миру свои результаты. Они распространили среди участников симпозиума подборку из тридцати шести задач, связанных с той проблемой, над которой они работали, предпослав задачам следующее скромное введение: «Некоторые нерешенные математические задачи. Никакого основательного предварительного исследования не проводилось. Некоторые из предлагаемых задач могут быть тривиальными или уже решенными. Обращаемся к участникам семинара с просьбой прокомментировать любые из них».
Четыре задачи были предложены Таниямой и указывали на любопытную связь между модулярными формами и эллиптическими уравнениями. Эти невинные задачи в конце концов привели к перевороту в теории чисел. Танияма смог вычислить несколько первых членов M -ряда некоторой модулярной формы и понял, что эти члены совпадают с членами E -ряда хорошо известной эллиптической кривой. Танияма вычислил еще несколько членов каждого ряда, и M -ряд модулярной формы и E -ряд эллиптической кривой полностью совпали.
Ютака Танияма (крайний слева) и Горо Шимура (крайний справа) на Международном симпозиуме в Токио (1955)
Это открытие было поразительным, потому что не было никакой видимой причины, по которой модулярную форму можно было связать с эллиптической кривой. Однако, математические ДНК (E- и M -ряды), составляющие самую сущность обоих математических объектов, оказались тождественными. Открытие Таниямы было глубоким по двум причинам. Во-первых, оно наводило на мысль о существовании фундаментальной взаимосвязи между модулярными формами и эллиптическими кривыми — разными объектами математического мира. Во-вторых, оно означало, что математикам, которые уже знали M -ряд модулярной формы, нет необходимости вычислять E -ряд для соответствующей эллиптической кривой, поскольку он в точности совпадает с M -рядом.
Установление взаимосвязи между, казалось бы, различными объектами чрезвычайно плодотворно не только в математике, но и в любой науке. Такая взаимосвязь указывает на какой-то глубокий принцип, лежащий в основе обоих объектов и позволяющий глубже понять их. Например, первоначально физики рассматривали электричество и магнетизм как совершенно не связанные между собой явления, а в XIX веке теоретики и экспериментаторы поняли, что электричество и магнетизм тесно связаны между собой. В результате было достигнуто более глубокое понимание и электричества, и магнетизма. Электрические токи порождают магнитные поля, а магниты могут индуцировать электричество в проводниках, находящихся вблизи магнитов. Это привело к изобретению динамомашин и электромоторов. В конце концов было открыто, что свет представляет собой результат согласованных гармонических колебаний магнитного и электрического полей.
Танияма исследовал несколько других модулярных форм, и в каждом случае M -ряд в точности совпадал с E -рядом эллиптической кривой. Танияма начал размышлять над тем, не может ли каждая модулярная форма находиться в соответствии с некоторым кубическим уравнением. Может быть, у каждой модулярной формы есть такая же ДНК, как у некоторой эллиптической кривой? Именно с этой гипотезой и были связаны задачи, которые Танияма предложил вниманию участников симпозиума.
Идея о том, что каждая эллиптическая кривая связана с какой-то модулярной формой, была настолько необычна, что те, кому довелось взглянуть на задачи Таниямы, считали их не более чем забавным наблюдением. Разумеется, Танияма продемонстрировал, что несколько эллиптических кривых можно поставить в соответствие определенным модулярным формам, но участники семинара сочли, что это не более чем совпадение. По их мнению, гипотеза Таниямы о существовании какой-то более общей и универсальной взаимосвязи не имела под собой достаточного основания. Она опиралась не столько на факты, сколько на интуицию.
Единственным союзником Таниямы был Шимура, твердо веривший в силу и глубину идей своего друга. После симпозиума он стал работать вместе с Таниямой, стремясь довести его гипотезу до такого уровня, на котором остальной мир уже не сможет игнорировать полученные ими результаты. Шимура хотел найти новые факты, подтверждающие существование взаимосвязи между модулярными формами и эллиптическими кривыми. Их сотрудничество временно приостановилось в 1957 году, когда Шимура был приглашен в Принстонский институт высших исследований. По истечении двух лет работы в Америке в качестве приглашенного профессора Шимура намеревался возобновить совместную работу с Таниямой, но этим планам не суждено было сбыться.
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