Derived McKay correspondence via pure-sheaf transforms

Abstract: In most cases where it had been shown to exist the derived McKay correspondence D(Y) --> D^G(C^n) can be written as a Fourier-Mukai transform which sends point sheaves of the crepant resolution Y to pure sheaves in D^G(C^n). We give a sufficient condition for an object of D^G(Y x C^n) to be the defining object of such a transform. We use it to construct the first example of the derived McKay correspondence for a non-projective crepant resolution of C^3/G. Along the way we extract some more geometric sense out of the Intersection Theorem and learn to explicitly compute theta-stable families of G-constellations and their direct transforms.

Review text

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.

Recommendations

Cites work

Cited in

(13)

This page was built for publication: Derived McKay correspondence via pure-sheaf transforms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2480876)