A note on étale $(\ddot{I}†,\hat{I}“)$-modules in families

Abstract

Let $\hat{I}›$ be a complete noetherian local ring with finite residue field of characteristic $p$ and $K/{\mathbb{Q}}_p$ a $p$-adic field. We show that, by deformation of the structure sheaf on the (transversal) prismatic site of a bounded $p$-adic formal scheme $\mathfrak{X}$, the category of prismatic $(\hat{I}›,F)$-crystals on $\mathfrak{X}$ is equivalent to $\hat{I}›$-étale local systems on the generic adic fiber of $\mathfrak{X}$ and that the cohomology of $(\hat{I}›,F)$-crystals recovers the pro-étale cohomology of the corresponding local systems. The proof follows the strategy used in \cite{bhatt2023prismatic} and \cite{marks2023prismatic}. From this we construct an isomorphism between Iwasawa cohomology of a $p$-adic Lie extension of $K$ and prismatic cohomology. Following \cite{wu2021galois}, we then reprove Dee's classical result \cite{article} on the equivalence between families of Galois representations and étale $(\ddot{I}†,\hat{I}“)$-modules.

11 pages