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

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

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

Гипотеза Берча — Свиннертон-Дайера в своей наиболее распространённой форме утверждает, что для эллиптической кривой \(E\), определённой над полем рациональных чисел \(\mathbb{Q}\), порядок нуля её L-функции \(L(E, s)\) в точке \(s = 1\) равен рангу (рангу Морделла — Вейля) группы рациональных точек \(E(\mathbb{Q})\).

Более формально: пусть \(E\) — эллиптическая кривая над \(\mathbb{Q}\). Её L-функция \(L(E, s)\) определяется как эйлерово произведение по всем простым числам, сходящееся в правой полуплоскости \(\text{Re}(s) > 3/2\). Согласно гипотезе, эта функция допускает аналитическое продолжение на всю комплексную плоскость (что доказано для эллиптических кривых с комплексным умножением и для модулярных эллиптических кривых, то есть для всех кривых, к которым применима теорема о модулярности). Тогда:

\[ \text{ord}_{s=1} L(E, s) = \text{rank}_{\mathbb{Z}} E(\mathbb{Q}), \]

где \(\text{ord}_{s=1} L(E, s)\) — порядок нуля L-функции в точке \(s = 1\), а \(\text{rank}_{\mathbb{Z}} E(\mathbb{Q})\) — ранг группы рациональных точек кривой \(E\) (максимальное число линейно независимых рациональных точек бесконечного порядка).

Кроме того, гипотеза содержит точную формулу для первого ненулевого коэффициента разложения L-функции в ряд Тейлора в точке \(s = 1\):

\[ \lim_{s \to 1} \frac{L(E, s)}{(s-1)^r} = \frac{\Omega_E \cdot \text{Reg}(E/\mathbb{Q}) \cdot \prod_p c_p \cdot \#\text{Ш}(E/\mathbb{Q})}{(\#E_{\text{tor}}(\mathbb{Q}))^2}, \]

где:

• \(r\) — ранг кривой;
• \(\Omega_E\) — вещественный период кривой;
• \(\text{Reg}(E/\mathbb{Q})\) — регулятор Тейта — Шафаревича;
• \(c_p\) — локальные множители (индексы компонент в редукции по модулю \(p\));
• \(\#\text{Ш}(E/\mathbb{Q})\) — порядок группы Тейта — Шафаревича (предположительно конечной);
• \(\#E_{\text{tor}}(\mathbb{Q})\) — порядок подгруппы кручения рациональных точек.

История

Предпосылки

В середине XX века теория эллиптических кривых переживала бурное развитие. Ключевым результатом стала теорема Морделла (1922), доказавшая, что группа рациональных точек эллиптической кривой над \(\mathbb{Q}\) является конечно порождённой абелевой группой. Это означает, что она имеет вид \(\mathbb{Z}^r \oplus T\), где \(T\) — конечная группа кручения, а \(r\) — ранг. Однако методы вычисления ранга оставались крайне неэффективными. В 1960-х годах Берч и Свиннертон-Дайер, работая в Кембриджском университете, начали систематическое исследование L-функций эллиптических кривых с помощью компьютера EDSAC.

Компьютерные эксперименты

Берч и Свиннертон-Дайер вычислили значения L-функций для нескольких сотен эллиптических кривых малого дискриминанта. Они заметили эмпирическую закономерность: если ранг кривой равен \(r\), то L-функция ведёт себя как \((s-1)^r\) в окрестности точки \(s=1\). Для кривых ранга 0 L-функция не обращалась в ноль, для ранга 1 — имела простой ноль, для ранга 2 — двойной ноль и так далее. На основе этих наблюдений они сформулировали гипотезу в 1963–1965 годах. Первая публикация с изложением гипотезы появилась в 1965 году.

Развитие

В 1970-х годах Джон Тейт предложил уточнённую формулировку, включившую в себя регулятор и группу Тейта — Шафаревича. В 1980-х годах Бенедикт Гросс и Дон Загир доказали частный случай гипотезы для кривых ранга 1 (теорема Гросса — Загира), используя метод комплексного умножения и теорию модулярных форм. В 1994 году Эндрю Уайлс (с помощью Ричарда Тейлора) доказал теорему о модулярности для полустабильных эллиптических кривых, что позволило распространить гипотезу на все модулярные кривые. В 2001 году Брайан Конрад, Фред Даймонд и Ричард Тейлор завершили доказательство полной модулярности для всех эллиптических кривых над \(\mathbb{Q}\), что сделало BSD-гипотезу осмысленной для всех таких кривых.

Связь с другими областями

Теория чисел

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

Программа Ленглендса

Гипотеза Берча — Свиннертон-Дайера является частным случаем более общих гипотез программы Ленглендса, связывающих автоморфные формы и L-функции. В частности, модулярность эллиптических кривых (доказанная Уайлсом) подтверждает, что L-функции эллиптических кривых являются L-функциями модулярных форм, что является одним из краеугольных камней программы.

Арифметическая геометрия

Гипотеза тесно связана с теорией групп Тейта — Шафаревича и регуляторов. Конечность группы Тейта — Шафаревича (предполагаемая в гипотезе) является одной из важнейших открытых проблем арифметической геометрии. Доказательство BSD-гипотезы для конкретной кривой автоматически доказывает конечность её группы Тейта — Шафаревича.

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

Теорема Гросса — Загира

В 1983 году Бенедикт Гросс и Дон Загир доказали, что для эллиптической кривой с комплексным умножением, если её L-функция имеет простой ноль в точке \(s=1\), то ранг кривой не меньше 1. Позднее они уточнили результат, показав, что в этом случае ранг в точности равен 1. Это было первое строгое доказательство гипотезы для бесконечного семейства кривых.

Теорема Колывагина

Виктор Колывагин в 1990-х годах разработал метод Эйлеровых систем, который позволил доказать, что для модулярных эллиптических кривых порядок нуля L-функции не превосходит ранга. В сочетании с результатами Като (2004) это дало оценку: \(\text{ord}_{s=1} L(E, s) \ge \text{rank} E(\mathbb{Q})\). Таким образом, для модулярных кривых (то есть для всех эллиптических кривых над \(\mathbb{Q}\)) доказано, что порядок нуля L-функции не меньше ранга. Обратное неравенство (порядок нуля не больше ранга) остаётся открытым.

Результаты для кривых ранга 0 и 1

Для кривых ранга 0 гипотеза утверждает, что \(L(E, 1) \ne 0\). Это доказано для всех модулярных кривых с помощью теории Хегнеровых точек и результатов Гросса — Загира. Для кривых ранга 1 гипотеза доказана в полном объёме (включая точную формулу) для кривых с комплексным умножением, а для общих модулярных кривых — частично.

Значение и статус

Гипотеза Берча — Свиннертон-Дайера является одной из самых глубоких и трудных проблем математики. Она включена в список «Проблем тысячелетия» Математического института Клэя. На 2025 год гипотеза не доказана в общем виде, хотя для широкого класса эллиптических кривых (ранга 0 и 1) получены полные или частичные доказательства. Основные усилия современных математиков направлены на доказательство гипотезы для кривых ранга 2 и выше, а также на установление конечности группы Тейта — Шафаревича.

Доказательство гипотезы имело бы огромные последствия для теории чисел, включая возможность эффективного вычисления рангов эллиптических кривых, решение проблемы конгруэнтных чисел (связанной с кривыми вида \(y^2 = x^3 - n^2 x\)), а также продвижение в программе Ленглендса.

Источники

• Birch, B. J.; Swinnerton-Dyer, H. P. F. (1965). "Notes on elliptic curves. II". Journal für die reine und angewandte Mathematik.
• Tate, J. (1974). "The arithmetic of elliptic curves". Inventiones mathematicae.
• Gross, B.; Zagier, D. (1983). "Heegner points and derivatives of L-series". Inventiones mathematicae.
• Kolyvagin, V. A. (1990). "Euler systems". The Grothendieck Festschrift.
• Wiles, A. (1995). "Modular elliptic curves and Fermat's Last Theorem". Annals of Mathematics.
• Математический институт Клэя. "The Birch and Swinnerton-Dyer Conjecture". Официальное описание проблемы.