---
title: Cartier Cohomology Frameworks
url: https://www.emergentmind.com/topics/cartier-cohomology
type: topic
---

# Cartier Cohomology Frameworks

Searching arXiv for recent and foundational papers on Cartier cohomology and related Cartier-theoretic frameworks.
Cartier cohomology denotes a family of cohomological formalisms organized around the Cartier operator, the inverse Cartier isomorphism, Frobenius-semilinear structures, and their modern extensions. In the literature represented here, the term ranges from the classical characteristic-\(p\) comparison between differential forms and de Rham cohomology, through logarithmic and \(p\)-adic de Rham–Witt theories, to cyclotomic and prismatic reinterpretations, and also to coalgebraic, module-theoretic, and crystal-theoretic constructions. A common feature is that Cartier-type operators convert differential or Hochschild-style data into cohomological invariants while retaining integral or Frobenius-twisted structure [2303.10492], [1809.01714], [2508.10668].

## 1. Classical Cartier theory and its cohomological meaning

The classical point of departure is the Cartier isomorphism for a smooth \(k\)-scheme in characteristic \(p\),
\[
C^{-1}:\Omega^i_{X^{(1)}/k}\xrightarrow{\sim}\mathcal H^i(\Omega^\bullet_{X/k}),
\]
together with its logarithmic analogue for log smooth morphisms of Cartier type,
\[
C^{-1}:\Omega^i_{(R_{k_0},N_0)^{(p)}/(k_0,Q_0)} \xrightarrow{\sim} \mathcal H^i\bigl(\Omega^\bullet_{(R_{k_0},N_0)/(k_0,Q_0)}\bigr).
\]
In this form, Cartier cohomology is the identification of de Rham cohomology sheaves with Frobenius-twisted differential forms, and in semistable situations the relevant objects are logarithmic rather than ordinary differentials [2303.10492].

For smooth projective curves over a perfect field \(k\) of characteristic \(p\), the classical cohomological pairing
\[
H^0(X,\Omega_X^1)\times H^1(X,\mathcal O_X)\longrightarrow k
\]
puts the Cartier operator \(\mathcal C\) on \(H^0(X,\Omega_X^1)\) and Frobenius \(\mathcal F\) on \(H^1(X,\mathcal O_X)\) in adjunction. The exact relation is
\[
(\mathcal C\omega, r)= (\omega,\mathcal F r)^\sigma,
\]
so Cartier–Manin and Hasse–Witt matrices are related by twisted transpose,
\[
A=(B^\sigma)^\intercal,\qquad B=(A^\tau)^\intercal.
\]
This makes Cartier cohomology on curves inseparable from semilinear algebra: iterates are twisted products rather than ordinary powers,
\[
[\mathcal F^r]=A A^\sigma\cdots A^{\sigma^{r-1}},\qquad
[\mathcal C^r]=B B^\tau\cdots B^{\tau^{r-1}}.
\]
The curve case is also where errors in the literature have often arisen from conflating Cartier and Frobenius, or from forgetting the transpose and semilinear twists [1710.10726].

Several later developments generalize this classical pattern rather than replacing it. This suggests that “Cartier cohomology” is best viewed as a structural theme: a cohomology theory becomes Cartier-theoretic when its basic cohomology sheaves are described by Frobenius-twisted forms, or when its operators are related by Cartier-type adjunction or descent.

## 2. Logarithmic and \(p\)-adic Cartier cohomology

In integral \(p\)-adic Hodge theory, the most direct extension of classical Cartier theory is the \(p\)-adic Cartier isomorphism. For semistable formal schemes over \(\mathcal O_C\), Aoki proves a logarithmic semistable analogue of the Bhatt–Morrow–Scholze smooth comparison. If \(R\) is semistable, with local model
\[
R^\square=\mathcal O_C\{t_0,\dots,t_r,t_{r+1}^{\pm1},\dots,t_d^{\pm1}\}/(t_0\cdots t_r-p^q),
\]
and \(Q_R\) is the semistable log structure, then for every \(n\ge 1\) and \(i\in \mathbf Z\),
\[
H^i(W_n\widetilde\Omega_R)\;\cong\; \varprojlim_m\, W_n\Omega^i_{(R/p^m,Q_R)/(\mathcal O_C/p^m,Q_{\mathcal O_C})}\{-i\}.
\]
This is Theorem 4.25, the semistable/logarithmic \(p\)-adic Cartier isomorphism. The right-hand side is Matsuue’s logarithmic de Rham–Witt complex with the Breuil–Kisin–Fargues twist \(\{-i\}\), and the theorem is formulated at the level of cohomology groups rather than as an a priori quasi-isomorphism of complexes [2303.10492].

The construction uses Fontaine’s ring
\[
A_{\inf}=W(\mathcal O_C^\flat),
\]
the semistable \(A_{\inf}\)-cohomology complex
\[
A\Omega_R:=L\eta_\mu\, R\Gamma_{\mathrm{cont}}(\Delta,A_{\inf}(R_\infty)),
\]
and its \(W_n\)-specialization
\[
W_n\widetilde\Omega_R:=L\eta_{[\zeta_{p^n}]-1}R\Gamma_{\mathrm{pro\acute et}}(X,W_n(\widehat{\mathcal O}_X^+)).
\]
The décalage functor \(L\eta_f\) is indispensable because it removes the almost torsion produced by perfectoid or pro-étale constructions and extracts integral complexes that compare to log de Rham–Witt objects. Locally, Aoki identifies these complexes with a semistable \(q\)-de Rham complex,
\[
q\text{-}\Omega^\bullet_{A(R^\square)/A_{\inf}}
=
K_{A(R^\square)}\!\left( \frac{\delta_1-1}{[\varepsilon]-1},\dots,\frac{\delta_d-1}{[\varepsilon]-1} \right),
\]
which is the semistable analogue of the BMS coordinate calculation [2303.10492].

The \(n=1\) specialization recovers the semistable Hodge–Tate comparison,
\[
H^i(\widetilde\Omega_R)\cong \Omega^{i,\mathrm{cont}}_{(R,Q_R)/(\mathcal O_C,Q_{\mathcal O_C})}\{-i\},
\]
and on the special fiber Aoki proves a genuine Cartier isomorphism for truncated logarithmic de Rham–Witt complexes,
\[
C^{-n}:W_n\Omega^i \xrightarrow{\sim} \mathcal H^i(W_n\Omega^\bullet).
\]
When \(r=0\), the log structures become trivial and the theorem recovers the Bhatt–Morrow–Scholze smooth \(p\)-adic Cartier isomorphism [2303.10492].

A parallel mixed-characteristic deformation of Cartier theory appears in \(q\)-de Rham cohomology. Pridham constructs a functorial lift of the Cartier isomorphism for smooth formal schemes over \(W^{(p)}(k)\), with Frobenius lift \(\Psi^p\), in the form
\[
C_q^{-1}:(\Omega^\ast_{X/R})^{\wedge_p}\llbracket q-1\rrbracket/[p]_q
\longrightarrow
\bigl(L\eta_{(q-1)}\widehat{qDR}_p(O_X/R)\bigr)^{\wedge_p}/[p]_q.
\]
Under the identification
\[
\widehat{qDR}_p(A/R)\simeq (\Omega^\ast_{A/R}\llbracket q-1\rrbracket,(q-1)\nabla_q),
\]
the Adams operation satisfies
\[
\Psi^p\big(a\,dx_{i_1}\wedge\cdots\wedge dx_{i_m}\big)
=
\Psi^p(a)\,x_{i_1}^{p-1}\cdots x_{i_m}^{p-1}\,dx_{i_1}\wedge\cdots\wedge dx_{i_m},
\]
which is the mixed-characteristic Cartier-type formula governing the comparison [1608.07142].

## 3. Cyclotomic, topological, and prismatic reinterpretations

Modern homotopy-theoretic work recasts Cartier structures in terms of cyclotomic spectra, topological Hochschild homology, and prismatic geometry. Antieau–Nikolaus introduce \(p\)-typical topological Cartier modules, namely spectra with \(S^1\)-action and structure maps
\[
M_{hC_p}\xrightarrow{V}M\xrightarrow{F}M^{hC_p},
\qquad F\circ V=Nm_{C_p}.
\]
They construct a cyclotomic \(t\)-structure whose heart is the category of derived \(V\)-complete \(p\)-typical Cartier modules,
\[
CycSp_p^\heartsuit \simeq \widehat{Cart}_p,
\]
and for a perfect field \(k\) of characteristic \(p\) and a smooth \(k\)-algebra \(R\), they identify cyclotomic homotopy groups of \(THH(R)\) with de Rham–Witt groups,
\[
\pi_n^{cyc}THH(R)\cong W\Omega_R^n.
\]
This makes de Rham–Witt complexes the basic Cartier-theoretic layers of cyclotomic homotopy theory [1809.01714].

Bhatt–Lurie then geometrize absolute prismatic crystals through the Cartier–Witt stack \(\WCart\). The crucial equivalence is
\[
\calD(\WCart)\xrightarrow{\sim}\varprojlim_{(A,I)}\widehat{\calD}(A),
\]
with the limit running over bounded prisms. In this sense, quasi-coherent complexes on \(\WCart\) are crystals of \((p,I)\)-complete complexes on the absolute prismatic site. The Hodge–Tate locus is described by
\[
\Spf(\mathbf Z_p)\times B\mathbf G_m^\sharp \simeq \WCart^{\mathrm{HT}},
\]
and quasi-coherent complexes on \(\WCart^{\mathrm{HT}}\) are classified by a \(p\)-complete complex with an operator \(\Theta\), subject to the condition that \(\Theta^p-\Theta\) acts locally nilpotently mod \(p\). This is explicitly presented as a form of Cartier duality [2201.06120].

A further noncommutative extension replaces differential forms by \(THH\), polyvector fields by \(THC\), and the Cartier operator by the cyclotomic Frobenius. For every \(\mathbb E_1\)-algebra \(A\), the basic noncommutative Cartier formula is the commutative square
\[
\begin{tikzcd}
THC(A)\otimes THH(A) \ar[rr, "\cap"] \ar[d, "\Delta\otimes \phi", swap] & & THH(A) \ar[d, "\phi"] \\
\Phi^{C_p} (N_e^{C_p} THC(A)\otimes THH(A)) \ar[rr, "\Phi^{C_p} (\cap^p)", swap] & & \Phi^{C_p} THH(A),
\end{tikzcd}
\]
and, over \(\mathbb F_p\), the Tate-fixed-point version recovers the classical Cartier compatibility formula for interior product. The same framework yields a \(p\)-curvature formula for the Getzler–Gauss–Manin connection in terms of equivariant \(p\)-fold cap product [2607.05360].

These developments do not abolish classical Cartier cohomology; they enlarge its scope. The data block repeatedly presents cyclotomic Frobenius, Nygaard filtrations, and Tate diagonals as replacements for the classical Cartier operator in settings where \(THH\), \(TC\), prismatic cohomology, and periodic cyclic homology play the role previously held by de Rham or crystalline complexes.

## 4. Cartier smoothness, de Rham–Witt simplifications, and purity

A distinct but closely related usage arises for Cartier smooth rings. A commutative \(\mathbf F_p\)-algebra \(S\) is Cartier smooth if its cotangent complex is a flat ordinary \(S\)-module and the inverse Cartier map
\[
C^{-1}:\Omega^\bullet_{S^{(1)}/\mathbf F_p}\xrightarrow{\sim} H^\bullet(\Omega^\ast_{S/\mathbf F_p})
\]
is an isomorphism. For such rings, derived de Rham and de Rham–Witt theories degenerate to their underived forms:
\[
L\Omega_S \xrightarrow{\sim} \Omega^\ast_{S/\mathbf F_p},
\qquad
LW\Omega_S \xrightarrow{\sim} W\Omega^\ast_S.
\]
The Nygaard filtration on \(W\Omega^\ast_S\) becomes explicit, and syntomic complexes are identified with logarithmic de Rham–Witt sheaves,
\[
\mathbf Z_p(i)\simeq W\Omega^i_{\log}[-i].
\]
For local Cartier smooth rings one obtains the \(p\)-adic \(K\)-theoretic comparison
\[
K_i(S,\mathbf Z_p)\xrightarrow{\sim} W\Omega^i_{S,\log},
\]
while \(TC\) is controlled by the same logarithmic Hodge–Witt objects via its motivic filtration [2306.01063].

The mixed-characteristic refinement is \(p\)-Cartier smoothness. A morphism \(R\to S\) is \(p\)-Cartier smooth if it is \(p\)-discrete and its reduction \(R/p\to S/p\) is Cartier smooth. For a bounded prism \((A,I)\) and a \(p\)-cotangent smooth \(A/I\)-algebra \(S\), the paper proves that \(p\)-Cartier smoothness is equivalent to a full package of prismatic comparison statements, including
\[
\Delta_{S/A}\otimes_A^{\mathbf L} A/I \to (\Omega^\bullet_{S/(A/I)})^\wedge_p
\]
being an equivalence, the Nygaard-completion map
\[
\Delta_{S/A}\to \widehat{\Delta}_{S/A}
\]
being an equivalence, and the Frobenius comparison
\[
\varphi:\Delta_{S/A}^{(1)}\to L\eta_I\Delta_{S/A}
\]
being an equivalence. Over a perfect prism, \(p\)-Cartier smoothness is also equivalent to \(F\)-smoothness, and it holds for valuation ring extensions over perfectoid bases [2211.16371].

Cartier-theoretic purity appears on discretely ringed adic spaces. For a smooth discretely ringed adic space \(\mathcal X\), the paper identifies logarithmic differentials with bounded differential sheaves
\[
\Omega_{\mathcal X,\lim}^{n,\log}\cong \Omega_{\mathcal X}^{+,n},
\]
defines an adic Cartier operator
\[
C: Z\Omega_{\mathcal X/k}^{+,n}\to \Omega_{\mathcal X/k}^{+,n},
\]
and proves the exact sequence
\[
0\to\nu(n)\to Z\Omega^{+,n}_{\mathcal X}\xrightarrow{C-1}\Omega^{+,n}_{\mathcal X}\to 0
\]
in the tame setting. This becomes the key input in the purity theorem
\[
Ri^! \nu_m(n)\cong \nu_m(n-r)[-r]
\]
for a smooth closed immersion of codimension \(r\). The novelty is that ordinary étale \(p\)-torsion purity fails, whereas tame cohomology together with the Cartier exact sequence restores the expected behavior [2408.02542].

## 5. Algebraic, coalgebraic, and categorical Cartier cohomology

In another line of development, Cartier cohomology is the coalgebra-side analogue of Hochschild cohomology. For a \(B\)-coring \(\mathcal C\), Cartier cohomology is defined by
\[
\Ext^*_{(\mathcal C\text{-}\mathcal C\,|\,B\text{-}B)}(\mathcal C,\mathcal C),
\]
and computed by the cobar complex
\[
C^n_{\Ca}(\mathcal C)=\Hom_{B\text{-}B}(\mathcal C,\mathcal C^{\otimes_B n}).
\]
If \(\mathcal C\) is finitely generated projective as a left \(B\)-module and \(R=\Hom_{B\text{-}}(\mathcal C,B)^{\op}\) is the right algebra, then the paper proves
\[
\Hh_{\Ca}^*(\mathcal C)\cong \HH^*(R|B),
\]
and, more strongly,
\[
C^*_{\Ca}(\mathcal C)\cong C^*(R|B)^{\opp}
\]
as \(B_\infty\)-algebras. Thus Cartier cohomology becomes relative Hochschild cohomology of the dual algebra, up to opposite structure [2508.10668].

The same terminology appears for associative coalgebras under the synonymous name coHochschild cohomology. In the dendriform setting, the paper defines a refined cohomology for dendriform coalgebras and constructs a natural cochain map
\[
S(f)=f([1])+\cdots+f([n])
\]
from dendriform cochains to coHochschild, hence Cartier, cochains. This induces
\[
S_*:H^n_{\mathrm{coDend}}(M,C)\to H^n_{\mathrm{coHoch}}(M,C),
\]
and for self-coefficients it is compatible with Gerstenhaber structures. Cartier cohomology is therefore the associative-coalgebra shadow of the split dendriform theory [1907.08255].

A geometric module-theoretic incarnation is provided by Cartier sheaves and Cartier crystals on Noetherian \(\mathbf F_q\)-schemes. A Cartier sheaf is a quasi-coherent sheaf \(V\) with a right Frobenius action
\[
\kappa_V:(\sigma\times \operatorname{id})_*V\to V.
\]
After localizing coherent Cartier sheaves by nilpotent objects one obtains Cartier crystals, and the paper constructs the basic cohomological operations
\[
Rf_*,\qquad f^!,
\]
proves that \(Rf_*\) preserves coherent cohomology up to nilpotence for finite type morphisms, and shows that \(f^!\) has bounded cohomological amplitude on crystals. This turns the abelian theory of Cartier modules into a geometric cohomology theory with exact triangles and adjunctions [1309.1035].

A higher-categorical version replaces the abelian category of Cartier modules by a lax equalizer. For an endofunctor \(F:\mathcal C\to\mathcal C\),
\[
\Cart(\mathcal C,F)=\operatorname{LEq}(F,\mathrm{id}_{\mathcal C}).
\]
If \(\mathcal A\) is Grothendieck abelian and \(F\) is exact and colimit-preserving, the paper proves
\[
\mathcal D(\Cart(\mathcal A,F)) \simeq \Cart(\mathcal D(\mathcal A),\mathcal D(F)).
\]
For \(X\) an \(\mathbb F_p\)-scheme this means derived Cartier modules are exactly complexes with a derived Frobenius map \(F_*K\to K\), and it yields a conceptual construction of the perverse \(t\)-structure on coherent derived Cartier modules [2410.17102].

## 6. Cartier transforms, crystals, and global comparison functors

The phrase “Cartier cohomology” also covers transform theories that exchange Frobenius-twisted objects with connection-type or crystal-type objects while preserving cohomology. In dimension one, the Cartier transform between crystals on the \(q\)-crystalline and prismatic sites is
\[
C : q\mathrm{-CRIS}(\mathcal X/R) \longrightarrow \mathbb{\Delta}(\mathcal X'/R),
\]
and induces an equivalence between locally finite free \(q\)-crystals and locally finite free prismatic crystals. The same transform is identified locally with the explicit \(q\)-twisted Simpson correspondence
\[
F^*:\mathrm{MIC}_q^{(-1)}(A'/R)\longrightarrow \mathrm{MIC}_q(A/R),
\]
and the corresponding cohomology theories are computed by two-term twisted de Rham complexes on the two sides. This is a prismatic \(q\)-deformed Cartier comparison rather than a direct de Rham–Witt statement [2203.09897].

Xu lifts the Ogus–Vologodsky Cartier transform modulo \(p^n\). Starting from a smooth formal \(W\)-scheme \(\mathfrak X\), with Frobenius twist \(\mathfrak X'\), he constructs a global equivalence
\[
C_{X/W}^*:\mathrm{Gqcoh}(\mathscr O_{\mathscr E',n})\xrightarrow{\sim}\mathrm{Gqcoh}(\mathscr O_{\underline{\mathscr E},n}),
\]
which becomes, after passing through stratifications, the desired transform from quasi-nilpotent \(p^n\)-torsion modules with integrable \(p\)-connection on \(\mathfrak X'_n\) to quasi-nilpotent \(p^n\)-torsion modules with integrable connection on \(\mathfrak X_n\). When a Frobenius lifting exists, the transform is compatible with Shiho’s explicit pullback construction. Xu then applies this machinery to relative Fontaine modules, giving a new interpretation of their divided Frobenius data and recovering cohomological results of Faltings [1705.06241].

These transform results show that Cartier cohomology is not only a collection of fixed cohomology groups. It also includes equivalences of categories whose purpose is cohomological: they transport connections, \(p\)-connections, Higgs fields, crystals, and filtrations across Frobenius-twisted geometries in a way compatible with de Rham, crystalline, prismatic, or Fontaine-module cohomology.

In this broader sense, the literature presents Cartier cohomology as a unifying language for Frobenius-twisted descent. In characteristic \(p\), it begins with
\[
C^{-1}:\Omega^i_{X^{(1)}/k}\xrightarrow{\sim}\mathcal H^i(\Omega^\bullet_{X/k});
\]
in logarithmic and \(p\)-adic geometry it becomes a comparison with de Rham–Witt and \(A_{\inf}\)-cohomology; in cyclotomic and prismatic settings it is recast by Frobenius, Nygaard, and the Cartier–Witt stack; and in coalgebraic or categorical settings it becomes a theory of cochains, crystals, and derived Frobenius modules. The recurring content is the same: Cartier operators and Cartier-type transforms identify cohomology with a more rigid Frobenius-linear object, and that identification then governs structure, comparison, and descent across a wide range of modern cohomological theories [2303.10492], [2201.06120], [2508.10668], [1705.06241].

Source: https://www.emergentmind.com/topics/cartier-cohomology