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

Теорема о модулярности (ранее известная как гипотеза Таниямы — Шимуры — Вейля) — это фундаментальное утверждение теории чисел, устанавливающее глубокую связь между эллиптическими кривыми, определёнными над полем рациональных чисел, и модулярными формами. Теорема утверждает, что любая эллиптическая кривая над полем рациональных чисел является модулярной, то есть её L-функция совпадает с L-функцией некоторой модулярной формы веса 2.

История

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

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

Ранние попытки доказательства

В течение нескольких десятилетий гипотеза оставалась недоказанной, хотя были получены частные результаты. В 1970-е годы Роберт Ленглендс включил гипотезу Таниямы — Шимуры в свою обширную программу, связывающую автоморфные формы и представления Галуа. В 1980-е годы Жан-Пьер Серр и другие математики разработали методы, позволяющие сводить задачу к доказательству модулярности для отдельных классов кривых.

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

Ключевой прорыв произошёл в 1993 году, когда английский математик Эндрю Уайлс объявил о доказательстве гипотезы для полустабильных эллиптических кривых. В ходе проверки доказательства была обнаружена ошибка, которую Уайлс совместно с Ричардом Тейлором исправил в 1994 году. Полное доказательство было опубликовано в 1995 году в двух статьях: «Modular elliptic curves and Fermat’s Last Theorem» (Уайлс) и «Ring-theoretic properties of certain Hecke algebras» (Тейлор и Уайлс).

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

В 1999 году Кристоф Бройль, Брайан Конрад, Фред Даймонд и Ричард Тейлор завершили доказательство гипотезы для всех эллиптических кривых над рациональными числами, установив, что теорема о модулярности верна в полном объёме. В 2001 году работа была опубликована в журнале «Annals of Mathematics».

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

Теорема о модулярности утверждает, что для любой эллиптической кривой \(E\), определённой над полем рациональных чисел \(\mathbb{Q}\), существует модулярная параболическая форма \(f\) веса 2, уровня \(N\) (где \(N\) — кондуктор кривой \(E\)) и с тривиальным характером Дирихле такая, что L-функция кривой \(L(E,s)\) совпадает с L-функцией модулярной формы \(L(f,s)\).

Более формально: существует голоморфная функция \(f\) на верхней полуплоскости, удовлетворяющая условию модулярности: \[ f\left(\frac{az+b}{cz+d}\right) = (cz+d)^2 f(z) \] для всех матриц \(\begin{pmatrix} a & b \\ c & d \end{pmatrix} \in \Gamma_0(N)\), где \(\Gamma_0(N)\) — конгруэнц-подгруппа модулярной группы. Эта функция раскладывается в ряд Фурье: \[ f(z) = \sum_{n=1}^{\infty} a_n e^{2\pi i n z}, \] и её L-функция определяется как: \[ L(f,s) = \sum_{n=1}^{\infty} \frac{a_n}{n^s}. \] Совпадение L-функций означает, что для всех простых чисел \(p\), не делящих кондуктор \(N\), коэффициенты \(a_p\) равны \(p + 1 - \#E(\mathbb{F}_p)\), где \(\#E(\mathbb{F}_p)\) — число точек на эллиптической кривой над конечным полем \(\mathbb{F}_p\).

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

Теорема о модулярности сыграла ключевую роль в доказательстве Великой теоремы Ферма. В 1985 году немецкий математик Герхард Фрай показал, что если бы существовало нетривиальное решение уравнения \(a^n + b^n = c^n\) при \(n > 2\), то соответствующая эллиптическая кривая Фрая: \[ y^2 = x(x - a^n)(x + b^n) \] обладала бы свойствами, противоречащими гипотезе Таниямы — Шимуры. В 1986 году Кеннет Рибет доказал, что такая кривая не может быть модулярной. Таким образом, доказательство Уайлсом модулярности полустабильных эллиптических кривых автоматически доказывало Великую теорему Ферма.

Обобщения

Теорема о модулярности для полей тотально вещественных чисел

В 2010-е годы были получены обобщения теоремы на эллиптические кривые, определённые над тотально вещественными полями. В 2018 году работами группы математиков (включая Лорана Бержера, Тобиаса Бергера, Кристофа Бройля и других) было доказано, что все эллиптические кривые над тотально вещественными полями являются модулярными.

Гипотеза Серра и программа Ленглендса

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

Значение

Теорема о модулярности является одним из центральных результатов теории чисел конца XX века. Она:

• Устанавливает неожиданную связь между арифметической геометрией (эллиптические кривые) и теорией модулярных форм.
• Послужила основой для доказательства Великой теоремы Ферма.
• Стимулировала развитие методов модулярности, используемых в программе Ленглендса.
• Привела к созданию новых математических инструментов, таких как теория деформаций представлений Галуа и методы совершенных колец.

Источники

• 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.
• Серр, Ж.-П. (1998). «Курс арифметики». М.: Мир.
• Манин, Ю. И., Панчишкин, А. А. (2001). «Введение в теорию чисел». М.: МЦНМО.