The geometry of the unipotent component of the moduli space of Weil-Deligne representations

技术摘要：Weil-Deligne 表示模空间中单连通分量的几何结构

问题陈述
本文研究了取值于局部域上分裂约化群 $G$ 的单连通 Weil-Deligne 表示模空间的几何结构。具体而言，它关注参数化对 $(\Phi, N)$ 的概型 $S_{G,O}$，其中 $\Phi$ 是半单元素，$N$ 是满足关系 $\text{Ad}(\Phi)N = qN$ 的幂零元素。该概型作为单连通 Weil-Deligne 表示的带框模空间，与局部伽罗瓦形变环密切相关，而后者是模性提升定理证明中使用的泰勒 - 威尔斯 - 基辛（Taylor-Wiles-Kisin）拼接法的核心。

所解决的主要几何问题是刻画 $S_{G,O}$ 不可约分量的光滑性。虽然已知该概型是由按幂零轨道索引的不可约分量的并集，但在一般约化群的情形下，特别是针对形变理论所需的“审慎”（considerate）条件背景下，这些分量在何种条件下是光滑（正则）的，何种条件下是奇异的，此前并未完全确立。

方法论
作者结合代数几何、表示论和交换代数来分析 $S_{G,O}$ 的局部结构。

1. 审慎性与平庸性：本文引入并利用了"$q$-审慎性”（$q$-considerateness）的概念，这是关于素数幂 $q$ 相对于群 $G$ 的考克斯特数 $h_G$ 的一个条件。这确保了 $q$ 在群的结构中表现良好（具体而言，即 $1, q, \dots, q^{h_G}$ 在剩余域中互不相同）。这与 Dat、Helm、Kurinczuk 和 Moss 的工作中提出的"$G$-平庸性”和“几何 $G$-平庸性”概念相关联。
2. Bala-Carter 理论与余特征标：分析严重依赖 Bala-Carter 理论来对幂零轨道进行分类。对于幂零元素 $e$，作者关联了一个余特征标 $\lambda: \mathbb{G}_m \to G$，并将李代数 $\mathfrak{g}$ 分解为 $\text{Ad}(\lambda(t))$ 的特征子空间。区分“区分”（distinguished）幂零轨道（其中中心化子具有特定结构）与非区分轨道至关重要。
3. 光滑性证明：
   • 光滑性：对于对应于区分幂零轨道（或零轨道）的分量，作者构造了一个从群 $G$ 与特定光滑子概型 $Y$（通过幂零元素中心化子的勒维分解定义）的乘积到该分量的光滑满射态射。通过证明该映射是光滑态射的拉回，确立了该分量的光滑性。
   • 奇异性：对于非区分轨道，作者在分量中构造了一个特定点，并证明了该点处切空间的维数严格大于该分量的维数。这是通过分析轨道、环面、幂零锥和单连通子群的切空间之间的相互作用，并利用 Dynkin 图中“暴露”根的性质来实现的。
4. 拼接与自守形式：几何结果通过泰勒 - 威尔斯 - 基辛拼接法应用于算术情形。作者考虑了酉群上的普通自守形式的希达（Hida）族，并构造了一个全局形变环 $R^{\text{univ}}_S$。

主要贡献与结果

1. 光滑分量的刻画（定理 1.2）：
   本文证明，在假设 $q$ 对 $G$ 是审慎的前提下：

   • $S_{G,O}$ 对应于区分幂零轨道 $C$（或零轨道）的不可约分量 $X_C$ 在基环上是光滑的。
   • 反之，如果 $C$ 是非平凡且非区分的幂零轨道，则分量 $X_C$ 是奇异的。
     这一结果推广了 Bellovin 和 Helm 的先前工作，提供了这些模空间光滑性的完整几何分类。

2. 形变环的正则性：
   通过确立与区分轨道（特别是斯坦伯格表示和离散级数表示）相关的局部形变环的光滑性，本文证实了这些局部形变环的泛纤维是正则局部环。这是拼接论证得以成功的前提条件。

3. 普通自守形式的自由性（定理 1.3）：
   将几何结果应用于全局情形，作者证明了普通自守形式模 $S^{\text{ord}}(U(p^\infty), L/\mathcal{O})^\vee$ 是全局形变环 $R^{\text{univ}}_S[1/l]$ 上的有限局部自由模。

   • 这意味着作用在这些形式上的赫克代数同构于全局形变环（在将 $l$ 反转后）。
   • 关键的是，它确立了具有给定特征零伽罗瓦表示的自守形式的重数在形变环的连通分量上是常数的。

意义与主张
本文声称现代模性提升定理中使用的局部形变环的光滑性提供了严格的几何基础。通过明确识别 Weil-Deligne 模空间中哪些分量是光滑的，该工作为拼接论证中通常做出的正则性假设提供了合理性依据。

对希达族的应用具有重要意义，因为它将重数结果从经典自守形式扩展到了非经典希达族。作者指出，如果特定连通分量上的经典形式的重数为 1，那么几何自由性结果意味着该分量中所有形式（经典和非经典）的重数均为 1。这架起了经典数论与 $p$-adic 族几何之间的桥梁，确保了“重数一”性质在整个族中得以保持。

这项工作并未提出超出确立模自由性以及酉群普通情形下赫克代数与形变环同构这一直接范围之外的新实验应用或未来猜想。它依赖并综合了现有工具（泰勒 - 威尔斯 - 基辛、希达理论）与关于 Weil-Deligne 参数背景下幂零轨道闭包奇异性的新几何见解。