Mukai implies McKay: the McKay correspondence as an equivalence of derived categories

Tom Bridgeland, Alastair King, Miles Reid

Let G be a finite group of automorphisms of a nonsingular complex threefold M such that the canonical bundle omega_M is locally trivial as a G-sheaf. We prove that the Hilbert sche…