The étale local structure of algebraic stacks

Abstract

We prove that an algebraic stack with affine stabilizers over an arbitrary base is étale-locally a quotient stack around any point with a linearly reductive stabilizer. This generalizes earlier work by the authors of this article (stacks over algebraically closed fields) and by Abramovich, Olsson and Vistoli (stacks with finite inertia). In addition, we prove a number of foundational results, which are new even over a field. These include various coherent completeness and effectivity results for adic sequences of algebraic stacks. Finally, we give several applications of our results and methods, such as structure theorems for linearly reductive group schemes and generalizations to the relative setting of Sumihiro's theorem on torus actions and Luna's étale slice theorem.

arXiv comment61 pages; v4 additional reorganization and renumbering, together with a number of corrections; v3 reorganization and renumbering of sections, other small comments and corrections; v2 replaced Theorem 1.3 with a variant and added Section 17 on further applications to good moduli spaces

References in corpus (10)

• The six operations in equivariant motivic homotopy theory
• A Luna étale slice theorem for algebraic stacks
• Noetherian approximation of algebraic spaces and stacks
• Existence of moduli spaces for algebraic stacks
• Étale dévissage, descent and pushouts of stacks
• Algebraic groups and compact generation of their derived categories of representations
• Approximation of sheaves on algebraic stacks
• The Hilbert Stack
• The canonical embedding of an unramified morphism in an étale morphism
• Mayer-Vietoris squares in algebraic geometry

Cited by in corpus (12)

• Existence of moduli spaces for algebraic stacks
• K-theory and G-theory of derived algebraic stacks
• Categorical Milnor squares and K-theory of algebraic stacks
• Purity and 2-Calabi-Yau categories
• On nilpotent extensions of $\infty$-categories and the cyclotomic trace
• The Nisnevich Motive of an Algebraic Stack
• Computing isogenies from modular equations in genus two
• A generalization of Luna's fundamental lemma for stacks with good moduli spaces
• Varieties of general type with doubly exponential asymptotics
• Intrinsic Stabilizer Reduction and Generalized Donaldson-Thomas Invariants
• On window theorem for categorical Donaldson-Thomas theories on local surfaces and its applications
• The $\mathrm{Br}={\mathrm{Br}}^{\prime }$ question for some classifying stacks