Uniform stratified vanishing and equidistribution on $\mathbb{G}_m^d$

技术摘要：$\mathbb{G}_m^d$ 上的均匀分层消失与等分布

问题陈述
本文研究了在分裂 $d$ 维环面 $\mathbb{G}_m^d$ 上，关于亏格层（perverse sheaves）的特征和（character sums）的“坏”局部（bad loci）的均匀界限问题。具体而言，本文旨在证明一个均匀的分层泛型消失定理（uniform stratified generic vanishing theorem），其中界限仅取决于维度 $d$ 和层的复杂度（以 Sawin 的定义），而非取决于特定的域特征或素数 $\ell$。

这些消失定理描述了如下特征 $\chi$ 的集合：对于这些特征，遗忘支撑映射（forget-supports morphism）$R\Gamma_c(\mathbb{G}_m^d, M_\chi) \to R\Gamma(\mathbb{G}_m^d, M_\chi)$ 并非同构。虽然 Gabber–Loeser 已经建立了泛型消失性（以解析奇异性为条件），随后由 Forey–Fresán–Kowalski (FFK) 在无条件情况下建立了该结论，但这些结果并未针对随着域大小增长的有限域特征数，提供关于这些坏局部的定量均匀界限。

作者旨在将这些特征和的等分布定理扩展到具有增长基数的任意有限域序列，允许特征发生变化。之前的研究（如 Katz 对 $d=1$ 的研究，以及 FFK 对交换连通群的研究）要么受限于固定对象在变化扩张上的情况，要么以高维环面（$d \ge 2$）的均匀界限为条件。

方法论
证明策略依赖于三个主要组成部分：均匀单坐标 Mellin 估计、对环面的维度归纳，以及用于等分布的 Tannakian 推导。

1. 均匀单坐标 Mellin 估计：
   这是核心的技术创新，即对单个乘法变量的“异常”特征进行定量估计。通过将 $\mathbb{G}_m^d$ 分解为 $\mathbb{G}_m \times \mathbb{G}_m^{d-1}$，作者分析了由第一个因子的特征扭转后的亏格层在相对直接像下的性质。

   • 他们利用定位三角（localization triangle）将遗忘支撑映射的失效与 $0$和$\infty$ 处的边界茎（boundary stalks）联系起来。
   • 这些边界茎被识别为相对近邻循环复形（nearby-cycle complexes）的连续惯性上同调。
   • 利用惯性上同调的 $\ell$-素数消失性（附录 B）以及映射 $\lambda \mapsto \lambda_x(\tau_x)$ 的单射性（其中 $\tau_x$ 是驯服惯性的拓扑生成元），他们证明了异常特征对应于这些近邻循环复形上的单模特征值（monodromy eigenvalues）。
   • 至关重要的是，他们仅根据复杂度 $cu(A)$和维度$d$ 来限制此类特征值的数量，从而避免了使用 de Jong 的改变量（alterations）或解析奇异性，否则会引入非均匀的常数。

2. 维度归纳：
   作者通过对 $d$ 的归纳来证明其主要定理。

   • 定理 1.1（均匀点计数）： 对于复形 $K$，Mellin 比较映射锥的支持 $\Delta(K)$ 的大小被限制在 $O(q^{n(d-1)})$ 内。归纳步骤使用相对 Mellin 变换将问题从维度 $d$ 降至 $d-1$。对于非异常特征，问题转化为低维情形；对于异常特征，界限是平凡的但受复杂度控制。
   • 定理 1.2（分层点计数）： 这将结果精炼到特定的上同调次数 $i$。作者使用亏格谱序列将 $\mathbb{G}_m^d$ 上次数 $i$ 的上同调跳变与 $\mathbb{G}_m^{d-1}$ 上关于相对直接像的亏格层在次数 $i$ 和 $i-1$ 处的跳变联系起来。这使得归纳界限 $O(q^{n(d-i)})$ 得以保持。

3. Tannakian 推导：
   等分布结果（推论 1.4）是通过 FFK 的 Tannakian 形式化方法导出的。

   • 作者通过将无分支局部域 $X(M_0)$ 与特定对象 $L = M \oplus M^\vee$ 的支持 $\Delta(L)$ 联系起来，确立了其为泛型的性质（定理 1.3）。
   • 使用 Weyl 判别法，他们证明了 Frobenius 共轭类在 Tannakian 群的最大紧子群中是等分布的。来自定理 1.2 和 1.3 的均匀界限确保了“坏”特征（即上同调在非零次数处非零或发生分歧的特征）相对于总特征数而言是微不足道的。

主要贡献与结果

• 定理 1.1（均匀分层泛型消失）： 证明了对于任何 $d \ge 1$，存在一个函数 $\Phi_d^\Delta$，使得对于任何有限域 $k$、任何素数 $\ell \neq \text{char}(k)$ 以及任何复杂度为 $C$ 的复形 $K$，使遗忘支撑映射不是同构的特征 $\chi \in \widehat{\mathbb{G}_m^d}(k_n)$ 的数量被 $\Phi_d^\Delta(C) q^{n(d-1)}$ 所界定。
• 定理 1.2（有界复杂度分层点计数）： 证明了对于复杂度为 $C$ 的亏格层 $A$，使得上同调 $H^i_c$ 或 $H^i$ 非零的特征数量被 $\Psi_d(C) q^{n(d-i)}$ 所界定。这为分层消失局部提供了必要的均匀界限。
• 定理 1.3（无分支点计数）： 确立了对于算术半单对象，其无分支局部的补集被 $O(q^{n(d-1)})$ 所界定，且在特征和 $\ell$ 上是均匀的。
• 推论 1.4（等分布）： 证明了对于具有共同 Tannakian 单模群的亏格层序列的等分布定理。随着有限域基数的趋于无穷大，附着的 Frobenius 共轭类在 Tannakian 群的最大紧子群的共轭类空间中实现等分布。

意义

该论文声称解决了由 Forey–Fresán–Kowalski 留下的维度 $d \ge 2$ 的环面水平等分布（horizontal equidistribution）的开放问题。虽然 FFK 无条件地建立了这些坏局部的结构，但他们对于 $d \ge 2$ 的等分布定理仍以这些局部的均匀界限为条件。本文提供了这些界限，从而使 $\mathbb{G}_m^d$ 上的等分布定理变为无条件的。

此外，其结果将 Katz 的等分布定理（最初针对 $d=1$）推广到了包含变化特征的任意有限域序列。这些界限中的常数仅依赖于维度和层的复杂度（以 Sawin 的定义），确保了在不同特征和素数 $\ell$ 下的均匀性。这种均匀性是通过不依赖于解析奇异性或 de Jong 的改变量来实现的，而后者通常会产生依赖于特定簇几何性质而非仅仅是其复杂度的常数。

这项工作因此统一了环面的泛型消失与等分布理论，为在变化的有限域上的族（families）中分析指数和与特征和提供了一个稳健的框架。