Prismatic cohomology and $A_{\inf }$-cohomology with coefficients

Takeshi Tsuji

For a smooth $p$-adic formal scheme over the ring of integers of a perfectoid field of mixed characteristic $(0,p)$ containing all $p$-power roots of unity, we prove that the prism…