Relative Gieseker's Problem on $F$-Divided Bundles

Basic Information

• Paper ID: 2510.10583
• Title: Relative Gieseker's problem on $F$-divided bundles
• Author: Adrian Langer (Institute of Mathematics, University of Warsaw)
• Classification: math.AG (Algebraic Geometry)
• Publication Date: October 14, 2025
• Paper Link: https://arxiv.org/abs/2510.10583

Abstract

Let $f: X\to Y$ be a surjective morphism between normal projective varieties defined over an algebraically closed field of positive characteristic. This paper proves that if the induced étale fundamental group homomorphism is surjective, then the corresponding $F$-divided fundamental group homomorphism is faithfully flat. Similar results are also established in the isomorphism case. This generalizes and strengthens recent results of X. Sun and L. Zhang, which in turn generalize earlier work of H. Esnault & V. Mehta and I. Biswas, M. Kumar & A. J. Parameswaran. An important new component in the proof is an analogue of the descent theorem of B. Bhatt and P. Scholze in the case of $F$-divided bundles.

Research Background and Motivation

1. Core Problem: This paper studies the relative version of Gieseker's problem, namely the investigation of fundamental group properties of $F$-divided bundles on varieties over positive characteristic fields. This is a profound problem in algebraic geometry, involving the relationship between stratified bundles and $F$-divided bundles.
2. Historical Background:
   • Grothendieck established the Riemann-Hilbert correspondence over the complex numbers, proving the equivalence between topological fundamental group representations and stratified vector bundles
   • In positive characteristic, stratified vector bundles are equivalent to $F$-divided bundles, but analogous topological methods are lacking
   • Gieseker posed fundamental questions about $F$-divided bundles, which Esnault-Mehta resolved in the absolute case
3. Problem Importance:
   • This is a central problem in positive characteristic algebraic geometry, involving arithmetic properties of fundamental groups
   • It is crucial for understanding vector bundles and D-module theory over positive characteristic fields
   • It connects deep relationships between étale fundamental groups and $F$-divided fundamental groups
4. Limitations of Existing Methods: Previous results were mainly restricted to smooth varieties or special cases, lacking a unified approach for general normal varieties.

Core Contributions

1. Main Theorem: For a surjective morphism $f: X \to Y$ between normal projective varieties, if $f_*: \pi_1^{\text{ét}}(X) \to \pi_1^{\text{ét}}(Y)$ is surjective, then $f_*: \pi_1^{F\text{-div}}(X) \to \pi_1^{F\text{-div}}(Y)$ is faithfully flat.
2. Isomorphism Case: Under the assumption that $Y$ is smooth, it is proved that if the étale fundamental group homomorphism is an isomorphism, then the $F$-divided fundamental group homomorphism is also an isomorphism.
3. Geometrically Connected Fibers: For morphisms with geometrically connected fibers, stronger results are given without requiring additional smoothness assumptions.
4. Descent Theorem: A descent theorem for $F$-divided bundles (Theorem 0.4) is established, which is an analogue of the Bhatt-Scholze descent theorem in the case of $F$-divided bundles.

Detailed Methodology

Problem Formulation

Study the properties of $F$-divided fundamental group homomorphisms induced by morphisms between normal projective varieties over positive characteristic fields, particularly faithful flatness and isomorphism properties.

Core Technical Framework

1. Theory of $F$-Divided Bundles

• Definition: An $F$-divided vector bundle is a sequence $\{E_i, \sigma_i\}_{i \geq 0}$, where $E_i$ are vector bundles and $\sigma_i: F_X^* E_{i+1} \to E_i$ are isomorphisms
• Tannaka Duality: The category of $F$-divided bundles is a Tannaka category, giving rise to the $F$-divided fundamental group $\pi_1^{F\text{-div}}(X)$

2. Descent Theorem (Theorem 2.2)

For a proper surjective morphism $f: X \to Y$ with geometrically connected fibers:

• The pullback functor $f^*: \text{Vect}^{\text{perf}}(Y) \to \text{Vect}^{\text{perf}}(X)$ is fully faithful
• Its essential image consists precisely of $F$-divided bundles that are trivial on each geometric fiber

Proof Strategy:

1. Decompose $f$ via Stein factorization as $X \to Z \to Y$, where the second map is a finite universal homeomorphism
2. Establish descent conditions through formal completion and the formal functions theorem
3. Use triviality of $F$-divided bundles on fibers to prove existence of descent

3. Theory of Tamely Ramified Morphisms

• Definition: A finite morphism $f: X \to Y$ is called tamely ramified if it is surjective, the field extension is separable, and the induced étale fundamental group homomorphism is surjective
• Key Lemma: For tamely ramified morphisms, pullback of slope semistable reflexive sheaves preserves stability (Lemma 3.5)

Technical Innovations

1. Unified Treatment: First unified treatment of the relative Gieseker problem in the framework of normal varieties, not restricted to the smooth case.
2. Descent Techniques: Development of descent theory specifically for $F$-divided bundles, providing a new method independent of the Bhatt-Scholze result.
3. Moduli Space Techniques: Clever application of Sun's representation space theory and the Verschiebung map to handle the isomorphism case.
4. Application of Hrushovski's Theorem: Innovative application of Hrushovski's model-theoretic results to geometric problems.

Experimental Setup

As a pure mathematics theoretical paper, this work contains no experiments in the traditional sense, but includes extensive theoretical verification:

Theoretical Verification Framework

1. Constructive Proofs: Verification of theoretical validity through explicit construction of descent objects
2. Counterexample Analysis: Example 2.3 illustrates the precision of theoretical results
3. Consistency Checks: Verification of consistency with known special cases

Technical Tools

1. Stein Factorization: Used for standard decomposition of morphisms
2. Formal Geometry: Handling local-global problems
3. Moduli Space Theory: Sun's representation space construction
4. Fundamental Group Theory: Specialization properties of étale fundamental groups

Main Results

Core Theorems

Theorem 0.2 (Main Result): Let $f: X \to Y$ be a surjective morphism between normal projective varieties over an algebraically closed field of positive characteristic:

1. If $f_*: \pi_1^{\text{ét}}(X) \to \pi_1^{\text{ét}}(Y)$ is surjective, then $f_*: \pi_1^{F\text{-div}}(X) \to \pi_1^{F\text{-div}}(Y)$ is faithfully flat.
2. If $Y$ is smooth and $f_*: \pi_1^{\text{ét}}(X) \to \pi_1^{\text{ét}}(Y)$ is an isomorphism, then $f_*: \pi_1^{F\text{-div}}(X) \to \pi_1^{F\text{-div}}(Y)$ is an isomorphism.

Theorem 0.3 (Geometrically Connected Fibers Case): For a proper surjective morphism with geometrically connected fibers, the $F$-divided fundamental group homomorphism is always faithfully flat.

Technical Results

Theorem 0.4 (Descent Theorem for $F$-Divided Bundles): Let $f: X \to Y$ be a proper surjective morphism between connected Noetherian $F$-finite $\mathbb{F}_p$-schemes with all geometric fibers connected. Then an $F$-divided bundle $E$ on $X$ descends to $Y$ if and only if $E$ is trivial on all geometric fibers of $f$.

Analysis of Results

1. Generality: Results encompass all previous related work as special cases
2. Optimality: Example 2.3 demonstrates the necessity of the conditions
3. Technical Breakthrough: First resolution of the relative Gieseker problem in the normal variety setting

Related Work

Historical Development

1. Grothendieck (1968-1970):
   • Established the theory of stratified sheaves and the Riemann-Hilbert correspondence
   • Proved fundamental Theorem 0.1 in the complex case
2. Gieseker (1975):
   • Posed fundamental questions in the positive characteristic case
   • Established connections between $F$-divided bundles and D-modules
3. Esnault-Mehta (2010):
   • Resolved Gieseker's problem in the absolute case ($Y$ is a point)
   • Proved that simply connected projective manifolds have no nontrivial stratified bundles
4. Biswas-Kumar-Parameswaran (2025):
   • Handled the case of finite tamely ramified morphisms
   • Developed related stability theory
5. Sun-Zhang (2025):
   • Provided partial results for morphisms between smooth varieties
   • Direct predecessor to the present work

Positioning of This Paper's Contribution

This paper surpasses existing work in the following respects:

1. Handles general normal varieties rather than only smooth varieties
2. Provides complete relative version rather than special cases
3. Develops independent technical methods

Conclusions and Discussion

Main Conclusions

1. Theoretical Completeness: This paper essentially completes the resolution of the relative Gieseker problem, establishing precise relationships between étale fundamental groups and $F$-divided fundamental groups.
2. Methodological Innovation: The developed descent theory and moduli space techniques provide new research tools for related problems.
3. Geometric Insight: Reveals the deep structure of fundamental groups in positive characteristic geometry.

Limitations

1. Smoothness Assumption: The isomorphism case still requires smoothness of $Y$, which is a technical limitation.
2. Positive Characteristic Restriction: The methods are essentially dependent on positive characteristic and cannot be directly generalized to characteristic zero.
3. Computational Complexity: Actual computation of $F$-divided fundamental groups remains difficult.

Future Directions

1. Removing Smoothness Assumptions: Seek new methods avoiding the Zariski-Nagata purity theorem
2. Mixed Characteristic Generalization: Explore analogous results in the mixed characteristic case
3. Computational Methods: Develop effective computational methods for $F$-divided fundamental groups
4. Application Extensions: Apply results to other geometric problems

In-Depth Evaluation

Strengths

1. Theoretical Depth: Resolves an important open problem in positive characteristic algebraic geometry with profound theoretical significance.
2. Technical Innovation:
   • The descent theorem for $F$-divided bundles is an important technical breakthrough
   • Skillfully combines multiple deep theories (Hrushovski's theorem, moduli space theory, etc.)
3. Completeness: Provides essentially complete resolution of the problem, covering main cases.
4. Writing Quality: The paper has clear structure, rigorous proofs, and careful handling of technical details.

Weaknesses

1. Technical Assumptions: Some results still require additional technical assumptions (e.g., smoothness of $Y$).
2. Method Limitations: The proof methods are highly dependent on special properties of positive characteristic, limiting generalizability.
3. Computational Aspects: While theoretically profound, the practical applicability of results in actual computation requires further development.

Impact

1. Field Contribution: This is an important advance in positive characteristic algebraic geometry that will influence related research directions.
2. Technical Value: The developed technical methods (particularly the descent theorem) have independent value and may play roles in other problems.
3. Theoretical Completeness: Essentially resolves an important open problem, having milestone significance.

Applicable Scenarios

1. Theoretical Research: Provides foundational tools for studying vector bundles and fundamental groups over positive characteristic fields
2. Arithmetic Geometry: May have applications in arithmetic geometry and arithmetic geometric number theory
3. Representation Theory: Related to Galois representations and local systems theory

References

The paper cites key literature in the field, including:

• Grothendieck's foundational work
• Esnault-Mehta's results in the absolute case
• Bhatt-Scholze's descent theorem
• Sun's representation space theory
• Hrushovski's model-theoretic results

These citations reflect the author's profound understanding of the field's development and skillful command of relevant techniques.