Кондуктор эллиптической кривой

Кондуктор эллиптической кривой — это положительное целое число, являющееся важной арифметической инвариантой эллиптической кривой, определённой над полем рациональных чисел. Кондуктор кодирует информацию о том, в каких простых числах и с какой степенью эллиптическая кривая имеет плохую редукцию, и играет ключевую роль в формулировке гипотезы Таниямы — Симуры и теоремы о модулярности.

Определение и общая характеристика

Кондуктор эллиптической кривой \(E\) над \(\mathbb{Q}\) обозначается \(N_E\) или просто \(N\). Он является произведением локальных множителей, каждый из которых соответствует простому числу \(p\):

\[ N_E = \prod_{p} p^{f_p}, \]

где \(f_p\) — показатель кондуктора в простом числе \(p\), который зависит от типа редукции кривой по модулю \(p\). Для почти всех простых чисел (где редукция хорошая) \(f_p = 0\). Ненулевые показатели возникают только для простых, где кривая имеет плохую редукцию.

Кондуктор тесно связан с дискриминантом эллиптической кривой \(\Delta_E\), но является более тонким инвариантом: он различает типы плохой редукции (аддитивную и мультипликативную) и учитывает, является ли редукция потенциально хорошей.

Типы редукции и показатели кондуктора

Для данного простого числа \(p\) редукция эллиптической кривой \(E\) по модулю \(p\) может быть трёх типов:

• Хорошая редукция: кривая остаётся неособой после приведения по модулю \(p\). В этом случае \(f_p = 0\).
• Мультипликативная редукция (полустабильная): после приведения кривая имеет особую точку типа узла. Если узел имеет рациональные касательные (расщеплённая мультипликативная редукция), то \(f_p = 1\). Если касательные нерациональны (нерасщеплённая), то \(f_p = 1\) также, но с дополнительным условием — кондуктор не меняется.
• Аддитивная редукция (нестабильная): после приведения кривая имеет особую точку типа каспа (точка возврата). В этом случае \(f_p = 2 + \delta_p\), где \(\delta_p\) — поправочный коэффициент, называемый «дикий показатель» (wild conductor exponent). \(\delta_p\) может быть равен 0, 1 или 2, в зависимости от группы компонент специального слоя модели Нерона и от того, является ли редукция потенциально хорошей после конечного расширения поля.

Вычисление показателей

Для практического вычисления кондуктора используются алгоритмы, основанные на модели Нерона эллиптической кривой и редукции по модулю \(p\). Для простых чисел \(p = 2\) и \(p = 3\) вычисление \(\delta_p\) сложнее из-за возможного «дикого» ветвления. Для \(p \geq 5\) показатель \(f_p\) определяется однозначно по типу редукции:

• хорошая: \(f_p = 0\);
• мультипликативная: \(f_p = 1\);
• аддитивная: \(f_p = 2\).

Для \(p = 2\) и \(p = 3\) возможны значения \(f_p = 2, 3, 4\) в аддитивном случае, а также \(f_p = 0\) или 1 для хорошей и мультипликативной редукции соответственно.

Свойства и значение

Связь с дискриминантом

Кондуктор и дискриминант эллиптической кривой связаны неравенством: для любого простого \(p\) показатель \(f_p\) не превосходит \(v_p(\Delta_E)\) (p-адический порядок дискриминанта). Более того, \(f_p = v_p(\Delta_E) - 1\) для мультипликативной редукции и \(f_p \leq v_p(\Delta_E)\) для аддитивной.

Модулярность

Главное значение кондуктора состоит в том, что он является уровнем модулярной параболической формы, связанной с эллиптической кривой. Согласно теореме о модулярности (ранее гипотеза Таниямы — Симуры), для любой эллиптической кривой \(E\) над \(\mathbb{Q}\) существует параболическая форма \(f\) веса 2 и уровня \(N_E\) (кондуктора кривой) такая, что \(L\)-функция кривой совпадает с \(L\)-функцией формы. Кондуктор определяет пространство модулярных форм, в котором находится данная форма.

Минимальная модель

Кондуктор не зависит от выбора модели эллиптической кривой над \(\mathbb{Q}\): он является инвариантом изоморфизма над \(\mathbb{Q}\). При переходе к минимальной модели (модели с минимальным дискриминантом) локальные показатели \(f_p\) остаются неизменными.

Примеры

Пример 1: Кривая с хорошей редукцией всюду

Рассмотрим эллиптическую кривую \(E: y^2 = x^3 - x\). Её дискриминант \(\Delta = 64\). Кривая имеет хорошую редукцию для всех простых \(p \neq 2\), а для \(p = 2\) редукция аддитивная. Показатель \(f_2 = 2\) (для \(p=2\) аддитивная редукция даёт \(f_2 = 2\)). Таким образом, кондуктор \(N_E = 2^2 = 4\).

Пример 2: Кривая с мультипликативной редукцией

Кривая \(E: y^2 + xy = x^3 - x^2 - 2x - 1\) (известная как кривая 11a1 в базе данных LMFDB) имеет кондуктор \(N_E = 11\). Она имеет мультипликативную редукцию в \(p = 11\) (расщеплённая) и хорошую редукцию для всех остальных простых. Кондуктор равен 11, что является простым числом.

Пример 3: Кривая с аддитивной редукцией

Кривая \(E: y^2 = x^3 + 1\) имеет дискриминант \(\Delta = -27\). Для \(p = 3\) редукция аддитивная, и \(f_3 = 2\). Для \(p = 2\) редукция также аддитивная, но с диким показателем \(\delta_2 = 1\), так что \(f_2 = 3\). Кондуктор \(N_E = 2^3 \cdot 3^2 = 72\).

Вычисление кондуктора

На практике кондуктор эллиптической кривой вычисляется с помощью алгоритмов, реализованных в системах компьютерной алгебры, таких как SageMath, Magma, PARI/GP. Алгоритм включает:

1. Построение минимальной модели кривой (с минимальным дискриминантом).
2. Определение типа редукции для каждого простого числа, делящего дискриминант.
3. Вычисление локальных показателей \(f_p\) с использованием модели Нерона и таблиц редукции (например, классификация по Кодаиру — Нерону для особых слоёв).
4. Перемножение \(p^{f_p}\) для всех простых \(p\).

Связь с другими инвариантами

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

Источники

• Silverman J. H. The Arithmetic of Elliptic Curves. — Springer, 2009.
• Cremona J. E. Algorithms for Modular Elliptic Curves. — Cambridge University Press, 1997.
• LMFDB — The L-functions and Modular Forms Database. — https://www.lmfdb.org/
• Deligne P. Formes modulaires et représentations l-adiques. — Séminaire Bourbaki, 1969.