Abstract: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 modulo $p$. We show that the category of crystals on the prismatic site of $\overline Y/S$ is equivalent to the category of $O_Y$-modules with integrable and quasi-nilpotent $p$-connection, and that the cohomology of such a crystal is computed by the associated $p$-de Rham complex. More generally, if $X$ is a closed subscheme of $\overline Y$, smooth over $\overline S$, then the prismatic envelope $\Delta_X(Y)$ of $X$ in $Y$ admits such a $p$-connection, the category of prismatic crystals on $X/S$ is equivalent to the category of $O_ {\Delta_X(Y)}$-modules with compatible integrable and quasi-nilpotent $p$-connection, and the cohomology of such a crystal is again computed by its $p$-de Rham complex. We also give a geometric construction of the ``prismatic Sen operator.'' Namely, we show that a lifting of $X$ (mod $p^2$) in $Y$ defines a vector field on the reduction modulo $p$ of $\Delta_X(Y)$ and on a ``diffracted'' Higgs complex which calculates the mod $p$ prismatic and de Rham cohomologies of $X$. Surprisingly, this complex is not the reduction modulo $p$ of the afore-mentioned $p$-de Rham complexbut is rather its ``$\alpha$-transform.'' As a consequence, we get a fairly explicit description of the action of the group scheme $G^\gamma$ on $R\Gamma(X, \Omega^\bullet_{X/S})$, Drinfeld's strengthening of the Deligne-Illusie decomposition theorem. We also explain how earlier work by several authors relating Higgs fields, $p$-connections, and connections can be placed in the prismatic context.

Comparison of Prismatic Cohomology and Derived De Rham Cohomology

Logarithmic prismatic cohomology II

De Rham Comparison and Poincaré Duality for Rigid Varieties

Prismatic cohomology and de Rham-Witt forms

Overconvergent prismatic cohomology

The Essence of de Rham Cohomology

Faltings’ main p -adic comparison theorems for non-smooth schemes

A prismatic approach to crystalline local systems

The crystalline comparison of Ainf-cohomology: the case of good reduction

Duality for Hodge-Witt cohomology with modulus

Crystalline prisms: Reflections and diffractions, present and past

Equivariant aspects of de-completing cyclic homology

Diffuse radio emission in a REFLEX cluster

Rational $p$-adic Hodge theory for rigid-analytic varieties

Cohomologies and deformations of differential algebra morphisms

On Quantum De Rham Cohomology Theory

Cohomologie De De Rham Du Revêtement Modéré De L'Espace De Drinfeld

Duality of differential operators and algebraic de Rham cohomology

Divided Powers and Derived De Rham Cohomology

A better comparison of cdh- and ldh-cohomologies