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.

Extremal subsets and atom-positivity

Polytopes for Crystallized Demazure Modules and Exremal Vectors

Demazure crystals and the Schur positivity of Catalan functions

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

Temperley-Lieb Crystals

Extremal weight crystals over affine Lie algebras of infinite rank

Crystals for set-valued decomposition tableaux

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$

Primed decomposition tableaux and extended queer crystals

Heaps, crystals, and preprojective algebra modules

A prismatic approach to $(\varphi, \hat G)$-modules and $F$-crystals

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

Demazure crystals for Kohnert polynomials

Demazure crystals for flagged key polynomials

Crystalline prisms: Reflections and diffractions, present and past

Prismatic $F$-crystals and Lubin-Tate $(φ_q,Γ)$-modules

Crystalline part of the Galois cohomology of crystalline representations

Geometric and unipotent crystals

Demazure modules, Fusion products and Q--systems

Crystals and D-modules

Decompositions of Reflexive Modules