Related papers: On Shimurian generalizations of the stack $BT_1\ot…

In a 2013 article, Eike Lau constructed a canonical morphism from the stack of $n$-truncated Barsotti-Tate groups over $F_p$ to the stack of $n$-truncated displays. He also proved that this morphism is a gerbe banded by a commutative group…

We use the newly developed stacky prismatic technology of Drinfeld and Bhatt-Lurie to give a uniform, group-theoretic construction of smooth stacks $\mathrm{BT}^{G,\mu}_{n}$ attached to a smooth affine group scheme $G$ over $\mathbb{Z}_p$…

We first recall Grothendieck's notion of n-truncated Barsotti-Tate group. Such groups form an algebraic stack over the integers. The problem is to give an illuminating description of its reductions modulo powers of p. A related problem is…

Let $F$ be an arbitrary $p$-adic field and let $G$ be an arbitrary reductive group over $F$ with Langlands dual group $^LG$. We show that the change-of-group morphism of Emerton-Gee stacks $\mathcal{X}_{^LG}\to\mathcal{X}_{GL_d}$ is…

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 $G={\rm GL}_n$ be the general linear group over an algebraically closed field $k$, let $\mathfrak g=\mathfrak gl_n$ be its Lie algebra and let $U$ be the subgroup of $G$ which consists of the upper uni-triangular matrices. Let…

Let $F$ be a totally real field in which $p$ is unramified. Let $\overline{r}: G_F \rightarrow \mathrm{GL}_2(\overline{\mathbb{F}}_p)$ be a modular Galois representation which satisfies the Taylor--Wiles hypotheses and is tamely ramified…

We introduce an explicit method for studying actions of a group stack G on an algebraic stack X. As an example, we study in detail the case where X=P(n_0,...,n_r) is a weighted projective stack over an arbitrary base S. To this end, we give…

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…

Let $G$ be a reductive algebraic group with Lie algebra $\mathfrak{g}$ and $V$ a finite-dimensional representation of $G$. Costello-Gaiotto studied a graded Lie algebra $\mathfrak{d}_{\mathfrak{g}, V}$ and the associated affine Kac-Moody…

We start with a small paradigm shift about group representations, namely the observation that restriction to a subgroup can be understood as an extension-of-scalars. We deduce that, given a group $G$, the derived and the stable categories…

An $F$-zip over a scheme $S$ over a finite field is a certain object of semi-linear algebra consisting of a locally free module with a descending filtration and an ascending filtration and a $\Frob_q$-twisted isomorphism between the…

Let $p$ be a prime. Given a split semisimple group scheme $G$ over a normal integral domain $R$ which is a faithfully flat $\mathbb Z_{(p)}$-algebra, we classify all finite dimensional representations $V$ of the fiber $G_K$ of $G$ over…

Let $X$ be a fine and saturated log scheme, and let $G$ be a commutative finite flat group scheme over the underlying scheme of $X$. If $G$-torsors for the fppf topology can be thought of as being unramified objects by nature, then…

For a compact real form $U$ of a complex simple Lie group $G$, and an irreducible representation $\rho:\Gamma \to U$ of a Fuchsian group of the first kind $\Gamma$, it is shown that the classical isomorphism of Shimura, for the periods of a…

We introduce a geometric completion of the stack of maps from stable marked curves to the quotient stack [point/GL(1)], and use it to construct some gauge-theoretic analogues of the Gromov-Witten invariants. We also indicate the…

We give a definition of full level structure on group schemes of the form $G\times G$, where $G$ is a finite flat commutative group scheme of rank $p$ over a $\mathbb{Z}_p$-scheme $S$ or, more generally, a truncated $p$-divisible group of…

Let $F$ be a finite unramified extension of $\mathbb{Q}_p$ with ring of integers $\mathcal{O}_F$, and let $\mathbf{G}$ denote a split, connected reductive group over $\mathcal{O}_F$. We fix a Borel subgroup $\mathbf{B} =…

We use the Tannakian formalism to define the Emerton--Gee stack for general groups. For a flat algebraic group G over Z_p, we are able to prove the associated Emerton--Gee stack is a formal algebraic stack locally of finite presentation…

This is the second in a sequence of articles, in which we explore moduli stacks of global G-shtukas, the function field analogs for Shimura varieties. Here G is a flat affine group scheme of finite type over a smooth projective curve C over…