Danilov's resolution and representations of the McKay quiver (Q481410)

Let \(G\subset \text{GL}(n,\mathbb C)\) be a finite group and consider the corresponding quotient singularity \(X=\mathbb A^n/G\). Inspired by the classical McKay correspondence, many interesting connections between resolutions \(Y\to X\) of the quotient singularity and the representation theory of \(G\) have been discovered. In particular, for \(G\subset \text{SL}(3,\mathbb C)\) abelian, every projective crepant resolution is given by a moduli space of \(G\)-constellations or, equivalently, a moduli space of representations of the McKay quiver of \(G\) of dimension vector \((1,\dots,1)\); see \textit{A. Craw} and \textit{A. Ishii} [Duke Math.\ J. 124, No. 2, 259--307 (2004; Zbl 1082.14009)]. Given a resolution \(Y\to \mathbb A^3/G\) with \(G\not\subset \text{SL}(3,\mathbb C)\) one may ask whether \(Y\) can be identified with a moduli space of representations of the McKay quiver too. The author studies this question for the Danilov resolution (also known as the economic resolution) of the terminal quotient singularity of type \(\frac 1r(1,a,r-a)\) for coprime numbers \(a\), \(r\). This means that \(G\subset \text{GL}(3,\mathbb C)\) is the cyclic group of order \(r\) acting diagonally with eigenvalues \(\zeta\), \(\zeta^a\), and \(\zeta^{r-a}\) where \(\zeta\) is a primitive \(r\)-th root of unity. The Danilov resolution \(Y\to X=\mathbb A^3/G\) is a toric resolution given by a series of weighted blow-ups. For \(G\subset \text{GL}(n,\mathbb C)\), a \(G\)-constellation is defined as a \(G\)-equivariant sheaf \(F\) on \(\mathbb A^n\) whose global sections \(\Gamma(F)\) are given by the regular representation \(R\) of \(G\). A stability parameter for \(G\)-constellations is given by a \(\mathbb Z\)-linear map \(\theta: \text R(G)\to \mathbb Q\) from the representation ring to the rational numbers such that \(\theta(R)=0\). A \(G\)-constellation \(F\) is called \(\theta\)-stable if for every non-trivial \(G\)-subsheaf \(E\subset F\) we have \(\theta(\Gamma(F))>0\). Due to more general results of \textit{A. D. King} [Q. J. Math., Oxf. II. Ser. 45, No. 180, 515--530 (1994; Zbl 0837.16005)], there is a fine moduli space \(\mathcal M_\theta\) of \(\theta\)-stable \(G\)-constellations. As structure sheaves of free \(G\)-orbits do not have any non-trivial \(G\)-subsheaves, they are \(\theta\)-stable for every parameter \(\theta\). The irreducible component \(Y_\theta\) of \(\mathcal M_\theta\) containing the structure sheaves of free orbits is called the coherent component. Let \(f: Y\to X\) be a resolution of the singularities. A family \(\mathcal F\) of \(G\)-clusters over \(Y\) is called a gnat-family (short for \(G\)-natural) if \(\mathcal F_y\) is supported on the \(G\)-orbit \(f(y)\) for every \(y\in Y\). If \(\mathcal F\) is in addition \(\theta\)-stable, this means that the classifying morphism \(Y\to\mathcal M_\theta\) factorises over the coherent component and commutes with \(f\) and the canonical morphism \(Y_\theta\to X=\mathbb A^n/G\) given by sending a \(G\)-constellation to the \(G\)-orbit supporting it. For \(G\) abelian, \textit{T. Logvinenko} [Doc. Math., J. DMV 13, 803--823 (2008; Zbl 1160.14025)] gave a characterization of all gnat-families on \(Y\) in terms of \(G\)-Weyl divisors. In the paper under review, toric divisors on the Danilov resolution \(Y\) are used in order to construct a gnat-family \(\mathcal F\). Then the cone of stability parameters \(\theta\) for which \(\mathcal F\) is \(\theta\)-stable is computed. Furthermore, it is shown that the fibres of \(\mathcal F\) are pairwise non-isomorphic. It follows that the classifying morphism \(Y\to Y_\theta\) is bijective and consequently that \(Y\) is the normalisation of \(Y_\theta\). It is conjectured that \(Y_\theta\) is normal so that \(Y\cong Y_\theta\).