Ранг эллиптической кривой

Ранг эллиптической кривой — это целое неотрицательное число, являющееся одной из фундаментальных характеристик эллиптической кривой, определённой над полем рациональных чисел \(\mathbb{Q}\). В контексте арифметической геометрии и теории чисел ранг описывает размерность группы рациональных точек кривой, то есть количество независимых рациональных решений соответствующего кубического уравнения. Ранг эллиптической кривой играет центральную роль в гипотезе Бёрча — Свиннертон-Дайера, одной из семи «задач тысячелетия» Математического института Клэя.

Определение и основные понятия

Эллиптическая кривая \(E\) над полем рациональных чисел \(\mathbb{Q}\) задаётся уравнением Вейерштрасса: \[ y^2 = x^3 + ax + b, \] где \(a, b \in \mathbb{Q}\) и дискриминант \(\Delta = -16(4a^3 + 27b^2) \neq 0\). Множество рациональных точек \(E(\mathbb{Q})\) (включая бесконечно удалённую точку \(\mathcal{O}\), играющую роль нейтрального элемента) образует абелеву группу относительно операции сложения точек, задаваемой правилом хорд и касательных.

Согласно теореме Морделла (1922), доказанной Льюисом Морделлом, группа \(E(\mathbb{Q})\) является конечно порождённой. Это означает, что она изоморфна прямой сумме: \[ E(\mathbb{Q}) \cong \mathbb{Z}^r \oplus T, \] где \(T\) — конечная подгруппа кручения (состоящая из точек конечного порядка), а \(r\) — целое неотрицательное число, называемое рангом эллиптической кривой. Таким образом, ранг равен числу независимых образующих бесконечного порядка в группе рациональных точек.

История изучения

Ранние работы

Первые систематические исследования эллиптических кривых над рациональными числами начались в XIX веке. Карл Густав Якоб Якоби и Нильс Хенрик Абель изучали эллиптические интегралы и функции, однако понятие ранга как таковое не было сформулировано. В 1901 году Анри Пуанкаре в своей работе «О свойствах арифметических кривых» высказал гипотезу о том, что множество рациональных точек на кривой рода 1 (то есть эллиптической кривой) может быть бесконечным, что противоречило представлениям того времени.

Теорема Морделла

В 1922 году Льюис Морделл доказал, что группа \(E(\mathbb{Q})\) конечно порождена. Это открытие стало основой для всей современной теории эллиптических кривых. Морделл также предположил, что ранг может быть произвольно большим, но не привёл примеров.

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

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

Методы вычисления ранга

Точные методы

Вычисление ранга конкретной эллиптической кривой является нетривиальной задачей. Основные подходы включают:

• Метод 2-спуска: основан на изучении отображения \(E(\mathbb{Q})/2E(\mathbb{Q})\) в группу когомологий. Позволяет оценить ранг сверху и снизу, но не всегда даёт точное значение.
• Метод 3-спуска и p-спуска: обобщение для простых чисел \(p > 2\), но технически более сложное.
• Использование L-функций: численное вычисление \(L(E, 1)\) и её производных для оценки ранга (в рамках гипотезы Бёрча — Свиннертон-Дайера).

Таблицы известных рангов

Наибольший известный на сегодняшний день ранг эллиптической кривой над \(\mathbb{Q}\) равен 28. Эта кривая была найдена в 2020 году Ноамом Элкисом и Зевом Клайном (Noam Elkies, Zev Klagsbrun) с использованием методов спуска и компьютерного поиска. Для кривых с рангом 29 и выше существуют лишь гипотетические примеры, не подтверждённые строгими вычислениями.

Свойства и ограничения

Распределение рангов

Статистические исследования показывают, что большинство эллиптических кривых имеют ранг 0 или 1. Кривые с рангом 2 встречаются реже, а с рангом 3 и выше — ещё реже. Согласно гипотезе о среднем ранге, средний ранг по всем кривым, упорядоченным по высоте (например, по величине дискриминанта), равен 0,5. Эта гипотеза подтверждается численными данными, но не доказана.

Связь с кручением

Ранг и подгруппа кручения независимы в том смысле, что для любого возможного ранга существует кривая с заданной конечной группой кручения (согласно теореме Мазура, возможные группы кручения над \(\mathbb{Q}\) — это 15 конкретных типов). Однако на практике кривые с большим рангом часто имеют тривиальную подгруппу кручения.

Применение

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

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

Теория чисел

Ранг является ключевым параметром в задачах, связанных с диофантовыми уравнениями. Например, если эллиптическая кривая имеет ранг 0, то её рациональные точки образуют конечную группу, что позволяет полностью описать все решения соответствующего кубического уравнения. Кривые с рангом 1 и выше порождают бесконечные семейства решений.

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

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

Открытые проблемы

• Неограниченность ранга: неизвестно, существует ли верхняя граница для ранга эллиптических кривых над \(\mathbb{Q}\). Хотя найдены примеры с рангом 28, теоретически возможно, что ранг может быть сколь угодно большим, но это не доказано.
• Гипотеза Бёрча — Свиннертон-Дайера: остаётся недоказанной в общем виде. Частичные результаты получены для кривых с комплексным умножением и для некоторых классов рангов.
• Эффективность вычисления: не существует алгоритма, который гарантированно вычисляет ранг за полиномиальное время для всех кривых. Современные методы требуют экспоненциального времени в худшем случае.

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

• Первая эллиптическая кривая с рангом 2 была найдена в 1940-х годах, с рангом 3 — в 1960-х, а с рангом 4 — в 1970-х. Прогресс в поиске кривых с высоким рангом связан с развитием компьютерных методов и теории спуска.
• Кривая с рангом 28, найденная Элкисом и Клайном, имеет уравнение:

\[ y^2 + xy + y = x^3 - x^2 - 20067762415575526585033208209338542750930230312178956502x + 34481611795030556467032985690390720374855944359319180361266008296291939448732243429 \] Это уравнение содержит 80-значные коэффициенты.

• В 2022 году российский математик Алексей Паршин (1942–2022) внёс вклад в теорию рангов, изучая связи с арифметической геометрией и гипотезой Бёрча — Свиннертон-Дайера для кривых с комплексным умножением.

Источники

• Silverman, J. H. (2009). The Arithmetic of Elliptic Curves. Springer.
• Birch, B. J., & Swinnerton-Dyer, H. P. F. (1965). Notes on elliptic curves. II. Journal für die reine und angewandte Mathematik.
• Elkies, N. D., & Klagsbrun, Z. (2020). New elliptic curves of high rank. arXiv:2001.10556.
• Mazur, B. (1977). Modular curves and the Eisenstein ideal. Publications Mathématiques de l'IHÉS.
• Паршин, А. Н. (2004). Арифметика алгебраических кривых. Лекции в МИАН.