Rigid connections and F-isocrystals

DOI10.4310/ACTA.2020.V225.N1.A2MaRDI QIDQ2663753zbMATH OpenOpenAlexFDO

Authors Hélène Esnault, Michael Groechenig

Publication date 19 April 2021

Published in Acta Mathematica (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1707.00752

zbMATH Keywords

\(p\)-curvature\(p\)-curvature conjectureflat connectionisocrystalnon-abelian Hodge theoryrigid connection

Mathematics Subject Classification ID

(p)-adic cohomology, crystalline cohomology (14F30) Rigid analytic geometry (14G22) Vector bundles on curves and their moduli (14H60)

Abstract: An irreducible integrable connection $(E,abla)$ on a smooth projective complex variety $X$ is called rigid if it gives rise to an isolated point of the corresponding moduli space $mathcal{M}_{dR}(X)$. According to Simpson's motivicity conjecture, irreducible rigid flat connections are of geometric origin, that is, arise as subquotients of a Gauss-Manin connection of a family of smooth projective varieties defined on an open dense subvariety of $X$. In this article we study mod $p$ reductions of irreducible rigid connections and establish results which confirm Simpson's prediction. In particular, for large $p$, we prove that $p$-curvatures of mod $p$ reductions of irreducible rigid flat connections are nilpotent, and building on this result, we construct an $F$-isocrystalline realization for {irreducible} rigid flat connections. More precisely, we prove that there exist smooth models $X_R$ and $(E_R,abl{a}_R)$ of $X$ and $(E,abla)$, over a finite type ring $R$, such that for every Witt ring $W(k)$ of a finite field $k$ and every homomorphism $RoW(k)$, the $p$-adic completion of the base change $(widehat{E}_{W(k)},widehat{abla}_{W(k)})$ on $widehat{X}_{W(k)}$ represents an $F$-isocrystal. Subsequently we show that {irreducible} rigid flat connections with vanishing $p$-curvatures are unitary. This allows us to prove new cases of the Grothendieck--Katz $p$-curvature conjecture. We also prove the existence of a complete companion correspondence for $F$-isocrystals stemming from irreducible cohomologically rigid connections.

Review text

The primary objects to study in the paper are irreducible \emph{rigid} rank~\(r\) flat connections \((E, \nabla)\) with a \emph{torsion} determinant line bundle \(L\), over a smooth projective variety \(X/\mathbb{C}\). \textit{C. T. Simpson} [Publ. Math., Inst. Hautes Étud. Sci. 79, 47--129 (1994; Zbl 0891.14005)] conjectured that such connections are \emph{of geometric origin}, meaning that they are subquotients of Gauß-Manin connections of a family of smooth projective varieties defined on an open dense subvariety of \(X\). Moreover, it's known that Gauß-Manin connections in characteristic \(p\) have nilpotent \(p\)-curvatures. So, Simpson's conjecture predicts that mod-\(p\) reductions of rigid connections have nilpotent \(p\)-curvatures. The first main result of this paper confirms this expectation for \(p\) sufficiently large. Based on the first result, the authors constructed \(F\)-isocrystalline realizations of such rigid connections. That is, they showed that there is a finite type \(\mathbb{Z}\)-scheme \(S\) over which \((X, (E, \nabla))\) has a model \((X_S, (E_S, \nabla_S))\), such that for all \(W(k)\)-points of \(S\), where \(k\) is a finite field, the \(p\)-adic completion of the base change \((\widehat{E}_{W(k)}, \widehat{\nabla}_{W(k)}))\) on \(\widehat{X}_{W(k)}\) defines a crystal on \(X_k/W(k)\) and the isocrystal \((\widehat{E}_{W(k)}, \widehat{\nabla}_{W(k)})) \otimes \mathbb{Q}\) is indeed an \(F\)-isocrystal after a base change to a finite field extension. There is a crystalline representation associated the constructed \(F\)-isocrystal, whose properties were also studied. Proofs for those two main results rely on choices of arithmetic models \((X_S/S, L_S)\) of \((X/\mathbb{C}, L)\) (Lemma~3.1, Prop.~3.3, Prop.~4.10), and the fact that there are only finite number of isomorphism classes of rigid connections for fixed \(r\) and \(L\). An indispensable tool used in the proof of the second main theorem is the Higgs-de~Rham flow developed in [\textit{G. Lan} et al., J. Eur. Math. Soc. (JEMS) 21, No. 10, 3053--3112 (2019; Zbl 1444.14048)]. Finally, they showed that if there is an \(S\)-model \((X_S, (E_S, \nabla_S))\) of \((X, (E,\nabla))\) for a finite type \(\mathbb{Z}\)-scheme \(S\), satisfying that for each closed point \(s \in S\), \((E_s, \nabla_s)\) has \emph{vanishing} \(p\)-curvature, then \((E, \nabla)\) has \emph{unitary monodromy}. The proof is based on the study of the representation previously mentioned. This result can be seen as one step towards the understanding of the Grothendieck-Katz \(p\)-curvature conjecture. A closely related paper to the one under review is~[\textit{H. Esnault} and \textit{M. Groechenig}, Sel. Math., New Ser. 24, No. 5, 4279--4292 (2018; Zbl 1408.14037)], where another conjecture from [\textit{C. T. Simpson}, Publ. Math., Inst. Hautes Étud. Sci. 79, 47--129 (1994; Zbl 0891.14005)] was proved. Indeed, the result there was originally proved in a preprint version of the current one, proved as a consequence of the second main result here, together with the theory of \(p\)-to-\(\ell\)-companions [\textit{T. Abe} and \textit{H. Esnault}, Ann. Sci. Éc. Norm. Supér. (4) 52, No. 5, 1243--1264 (2019; Zbl 1440.14097)]. In~[\textit{H. Esnault} and \textit{M. Groechenig}, Sel. Math., New Ser. 24, No. 5, 4279--4292 (2018; Zbl 1408.14037)], a shorter proof was given. Moreover, there the result was proved for \emph{quasi-project} varieties. There are still questions left open, e.g., if the first result holds for small primes \(p\).

Recommendations

• Rigidity and Frobenius structure
• Integrable connections and Galois representations
• The rank two \(p\)-curvature conjecture on generic curves
• D-modules and finite monodromy
• scientific article; zbMATH DE number 2128067

Cited in

(11)

• Arithmetic representations of fundamental groups. II: Finiteness
• Non-Archimedean geometry and applications. Abstracts from the workshop held January 30 -- February 5, 2022
• 𝐺-cohomologically rigid local systems are integral
• Hitchin map for the moduli space of \(\Lambda \)-modules in positive characteristic
• On the physical rigidity of Frenkel-Gross connection
• Integrality of the Betti moduli space
• Constructing abelian varieties from rank 2 Galois representations
• On the spectral variety for rank two Higgs bundles
• Crystallinity of rigid flat connections revisited
• Constructing parabolic non-abelian Hodge correspondence in positive characteristic using parabolic bases
• Arithmetic geometry. Abstracts from the workshop held July 14--19, 2024

This page was built for publication: Rigid connections and \(F\)-isocrystals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2663753)