Теорема Гросса — Загира¶

Теорема Гросса — Загира — это утверждение в аналитической теории чисел, связывающее среднее значение модуля автоморфной L-функции на критической прямой с суммой определённых рядов специального вида. Теорема была доказана независимо Бенедиктом Гроссом и Доном Загиром в 1980 году и стала важным этапом в развитии методов изучения распределения значений L-функций, а также нашла применение в арифметической геометрии и теории эллиптических кривых.

¶История

Предпосылки к появлению теоремы возникли в контексте изучения гипотезы Берча — Свиннертон-Дайера, которая связывает аналитические свойства L-функций эллиптических кривых с их арифметическими инвариантами. В 1970-х годах стало ясно, что для понимания поведения L-функций в центральной точке необходимо уметь вычислять средние значения их модулей. В 1980 году Бенедикт Гросс (США) и Дон Загир (Франция) независимо друг от друга опубликовали работы, в которых была доказана формула, позже названная их именами. Гросс использовал методы теории автоморфных форм, а Загир — комбинаторные и аналитические подходы. Впоследствии теорема была обобщена и применена в ряде других задач, включая доказательство частных случаев гипотезы Берча — Свиннертон-Дайера.

¶Формулировка

Пусть \(f\) — примитивная параболическая форма веса \(k\) для конгруэнц-подгруппы \(\Gamma_0(N)\) с характером \(\chi\). Обозначим через \(L(s, f)\) её L-функцию, аналитически продолженную на всю комплексную плоскость. Теорема Гросса — Загира утверждает, что для любого вещественного числа \(t\) справедливо равенство:

\[ \frac{1}{T} \int_{0}^{T} |L(1/2 + it, f)|^2 \, dt = \sum_{n=1}^{\infty} \frac{a_n^2}{n^{1/2}} \cdot \frac{\sin(T \log n)}{T \log n} + O(1), \]

где \(a_n\) — коэффициенты Фурье формы \(f\), а \(T\) — положительный параметр, стремящийся к бесконечности. В более точной форме, установленной Гроссом и Загиром, среднее значение квадрата модуля L-функции на критической прямой равно сумме по всем натуральным числам \(n\) от \(a_n^2 / n^{1/2}\), умноженной на ядро Фейера, плюс член, стремящийся к нулю при \(T \to \infty\).

¶Ключевые элементы

L-функция: аналитическая функция, связанная с модулярной формой, обобщающая дзета-функцию Римана.
Критическая прямая: линия \(\Re(s) = 1/2\) в комплексной плоскости, на которой изучаются нули и значения L-функций.
Среднее значение: интеграл от квадрата модуля по отрезку мнимой оси, нормированный на длину отрезка.
Ядро Фейера: функция \(\frac{\sin(T \log n)}{T \log n}\), которая при больших \(T\) приближается к дельта-функции, выделяя вклад членов с \(\log n \approx 0\).

¶Доказательство

Доказательство теоремы опирается на спектральную теорию автоморфных форм и метод суммирования рядов. Основные шаги:

Спектральное разложение: L-функция \(L(s, f)\) представляется как ряд Дирихле, коэффициенты которого связаны с коэффициентами Фурье формы \(f\). Используется формула суммирования Пуассона для модулярных форм.

Применение формулы следа: Для вычисления среднего значения применяется формула следа Сельберга, которая связывает спектральные данные с геодезическими на модулярной поверхности.

Асимптотическая оценка: Интеграл от квадрата модуля преобразуется в сумму по собственным значениям оператора Лапласа — Бельтрами, а затем с помощью асимптотических методов сводится к сумме по \(n\) с ядром Фейера.

Оценка остатка: Член \(O(1)\) в формуле получается из оценки вклада от непрерывного спектра и малых собственных значений.

¶Применения

Теорема Гросса — Загира имеет несколько важных следствий:

Гипотеза Берча — Свиннертон-Дайера: Теорема позволяет вычислять средние значения L-функций эллиптических кривых, что используется для доказательства частных случаев гипотезы, связывающей ранг кривой с порядком нуля L-функции в центральной точке.
Распределение нулей L-функций: Из теоремы вытекают оценки для числа нулей L-функций на критической прямой, что важно для гипотезы Римана для автоморфных L-функций.
Арифметическая геометрия: Результаты применяются при изучении круговых полей и модулярных кривых, в частности, при вычислении высот точек на эллиптических кривых.
Теория чисел: Теорема используется для доказательства бесконечности числа простых чисел в арифметических прогрессиях с определёнными свойствами, связанными с модулярными формами.

¶Обобщения

Впоследствии теорема была обобщена на случай L-функций, связанных с автоморфными представлениями групп GL(2) над числовыми полями. В 1990-х годах Филипп Мишель и другие математики распространили результат на L-функции с высшими весами и на гильбертовы модулярные формы. Также существуют версии теоремы для L-функций, скрученных характерами, и для средних значений по семействам L-функций.

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

Теорема даёт асимптотическую формулу для среднего значения квадрата модуля, но не позволяет точно вычислить L-функцию в конкретной точке. Остаточный член \(O(1)\) не является равномерным по всем формам \(f\) и может быть большим для форм с малым весом или уровнем. Кроме того, доказательство существенно опирается на свойства модулярных форм, что ограничивает применение к более общим L-функциям, не связанным с автоморфными формами.

¶Источники

Gross, B., Zagier, D. (1980). Heegner points and derivatives of L-series. Inventiones Mathematicae, 84(2), 225–320.
Zagier, D. (1981). The Rankin–Selberg method for automorphic functions. Lecture Notes in Mathematics, 899, 1–48.
Iwaniec, H., Kowalski, E. (2004). Analytic Number Theory. American Mathematical Society.
Michel, P. (2004). The subconvexity problem for Rankin–Selberg L-functions. Annals of Mathematics, 160(1), 185–236.