Инварианты Вейерштрасса

Инварианты Вейерштрасса — это набор из двух комплексных чисел \(g_2\) и \(g_3\), которые однозначно определяют эллиптическую кривую, заданную в форме Вейерштрасса. Они являются коэффициентами дифференциального уравнения, которому удовлетворяет эллиптическая функция Вейерштрасса \(\wp(z)\), и играют фундаментальную роль в теории эллиптических функций, алгебраической геометрии и теории чисел.

История

Понятие инвариантов Вейерштрасса было введено немецким математиком Карлом Вейерштрассом в середине XIX века в рамках его систематического построения теории эллиптических функций. Вейерштрасс разработал подход, основанный на использовании двойных периодических функций, которые он назвал \(\wp\)-функциями. В отличие от более ранних подходов, основанных на эллиптических интегралах (например, у Абеля и Якоби), метод Вейерштрасса позволял представить эллиптические функции в виде рядов и произведений, что дало удобный алгебраический аппарат. Инварианты \(g_2\) и \(g_3\) возникли как коэффициенты в разложении \(\wp\)-функции в ряд Лорана в окрестности нуля, а также как параметры, определяющие решётку периодов эллиптической функции.

Определение

Пусть \(\Lambda = \omega_1 \mathbb{Z} + \omega_2 \mathbb{Z}\) — решётка в комплексной плоскости, где \(\omega_1\) и \(\omega_2\) — линейно независимые над \(\mathbb{R}\) комплексные числа. Эллиптическая функция Вейерштрасса \(\wp(z)\) определяется как:

\[ \wp(z) = \frac{1}{z^2} + \sum_{\omega \in \Lambda \setminus \{0\}} \left( \frac{1}{(z - \omega)^2} - \frac{1}{\omega^2} \right). \]

Эта функция удовлетворяет дифференциальному уравнению:

\[ (\wp'(z))^2 = 4\wp(z)^3 - g_2 \wp(z) - g_3, \]

где \(g_2\) и \(g_3\) — инварианты Вейерштрасса. Они выражаются через ряды Эйзенштейна:

\[ g_2 = 60 \sum_{\omega \in \Lambda \setminus \{0\}} \frac{1}{\omega^4}, \quad g_3 = 140 \sum_{\omega \in \Lambda \setminus \{0\}} \frac{1}{\omega^6}. \]

Эти ряды абсолютно сходятся при условии, что решётка не содержит нулевого элемента.

Свойства

Связь с решёткой периодов

Инварианты \(g_2\) и \(g_3\) однозначно определяют решётку \(\Lambda\) с точностью до гомотетии (умножения на ненулевое комплексное число). Обратно, по заданным \(g_2\) и \(g_3\) можно восстановить решётку, если выполнено условие, что дискриминант \(\Delta = g_2^3 - 27 g_3^2\) не равен нулю. Дискриминант \(\Delta\) является мерой невырожденности эллиптической кривой: если \(\Delta = 0\), то кривая имеет особенность (например, точку возврата или самопересечение).

Модулярные свойства

Инварианты Вейерштрасса являются модулярными формами веса 4 и 6 соответственно. Это означает, что при замене решётки \(\Lambda\) на \(\tau \Lambda\) (где \(\tau\) — комплексное число с положительной мнимой частью) они преобразуются по определённым правилам. В частности, для решётки с периодами \(1\) и \(\tau\) (где \(\tau \in \mathbb{H}\), верхняя полуплоскость) инварианты можно рассматривать как функции от \(\tau\):

\[ g_2(\tau) = 60 \sum_{(m,n) \neq (0,0)} \frac{1}{(m + n\tau)^4}, \quad g_3(\tau) = 140 \sum_{(m,n) \neq (0,0)} \frac{1}{(m + n\tau)^6}. \]

Эти функции удовлетворяют соотношениям модулярности:

\[ g_2\left(\frac{a\tau + b}{c\tau + d}\right) = (c\tau + d)^4 g_2(\tau), \quad g_3\left(\frac{a\tau + b}{c\tau + d}\right) = (c\tau + d)^6 g_3(\tau), \]

для любой матрицы \(\begin{pmatrix} a & b \\ c & d \end{pmatrix} \in SL(2, \mathbb{Z})\).

Дискриминант и \(j\)-инвариант

Дискриминант \(\Delta(\tau) = g_2(\tau)^3 - 27 g_3(\tau)^2\) является модулярной формой веса 12. Он не обращается в нуль на верхней полуплоскости, но имеет нули в точках, соответствующих вырожденным решёткам. С помощью инвариантов Вейерштрасса определяется \(j\)-инвариант эллиптической кривой:

\[ j = 1728 \frac{g_2^3}{\Delta}. \]

\(j\)-инвариант является модулярной функцией (веса 0) и полностью классифицирует эллиптические кривые над комплексными числами: две кривые изоморфны тогда и только тогда, когда их \(j\)-инварианты совпадают.

Применение

Теория эллиптических кривых

В алгебраической геометрии эллиптическая кривая над полем комплексных чисел может быть задана уравнением \(y^2 = 4x^3 - g_2 x - g_3\). Инварианты Вейерштрасса являются её параметрами. Над полями другой характеристики (например, конечными полями) также используется форма Вейерштрасса, но с учётом особенностей, связанных с характеристикой поля.

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

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

Теория чисел

Инварианты Вейерштрасса связаны с модулярными формами и функциями, которые играют центральную роль в доказательстве великой теоремы Ферма (Эндрю Уайлс, 1994) и в программе Ленглендса. Они также используются для вычисления периодов эллиптических интегралов и в теории комплексного умножения.

Физика

В теоретической физике инварианты Вейерштрасса появляются в контексте теории струн и конформной теории поля, где эллиптические функции описывают однопетлевые амплитуды. Например, в моделировании тороидальных компактификаций.

Примеры

Для решётки с периодами \(\omega_1 = 1\) и \(\omega_2 = i\) (квадратная решётка) инварианты Вейерштрасса имеют вид:

\[ g_2 = 4 \pi^4 \left( \frac{1}{12} + \sum_{n=1}^\infty \frac{n^3}{e^{2\pi n} - 1} \right) \approx 11.817, \quad g_3 = 0. \]

Для решётки с периодами \(\omega_1 = 1\) и \(\omega_2 = e^{i\pi/3}\) (гексагональная решётка) \(g_2 = 0\), а \(g_3\) — ненулевое число.

Критика и ограничения

Инварианты Вейерштрасса определены только для невырожденных эллиптических кривых (с ненулевым дискриминантом). В случае вырождения (например, при \(\Delta = 0\)) кривая перестаёт быть гладкой, и теория эллиптических функций Вейерштрасса теряет применимость. Кроме того, в полях характеристики 2 или 3 форма Вейерштрасса требует модификации, так как производные \(\wp\)-функции ведут себя иначе.

Источники

• Вейерштрасс К. «К теории эллиптических функций» (оригинальные работы, 1850–1860-е годы).
• Ленг С. «Эллиптические функции» (1973).
• Сильверман Дж. «Арифметика эллиптических кривых» (1986).
• Чандрасекхаран К. «Эллиптические функции» (1985).