Partial desingularizations of good moduli spaces of Artin toric stacks
type: Item
instance of: scholarly article
title: Partial desingularizations of good moduli spaces of Artin toric stacks
zbMATH Open document ID: 1254.14015
author: Dan Edidin
author: Yogesh More
published in: Michigan Mathematical Journal
publication date: 2012-10-31T00:00:00Z
full work available at URL: https://arxiv.org/abs/1012.1301
full work available at URL: https://projecteuclid.org/euclid.mmj/1347040252
review text: Let \(\mathbb{C}\) be the base field. Let \(G\) be a reductive linear algebraic group acting properly on a smooth projective variety \(X\). By Geometric Invariant Theory, one has open subsets \(X^s \subset X^{ss} \subset X\) of stable and semi-stable points. The quotient \(X^{ss}/G\) is projective and generally singular; and the quotient \(X^{s}/G\) has at most finite quotient singularities. \textit{F. C. Kirwan} [Ann. Math. (2) 122, 41--85 (1985; Zbl 0592.14011)] described a procedure of blowing \(X\) up along a sequence of smooth \(G\)-invariant subvarieties to obtain a variety \(X'\) with a \(G\)-action, such that every semistable point of \(X'\) is stable. Hence, the quotient variety \((X')^{ss}/G\) is projective with only finite quotient singularities, and there is an induced projective birational morphism \((X')^{ss}/G \to X^{ss}/G\) which is an isomorphism over the open set \(X^s/G\). One can therefore consider \((X')^{ss}/G\) as a partial desingularization of \(X^{ss}/G\). In this paper, the authors study a similar construction when \(\mathcal{X}\) is an Artin toric stack. To do this, they use \textit{Reichstein transformations}, which are certain birational transformations of Artin stacks with good moduli spaces. Let \(\mathcal{C} \subset \mathcal{X}\) be a closed substack. Then the Reichstein transformation of \(\mathcal{X}\) relative to \(\mathcal{C}\) is defined to be the complement of the strict transform of the saturation of \(\mathcal{C}\) relative to the quotient map \(q: \mathcal{X} \to M\) in the blow-up of \(\mathcal{X}\) along \(\mathcal{C}\). Theorem 4.7 states that the Reichstein transformation of a toric stack along a toric substack is another toric stack, which can moreover be described combinatorially in terms of the original toric stack. Applying this result repeatedly gives the result.
reviewed by: Emre Coskun
Mathematics Subject Classification ID: 14D23
Mathematics Subject Classification ID: 14M25
zbMATH DE Number: 6100765
MaRDI profile type: Publication
OpenAlex ID: W2059226443
arXiv ID: 1012.1301
cites work: Good moduli spaces for Artin stacks
cites work: The orbifold Chow ring of toric Deligne-Mumford stacks
cites work: Q4324883
cites work: Toric varieties
cites work: Q4780265
cites work: Variation of geometric invariant theory quotients. (With an appendix: ``An example of a thick wall'' by Nicolas Ressayre)
cites work: Smooth toric Deligne-Mumford stacks
cites work: Introduction to Toric Varieties. (AM-131)
cites work: The category of toric stacks
cites work: Quotients by groupoids
cites work: Partial desingularisations of quotients of nonsingular varieties and their Betti numbers
cites work: Quotient spaces modulo algebraic groups
cites work: Geometric Invariant Theory
cites work: Stability and equivariant maps
cites work: Canonical Artin stacks over log smooth schemes
cites work: Quotient spaces modulo reductive algebraic groups
cites work: Geometric invariant theory and flips
cites work: Decomposition of Birational Toric Maps in Blow-Ups and Blow-Downs
DOI: 10.1307/MMJ/1347040252
description: scientific article