Related papers: Crystalline prisms: Reflections and diffractions, …

We define pullback and separated presentations of modules over pullback rings, and, if the ring is a pullback of epimorphisms over a semisimple ring, an algorithm reducing such a presentation of a module to an $R$-diagram. The latter is the…

Let \pi : X -> S be a finite type morphism of noetherian schemes. A smooth formal embedding of X (over S) is a bijective closed immersion X -> \frak{X}, where \frak{X} is a noetherian formal scheme, formally smooth over S. An example of…

We study Nygaard-, conjugate-, and Hodge filtrations on the many variants of Breuil--Kisin modules associated to integral semi-stable Galois representations. This leads to an integral Sen operator satisfying certain ``$1$-degree shrinking"…

We introduce skein theoretic techniques to compute the Yang-Baxter (YB) homology and cohomology groups of the R-matrix corresponding to the Jones polynomial. More specifically, we show that the YB operator $R$ for Jones, normalized for…

Let $\phi:\Z/p\to GL_{n}(\Z)$ denote an integral representation of the cyclic group of prime order $p$. This induces a $\Z/p$-action on the torus $X=\R^{n}/\Z^{n}$. The goal of this paper is to explicitly compute the cohomology groups…

We show that to every p-divisible group over a p-adic ring one can associate a display by crystalline Dieudonne theory. For an appropriate notion of truncated displays, this induces a functor from truncated Barsotti-Tate groups to truncated…

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…

We show an equivalence between the two categories in the title, thus establishing a link between Frobenius-linear objects of formal (schematic) and analytic (adic) nature. We will do this for arbitrary p-complete rings, arbitrary…

We show that the bounded derived category of regular holonomic D-modules on a smooth variety is equivalent to the homotopy catgory of compact (or constructible) modules over the motivic ring spectrum $H_{dR}$ representing algebraic de Rham…

Let $K$ be a complete discrete valuation field of characteristic $0$ with perfect residue field of characteristic $p>0$. We introduce the notion of crystalline $(\varphi,\Gamma)$-modules over $\widetilde{\mathbb{A}}_K^{+}$ and show that…

In local relative $p$-adic Hodge theory, we show that the Galois cohomology of a finite height crystalline representation (up to a twist) is essentially computed via the (Fontaine--Messing) syntomic complex with coefficients in the…

In the present article, we combine some techniques in the harmonic analysis together with the geometric approach given by modules over sheaves of rings of twisted differential operators ($\mathcal{D}$-modules), and reformulate the…

We study the projective linear group PGL_2(A), associated with an arbitrary algebra A, and its subgroups from the point of view of their action on the space of involutions in A. This action formally resembles Moebius transformations known…

We develop prismatic and syntomic cohomology relative to a $\delta$-ring. This simultaneously generalizes Bhatt and Scholze's absolute and relative prismatic cohomology and shows that the latter, which was defined relative to a prism, is in…

Let $G$ be a reductive group scheme over the $p$-adic integers, and let $\mu$ be a minuscule cocharacter for $G$. In the Hodge-type case, we construct a functor from nilpotent $(G,\mu)$-displays over $p$-nilpotent rings $R$ to formal…

Let $k$ be a perfect field of characteristic $p>0$, $\mathcal{V}$ a complete discrete valuation ring with residue field $k$ and field of fractions $K$ of characteristic 0, and $S$ a separated $k$-scheme of finite type. When $S$ is smooth…

For the cyclic group $C_2$ we give a complete description of the derived category of perfect complexes of modules over the constant Mackey ring $\underline{\mathbb{Z}/\ell}$, for $\ell$ a prime. This is fairly simple for $\ell$ odd, but for…

For a smooth affine group scheme $G$ over the ring of $p$-adic integers $\mathbb{Z}_p$ and a cocharacter $\mu$ of $G$, we study $G$-$\mu$-displays over the prismatic site of Bhatt-Scholze. In particular, we obtain several descent results…

We give an explicit formula for the correspondence between simple Yetter-Drinfeld modules for certain finite-dimensional pointed Hopf algebras $H$ and those for cocycle twists $H^{\sigma}$ of $H$. This implies an equivalence between modules…

We prove a deformation theorem for prismatic higher $(G,\mu)$-displays over quasi-syntomic rings. As an application, we extend the classification of $p$-divisible groups via prismatic Dieudonn\'e modules to a class of rings, properly…