Related papers: Smoothness of the truncated display functor

Geometry of buildings is used to prove some homological properties of the category of smooth representations of a reductive p-adic group (Kazhdan's "pairing conjecture", Bernstein's description of homological duality in terms of…

Let G be the Tate module of a p-divisble group H over a perfect field k of characteristic p. A theorem of Scholze-Weinstein describes G (and therefore H itself) in terms of the Dieudonne module of H; more precisely, it describes G(C) for…

We construct a new cohomology theory for proper smooth (formal) schemes over the ring of integers of C_p. It takes values in a mixed-characteristic analogue of Dieudonne modules, which was previously defined by Fargues as a version of…

We compare the bicategory of spans with that of bisets (a.k.a. bimodules, distributors, profunctors) in the context of finite groupoids. We construct in particular a well-behaved pseudo-functor from spans to bisets. This yields an…

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…

In this paper we treat Grothendieck Duality for noetherian rings via rigid dualizing complexes. In particular, we prove that every ring, essentially finite type over a regular base ring, has a unique rigid dualizing complex. The rigid…

Let G be a smooth group scheme over $F_p$ equipped with a $G_m$-action such that all weights of $G_m$ on the Lie algebra of G are not greater than 1. Let $Disp_n^G$ be Eike Lau's stack of n-truncated G-displays (this is an algebraic stack…

We provide two methods for constructing smooth bump functions and for smoothly cutting off smooth functions on fractals, one using a probabilistic approach and sub-Gaussian estimates for the heat operator, and the other using the analytic…

Among all affine, flat, finitely presented group schemes, we focus on those that are pure, this includes all groups which are extensions of a finite locally free group by a group with connected fibres. We prove that over an arbitrary base…

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$.…

We first provide an approach to the recent conjecture of Bierstone-Milman-Pawlucki on Whitney's old problem on smooth extendability of functions defined on a closed subset of a Euclidean space, using higher order paratangent bundle they…

We first provide a detailed proof of Kato's classification theorem of log $p$-divisible groups over a noetherian henselian local ring. Exploring Kato's idea further, we then define the notion of a standard extension of a classical finite…

Let G be a connected reductive algebraic group over an algebraically closed field k. In a recent paper, Bate, Martin, R\"ohrle and Tange show that every (smooth) subgroup of G is separable provided that the characteristic of k is very good…

In this paper, we introduce the notion of parabolic log convergent isocrystals on smooth varieties endowed with a simple normal crossing divisor, which is a kind of $p$-adic analogue of the notion of parabolic bundles on smooth varieties…

Let $Y/S$ be a $p$-completely smooth morphism of $p$-torsion free $p$-adic formal schemes endowed with a Frobenius lift, and let $\overline Y/\overline S$ denote its reduction modulo $p$. We show that the category of crystals on the…

We extend the results of Deligne and Illusie on liftings modulo $p^2$ and decompositions of the de Rham complex in several ways. We show that for a smooth scheme $X$ over a perfect field $k$ of characteristic $p>0$, the truncations of the…

Let G be an orthogonal or symplectic p-adic group (not necessarily split) or an inner form of a general linear p-adic group. In a previous paper, it was shown that the Bernstein components of the category of smooth representations of G are…

The description of irreducible representations of a group G can be seen as a question in harmonic analysis; namely, decomposing a suitable space of functions on G into irreducibles for the action of G x G by left and right multiplication.…

In this paper, we associate to every $p$-adic representation $V$ a $p$-adic differential equation $\mathbf{D}^{\dagger}_{\mathrm{rig}}(V)$, that is to say a module with a connection over the Robba ring. We do this via the theory of…

We show how a quasi-smooth derived enhancement of a Deligne-Mumford stack X naturally endows X with a functorial perfect obstruction theory in the sense of Behrend-Fantechi. This result is then applied to moduli of maps and perfect…