2025-11-15T21:25:11.093828

On the rationality of a paramodular Siegel Eisenstein series

Pierce
We consider the rationality of the Fourier coefficients of a particular paramodular Siegel Eisenstein series of level $N^2$ with weight $k\geq 4$. We show that the coefficients lie in a number field.
academic

О рациональности параmodular ряда Зигеля Эйзенштейна

Основная информация

  • ID статьи: 2510.22762
  • Название: On the rationality of a paramodular Siegel Eisenstein series
  • Автор: Erin Pierce
  • Классификация: math.NT (Теория чисел)
  • Дата публикации: 26 октября 2025 г. (препринт arXiv)
  • Ссылка на статью: https://arxiv.org/abs/2510.22762

Аннотация

В данной работе исследуется вопрос о рациональности коэффициентов Фурье специального класса параmodular рядов Зигеля Эйзенштейна. Для параmodular рядов Эйзенштейна уровня N2N^2 и веса k≥4k\geq 4 автор доказывает, что коэффициенты Фурье лежат в некотором числовом поле, и дает точную характеризацию этого поля.

Исследовательский контекст и мотивация

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

Центральный вопрос данной работы: в каком числовом поле лежат коэффициенты Фурье параmodular рядов Эйзенштейна? Это фундаментальный вопрос в теории модулярных форм.

Значимость проблемы

  1. Теоретическое значение: Арифметические свойства коэффициентов Фурье являются центральным объектом исследования в теории модулярных форм и тесно связаны с глубокими теориями L-функций и представлений Галуа
  2. Исторический контекст: Зигель в 1939 году доказал, что коэффициенты Фурье классического ряда Эйзенштейна Ek(Z)E_k(Z) являются рациональными числами
  3. Ценность обобщения: Распространение с классического случая на параmodular группы с уровневой структурой требует преодоления значительных технических трудностей

Ограничения существующих методов

  1. Общие результаты Шимуры (см. Лемма 10.5 в 6 и Лемма 6.10 в 5) показывают, что для главных конгруэнц-подгрупп Γ(N)\Gamma(N) коэффициенты Фурье надлежащим образом нормализованных модулярных форм веса kk содержатся в некотором числовом поле, но не дают точной характеризации этого поля
  2. Для неконгруэнц подгрупп, таких как параmodular группы, общая теория не применяется непосредственно

Исследовательская мотивация

Используя явные формулы для коэффициентов Фурье, полученные автором в 4, получить более точные результаты по сравнению с общей теорией и явно охарактеризовать числовое поле, содержащее коэффициенты Фурье.

Основные вклады

Основные вклады данной работы включают:

  1. Точная характеризация числового поля (Теорема 1.1(i)): Доказано, что коэффициенты Фурье Ek,ηE_{k,\eta} лежат в числовом поле Q(i,η,ζN)\mathbb{Q}(i, \eta, \zeta_N), где η\eta — примитивный характер Дирихле, ζN\zeta_N — корень из единицы степени NN
  2. Более точные результаты разложения по рангам (Теорема 1.1(ii)):
    • Для матриц ранга 1: коэффициент a(T)∈Q(η,G(η))a(T) \in \mathbb{Q}(\eta, G(\eta)) (поле, порожденное значениями η\eta и суммой Гаусса η\eta)
    • Для матриц ранга 2: коэффициент a(T)∈Q(η,∣D∣G(α),G(β),i)a(T) \in \mathbb{Q}(\eta, \sqrt{|D|}G(\alpha), G(\beta), i), что обычно является собственным подполем Q(η,ζN,i)\mathbb{Q}(\eta, \zeta_N, i)
  3. Ключевые технические результаты:
    • Доказана рациональность локальных множителей K(k,T,χp)K(k, T, \chi_p) (Предложение 5.1)
    • Установлена связь между суммами Гаусса и корнями из единицы (Предложение 6.2)

Подробное описание методов

Определение задачи

Входные данные:

  • Целое число k≥4k \geq 4 (вес)
  • Примитивный характер Дирихле η\eta с проводником NN
  • Положительно полуопределенная матрица T=[nr/2r/2m]T = \begin{bmatrix} n & r/2 \\ r/2 & m \end{bmatrix}, удовлетворяющая N2∣mN^2 | m

Выходные данные: Определение числового поля, содержащего коэффициент Фурье a(T)a(T)

Ограничения: n,r,mn, r, m — целые числа, r2−4nm=Df2r^2 - 4nm = Df^2, где DD — фундаментальный дискриминант, ff — целое число

Теоретическая база

1. Определение параmodular рядов Зигеля Эйзенштейна

Параmodular группа определяется как: K(M)=Sp(4,Q)∩[ZMZZZZZZM−1ZZMZZZMZMZMZZ]K(M) = \text{Sp}(4,\mathbb{Q}) \cap \begin{bmatrix} \mathbb{Z} & M\mathbb{Z} & \mathbb{Z} & \mathbb{Z} \\ \mathbb{Z} & \mathbb{Z} & \mathbb{Z} & M^{-1}\mathbb{Z} \\ \mathbb{Z} & M\mathbb{Z} & \mathbb{Z} & \mathbb{Z} \\ M\mathbb{Z} & M\mathbb{Z} & M\mathbb{Z} & \mathbb{Z} \end{bmatrix}

Ряд Эйзенштейна определяется как: Ek,η(Z)=12∑b∈(Z/NZ)×η(b)Ek(Z,K(N2),C0(bN))E_{k,\eta}(Z) = \frac{1}{2}\sum_{b\in(\mathbb{Z}/N\mathbb{Z})^\times} \eta(b)E_k(Z, K(N^2), C_0(bN))

где C0(x)=[11x1x1]C_0(x) = \begin{bmatrix} 1 & & & \\ & 1 & & \\ x & & 1 & \\ & x & & 1 \end{bmatrix}

2. Разложение Фурье

Согласно Теореме 6.1 (из 4), Ek,η(Z)E_{k,\eta}(Z) имеет разложение Фурье: Ek,η(Z)=δη=1+∑T≠0a(T)e2πitr(TZ)E_{k,\eta}(Z) = \delta_{\eta=1} + \sum_{T\neq 0} a(T)e^{2\pi i\text{tr}(TZ)}

где:

  • Ранг 0: a(T)∈{0,1}a(T) \in \{0,1\}
  • Ранг 1: когда m>0m > 0 и rN=(2m)N/Nr_N = (2m)_N/N, a(T)=(−2πi)k(k−1)!⋅σk−1,η(eN^)L(k,η)⋅η(rN^)η(2N^)eNk−1a(T) = \frac{(−2\pi i)^k}{(k−1)!} \cdot \frac{\sigma_{k-1,\eta}(e_{\hat{N}})}{L(k,\eta)} \cdot \frac{\eta(r_{\hat{N}})}{\eta(2_{\hat{N}})}e_N^{k-1}
  • Ранг 2: a(T)=(4π)2k−1det⁡(T)k−3/22(2k−2)!N2−2kfN^3−2kη(fN^2)H~D,k,η(eN^,fN^)⋅L(k−1,χDη)L(k,η)L(2k−2,η2)G(η)⋅(локальные множители)a(T) = \frac{(4\pi)^{2k-1}\det(T)^{k-3/2}}{2(2k-2)!}N^{2-2k}f_{\hat{N}}^{3-2k}\eta(f_{\hat{N}}^2)H̃_{D,k,\eta}(e_{\hat{N}}, f_{\hat{N}}) \cdot \frac{L(k-1,\chi_D\eta)}{L(k,\eta)L(2k-2,\eta^2)}G(\eta) \cdot \text{(локальные множители)}

Технические инновации

1. Рациональность локальных множителей (Предложение 5.1)

Ключевым является доказательство того, что: K(k,T,χp):=∑j=1−np∞pj(2−k)∫S(j+1,np)χp(nμ−1+rp−np+mμp−2np)dμ∈Q(η)K(k, T, \chi_p) := \sum_{j=1-n_p}^\infty p^{j(2-k)}\int_{S(j+1,n_p)} \chi_p(n\mu^{-1} + rp^{-n_p} + m\mu p^{-2n_p})d\mu \in \mathbb{Q}(\eta)

Стратегия доказательства:

  • Когда s=ks=k, p2−sp^{2-s} является рациональным числом
  • Доказывается конечность суммы (только конечное число членов ненулевые)
  • Два случая:
    1. Множество S(j+1,np)S(j+1, n_p) непусто только для одного значения jj
    2. Когда χp\chi_p разветвлен, для больших jj интеграл равен нулю

Технические детали: Посредством выделения полного квадрата и тонкого анализа pp-адических нормирований доказывается, что для достаточно больших jj интеграл от характера по единичной группе равен нулю.

2. Связь сумм Гаусса и корней из единицы (Предложение 6.2)

Доказывается, что: G(α)∣D∣∈Q(η,ζN,i)G(\alpha)\sqrt{|D|} \in \mathbb{Q}(\eta, \zeta_N, i)

где α\alpha — примитивный характер, соответствующий χDη\chi_D\eta.

Идея доказательства:

  • Использование связи сумм Гаусса с локальными ε\varepsilon-множителями (Предложение 3.1): ∏p<∞ε(12,χp,ψp)=η(−1)G(η)N\prod_{p<\infty} \varepsilon(\tfrac{1}{2}, \chi_p, \psi_p) = \frac{\eta(-1)G(\eta)}{\sqrt{N}}
  • Определение локальной величины Ap:=pvp(a)pvp(∣D∣)ε(12,χpσp,ψp)A_p := \sqrt{p^{v_p(a)}p^{v_p(|D|)}}\varepsilon(\tfrac{1}{2}, \chi_p\sigma_p, \psi_p)
  • Для каждого простого числа p∣ap|a доказывается по случаям, что Ap∈Q(η,ζN,i)A_p \in \mathbb{Q}(\eta, \zeta_N, i):
    • p∤N,p∣∣D∣p \nmid N, p||D|: использование неразветвленности χp\chi_p
    • p∣N,p∤∣D∣p|N, p\nmid |D|: использование того, что ψp\psi_p на Zp×\mathbb{Z}_p^\times принимает значения в ⟨ζpvp(N)⟩\langle\zeta_{p^{v_p(N)}}\rangle
    • p∣N,p∣∣D∣p|N, p||D|, χp2≠1\chi_p^2 \neq 1: использование результата Гаусса p∈Q(ζp,i)\sqrt{p} \in \mathbb{Q}(\zeta_p, i)
    • p∣N,p∣∣D∣p|N, p||D|, χp2=1\chi_p^2 = 1: использование свойств квадратичных характеров

3. Арифметические свойства специальных значений L-функций

Использование классической формулы для L-функций Дирихле в положительных целых точках (из Нойкирха 2): L(k,η)=(−1)1+k−ϵ2G(η)2iϵ(2πm)kBk,ηˉk!L(k, \eta) = (-1)^{1+\frac{k-\epsilon}{2}}\frac{G(\eta)}{2i^\epsilon}\left(\frac{2\pi}{m}\right)^k \frac{B_{k,\bar{\eta}}}{k!}

где Bk,ηB_{k,\eta} — обобщенные числа Бернулли, ϵ=0\epsilon = 0 (если η(−1)=1\eta(-1)=1) или 11 (если η(−1)=−1\eta(-1)=-1).

Экспериментальная установка

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

Экспериментальные результаты

Формулировка основных теорем

Теорема 1.1: Пусть Ek,ηE_{k,\eta} определена как в (3), где η\eta — примитивный характер Дирихле с проводником NN.

(i) Коэффициенты Фурье Ek,ηE_{k,\eta} лежат в числовом поле Q(i,η,ζN)\mathbb{Q}(i, \eta, \zeta_N).

(ii) Для фиксированной матрицы T=[nr/2r/2m]T = \begin{bmatrix} n & r/2 \\ r/2 & m \end{bmatrix}, пусть r2−4nm=Df2r^2 - 4nm = Df^2, где DD — фундаментальный дискриминант, ff — целое число. Пусть α\alpha — примитивный характер, соответствующий χDη\chi_D\eta, и β\beta — примитивный характер, соответствующий η2\eta^2. Рассмотрим коэффициент Фурье a(T)a(T) из Теоремы 6.1:

  • (a) Если rank(T)=1\text{rank}(T) = 1, то a(T)∈Q(η,G(η))a(T) \in \mathbb{Q}(\eta, G(\eta))
  • (b) Если rank(T)=2\text{rank}(T) = 2, то a(T)∈Q(η,∣D∣G(α),G(β),i)a(T) \in \mathbb{Q}(\eta, \sqrt{|D|}G(\alpha), G(\beta), i)

Конкретные примеры

Статья приводит иллюстративный пример: если η2=1\eta^2 = 1 и α=χDη\alpha = \chi_D\eta примитивен, то L=Q(N,i)⊆Q(ζN,i)L = \mathbb{Q}(\sqrt{N}, i) \subseteq \mathbb{Q}(\zeta_N, i) что показывает, что во многих случаях LL действительно является собственным подполем Q(ζN,i)\mathbb{Q}(\zeta_N, i).

Ключевые этапы доказательства

Случай ранга 1 (формула 53): a(T)=(−1)−1+k+ϵ22kik+ϵmkσk−1,η(eN^)G(η)Bk,ηˉ⋅η(rN^)η(2N^)eNk−1∈Q(η,ζN)a(T) = \frac{(-1)^{-1+\frac{k+\epsilon}{2}}2^k i^{k+\epsilon}m^k \sigma_{k-1,\eta}(e_{\hat{N}})}{G(\eta)B_{k,\bar{\eta}}} \cdot \frac{\eta(r_{\hat{N}})}{\eta(2_{\hat{N}})}e_N^{k-1} \in \mathbb{Q}(\eta, \zeta_N)

поскольку σk−1,η,Bk,ηˉ∈Q(η)\sigma_{k-1,\eta}, B_{k,\bar{\eta}} \in \mathbb{Q}(\eta) и k+ϵk+\epsilon всегда четно.

Случай ранга 2 (формула 57): Ключевым является доказательство того, что (4π)2k−1det⁡(T)k−3/2⋅L(k−1,χDη)L(k,η)L(2k−2,η2)G(η)∈Q(η,ζN,i)(4\pi)^{2k-1}\det(T)^{k-3/2} \cdot \frac{L(k-1,\chi_D\eta)}{L(k,\eta)L(2k-2,\eta^2)}G(\eta) \in \mathbb{Q}(\eta, \zeta_N, i)

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

Связанные работы

Классические результаты

  1. Зигель (1939) 8: Дал формулу для коэффициентов Фурье классического ряда Эйзенштейна Ek(Z)E_k(Z), доказав, что они являются рациональными числами
  2. Шимура 6: Лемма 10.5 дает общий результат: для главных конгруэнц-подгрупп коэффициенты Фурье надлежащим образом нормализованных модулярных форм лежат в некотором числовом поле
  3. Питале-Саха-Шмидт 5: Лемма 6.10 дает аналогичный общий результат

Обобщения в данной работе

Параmodular ряд Эйзенштейна Ek,ηE_{k,\eta}, изучаемый в данной работе, является обобщением классического ряда Эйзенштейна Зигеля:

  • От отсутствия уровня к уровню N2N^2
  • От симплектической группы Sp(4,Z)\text{Sp}(4,\mathbb{Z}) к параmodular группе K(N2)K(N^2)
  • Введение характера Дирихле η\eta

Связанные работы

Пирс-Шмидт 4: Дали явную формулу для коэффициентов Фурье Ek,ηE_{k,\eta} (Теорема 6.1 в данной работе), которая является основой для доказательства в данной статье

Заключение и обсуждение

Основные выводы

  1. Точная характеризация числового поля: Впервые явно дана характеризация числового поля, содержащего коэффициенты Фурье параmodular рядов Зигеля Эйзенштейна
  2. Точные результаты, зависящие от ранга: Доказано, что коэффициенты Фурье различных рангов лежат в различных (обычно меньших) подполях
  3. Связь с общей теорией: Результаты данной работы являются уточнением общей теории Шимуры и других, дающим явное построение числового поля

Ограничения

  1. Ограничение на вес: Требуется k≥4k \geq 4, поскольку необходимо использовать формулы для специальных значений L-функций в положительных целых точках
  2. Ограничение на уровень: Рассматриваются только параmodular группы уровня N2N^2, более общие уровневые структуры не охватываются
  3. Специфическая конструкция: Изучаются только специфические ряды Эйзенштейна, построенные с помощью характеров Дирихле, а не все параmodular модулярные формы

Направления будущих исследований

Статья не предлагает явно направлений будущих исследований, но естественные обобщения включают:

  1. Распространение на более общие уровневые структуры
  2. Рассмотрение других типов модулярных форм (таких как параболические формы)
  3. Исследование более тонких арифметических свойств коэффициентов Фурье (таких как целостность, свойства сравнения и т.д.)

Глубокая оценка

Преимущества

  1. Теоретическая глубина:
    • Искусное сочетание теории модулярных форм, L-функций Дирихле, сумм Гаусса, локальных ε\varepsilon-множителей и других инструментов
    • Техника доказательства тонкая, особенно доказательства Предложений 5.1 и 6.2 требуют глубокого pp-адического анализа
  2. Точность результатов:
    • Не ограничиваясь общими результатами существования, дана явная характеризация числового поля
    • Результаты разложения по рангам свидетельствуют о глубоком понимании автором проблемы
  3. Ясность изложения:
    • Полная система обозначений (раздел 2)
    • Достаточное введение фоновых знаний (разделы 3-4)
    • Четкая структура доказательства, выделены ключевые этапы
  4. Технические вклады:
    • Доказательство Предложения 5.1 о рациональности локальных множителей является сильным техническим вкладом
    • Предложение 6.2 устанавливает точную связь между суммами Гаусса и корнями из единицы

Недостатки

  1. Ограничения метода:
    • Сильно зависит от явной формулы из 4, неприменимо к модулярным формам без явных формул
    • Метод доказательства — поточечная верификация, лишен единого концептуального каркаса
  2. Полнота результатов:
    • Доказательство Предложения 5.1 дает только иллюстративные примеры, полное доказательство отложено на докторскую диссертацию автора 3
    • Случай k<4k < 4 не обсуждается
  3. Приложения и значимость:
    • Статья не обсуждает приложения этих результатов рациональности
    • Связь с более глубокими теориями арифметической геометрии и представлений Галуа не развита
  4. Примеры и верификация:
    • Отсутствуют конкретные численные примеры, иллюстрирующие применение теоремы
    • Нет сравнения с известными частными случаями

Влияние

  1. Вклад в область:
    • Заполняет пробел в теории параmodular модулярных форм
    • Предоставляет основу для дальнейших исследований арифметических свойств параmodular модулярных форм
  2. Практическая ценность:
    • Имеет прямую ценность для исследователей, нуждающихся в вычислении коэффициентов Фурье параmodular рядов Эйзенштейна
    • Обеспечивает теоретическую поддержку для численной верификации гипотез, связанных с программой Ленглендса
  3. Воспроизводимость:
    • Теоретические доказательства могут быть проверены
    • Однако полное доказательство Предложения 5.1 требует обращения к еще не опубликованной докторской диссертации

Применимые сценарии

  1. Теоретические исследования:
    • Исследование арифметических свойств параmodular модулярных форм
    • Построение представлений Галуа
    • Исследование специальных значений L-функций
  2. Вычислительные приложения:
    • Численные эксперименты, требующие точного вычисления коэффициентов Фурье
    • Верификация арифметических гипотез, связанных с модулярными формами
  3. Направления обобщения:
    • Может служить шаблоном для исследования рациональности других типов модулярных форм (таких как ряды Клингена Эйзенштейна)
    • Методы могут быть обобщены на случаи более высокой размерности

Библиография

Ключевые цитируемые в статье работы включают:

  1. 2 Нойкирх: Учебник по алгебраической теории чисел, предоставляющий классические формулы для специальных значений L-функций
  2. 4 Пирс-Шмидт: Дают явное разложение Фурье изучаемого в данной работе ряда Эйзенштейна
  3. 5 Питале-Саха-Шмидт: Предоставляют общие результаты алгебраичности
  4. 6 Шимура: Классические работы по арифметической теории модулярных форм
  5. 7,8 Зигель: Основополагающие работы по теории модулярных форм Зигеля
  6. 9 Тейт: Классическая литература по ε\varepsilon-множителям

Общая оценка: Это технически сильная статья по теории чисел, достигающая точных результатов в теории параmodular модулярных форм. Хотя методы зависят от явных формул, процесс доказательства демонстрирует глубокое понимание автором теории модулярных форм, L-функций, локальной теории и других аспектов. Точность результатов и техническое мастерство доказательства являются основными достоинствами статьи, которая закладывает основу для дальнейших исследований в этой области.