Standard versus reduced genus-one Gromov-Witten invariants (Q929208)

While genus-zero Gromov-Witten invariants (quantum cohomology) of complete intersections are relatively well understood higher-order invariants remain a challenge. The main problem is that their expected relations to invariants of the ambient space do not hold in positive genera. In his previous work the author proposed a novel way around this difficulty for genus one by defining reduced Gromov-Witten invariants (not to be confused with the usual reduction by degree-zero maps). Roughly speaking, these reduced invariants are modeled on genus one maps from smooth domains and their limits, rather than the entire moduli space of genus one stable maps. Unlike the standard primary (i.e. with no descendants) invariants the reduced ones do satisfy the expected ambient relations at least in the case of hypersurfaces. In particular, the author previously obtained an explicit formula for the reduced genus one primary invariants of projective Calabi-Yau hypersurfaces. The main result of this paper is an explicit formula for the difference between the standard and the reduced genus one primary invariants of compact almost Kähler manifolds. It is shown to be a linear combinations of genus zero Gromov-Witten invariants with coefficients being top intersections of tautological classes on blow-ups of genus one moduli spaces. The latter are computable via known recursions. As a result, an explicit formula is derived for the standard genus one primary invariants of projective Calabi-Yau hypersurfaces. It verifies Klemm-Pandharipande mirror symmetry predictions for the sextic fourfold, and gives invariants for higher degrees not known before even conjecturally. The result also provides a general insight into the nature of primary genus one invariants. For sufficiently regular spaces it turns out, quite surprisingly, that only two moduli strata contribute to them. Namely, the stable maps from smooth domains and from unions of smooth genus one curves with a single \(\mathbb{P}^1\).