Decidability of singularities in the Ekedahl--Oort stratification

这是一份关于论文《Ekedahl-Oort 分层中奇点的可判定性》（Decidability of Singularities in the Ekedahl–Oort Stratification）的详细技术总结。该论文由 Jean-Stefan Koskivirta 和 Lorenzo La Porta 撰写。

1. 研究背景与问题 (Problem)

背景：
Ekedahl-Oort (EO) 分层是阿贝尔型 Shimura 簇在素数 $p$ 处特殊纤维上的重要几何结构。它由 Ekedahl 和 Oort 引入，后经多位学者推广。EO 分层是研究模空间几何、构造广义 Hasse 不变量以及扩展伽罗瓦表示理论的关键工具。

核心问题：
EO 分层的闭包（Zariski closures）中经常出现奇点。理解这些奇点的性质（特别是光滑性和正规性）对于算术几何至关重要。
具体而言，对于给定的 EO 层 $S_w$ 及其在分层序下的“下邻” $w'$，考虑由 $S_w \cup S_{w'}$ 构成的初等 $w$-开子概型（elementary $w$-open subscheme）$U(w, w')$。

• 判定性问题：是否存在一个算法，能够仅根据群 $G$ 的根系数据（root datum）和 Frobenius 作用，判定 $U(w, w')$ 是否光滑（或正规）？
• 特征零联系：在 $p$ 分裂（split）的情况下，这些奇点是否由特征零（Characteristic Zero）的几何对象控制？

2. 方法论 (Methodology)

作者基于先前的工作 [KLPR25]，结合 $G$-zip（$G$-拉链）堆栈理论、旗空间（flag spaces）以及组合群论，采用了以下方法：

1. $G$-zip 堆栈与旗空间：

   • 利用 Viehmann-Wedhorn 等人建立的映射 $\zeta: S \to X$，将 Shimura 簇的 EO 分层拉回到 $G$-zip 堆栈 $X$ 的 zip 分层上。
   • 引入旗空间（Flag spaces）$F(P_0)$ 和投影映射 $\pi_{P_0}$。通过研究旗空间中层的像，定义了一个关键映射 $\pi: W \to I_W$（从 Weyl 群到特定子集），该映射编码了分层闭包中的几何信息。

2. 小元素（Small Elements）与算法化：

   • 定义小元素（small elements）：满足 $\ell(\pi(w)) = \ell(w)$ 的 Weyl 群元素。
   • 证明了对于小元素，映射 $\pi$ 可以通过组合算法（基于根系和 Frobenius 作用）显式计算。
   • 利用“指数提升法”（exponent raising method）和 Hasse 不变量的存在性，证明了即使在没有 Hasse 不变量的一般情况下，关于小元素的性质依然成立。

3. 特征零提升（Lifting to Characteristic Zero）：

   • 在 $G$ 为分裂群（split）的假设下，作者构造了特征零（$\mathbb{Q}_p$ 或 $\mathbb{C}$）下的 $G$-zip 堆栈 $X_{\mathbb{C}}$。
   • 通过伽罗瓦上同调和模 $p$ 约化论证，证明了特征 $p$ 下的光滑性条件与特征零堆栈 $X_{\mathbb{C}}$ 上的几何性质（如 $w$-有界性和分离典范覆盖）是等价的。

3. 主要贡献与结果 (Key Contributions & Results)

A. 光滑性判定算法 (Theorem A)

作者提出了一个有效算法，用于判定任意初等 $w$-开子概型 $U(w, w')$ 是否光滑（等价于正规）。

• 判定条件：$U(w, w')$ 光滑当且仅当：
  1. $U(w, w')$ 是 $w$-有界的（$w$-bounded），即 $P_{w'} \subseteq P_w$。
  2. $w'$ 不属于 $\pi(\Gamma^{\text{sm}}_{I_w}(w) \setminus \{w'\})$。其中 $\Gamma^{\text{sm}}$ 表示小下邻集合。
• 可计算性：由于映射 $\pi$ 在小元素上是可计算的，且 $w$-有界性可以通过根系类型直接检查，因此整个判定过程是算法化的。

B. 与素数 $p$ 的无关性 (Theorem B)

• 如果两个奇素数 $p$ 和 $\ell$ 都是好约化素数，且它们诱导的 Frobenius 作用在基于根系 $\Phi$ 上是相同的（即 $\sigma_p = \sigma_\ell$），那么 $U(w, w')$ 在模 $p$ 和模 $\ell$ 下的光滑性是等价的。
• 这意味着 EO 分层奇点的存在性完全由 Frobenius 在根系上的作用决定，而与具体的素数 $p$ 无关（只要 Frobenius 作用相同）。

C. 特征零控制 (Theorem D)

• 当 $G$ 在 $\mathbb{F}_p$ 上分裂时，EO 分层中的奇点由特征零对象 $X_{\mathbb{C}}$ 控制。
• 等价性：$U(w, w')$ 在特征 $p$ 下光滑 $\iff$ 对应的特征零子堆栈 $U_{\mathbb{C}}(w, w')$ 是 $w$-有界的且 admits a separating canonical cover（ admits 分离典范覆盖）。
• 这允许使用复几何（如复分析、微分几何）的工具来研究正特征下的算术几何问题。

D. 具体应用：酉 Shimura 簇 (Theorem C)

作者将算法应用于签名 $(r, s)$ 的酉 Shimura 簇（对应 $G=GL_n$）中长度为 2 的层。

• 给出了 $U_i$ 光滑的充要条件，完全取决于 $\gcd(r, s)$ 和 $s$ 在模 $n$ 下的逆元 $m = \text{inv}_n(s)$。
  • 若 $\gcd(r, s) > 3$，则不光滑。
  • 若 $\gcd(r, s) \in \{2, 3\}$，则光滑。
  • 若 $\gcd(r, s) = 1$，则光滑性取决于 $m$ 与 $n/2$ 的大小关系。

E. 特征零中的广义 Hasse 不变量 (Theorem E)

• 研究了特征零堆栈 $X_{\mathbb{C}}$ 上广义 Hasse 不变量的存在性。
• 给出了存在性判据：存在权为 $\lambda$ 的 Hasse 不变量，当且仅当存在 $\lambda_0$ 使得 $\lambda = w\lambda_0 - z\lambda_0$ 且对所有 $\alpha \in E_w$ 有 $\langle \lambda_0, \alpha^\vee \rangle < 0$。
• 反直觉发现：在特征零中，平凡线束（$\lambda=0$）有时也 admits Hasse 不变量（例如在 $GL_n$ 且签名 $(n-1, 1)$ 时），这与特征 $p$ 的情况不同。

4. 意义与影响 (Significance)

1. 解决判定性问题：首次为 EO 分层闭包的光滑性提供了通用的、基于根系的算法判定方法，解决了长期以来关于如何检测这些奇点的难题。
2. 统一视角：建立了正特征算术几何与特征零复几何之间的深刻联系。证明了在分裂情形下，正特征的奇点行为完全由特征零的几何结构决定，为利用复几何工具研究 Shimura 簇提供了理论基础。
3. Hasse 不变量的推广：将 Hasse 不变量的理论从特征 $p$ 推广到特征零，揭示了特征零中 Hasse 不变量存在的更广泛可能性（包括平凡权重的情况）。
4. 具体计算能力：通过 $GL_n$ 和酉群的具体案例，展示了该理论在实际计算中的应用，能够精确描述不同签名下 EO 分层的奇点分布。

总结

该论文通过引入“小元素”概念和特征零提升技术，成功地将 Ekedahl-Oort 分层中奇点的判定问题转化为可计算的组合群论问题，并揭示了其与特征零几何的内在联系。这不仅为算术几何中的模空间研究提供了强有力的计算工具，也深化了对 Shimura 簇特殊纤维几何结构的理解。