Регулятор Тейта — Шафаревича¶

Регулятор Тейта — Шафаревича — это инвариант, определённый для эллиптических кривых над числовыми полями, который играет центральную роль в арифметической геометрии и теории чисел. Он является аналогом регулятора числового поля, но применяется к эллиптическим кривым и связан с гипотезой Бёрча — Свиннертон-Дайера. Регулятор Тейта — Шафаревича измеряет «арифметическую сложность» группы рациональных точек эллиптической кривой, а именно — объём фундаментальной области решётки, порождённой высотами точек и их тате-модулями. Введён в 1960-х годах Джоном Тейтом и Игорем Шафаревичем в контексте изучения групп Шафаревича — Тейта и арифметики эллиптических кривых.

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

Регулятор Тейта — Шафаревича (обозначается обычно как \( \text{Reg}(E) \) или \( R_{E} \)) определяется для эллиптической кривой \( E \), заданной над числовым полем \( K \). Пусть \( E(K) \) — группа рациональных точек кривой, которая по теореме Морделла — Вейля является конечно порождённой абелевой группой. Её ранг \( r \) — это число независимых точек бесконечного порядка. Регулятор связан с высотами этих точек, которые измеряют их «размер» в терминах логарифмических метрик.

¶Формальное определение

Для эллиптической кривой \( E \) над \( K \) с рангом \( r \) выбирается базис \( P_1, \dots, P_r \) свободной части \( E(K) \) (то есть точек бесконечного порядка, генерирующих группу по модулю кручения). Определяется матрица высот \( H \) размером \( r \times r \), где элемент \( h_{ij} \) — это каноническая высота Не́рона — Тейта пары точек \( P_i \) и \( P_j \). Каноническая высота \( \hat{h}(P) \) — это квадратичная форма на \( E(K) \), связанная с логарифмической высотой на проективном пространстве. Регулятор Тейта — Шафаревича равен определителю этой матрицы: \[ R_{E} = \det\left( \langle P_i, P_j \rangle \right)_{i,j=1}^r, \] где \( \langle P_i, P_j \rangle = \hat{h}(P_i + P_j) - \hat{h}(P_i) - \hat{h}(P_j) \) — билинейная форма, ассоциированная с канонической высотой. Если ранг \( r = 0 \), то по определению \( R_{E} = 1 \).

¶Связь с группой Шафаревича — Тейта

Регулятор тесно связан с группой Шафаревича — Тейта \( \text{Ш}(E/K) \) — мерой того, насколько локальные решения эллиптической кривой отличаются от глобальных. В гипотезе Бёрча — Свиннертон-Дайера регулятор входит в формулу для разложения \( L \)-функции кривой в нуле. Группа Шафаревича — Тейта, как и регулятор, является частью точной последовательности, связывающей арифметические инварианты.

¶История и контекст

¶Предшественники

Понятие регулятора в теории чисел возникло в XIX веке в работах Дирихле, который ввёл регулятор числового поля для описания единиц кольца целых чисел. В середине XX века, с развитием арифметической геометрии, возникла потребность в аналогичном инварианте для эллиптических кривых. В 1960-х годах Джон Тейт и Игорь Шафаревич независимо друг от друга начали исследовать структуру групп рациональных точек и их связь с \( L \)-функциями.

¶Вклад Тейта и Шафаревича

Джон Тейт в 1962 году предложил использовать каноническую высоту для построения билинейной формы на группе точек эллиптической кривой. Игорь Шафаревич, работая над проблемой конечности группы Шафаревича — Тейта, осознал важность регулятора как меры «арифметического объёма». Совместно они формализовали понятие регулятора, который теперь носит их имена. В 1966 году Тейт опубликовал статью, где связал регулятор с гипотезой Бёрча — Свиннертон-Дайера, а Шафаревич в 1968 году обобщил это на абелевы многообразия.

¶Развитие в последующие десятилетия

В 1970–1980-х годах регулятор Тейта — Шафаревича стал ключевым элементом в доказательствах частных случаев гипотезы Бёрча — Свиннертон-Дайера (например, для эллиптических кривых с комплексным умножением). В 1990-х годах Эндрю Уайлс и его последователи использовали регулятор в контексте модулярных форм. Современные исследования (2010–2020-е годы) связаны с вычислением регулятора для конкретных кривых и его ролью в программе Ленглендса.

¶Свойства и вычисления

¶Основные свойства

• Положительность: Регулятор всегда положителен, так как матрица высот является положительно определённой.
• Инвариантность: Регулятор не зависит от выбора базиса свободной части \( E(K) \), но меняется при изогении кривых.
• Связь с кручением: Если кривая имеет точки кручения, регулятор учитывает только бесконечную часть группы.
• Нормировка: Для кривых ранга 0 регулятор равен 1, что согласуется с тривиальной решёткой.

¶Методы вычисления

Вычисление регулятора Тейта — Шафаревича для конкретной кривой требует:

1. Определения ранга \( r \) группы \( E(K) \) (часто сложная задача, решаемая с помощью \( L \)-функций или алгоритмов спуска).
2. Нахождения базиса точек бесконечного порядка.
3. Вычисления канонических высот для всех пар базисных точек. Для этого используются алгоритмы, основанные на разложении в ряды Тейта или на локальных высотах (например, метод Сильвермана).

Для эллиптических кривых над \( \mathbb{Q} \) с малым рангом (до 3) регулятор может быть вычислен с помощью компьютерных алгебраических систем, таких как SageMath или PARI/GP. Для кривых с рангом 4 и выше вычисления становятся ресурсоёмкими.

¶Примеры

• Для кривой \( y^2 = x^3 - x \) над \( \mathbb{Q} \) ранг равен 1, и регулятор приблизительно равен 0.0511.
• Для кривой \( y^2 + y = x^3 - x^2 \) (кривая 11a1 в базе данных LMFDB) ранг равен 0, поэтому регулятор равен 1.
• Для кривой \( y^2 = x^3 + 2x + 1 \) над \( \mathbb{Q} \) ранг равен 2, и регулятор составляет около 0.0012.

¶Роль в гипотезе Бёрча — Свиннертон-Дайера

Гипотеза Бёрча — Свиннертон-Дайера (БСД) утверждает, что для эллиптической кривой \( E \) над числовым полем \( K \) порядок нуля \( L \)-функции \( L(E, s) \) в точке \( s = 1 \) равен рангу \( r \) группы \( E(K) \), а главный коэффициент разложения \( L \)-функции в этой точке выражается через арифметические инварианты: \[ \frac{L^{(r)}(E, 1)}{r!} = \frac{|\text{Ш}(E/K)| \cdot R_E \cdot \Omega_E \cdot \prod c_v}{|E(K)_{\text{tor}}|^2}, \] где:

• \( \text{Ш}(E/K) \) — группа Шафаревича — Тейта (предполагается конечной),
• \( R_E \) — регулятор Тейта — Шафаревича,
• \( \Omega_E \) — период кривой (интеграл от дифференциальной формы),
• \( c_v \) — локальные множители (индексы Тейта),
• \( |E(K)_{\text{tor}}| \) — порядок группы кручения.

Таким образом, регулятор непосредственно входит в численное значение \( L \)-функции, что делает его объектом экспериментальной проверки гипотезы БСД. Для кривых с рангом 0 гипотеза сводится к утверждению, что \( L(E, 1) \neq 0 \), а регулятор равен 1. Для кривых с рангом 1 регулятор определяет наклон графика \( L \)-функции в нуле.

¶Применения и значение

¶В арифметической геометрии

Регулятор Тейта — Шафаревича используется для классификации эллиптических кривых и абелевых многообразий. Он является частью арифметической теории высот и позволяет сравнивать «размер» групп рациональных точек разных кривых. Вместе с группой Шафаревича — Тейта и периодом он образует полный набор инвариантов, необходимых для формулировки гипотезы БСД.

¶В криптографии

Эллиптические кривые широко применяются в криптографии с открытым ключом (например, ECDSA, ГОСТ Р 34.10-2012). Хотя регулятор напрямую не используется в алгоритмах, его свойства важны для оценки стойкости криптосистем: кривые с большим рангом и сложной структурой группы могут быть уязвимы для атак, основанных на вычислении регулятора. Однако на практике для криптографии выбираются кривые с рангом 0 или 1, где регулятор тривиален или легко вычисляется.

¶В теории чисел

Регулятор является инструментом для изучения диофантовых уравнений и распределения рациональных точек. Например, с его помощью доказывается, что на кривых с рангом 0 существует лишь конечное число рациональных точек (теорема Фальтингса, обобщённая на абелевы многообразия). В программе Ленглендса регулятор связывается с автоморфными формами и \( L \)-функциями.

¶Критика и нерешённые проблемы

¶Вычислительная сложность

Вычисление регулятора для кривых с большим рангом (более 10) остаётся практически неразрешимой задачей из-за экспоненциального роста сложности нахождения базиса и высот. Для многих кривых с рангом 20 и выше (например, рекордных кривых с рангом 28, найденных Ноамом Элкисом в 2006 году) регулятор не вычислен.

¶Гипотеза о конечности группы Шафаревича — Тейта

Регулятор входит в формулу БСД только при условии конечности \( \text{Ш}(E/K) \). Хотя для многих кривых это доказано (например, для кривых с комплексным умножением), в общем случае гипотеза остаётся открытой. Если группа Шафаревича — Тейта бесконечна, формула теряет смысл, и регулятор может быть не определён.

¶Независимость от выбора базиса

Хотя регулятор инвариантен относительно выбора базиса, его численное значение может сильно варьироваться при изогении кривых. Это затрудняет классификацию и сравнение кривых, особенно в контексте гипотезы БСД.

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

• Регулятор Тейта — Шафаревича является частью названия более общего инварианта — «регулятора абелева многообразия», определённого для произвольных абелевых многообразий над числовыми полями.
• В 2001 году Клэй Математический Институт включил гипотезу Бёрча — Свиннертон-Дайера в список семи «задач тысячелетия» с призом в 1 миллион долларов США. Регулятор Тейта — Шафаревича является одним из ключевых компонентов этой гипотезы.
• Наибольший известный регулятор для эллиптической кривой над \( \mathbb{Q} \) с рангом 1 превышает 10^6 (кривая 5077a1), что связано с большой высотой образующей точки.

¶Источники

• Tate, J. (1966). «On the conjectures of Birch and Swinnerton-Dyer and a geometric analog». Séminaire Bourbaki, 18.
• Шафаревич, И. Р. (1968). «Об арифметике эллиптических кривых». Труды Математического института им. В. А. Стеклова, 102.
• Silverman, J. H. (2009). «The Arithmetic of Elliptic Curves». Graduate Texts in Mathematics, 106. Springer.
• Lang, S. (1991). «Number Theory III: Diophantine Geometry». Springer.
• Cremona, J. E. (1997). «Algorithms for Modular Elliptic Curves». Cambridge University Press.
• LMFDB — The L-functions and Modular Forms Database. (2023). «Elliptic curves over Q». https://www.lmfdb.org/