Contraction of excess fibres between the McKay correspondences in dimensions two and three.pdf

a r X i v : m a t h / 0 5 0 4 3 6 0 v 1 [ m a t h .A G ] 1 8 A p r 2 0 0 5 CONTRACTION OF EXCESS FIBRES BETWEEN THE MCKAY CORRESPONDENCES IN DIMENSIONS TWO AND THREE SAMUEL BOISSIE?RE AND ALESSANDRA SARTI Abstract. The quotient singularities of dimensions two and three obtained from polyhedral groups and the corresponding binary polyhedral groups admit natural resolutions of singularities as Hilbert schemes of regular orbits whose exceptional fibres over the origin reveal similar properties. We construct a morphism between these two resolutions, contracting exactly the excess part of the exceptional fibre. This construction is motivated by the study of some pencils of K3-surfaces arising as minimal resolutions of quotients of nodal surfaces with high symmetries. 1. Introduction Consider a binary polyhedral group G? ? SU(2) corresponding to a polyhedral group G ? SO(3,R) through the double-covering SU(2) → SO(3,R). The group G? acts freely on C2 and the quotient C2/G? is a surface singularity with an isolated singular point at the origin. The exceptional divisor of its minimal resolution of singularities X → C2/G? is a bunch of smooth rational curves of self-intersection ?2, intersecting transversely, whose intersection graph is an A-D-E Dynkin diagram. The classical McKay correspondence ([23]) relates this intersection graph to the representations of the group G?, associating bijectively each exceptional curve to a non-trivial irreducible representation of the group: the correspondence in fact identifies the intersection graph with the McKay quiver of the action of G? on C2. Among these irreducible representations we find all irreducible representations of the group G: we call them pure and the remaining ones binary. Since G?/G ～= {±1}, one can produce a G-invariant cone C2/{±1} ～?→ K →? C3 whose quotient K/G is isomorphic to C2/G?. In this note, we prove the following result, conjectured by W. P. Barth: Theorem 1.1. There exists a crepant resolution of sing