Skip to main content
Contents Dark Mode Prev Up Next \(\frenchspacing
\def\AA{\mathbb{A}}
\def\CC{\mathbb{C}}
\def\FF{\mathbb{F}}
\def\GG{\mathbb{G}}
\def\NN{\mathbb{N}}
\def\PP{\mathbb{P}}
\def\QQ{\mathbb{Q}}
\def\RR{\mathbb{R}}
\def\WW{\mathbb{W}}
\def\ZZ{\mathbb{Z}}
\def\calA{\mathcal{A}}
\def\calC{\mathcal{C}}
\def\calE{\mathcal{E}}
\def\calF{\mathcal{F}}
\def\calI{\mathcal{I}}
\def\calO{\mathcal{O}}
\def\frakm{\mathfrak{m}}
\def\frako{\mathfrak{o}}
\def\frakp{\mathfrak{p}}
\def\frakX{\mathfrak{X}}
\def\dual{\vee}
\def\Ainf{\mathbf{A}_{\mathrm{inf}}}
\DeclareMathOperator{\ab}{ab}
\DeclareMathOperator{\Ab}{\mathbf{Ab}}
\DeclareMathOperator{\an}{an}
\DeclareMathOperator{\Ann}{Ann}
\DeclareMathOperator{\Aut}{Aut}
\DeclareMathOperator{\Cl}{Cl}
\DeclareMathOperator{\coker}{coker}
\DeclareMathOperator{\colim}{colim}
\DeclareMathOperator{\comp}{comp}
\DeclareMathOperator{\Comp}{\mathbf{Comp}}
\DeclareMathOperator{\Cone}{Cone}
\DeclareMathOperator{\Cor}{Cor}
\DeclareMathOperator{\crys}{crys}
\DeclareMathOperator{\CW}{CW}
\DeclareMathOperator{\cyc}{cyc}
\DeclareMathOperator{\dcrys}{dcrys}
\DeclareMathOperator{\dR}{dR}
\DeclareMathOperator{\et}{et}
\DeclareMathOperator{\Ext}{Ext}
\DeclareMathOperator{\fin}{fin}
\DeclareMathOperator{\Fil}{Fil}
\DeclareMathOperator{\Fix}{Fix}
\DeclareMathOperator{\fppf}{fppf}
\DeclareMathOperator{\Frac}{Frac}
\DeclareMathOperator{\Frob}{Frob}
\DeclareMathOperator{\Gal}{Gal}
\DeclareMathOperator{\GL}{GL}
\DeclareMathOperator{\gr}{gr}
\DeclareMathOperator{\Hom}{Hom}
\DeclareMathOperator{\HT}{HT}
\DeclareMathOperator{\id}{id}
\DeclareMathOperator{\im}{im}
\DeclareMathOperator{\Ind}{Ind}
\DeclareMathOperator{\Inf}{Inf}
\DeclareMathOperator{\inv}{inv}
\DeclareMathOperator{\Kos}{Kos}
\DeclareMathOperator{\lcm}{lcm}
\DeclareMathOperator{\lens}{lens}
\DeclareMathOperator{\Mod}{\mathbf{Mod}}
\DeclareMathOperator{\Norm}{Norm}
\DeclareMathOperator{\op}{op}
\DeclareMathOperator{\perf}{perf}
\DeclareMathOperator{\Pic}{Pic}
\DeclareMathOperator{\Poly}{\mathbf{Poly}}
\DeclareMathOperator{\prim}{prim}
\DeclareMathOperator{\Prm}{\mathbf{Prism}}
\DeclareMathOperator{\Pshv}{\mathbf{Pshv}}
\DeclareMathOperator{\Rad}{Rad}
\DeclareMathOperator{\Real}{Re}
\DeclareMathOperator{\red}{red}
\DeclareMathOperator{\Res}{Res}
\DeclareMathOperator{\Ring}{\mathbf{Ring}}
\DeclareMathOperator{\sep}{sep}
\DeclareMathOperator{\Sch}{\mathbf{Sch}}
\DeclareMathOperator{\Set}{\mathbf{Set}}
\DeclareMathOperator{\sheafHom}{\mathcal{H}\!\mathit{om}}
\DeclareMathOperator{\sign}{sign}
\DeclareMathOperator{\Spec}{Spec}
\DeclareMathOperator{\Spf}{Spf}
\DeclareMathOperator{\Sym}{Sym}
\DeclareMathOperator{\Tor}{Tor}
\DeclareMathOperator{\Tot}{Tot}
\DeclareMathOperator{\Trace}{Trace}
\DeclareMathOperator{\unr}{unr}
\DeclareMathOperator{\Vect}{\mathbf{Vect}}
\DeclareMathOperator{\Ver}{Ver}
\def\Prism{\mathbf{\Delta}}
\def\llbracket{[\![}
\def\rrbracket{]\!]}
\newcommand{\lt}{<}
\newcommand{\gt}{>}
\newcommand{\amp}{&}
\definecolor{fillinmathshade}{gray}{0.9}
\newcommand{\fillinmath}[1]{\mathchoice{\colorbox{fillinmathshade}{$\displaystyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\textstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptscriptstyle\phantom{\,#1\,}$}}}
\)
Notes on prismatic cohomology
Abstract These are notes from a
graduate topics course given at UC San Diego during the spring 2021 quarter; recordings of the lectures can be found at the same web site. The notes were typeset using
PreTeXt so as to produce matching
HTML and
PDF versions.
The course was closely modeled on
[18] , which in turn presented material from
[25] . No claim of originality is made except for errors.
These notes have benefited greatly from comments from participants in the original course, as well as subsequent feedback from Pierre Deligne, Peng Du, Shane Kelly, Ruochuan Liu, Devlin Delaney Mallory, Akhil Mathew, J.P. Pridham, David Savitt, Tobias Shin, and Yuri Sulyma.
