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

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

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

Формулировка

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

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

История

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

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

Гипотезой широко заинтересовались только тогда, когда в 1980-е Герхард Фрей предположил, что гипотеза Таниямы — Симуры (так она была названа тогда) является обобщением Великой теоремы Ферма, потому как любой контрпример к Великой теореме Ферма приводил в итоге к немодулярной эллиптической кривой. Кен Рибет позже доказал это предположение. В 1995 Эндрю Уайлс и Ричард Тейлор доказали особый случай теоремы Таниямы — Симуры (случай полустабильных эллиптических кривых), которого было достаточно для доказательства Великой теоремы Ферма.^[2]

Полностью теорема была доказана в 1999 году в результате трудов Кристо́фа Брьои́ля, Брайана Конрада, Фреда Даймонда и Ричарда Тейлора, которые, основываясь на работе Уайлса, доказали остальные (неполустабильные) случаи.

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

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

Примечания

1. ↑ Танияма покончил жизнь самоубийством в 1958 году, оставив довольно загадочную записку. Спустя примерно месяц самоубийство совершила его невеста Мисако Судзуки, оставив записку, в которой говорилось о том, что она должна воссоединиться со своим женихом.
2. ↑ Соловьев Ю.П. (2 1998). «Гипотеза Таниямы и последняя теорема Ферма». Соросовский Образовательный Журнал: 135–138.
3. ↑ Случай $n=3$ был известен ещё Эйлеру, а $n=4$ самому Ферма.

Ссылки

• 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. Приведено доказательство теоремы.