New and old Saito-Kurokawa lifts classically via $L^2$ norms and bounds on their supnorms: level aspect

这是一篇关于Saito-Kurokawa (SK) 提升（Saito-Kurokawa lifts）在水平（Level）方面的 $L^\infty$ 范数（即上确界范数，sup-norm）问题的经典研究论文。作者 Pramath Anamby 和 Soumya Das 通过结合经典的模形式理论与 $L^2$ 范数计算，建立了新的旧形式（oldforms）理论，并推导出了 SK 提升空间大小的精确界限。

以下是对该论文的详细技术总结：

1. 研究背景与核心问题

• 研究对象：二次型（degree 2）的全纯 Siegel 尖点模形式空间 $S_k^{(2)}(N)$ 中的 Saito-Kurokawa (SK) 提升子空间，记为 $SK_k(N)$。这些提升是从椭圆模形式空间 $S_{2k-2}(N)$ 或 Jacobi 模形式空间通过函子性提升得到的。
• 核心问题：研究 SK 提升空间在水平 $N$ 变化时的 $L^\infty$ 大小。具体而言，是通过 Bergman 核（Bergman kernel）的 supremum 来衡量整个空间的“大小”，以及单个特征形式的上确界范数。
• 难点：
  • 高秩群（如 $GSp(2)$）上的自守形式通常没有全局 Whittaker 模型，这使得许多针对 $GL(2)$ 的标准分析工具失效。
  • 对于 SK 提升，特别是涉及旧形式（oldforms）的部分，缺乏系统的经典理论描述。
  • 现有的几何侧（geometric side）Bergman 核工具在 SK 提升的上下文中并不直接可用。

2. 方法论与主要技术路线

论文分为两个主要部分：

第一部分：SK 提升的新旧形式理论与 $L^2$ 范数矩阵

作者提出了一种基于 $L^2$ 范数计算的新方法来处理新旧形式理论，而非传统的傅里叶展开法（后者在处理不同尖点处的展开时非常困难）。

• 内积矩阵 $M_p$：
  • 对于素数 $p \nmid N$，定义四个算子 $R_1=Id, R_2=U_S(p), R_3=W_p, R_4=U_S(p)W_p$。
  • 构造一个 $4 \times 4$ 的矩阵 $M_p(F) = (\langle F|_{R_i}, F|_{R_j} \rangle_{Np})$，其中 $F$ 是水平 $N$ 的特征形式。
  • 核心发现：通过计算 Hecke 代数中的内积关系，证明了 $F$ 是 SK 提升当且仅当矩阵 $M_p(F)$ 的秩为 3。如果 $F$ 不是 SK 提升，则秩为 4。
• 新旧形式分解：
  • 利用上述秩的性质，作者给出了 SK 提升空间中旧形式的显式正交基。
  • 证明了对于每个 Jacobi 新形式 $\phi$，在水平 $Np$ 处生成的旧形式空间维数为 3（而非通常的 4），其中包含一个“异常”旧形式，它不是 Eichler-Zagier-Ibukiyama (EZI) 提升。
• Maass-Ibukiyama 关系：
  • 证明了 EZI 提升（即来自 Jacobi 形式的提升）在 SK 提升空间中可以通过满足特定的 Maass-Ibukiyama 关系（一种关于傅里叶系数的线性关系）来唯一刻画。

第二部分：上确界范数（Sup-norm）界限与猜想

利用第一部分建立的基和范数关系，作者对 SK 提升空间的大小进行了估计。

• Jacobi 形式的界限：
  • 首先研究了指数为 1 的 Jacobi 尖点形式空间 $J_{k,1}^{cusp}(N)$ 的大小。
  • 利用 Theta 分解将问题转化为半整数权模形式的问题。
  • 定理 1.6：证明了单个 $L^2$ 归一化的 Jacobi 新形式 $\phi$ 满足 $\|\phi\|_\infty \ll N^{-1/36+\epsilon}$。这是一个非平凡的上界。
  • 猜想 1.5 & 1.7：提出 Jacobi 空间的大小应为 $O(1)$，且单个新形式的上确界范数应为 $O(N^{-1/2+\epsilon})$。
• SK 提升的界限：
  • 下界：利用 Waldspurger 公式将 SK 提升的傅里叶系数与椭圆模形式的中心 $L$-值联系起来，结合平均 $L$-值的结果，证明了 $\sup(SK_k(p)) \gg p^{-2}$。
  • 上界：将基本域划分为三个区域（Type 0, 1, 2），分别处理：
    • Type 0 ($Y \gg 1$)：利用傅里叶展开和 Poincaré 级数。
    • Type 1 ($Y \approx 1$)：利用 Fourier-Jacobi 展开，转化为 Jacobi 形式的大小问题。
    • Type 2 ($Y \gg 1/p$)：这是最困难的部分。作者使用了计数矩阵（counting matrices）的方法，结合 Bergman 核的几何侧，通过计算离散矩阵的数量来获得界限。
  • 定理 1.8：对于素数水平 $p$，证明了 $\sup(SK_k(p)) \ll p^{-1+\epsilon}$。结合旧空间的界限，给出了更精确的估计。

3. 主要结果与定理

1. SK 提升的刻画（定理 1.2）：
   • $F$ 是 SK 提升 $\iff$ 内积矩阵 $M_p$ 的秩为 3 $\iff$ 特征值满足特定的二次关系 $\lambda_F(p^2) = \lambda_F(p)^2 - (p^{k-1}+p^{k-2})\lambda_F(p) + p^{2k-2}$。
2. Jacobi 新形式的上界（定理 1.6）：
   • 对于 $N$ 为奇数无平方因子，$\|\phi\|_\infty \ll N^{-1/36+\epsilon}$。
3. SK 提升空间的大小（定理 1.8）：
   • 对于素数 $p$，$p^{-2} \ll \sup(SK_k(p)) \ll p^{-1+\epsilon}$。
4. 关于大小的猜想（猜想 1.9 & 1.10）：
   • 猜想 $\sup(SK_k(N)) \asymp N^{-2}$。
   • 猜想单个 $L^2$ 归一化的 SK 新形式满足 $\|F\|_\infty \ll N^{-3/2}$。这与 $S_k^{(2)}(N)$ 中特征形式的预期大小一致。

4. 关键贡献

• 经典理论的构建：填补了高次水平下 SK 提升经典理论的空白，特别是详细描述了旧形式空间的结构，指出并非所有旧形式都是 EZI 提升。
• 基于 $L^2$ 范数的新方法：提出了一种通过计算 Hecke 算子作用下的内积矩阵秩来区分新旧形式和 SK 提升的方法，避免了复杂的尖点傅里叶展开计算。
• 非平凡上界的突破：在 Jacobi 形式和 SK 提升的上确界范数问题上取得了进展，特别是通过计数论证（counting arguments）处理了 Type 2 区域，这是以往文献中较少涉及的。
• 算子性质的澄清：在附录中证明了 Jacobi 算子 $U_J(p)$ 在旧形式空间上不是自伴的（self-adjoint），修正了文献中某些关于该算子性质的误解。

5. 意义与影响

• 理论价值：为高秩群（$GSp(4)$）上的模形式 sup-norm 问题提供了一个具体的、可处理的模型（SK 提升）。由于 SK 提升与 $GL(2)$对象紧密相关，这使得在保持分析深度的同时，能够利用$GL(2)$ 的丰富理论。
• 方法论启示：展示了如何利用 $L^2$ 范数和 Hecke 代数关系来解决经典模形式理论中难以处理的旧形式问题。
• 未来方向：论文提出的猜想（如 $\sup \asymp N^{-2}$）为后续研究设定了明确的目标。如果这些猜想被证明，将极大地深化对高秩自守形式分布的理解。此外，文中使用的计数矩阵方法可能适用于其他类型的模形式空间（如 Hermitian 模形式）。

总的来说，这篇论文通过严谨的经典分析和创新的矩阵秩方法，系统地解决了 SK 提升在水平变化下的范数估计问题，是该领域的重要进展。