2025-11-16T21:55:12.973766

$F$-divided bundles on normal $F$-finite schemes

Langer, Zhang

In this paper we study $F$-divided bundles on irreducible Noetherian normal $F$-finite $\mathbb{F}_p$-schemes and we show that their Tannakian category is governed by the behaviour at the generic point. In particular, if $U\subset X$ is an open subset of a normal variety defined over an algebraically closed field then the corresponding homomorphism of $F$-divided fundamental groups is faithfully flat. This is analogous to a known fact about the topological fundamental group of an open subset of a normal complex analytic variety. We use this result to show that simply connected, proper, normal varieties in positive characteristic admit no nontrivial $F$-divided bundles. This generalizes an earlier result of H. Esnault and V. Mehta concerning smooth projective varieties, and settles Gieseker's conjecture in a more general setting.

academic

$F$ -divided bundles on normal $F$ -finite schemes

基本信息

论文ID: 2510.10582
标题: $F$ -divided bundles on normal $F$ -finite schemes
作者: Adrian Langer, Lei Zhang
分类: math.AG math.AC math.AT math.NT
发表时间: October 14, 2025 (arXiv预印本)
论文链接: https://arxiv.org/abs/2510.10582

摘要

本文研究不可约Noetherian正规 $F$ -有限 $\mathbb{F}_p$ -概形上的 $F$ -分裂丛，证明其Tannakian范畴由一般点处的行为决定。特别地，如果 $U\subset X$ 是定义在代数闭域上的正规簇的开子集，则相应的 $F$ -分裂基本群同态是忠实平坦的。这类似于正规复解析簇开子集的拓扑基本群的已知事实。利用这一结果，作者证明了正特征下单连通、真、正规簇不存在非平凡的 $F$ -分裂丛，推广了H. Esnault和V. Mehta关于光滑射影簇的早期结果，并在更一般的设定下解决了Gieseker猜想。

研究背景与动机

问题背景

拓扑类比: 对于单分支复解析簇 $X$ 及其真闭解析子集的余集 $U\subset X$ ，存在满射 $\pi_1^{\text{top}}(U)\to\pi_1^{\text{top}}(X)$ 。这一事实在代数几何中有类似的对应。
分层基本群: Grothendieck引入了相干分层层，在有限型概形上形成Tannakian范畴，导致分层基本群 $\pi_1^{\text{strat}}(X)$ 的定义。
正特征类比: 在正特征情况下， $F$ -有限Noetherian概形上的相干分层层等价于 $F$ -分裂丛的范畴。

研究动机

理论完备性: 证明正特征下类似于特征零情况的基本群性质
Gieseker猜想: 解决关于正特征下单连通簇上 $F$ -分裂丛存在性的猜想
技术推广: 将已知的光滑射影簇结果推广到正规真簇

核心贡献

主定理0.1: 证明了对于整的Noetherian几何单分支 $F$ -有限 $\mathbb{F}_p$ -概形 $X$ ，任何开子集 $U\subseteq X$ 的限制 $\Pi_U^{F\text{-div}}\to\Pi_X^{F\text{-div}}$ 是 $O_X(X)^{\text{perf}}$ 上的相对gerbe。
主定理0.2: 证明了正规概形上的Gieseker猜想：如果 $X$ 是正特征完美域上真的几何连通正规概形，且Nori基本群概形的最大étale商消失，则 $X$ 上不存在非平凡 $F$ -分裂丛。
技术创新: 建立了 $F$ -分裂丛的h-下降理论，推广了Bhatt的结果。
结构理论: 发展了正规射影簇上简单 $F$ -分裂丛的结构理论。

方法详解

核心概念定义

$F$ -分裂层

设 $X$ 是局部Noetherian $\mathbb{F}_p$ -代数栈。 $F$ -分裂相干层是序列 $\{E_i,\sigma_i\}_{i\in\mathbb{Z}_{\geq 0}}$ ，其中：

$E_i$ 是 $X$ 上的相干 $\mathcal{O}_X$ -模
$\sigma_i: F_X^*E_{i+1}\to E_i$ 是 $\mathcal{O}_X$ -模同构

Tannakian gerbe

对于连通Noetherian $F$ -有限 $\mathbb{F}_p$ -概形 $X$ ， $F$ -分裂向量丛范畴 $\text{Vect}^{\text{perf}}(X)$ 是 $\text{End}(1_X)=\mathcal{O}_X(X)^{\text{perf}}$ 上的Tannakian范畴，对应于 $F$ -分裂基本gerbe $\Pi_X^{F\text{-div}}$ 。

技术方法

1. h-下降理论

定理2.2 (B. Bhatt): 函子 $\text{Vect}^{\text{perf}}(-)$ 满足局部Noetherian $\mathbb{F}_p$ -概形的h-覆盖的下降性质。

这一结果基于Halpern-Leistner和Preygel关于局部Noetherian导出概形上向量丛h-下降的理论。

2. 正规性与反射性

对于正规局部Noetherian代数栈 $X$ ，定义 $F$ -分裂反射层范畴： $\text{Ref}^{\text{perf}}(X) = \lim\left(\cdots \text{Ref}(X) \xrightarrow{F_X^{[*]}} \text{Ref}(X) \xrightarrow{F_X^{[*]}} \text{Ref}(X)\right)$

引理2.6: 限制 $j^*: \text{Ref}^{\text{perf}}(X)\to\text{Vect}^{\text{perf}}(X_{\text{reg}})$ 给出范畴等价。

3. 一般点行为

引理3.1: 对于Noetherian几何单分支整 $\mathbb{F}_p$ -代数 $R$ 及其分式域 $K$ ，标准映射 $R^{\text{perf}}\to K^{\text{perf}}$ 是同构。

引理3.6: 对于整Noetherian正则 $F$ -有限 $\mathbb{F}_p$ -概形 $X$ 及其一般点 $\eta$ ，限制函子 $\text{Vect}^{\text{perf}}(X)\to\text{Vect}^{\text{perf}}(\eta)$ 是完全忠实的。

证明策略

主定理证明思路

正规化归约: 利用有限泛同胚的性质，将一般情况归约到正规情况
正则轨迹: 考虑正则轨迹 $U=X_{\text{reg}}$ ，利用余维数≥2的性质
完全忠实性: 证明 $\text{Vect}^{\text{perf}}(X)\to\text{Vect}^{\text{perf}}(U)$ 完全忠实
相对gerbe: 应用Tannakian理论中的判别条件