Cartier isomorphism

In algebraic geometry, the Cartier isomorphism is a certain isomorphism between the cohomology sheaves of the de Rham complex of a smooth algebraic variety over a field of positive characteristic, and the sheaves of differential forms on the Frobenius twist of the variety. It is named after Pierre Cartier. Intuitively, it shows that de Rham cohomology in positive characteristic is a much larger object than one might expect. It plays an important role in the approach of Deligne and Illusie to the degeneration of the Hodge–de Rham spectral sequence.{{cite journal |author1=Pierre Deligne |author2=Luc Illusie |year=1987 |title=Relèvements modulo p² et décomposition du complexe de de Rham |journal=Inventiones Mathematicae |volume=89 |issue=2 |pages=247–270 |doi=10.1007/BF01389078|bibcode=1987InMat..89..247D |s2cid=119635574 }}

Statement

Let k be a field of characteristic p > 0, and let $f: X \to S$ be a morphism of k-schemes. Let $X^{(p)} = X \times_{S,\varphi} S$ denote the Frobenius twist and let $F: X \to X^{(p)}$ be the relative Frobenius. The Cartier map is defined to be the unique morphism $C^{-1}: \bigoplus_{i \geq 0} \Omega^i_{X^{(p)}/S} \to \bigoplus_{i \geq 0} \mathcal{H}^i(F_* \Omega^{\bullet}_{X/S})$ of graded $\mathcal{O}_{X^{(p)}}$ -algebras such that $C^{-1}(d(x \otimes 1)) = [x^{p-1} dx]$ for any local section x of $\mathcal{O}_X$ . (Here, for the Cartier map to be well-defined in general it is essential that one takes cohomology sheaves for the codomain.) The Cartier isomorphism is then the assertion that the map $C^{-1}$ is an isomorphism if $f$ is a smooth morphism.

In the above, we have formulated the Cartier isomorphism in the form it is most commonly encountered (e.g., in the 1970 paper of Katz).{{cite journal |author=Nicholas M. Katz |date=January 1970 |title=Nilpotent connections and the monodromy theorem: Applications of a result of Turrittin |journal=Publications Mathématiques de l'Institut des Hautes Études Scientifiques |volume=39 |pages=175–232 |doi=10.1007/BF02684688|s2cid=16261793 |url=http://www.numdam.org/item/PMIHES_1970__39__175_0/ }} In his original paper, Cartier actually considered the inverse map in a more restrictive setting, whence the notation $C^{-1}$ for the Cartier map.{{Cite journal |last=Cartier |first=Pierre |date=1957 |title=Une nouvelle opération sur les formes différentielles |journal=C. R. Acad. Sci. Paris |volume=244 |pages=426–428}}

The smoothness assumption is not essential for the Cartier map to be an isomorphism. For instance, one has it for ind-smooth morphisms since both sides of the Cartier map commute with filtered colimits. By Popescu's theorem, one then has the Cartier isomorphism for a regular morphism of noetherian k-schemes.{{Cite journal |last1=Kelly |first1=Shane |last2=Morrow |first2=Matthew |date=2021-05-20 |title=K-theory of valuation rings |url=https://www.cambridge.org/core/journals/compositio-mathematica/article/abs/ktheory-of-valuation-rings/4132D1EC8DBDA38BB3C8111C83AE7F8E |journal=Compositio Mathematica |language=en |volume=157 |issue=6 |pages=1121–1142 |doi=10.1112/S0010437X21007119 |s2cid=119721861 |issn=0010-437X}} cf. discussion in §2. Ofer Gabber has also proven a Cartier isomorphism for valuation rings.{{Cite journal |last1=Kerz |first1=Moritz |last2=Strunk |first2=Florian |last3=Tamme |first3=Georg |date=2021-05-20 |title=Towards Vorst's conjecture in positive characteristic |url=https://www.cambridge.org/core/journals/compositio-mathematica/article/abs/towards-vorsts-conjecture-in-positive-characteristic/2ABD5F638C929E9A9E89AB8EBC07C4CB |journal=Compositio Mathematica |language=en |volume=157 |issue=6 |pages=1143–1171 |doi=10.1112/S0010437X21007120 |arxiv=1812.05342 |s2cid=119755507 |issn=0010-437X}} cf. Appendix A. In a different direction, one can dispense with such assumptions entirely if one instead works with derived de Rham cohomology (now taking the associated graded of the conjugate filtration) and the exterior powers of the cotangent complex.{{Cite web |last=Kedlaya |first=Kiran S. |title=Derived de Rham cohomology |url=https://kskedlaya.org/prismatic/sec_derived-deRham.html |url-status=live |archive-url=https://web.archive.org/web/20220922173525/https://kskedlaya.org/prismatic/sec_derived-deRham.html |archive-date=2022-09-22 |access-date= |website=kskedlaya.org |at=Prop. 17.2.4. |language=en-US}}

References

Category:Algebraic geometry