Дискриминант эллиптической кривой

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

Определение и форма Вейерштрасса

Эллиптическая кривая над полем \( K \) (например, полем рациональных чисел \( \mathbb{Q} \) или конечным полем) обычно задаётся уравнением в форме Вейерштрасса:

\[ y^2 + a_1 xy + a_3 y = x^3 + a_2 x^2 + a_4 x + a_6 \]

где \( a_1, a_2, a_3, a_4, a_6 \in K \). Для упрощения часто используют короткую форму Вейерштрасса (при условии, что характеристика поля не равна 2 или 3):

\[ y^2 = x^3 + ax + b \]

где \( a, b \in K \). Дискриминант \( \Delta \) для короткой формы определяется как:

\[ \Delta = -16(4a^3 + 27b^2) \]

Для общей (длинной) формы Вейерштрасса дискриминант вычисляется через более сложные выражения, включающие вспомогательные величины \( b_2, b_4, b_6, b_8 \), которые являются полиномами от коэффициентов \( a_i \). Стандартное выражение для дискриминанта в этом случае:

\[ \Delta = -b_2^2 b_8 - 8b_4^3 - 27b_6^2 + 9b_2 b_4 b_6 \]

где:

• \( b_2 = a_1^2 + 4a_2 \)
• \( b_4 = a_1 a_3 + 2a_4 \)
• \( b_6 = a_3^2 + 4a_6 \)
• \( b_8 = a_1^2 a_6 - a_1 a_3 a_4 + 4a_2 a_6 + a_2 a_3^2 - a_4^2 \)

Геометрический смысл

Дискриминант эллиптической кривой непосредственно связан с её гладкостью. Кривая называется неособой (или гладкой), если она не имеет точек, где обе частные производные уравнения обращаются в нуль. Для кривой, заданной уравнением \( y^2 = x^3 + ax + b \), условие отсутствия особых точек эквивалентно тому, что многочлен \( x^3 + ax + b \) не имеет кратных корней. Кратные корни возникают тогда и только тогда, когда его дискриминант \( 4a^3 + 27b^2 \) равен нулю. Таким образом, \( \Delta = 0 \) означает, что кривая имеет особую точку — узел (двойная точка) или касп (точка возврата).

• Если \( \Delta = 0 \), кривая является сингулярной. В зависимости от структуры особой точки различают:
• Узловую сингулярность (двойная точка с различными касательными) — когда кубический многочлен имеет один двойной корень.
• Каспидальную сингулярность (точка возврата) — когда кубический многочлен имеет тройной корень (например, для кривой \( y^2 = x^3 \) дискриминант равен нулю, и в точке (0,0) — касп).

• Если \( \Delta \neq 0 \), кривая является неособой и, следовательно, эллиптической (в классическом смысле). Для эллиптических кривых дискриминант всегда отличен от нуля.

Инвариантность и модулярные формы

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

С дискриминантом тесно связан j-инвариант эллиптической кривой — модулярная функция, которая классифицирует кривые с точностью до изоморфизма над алгебраическим замыканием поля. Для короткой формы Вейерштрасса j-инвариант вычисляется как:

\[ j = 1728 \cdot \frac{4a^3}{4a^3 + 27b^2} \]

Знаменатель \( 4a^3 + 27b^2 \) пропорционален дискриминанту (с точностью до множителя -16). Таким образом, j-инвариант не определён (имеет полюс) для сингулярных кривых, где \( \Delta = 0 \).

Применение в теории чисел

Дискриминант играет ключевую роль в арифметической геометрии и теории эллиптических кривых. В частности:

• Редукция по простому модулю: Для эллиптической кривой над \( \mathbb{Q} \) рассматривают её редукцию по модулю простого числа \( p \). Если \( p \) делит дискриминант, то редукция может быть сингулярной (плохая редукция). Если \( p \) не делит \( \Delta \), то редукция является гладкой эллиптической кривой над конечным полем (хорошая редукция). Тип плохой редукции (аддитивная или мультипликативная) определяется дополнительными инвариантами, такими как кондуктор.

• Теорема Морделла — Вейля: Дискриминант используется при вычислении ранга эллиптической кривой и её группы точек. Например, для кривых с малым дискриминантом часто проще определить ранг.

• Криптография: В криптографии на эллиптических кривых (ECC) используются только неособые кривые, поэтому дискриминант должен быть ненулевым. При выборе параметров кривой для криптографических протоколов проверка \( \Delta \neq 0 \) является обязательной.

• Гипотеза Берча — Свиннертон-Дайера: Дискриминант входит в формулы для L-функции эллиптической кривой и её функционального уравнения.

Примеры

1. Кривая \( y^2 = x^3 - x \) (над \( \mathbb{Q} \)):

• \( a = -1, b = 0 \)
• \( \Delta = -16(4(-1)^3 + 27 \cdot 0^2) = -16(-4) = 64 \neq 0 \)
• Кривая является эллиптической, j-инвариант: \( j = 1728 \cdot \frac{4(-1)^3}{64} = 1728 \cdot \frac{-4}{64} = -108 \)

1. Кривая \( y^2 = x^3 \) (над \( \mathbb{Q} \)):

• \( a = 0, b = 0 \)
• \( \Delta = -16(0 + 0) = 0 \)
• Кривая сингулярна, имеет касп в точке (0,0), не является эллиптической.

1. Кривая \( y^2 = x^3 + 1 \) (над \( \mathbb{Q} \)):

• \( a = 0, b = 1 \)
• \( \Delta = -16(0 + 27 \cdot 1) = -432 \neq 0 \)
• Эллиптическая кривая, j-инвариант: \( j = 0 \)

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

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

Источники

• Silverman, J. H. (2009). The Arithmetic of Elliptic Curves. Springer.
• Washington, L. C. (2008). Elliptic Curves: Number Theory and Cryptography. CRC Press.
• Коблиц, Н. (2001). Курс теории чисел и криптографии. М.: Наука.