[论文解读] On the distribution of Satake parameters for Siegel modular forms

Andrew Knightly, Charles Li|arXiv (Cornell University)|May 12, 2016

Advanced Algebra and Geometry参考文献 42被引用 5

一句话总结

该论文在水平数 $N \to \infty$ 沿着与 $p$ 互素的整数序列时，建立了对固定权 $\mathtt{k}$ 的 genus $n$ Siegel 模形式的 $p$-阶 Satake 参数的谐波加权等分布结果。通过使用 $\operatorname{PGSp}(2n)$ 在水平数方面的新型渐近 Petersson 公式，作者证明了加权 Satake 参数相对于测度 $\mu$ 等分布，该测度在自然假设下，当 $p \to \infty$ 时收敛于 Sato-Tate 测度。该结果将 $\operatorname{GL}(2)$ 上的谐波权重等分布推广至更高秩的辛群。

ABSTRACT

We prove a harmonically weighted equidistribution result for the $p$-th Satake parameters of the family of automorphic cuspidal representations of $\operatorname{PGSp}(2n)$ of fixed weight $\mathtt{k}$ and prime-to-$p$ level $N o \infty$. The main tool is a new asymptotic Petersson formula for $\operatorname{GSp}(2n)$ in the level aspect.

研究动机与目标

• 在水平数方面建立 Siegel 模形式的 Satake 参数的垂直等分布，其谐波权重源于 Petersson 跟踪公式。
• 将已知的 $\operatorname{GL}(2)$ 和 $\operatorname{GL}(3)$ 的等分布结果推广至更高秩的辛群 $\operatorname{GSp}(2n)$。
• 分析等分布测度 $\mu$ 的极限行为，并在几何侧的一个自然假设下，将其与 Sato-Tate 测度关联。
• 开发并应用 $\operatorname{GSp}(2n)$ 在水平数方面的新型渐近 Petersson 公式，这对于控制谱和至关重要。

提出的方法

• 通过谱侧与几何侧分析，推导出 $\operatorname{GSp}(2n)$ 在水平数方面的新型渐近 Petersson 公式。
• 通过将傅里叶系数平方和除以 $L^2$-范数，定义谐波权重，以反映跟踪公式的谱贡献。
• 使用 $\operatorname{GSp}(2n)$ 的离散系列矩阵系数及其形式度数，计算跟踪公式的谱侧。
• 通过将积分分解为阿基米德与非阿基米德部分，分析几何侧，特别是针对 $p \in \mathbf{S}$ 和 $p \notin \mathbf{S}$ 的情形。
• 使用积分估计与球坐标，控制跟踪公式中非对角项的大小，确保当 $\mathtt{k}$ 足够大时收敛。
• 在几何侧增长的假设下，将极限测度 $\mu$ 与 Sato-Tate 测度关联，尤其针对 $n=2$ 的情形。

实验结果

研究问题

• RQ1 当水平数 $N \to \infty$ 时，固定权 $\mathtt{k}$ 的 Siegel 模形式的 $p$-阶 Satake 参数，通过 Petersson 跟踪公式的谐波加权后，其分布如何？
• RQ2 当 $N \to \infty$ 时，控制这些加权 Satake 参数分布的极限测度 $\mu$ 是什么？
• RQ3 在何种条件下，当 $p \to \infty$ 时，测度 $\mu$ 收敛于 Sato-Tate 测度？
• RQ4 跟踪公式几何侧的渐近行为如何影响等分布结果，特别是针对 $n=2$ 的情形？
• RQ5 谐波权重结构能否在 $\operatorname{GSp}(2n)$ 的背景下与傅里叶系数关联？与已知的 $\operatorname{GSp}(4)$ 结果相比有何异同？

主要发现

• 作者证明了在跟踪公式几何侧以受控速率增长的假设下，当 $N \to \infty$ 时，谐波加权 Satake 参数相对于概率测度 $\mu$ 等分布。
• 对于 $n=2$，在所述假设下，测度 $\mu$ 被证明是紧谱上的，且当 $p \to \infty$ 时收敛于 Sato-Tate 测度。
• 在水平数方面，建立了 $\operatorname{GSp}(2n)$ 的渐近 Petersson 公式，使得通过积分估计控制谱和成为可能。
• 证明了当 $\mathtt{k} \geq 17$ 时，跟踪公式中非对角项的收敛性，确保了渐近公式的有效性。
• 误差项的界被证明为 $\ll \frac{\mathtt{k}^{21/2}(8r)^{\mathtt{k}/2}}{N^{\mathtt{k}-12}}$，当 $N \to \infty$ 时，对于固定的 $\mathtt{k} \geq 17$，该界迅速衰减，确认了渐近行为。
• 对于 $n=2$，在几何侧的假设下，测度 $\mu$ 显式地与 Sato-Tate 测度关联，且收敛速率与积分估计中 Beta 函数的衰减相关。