Related papers: Dieudonn\'e theory over semiperfect rings and perf…

We prove that for any proper smooth formal scheme $\frak X$ over $\mathcal O_K$, where $\mathcal O_K$ is the ring of integers in a complete discretely valued nonarchimedean extension $K$ of $\mathbb Q_p$ with perfect residue field $k$ and…

Let $ S $ be the special fibre of the good reduction of a Shimura variety of Hodge type. By constructing adapted deformations for the associated $p$-divisible groups of $ S $, we manage to construct a morphism from $S$ to some quotient…

We adapt a technique of Kisin to construct and study crystalline deformation rings of $G_K$ for a finite extension $K/\mathbb{Q}_p$. This is done by considering a moduli space of Breuil--Kisin modules, satisfying an additional Galois…

In the proof of Crew's parabolicity conjecture, we established a key property concerning the slopes of $\dagger$-hulls of $F$-isocrystals, extending a result of Tsuzuki. This article presents an alternative proof of this theorem for a…

We develop the theory of groupoid graded semisimple rings. Our rings are neither unital nor one-sided artinian. Instead, they exhibit a strong version of having local units and being locally artinian, and we call them $\Gamma_0$-artinian.…

We systematically study relative and absolute ${\Delta}_{\mathrm{dR}}^+$-crystals on the (log-) prismatic site of a smooth (resp.~ semi-stable) formal scheme. Using explicit computation of stratifications, we classify (local) relative…

We prove that an $F$-crystal $(M,\vph)$ over an algebraically closed field $k$ of characteristic $p>0$ is determined by $(M,\vph)$ mod $p^n$, where $n\ge 1$ depends only on the rank of $M$ and on the greatest Hodge slope of $(M,\vph)$. We…

Let $(A, I)$ be a bounded prism, and $X$ be a smooth $p$-adic formal scheme over $\Spf(A/I)$. We consider the notion of crystals on Bhatt--Scholze's prismatic site $(X/A)_{\prism}$ of $X$ relative to $A$. We prove that if $X$ is proper over…

Let $\mathcal{O}_K$ be a mixed characteristic complete discrete valuation ring with perfect residue field. We study $\mathbb{B}_\mathrm{dR}^+$-crystals on the (log-) prismatic site of $\mathcal{O}_K$, which are crystals defined over the de…

Idempotents dominate the structure theory of rings. The Peirce decomposition induced by an idempotent provides a natural environment for defining and classifying new types of rings. This point of view offers a way to unify and to expand the…

For a finite field k and a triple of integers g \ge r \ge s \ge 0, we count the number of semilinear endomorphisms of a g-dimensional k-vector space which have rank r and stable rank s. Such endomorphisms show up naturally in the…

We describe a probability distribution on isomorphism classes of principally quasi-polarized p-divisible groups over a finite field k of characteristic p which can reasonably be thought of as "uniform distribution," and we compute the…

We describe certain sufficient conditions for an infinitely divisible probability measure on a class of connected Lie groups to be embeddable in a continuous one-parameter convolution semigroup of probability measures. (Theorem 1.3). This…

We show an equivalence of categories, over general $p$-adic bases, between finite locally $p^n$-torsion commutative group schemes and $\Int/p^n\Int$-modules in perfect $F$-gauges of Tor amplitude $[-1,0]$ with Hodge-Tate weights $0,1$. By…

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,…

A purity conjecture due to Grothendieck and Auslander--Goldman predicts that the Brauer group of a regular scheme does not change after removing a closed subscheme of codimension $\ge 2$. The combination of several works of Gabber settles…

Let $k$ be a perfect field of characteristic $p > 2$, and let $K$ be a finite totally ramified extension of $W(k)[\frac{1}{p}]$ of ramification degree $e$. We consider an unramified base ring $R_0$ over $W(k)$ satisfying certain conditions,…

Let $X$ be a smooth projective curve over a finite field of characteristic $p$. We describe and implement a practical algorithm for computing the $p$-divisible group $Jac(X)[p^\infty]$ via computing its Dieudonn\'{e} module, or equivalently…

For a perfect field $k$ of characteristic $p>0$ and a smooth and proper formal scheme $\mathscr{X}$ over the ring of integers of a finite and totally ramified extension $K$ of $W(k)[1/p]$, we propose a cohomological construction of the…

Let $V$ be a complete discrete valued ring of mixed characteristic $(0,p)$, $K$ its field of fractions, $k$ its residue field which is supposed to be perfect. Let $X$ be a separated $k$-scheme of finite type and $Y$ be a smooth open of $X$.…