Crystalline prisms: Reflections and diffractions, present and past

Arthur Ogus

Let $Y/S$ be a $p$-completely smooth morphism of $p$-torsion free $p$-adic formal schemes endowed with a Frobenius lift, and let $\overline{Y}/\overline{S}$ denote its reduction modu…