Модулярная форма

Модулярная форма — это комплексная аналитическая функция, определённая на верхней комплексной полуплоскости, которая удовлетворяет определённым функциональным уравнениям относительно модулярной группы и условиям роста. Модулярные формы являются центральным объектом изучения в теории чисел, алгебраической геометрии и математической физике, в частности, они лежат в основе доказательства Великой теоремы Ферма и связаны с эллиптическими кривыми, представлениями Галуа и теорией струн.

История

Изучение модулярных форм началось в XIX веке в работах Карла Фридриха Гаусса, Нильса Хенрика Абеля и Карла Густава Якоба Якоби, которые исследовали эллиптические функции и тета-функции. Термин «модулярная форма» ввёл Феликс Клейн в 1870-х годах в контексте теории модулярных функций, связанных с эллиптическими кривыми. Ключевой вклад в развитие теории внесли Давид Гильберт, Эрих Гекке, который в 1930-х годах систематизировал теорию операторов Гекке, и Горо Симидзу, который в 1960-х годах построил теорию модулярных форм для групп более высокого ранга. В 1994 году Эндрю Уайлс и Ричард Тейлор использовали модулярные формы для доказательства гипотезы Таниямы — Симимуры, что привело к доказательству Великой теоремы Ферма.

Определение

Формальное определение

Пусть \( \mathbb{H} = \{ z \in \mathbb{C} \mid \operatorname{Im}(z) > 0 \} \) — верхняя комплексная полуплоскость. Модулярная форма веса \( k \) (целое число) для модулярной группы \( \Gamma = \operatorname{SL}_2(\mathbb{Z}) \) — это голоморфная функция \( f: \mathbb{H} \to \mathbb{C} \), удовлетворяющая следующим условиям:

1. Преобразование под действием модулярной группы: для любой матрицы \( \gamma = \begin{pmatrix} a & b \\ c & d \end{pmatrix} \in \operatorname{SL}_2(\mathbb{Z}) \) и для всех \( z \in \mathbb{H} \) выполняется:

\[ f\left( \frac{az + b}{cz + d} \right) = (cz + d)^k f(z). \]

1. Условие голоморфности на бесконечности: функция \( f \) должна быть голоморфна в точке \( z = i\infty \), то есть иметь разложение в ряд Фурье:

\[ f(z) = \sum_{n=0}^{\infty} a_n e^{2\pi i n z}, \] где \( a_n \) — комплексные числа. Если \( a_0 = 0 \), форма называется параболической (или касп-формой).

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

Если вес \( k = 0 \), то функция называется модулярной функцией. Она инвариантна относительно действия модулярной группы и является мероморфной на компактификации \( \mathbb{H} \cup \mathbb{Q} \cup \{ i\infty \} \).

Классификация

По весу

• Чётный вес: \( k \) — чётное целое число. Большинство классических модулярных форм имеют чётный вес.
• Нечётный вес: \( k \) — нечётное целое число. Такие формы могут быть тождественно нулевыми для группы \( \operatorname{SL}_2(\mathbb{Z}) \), но существуют для конгруэнц-подгрупп.

По типу

• Голоморфные модулярные формы: голоморфны на всей верхней полуплоскости и на бесконечности.
• Параболические формы (касп-формы): голоморфны и обращаются в нуль на всех параболических точках (включая бесконечность).
• Модулярные функции: мероморфны на компактификации.

По уровню

Модулярные формы могут быть определены для конгруэнц-подгрупп \( \Gamma(N) \), \( \Gamma_0(N) \), \( \Gamma_1(N) \) модулярной группы, где \( N \) — натуральное число, называемое уровнем. Такие формы называются модулярными формами уровня \( N \).

Примеры

Ряд Эйзенштейна

Простейший пример — ряд Эйзенштейна веса \( k \geq 4 \) (чётное): \[ G_k(z) = \sum_{(m,n) \in \mathbb{Z}^2 \setminus \{(0,0)\}} \frac{1}{(mz + n)^k}. \] Этот ряд сходится абсолютно при \( k > 2 \) и является модулярной формой веса \( k \) для \( \operatorname{SL}_2(\mathbb{Z}) \). Нормализованные ряды Эйзенштейна \( E_k(z) = \frac{G_k(z)}{2\zeta(k)} \) имеют разложение в ряд Фурье с рациональными коэффициентами.

Дискриминант Дедекинда

Дискриминант Дедекинда \( \Delta(z) \) — параболическая форма веса 12 для \( \operatorname{SL}_2(\mathbb{Z}) \), определённая как: \[ \Delta(z) = q \prod_{n=1}^{\infty} (1 - q^n)^{24}, \quad q = e^{2\pi i z}. \] Она является единственной (с точностью до умножения на константу) параболической формой веса 12 и играет ключевую роль в теории модулярных форм, в частности, в формуле для числа разбиений.

Тета-функции

Тета-функция Якоби: \[ \theta(z) = \sum_{n \in \mathbb{Z}} e^{\pi i n^2 z} \] является модулярной формой веса \( 1/2 \) для некоторой конгруэнц-подгруппы. Тета-функции обобщаются на решётки высших размерностей и используются в теории представлений и квадратичных формах.

Свойства

Пространство модулярных форм

Множество модулярных форм фиксированного веса \( k \) и уровня \( N \) образует конечномерное комплексное векторное пространство. Размерность этого пространства может быть вычислена с помощью формулы Римана — Роха или формулы размерности для модулярных форм.

Операторы Гекке

Операторы Гекке \( T_n \) — это линейные операторы, действующие на пространстве модулярных форм, которые коммутируют друг с другом и сохраняют пространство параболических форм. Собственные функции операторов Гекке называются собственными формами (или формами Гекке). Их коэффициенты Фурье мультипликативны и удовлетворяют рекуррентным соотношениям.

L-функции

С каждой модулярной формой \( f(z) = \sum_{n=1}^{\infty} a_n q^n \) (параболической) ассоциируется L-функция: \[ L(f, s) = \sum_{n=1}^{\infty} \frac{a_n}{n^s}. \] Эти L-функции обладают аналитическим продолжением на всю комплексную плоскость и удовлетворяют функциональному уравнению, что является следствием модулярности формы.

Применение

Теория чисел

Модулярные формы используются для изучения арифметических функций, таких как функция разбиения \( p(n) \), числа представлений целых чисел квадратичными формами и распределение простых чисел. Например, Рамануджан вывел конгруэнции для \( p(n) \) из свойств модулярной формы \( \Delta(z) \).

Доказательство Великой теоремы Ферма

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

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

Модулярные формы связаны с автоморфными представлениями редуктивных групп над числовыми полями. Программа Ленглендса устанавливает глубокие связи между модулярными формами, L-функциями и представлениями Галуа.

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

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

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

• Модулярная инвариантность \( j \)-функции (модулярная функция веса 0) используется для классификации эллиптических кривых над комплексными числами. Значения \( j \)-функции в точках, соответствующих эллиптическим кривым с комплексным умножением, являются алгебраическими числами.
• Гипотеза Сато — Тейта, доказанная в 2011 году, утверждает, что распределение коэффициентов Фурье параболических форм (без комплексного умножения) подчиняется определённому закону, связанному с синусоидальной функцией.
• Модулярные формы веса 1 связаны с представлениями Галуа нечётной степени и до сих пор являются предметом активных исследований, в частности, в рамках программы Ленглендса.

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

Теория модулярных форм для групп более высокого ранга (например, для \( \operatorname{Sp}_{2n} \)) значительно сложнее и менее развита, чем для \( \operatorname{SL}_2 \). Многие гипотезы, такие как гипотеза Ленглендса для общих групп, остаются недоказанными. Кроме того, вычислительные аспекты, такие как нахождение коэффициентов Фурье для форм большого веса, требуют значительных ресурсов и развития алгоритмов.