Related papers: A stacky approach to crystals

Berthelot's conjecture predicts that under a proper and smooth morphism of schemes in characteristic $p$, the higher direct images of an overconvergent $F$-isocrystal are overconvergent $F$-isocrystals. In this paper we prove that this is…

Let $Y$ be a locally complete intersection over $\mathcal{O}_K$ containing a $p$-power root of unity $\zeta_p$. We classify the derived category of prismatic crystals on the absolute prismatic site of $Y$ by studying quasi-coherent…

Given a liftable smooth proper variety over $\mathbb{F}_p$, we construct the moduli stacks of crystals and isocrystals on it. We show that the former is a formal algebraic stack over $\mathbb{Z}_p$ and the latter is an adic stack -- Artin…

We use motivic methods to give a quick proof of Berthelot's conjecture stating that the push-forward map in rigid cohomology of the structural sheaf along a smooth and proper map has a canonical structure of overconvergent F-isocrystal on…

We show a Lefschetz theorem for irreducible overconvergent $F$-isocrystals on smooth varieties defined over a finite field. We derive several consequences from it.

We extend Berthelot's theory of arithmetic D-modules to a class of morphisms that are not necessarily of finite type. As an application we give a new construction of the category of convergent isocrystals on a separated scheme of finite…

For all $n \geq 1$, there is a notion of $n$-smooth group scheme over any $\mathbb{F}_p$-algebra $R$, which may be thought of as a ``Frobenius analogue" of $n$-truncated Barsotti-Tate groups over $R$. We show that the category of $n$-smooth…

Let k be a perfect field of characteristic p>0 and W the ring of Witt vectors of k. In this article, we give a new proof of the Frobenius descent for convergent isocrystals on a variety over k relative to W. This proof allows us to deduce…

The BCF theory of crystal growth has been successful in describing a wide range of phenomena in surface physics. Typical crystal surfaces are slightly misoriented with respect to a facet plane; thus, the BCF theory views such systems as…

We introduce the notion of integrable connections for a sheaf of differential graded algebras on a topological space. We then describe them in the finite locally projective setting, when the sheaf is either the de Rham complex of a formal…

In this article we give a survey of the various forms of Berthelot's conjecture and some of the implications between them. By proving some comparison results between pushforwards of overconvergent isocrystals and those of arithmetic…

In the framework of Berthelot's theory of arithmetic $\mathcal{D}$-modules, we prove that Berthelot's characteristic variety associated with a holonomic $\mathcal{D}$-modules endowed with a Frobenius structure has pure dimension. As an…

We define the big crystalline site for a log scheme and prove the basic properties. In particular, we show the boundedness, base change, and perfectness theorems for the crystalline higher direct image of quasi-coherent crystals between…

The goal of this paper is to study the absolute prismatic cohomology of $p$-adic formal schemes. We do so by recasting the notion of a prismatic crystal on $\mathrm{Spf}(\mathbf{Z}_p)$ in terms of quasicoherent sheaves on a geometric object…

Let $\mathcal{V}$ be a mixed characteristic complete discrete valuation ring, $k$ its residual field, $\mathcal{P}$ a proper smooth formal scheme over $\mathcal{V}$, $P$ its special fiber, $T$ a divisor of $P$, $U:=P\setminus T$, $Y$ a…

In this paper, we apply stack theoretic ideas to the classification problem in Dieudonn\'e theory. First, we use crystalline cohomology of classifying stacks to directly reconstruct the classical Dieudonn\'e module of a finite, $p$-power…

We introduce a valuation-theoretic approach to the problem of semistable reduction (i.e., existence of logarithmic extensions on suitable covers) of overconvergent isocrystals with Frobenius structure. The key tool is the quasicompactness…

We consider several patchy particle models that have been proposed in literature and we investigate their candidate crystal structures in a systematic way. We compare two different algorithms for predicting crystal structures: (i) an…

In the framework of Berthelot's theory of arithmetic $\mathcal{D}$-modules, we introduce the notion of arithmetic $\mathcal{D}$-modules having potentially-unipotent monodromy. For example, from Kedlaya's semistable reduction theorem,…

Let X be a smooth p-adic formal scheme. We show that integral crystalline local systems on the generic fiber of X are equivalent to prismatic F-crystals over the analytic locus of the prismatic site of X. As an application, we give a…