Frobenius gauges and a new theory of p-torsion sheaves in characteristic p

DOI10.25537/DM.2021V26.65-101MaRDI QIDQ2656974zbMATH OpenFDO

Authors Jean-Marc Fontaine, Uwe Jannsen

Publication date 17 March 2021

Published in Documenta Mathematica (Search for Journal in Brave)

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

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

\(p\)-torsion sheavescrystalline cohomologyDieudonne modulesgauge cohomologygauges

Mathematics Subject Classification ID

Étale and other Grothendieck topologies and (co)homologies (14F20) (p)-adic cohomology, crystalline cohomology (14F30)

Abstract: We develop a new cohomology theory in characteristic p>0, the so called F-gauge cohomology, a cohomology with values in the category of so-called F-gauges, which refines the cristalline cohomology. In this first paper we mainly discuss the theory for smooth projective varieties over perfect fields of charatceristic p. We also compare our theory with other existing structures like the F-zips of Moonen and Wedhorn and the displays of Langer and Zink.

Review text

Let \(k\) be a perfect field of characteristic \(p>0\), \(X\) a smooth proper variety over \(k\), and consider the morphism for the fppf topology \(\pi:X_{\mathrm{flat}}\to (\mathrm{Spec }k)_{\mathrm{flat}}\). From the introduction: ``Roughly speaking we want to introduce some sheaves of \(p\)-torsion, the \(S_n^r\) (for \(n,r\in \mathbb{N}\); we shall have \(S_n^0=\mathbb{Z}/p^n\mathbb{Z}\), \(S_n^1=\mu_{p^n}\)) and to consider the \(R^j\pi_*\pi^*S_n^r\). They will belong to a nice class of \(p\)-torsion sheaves which are classified by their \textit{Dieudonné modules} (elementary objects generalizing the classical Dieudonné modules). Technically, i) we will have to use a topology which is weaker than the flat topology but also stronger than the étale topology, ii) the generalized Dieudonné modules give more complicated objects, so-called gauges, or rather \(\varphi\)-(or Frobenius)-gauges. The aim of this paper is to give the definition of these \(\varphi\)-gauges, relate them to previous constructions like Dieudonné modules, \(F\)-zips, or displays, and to define a cohomology theory with values in \(\varphi\)-gauges, which refines crystalline cohomology.

Recommendations

• Integral \(p\)-adic Hodge theory
• scientific article; zbMATH DE number 3952939
• The Etale Cohomology of p-Torsion Sheaves. I
• scientific article; zbMATH DE number 861636
• Tame and strongly étale cohomology of curves

Cites work

• Algebraic geometry I. Schemes. With examples and exercises
• Cohomologie cristalline des schemas de caractéristique \(p >0\)
• De Rham cohomology of varieties over fields of positive characteristic
• De Rham-Witt cohomology and displays
• scientific article; zbMATH DE number 4027649 (Why is no real title available?)
• scientific article; zbMATH DE number 3572315 (Why is no real title available?)
• scientific article; zbMATH DE number 2140875 (Why is no real title available?)
• Modularity for some geometric Galois representations. With an appendix by Ofer Gabber.

Cited in

(9)

• Étale splittings of certain Azumaya algebras on toric and hypertoric varieties in positive characteristic
• Topological Hochschild homology and integral \(p\)-adic Hodge theory
• scientific article; zbMATH DE number 3952939 (Why is no real title available?)
• A motivic version of the theorem of Fontaine and Wintenberger
• Prismatization
• De Rham F-gauges and Shimura varieties
• F-zips with additional structure on splitting models of Shimura varieties
• Prismatic G-displays and descent theory
• Prismatic F-gauges and Fontaine-Laffaille modules

This page was built for publication: Frobenius gauges and a new theory of \(p\)-torsion sheaves in characteristic \(p\)

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