Теорема о модулярности

Теоре́ма о модуля́рности — математическая теорема, устанавливающая важное соотношение между эллиптическими кривыми над полем рациональных чисел и модулярными формами, являющимися определёнными аналитическими функциями комплексного переменного. В 1995 году Эндрю Уайлс, не без помощи Ричарда Тейлора, доказал данную теорему для всех полустабильных эллиптических кривых над полем рациональных чисел. Доказательство остальных (неполустабильных) случаев теоремы явилось результатом работ Christophe Breuil — версия статьи «Брёйль, Кристоф» на английском языке Кристо́фа Брёйля (англ.) (рус., Brian Conrad — версия статьи «Конрад, Брайан» на английском языке Брайана Конрада (англ.) (рус., Fred Diamond — версия статьи «Даймонд, Фред» на английском языке Фреда Даймонда (англ.) (рус. и Ричарда Тейлора. До 2001 года (полное доказательство было получено в 1999 году) теорема называлась гипотезой Таниямы — Шимуры — Вейля (или гипотезой Таниямы — Симуры — Вейля).

Теорема о модулярности входит в программу Ленглендса, которая, в частности, направлена на поиск взаимосвязи автоморфных форм или автоморфных представлений (удобное обобщение модулярной формы) с более общими объектами алгебраической геометрии, такими как эллиптические кривые над полем алгебраических чисел. Большинство гипотез в рамках данной программы пока не доказано.

ФормулировкаПравить

Если $\text{[math]}$ $\text{[math]}$ $p$ — простое число, а $\text{[math]}$ $\text{[math]}$ $E$ — эллиптическая кривая над $\text{[math]}$ $\text{[math]}$ $\mathbb {Q}$ (полем рациональных чисел), то можно упростить уравнение, определив $\text{[math]}$ $\text{[math]}$ $E$ по модулю $\text{[math]}$ $\text{[math]}$ $p$ ; для любого конечного множества значений $\text{[math]}$ $\text{[math]}$ $p$ можно получить эллиптическую кривую над конечным полем $\text{[math]}$ $\text{[math]}$ $F_{p}$ из $\text{[math]}$ $\text{[math]}$ $n_{p}$ элементов. Введём последовательность $\text{[math]}$ $\text{[math]}$ $a_{p}=n_{p}-p$ , являющуюся важным инвариантом эллиптической кривой $\text{[math]}$ $\text{[math]}$ $E$ . Любая модулярная форма также даёт нам последовательность чисел (с помощью преобразования Фурье). Эллиптическая кривая, последовательность которой совпадает с такой же из модулярной формы, называется модуляром.

Теорема о модулярности утверждает, что все эллиптические кривые над $\text{[math]}$ $\text{[math]}$ $\mathbb {Q}$ являются модулярами.

ИсторияПравить

Это утверждение впервые было высказано в виде гипотезы Ютакой Таниямой в сентябре 1955 года. Вместе с Горо Шимурой он немного уточнил формулировку в 1957 году, но не смог продолжить работу из-за психологических проблем^[1]^[2].

В 1960-х годах гипотезу внесли в программу Ленглендса по унификации математических гипотез. О гипотезе в 1970-е вспомнил и начал её активное изучение француз Андре Вейль, поэтому эту гипотезу часто называют гипотезой Таниямы — Шимуры — Вейля.

Гипотезой широко заинтересовались только когда в 1985 году Gerhard Frey — версия статьи «Фрай, Герхард (математик)» на английском языке Герхард Фрай (англ.) (рус. предположил, что гипотеза Таниямы — Шимуры (тогда она так называлась) является обобщением Великой теоремы Ферма, потому как любой контрпример к Великой теореме Ферма приводил в итоге к немодулярной эллиптической кривой. В 1986 году Ken Ribet — версия статьи «Рибет, Кен» на английском языке Кен Рибет (англ.) (рус. доказал это предположение. В 1995 году Эндрю Уайлс и Ричард Тейлор доказали особый случай теоремы Таниямы — Шимуры (случай Semistable elliptic curve — версия статьи «Полустабильная эллиптическая кривая» на английском языке полустабильных эллиптических кривых (англ.) (рус.), которого было достаточно для доказательства Великой теоремы Ферма^[3].

Полностью теорема о модулярности была доказана в 1999 году в результате трудов Christophe Breuil — версия статьи «Брёйль, Кристоф» на английском языке Кристо́фа Брёйля (англ.) (рус., Brian Conrad — версия статьи «Конрад, Брайан» на английском языке Брайана Конрада (англ.) (рус., Fred Diamond — версия статьи «Даймонд, Фред» на английском языке Фреда Даймонда (англ.) (рус. и Ричарда Тейлора, которые, основываясь на работе Уайлса, доказали остальные (неполустабильные) случаи.

Из теоремы о модулярности следуют и другие теоремы теории чисел, похожие на Великую теорему Ферма. Например, «куб числа не может быть записан в виде суммы двух взаимно простых чисел, являющихся $\text{[math]}$ $\text{[math]}$ $n$ -ной степенью натурального числа, если $\text{[math]}$ $\text{[math]}$ $n\geqslant 3$ »^[4].

В марте 1996 года Уайлс получил премию Вольфа вместе с Робертом Ленглендсом. Несмотря на то, что ни один из них полностью не доказал теорему, было заявлено, что они внесли существенный вклад, значительно облегчивший дальнейшее доказательство^[5].

ПримечанияПравить

↑ Стюарт, 2016, с. 196.
↑ Танияма покончил жизнь самоубийством в 1958 году, оставив довольно загадочную записку. Спустя примерно месяц самоубийство совершила его невеста Мисако Судзуки, оставив записку, в которой говорилось о том, что она должна воссоединиться со своим женихом.
↑ Соловьев Ю.П. Гипотеза Таниямы и последняя теорема Ферма (неопр.) // Соросовский Образовательный Журнал. — 1998. — February. — С. 135—138.
↑ Случай $\text{[math]}$ $\text{[math]}$ $n=3$ был известен ещё Эйлеру, а $\text{[math]}$ $\text{[math]}$ $n=4$ самому Ферма.
↑ Стюарт, 2016, с. 200.

СсылкиПравить

Darmon, Henri. A Proof of the Full Shimura-Taniyama-Weil Conjecture Is Announced, Notices of the American Mathematical Society, Vol. 46 (1999), No. 11. Содержит введение к теореме и обзор её доказательства.
Conrad, Brian, Fred Diamond, Richard Taylor. Modularity of certain potentially Barsotti-Tate Galois representations, Journal of the American Mathematical Society 12 (1999), pp. 521—567. Приведено доказательство теоремы.

ЛитератураПравить

Иэн Стюарт. Величайшие математические задачи. — М.: Альпина нон-фикшн, 2016. — 460 с. — ISBN 978-5-91671-507-1.

[_558ae05de42276b5-1] Стюарт, 2016, с. 196.

[suicide-2] Танияма покончил жизнь самоубийством в 1958 году, оставив довольно загадочную записку. Спустя примерно месяц самоубийство совершила его невеста Мисако Судзуки, оставив записку, в которой говорилось о том, что она должна воссоединиться со своим женихом.

[sej9802-3] Соловьев Ю.П. Гипотеза Таниямы и последняя теорема Ферма (неопр.) // Соросовский Образовательный Журнал. — 1998. — February. — С. 135—138.

[euler-4] Случай $\text{[math]}$ $\text{[math]}$ $n=3$ был известен ещё Эйлеру, а $\text{[math]}$ $\text{[math]}$ $n=4$ самому Ферма.

[_5594d95de42abf13-5] Стюарт, 2016, с. 200.

[1]

[2]

[3]

[4]

[5]