We introduce twisted differential calculus of negative level and prove a descent theorem: Frobenius pullback provides an equivalence between finitely presented modules endowed with a topologically quasi-nilpotent twisted connection of level minus one and those of level zero. We explain how this is related to the existence of a Cartier operator on prismatic crystals. For the sake of readability, we limit ourselves to the case of dimension one.
In this article, we define the $m$-prismatic site and the $m$-$q$-crystalline site, which are higher level analogs of the prismatic site and the $q$-crystalline site respectively. We prove a certain equivalence between the category of crystals on the $m$-prismatic site (resp. the $m$-$q$-crystalline site) and that on the prismatic site (resp. the $q$-crystalline site), which can be regarded as the prismatic (resp. the $q$-crystalline) analog of the Frobenius descent due to Berthelot and the Cartier transform due to Ogus-Vologodsky, Oyama and Xu. We also prove the equivalence between the catego…
Let $\calO_K$ be a complete discrete valuation ring of mixed characteristic $(0,p)$ with a perfect residue field. In this paper, for a semi-stable $p$-adic formal scheme $\frakX$ over $\calO_K$ with rigid generic fibre $X$ and canonical log structure $\calM_{\frakX} = \calO_{\frakX}\cap\calO_X^{\times}$, we study Hodge--Tate crystals over the absolute logarithmic prismatic site $(\frakX,\calM_{\frakX})_{\Prism}$. As an application, we give an equivalence between the category of rational Hodge--Tate crystals on the absolute logarithmic prismatic site $(\frakX,\calM_{\frakX})_{\Prism}$ and the c…
In this paper, we prove that for any $p$-adic smooth separated formal scheme $\mathfrak X$, the category of prismatic $F$-crystals with $I$ inverted is equivalent to the category of étale $\mathbb Z_p$-local systems on the generic fiber of $\mathfrak X$. We also compare the cohomology of the corresponding coefficients.
We study de Rham prismatic crystals on $(\mathcal{O}_K)_{\bboldΔ}$. We show that a de Rham crystal is controlled by a sequence of matrices $\{A_{m,1}\}_{m \geq 0}$ with $A_{0,1}$ "nilpotent". Using this, we prove that the natural functor from de Rham crystals over $(\mathcal{O}_K)_{\bboldΔ}$ to the category of nearly de Rham representations is fully faithful. The key ingredient is a Sen style decompletion theorem for de Rham representations of $G_K$.
Yau Mathematical Sciences Center, Tsinghua University（丘成桐数学科学中心）；Purdue University（普渡大学）；Beijing Institute of Mathematical Sciences and Applications（北京国际数学研究中心）
An integral analogue of Fontaine's crystalline functor
Graduate School of Mathematical Sciences, The University of Tokyo（东京大学大学院数学科学综合研究科）；Institut des Hautes Études Scientifiques（高等科学研究所）；Department of Mathematics, Bahen Centre, University of Toronto（多伦多大学巴亨中心数学系）
We discuss the notion of a q-PD-envelope considered by Bhatt and Scholze in their recent theory of q-crystalline cohomology and explain the relation with our notion of a divided polynomial twisted algebra. Together with an interpretation of crystals on the q-crystalline site, that we call q-crystals, as modules endowed with some kind of stratification, it allows us to associate a module on the ring of twisted differential operators to any q-crystal. For simplicity, we explain here only the one dimensional case.
We establish a version of Kashiwara's theorem for twisted sheaves of Berthelot's arithmetic differential operators for a closed immersion between smooth p-adic formal schemes. As an application, we construct simple modules for crystalline distribution algebras of reductive groups using the twisted version of the crystalline localisation theorem.
In this short notes, we prove a stronger version of Theorem 0.6 in our previous paper arXiv:1709.01485: Given a smooth log scheme $(\mathcal{X} \supset \mathcal{D})_{W(\mathbb{F}_q)}$, each stable twisted $f$-periodic logarithmic Higgs bundle $(E,θ)$ over the closed fiber $(X \supset D)_{\mathbb{F}_q}$ will correspond to a $\mathrm{PGL}_r(\mathbb{F}_{p^f})$-crystalline representation of $π_1((\mathcal{X} \setminus \mathcal{D})_{W(\mathbb{F}_q)[\frac{1}{p}]})$ such that its restriction to the geometric fundamental group is absolutely irreducible.
