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.

Interplay between grain boundary grooving, stress, and dealloying in the agglomeration of NiSi1-xGex films

Construction of perfect crystals conjecturally corresponding to Kirillov-Reshetikhin modules over twisted quantum affine algebras

A note on $U_q(D_4^{(3)})$ - Demazure crystals

Bethe subalgebras in Yangians and Kirillov-Reshetikhin crystals

Crystals for set-valued decomposition tableaux

Affine RSK Correspondence and Crystals of Level Zero Extremal Weight Modules

Crystal monoids \& crystal bases: rewriting systems and biautomatic structures for plactic monoids of types $A_{n}$, $B_{n}$, $C_{n}$, $D_{n}$, and $G_2$

Demazure crystals for flagged key polynomials

Extremal subsets and atom-positivity

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

Categorifying the tensor product of the Kirillov-Reshetikhin crystal $B^{1,1}$ and a fundamental crystal

Demazure crystals for Kohnert polynomials

Quasi-crystals for arbitrary root systems and associated generalizations of the hypoplactic monoid

Crystals for Kostant-Kumar modules of $\widehat{\mathfrak{sl}_2}$

A Tannakian framework for prismatic $F$-crystals

Crystalline prisms: Reflections and diffractions, present and past

Categorical crystals for quantum affine algebras

Heaps, crystals, and preprojective algebra modules

Crystals and Chern classes

Demazure crystals and the Schur positivity of Catalan functions

Extremal weight crystals over affine Lie algebras of infinite rank