2025-11-12T03:07:30.029100

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

Langer

Let $f: X\to Y$ be a surjective morphism of normal projective varieties defined over an algebraically closed field of positive characteristic. We prove that if the induced map on Ã©tale fundamental groups is surjective then the corresponding map on $F$-divided fundamental groups is faithfully flat. We also prove an analogous result for isomorphisms. This generalizes and strengthens a recent result of X. Sun and L. Zhang \cite{Sun-Zhang2025}, which in turn generalized earlier results of H. Esnault and V. Mehta \cite{Esnault-Mehta2010} and I. Biswas, M. Kumar, and A. J. Parameswaran \cite{Biswas-Parameswaran-Kumar2025}. An important new ingredient in our proof is an analogue of B. Bhatt's and P. Scholze's descent theorem \cite[Theorem 1.3]{Bhatt-Scholze2017} for $F$-divided bundles.

academic

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

基本信息

论文ID: 2510.10583
标题: Relative Gieseker's problem on $F$ -divided bundles
作者: Adrian Langer (华沙大学数学研究所)
分类: math.AG (代数几何)
发表时间: 2025年10月14日
论文链接: https://arxiv.org/abs/2510.10583

摘要

设 $f: X\to Y$ 是定义在正特征代数闭域上的正规射影簇之间的满射态射。本文证明了如果诱导的étale基本群映射是满射，则相应的 $F$ -分裂基本群映射是忠实平坦的。同时也证明了同构情况下的类似结果。这推广并加强了 X. Sun 和 L. Zhang 的最新结果，该结果又推广了 H. Esnault & V. Mehta 以及 I. Biswas, M. Kumar & A. J. Parameswaran 的早期工作。证明中的一个重要新成分是 B. Bhatt 和 P. Scholze 下降定理在 $F$ -分裂丛情况下的类比。

研究背景与动机

核心问题: 本文研究的是相对版本的Gieseker问题，即在正特征域上研究 $F$ -分裂丛的基本群性质。这是代数几何中一个深刻的问题，涉及分层丛（stratified bundles）和 $F$ -分裂丛之间的关系。
历史背景:
- Grothendieck在复数域情况下建立了Riemann-Hilbert对应关系，证明了拓扑基本群表示与分层向量丛的等价性
- 在正特征情况下，分层向量丛等价于 $F$ -分裂丛，但缺乏类似的拓扑方法
- Gieseker提出了关于 $F$ -分裂丛的基本问题，Esnault-Mehta解决了绝对情况
问题重要性:
- 这是正特征代数几何中的核心问题，涉及基本群的算术性质
- 对理解正特征域上的向量丛和D-模理论具有重要意义
- 连接了étale基本群和 $F$ -分裂基本群的深层关系
现有方法局限: 以往的结果主要局限于光滑簇或特殊情况，缺乏处理一般正规簇的统一方法。

核心贡献

主要定理: 证明了对于正规射影簇间的满射 $f: X \to Y$ ，如果 $f_*: \pi_1^{\text{ét}}(X) \to \pi_1^{\text{ét}}(Y)$ 是满射，则 $f_*: \pi_1^{F\text{-div}}(X) \to \pi_1^{F\text{-div}}(Y)$ 是忠实平坦的。
同构情况: 在 $Y$ 光滑的假设下，证明了如果étale基本群映射是同构，则 $F$ -分裂基本群映射也是同构。
几何连通纤维情况: 对于具有几何连通纤维的态射，给出了更强的结果，不需要额外的光滑性假设。
下降定理: 建立了 $F$ -分裂丛的下降定理（定理0.4），这是Bhatt-Scholze下降定理在 $F$ -分裂丛情况下的类比。

方法详解

任务定义

研究正特征域上正规射影簇间态射诱导的 $F$ -分裂基本群映射的性质，特别是忠实平坦性和同构性。

核心技术框架

1. $F$ -分裂丛理论

定义: $F$ -分裂向量丛是序列 $\{E_i, \sigma_i\}_{i \geq 0}$ ，其中 $E_i$ 是向量丛， $\sigma_i: F_X^* E_{i+1} \to E_i$ 是同构
Tannaka对偶: $F$ -分裂丛范畴是Tannaka范畴，给出 $F$ -分裂基本群 $\pi_1^{F\text{-div}}(X)$

2. 下降定理（定理2.2）

对于具有几何连通纤维的proper满射 $f: X \to Y$ ：

拉回函子 $f^*: \text{Vect}^{\text{perf}}(Y) \to \text{Vect}^{\text{perf}}(X)$ 是完全忠实的
其本质像恰好是在每个几何纤维上平凡的 $F$ -分裂丛

证明思路:

利用Stein分解将 $f$ 分解为 $X \to Z \to Y$ ，其中第二个映射是有限泛同胚
通过形式完备化和形式函数定理建立下降条件
利用 $F$ -分裂丛在纤维上的平凡性证明下降的存在性

3. 真分歧态射理论

定义: 有限态射 $f: X \to Y$ 称为真分歧的，如果它是满射、域扩张是可分的，且诱导的étale基本群映射是满射
关键引理: 对于真分歧态射，斜率半稳定反射层的拉回保持稳定性（引理3.5）

技术创新点

统一处理: 首次在正规簇的框架下统一处理相对Gieseker问题，不局限于光滑情况。
下降技术: 发展了专门针对 $F$ -分裂丛的下降理论，这是独立于Bhatt-Scholze结果的新方法。
模空间技术: 巧妙运用Sun的表示空间理论和Verschiebung映射来处理同构情况。
Hrushovski定理应用: 创新性地将Hrushovski的模型论结果应用到几何问题中。

实验设置

作为纯数学理论论文，本文没有传统意义上的"实验"，但包含了丰富的理论验证：

理论验证框架

构造性证明: 通过具体构造下降对象验证理论的有效性
反例分析: 提供例子2.3说明理论结果的精确性
一致性检验: 验证结果与已知特殊情况的一致性

技术工具

Stein分解: 用于态射的标准分解
形式几何: 处理局部-全局问题
模空间理论: Sun的表示空间构造
基本群理论: étale基本群的专门化性质

主要结果

核心定理

定理0.2 (主要结果): 设 $f: X \to Y$ 是正特征代数闭域上正规射影簇间的满射：

如果 $f_*: \pi_1^{\text{ét}}(X) \to \pi_1^{\text{ét}}(Y)$ 是满射，则 $f_*: \pi_1^{F\text{-div}}(X) \to \pi_1^{F\text{-div}}(Y)$ 是忠实平坦的。
如果 $Y$ 光滑且 $f_*: \pi_1^{\text{ét}}(X) \to \pi_1^{\text{ét}}(Y)$ 是同构，则 $f_*: \pi_1^{F\text{-div}}(X) \to \pi_1^{F\text{-div}}(Y)$ 是同构。

定理0.3 (几何连通纤维情况): 对于具有几何连通纤维的proper满射， $F$ -分裂基本群映射总是忠实平坦的。

技术结果

定理0.4 ( $F$ -分裂丛下降定理): 设 $f: X \to Y$ 是连通Noether $F$ -有限 $\mathbb{F}_p$ -概形间的proper满射，且所有几何纤维连通。则 $X$ 上的 $F$ -分裂丛 $E$ 下降到 $Y$ 当且仅当 $E$ 在 $f$ 的所有几何纤维上平凡。