Reid's recipe and derived categories (Q615880)

Let \(G\subset \text{SL}(n,\mathbb{C})\) be a finite group, without quasi-reflections, acting via its natural representation on \(\mathbb{C}^n,\) where \(n\in\{2,3\}.\) Let \(Y=\)\(G-\)\(\text{Hilb}(\mathbb{C}^n)\) be the \(G-\)Hilbert scheme, that is a moduli space of scheme-theoretical orbits of \(G.\) The McKay correspondence says that there is a close link between the \(G-\)equivariant geometry of \(\mathbb{C}^n,\) the geometry of \(Y\) and the representation theory of \(G.\) In particular, the natural map \(\pi:Y\longrightarrow \mathbb{C}^n/G\) is a resolution and the Fourier-Mukai transform \(\Phi: D(Y)\longrightarrow D^G(\mathbb{C}^n)\) given by the universal family on \(\mathbb{C}^n \times Y\) is an equivalence of categories (cf. \textit{T. Bridgeland, A. King} and \textit{M. Reid} [J. Am. Math. Soc. 14 , No. 3, 535--554 (2001; Zbl 0966.14028)]). Moreover, \textit{G. Gonzalez-Sprinberg} and \textit{J.-L. Verdier} [Ann. Sci. Éc. Norm. Supér. (4) 16, 409--449 (1983; Zbl 0538.14033)] proved that for \(n=2\) the exceptional curves on \(Y\) are in one-to-one correspondence with the non-trivial representations of \(G.\) The paper under review generalizes this result for \(n=3\) and \(G\) a finite, abelian group. Let \(\Psi\) be the inverse of \(\Phi,\) given by the dual of the universal family. The main theorem states that the complex \(\Psi(\mathcal{O}_0\otimes \rho),\) where \(\mathcal{O}_0\) is the skyscraper sheaf supported at \(0\in\mathbb{C}^3\) and \(\rho\) is an irreducible representation of \(G\), is quasi-isomorphic to a shift of a coherent sheaf on \(Y.\) Moreover, this sheaf is expressed explicitly in terms of tautological bundles on \(Y\) and structure sheaves of toric exceptional divisors (and theirs intersections). This result gives a homological explanation for Reid's recipe, which assigns characters of \(G\) to toric curves and toric surfaces in the exceptional set of \(\pi,\) see \textit{A. Craw} [J. Algebra 285, No. 2, 682--705 (2005; Zbl 1073.14008)].