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.

On $p$-adic solutions to KZ equations, ordinary crystals, and $p^s$-hypergeometric solutions

Finding all solutions to the KZ equations in characteristic $p$

Frobenius structure and $p$-adic zeta function

P-Adic GKZ Hypergeometric Complex

On the $\mathbb{Z}_p$-extensions of a totally $p$-adic imaginary quadratic field -- With an appendix by Jean-François Jaulent

The $p$-adic Gelfand-Kapranov-Zelevinsky hypergeometric complex

Metallic spin glasses

Prismatic crystals and $p$-adic Riemann--Hilbert correspondence

The $p$-adic limits of class numbers in $\mathbb{Z}_p$-towers

Crystalline prisms: Reflections and diffractions, present and past

Polynomial Solutions Modulo $p^s$ of Differential KZ and Dynamical Equations

$p$-adic multiple zeta values at roots of unity and $p$-adic pro-unipotent harmonic actions - IV-1 : $p$-adic multiple zeta values at roots of unity extended to sequences of integers of any sign

Irregular KZ equations and Kac-Moody representations

Differential Equations Compatible with KZ Equations

On the $p$-adic limit of class numbers along a pro-$p$-extension

A prismatic approach to crystalline local systems

Reductions of some two-dimensional crystalline representations via Kisin modules

On the $K$-theory of $\mathbf{Z}/p^n$

On the prismatization of $O_K$ beyond the Hodge-Tate locus

On the structure of the Bloch--Kato Selmer groups of modular forms over anticyclotomic $\mathbf{Z}_p$-towers

On $p$-refined Friedberg-Jacquet integrals and the classical symplectic locus in the $\mathrm{GL}_{2n}$ eigenvariety