Related papers: Dieudonn\'e theory via classifying stacks and pris…

Let $\Sigma_d$ denote the symmetric group of degree $d$ and let $K$ be a field of positive characteristic $p$. For $p>2$ we give an explicit description of the first cohomology group $H^1(\Sigma_d,{\rm{Sp}}(\lambda))$, of the Specht module…

We compute syntomic cohomology of semistable affinoids in terms of cohomology of $(\varphi,\Gamma)$-modules which, thanks to work of Fontaine-Herr, Andreatta-Iovita, and Kedlaya-Liu, is known to compute Galois cohomology of these affinoids.…

Broadly speaking the present is a homotopy complement to the book of Giraud, albeit in a couple of different ways. In the first place there is a representability theorem for maps to a topological champ (a.k.a. stack) and whence an extremely…

We generalize Quillen's $F$-isomorphism theorem, Quillen's stratification theorem, the stable transfer, and the finite generation of cohomology rings from finite groups to homotopical groups. As a consequence, we show that the category of…

The goal of this paper is to study the absolute prismatic cohomology of $p$-adic formal schemes. We do so by recasting the notion of a prismatic crystal on $\mathrm{Spf}(\mathbf{Z}_p)$ in terms of quasicoherent sheaves on a geometric object…

Let $X$ be a topological space with Noetherian mod $p$ cohomology and let $C^*(X;\mathbb{F}_p)$ be the commutative ring spectrum of $\mathbb{F}_p$-valued cochains on $X$. The goal of this paper is to exhibit conditions under which the…

We introduce and study the family of trigonometric Gaudin subalgebras in $U g^{\otimes n}$ for arbitrary simple Lie algebra $g$. This is the family of commutative subalgebras of maximal possible transcendence degree that serve as a…

In this paper, we prove the integrality conjecture for quotient stacks arising from weakly symmetric representations of reductive groups. Our main result is a decomposition of the cohomology of the stack into finite-dimensional components…

We prove a rank-finiteness conjecture for modular categories: up to equivalence, there are only finitely many modular categories of any fixed rank. Our technical advance is a generalization of the Cauchy theorem in group theory to the…

We observe that on the level of derived categories, representations of the Lie algebra of a semisimple algebraic group over a field of characteristic $p> h$ (where $h$ is the Coxeter number), with a given (generalized) central character are…

Let $K|\mathbb{Q}_p$ be a complete discrete valuation field with perfect residue field, $O_K$ be its ring of integers. Consider a semistable $p$-adic formal scheme $X$ over $\mathrm{Spf}(O_K)$ with smooth generic fiber $X_{\eta}$.…

Stacks have become a prevalent tool in studying problems with connections to String Theory, hence we see a need to develop a theory of supersymmetric stacks proper. We first define derived stacks on $\mathbb{Z}_2$-bi-graded k-modules…

By the theory of Colmez and Fontaine, a de Rham representation of the Galois group of a local field roughly corresponds to a representation of the Weil-Deligne group equipped with an admissible filtration on the underlying vector space.…

We extend the usual internal logic of a (pre)topos to a more general interpretation, called the stack semantics, which allows for "unbounded" quantifiers ranging over the class of objects of the topos. Using well-founded relations inside…

We study representations of the classical infinite dimensional real simple Lie groups $G$ induced from factor representations of minimal parabolic subgroups $P$. This makes strong use of the recently developed structure theory for those…

We develop a framework for derived deformation theory, valid in all characteristics. This gives a model category reconciling local and global approaches to derived moduli theory. In characteristic 0, we use this to show that the homotopy…

We prove a formula, originally due to Feit and Fine, for the class of the commuting variety in the Grothendieck group of varieties. Our method, which uses a power structure on the Grothendieck group of stacks, allows us to prove several…

We show for all local fields $K/\mathbb{Q}_p$, with $p >3$, all representations $\bar\rho:G_K \to G_2(\bar{\mathbb{F}}_p)$ admit a crystalline lift $\rho: G_K\to G_2(\bar{\mathbb{Z}}_p)$, where $G_2$ is the exceptional Chevalley group of…

Let $G$ be a reductive group defined over an algebraically closed field of characteristic $0$ such that the Dynkin diagram of $G$ is the disjoint union of diagrams of types $G_{2}, F_{4}, E_{6}, E_{7}, E_{8}$. We show that the degree $3$…

We describe various equivalent ways of associating to an orbifold, or more generally a higher \'etale differentiable stack, a weak homotopy type. Some of these ways extend to arbitrary higher stacks on the site of smooth manifolds, and we…