$L^\infty$-sizes of the spaces Siegel cusp forms of degree $n$ via Poincaré series

这是一份关于 Soumya Das 的论文《L∞-SIZES OF THE SPACES SIEGEL CUSP FORMS OF DEGREE n VIA POINCARÉ SERIES》（通过庞加莱级数研究 n 次西格尔尖点形式空间的 L∞-范数大小）的详细技术总结。

1. 研究背景与问题 (Problem)

核心问题：
研究定义在西格尔上半空间 $\mathbb{H}_n$ 上的西格尔尖点形式（Siegel cusp forms）空间 $S_k^{(n)}(\Gamma)$ 的 $L^\infty$ 范数大小（即“空间的大小”）。具体来说，作者关注的是该空间正交基的 Bergman 核（Bergman kernel）的上确界。

定义：
设 $\Gamma \subset Sp_n(\mathbb{Z})$ 为同余子群，$B_k(\Gamma)$ 为 $S_k^{(n)}(\Gamma)$ 的标准正交基。定义 Bergman 核为：
$$B_{k,\Gamma}(Z) = \sum_{F \in B_k(\Gamma)} \det(Y)^k |F(Z)|^2, \quad Z = X + iY \in \mathbb{H}_n$$
研究的目标是确定当权重 $k \to \infty$（权重方面）或水平 $N \to \infty$（水平方面）时，$\sup_{Z \in \mathbb{H}_n} B_{k,\Gamma}(Z)$ 的渐近行为。

猜想：
作者提出了以下核心猜想：

1. 权重方面 (Weight aspect)： 当 $k \to \infty$ 时，$\sup B_{k,\Gamma}(Z) \asymp_{n,\Gamma} k^{3n(n+1)/4}$。
2. 水平方面 (Level aspect)： 当水平 $N \to \infty$ 且 $k$ 固定时，$\sup B_{k,\Gamma}(Z) \asymp_{n,k} 1$（对于主同余子群）。
3. 单个形式 (Individual form)： 对于特征函数 $F$，其 $L^\infty$ 范数 $\|F\|_\infty \ll k^{n(n+1)/8}$（权重方面）。

现有困难：

• 对于 $n=1$（椭圆模形式），该问题已有较好结果（如 Xia 的工作）。
• 对于 $n \ge 2$，由于缺乏对傅里叶系数的均匀控制，以及庞加莱级数展开的复杂性，之前的进展有限。
• 现有的方法（如热核方法或复杂的几何侧分析）往往不够简洁或难以推广到一般同余子群。

2. 方法论 (Methodology)

作者提出了一种基于庞加莱级数（Poincaré series）傅里叶展开的新方法，避免了热核方法和复杂的几何侧分析。主要步骤包括：

1. Bergman 核的几何展开：
   利用 Lipschitz 公式和庞加莱级数的性质，将 Bergman 核表示为庞加莱级数 $P_{T,\Gamma}(Z)$ 的加权和：
   $$B_{k,\Gamma}(Z) \propto \sum_{T \in \Lambda_\Gamma} \det(T)^{k - \frac{n+1}{2}} P_{T,\Gamma}(Z) e(-TZ)$$
   其中 $\Lambda_\Gamma$ 是与 $\Gamma$ 相关的半正定矩阵格。

2. 控制庞加莱级数 (Bounding Poincaré Series)：
   核心突破在于证明对于西格尔基本域 $\mathcal{F}_1^{(n)}$ 中的 $Z$ 和所有 $T$，庞加莱级数满足一致有界性：
   $$P_{T,\Gamma}(Z) \ll_n 1$$
   这一结论通过以下手段实现：

   • 将求和分解为平移部分（$c_g=0$）和非平移部分（$c_g \neq 0$）。
   • 利用 $c_g \neq 0$ 时 $\det(c_g Z + d_g)$ 的下界估计（与水平 $N$ 相关）。
   • 引入辅助函数 $H_\Gamma(T, Y)$ 并利用泊松求和公式的性质进行估计。

3. 处理共轭子群 (Conjugate Subgroups)：
   对于一般的同余子群 $\Gamma$，其基本域可能很复杂。作者利用共轭子群 $G = \gamma^{-1}\Gamma\gamma$ 的性质，将问题转化到主同余子群或更简单的子群上处理，证明了 $\sup(S_k^{(n)}(\Gamma))$ 在所有共轭子群上具有相同的上界。

4. 下界估计 (Lower Bounds)：
   利用庞加莱级数傅里叶系数的渐近公式（Theorem 5.1），证明了在 $k$ 足够大时，某些特定的庞加莱级数非零且其系数具有预期的量级，从而确立了 $L^\infty$ 大小的下界。

3. 主要结果 (Key Results)

定理 1.5 (权重方面)：
对于任意同余子群 $\Gamma \subset Sp_n(\mathbb{Z})$（水平为 $N$），当 $k \ge 2n+2$ 时：
$$c_\Gamma k^{3n(n+1)/4} \ll_n \sup(S_k^{(n)}(\Gamma)) \ll_{n,\epsilon} k^{3n(n+1)/4} N^{n^2/2 + \epsilon}$$
其中 $c_\Gamma$ 是依赖于 $\Gamma$ 的常数。这证实了权重方面的猜想（主项正确）。

定理 1.6 (混合方面 - 主同余子群)：
对于主同余子群 $\Gamma^{(n)}(N)$，当 $k > 2n+2$ 时，存在与 $N$ 无关的均匀界：
$$\sup(S_k^{(n)}(\Gamma^{(n)}(N))) \asymp_n k^{3n(n+1)/4}$$
这证实了主同余子群在水平和权重方面的猜想。

定理 1.7 (混合方面 - 大权重)：
对于任意同余子群，如果权重 $k$ 相对于水平 $N$ 足够大（$k > \max\{(n+1)^2, N^{3+\epsilon}\}$），则：
$$\sup(S_k^{(n)}(\Gamma)) \asymp_n k^{3n(n+1)/4}$$
即在大权重条件下，水平的影响被消除，得到了最优界。

其他重要结果：

• 非零性 (Non-vanishing)： 证明了对于足够大的 $k$，指数型庞加莱系列 $P_{T,\Gamma}$ 非零，且对于一组互不等价的矩阵 $\{T_1, \dots, T_h\}$，对应的庞加莱级数线性无关（Corollary 5.6, 5.8）。
• 小权重 (Small weights)： 利用插值技术（Hölder 不等式），将大权重的平均界推广到小权重 $k \ge n/2$ 的单个形式上（Theorem 9.2）。
• 椭圆模形式 ($n=1$)： 在附录中，作者利用大筛法不等式（Large Sieve Inequality）证明了对于任意同余子群，当 $k=2$ 时，空间大小约为 $O(\log N)$，填补了文献空白。

4. 技术贡献与创新点 (Significance & Contributions)

1. 证明了长期猜想： 首次完整证明了西格尔尖点形式空间 $L^\infty$ 大小在权重和水平方面的渐近公式（主项为 $k^{3n(n+1)/4}$），解决了 $n \ge 2$ 时的核心问题。
2. 方法简化与通用性：
   • 摒弃了复杂的几何侧分析和热核方法。
   • 提出了一种基于庞加莱级数傅里叶展开的“软”方法（soft approach），该方法不仅适用于主同余子群，也适用于任意同余子群。
   • 提供了一个通用的算法（Algorithm 7.1），可推广至向量值形式、Hilbert 模形式等其他情形。
3. 处理一般同余子群： 克服了以往工作（如 DK24）仅能处理 $n=2$ 或特定子群的局限，通过引入共轭子群分析和精细的格点计数，处理了任意同余子群的复杂尖点结构。
4. 非零性结果： 提供了关于指数型庞加莱级数非零性和线性无关性的新结果，这对理解模形式空间的基结构至关重要。
5. 小权重处理： 通过范数插值技术，将大权重的平均结果有效地转移到了小权重情形，展示了方法的灵活性。

5. 总结

这篇论文通过引入基于庞加莱级数傅里叶展开的新分析框架，成功解决了西格尔模形式空间 $L^\infty$ 范数大小的渐近估计问题。作者不仅证实了关于空间大小的核心猜想，还展示了该方法在证明庞加莱级数非零性、处理小权重以及推广到其他模形式类型（如 Hilbert 模形式）方面的广泛适用性。这项工作为高维自守形式谱理论中的范数估计问题提供了强有力的工具和清晰的理论图景。