j-инвариант

j-инвариант — это комплексная аналитическая функция, определённая на верхней комплексной полуплоскости, которая является модулярной функцией веса 0 для полной модулярной группы SL(2, Z). Она играет фундаментальную роль в теории эллиптических кривых, модулярных форм и в алгебраической теории чисел, в частности, в доказательстве великой теоремы Ферма и в теории комплексного умножения.

Определение и свойства

j-инвариант, обозначаемый как \( j(\tau) \), где \(\tau\) — комплексное число с положительной мнимой частью (\(\Im(\tau) > 0\)), определяется через модулярные формы. Основное определение использует модулярный дискриминант \(\Delta(\tau)\) и модулярный инвариант \(g_2(\tau)\):

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

Здесь:

• \(g_2(\tau) = 60 \sum_{(m,n) \neq (0,0)} (m\tau + n)^{-4}\) — модулярная форма веса 4.
• \(\Delta(\tau) = g_2(\tau)^3 - 27 g_3(\tau)^2\) — модулярная форма веса 12, где \(g_3(\tau) = 140 \sum_{(m,n) \neq (0,0)} (m\tau + n)^{-6}\) — модулярная форма веса 6.

Число 1728 = \(12^3\) введено для нормализации, чтобы \(j(i) = 1728\), где \(i\) — мнимая единица. Функция \(j(\tau)\) является голоморфной на верхней полуплоскости и имеет простой полюс в бесконечности (при \(\tau \to i\infty\)).

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

Ключевое свойство j-инварианта — его модулярность: для любого преобразования \(\tau \mapsto \frac{a\tau + b}{c\tau + d}\), где \(a, b, c, d\) — целые числа, такие что \(ad - bc = 1\) (то есть для матрицы из SL(2, Z)), выполняется:

\[ j\left(\frac{a\tau + b}{c\tau + d}\right) = j(\tau). \]

Это означает, что j-инвариант является модулярной функцией веса 0 для полной модулярной группы. Он инвариантен относительно действия SL(2, Z) на верхней полуплоскости, что делает его функцией на модулярной кривой \(X(1) = \mathbb{H}^ / \text{SL}(2, \mathbb{Z})\), где \(\mathbb{H}^\) — верхняя полуплоскость с добавленной точкой на бесконечности.

Разложение в ряд Фурье

j-инвариант имеет разложение в ряд Фурье (q-разложение) относительно переменной \(q = e^{2\pi i \tau}\):

\[ j(\tau) = \frac{1}{q} + 744 + 196884 q + 21493760 q^2 + 864299970 q^3 + \dots \]

Здесь \(q\) — локальный параметр в окрестности бесконечности (куспида). Коэффициенты этого разложения — целые числа, что связано с глубокими свойствами модулярных форм и теории представлений (см. «чудовищный вздох»).

История

Первые исследования j-инварианта связаны с работами Карла Фридриха Гаусса, который изучал эллиптические функции и их инварианты. Однако систематическое изучение началось в XIX веке с работ Нильса Хенрика Абеля, Карла Густава Якоба Якоби и, особенно, Феликса Клейна. Клейн в 1878–1880 годах разработал теорию модулярных функций и ввёл j-инвариант как центральный объект. Он показал, что j-инвариант параметризует классы изоморфизма эллиптических кривых над комплексными числами.

В XX веке j-инвариант стал ключевым инструментом в алгебраической теории чисел, особенно в теории комплексного умножения, где он связан с полями классов мнимых квадратичных полей. В 1980-х годах он сыграл важную роль в доказательстве великой теоремы Ферма, где использовался для построения модулярных эллиптических кривых.

Применение в теории эллиптических кривых

Параметризация классов изоморфизма

Над полем комплексных чисел любая эллиптическая кривая может быть представлена как тор \(\mathbb{C} / \Lambda\), где \(\Lambda\) — решётка в \(\mathbb{C}\). Две такие кривые изоморфны тогда и только тогда, когда их решётки гомотетичны, то есть \(\Lambda_2 = \alpha \Lambda_1\) для некоторого ненулевого комплексного числа \(\alpha\). j-инвариант является функцией, которая различает классы гомотетии решёток: \(j(\tau_1) = j(\tau_2)\) тогда и только тогда, когда решётки \(\langle 1, \tau_1 \rangle\) и \(\langle 1, \tau_2 \rangle\) гомотетичны.

Таким образом, j-инвариант устанавливает биекцию между множеством классов изоморфизма эллиптических кривых над \(\mathbb{C}\) и комплексной плоскостью \(\mathbb{C}\). Каждому значению \(j \in \mathbb{C}\) соответствует единственный класс изоморфизма эллиптических кривых с этим j-инвариантом.

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

Для эллиптической кривой, заданной в форме Вейерштрасса:

\[ y^2 = 4x^3 - g_2 x - g_3, \]

j-инвариант вычисляется по формуле:

\[ j = 1728 \frac{g_2^3}{g_2^3 - 27 g_3^2}. \]

Если кривая задана в форме \(y^2 = x^3 + ax + b\) (с дискриминантом \(\Delta = -16(4a^3 + 27b^2)\)), то:

\[ j = -1728 \frac{(4a)^3}{\Delta}. \]

Специальные значения

• \(j = 0\) соответствует кривым с комплексным умножением на кольцо целых чисел поля \(\mathbb{Q}(\sqrt{-3})\) (например, \(y^2 = x^3 + 1\)).
• \(j = 1728\) соответствует кривым с комплексным умножением на кольцо целых чисел поля \(\mathbb{Q}(i)\) (например, \(y^2 = x^3 + x\)).
• \(j = 1728\) также является значением для кривой \(y^2 = x^3 - x\).

Алгебраическая теория чисел

Комплексное умножение

j-инвариант играет центральную роль в теории комплексного умножения. Если эллиптическая кривая имеет комплексное умножение на порядок мнимого квадратичного поля \(K\), то её j-инвариант является алгебраическим числом, порождающим поле классов Гильберта поля \(K\). Это означает, что \(j(\tau)\) для \(\tau\) из мнимого квадратичного поля является целым алгебраическим числом, и его минимальный многочлен имеет степень, равную числу классов поля \(K\).

Например, для \(\tau = i\) (поле \(\mathbb{Q}(i)\)) \(j(i) = 1728\), что является целым числом. Для \(\tau = \frac{1 + \sqrt{-163}}{2}\) (поле \(\mathbb{Q}(\sqrt{-163})\)) \(j(\tau)\) — целое число, равное \(-640320^3\), что связано с известным приближением \(\pi\) (формула Рамануджана).

Модулярные уравнения

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

Связь с другими областями

Чудовищный вздох

В 1970-х годах Джон Маккей и другие математики заметили, что коэффициенты q-разложения j-инварианта (например, 196884 = 196883 + 1) связаны с размерностями представлений монстра — наибольшей спорадической конечной простой группы. Это наблюдение привело к формулировке «чудовищного вздоха» (Monstrous Moonshine), который был доказан Ричардом Борчердсом в 1992 году, за что он получил медаль Филдса. Суть состоит в том, что j-инвариант является модулярной функцией, связанной с группой монстра через теорию вертексных алгебр.

Модулярные формы и кривые

j-инвариант является примером модулярной функции, то есть мероморфной функции на модулярной кривой \(X(1)\). Он порождает поле всех модулярных функций для SL(2, Z): любая модулярная функция веса 0 является рациональной функцией от \(j(\tau)\).

Физика

В теоретической физике, особенно в теории струн и в конформной теории поля, j-инвариант появляется как часть модулярных инвариантов, связанных с торическими компактификациями. Он также используется в изучении дуальностей, таких как S-дуальность в суперсимметричных калибровочных теориях.

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

• j-инвариант является целым числом для всех \(\tau\), которые являются мнимыми квадратичными иррациональностями (теорема о комплексном умножении).
• Значение \(j(\tau)\) для \(\tau = \frac{1 + \sqrt{-163}}{2}\) равно \(-640320^3\), что даёт приближение \(\pi \approx \frac{\ln(640320^3 + 744)}{\sqrt{163}}\), точное до 30 знаков после запятой.
• Разложение j-инварианта в ряд Фурье имеет целые коэффициенты, которые растут экспоненциально: \(c_n \sim \frac{e^{4\pi \sqrt{n}}}{\sqrt{2} n^{3/4}}\).
• j-инвариант является единственной модулярной функцией веса 0 для SL(2, Z), которая голоморфна на верхней полуплоскости и имеет простой полюс в бесконечности.

Источники

• Клейн Ф. «Лекции о развитии математики в XIX столетии». — М.: Наука, 1989.
• Серр Ж.-П. «Курс арифметики». — М.: Мир, 1972.
• Lang S. «Elliptic Functions». — Springer, 1987.
• Silverman J. H. «The Arithmetic of Elliptic Curves». — Springer, 2009.
• Borcherds R. E. «Monstrous Moonshine and Monstrous Lie Superalgebras». — Inventiones Mathematicae, 1992.