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.

Tropical R maps and affine geometric crystals

Affine Geometric Crystal of type $G^{(1)}_2$

Geometric and unipotent crystals

Affine Geometric Crystal of type $D_4^{(3)}$

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

Half Potential on Geometric Crystals and Connectedness of Cellular Crystals

A Tannakian framework for prismatic $F$-crystals

Categorical crystals for quantum affine algebras

Ultra-discretization of the D_4^3-Geometric Crystals to the G_2^1-Perfect Crystals

Tropical contractions to integral affine manifolds with singularities

Congruences on tropical rational function semifields and tropical curves

Crystalline prisms: Reflections and diffractions, present and past

Abelian tropical covers

The Unipotent Tropical Fundamental Group

The Tropical Amplituhedron

A prismatic approach to crystalline local systems

Polyhedral realizations for crystal bases and Young walls of classical affine types

Decorations on Geometric Crystals and Monomial Realizations of Crystal Bases for Classical Groups

On $C_n^{(1)}$-Geometric Crystal and its Ultradiscretization

Geographic-style maps for 2-dimensional lattices