Related papers: Crystalline prisms: Reflections and diffractions, …

We consider the crystalline realization of Deligne's 1-motives in positive characteristics and prove a comparison theorem with the De Rham realization of liftings to zero characteristic. We then show that one dimensional crystalline…

Assume that $p>2$, and let $\mathscr{O}_K$ be a $p$-adic discrete valuation ring with residue field admitting a finite $p$-basis, and let $R$ be a formally smooth formally finite-type $\mathscr{O}_K$-algebra. (Indeed, we allow slightly more…

Let $\mathcal{O}_K$ be a mixed characteristic complete DVR with perfect residue field $k$ and fraction field $K$. It is a celebrated result of Berthelot and Ogus that for a smooth proper formal scheme $X/\mathcal{O}_K$ there exists a…

We prove that in either the convergent or overconvergent setting, an absolutely irreducible $F$-isocrystal on the absolute product of two or more smooth schemes over perfect fields of characteristic $p$, further equipped with actions of the…

We prove for $n\geq c-1$ that the functor taking an animated ring $R$ to its mod $(p^c,v_1^{p^n})$ syntomic cohomology factors through the functor $R \mapsto R/p^{c(n+2)}$, a phenomenon we term crystallinity for mod $(p^c,v_1^{p^n})$…

We study the ring of differential operators D(X) on the basic affine space X=G/U of a complex semisimple group G with maximal unipotent subgroup U. One of the main results shows that the cohomology group H^*(X,O_X) decomposes as a finite…

Let $\mathscr{O}_K$ be a 2-adic discrete valuation ring with perfect residue field $k$. We classify $p$-divisible groups and $p$-power order finite flat group schemes over $\mathscr{O}_K$ in terms of certain Frobenius module over…

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…

Let $\Pi$ be the fundamental group of a smooth variety X over $F_p$. Given a non-Archimedean place $\lambda$ of the field of algebraic numbers which is prime to p, consider the $\lambda$-adic pro-semisimple completion of $\Pi$ as an object…

Fix a scheme $S$ of characteristic $p$. Let $\mathscr{M}$ be an $S$-algebraic stack and let $\mbox{Fdiv}(\mathscr{M})$ be the stack of $\mbox{F}$-divided objects, that is sequences of objects $x_i\in\mathscr{M}$ with isomorphisms…

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…

For a smooth formal scheme $\mathfrak{X}$ over the Witt vectors $W$ of a perfect field $k$, we construct a functor $\mathbb{D}_\mathrm{crys}$ from the category of prismatic $F$-crystals $(\mathcal{E},\varphi_\mathcal{E})$ (or prismatic…

Let $G$ be the group of rational points of a split connected reductive group over a nonarchimedean local field of residue characteristic $p$. Let $I$ be a pro-$p$ Iwahori subgroup of $G$ and let $R$ be a commutative quasi-Frobenius ring. If…

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 present a non-perturbative formulation of renormalization by viewing the regularized Schwinger-Dyson hierarchy as a meromorphic connection, that is, as a D-module on the product of spacetime with the regulator disc. The irregular…

We prove that a Hodge--Tate prismatic crystal on (O_K)_{\Prism} is uniquely determined by a topologically "nilpotent" operator. Using this operator, we construct a C_p-representation of G_K from a Hodge--Tate crystal in an explicit way. We…

We prove that algebraic de Rham cohomology as a functor defined on smooth $\mathbb{F}_p$-algebras is formally \'etale in a precise sense. This result shows that given de Rham cohomology, one automatically obtains the theory of crystalline…

Let $\mathcal{X}$ 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 $\mathcal{M}\mathcal{F}_{[0,…

For a variety $X$ separated over a perfect field of characteristic $p>0$ which admits an embedding into a smooth variety, we establish an anti-equivalence between the bounded derived categories of Cartier crystals on $X$ and constructible…

Let $k$ be a perfect field of characteristic $p > 2$, and let $K$ be a finite totally ramified extension over $W(k)[\frac{1}{p}]$. Let $R_0$ be an unramified relative base ring over $W(k)\langle X_1^{\pm 1}, \ldots, X_d^{\pm 1}\rangle$, and…