Geometrization of summation formulae for quadrics

技术摘要：二次型求和公式的几何化

问题陈述
本文研究了数域 $E$ 上偶数个变量（$2\ell$ 个）分裂二次型的零点集 $X_\ell$ 的泊松求和公式。虽然此前已建立了 $\ell \ge 3$ 时的泊可能求和公式（见 [Hsu21, Get25] 中的定理 1.1），但该公式涉及“边界项”（退化 Eisenstein 级数的留数），而这些项并未在几何意义上得到显式表达。具体而言，在 $s = \pm 1$ 和 $s = \pm (\ell-1)$ 处的留数已知当且仅当作用于 Schwartz 函数的某些边界映射为零时才消失，但这些非零留数缺乏几何描述。

在函数域情形下，[GK24] 利用极小表示的自守性实现了这些留数的完整几何描述。然而，数域情形由于阿基米德处的存在而面临独特的挑战。Getz [Get25] 最近提出了一种通过 Theta 提升定义的函数空间 $\tilde{S}(X_\ell(\mathbb{A}_E))$，以及一个到光滑处光滑函数的线性映射 $I$。虽然 [Get25] 为 $I(f)$ 形式的函数建立了几何求和公式，但目前尚不清楚 $I(f)$ 是否确实属于标准的 Schwartz 空间 $S(X_\ell(\mathbb{A}_E))$，以及该公式是否能降解为仅依赖于其像 $I(f)$。

方法论
作者通过在两种不同的二次型 Schwartz 构造之间建立严格的等价关系，解决了这些歧义：

1. Braverman-Kazhdan 空间：通过正交群 $O_{V_{\ell+1}}$ 的极小表示构建的标准 $S(X_\ell)$ 构造，如 [GHL25] 和 [Hsu21] 所发展。
2. Theta 提升空间：由 $SL_2$ 在 $S(V_\ell \oplus \mathbb{A}^2)$ 上的 Weil 表示的共变元定义的空间 $\tilde{S}(X_\ell)$，如 [Get25] 所引入。

该方法论分为三个主要阶段进行：

• 局部比较：论文分析了非阿基米德局部域和阿基米德局部域的局部理论。它显式计算了两种构造下函数在奇点（原点）附近的渐近行为。
• 映射识别：作者证明了映射 $I: \tilde{S}(X_\ell) \to C^\infty(X_\ell^\circ)$ 是到标准 Schwartz 空间 $S(X_\ell)$ 的同构。至关重要的是，该同构交织了两种理论中定义的傅里叶变换（$\tilde{F}_{X_\ell}$ 与 $F_{X_\ell}$）以及边界映射（留数与渐近系数）。
• 全局降解：利用局部识别结果，作者将求和公式从 Theta 提升设置提升到标准 Schwartz 空间设置。这涉及仔细追踪归一化常数，特别是数域的判别式 $D$ 和 epsilon 因子 $\epsilon(s, \psi)$，以确保阿代尔公式成立。

核心贡献与结果

1. Schwartz 空间的等价性：论文证明了对于 $\ell \ge 2$，映射 $I$ 的像是恰好等于标准 Schwartz 空间 $S(X_\ell(\mathbb{A}_E))$（定理 7.1，命题 5.2, 6.3）。这证实了 Theta 提升构造为数域设置下的 Schwartz 空间提供了一个有效的模型。
2. 留数的几何化：主要结果是定理 1.2，一个“几何化”的泊松求和公式。该公式将 Schwartz 函数在有理点上的和表示为：
   • 其傅里叶变换的和。
   • 涉及迭代边界映射 $d_{\ell, i}$ 和 $c_i$ 的显式边界项。
   • 这些边界映射对应于函数在原点附近的渐近展开（Germs/芽）。
3. 显式留数公式：通过将新公式（定理 1.2）与之前的解析公式（定理 1.1）进行比较，作者导出了退化 Eisenstein 级数的显式几何表达式：
   $$\text{Res}_{s=-(\ell-1)} \text{Eis}(f_s) = \kappa |D|^{\frac{\ell-3}{2}} \zeta(\ell-1) c_\ell(f)$$
   以及一个涉及 $d_\ell$ 相关项之和的关于 $s=-1$ 处的类似表达式。
4. 处理 $\ell=2$：论文对 $\ell=2$ 的情况进行了详细分析，在该情况下，Eisenstein 级数可能具有二阶极点。作者引入了一个额外的边界映射 $a_2$，以捕捉 $(s+1)^{-2}$ 项的系数，这在 $\ell \ge 3$ 的情形中是不存在的。

意义
论文声称其主要贡献在于为二次型上的泊松求和公式提供了边界项的几何表达式。通过展示这些项如何由函数在奇点处的芽（通过映射 $c_\ell$ 和 $d_\ell$）来决定，该工作将解析留数“几何化”。

作者指出，这一结果类似于正则化 Siegel-Weil 恒等式（引用 [Ich01, Ike96, KR94]）。其意义在于证明了此类恒等式可以用于使 Braverman-Kazhdan 空间的边界项几何化。该论文表明，这种方法可以推广到其他设置，例如以几何方式重新表述 Lagrangian Grassmannian 上的泊松求和公式（如 [GL21]），尽管本文并未进行此项扩展。

总之，本文弥合了 Eisenstein 级数的解析理论与奇异簇上的 Schwartz 空间的几何理论之间的鸿沟，确认了 [Get25] 的 Theta 提升方法与 Braverman-Kazhdan 框架完全兼容，并为求和公式的误差项提供了完整的几何描述。