Related papers: Classicality of derived Emerton-Gee stack

We prove a conjecture of Emerton, Gee and Hellmann concerning the overconvergence of \'etale $(\varphi,\Gamma)$-modules in families parametrized by topologically finite type $\mathbb{Z}_{p}$-algebras. As a consequence, we deduce the…

Let $R$ be a Banach ring. We prove that the category of chain complexes of complete bornological $R$-modules (and several related categories) is a derived algebraic context in the sense of Raksit. We then use the framework of derived…

This is a survey paper on derived symplectic geometry, that will appear as a chapter contribution to the book "New Spaces for Mathematics and Physics", edited by Mathieu Anel and Gabriel Catren. Our goal is to explain how derived stacks can…

Let G be a finite group of complex n by n unitary matrices generated by reflections acting on C^n. Let R be the ring of invariant polynomials, and \chi be a multiplicative character of G. Let \Omega^\chi be the R-module of \chi-invariant…

We prove a K\"unneth-type equivalence of derived categories of lisse and constructible Weil sheaves on schemes in characteristic $p > 0$ for various coefficients, including finite discrete rings, algebraic field extensions $E \supset…

Let $K/\mathbb Q_{p}$ be a finite extension with ring of integers $o$, let $G$ be a connected reductive split $\mathbb Q_{p}$-group of Borel subgroup $P=TN$ and let $\alpha$ be a simple root of $T$ in $N$. We associate to a finitely…

Let $X$ be an algebraic stack with quasi-affine diagonal of finite type over a field $k$ of characteristic $0$. We extend the well-known equivalence $\mathsf{D}^+(\mathsf{QCoh}(X)) \simeq \mathsf{D}_{\mathrm{qc}}^+(X)$ to unbounded derived…

Given a proper morphism X -> S, we show that a large class of objects in the derived category of X naturally form an Artin stack locally of finite presentation over S. This class includes S-flat coherent sheaves and, more generally,…

Let $R$ be the ring of integers in a finite extension $K$ of $\mathbb{Q}_p$, let $k$ be its residue field and let $\chi:\pi_1(X)\to R^{\times}=GL_{1}(R)$ be a "geometric" rank one representation of the arithmetic fundamental group of a…

We assume given a smooth symplectic (in the algebraic sense) resolution $X$ of an affine algebraic variety $Y$, and we prove that, possibly after replacing $Y$ with an etale neighborhood of a point, the derived category of coherent sheaves…

For the simple Lie algebra $g = sl(n,C)$ we we find a set of generators and relations for the classical family algebra $(End(g)\otimes S(g))^G$ as an algebra over the ring $I(g)$. From these we can then determine a $I(g)$-linear basis of…

In this paper we present an approach to quadratic structures in derived algebraic geometry. We define derived n-shifted quadratic complexes, over derived affine stacks and over general derived stacks, and give several examples of those. We…

Let $K/\mathbb{Q}_p$ be a finite extension with residue field $k$. By a work of Emerton--Gee, irreducible components inside the reduced special fiber of the moduli stack of rank $n$ \'etale $(\varphi,\Gamma)$-modules are labeled by Serre…

We prove that the $\infty$-category of surjections of animated rings is projectively generated, introduce and study the notion of animated PD-pairs - surjections of animated rings with a "derived" PD-structure. This allows us to generalize…

Starting from a collection of line bundles on a projective toric orbifold X, we introduce a stacky analogue of the classical linear series. Our first main result extends work of King by building moduli stacks of refined representations of…

Let K_{f} be the finite unramified extension of Q_{p} of degree f and E any finite large enough coefficient field containing K_{f}. We construct analytic families of \'etale (Phi,Gamma)-modules which give rise to families of crystalline…

For any nullity $2$ extended affine Lie algebra $\mathcal{E}$ of maximal type and $\ell\in\mathbb{C}$, we prove that there exist a vertex algebra $V_{\mathcal{E}}(\ell)$ and an automorphism group $G$ of $V_{\mathcal{E}}(\ell)$ equipped with…

We study the Fulton-Macpherson operational Chow rings of good moduli spaces of properly stable, smooth, Artin stacks. Such spaces are \'etale locally isomorphic to geometric invariant theory quotients of affine schemes, and are therefore…

We construct the derived scheme of stable sheaves on a smooth projective variety via derived moduli of finite graded modules over a graded ring. We do this by dividing the derived scheme of actions of Ciocan-Fontanine and Kapranov by a…

Cyclic, ramified extensions $L/K$ of degree $p$ of local fields with residue characteristic $p$ are fairly well understood. Unless $\mbox{char}(K)=0$ and $L=K(\sqrt[p]{\pi_K})$ for some prime element $\pi_K\in K$, they are defined by an…