Local monodromy of unit root F-isocrystals from Shimura varieties

Abstract: We generalise a local $p$-adic monodromy theorem of Igusa that studies the monodromy representation associated to the universal elliptic curve around a supersingular point of the modular curve. Let $X$ be a smooth quasi-projective variety over $\mathbb{F}_p$. We set up and prove the analog of Igusa's theorem for overconvergent F-isocrystals on $X$ such that the action of the Frobenius is algebraic, $p$-plain, and semisimple at the closed points of $X$. We study the local monodromy of their unit root sub-objects around a point in $X$ with isoclinic Newton slopes. In particular, our result generalises Igusa's Theorem to overconvergent F-isocrystals arising from Shimura varieties, unconditionally for Shimura varieties of abelian type and conditional on Frobenius semisimplicity for exceptional Shimura varieties where this property is not known yet. In the particular case of Siegel Shimura varieties, we also prove an analogous result for the local monodromy of a point in the boundary of its compactification. As a consequence of our results, we prove a finiteness result for the reduction of the Hecke orbit of abelian varieties over a local field of equicharacteristic.

• The paper generalizes Igusa's local p-adic monodromy theorem to unit root F-isocrystals from Shimura varieties using Tannakian formalism and slope filtration.
• It extends the analysis to both abelian-type and exceptional Shimura varieties, establishing finite inertia index in key Newton strata and boundary reductions.
• The work provides new finiteness results for Hecke orbit reductions and applies log-Dieudonné methods to manage semi-stable and boundary phenomena.

Local Monodromy of Unit Root F-Isocrystals from Shimura Varieties

Overview

This paper (2607.10054) establishes a generalization of Igusa's local $p$-adic monodromy theorem for the universal elliptic curve, extending it to the context of overconvergent $F$-isocrystals arising from Shimura varieties. By leveraging Tannakian formalism, slope filtration of $F$-isocrystals, and properties of monodromy representations, the main results describe the structure of the inertia image for unit root sub-objects in the context of crystalline companions—both for abelian-type and exceptional Shimura varieties. The proofs also offer new finiteness results for reductions of Hecke orbits of abelian varieties, including cases with semi-stable reduction and boundary phenomena in Siegel compactifications.

Main Contributions and Results

Generalization of Igusa's Local Monodromy Theorem

The core theorem addresses the monodromy representation $\rho_x: \Gal(K^{\sep}/K) \to \GL(V)$ associated to a unit root subobject $\mathbb{U}$ of an overconvergent $F$-isocrystal $\mathcal{M}^\dagger$ on a smooth quasi-projective variety $X$ over $\mathbb{F}_p$. The paper proves that if the specialization $x$ in a Newton stratum $F$0 is isoclinic and Frobenius acts semisimply/algebraically/$F$1-plain, then the inertia image is of finite index in the image of $F$2. This result generalizes Igusa's theorem for universal elliptic curves, applying it to the $F$3-power torsion and, more broadly, to objects arising from Shimura varieties.

Extension to Shimura Varieties

By invoking canonical integral models and compatibility results from Kisin, Bakker-Shankar-Tsimerman, and others, the framework is extended to both abelian-type and exceptional Shimura varieties. Assuming Frobenius semisimplicity (known for abelian-type, conditional for exceptional types), the finite-index result for inertia holds for unit root $F$4-isocrystals at basic Newton strata and boundary points of Siegel compactifications. Further, explicit cases are discussed for Siegel, orthogonal, and exceptional Shimura varieties (e.g., those related to $F$5 Hermitian domains).

Boundary and Semi-Stable Reduction Phenomena

The paper develops an analogous statement for points in the boundary of Siegel Shimura compactifications and for abelian varieties with semi-stable reduction—employing log-Dieudonné theory and Raynaud extensions. For ordinary abelian varieties with semi-supersingular reduction, the inertia image remains finite index. This is achieved via filtration analysis of their log $F$6-isocrystals and careful control of monodromy in the Tannakian subcategory generated by the associated crystalline companions.

Finiteness of Reduction of Hecke Orbits

A direct corollary of the monodromy theorems is that the reduction of Hecke orbits of ordinary abelian varieties with supersingular (or semi-supersingular) reduction is finite. This aligns with analogous results in mixed characteristic and further solidifies crystalline monodromy constraints in equicharacteristic local fields.

Technical Approach

Tannakian Formalism and Monodromy Groups

The analysis essentially relies on constructing neutral Tannakian categories generated by $F$7-isocrystals (over either $F$8 or $F$9). The parabolicity theorem for monodromy groups (building on D'Addezio [marcoparabolicity]) shows that the group preserving slope filtration is parabolic—reduction arguments for constant objects then ensure that overconvergent unit root subobjects lie in the Tannakian subcategory.

Slope Filtration and Newton Stratification

The slope filtration and Newton stratification are used to isolate isoclinic loci, where eigenvalues of Frobenius are uniform and semisimple. This is crucial for the eigenvalue analysis, leading to the assertion that unit root subobjects have Frobenius acting by roots of unity—hence the corresponding Galois representation factors through a finite quotient, constraining the inertia image.

Log-Dieudonné and Raynaud Extensions

For boundary points and semi-stable reduction situations, log-Dieudonné theory (Kato-Trihan [kato_trehan]) and Raynaud uniformization are employed. Filtrations induced by 1-motives provide exact sequences whose functorial properties ensure that monodromy is controlled, again leading to finite index for the inertia image.

Companion Theory and Compatibility

The results depend critically on the compatibility of $F$0-adic and $F$1-adic companion objects—building on the Langlands correspondence for isocrystals, Deligne's conjecture, and recent advances by Kisin, Patrikis, Kedlaya, Bakker, et al.—ensuring that semisimplicity and algebraicity criteria transfer across primes and enable the full generalization to Shimura settings.

Strong Results and Contradictory Claims

• Finite index of inertia in unit root monodromy for a broad class of overconvergent $F$2-isocrystals, including mod $F$3 fibers of Shimura varieties.
• Unconditionally true for abelian-type Shimura varieties; conditional on Frobenius semisimplicity for exceptional types.
• Proofs show that Galois representations associated to unit root $F$4-isocrystals in these contexts are ramified to maximal extent, up to finite index.
• Contradicts the naive expectation that $F$5-adic monodromy would behave analogously to $F$6-adic (unramified for $F$7), demonstrating deep structural difference for $F$8-power torsion.
• Finiteness results for Hecke reductions extend the scope of known arithmetic constraints in both characteristic $F$9 and mixed characteristic settings.

Implications and Future Directions

Arithmetic Geometry and Galois Representations

These theorems enhance our understanding of $\rho_x: \Gal(K^{\sep}/K) \to \GL(V)$0-adic monodromy phenomena in the function field case, particularly within the arithmetic and geometric theory of Shimura varieties and Abelian surfaces. Future extensions could involve further study of exceptional Shimura types as Frobenius semisimplicity is resolved, connections to motivic Galois groups, and applications in the context of crystalline companion conjectures.

Geometric Langlands and Integral Models

Given the machinery employed, the results have implications for the geometric Langlands program, especially through the lens of integral canonical models and compatibility of arithmetic local systems. They further refine the interplay between $\rho_x: \Gal(K^{\sep}/K) \to \GL(V)$1-adic Hodge theory, slope filtration, and automorphic phenomena on Shimura varieties.

Structural Control of Torsion and Ramification

From a practical viewpoint, the control over Hecke orbit reductions provides concrete limitations for moduli of Abelian varieties and their reduction types, central to questions about degeneration, compactification, and explicit computation of moduli phenomena in positive characteristic. Further exploration of monodromy via log-crystalline and $\rho_x: \Gal(K^{\sep}/K) \to \GL(V)$2-isocrystals may influence classification of reduction types and boundary behavior for higher-dimensional varieties.

Conclusion

This paper rigorously extends local monodromy theorems in the $\rho_x: \Gal(K^{\sep}/K) \to \GL(V)$3-adic setting to encompass overconvergent $\rho_x: \Gal(K^{\sep}/K) \to \GL(V)$4-isocrystals originating from Shimura varieties, providing structural results about inertia image and ramification. The techniques integrate Tannakian formalism, Newton stratification, companion theory, and log-Dieudonné methods, culminating in finiteness assertions regarding the reduction of Hecke orbits. The implications are both deep and concrete for arithmetic geometry, shedding new light on the intrinsic monodromy behavior of crystalline companions in characteristic $\rho_x: \Gal(K^{\sep}/K) \to \GL(V)$5 and their moduli representations.