Гипотеза Бёрча — Свиннертон-Дайера

Гипотеза Бёрча — Свиннертон-Дайера — это одна из семи «Проблем тысячелетия», сформулированных Математическим институтом Клэя в 2000 году. Она относится к области теории чисел и алгебраической геометрии и связывает арифметические свойства эллиптических кривых (количество рациональных точек на них) с аналитическими свойствами их L-функций. За доказательство или опровержение гипотезы институтом назначена премия в 1 миллион долларов США. На 2025 год гипотеза остаётся недоказанной, хотя для некоторых частных случаев получены подтверждения.

История

Гипотеза была впервые сформулирована британскими математиками Брайаном Бёрчем и Питером Свиннертон-Дайером в начале 1960-х годов. В 1965 году они опубликовали статью «Заметки об эллиптических кривых, II», в которой на основе компьютерных экспериментов с эллиптическими кривыми над полем рациональных чисел Q выдвинули предположение о связи между порядком группы Морделла — Вейля и поведением L-функции в точке s = 1.

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

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

Эллиптическая кривая

Эллиптическая кривая над полем рациональных чисел Q задаётся уравнением вида:

\[ E: y^2 = x^3 + ax + b, \]

где a и b — целые числа, а дискриминант \(\Delta = -16(4a^3 + 27b^2)\) не равен нулю (кривая не имеет особых точек). Множество рациональных точек на кривой (точек с координатами из Q) вместе с «бесконечно удалённой точкой» O образует абелеву группу (группу Морделла — Вейля). По теореме Морделла (1922) эта группа является конечно порождённой, то есть имеет вид:

\[ E(Q) \cong \mathbb{Z}^r \oplus T, \]

где r — ранг кривой (неотрицательное целое число), а T — конечная подгруппа кручения.

L-функция эллиптической кривой

Для эллиптической кривой E определяется L-функция (ряд Дирихле), которая для простых чисел p, не делящих дискриминант, задаётся как:

\[ L(E, s) = \prod_{p \nmid \Delta} \left(1 - a_p p^{-s} + p^{1-2s}\right)^{-1} \cdot \prod_{p \mid \Delta} \left(1 - a_p p^{-s}\right)^{-1}, \]

где \(a_p = p + 1 - N_p\), а \(N_p\) — количество точек на кривой над конечным полем \(\mathbb{F}_p\) (включая бесконечно удалённую). Согласно теореме о модулярности, L-функция аналитически продолжается на всю комплексную плоскость и удовлетворяет функциональному уравнению, связывающему значения в точках s и 2 − s.

Гипотеза

Гипотеза Бёрча — Свиннертон-Дайера утверждает, что порядок нуля L-функции в точке s = 1 равен рангу эллиптической кривой:

\[ \text{ord}_{s=1} L(E, s) = r. \]

Кроме того, предполагается, что значение L-функции в точке s = 1, делённое на некоторый регуляторный множитель, связано с размером группы Тейта — Шафаревича (которая измеряет препятствия к локально-глобальному принципу). Точная формулировка включает равенство:

\[ \frac{L^{(r)}(E, 1)}{r!} = \frac{|\text{Ш}(E)| \cdot R(E) \cdot \prod_{p} c_p}{|E(Q)_{\text{tor}}|^2}, \]

где \(L^{(r)}(E, 1)\) — r-я производная L-функции в точке 1, \(|\text{Ш}(E)|\) — порядок группы Тейта — Шафаревича (предполагается конечной), \(R(E)\) — регулятор (аналог определителя матрицы, построенной по базису свободной части группы), \(c_p\) — локальные множители (индексы ветвления), а \(|E(Q)_{\text{tor}}|\) — порядок подгруппы кручения.

Значение и приложения

Теория чисел

Гипотеза является центральной в современной теории чисел. Она связывает два фундаментальных объекта: арифметическую информацию (ранг кривой) и аналитическую (поведение L-функции). Доказательство гипотезы позволило бы, в частности, эффективно вычислять ранг эллиптических кривых и находить все рациональные точки на них.

Криптография

Эллиптические кривые широко используются в криптографии с открытым ключом (например, в алгоритме ECDSA). Ранг кривой влияет на сложность задачи дискретного логарифмирования. Если гипотеза верна, то можно было бы теоретически оценивать стойкость криптосистем, основанных на эллиптических кривых.

Другие области

Гипотеза имеет связи с теорией Ивасавы, модулярными формами, арифметической геометрией и даже с физикой (в теории струн). Она также является частным случаем более общих гипотез Бёрча — Свиннертон-Дайера для абелевых многообразий.

Частичные результаты

Теорема Колывагина — Рубина

В 1980-х годах Виктор Колывагин и Карл Рубин доказали гипотезу для эллиптических кривых с комплексным умножением (то есть кривых, эндоморфизм кольца которых больше, чем Z). Для таких кривых ранг может быть вычислен по поведению L-функции, и гипотеза подтверждена полностью.

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

Доказательство теоремы о модулярности (2001) показало, что L-функция любой эллиптической кривой над Q является L-функцией модулярной формы. Это позволило применить мощные аналитические методы, в частности, доказать, что для кривых ранга 0 и 1 гипотеза выполняется (при условии конечности группы Тейта — Шафаревича). Для кривых ранга 0 (то есть с конечной группой) утверждение о том, что L(1) ≠ 0, было доказано Колывагиным и Логаном в 1990-х годах.

Результаты для ранга 2

Для кривых ранга 2 гипотеза не доказана в общем виде, но существуют отдельные примеры, где она проверена численно. Например, для кривой \(y^2 = x^3 - 2x\) (ранг 2) значение L-функции и её производной согласуется с предсказанием гипотезы.

Критика и нерешённые вопросы

Гипотеза Бёрча — Свиннертон-Дайера остаётся одной из самых сложных проблем в математике. Основные трудности связаны с:

• Конечностью группы Тейта — Шафаревича: хотя для многих кривых она конечна, в общем случае это не доказано. Если группа бесконечна, то гипотеза в её точной форме теряет смысл.
• Вычислением ранга: даже для кривых с небольшими коэффициентами ранг может быть очень большим (например, известны кривые с рангом более 20), но точное определение ранга остаётся алгоритмически сложной задачей.
• Отсутствием общих методов: для кривых ранга 3 и выше нет известных аналитических методов, позволяющих доказать гипотезу.

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

• В 2018 году математик Манджул Бхаргава получил премию Филдса, в том числе за работы по средним значениям рангов эллиптических кривых, которые косвенно поддерживают гипотезу.
• Самая известная эллиптическая кривая — \(y^2 = x^3 - 2x\) — имеет ранг 2 и используется в учебных примерах.
• Гипотеза Бёрча — Свиннертон-Дайера входит в список «Проблем тысячелетия» наряду с гипотезой Римана и гипотезой Пуанкаре (доказана в 2003 году).

Источники

• Birch, B. J.; Swinnerton-Dyer, H. P. F. (1965). "Notes on elliptic curves, II". Journal für die reine und angewandte Mathematik.
• Silverman, J. H. (2009). The Arithmetic of Elliptic Curves. Springer.
• Wiles, A. (1995). "Modular elliptic curves and Fermat's Last Theorem". Annals of Mathematics.
• 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.
• Колывагин, В. А. (1988). "О гипотезе Бёрча — Свиннертон-Дайера для эллиптических кривых с комплексным умножением". Известия АН СССР.