In mathematics, specifically arithmetic geometry, prismatic cohomology is a cohomology introduced by Bhargav Bhatt and Peter Scholze for p-adic formal schemes. It generalizes various p-adic cohomology theories. Fix a prime p {\displaystyle p} . A prism is a pair ( A , I ) {\displaystyle (A,I)} , where A {\displaystyle A} is a δ-ring with p {\displaystyle p} -derivation δ A {\displaystyle \delta _{A}} and I {\displaystyle I} is an ideal of A {\displaystyle A} defining a Cartier divisor in Spec ( A ) {\displaystyle \operatorname {Spec} (A)} , such that A {\displaystyle A} is derived ( p , I ) {\displaystyle (p,I)} -adically complete and the ideal I + ϕ A ( I ) A {\displaystyle I+\phi _{A}(I)A} contains p {\displaystyle p} , where the associated map ϕ A : A → A {\displaystyle \phi _{A}:A\to A} given by ϕ A ( x ) = x p + p δ A ( x ) {\displaystyle \phi _{A}(x)=x^{p}+p\delta _{A}(x)} is a ring homomorphism, which then necessarily lifts the Frobenius endomorphism on A / ( p ) {\displaystyle A/(p)} .
See also Crystalline cohomology Motivic cohomology de Rham cohomology
Notes
References
