Notes on isocrystals
Cohomology theories for varieties over a finite field \(k\) of characteristic \(p\) play a crucial role in arithmetic geometry. For example, the Weil conjectures were proved by developing cohomological machinery for such varieties. There are two ``flavors of cohomology theories for such varieties: \(p\)-adic, and \(\ell\)-adic for \(\ell \neq p\). Grothendieck introduced \(\ell\)-adic étale cohomology in 1960 in order to solve the Weil conjectures [\textit{A. Grothendieck}, in: Proc. Int. Congr. Math. 1958, 103--118 (1960; Zbl 0119.36902)]. The theory quickly reached maturity, and Deligne completed a proof of the Weil conjectures using \(\ell\)-adic étale cohomology in [\textit{P. Deligne}, Publ. Math., Inst. Hautes Étud. Sci. 43, 273--307 (1973; Zbl 0287.14001)]. The \(p\)-adic theory slightly predates the \(\ell\)-adic one: Dwork gave the first proof of the rationality of the zeta function, and his proof made use of \(p\)-adic methods that can now be understood in cohomological terms [\textit{B. Dwork}, Am. J. Math. 82, 631--648 (1960; Zbl 0173.48501)]. But the theory has been slower to develop; a complete \(p\)-adic proof of the Weil conjectures was not completed until 2006 [\textit{K. S. Kedlaya}, Compos. Math. 142, No. 6, 1426--1450 (2006; Zbl 1119.14014)]. However, \(p\)-adic cohomological techniques are now reaching a stage of maturity in which they can even be used to prove results that likely cannot be proved using \(\ell\)-adic methods. In this context, the paper under review serves an important role in the mathematical literature: it is a very readable introduction to the theory of convergent and overconvergent \(F\)-isocrystals, key objects appearing in \(p\)-adic cohomology that are analogous to \(\ell\)-adic étale local systems (ie, lisse \(\ell\)-adic sheaves). The paper begins with accessible definitions of isocrystals and then proceeds to collect numerous statements of many important and foundational results about isocrystals. The paper also includes expositions of the theories of slopes and weights (the former of which has no direct \(\ell\)-adic analog). The relevant references for these results are often scattered in papers by many authors and spanning several decades, and often involve long and very technical proofs, so this succinct consolidation is very welcome development for those approaching \(p\)-adic cohomology de novo. Readers interested in working with isocrystals are encouraged to read this paper for details.
- Image directe supérieure et unipotence
- Descente étale des F-isocristaux surconvergents et rationalité des fonctions L de schémas abéliens
- Purity for overconvergence
- scientific article; zbMATH DE number 596339
- scientific article; zbMATH DE number 4042062
- scientific article; zbMATH DE number 4027649
- Devissage of the \(F\)-complexes of arithmetic \(\mathcal D\)-modules in overconvergent \(F\)-isocrystals
- scientific article; zbMATH DE number 1270364
- scientific article; zbMATH DE number 938728
- Some notes on Tsuzuki's full faithfulness conjecture
- $\mathcal{D}$-modules arithmétiques surholonomes
- F-isocrystals and their monodromy groups
- L-functions and monodromy: four lectures on Weil II
- \(L\)-functions associated to overconvergent \(F\)-isocrystals
- \(p\)-adic cohomology
- p-adic differential equations
- A p-adic local monodromy theorem
- A construction of covers of arithmetic schemes
- A Lefschetz theorem for overconvergent isocrystals with Frobenius structure
- A simple proof of Dieudonné-Manin classification theorem
- An improvement of de Jong-Oort's purity theorem
- Analogue \(p\)-adique du théorème de Turrittin et le théorème de la monodromie \(p\)-adique.
- AROUND THE NEARBY CYCLE FUNCTOR FOR ARITHMETIC -MODULES
- Barsotti-Tate groups and crystals
- Bertini theorems over finite fields
- Bessel functions as p-adic functions of the argument
- Cohomological descent of rigid cohomology for proper coverings
- Cohérence sur et irrégularité des isocristaux surconvergents de rang 1
- Constancy of Newton polygons of \(F\)-isocrystals on abelian varieties and isotriviality of families of curves
- Constructible isocrystals
- Convergence polygons for connections on nonarchimedean curves
- Corrigendum: Local and global structure of connections on nonarchimedean curves
- Critères de platitude et de projectivité. Techniques de platification d'un module. (Criterial of flatness and projectivity. Technics of flatification of a module.)
- Crystalline boundedness principle
- Crystalline fundamental groups. I: Isocrystals on log crystalline site and log convergent site
- Curves and vectorial fibers in p-adic Hodge theory. With a preface by Pierre Colmez
- Cut-by-curves criterion for the log extendability of overconvergent isocrystals
- Cut-by-curves criterion for the overconvergence of \(p\)-adic differential equations
- Descente étale des F-isocristaux surconvergents et rationalité des fonctions L de schémas abéliens
- Drinfeld shtukas and Langlands correspondence.
- Dwork's conjecture on unit root zeta functions
- Errata to ``Good formal structures for flat meromorphic connections. I: Surfaces.
- Estimates for p-adic valuations of Hecke operator eigenvalues
- F-isocrystals and de Rham cohomology. II: Convergent isocrystals
- Finite local monodromy of overconvergent unit-root F -isocrystals on a curve
- Finiteness of rigid cohomology with coefficients
- Finiteness theorems for the cohomology of an overconvergent isocrystal on a curve
- Finiteness theorems in geometric classfield theory. (With an appendix by Kenneth A. Ribet)
- Formal cohomology. I
- Fourier transformat, constants of the functional equations and Weil conjecture
- Fourier transforms and p-adic ‘Weil II’
- Frobenius modules and de Jong's theorem
- Full faithfulness for overconvergent F-de Rham-Witt connections
- Geometric non-vanishing
- Good formal structures for flat meromorphic connections. II: Excellent schemes
- Hasse-Arf filtrations and \(p\)-adic monodromy.
- Homomorphisms of Barsotti-Tate groups and crystals in positive characteristic. -- Erratum
- scientific article; zbMATH DE number 1637291 (Why is no real title available?)
- scientific article; zbMATH DE number 6479635 (Why is no real title available?)
- scientific article; zbMATH DE number 2127986 (Why is no real title available?)
- scientific article; zbMATH DE number 2127989 (Why is no real title available?)
- scientific article; zbMATH DE number 3857279 (Why is no real title available?)
- scientific article; zbMATH DE number 4202458 (Why is no real title available?)
- scientific article; zbMATH DE number 5355192 (Why is no real title available?)
- scientific article; zbMATH DE number 4042062 (Why is no real title available?)
- scientific article; zbMATH DE number 3663302 (Why is no real title available?)
- scientific article; zbMATH DE number 3554402 (Why is no real title available?)
- scientific article; zbMATH DE number 1765814 (Why is no real title available?)
- Langlands correspondence for isocrystals and the existence of crystalline companions for curves
- Langlands program for \(p\)-adic coefficients and the petits camarades conjecture
- Liftings of smooth algebras and of their morphisms
- LOCAL MONODROMY OF p-ADIC DIFFERENTIAL EQUATIONS: AN OVERVIEW
- Local-to-global extensions of representations of fundamental groups
- Monodromy and irreducibility of leaves
- More étale covers of affine spaces in positive characteristic
- Morphisms of F-isocrystals and the finite monodromy theorem for unit-root F-isocrystals.
- On a conjecture of Deligne
- On logarithmic extension of overconvergent isocrystals
- On the finiteness of Q-extensions generated by traces of the Frobenius in finite characteristic
- Overholonomicity of overconvergent \(F\)-isocrystals over smooth varieties
- Product formula forp-adic epsilon factors
- Purity for overconvergence
- Purity of the stratification by Newton polygons
- Relative log convergent cohomology and relative rigid cohomology II
- Semistable reduction for overconvergent F-isocrystals I: Unipotence and logarithmic extensions
- Semistable reduction for overconvergent F-isocrystals, II: A valuation-theoretic approach
- Semistable reduction for overconvergent \(F\)-isocrystals on a curve
- Semistable reduction for overconvergent F-isocrystals. IV: Local semistable reduction at nonmonomial valuations
- Semistable reduction for overconvergentF-isocrystals, III: Local semistable reduction at monomial valuations
- Shutkas for reductive groups and global Langlands parametrization
- Slope filtrations for relative Frobenius
- Slope filtrations revisited
- Slopes of indecomposable \(F\)-isocrystals
- Smoothness, semi-stability and alterations
- Solutions d'équations à coefficients dans un anneau hensélien
- Some notes on Tsuzuki's full faithfulness conjecture
- The monodromy groups of lisse sheaves and overconvergent F-isocrystals
- THE THEORY OF COMMUTATIVE FORMAL GROUPS OVER FIELDS OF FINITE CHARACTERISTIC
- Theory of weights in p-adic cohomology
- Vector bundles on curves and p-adic Hodge theory
- Survey on some aspects of Lefschetz theorems in algebraic geometry
- On the pro-semisimple completion of the fundamental group of a smooth variety over a finite field
- Constructible isocrystals
- Minimal slope conjecture of \(F\)-isocrystals
- Lifting of abelian schemes, \(F\)-isocrystals and \(L\)-functions
- Fourier transforms and p-adic ‘Weil II’
- scientific article; zbMATH DE number 3961963 (Why is no real title available?)
- scientific article; zbMATH DE number 938725 (Why is no real title available?)
- Etale and crystalline companions, I
- The monodromy of unit-root F-isocrystals with geometric origin
- Rank 2 local systems and abelian varieties. II
- Rigid \(\tau\)-crystals
- Perfect points of abelian varieties
- Parabolicity conjecture of \(F\)-isocrystals
- Specialization of Néron-Severi groups in positive characteristic
- Slopes of F-isocrystals over abelian varieties
- Drinfeld's lemma for F-isocrystals, II: Tannakian approach
- Variations on a Tannakian Cebotarev density theorem
- On the rationality of algebraic monodromy groups of compatible systems
- On locally analytic vectors of the completed cohomology of modular curves. II.
This page was built for publication: Notes on isocrystals
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2127208)
