Weyl algebras on Braverman-Kazhdan spaces

技术摘要：Braverman-Kazhdan 空间上的 Weyl 代数

问题陈述
本文研究了特定族类奇异代数簇（称为 Braverman-Kazhdan 空间）上的微分算子环，记作 $D(X)$。设 $G$ 是特征为零的域 $K$ 上的分裂、单连通、几乎单连通代数群，且 $P$ 是一个极大抛物子群。所研究的空间为 $X_P := \text{Spec}(K[P^{\text{der}}\backslash G])$，该空间通常是奇异的（仅当其为向量空间时才是光滑的）。虽然对于光滑簇 $X$，其 $D(X)$ 已被深入理解——具有诸如是简单 Noetherian 整环、其结合代数同构于余切丛的坐标环、以及满足 Bernstein 不等式等性质——但这些性质在奇异簇中往往会失效。核心问题在于确定这些经典 Weyl 代数的结构性质是否能推广到 Braverman-Kazhdan 空间的 $D(X_P)$ 上。

方法论
作者的方法依赖于对一个特定代数 $W_{X_P}$ 的构造与分析，该代数作为微分算子环的一个候选者。其方法论通过以下步骤进行：

1. $W_{X_P}$ 的构造： 基于前人的工作（特别是针对阿基米德情形的 [Hsu21]），本文将 $W_{X_P}$ 定义为由坐标函数 $x_i$ 和特定的微分算子 $\partial_i$ 生成的代数。这些算子是通过作用在 Schwartz 空间 $S(X_P(\mathbb{R}))$ 上的酉傅里叶变换 $F_{P|P^{\text{op}}}$ 构建的，从而将 $X_P$ 的几何性质与其对偶空间 $X_{P^{\text{op}}}$ 联系起来。
2. 代数分析： 本文确立了 $W_{X_P}$ 是一个简单整环。一种关键技术是识别出一组特殊的元素（与 Euler 算子 $E$ 及多项式 $Z_r(t)$ 相关），它们生成了单位元，从而证明了其单性。
3. 过滤与维数理论： 作者采用了 Bernstein 过滤，并分析了 $W_{X_P}$ 模的 Gelfand-Kirillov (GK) 维数。通过证明 Bernstein 不等式（限制了有限生成模的 GK 维数），本文证明了 $W_{X_P}$ 是一个 Ore 整环。
4. 与 $D(X_P)$ 的恒等性识别： 利用 $X_P$ 是正规的且其稠密开轨道补集的余维数至少为 2 这一事实，作者利用局部化论证证明了 $W_{X_P}$ 与微分算子环 $D(X_P)$ 相一致。
5. 量子化与分次结构： 本文利用 Rees 代数和量子化技术来分析 $W_{X_P}$ 关于阶过滤的结合代数，从而建立其与光滑部分的余切丛坐标环之间的同构关系。
6. 范畴论： $D(X_P)$-模的范畴被描述为一个涉及 $X_P$ 及其对偶 $X_{P^{\text{op}}}$ 模的“粘合范畴”，并借鉴了 [BBP02] 和 [GR15] 的论证方法。

主要贡献与结果

• $D(X_P)$ 的结构性质： 本文证明了对于极大抛物子群 $P$ 且 $G$ 不属于 $E$ 或 $F$ 型时，环 $D(X_P)$ 满足经典 Weyl 代数的三个关键性质：
  1. $D(X_P)$ 是一个简单 Noetherian 整环。
  2. 其结合代数 $\text{gr } D(X_P)$ 自然同构于 $K[T^*X_P^\circ]$，其中 $X_P^\circ$ 是光滑部分。
  3. 每个有限生成左 $D(X_P)$-模都满足 Bernstein 不等式，从而允许定义全纯（holonomic）模。
• 单性与单位： $W_{X_P}$ 被证明是一个中心为 $K$ 且单位元为 $K^\times$ 的简单环。
• Bernstein-Sato 多项式： 确立了非零函数 $\phi \in K[X_P]$ 的 Bernstein-Sato 多项式的存在性。这是通过证明模 $K(s)[X_P][\phi^{-1}]\phi^s$ 是全纯的来实现的。
• Zeta 积分的亚纯延拓： 作为 Bernstein-Sato 多项式存在性的直接应用，本文证明了阿基米德设置下 Braverman-Kazhdan 空间的 Igusa 局部 Zeta 函数（及相关 Zeta 积分）的亚纯延拓。
• 模范畴： 有限生成左 $D(X_P)$-模的范畴被明确描述为 $X_P$ 与 $X_{P^{\text{op}}}$ 模的粘合范畴，提供了类似于 Borel 情况的结构分类。
• 代数性质： $W_{X_P}$ 被证明是 Auslander-Gorenstein、Cohen-Macaulay 且有限分部（finitely partitive）的。

意义与主张
本文声称完成了 Braverman-Kazhdan 空间上 $D$-模的基础理论，扩展了此前仅在 $P$ 为 Borel 子群（此时投影的纤维本质上是仿射空间）时已知的结论。通过确立 $D(X_P)$ 尽管在 $X_P$ 具有奇异性的情况下仍共享经典 Weyl 代数的基本结构性质，这项工作为研究这些空间提供了一个稳健的代数框架。

作者强调了 $X_P$ 上的调和分析与 $D$-模理论之间的一种新联系。具体而言，$D(X_P)$ 的研究阐明了退化主序列表示的组成序列，并支持了关于 Poisson 求和的更广泛的 Braverman-Kazhdan-Ngô 计划。通过（利用 Zeta 积分的亚纯延拓）确认 Schwartz 空间 $S(X_P(\mathbb{R}))$ 在正则函数与微分算子的乘法下是稳定的，这验证了 [BK02] 中针对极大抛物子群提出的特定猜想。本文将这些结果定位为进一步研究球面簇上调和分析与 $D$-模理论相互作用的基础。