prismatic cohomology

prismatic cohomology

Motivations

attachments/Pasted%20image%2020220515001317.png

A cohomology theory for mixed characteristic rings, inspired by calculations in stable homotopy and Galois representations. Used in the proof of a mixed characteristic analog of Kodaira vanishing, yielding a minimal model program in the birational geometry of arithmetic threefolds. Used in a proof of the Bott vanishing theorem in algebraic K theory.

attachments/Pasted%20image%2020220515020039.png attachments/Pasted%20image%2020220515020106.png attachments/Pasted%20image%2020220515020128.png

attachments/Pasted%20image%2020220515001924.png attachments/Pasted%20image%2020220515001930.png

Motivations from p-adic Hodge theory, THH attachments/Pasted%20image%2020220515002005.png

attachments/Pasted%20image%2020220515002117.png

Definitions

attachments/Pasted%20image%2020220323160918.png attachments/Pasted%20image%2020220323161013.png attachments/Pasted%20image%2020220323165142.png attachments/Pasted%20image%2020220323165223.png attachments/Pasted%20image%2020220323165235.png # Examples

attachments/Pasted%20image%2020220323160945.png

Notes

attachments/Pasted%20image%2020220128233018.png

attachments/Pasted%20image%2020220128233155.png attachments/Pasted%20image%2020220128233242.png

Syntomic complexes

See Tate twist, motivic cohomology. attachments/Pasted%20image%2020220323170213.png

Applications

attachments/Pasted%20image%2020220515002207.png

🗓️ Timeline
  • Prismatic cohomology

    Absolute prismatic sites: for \(X\in {\mathsf{Sch}}(p{\hbox{-}}\text{adic})\), define \begin{align*} X_\prism \coloneqq\left\{{ (B, J) \in \mathsf{Prism},\, \operatorname{Spf}(B/J) \to X }\right\} .\end{align*} Take sheaf cohomology to obtain \({\mathbf{R}}\Gamma_\prism(X) \coloneqq{\mathbf{R}}\Gamma(X_\prism, {\mathcal{O}}_\prism) {\circlearrowleft}_\phi\).

    prism : a pair \((A, I)\) where \(A\) is a commutative ring with a derived Frobenius lift \(\phi:A\to A\), i.e. a \(\delta{\hbox{-}}\)structure.

Links to this page
#arithmetic-geometry/p-adic-hodge-theory\ #resources/notes #resources/recommendations #resources/papers/2022