Hurwitz-Hodge integrals, the E₆ and D₄ root systems, and the crepant resolution conjecture

DOI10.1016/J.AIM.2009.02.004MaRDI QIDQ1019750zbMATH OpenOpenAlexWikidataFDO

Authors Jim Bryan, Amin Gholampour

Publication date 28 May 2009

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0708.4244

zbMATH Keywords

crepant resolution conjectureGromov-WittenHodge integralsorbifoldsroot systems

Mathematics Subject Classification ID

Global theory and resolution of singularities (algebro-geometric aspects) (14E15) Gromov-Witten invariants, quantum cohomology, Gopakumar-Vafa invariants, Donaldson-Thomas invariants (algebro-geometric aspects) (14N35)

Abstract: Let G be the group A_4 or Z_2xZ_2. We compute the integral of lambda_g on the Hurwitz locus H_Gsubset M_g of curves admitting a degree 4 cover of P^1 having monodromy group G. We compute the generating functions for these integrals and write them as a trigonometric expression summed over the positive roots of the E_6 and D_4 root systems respectively. As an application, we prove the Crepant Resolution Conjecture for the orbifolds [C^3/A_4] and [C^3/(Z_2xZ_2)].

Review text

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\).

Recommendations

• The quantum McKay correspondence for polyhedral singularities
• Higher genus Gromov-Witten theory of \(\mathsf{Hilb}^n(\mathbb{C}^2)\) and \(\mathsf{CohFTs}\) associated to local curves
• Terminal quotient singularities in dimension three via variation of GIT
• On hypersurface quotient singularities of dimension \(4\)
• The orbifold quantum cohomology of $\mathbb{C}^{2}/\mathbb{Z}_3$ and Hurwitz-Hodge integrals
• The quantum McMay correspondence for singularities of type D
• Gromov-Witten invariants of 𝑆𝑦𝑚^{𝑑}ℙ^{𝕣}
• Flops of \(G\)-Hilb and equivalences of derived categories by variation of GIT quotient
• scientific article; zbMATH DE number 1786344
• On \(G/N\)-Hilb of \(N\)-Hilb

Cites work

• A mirror theorem for toric stacks
• Computing genus-zero twisted Gromov-Witten invariants
• Construction géométrique de la correspondance de McKay
• Generating functions for Hurwitz-Hodge integrals
• Gromov-Witten theory of Deligne-Mumford stacks
• scientific article; zbMATH DE number 3882570 (Why is no real title available?)
• scientific article; zbMATH DE number 5548145 (Why is no real title available?)
• scientific article; zbMATH DE number 3704613 (Why is no real title available?)
• scientific article; zbMATH DE number 826025 (Why is no real title available?)
• Logarithmic series and Hodge integrals in the tautological ring. With an appendix by Don Zagier.
• McKay correspondence
• The McKay correspondence as an equivalence of derived categories
• The orbifold quantum cohomology of $\mathbb{C}^{2}/\mathbb{Z}_3$ and Hurwitz-Hodge integrals
• The quantum McKay correspondence for polyhedral singularities

Cited in

(8)

• The quantum McKay correspondence for polyhedral singularities
• The crepant transformation conjecture for toric complete intersections
• Open Gromov-Witten theory and the crepant resolution conjecture
• Ruan's conjecture on singular symplectic flops of mixed type
• A wall-crossing formula for Gromov-Witten invariants under variation of git quotient
• The open crepant transformation conjecture for toric Calabi-Yau 3-orbifolds
• All the _1's on cyclic admissible covers
• Log degenerations of LG models for toric orbifolds and tt^ geometry

This page was built for publication: Hurwitz-Hodge integrals, the \(E_6\) and \(D_4\) root systems, and the crepant resolution conjecture

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