Теорема о модулярности
Теоре́ма о модуля́рности — математическая теорема, устанавливающая важное соотношение между эллиптическими кривыми над полем рациональных чисел и модулярными формами, являющимися определёнными аналитическими функциями комплексного переменного. В 1995 году Эндрю Уайлс, не без помощи Ричарда Тейлора, доказал данную теорему для всех полустабильных эллиптических кривых над полем рациональных чисел. Доказательство остальных (неполустабильных) случаев теоремы явилось результатом работ Кристо́фа Брёйля, Брайана Конрада, Фреда Даймонда и Ричарда Тейлора. До 2001 года (полное доказательство было получено в 1999 году) теорема называлась гипотезой Таниямы — Шимуры — Вейля (или гипотезой Таниямы — Симуры — Вейля).
Теорема о модулярности входит в программу Ленглендса, которая, в частности, направлена на поиск взаимосвязи автоморфных форм или автоморфных представлений (удобное обобщение модулярной формы) с более общими объектами алгебраической геометрии, такими как эллиптические кривые над полем алгебраических чисел. Большинство гипотез в рамках данной программы пока не доказано.
Формулировка править
Если — простое число, а — эллиптическая кривая над (полем рациональных чисел), то можно упростить уравнение, определив по модулю ; для любого конечного множества значений можно получить эллиптическую кривую над конечным полем из элементов. Введём последовательность , являющуюся важным инвариантом эллиптической кривой . Любая модулярная форма также даёт нам последовательность чисел (с помощью преобразования Фурье). Эллиптическая кривая, последовательность которой совпадает с такой же из модулярной формы, называется модуляром.
Теорема о модулярности утверждает, что все эллиптические кривые над являются модулярами.
История править
Это утверждение впервые было высказано в виде гипотезы Ютакой Таниямой в сентябре 1955 года. Вместе с Горо Шимурой он немного уточнил формулировку в 1957 году, но не смог продолжить работу из-за психологических проблем[1][2].
В 1960-х годах гипотезу внесли в программу Ленглендса по унификации математических гипотез. О гипотезе в 1970-е вспомнил и начал её активное изучение француз Андре Вейль, поэтому эту гипотезу часто называют гипотезой Таниямы — Шимуры — Вейля.
Гипотезой широко заинтересовались только когда в 1985 году Герхард Фрай предположил, что гипотеза Таниямы — Шимуры (тогда она так называлась) является обобщением Великой теоремы Ферма, потому как любой контрпример к Великой теореме Ферма приводил в итоге к немодулярной эллиптической кривой. В 1986 году Кен Рибет доказал это предположение. В 1995 году Эндрю Уайлс и Ричард Тейлор доказали особый случай теоремы Таниямы — Шимуры (случай полустабильных эллиптических кривых), которого было достаточно для доказательства Великой теоремы Ферма[3].
Полностью теорема о модулярности была доказана в 1999 году в результате трудов Кристо́фа Брёйля, Брайана Конрада, Фреда Даймонда и Ричарда Тейлора, которые, основываясь на работе Уайлса, доказали остальные (неполустабильные) случаи.
Из теоремы о модулярности следуют и другие теоремы теории чисел, похожие на Великую теорему Ферма. Например, «куб числа не может быть записан в виде суммы двух взаимно простых чисел, являющихся -ной степенью натурального числа, если »[4].
В марте 1996 года Уайлс получил премию Вольфа вместе с Робертом Ленглендсом. Несмотря на то, что ни один из них полностью не доказал теорему, было заявлено, что они внесли существенный вклад, значительно облегчивший дальнейшее доказательство[5].
Примечания править
- ↑ Стюарт, 2016, с. 196.
- ↑ Танияма покончил жизнь самоубийством в 1958 году, оставив довольно загадочную записку. Спустя примерно месяц самоубийство совершила его невеста Мисако Судзуки, оставив записку, в которой говорилось о том, что она должна воссоединиться со своим женихом.
- ↑ Соловьев Ю.П. Гипотеза Таниямы и последняя теорема Ферма (неопр.) // Соросовский Образовательный Журнал. — 1998. — February. — С. 135—138.
- ↑ Случай был известен ещё Эйлеру, а самому Ферма.
- ↑ Стюарт, 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.