Asymptotics of Schwartz functions

技术摘要：Braverman-Kazhdan 空间上 Schwartz 函数的渐近性质

1. 问题陈述与背景
本文研究了与 Braverman-Kazhdan 空间 $X_P$ 相关的 Schwartz 空间的结构性质。其中 $X_P$ 定义为分裂、单连通、几乎单纯代数群 $G$ 在局部域 $F$ 上对商 $P^{der} \backslash G$ 的仿射闭包，此处 $P$ 为极大抛物子群。

文献中存在两种不同的 Schwartz 空间 $S(X_P(F))$ 的定义：

1. Braverman-Kazhdan (BK) 定义 ($S_{BK}$)：通过作用在 $L^2$ 空间上的酉傅里叶算子 $F_{Q|P}$ 来定义，具体为包含光滑紧支撑函数 $S(X^\circ_P(F))$ 且在这些变换下保持不变的最小空间。虽然这种定义很自然，但在分析上是不透明的；很难刻画 $S_{BK}$ 中的函数，或确定标准光滑函数是否属于该空间。
2. 解析定义 ($S$)：由 [GHL25] 引入（基于 [GL21] 和 [GH26]），该定义通过其 Mellin 变换的解析行为来刻画，要求极点不比局部 $L$-函数的极点更坏。这种定义更易处理，但引发了关于其与 $S_{BK}$ 之间关系以及是否满足预期属性（如“局部性”）的问题。

核心问题在于协调这些定义，验证“局部性”猜想（即该空间在乘法下对温和/紧支撑函数封闭），并描述 $S(X_P(F))$ 中的函数在边界（原点）附近的渐近行为。

2. 研究方法
作者结合了调和分析、表示论以及交织算子的理论。研究方法分为以下几个阶段：

• 通过 Mellin 逆变换进行渐近分析：遵循 Igusa 对局部 Zeta 函数的研究，本文分析了 Schwartz 函数在原点附近的渐近行为。这涉及将函数的 Mellin 变换的极点与其渐近展开联系起来。
• 表示论刻画：渐近行为与退化主序列表示 $I(\chi)$ 的结构相关联。具体而言，本文研究了交织算子 $R_{P|P^{op}}$ 的核以及这些诱导表示的 socle（极大半单子模）。
• 交织算子的极点分析：第 6 节的工作致力于证明经典群和 $G_2$ 的归一化交织算子 $M'_w(\chi^s)$ 的全纯性。这涉及对 Weyl 群元素和协根进行详细的组合分析，以确立特定的极点是可去的，从而证明包含关系 $S(X^\circ_P(F)) \subseteq S(X_P(F))$ 成立。
• Weyl 代数构造：对于阿基米德域，作者构造了一个由坐标函数和通过傅里叶变换定义的“微分算子”生成的 Weyl 代数 $W_{X_P}$。该代数被证明与 $X_P$ 上的微分算子环在 Grothendieck 意义上一致。
• 归纳过滤：渐近空间 $A_{X_P}(F) = S(X_P(F))/S(X^\circ_P(F))$ 通过一个过滤来描述，其阶梯项被识别为退化主序列的 socle。

3. 主要贡献与结果

• 定义等价性 (Theorem 1.2)：对于 $G$ 为经典群或 $G_2$ 的情况，本文证明了解析 Schwartz 空间 $S(X_P(F))$ 与 Braverman-Kazhdan 空间 $S_{BK}(X_P(F))$ 一致。因此，包含关系 $S(X^\circ_P(F)) \subset S(X_P(F))$ 成立，解决了定义中的关键歧义。
• 局部性 (Conjecture 1.1)：本文证明了 $S(X_P(F))$ 是局部的。在非阿基米德情形下，这源于函数的紧支撑性和光滑部分的包含；在阿基米德情形下，则是通过 Weyl 代数结构建立的。
• 渐近结构 (Theorem 1.3 & 1.4)：
  • 非阿基米德情形：渐近模 $A_{X_P}(F)$ 被描述为一个由字符 $\chi$ 索引的模之直和，其中 $\chi$ 使得交织算子具有非平凡核。每个 $A(\chi)$ 拥有一个同构于退化主序列 $I(\chi)$ 之 socle 过滤的过滤。
  • 阿基米德情形：$A_{X_P}(F)$ 是半直积群 $G(F) \ltimes W_{X_P}(F \otimes \mathbb{R} \mathbb{C})$ 的有限长度 Fréchet 表示。
• Weyl 代数实现 (Theorem 7.8)：抽象定义的微分算子 $\partial_i$ 被显式地实现为 $X^\circ_P(F)$ 上的微分算子。本文展示了 Weyl 代数 $W_{X_P}$ 与微分算子环 $D(X_P)$ 同构。
• 与 Grothendieck 定义的识别 (Theorem 1.5)：本文证明了 $S(X_P(F))$ 与 Braverman 和 Kazhdan 定义的空间 $S_D(X_P(F))$ 一致，后者是受限于所有 $X_P$ 上微分算子的 $L^2$ 函数空间。
• 泊松求和公式 (Theorem 1.6)：作者建立了 $X_P$ 在全局域 $E$ 上的泊松求和公式。该公式将 Schwartz 函数在有理点上的求和与其傅里叶变换之和联系起来，并通过特定极点处退化 Eisenstein 级数的留数进行修正。

4. 意义与主张
本文声称提供了对 Braverman-Kazhdan 空间（针对经典群和 $G_2$）傅里叶理论的“透彻理解”。其意义在于：

• 桥接定义：它统一了抽象的酉定义与具体的解析定义，从而允许将解析工具应用于 BK 空间。
• 验证猜想：它证实了局部性猜想以及两个 Schwartz 空间定义的相等性，这些都是 Langlands 纲领中更广泛的泊松求和猜想的前提条件。
• 显式渐近性：通过利用退化主序列的 socle 来描述渐近行为，本文为这些函数的边界行为提供了一个具体的表示论处理手段，这对于调和分析和 $L$-函数的理论研究至关重要。
• 应用基础：作者指出，这些结果有望用于泊松求和猜想的应用，可能有助于深入理解 Langlands 函件性以及 $L$-函数的解析性质。

本文明确将主要定理限制在经典群和 $G_2$，并指出对于例外型 $E$ 和 $F$ 的结果取决于对交织算子特定极点性质（Theorem 6.1）的验证，而这些工作在讨论中被留作未来工作或作为假设。