Terminal quotient singularities in dimension three via variation of GIT (Q324236): Difference between revisions

Given a group \(G\) acting on a variety \(M\), the McKay Correspondence studies the relation between resolutions of singularities \(\phi:Y\to M/G\) and certain moduli spaces of \(G\)-equivariant objects in \(M\). When \(M=\mathbb{C}^3\) and the group \(G\) is a finite subgroup of \(\mathrm{SL}_3(\mathbb{C})\) the celebrated result of \textit{T. Bridgeland} et al. [J. Am. Math. Soc. 14, No. 3, 535--554 (2001; Zbl 0966.14028)] asserts that \(G\)-Hilb\((\mathbb{C}^3)\), the fine moduli space of \textit{\(G\)-clusters} (or scheme-theoretic orbits), is actually a crepant resolution. The paper under revision studies the case when \(G\subset \mathrm{GL}_3(\mathbb{C})\) where instead of looking for crepant resolutions, which no longer exist, one can ask about the ``closest resolution to being crepant''. This approach leads to the notion of \textit{economic resolutions} (also known as the Danilov resolution in the abelian case), which are obtained as a sequence of weighted blowups. In this case one has to consider the generalization of \(G\)-clusters know us \textit{\(G\)-constellations}, which are \(G\)-equivariant coherent sheaves \(\mathcal{F}\) on \(\mathbb{C}^n\) with \(H^0(\mathcal{F})\) isomorphic to the regular representation \(\mathbb{C}[G]\) as \(\mathbb{C}[G]\)-modules. For a generic stability parameter \(\theta\), it is know by \textit{A. Craw} et al. [Proc. Lond. Math. Soc. (3) 95, No. 1, 179--198 (2007; Zbl 1140.14046)] that the (possibly not normal) moduli space \(\mathcal{M}_\theta\) of \(\theta\)-stable \(G\)-constellations contains a unique irreducible component \(Y_\theta\) which is birational to \(\mathbb{C}^n/G\). Following the spirit of \textit{I. Nakamura}'s \(G\)-graphs to construct \(G\)-Hilb\((\mathbb{C}^3)\) [J.\ Algebr.\ Geom.\ 10, No.\ 4, 757--779 (2001; Zbl 1104.14003)], the author introduces the notion of \textit{G-bricks} to show that the economic resolution of a 3-fold terminal quotient singularity \(\mathbb{C}^3/G\), that is \(G=\frac{1}{r}(1,a,r-a)\) with \(r\) coprime to \(a\), is isomorphic to the birational component \(Y_\theta\) of the moduli space \(\mathcal{M}_\theta\) for a suitable stability parameter \(\theta\). This result was conjectured by \textit{O. Kędzierski} [Tohoku Math. J. (2) 66, No. 3, 355--375 (2014; Zbl 1309.14010)]. In fact, \(G\)-bricks determines an affine open cover of \(Y_\theta\), which consists of a union of copies of \(\mathbb{C}^3\). The author finishes with the explicit example \(G=\frac{1}{12}(1,7,5)\), relating it with Kedzierski's calculations.