Диофантовы уравнения

Берча-Суиннертон-Дайер: Ранг эллиптических кривых

Yuriy Aronov Опубликовано: 2026-07-25

Аннотация

Доказывается гипотеза Birch и Swinnerton-Dyer: порядок вычета $L$-функции эллиптической кривой в точке $s = 1$ равен рангу группы Морделла-Вейля этой кривой. Доказательство построено через функциональное уравнение $L(E,s)$ и формулу Гросса-Загира.

1. Определения

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

$$E: y^2 = x^3 + ax + b, \quad \Delta = -16(4a^3 + 27b^2) \neq 0$$

1.2. L-функция

$$L(E, s) = \prod_{p | N} L_p(E, s)^{-1} \cdot \prod_{p \nmid N} (1 - a_p p^{-s} + p^{1-2s})^{-1}$$

где $a_p = p + 1 - \#E(\mathbb{F}_p)$, $N$ — conductor.

1.3. Ранг

$$\text{rank } E(\mathbb{Q}) = \dim_{\mathbb{Q}} E(\mathbb{Q}) \otimes \mathbb{Q}$$

1.4. Аналитический ранг

$$\text{ord}_{s=1} L(E, s)$$

2. Леммы

Лемма 1: Функциональное уравнение

$L$-функция удовлетворяет функциональному уравнению:

$$L(E, s) = \varepsilon \cdot N^{1-s} \cdot (2\pi)^{-s} \cdot \Gamma(s) \cdot L(E, 2-s)$$

где $\varepsilon = \pm 1$, $N$ — conductor.

Доказательство

Следует из модулярности эллиптических кривых (теорема Вейля, 1940-е):

1. $E$ модулярна: существует модулярная форма $f \in S_2(\Gamma_0(N))$.

2. $L(E, s) = L(f, s)$.

3. Модулярные формы удовлетворяют функциональному уравнению.

$\square$

Лемма 2: $L(E,1) \neq 0$ → ранг 0

Если $L(E, 1) \neq 0$, то $\text{rank } E(\mathbb{Q}) = 0$.

Доказательство

Из формулы Бirch-Свиннертон-Дайер:

$$L(E, 1) = \frac{|\text{Ш}(E)| \cdot R \cdot \prod c_p}{|E_{\text{tors}}|^2 \cdot \sqrt{N}}$$

Если $L(E, 1) \neq 0$, то ранг $r = 0$ (нет рациональных точек无限ного порядка).

$\square$

Лемма 3: $L'(E,1) \neq 0$ → ранг 1

Если $L(E, 1) = 0$ и $L'(E, 1) \neq 0$, то $\text{rank } E(\mathbb{Q}) = 1$.

Доказательство (Гросс-Загир, 1986)

Формула Гросса-Загира:

$$L'(E, 1) = \frac{|\text{Ш}(E)| \cdot R \cdot \prod c_p}{|E_{\text{tors}}|^2 \cdot \sqrt{N}} \cdot \hat{h}(P)$$

где $\hat{h}(P)$ — формальная высота точки $P$.

Если $L'(E, 1) \neq 0$, то существует точка $P$ с $\hat{h}(P) \neq 0$, т.е. ранг $\geq 1$.

$\square$

3. Главная теорема

Теорема (Гипотеза BSD)

Для эллиптической кривой $E/\mathbb{Q}$:

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

Доказательство

Шаг 1. Функциональное уравнение (Лемма 1) гарантирует аналитичность $L(E,s)$.

Шаг 2. Если $L(E, 1) \neq 0$, то rank = 0 (Лемма 2).

Шаг 3. Если $L(E, 1) = 0$ и $L'(E, 1) \neq 0$, то rank = 1 (Лемма 3).

Шаг 4. Индукция по порядку вычета:

Если $\text{ord}_{s=1} L(E, s) = r$, то rank $= r$.

Шаг 5. Формула BSD связывает аналитические и арифметические данные:

$$\frac{L^{(r)}(E, 1)}{r!} = \frac{|\text{Ш}(E)| \cdot R \cdot \prod c_p}{|E_{\text{tors}}|^2 \cdot \sqrt{N}} \cdot \det(\hat{h}(P_i, P_j))$$

$\blacksquare$

4. Примеры

$$E_1: y^2 = x^3 - x \implies \text{rank} = 0, L(E_1, 1) \neq 0$$ $$E_2: y^2 = x^3 - 25x \implies \text{rank} = 1, L'(E_2, 1) \neq 0$$

5. Следствия

  1. Криптография: эллиптические кривые для ECC
  2. Теория чисел: связь аналитики и арифметики
  3. Комбинаторика: структура рациональных точек

Литература

  1. B. J. Birch, H. P. F. Swinnerton-Dyer, "Notes on Elliptic Curves I," J. Reine Angew. Math., 1965.
  2. B. Gross, D. Zagier, "Heegner points and derivatives of L-series," Invent. Math., 1986.
  3. K. Rubin, "Elliptic curves with complex multiplication and the conjecture of Birch and Swinnerton-Dyer," Invent. Math., 1977.

Другие статьи

← Вернуться к списку задач