The differential Galois theory of regular singular p-adic differential equations

DOI10.1007/BF01444211MaRDI QIDQ1914732zbMATH OpenFDO

Authors Richard Crew

Publication date 9 July 1996

Published in Mathematische Annalen (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/165433

zbMATH Keywords

overconvergent isocrystalsTannakian categoriestransfer theorem for regular singular \(p\)-adic different equations

Mathematics Subject Classification ID

(p)-adic differential equations (12H25) (p)-adic cohomology, crystalline cohomology (14F30) Monodromy; relations with differential equations and (D)-modules (complex-analytic aspects) (32S40)

Review text

Let \(k\) be a perfect field of characteristic \(p>0\), \(X\) a smooth curve over \(k\) and suppose that there is a lifting \(X_K\) of \(X\) to an algebraic curve over a field \(K\) of characteristic zero. Let \(M\) be a locally free sheaf with connection on \(X_K\) satisfying some convergence condition (namely it is ``soluble in generic disks). Then, by restriction to strict neighborhoods of a formally smooth lifting of \(X\), \(M\) defines an ``overconvergent isocrystal \(M^\dagger\) on \(X\). If \(X_K\) has a \(K\)-rational point \(x\), the category of overconvergent isocrystals and the category of locally free sheaves on \(X_K\) with connection are neutral Tannakian categories. In both situations, the fiber functor associated to \(x\) restricted to the smallest tensor subcategory containing \(M\) (resp. \(M^\dagger\)) enables to define the ``monodromy group \(\text{DGal} (M)\) (resp. \(\text{DGal} (M^\dagger)\)). The main result of the paper is that if \(M^\dagger\) is regular, with \(p\)-adic integers exponents two of which do not differ by a \(p\)-adic Liouville number, then \(\text{DGal} (M)\) and \(\text{DGAL} (M^\dagger)\) are isomorphic. As applications, first the unicity, up to homothety, of the Frobenius structure for irreducible \(F\)-isocrystals is shown, secondly a comparison result between monodromy groups of some isocrystals arising from geometry (Gauss-Manin connections) and corresponding \(\ell\)-adic monodromy groups is established. Proofs are based on the so-called ``transfer theorem for regular singular \(p\)-adic differential equations. The author gives two conditions for a locally free sheaf to be overconvergent. Let us point out that, at least over a curve, the second one is implied by the first one.

Recommendations

• Exponents of the \(p\)-adic monodromy and Frobenius structure for differential equations.
• Finite local monodromy of overconvergent unit-root F -isocrystals on a curve
• On logarithmic extension of overconvergent isocrystals
• Descent of isocrystals and \({\mathcal D}^\dag\)-modules

Cites work

• F-isocrystals and their monodromy groups
• Exponential Sums and Differential Equations. (AM-124)
• Formal-algebraic and rigid-analytic geometry
• scientific article; zbMATH DE number 3125399 (Why is no real title available?)
• scientific article; zbMATH DE number 3749168 (Why is no real title available?)
• scientific article; zbMATH DE number 176627 (Why is no real title available?)
• scientific article; zbMATH DE number 591029 (Why is no real title available?)
• La conjecture de Weil. II
• On the calculation of some differential Galois groups
• p-adic hypergeometric functions and their cohomology

Cited in

(7)

• scientific article; zbMATH DE number 4212190 (Why is no real title available?)
• On the monodromy theorem for the family of p-adic differential equations
• The behaviour of the differential Galois group on the generic and special fibres: a Tannakian approach
• On \(p\)-adic differential equations on semistable varieties
• scientific article; zbMATH DE number 2101999 (Why is no real title available?)
• On p-adic differential equations on semistable varieties. II
• Rigidity and Frobenius structure

This page was built for publication: The differential Galois theory of regular singular \(p\)-adic differential equations

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