Divided prismatic Frobenius crystals of small height and the category \mathcal{M}\mathcal{F}

MaRDI QIDQ6436092zbMATH OpenFDO

Authors

Publication date 10 May 2023

Abstract: Let $mathcalX$ be a smooth $p$-adic formal scheme over a mixed characteristic complete discrete valuation ring $mathcal{O}_K$ with perfect residue field. We introduce a general category $mathcalMmathcal{F}_{[0,p-2]}^{tor-free}(mathcalX)$ of $p$-torsion free crystalline coefficient objects and show that this category is equivalent to the category of completed prismatic Frobenius crystals of height $p-2$, recently introduced by Du-Liu-Moon-Shimizu. In particular this shows that the category $mathcalMmathcal{F}_{[0,p-2]}^{tor-free}(mathcalX)$ is equivalent to the category of crystalline $mathbb{Z}_p$-local systems on $mathcalX$ with Hodge-Tate weights in $0,ldots,p-2$, which generalizes the crystalline part of a theorem of Breuil-Liu to higher dimensions.

This page was built for publication: Divided prismatic Frobenius crystals of small height and the category $\mathcal{M}\mathcal{F}$

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6436092)