A Luna étale slice theorem for algebraic stacks

DOI10.4007/ANNALS.2020.191.3.1MaRDI QIDQ2173671zbMATH OpenOpenAlexFDO

Authors Jarod Alper, Jack Hall, David Rydh

Publication date 17 April 2020

Published in Annals of Mathematics. Second Series (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1504.06467, http://hdl.handle.net/10150/641331

zbMATH Keywords

algebraic stacks equivariant geometry moduli spaces quotients

Mathematics Subject Classification ID

Stacks and moduli problems (14D23)

Abstract: We prove that every algebraic stack, locally of finite type over an algebraically closed field with affine stabilizers, is 'etale-locally a quotient stack in a neighborhood of a point with a linearly reductive stabilizer group. The proof uses an equivariant version of Artin's algebraization theorem proved in the appendix. We provide numerous applications of the main theorems.

Review text

The paper contains several foundational results on algebraic stacks \(\mathscr{X}\) that are locally of finite type over algebraically closed fields \(k\), and have affine stabilizers. The main result is the following: Suppose \(x\in \mathscr{X}(k)\) is a rational point, \(G_x\) the stabilizer group scheme, and \(H\) be a subgroup scheme that is linearly reductive, with \(G_x/H\) smooth. Then there is an smooth morphism \[ f:([\operatorname{Spec}(A)/H], w)\longrightarrow (\mathscr{X},x) \] for some affine scheme \(\operatorname{Spec}(A)\) with \(H\)-action and rational fixed point \(w\), such that the stack of \(H\)-torsors \(BH\) is equivalent to the pullback \(f^{-1}(BG_x)\). Moreover, one may assume that \(f\) is étale if \(G_x/H\) is étale, and affine if \(\mathscr{X}\) has affine diagonal. The result confirms that the quotient stacks \([\operatorname{Spec}(A)/H]\) are indeed the basic building blocks for algebraic stacks of the above type with linearly reductive stabilizers. A more refined version holds if additionally \(x\in\mathscr{X}\) is smooth and the whole stabilizer \(G_x\) is linearly reductive: Then there is a commutative diagram \[ \begin{tikzcd} ([N_x/G],0) \longleftarrow \arrow[d] & ([\operatorname{Spec}(A)/G_x]),w) \arrow[r, "f"] & (\mathscr{X},x) \\ (N_x/\!\!/G_x,0) \arrow[r] & (U,u) \end{tikzcd} \] where \(f\) is étale and induces an isomorphism of stabilizers, the square is cartesian, and the lower arrow is an affine étale morphism from an affine scheme \(U\) to the the GIT quotient \( N_x/\!\!/G_x\). Here \(N_x=(\mathscr{I}/\mathscr{I}^2)^\vee\) denotes the normal space for \(x\in\mathscr{X}\) viewed as a \(G_x\)-representation. The authors give many applications, both of local and global nature. To mention a few, they establish the existence of equivariant miniversal deformation spaces for singular curves, compact generation of derived categories of certain algebraic stacks, and Białynicki-Birula decompositions for Deligne-Mumford stacks with \(\mathbb{G}_m\)-actions. A key ingredient for the proof of the main results is a theory of \emph{coherent completeness} for algebraic stacks. If \(A\) is a complete local noetherian ring, the finitely generated \(A\)-modules can be seen as compatible systems of finitely generated modules over \(A/\mathfrak{m}_A^{n+1}\). The authors shows that under suitable hypothesis a similar equivalence of categories \[ \operatorname{Coh}(\mathscr{X}) \longrightarrow \varprojlim \operatorname{Coh}(\mathscr{X}^{[n]}_x) \] holds for algebraic stacks \(\mathscr{X}=[\operatorname{Spec}(A)/G]\). Another important ingredient are results on Artin Algebraization in an equivariant setting, which are developed in the appendix.

Recommendations

Cited in

(74)

This page was built for publication: A Luna étale slice theorem for algebraic stacks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2173671)