Derived McKay correspondence via pure-sheaf transforms (Q2480876): Difference between revisions

This paper deals with derived McKay correspondence. Let \(G\) be a finite subgroup of \(SL_n({\mathbb C})\) and \(Y\) a crepant resolution of \({\mathbb C}^n / G\), if one exists. Then it is conjectured that there exists an equivalence \(D(Y) \to D^G({\mathbb C}^n)\) between the bounded derived category of coherent sheaves on \(Y\) and the bounded derived category of \(G\)-equivariant coherent sheaves on \({\mathbb C}^n\). In most cases where it is known such a correspondence to hold, the equivalence can be explicitly written as a Fourier-Mukai transform which sends point sheaves of \(Y\) to pure sheaves in \(D^G({\mathbb C}^n)\). The author gives then a sufficient condition for an object \(E\) in \(D^G (Y \times {\mathbb C}^n)\) to define such a transform. Let \(Y\) be any irreducible separated scheme of finite type over \({\mathbb C}\) and \(G\) a finite subgroup of \(SL_n ({\mathbb C})\). Given a \textit{gnat}-family \(F\) on \(Y\), we can define a Hilbert-Chow morphism \(\pi_F: Y \to {\mathbb C}^n/G\). Consider \(Y\) and \(F\) such that \(\pi_F\) is birational and proper. Then the Fourier-Mukai functor \(\Phi_F\) with kernel \(F\) is an equivalence if the non-orthogonality locus of \(F\) is of high enough codimension. Using this criterium, the author gives the first known example of derived McKay correspondence for a non-projective crepant resolution of \({\mathbb C}^3/G\). In proving such results, the author shows how to compute \(\theta\)-stable families of \(G\)-constellations and their direct transforms.