Эллиптическая геометрия квадратных классов · 4.1

Кривые рода 1, якобианы и эллиптические поверхности

Эта глава фиксирует общий язык последующих статей: как из квартики рода 1 возникает эллиптическая кривая, что меняется при переходе от слоя к поверхности и какие именно ранги ограничивает формула Шиоды—Тейта.

1. Кривая рода 1 и эллиптическая кривая

Гладкая проективная кривая рода 1 ещё не является эллиптической кривой: для этого на ней надо выбрать рациональную точку O, которая станет нулём группового закона. Если такая точка выбрана, кривая изоморфна собственной якобиане. Если рациональной точки не дано, якобиана всё равно существует, но исходная кривая является торсором под ней и может не иметь рациональных точек.

Что делается с квартикой

В статьях 6/9 после параметризации двух квадратичных условий обычно остаётся уравнение v²=Q₄(u). При ненулевом дискриминанте его гладкая проективизация имеет род 1. Выбранная рациональная точка позволяет выполнить точное бирациональное преобразование к модели Вейерштрасса

y^2=x^3+A x^2+B x+C.

Такое преобразование описывает открытую карту: исключённые точки и вырожденные значения параметров необходимо проверять отдельно. Поэтому параметризация на одной карте не означает автоматической классификации всех рациональных точек исходной поверхности.

2. Слой, сечение и полная поверхность

Эллиптическая поверхность — это поверхность 𝓔 с морфизмом π:𝓔→C на базовую кривую C, общий слой которого является гладкой кривой рода 1, вместе с нулевым сечением. В наших моделях C обычно равна ℙ¹, а её координата обозначается p, q, t или k.

\pi:\mathcal E\longrightarrow C,\qquad E_\eta/\mathbb Q(C).

Рациональное сечение C→𝓔 равносильно точке общего слоя Eη над полем функций ℚ(C). Подстановка конкретного рационального значения параметра даёт специализированный слой — отдельную эллиптическую кривую над ℚ. Ранг общего слоя и ранг отдельной специализации являются разными величинами.

Обозначение	Смысл
$\operatorname{rank}E(\mathbb Q(t))$	арифметический ранг рациональных сечений
$\operatorname{rank}E(\overline{\mathbb Q}(t))$	геометрический ранг после расширения поля констант
$\operatorname{rank}E_{t_0}(\mathbb Q)$	арифметический ранг одного невырожденного слоя

Всегда rank E(ℚ(t))≤rank E(ℚ̄(t)). Теорема о специализации сохраняет независимость заданных сечений для всех рациональных значений вне тонкого исключительного множества, но не утверждает постоянство полного ранга каждого слоя.

3. Модель Вейерштрасса и особые слои

Уравнение Вейерштрасса над ℚ(t) сначала задаёт общий слой. Для геометрии поверхности его продолжают над всей базой, разрешают особенности и переходят к относительно минимальной модели. Нули дискриминанта отмечают возможные особые слои; их точный тип определяется минимальной локальной моделью, а не одной кратностью дискриминанта.

Тип Кодайры	Корневая решётка	Число Эйлера
I_n	A_n−1	n
I₀*	D₄	6
IV	A₂	4
IV*	E₆	8

Выражение «расщеплённый якобиан» в статьях означает, что три ненулевые точки порядка 2 видны над указанным полем функций, например в модели y²=x(x−a)(x−b). Оно не означает, что сама поверхность является произведением кривых.

4. Рациональная поверхность или K3

Для относительно минимальной эллиптической поверхности с сечением над ℙ¹ и без кратных слоёв фундаментальный линейный пучок имеет степень χ(𝒪𝓔), сумма чисел Эйлера особых слоёв равна 12χ(𝒪𝓔), а формула канонического пучка имеет вид

K_{\mathcal E}\cong \pi^*\!\left(K_{\mathbb P^1}\otimes\mathcal L\right), \qquad \deg\mathcal L=\chi(\mathcal O_{\mathcal E}).

При χ=1 получается рациональная эллиптическая поверхность и сумма Эйлера 12. При χ=2 канонический пучок тривиален, сумма равна 24 и, при стандартных условиях гладкости и относительной минимальности, поверхность является эллиптической K3. Само равенство суммы 24 используется только после проверки этих гипотез.

Есть и другой путь к K3: гладкое пересечение трёх квадрик в ℙ⁵ имеет тривиальный канонический пучок по формуле сопряжения, а H¹(𝒪)=0 следует из теоремы Лефшеца или комплекса Кошуля. Его минимальная гладкая модель поэтому является K3. Якобиан выбранного расслоения — дополнительная структура на этой поверхности.

5. Формула Шиоды—Тейта

Пусть ρ(𝓔) — геометрическое число Пикара, а Rᵥ — корневая решётка компонент особого слоя, не пересекающих нулевое сечение. Тогда

\rho(\mathcal E)= 2+\sum_v\operatorname{rank}R_v+ \operatorname{rank}E(\overline{\mathbb Q}(t)).

Для рациональной эллиптической поверхности ρ=10. Для комплексной K3-поверхности ρ≤20. Поэтому паспорт особых слоёв даёт верхнюю границу геометрического ранга. Нижнюю границу получают предъявлением независимых неторсионных сечений. Совпадение границ определяет точный геометрический ранг; без такого совпадения статья указывает только доказанный интервал.

6. Что доказывает явная секция

Формулы координат секции должны удовлетворять уравнению тождественно в поле функций. Для неторсионности недостаточно нескольких численных проверок: используется точная специализация с доказанной неторсионностью, высота, спуск или другой сертификат. Независимость нескольких секций требует отдельного точного аргумента.

Неторсионная секция даёт бесконечно много точек общего слоя и, после исключения вырожденных параметров, бесконечно много рациональных специализаций. Она не доказывает, что выбранная карта охватывает все рациональные точки поверхности или что каждая специализация положительна и имеет ровно требуемый тип 6/9.

7. Два значения слова «Лежандр»

Символ Лежандра (a/p) из главы о вычетах определяет, является ли a квадратичным вычетом по модулю нечётного простого p. Нормальная форма Лежандра — это семейство эллиптических кривых

E_\lambda:\qquad y^2=x(x-1)(x-\lambda), \qquad \lambda\ne0,1.

Это независимые понятия, связанные только именем. В статье ABEFGH используется нормальная форма семейства кривых, а не символ квадратичного вычета.

8. Литература

Rick Miranda, The Basic Theory of Elliptic Surfaces.
Matthias Schütt and Tetsuji Shioda, Elliptic Surfaces.
Joseph H. Silverman, Advanced Topics in the Arithmetic of Elliptic Curves, Springer.
Daniel Huybrechts, Lectures on K3 Surfaces.