Relative Gieseker's problem on $F$-divided bundles

技术摘要：关于 $F$-分层丛的相对 Gieseker 问题

问题陈述
本文探讨了正特征情形下，基本群在簇的态射下的行为，特别关注上同调基本群（$\pi_1^{\text{ét}}$）与 $F$-分层基本群（$\pi_1^{\text{F-div}}$）之间的关系。在特征为零的情况下，Grothendieck 已经确立：对于正向连接方案的态射 $f: X \to Y$，上同调基本群的满射性（或同构）意味着层化基本群（stratified fundamental groups）的忠实平坦性（或同构）。

在正特征情形下，层化层（stratified sheaves）等价于 $F$-分层丛（即由通过 Frobenius 拉回相关的向量丛组成的序列）。核心问题被称为 Gieseker 问题，即：如果 $f: X \to Y$ 是代数闭域上正规射影簇的满射，那么 $\pi_1^{\text{ét}}(X) \to \pi_1^{\text{ét}}(Y)$ 的满射性是否蕴含 $f_*: \pi_1^{\text{F-div}}(X) \to \pi_1^{\text{F-div}}(Y)$ 是忠实平坦的？此外，上同调基本群的同构是否蕴含 $F$-分层基本群的同构？

Esnault 和 Mehta [EM10] 以及 Biswas, Kumar, 和 Parameswaran [BKP25] 的先前研究处理了绝对情形或特定的有限态射，通常需要光滑性假设。Sun 和 Zhang [SZ25] 最近将这些结果推广到了正规簇，但依赖于涉及目标 $Y$ 光滑性的复杂证明。本文旨在推广并加强这些结果，尽可能移除不必要的光滑性假设，并提供一个统一的框架。

方法论
证明策略依赖于 Tannakian 对偶性。由于 $F$-分层丛的范畴 $\text{Vect}^{\text{perf}}(X)$ 是一个 Tannakian 范畴，诱导同态的性质等价于拉回函子 $f^*: \text{Vect}^{\text{perf}}(Y) \to \text{Vect}^{\text{perf}}(X)$ 的性质。具体而言：

1. 忠实平坦性（Faithful Flatness）： 要求 $f^*$ 是完全忠实的，且其本质像（essential image）对子对象封闭。
2. 同构（Isomorphism）： 要求 $f^*$ 是完全忠实的且本质上满射的。

本文采用了以下关键技术工具：

• $F$-分层丛的下降定理： 作者证明了专门针对 $F$-分层丛的 Bhatt 和 Scholze [BS17] 下降定理的类似形式。这是核心技术创新。它确立了：当 $f$ 具有几何连通纤维时，一个 $F$-分层丛在 $X$ 上可下降到 $Y$ 的充要条件是它在 $f$ 的所有几何纤维上是平凡的。与 Bhatt-Scholze 结果不同（后者允许在有限纯非分离映射后下降），该结果为整个丛序列提供了单一的下降映射。
• Stein 分解（Stein Factorization）： 态射 $f$ 被分解为一个具有几何连通纤维的部分和一个有限普遍同胚部分。后者诱导了一个范畴等价（引理 1.3），从而将问题简化为 $f$ 具有几何连通纤维的情形。
• 真正分歧态射（Genuinely Ramified Morphisms）： 对于同构情形，作者利用了“真正分歧”态射理论（由 [PS10] 和 [BKP25] 引入）。他们将关于斜率稳定性以及反射层在拉回下的行为的论证适配到了正规簇的情形中。
• 表示方案与模空间（Representation Schemes and Moduli）： 为了处理本质满射性（同构情形），本文利用了 X. Sun 对正特征下 Simpson 表示方案的推广 [Sun19]。这涉及构造具有数值消失 Chern 类别的带框架的 Gieseker 半稳定向量丛的模空间。
• Hrushovski 定理： 证明本质满射性依赖于 Hrushovski 关于有理映射周期点的定理 [Hru04]。通过将情况扩展到有限生成基上的族，并分析 Frobenius 态射在表示方案上的作用，作者表明具有特定 Frobenius 性质的稳定丛是稠密的。这使得构造必要的数据集成为可能。

主要贡献与结果

1. 下降定理 (Theorem 0.4 / Theorem 2.2)：
   本文证明了对于具有几何连由纤维的连通 Noetherian $F$-有限方案的紧致满射 $f: X \to Y$，一个 $F$-分层丛在 $X$ 上可下降到 $Y$ 的充要条件是它在每个几何纤维上都是平凡的。这一结果独立于 Bhatt-Scholze 定理，并且对于后续应用至关重要。

2. 忠实平坦性 (Theorem 0.3 和 Theorem 3.8)：

   • Theorem 0.3： 若 $f: X \to Y$ 是具有几何连通纤维的紧致满射，则 $f_*: \pi_1^{\text{F-div}}(X) \to \pi_1^{\text{F-div}}(Y)$ 是忠实平坦的。只要纤维是几何连通的，该结果无需假设 $Y$ 是光滑的或 $X$ 是正规的。
   • Theorem 3.8： 对于 $Y$ 为光滑的正规射影簇且 $f_*: \pi_1^{\text{ét}}(X) \to \pi_1^{\text{ét}}(Y)$ 满射的情况，诱导的 $F$-分层基本群映射是忠实平坦的。这通过移除 $f$ 必须是有限态射的要求，推广了先前的结果。

3. 同构 (Theorem 0.2 和 Theorem 3.11)：

   • Theorem 0.2： 若 $X$ 和 $Y$ 是正规射影簇，$Y$ 是光滑的，且 $f_*: \pi_1^{\text{ét}}(X) \to \pi_1^{\text{ét}}(Y)$ 是同构，则 $f_*: \pi_1^{\text{F-div}}(X) \to \pi_1^{\text{F-div}}(Y)$ 是同构。
   • Theorem 3.11： 在增加假设 $f_*\mathcal{O}_X = \mathcal{O}_Y$（这蕴含几何连通纤维）的情况下，上同调基本群的同构蕴含 $F$-分层基本群的同构。
   • 本文指出，由于在处理一般正规簇的扩展（spreading out）过程中的上同调基本群行为方面存在局限性，以及依赖于现有真正分歧态射证明中的纯度定理，目前 $Y$ 的光滑性对于同构部分是必不可少的。

4. 对先前工作的推广：
   结果推广并加强了 Sun 和 Zhang [SZ25] 最近的工作，而后者又推广了 Esnault-Mehta [EM10] 和 Biswas-Kumar-Parameswaran [BKP25]。本文通过使用新的下降定理，为忠实平坦性情形提供了一个更直接的证明，避免了 [SZ25] 中更为复杂的论证。

意义与主张
本文声称为正规射影簇背景下的 $F$-分层丛的相对 Gieseker 问题提供了确定性的回答，但在同构情形下受限于目标簇的光滑性。其主要意义在于：

• 下降定理： 作者将针对 $F$-分层丛的 Bhatt-Scholze 下降定理的类似形式作为一项具有独立价值的结果提出，并指出该结果克服了直接应用于整个丛序列时原定理的局限性。
• 移除光滑性假设： 对于忠实平坦性结果，本文通过依赖于纤维的几何连通性，成功移除了 $f$ 必须为有限态射或 $X$ 必须为光滑的假设。
• 统一性： 该工作统一了特征为零下的层化层与正特征下的 $F$-分层丛的处理方式，确认了在适当条件下，上同调基本群与“微分”（层化/ $F$-分层）基本群之间的结构性关系在正特征下依然保持。

作者明确指出，$Y$ 在同构定理中的光滑性是目前证明技术（特别是依赖于 [BKP25] 和 [SZ25] 关于真正分歧情形的处理）的局限性，而非该结果本身已知的必然要求。他们还指出，Theorem 0.2 第二部分的证明依赖于 Hrushovski 定理以及隐藏在 Sun 的表示方案中的半稳定层族的有界性。