Hurwitz-Hodge integrals, the \(E_6\) and \(D_4\) root systems, and the crepant resolution conjecture (Q1019750): Difference between revisions

Let \(G\) be either the alternating group in 4 elements, \(A_4\), or the Klein four group, \(\mathbb Z_2\times \mathbb Z_2\). Consider the Hurwitz locus \(H_G\subseteq M_g\) of genus \(g\) curves admitting a degree 4 map to \(\mathbb P^1\) with monodromy contained in \(G\). By viewing \(H_G\) as the moduli stack \(M_{0,n}(BG)\) of twisted maps to \(BG\), there is a natural compactification \(\overline H_G\subseteq \overline M_g\) of \(H_G\) given by taking twisted stable maps \(\overline M_{0,n}(BG)\). The main result of the present paper is a computation of generation functions for Hurwitz-Hodge integrals of Hodge classes on \(\overline M_g\) over the \(g\)-dimensional locus \(\overline H_G\). These functions are written as trigonometric expressions in terms of the positive roots of the \(E_6\) and \(D_4\) root systems, which are associated via the McKay correspondence to the subgroups of \(SU(2)\) that are preimage of \(G\hookrightarrow SO(3)\) under the map \(SU(2)\to SO(3)\). Finally, the authors then prove that the integrals computed in the paper can be interpreted as genus zero Gromov-Witten potentials for the orbifold \(\left [\mathbb C^3/G\right ]\). This orbifold has a Calabi-Yau resolution \(G\)-Hilb\((\mathbb C^3)\to[\mathbb C^3/G]\) given by Nakamura's Hilbert scheme of clusters (cf. \textit{T. Bridgeland, A. King} and \textit{M. Reid} [J. Am. Math. Soc. 14 , No. 3, 535--554 (2001; Zbl 0966.14028)]). The results of the present paper together with the calculation of the Gromov-Witten invariants for \(G-Hilb(\mathbb C^3)\) done by the authors in [Invent. Math. 178, No. 3, 655--681 (2009; Zbl 1180.14010)] for all finite subgroups \(G\subseteq SO(3)\), prove that the crepant resolution conjecture as stated by \textit{J. Bryan} and \textit{T. Graber} [Proc. Symp. Pure Math. 80, Pt. 1, 23--42 (2009; Zbl 1198.14053)] holds for \(A_4\) and for \(\mathbb Z_2\times\mathbb Z_2\).