Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2022
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2204.06621 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866918380972277760 |
|---|---|
| author | Ogus, Arthur |
| author_facet | Ogus, Arthur |
| contents | 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 $Δ_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_ {Δ_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 $Δ_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 ``$α$-transform.'' As a consequence, we get a fairly explicit description of the action of the group scheme $G^γ$ on $RΓ(X, Ω^\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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2204_06621 |
| institution | arXiv |
| publishDate | 2022 |
| record_format | arxiv |
| spellingShingle | Crystalline prisms: Reflections and diffractions, present and past Ogus, Arthur Algebraic Geometry 14F30 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 $Δ_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_ {Δ_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 $Δ_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 ``$α$-transform.'' As a consequence, we get a fairly explicit description of the action of the group scheme $G^γ$ on $RΓ(X, Ω^\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. |
| title | Crystalline prisms: Reflections and diffractions, present and past |
| topic | Algebraic Geometry 14F30 |
| url | https://arxiv.org/abs/2204.06621 |