Модулярный дискриминант¶

Модулярный дискриминант — это голоморфная модулярная форма веса 12 на верхней полуплоскости комплексных чисел, являющаяся одним из центральных объектов в теории модулярных форм и эллиптических кривых. Обозначается символом \(\Delta(\tau)\), где \(\tau\) — комплексное число с положительной мнимой частью. Модулярный дискриминант является первой ненулевой параболической формой (касп-формой) и играет ключевую роль в теории чисел, алгебраической геометрии и математической физике, в частности, в связи с модулярной теоремой, доказанной Эндрю Уайлсом.

¶Определение

Модулярный дискриминант \(\Delta(\tau)\) определяется как бесконечное произведение:

\[ \Delta(\tau) = q \prod_{n=1}^{\infty} (1 - q^n)^{24}, \]

где \(q = e^{2\pi i \tau}\), а \(\tau\) принадлежит верхней полуплоскости \(\mathbb{H} = \{\tau \in \mathbb{C} : \Im(\tau) > 0\}\). Это произведение сходится абсолютно и равномерно на компактных подмножествах \(\mathbb{H}\), так как \(|q| < 1\) при \(\Im(\tau) > 0\).

Альтернативно, \(\Delta(\tau)\) может быть выражено через ряд Фурье:

\[ \Delta(\tau) = \sum_{n=1}^{\infty} \tau(n) q^n, \]

где \(\tau(n)\) — функция Рамануджана (тау-функция), являющаяся целочисленной последовательностью. Первые члены разложения: \(\Delta(\tau) = q - 24q^2 + 252q^3 - 1472q^4 + 4830q^5 - 6048q^6 + \dots\).

¶Свойства

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

\(\Delta(\tau)\) является модулярной формой веса 12 относительно полной модулярной группы \(\text{SL}(2, \mathbb{Z})\). Это означает, что для любой матрицы \(\begin{pmatrix} a & b \\ c & d \end{pmatrix} \in \text{SL}(2, \mathbb{Z})\) выполняется:

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

Кроме того, \(\Delta(\tau)\) является параболической формой (касп-формой), так как её разложение в ряд Фурье не содержит постоянного члена (коэффициент при \(q^0\) равен нулю). Это единственная (с точностью до умножения на константу) параболическая форма веса 12 для \(\text{SL}(2, \mathbb{Z})\).

¶Нули и полюсы

\(\Delta(\tau)\) не имеет нулей на верхней полуплоскости \(\mathbb{H}\). Единственный нуль находится в бесконечно удалённой точке (каспе) \(\tau = i\infty\), где \(\Delta(\tau)\) обращается в нуль с порядком 1 (так как первый член ряда — \(q^1\)). Это свойство характерно для параболических форм.

¶Связь с дискриминантом эллиптической кривой

Название «модулярный дискриминант» связано с тем, что \(\Delta(\tau)\) пропорционален дискриминанту эллиптической кривой, заданной в форме Вейерштрасса. Для эллиптической кривой \(y^2 = 4x^3 - g_2(\tau)x - g_3(\tau)\), где \(g_2\) и \(g_3\) — модулярные формы весов 4 и 6 соответственно, дискриминант \(\Delta_E(\tau) = g_2(\tau)^3 - 27g_3(\tau)^2\) с точностью до постоянного множителя совпадает с \(\Delta(\tau)\). Точнее, \(\Delta(\tau) = (2\pi)^{12} \Delta_E(\tau)\).

¶Инвариант \(j\)

Модулярный дискриминант связан с модулярным \(j\)-инвариантом — главной модулярной функцией веса 0. Формула:

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

В терминах \(\Delta(\tau)\): \(j(\tau) = \frac{E_4(\tau)^3}{\Delta(\tau)}\), где \(E_4(\tau)\) — ряд Эйзенштейна веса 4. Коэффициент 1728 = \(12^3\) связан с нормировкой.

¶История

Модулярный дискриминант впервые появился в работах Карла Густава Якоби в XIX веке в контексте теории эллиптических функций. Якоби изучал тета-функции и их произведения, что привело к выражению \(\Delta(\tau)\) через бесконечное произведение. В 1916 году индийский математик Шриниваса Рамануджан ввёл тау-функцию \(\tau(n)\) и выдвинул ряд гипотез о её свойствах, включая мультипликативность и оценки роста. Эти гипотезы были доказаны впоследствии: мультипликативность — Луисом Морделлом в 1917 году, а гипотеза Рамануджана о том, что \(|\tau(p)| \leq 2p^{11/2}\) для простых \(p\), — Пьером Делинем в 1974 году как следствие доказательства гипотез Вейля для модулярных форм.

¶Применение

¶Теория чисел

Модулярный дискриминант является фундаментальным примером модулярной формы и используется для построения других форм. Функция Рамануджана \(\tau(n)\) изучается в арифметической теории чисел: её значения дают информацию о представлениях чисел квадратичными формами и о распределении простых чисел.

¶Модулярная теорема

Модулярный дискриминант играет центральную роль в модулярной теореме (ранее — гипотеза Таниямы — Шимуры — Вейля), утверждающей, что каждая эллиптическая кривая над \(\mathbb{Q}\) модулярна. В частности, для эллиптической кривой с дискриминантом \(\Delta_E\) существует модулярная параболическая форма веса 2, связанная с \(\Delta(\tau)\) через преобразование. Эндрю Уайлс в 1994 году использовал свойства \(\Delta(\tau)\) и связанных \(L\)-функций для доказательства Великой теоремы Ферма.

¶Математическая физика

В теории струн и конформной теории поля модулярный дискриминант появляется как часть статистической суммы бозонной струны. Его инвариантность относительно модулярных преобразований обеспечивает непротиворечивость теории на торе.

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

• Функция Рамануджана \(\tau(n)\) удовлетворяет рекуррентным соотношениям, например, \(\tau(mn) = \tau(m)\tau(n)\) для взаимно простых \(m, n\) (мультипликативность).
• Конгруэнц-свойства \(\tau(n)\), такие как \(\tau(n) \equiv \sigma_{11}(n) \pmod{691}\), где \(\sigma_{11}(n)\) — сумма одиннадцатых степеней делителей \(n\), связаны с теорией модулярных форм и числами Бернулли.
• График модулярного дискриминанта на верхней полуплоскости демонстрирует фрактальную структуру из-за модулярной инвариантности.

¶Источники

• Serre, J.-P. «A Course in Arithmetic». Springer, 1973.
• Apostol, T. M. «Modular Functions and Dirichlet Series in Number Theory». Springer, 1990.
• Diamond, F., Shurman, J. «A First Course in Modular Forms». Springer, 2005.
• Рамануджан, С. «Собрание трудов». Издательство «Наука», 1974.
• Deligne, P. «La conjecture de Weil. I». Publications Mathématiques de l'IHÉS, 1974.