Гипотеза Таниямы — Шимуры

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

История

Предпосылки и формулировка

В середине 1950-х годов Ясуо Танияма, молодой японский математик, работавший в Токийском университете, начал изучать связь между эллиптическими кривыми и модулярными формами. На Международном симпозиуме по теории чисел в Токио в 1955 году Танияма сформулировал ряд вопросов, которые легли в основу гипотезы. В частности, он предположил, что L-функции эллиптических кривых могут быть связаны с L-функциями модулярных форм. После смерти Таниямы в 1958 году его коллега Горо Шимура продолжил разработку этой идеи. В 1960-е годы французский математик Андре Вейль, ознакомившись с работами Таниямы и Шимуры, придал гипотезе более точную формулировку, связав её с концепцией модулярности эллиптических кривых. Вейль также выдвинул ряд гипотез, которые впоследствии стали известны как гипотезы Вейля.

Развитие в 1960–1980-е годы

В 1960–1970-е годы гипотеза Таниямы — Шимуры оставалась недоказанной, но её частичные результаты были получены для некоторых классов эллиптических кривых. В 1970-е годы Роберт Ленглендс разработал программу, названную его именем, которая обобщала гипотезу Таниямы — Шимуры на более широкий класс объектов. В 1985 году немецкий математик Герхард Фрей выдвинул идею, что из гипотезы Таниямы — Шимуры следует Великая теорема Ферма. Фрей показал, что если существует контрпример к теореме Ферма, то из него можно построить эллиптическую кривую, которая не может быть модулярной. Это предположение было уточнено Кеном Рибетом в 1986 году, который доказал так называемую теорему Рибета: если гипотеза Таниямы — Шимуры верна, то Великая теорема Ферма также верна.

Доказательство Эндрю Уайлса

В 1993 году британский математик Эндрю Уайлс, работавший в Принстонском университете, объявил о доказательстве гипотезы Таниямы — Шимуры для полустабильных эллиптических кривых. Это доказательство, представленное на лекциях в Кембриджском университете, содержало ошибку, которая была исправлена Уайлсом при участии Ричарда Тейлора в 1994 году. Окончательное доказательство было опубликовано в 1995 году в журнале Annals of Mathematics. Уайлс доказал, что любая полустабильная эллиптическая кривая над полем рациональных чисел является модулярной. Поскольку эллиптическая кривая, построенная Фреем из гипотетического контрпримера к теореме Ферма, является полустабильной, это доказательство автоматически подтвердило Великую теорему Ферма.

Полное доказательство

В 2001 году группа математиков — Кристоф Бройль, Брайан Конрад, Фред Даймонд и Ричард Тейлор — опубликовала статью, в которой доказала гипотезу Таниямы — Шимуры в полном объёме, то есть для всех эллиптических кривых над полем рациональных чисел. Это доказательство обобщило методы Уайлса и Тейлора, используя теория деформаций Галуа и модулярные формы. Таким образом, гипотеза стала теоремой, известной как теорема о модулярности.

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

Эллиптические кривые

Эллиптическая кривая над полем рациональных чисел Q — это гладкая кубическая кривая, заданная уравнением вида: \[ y^2 = x^3 + ax + b, \] где \(a, b \in \mathbb{Q}\) и дискриминант \(\Delta = -16(4a^3 + 27b^2) \neq 0\). Каждой такой кривой сопоставляется L-функция, которая кодирует информацию о количестве решений уравнения по модулю простых чисел.

Модулярные формы

Модулярная форма — это голоморфная функция на верхней полуплоскости комплексной плоскости, обладающая определёнными свойствами симметрии относительно действия модулярной группы. Для данной модулярной формы веса \(k\) и уровня \(N\) её L-функция также имеет определённые аналитические свойства.

Утверждение гипотезы

Гипотеза Таниямы — Шимуры утверждает, что для любой эллиптической кривой \(E\) над Q существует модулярная форма \(f\) веса 2 и уровня \(N\), где \(N\) — кондуктор кривой, такая, что L-функция кривой \(L(E, s)\) совпадает с L-функцией модулярной формы \(L(f, s)\). Это означает, что эллиптическая кривая «модулярна», то есть может быть параметризована модулярными кривыми.

Значение

Доказательство Великой теоремы Ферма

Наиболее известное следствие гипотезы Таниямы — Шимуры — доказательство Великой теоремы Ферма, которая утверждает, что уравнение \(x^n + y^n = z^n\) не имеет целых решений при \(n > 2\). Как показали Фрей и Рибет, из гипотезы Таниямы — Шимуры следует, что любое возможное решение приводит к эллиптической кривой, которая не может быть модулярной, что противоречит гипотезе. Таким образом, доказательство гипотезы Уайлсом в 1994 году окончательно подтвердило теорему Ферма, остававшуюся недоказанной более 350 лет.

Связь с программой Ленглендса

Гипотеза Таниямы — Шимуры является частным случаем программы Ленглендса — обширной сети гипотез, связывающих теорию чисел, представления Галуа и автоморфные формы. Доказательство гипотезы стимулировало развитие методов теории деформаций Галуа и модулярных форм, которые стали основой для многих последующих результатов в арифметической геометрии.

Влияние на современную математику

Теорема о модулярности открыла путь к доказательству других гипотез, таких как гипотеза Серра о модулярности и гипотеза Сато — Тейта. Методы, разработанные Уайлсом, Тейлором и другими, применяются в изучении эллиптических кривых, диофантовых уравнений и теории чисел в целом.

Методы доказательства

Теория деформаций Галуа

Центральным инструментом в доказательстве Уайлса стала теория деформаций представлений Галуа. Уайлс использовал модулярные представления Галуа, связанные с эллиптическими кривыми, и показал, что они могут быть «деформированы» до модулярных форм. Ключевую роль сыграла теорема о поднятии модулярных представлений, разработанная Уайлсом и Тейлором.

Модулярные кривые и геометрия

Доказательство Бройля, Конрада, Даймонда и Тейлора опиралось на изучение модулярных кривых — пространств, параметризующих эллиптические кривые с дополнительной структурой. Они показали, что для любой эллиптической кривой существует модулярная кривая, которая отображается на неё, что и доказывает модулярность.

Критика и обсуждения

Гипотеза Таниямы — Шимуры не подвергалась серьёзной критике после её доказательства, так как доказательство было тщательно проверено математическим сообществом. Однако в процессе доказательства Уайлса в 1993 году была обнаружена ошибка, связанная с использованием теории Эйлеровых систем, которая была исправлена в 1994 году. После публикации окончательного доказательства в 1995 году оно было признано корректным.

Интересные факты

• Ясуо Танияма покончил с собой в 1958 году в возрасте 31 года, не дожив до доказательства своей гипотезы. Его записи были сохранены и развиты Горо Шимурой.
• Эндрю Уайлс работал над доказательством гипотезы в течение семи лет в полной секретности, лишь изредка консультируясь с коллегами.
• Теорема о модулярности была удостоена премии Вольфа по математике в 2005 году, которую получили Уайлс, Тейлор, Даймонд и Конрад.

Источники

• Wiles, A. (1995). Modular elliptic curves and Fermat's Last Theorem. Annals of Mathematics, 141(3), 443–551.
• Taylor, R., & Wiles, A. (1995). Ring-theoretic properties of certain Hecke algebras. Annals of Mathematics, 141(3), 553–572.
• Breuil, C., Conrad, B., Diamond, F., & Taylor, R. (2001). On the modularity of elliptic curves over Q: wild 3-adic exercises. Journal of the American Mathematical Society, 14(4), 843–939.
• Ribet, K. (1990). On modular representations of Gal(Q̄/Q) arising from modular forms. Inventiones Mathematicae, 100(1), 431–476.
• Frey, G. (1986). Links between stable elliptic curves and certain Diophantine equations. Annales Universitatis Saraviensis, Series Mathematicae, 1(1), 1–40.