The quantum McMay correspondence for singularities of type D (Q2437562)

McKay correspondence describes the classical geometry of the resolution of \(Y\to [\mathbb{C}^3/G]\) where \(G\) is a finite subgroup of \(\mathrm{SL}(3)\) in terms of the representation theory of \(G\). Here \(Y\) is the preferred resolution \(G\text{-Hilb}^{|G|}(\mathbb{C}^3)\). In the case that \(G \subset \mathrm{SU}(2)\) or \(G\subset \mathrm{SO}(3)\), \textit{J. Bryan} and \textit{A. Gholampour} in [Invent. Math. 178, No. 3, 655--681 (2009; Zbl 1180.14010)] gave a description of the quantum geometry of the preferred resolution \(Y\). In particular they found a closed formula for the Gromov-Witten invariants of \(Y\) in terms of the ADE root system attached to \(G\). By means of the Crepant Resolution Conjecture, Bryan and Gholampour formulated a conjectural closed formula for the genus 0 Gromov-Witten invariants of the orbifold \([\mathbb{C}^3/G]\) in terms of the ADE root system. This conjecture is proven for type A by Coates et al., and for \(G=\mathbb{Z}_2\times \mathbb{Z}_2 \text{ and } A_4 \subset \mathrm{SO}(3)\) by Bryan and Gholampour. Higher genus analogs of the conjecture for the type A are also proven by \textit{D. Maulik} [``Gromov-Witten theory of A-resolutions'', \url{arxiv:0802.2681}] and \textit{J. Zhou} [``Crepant resolution conjecture in all genera for type A singularities'', \url{arXiv:0811.2023}]. The paper under review proves the conjecture above for the type \(D\). The method of the proof is to, by using WDVV equations and reduction to normal subgroups, reduce the computation of the invariants for infinitely many type D subgroups to some known type A invariants. The conjecture for all the type D subgroups is then obtained by proving a polynomiality property for the remaining integrals and using the reduction result above.