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$ -有限スキーム上の $F$ -分裂束

基本情報

論文ID: 2510.10582
タイトル: $F$ -divided bundles on normal $F$ -finite schemes
著者: Adrian Langer, Lei Zhang
分類: math.AG math.AC math.AT math.NT
発表日時: 2025年10月14日（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 基本群スキームの最大エタール商が消滅する場合、 $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 理論の判定条件を適用する

実験設定

理論検証

本論文は純粋数学理論研究であり、数値実験は含まない。検証方法は以下を含む：

構成的証明: 明示的な構成を通じて理論結果を示す
反例分析: 境界情況と反例を分析する
既知結果との比較: Esnault-Mehta 等の既知結果との一貫性検証

技術的ツール

Gabber の alteration 定理: 滑らかな alteration の存在性を保証する
Chow の補題: 真スキーム問題を射影的な場合に帰約する
モジュライ空間理論: Gieseker 安定ベクトル束のモジュライ空間を利用する

主要な結果

核心定理

定理5.3: $X$ を既約 Noetherian 幾何的単分岐 $F$ -有限 $\mathbb{F}_p$ -スキーム、 $\eta$ を $X$ の一般点とする。このとき、誘導される1-射 $\Pi_\eta^{F\text{-div}}\to\Pi_X^{F\text{-div}}$ は体 $\mathcal{O}_X(X)^{\text{perf}}$ 上の相対 gerbe である。

Gieseker 予想の解決

定理7.3: $X$ を正特性完全体 $k$ 上の真幾何的連結正規整スキームとする。ある有理点 $x\in X(k)$ に対して、Nori 基本群スキームの最大エタール商 $\pi_1^{N,\text{ét}}(X,x)$ が消滅する場合、 $X$ 上に非自明な $F$ -分裂束は存在しない。