On \(G/N\)-Hilb of \(N\)-Hilb (Q1950279)

Let \(G\) be a finite subgroup of \(\mathrm{SL}(3,\mathbb{C})\) acting naturally on \(\mathbb{C}^3\), and let \(Y=G\text{-Hilb}( \mathbb{C}^3)\) be the moduli space of \(G\)-clusters introduced by Nakamura. It is proven in [\textit{T. Bridgeland, A. King} and \textit{M. Reid}, J. Am. Math. Soc. 14, No. 3, 535--554 (2001; Zbl 0966.14028)] that \(Y\) is irreducible and the natural Hilbert-Chow morphism \(f:Y\to \mathbb{C}^3/G\) is a crepant resolution. Furthermore, the derived category of coherent sheaves on \(Y\) is equivalent to the derived category of \(G\)-equivariant coherent sheaves on \(\mathbb{C}^3\) via a Fourier-Mukai transformation. The question of whether other crepant resolutions of \(\mathbb{C}^3/G\) can be realized as moduli spaces was studied in [\textit{A. Craw} and \textit{A. Ishii}, Duke Math. J. 124, No. 2, 259--307 (2004; Zbl 1082.14009)]. Craw and Ishii conjectured that any projective crepant resolution of \(\mathbb{C}^3/G\) can be identified with a certain moduli space of representations of the McKay quiver with relations, called the moduli space of \(G\)-constellations. Craw and Ishii proved their conjecture in case \(G\) is abelian. Let \(N\leq G\) be a normal subgroup. \(G/N\) acts on \(N\text{-Hilb} (\mathbb{C}^3)\) the crepant resolution of \(\mathbb{C}^3/N\). It follows from the main result of Bridgeland-King-Reid that \(G/N\text{-Hilb}( N\text{-Hilb}(\mathbb{C}^3))\) is a crepant resolution \(\mathbb{C}^3/G\). The main result of the paper under review proves that the crepant resolution \(G/N\text{-Hilb}( N\text{-Hilb}(\mathbb{C}^3))\) is isomorphic to a moduli space of \(G\)-constellations, establishing Craw-Ishii conjecture for such crepant resolutions. The crepant resolutions \(Y=G\text{-Hilb}( \mathbb{C}^3)\) and \(G/N\text{-Hilb}( N\text{-Hilb}(\mathbb{C}^3))\) are usually nonisomorphic. In the case \(G\) is abelian, the paper under review presents a complete list of the cases where two crepant resolutions are isomorphic. For non-Abelian subgroups, the paper under review shows that these two crepant resolutions are not isomorphic when \(G\) is a finite small subgroup of \(\mathrm{GL}(2,\mathbb{C})\subset \mathrm{SL}(3,\mathbb{C})\).