Relative Gromov-Witten invariants and the mirror formula

Calabi-Yau manifolds (algebro-geometric aspects) (14J32) Hypersurfaces and algebraic geometry (14J70) Enumerative problems (combinatorial problems) in algebraic geometry (14N10) Gromov-Witten invariants, quantum cohomology, Gopakumar-Vafa invariants, Donaldson-Thomas invariants (algebro-geometric aspects) (14N35)

Abstract: Let X be a smooth complex projective variety, and let Y in X be a smooth very ample hypersurface such that -K_Y is nef. Using the technique of relative Gromov-Witten invariants, we give a new short and geometric proof of (a version of) the "mirror formula", i.e. we show that the generating function of the genus zero 1-point Gromov-Witten invariants of Y can be obtained from that of X by a certain change of variables (the so-called "mirror transformation"). Moreover, we use the same techniques to give a similar expression for the (virtual) numbers of degree-d plane rational curves meeting a smooth cubic at one point with multiplicity 3d, which play a role in local mirror symmetry.

Review text

Let \(X\) be a smooth complex projective variety and let \(Y\subset X\) be a smooth very ample hypersurface such that \(-K_Y\) is nef. \textit{A. Gathmann} [Duke Math. J. 115, 171--203 (2002; Zbl 1042.14032)] defined relative Gromov-Witten invariants by considering the moduli spaces of relative stable maps \(\overline{M}_{(\alpha_1,\ldots,\alpha_n)}^Y(X,\beta)\) consisting of all stable genus zero curves \(f:C\rightarrow X\) representing \(\beta\in H_2(X)\) such that \(f\) cuts \(Y\) at the point \(x_i\) with multiplicity \(\alpha_i\). In the case of genus zero \(1\)-point Gromov-Witten relative invariants, the main formula obtained by A. Gathmann [op. cit.] is the following \[ (m \psi + ev^* [Y]) \cdot [\overline{M}_{(m)}^Y (X, \beta)]^{\text{virt}}= [\overline{M}_{(m+1)}^Y (X,\beta) ]^{\text{virt}} + [D_{(m)}(X,\beta)]^{\text{virt}}, \] where \(D_{(m)}(X, \beta)\) parametrizes reducible stable curves with the component containing the point \(x\) included in \(Y\); and \(\psi\) is the cotangent class (the Euler class of the bundle which puts over each stable \((C,f)\) the cotangent space of \(C\) at \(x\)). Now this formula is used recursively starting with the \(1\)-point Gromov-Witten invariants of \(X\) (which are associated to \(\overline{M}_{(0)}^Y(X,\beta)\)) and ending up with the \(1\)-point Gromov-Witten invariants of \(Y\) (which appear for \(\overline{M}_{(Y\cdot \beta +1)}^Y(X,\beta)= \overline{M}(Y,\beta)\)). The nef condition on \(-K_Y\) guarantees that there are few contributions from the correction terms \([D_{(m)}(X,\beta)]^{\text{virt}}\) to the Gromov-Witten invariants. This is used to give a new short and geometric proof of the ``mirror formula given by \textit{A. Givental} [Int. Math. Res. Not. 1996, 613--663 (1996; Zbl 0881.55006)] and \textit{B. Lian, K. Liu}, and \textit{S. Yau} [Asian J. Math. 1, 729--763 (1997; Zbl 0953.14026)]. Such a formula gives the generating function of the genus zero \(1\)-point Gromov-Witten invariants of \(Y\) out of that of \(X\) by a formal change of variables (the so-called ``mirror transformation). The same techniques are used to give a similar expression for the (virtual) numbers of degree \(d\) plane rational curves meeting a smooth cubic at one point with multiplicity \(3d\), which play a role in local mirror symmetry, as shown by \textit{N. Takahashi} [Commun. Math. Phys. 220, 293--299 (2001; Zbl 1066.14048)].

Recommendations

Cited in

(37)

This page was built for publication: Relative Gromov-Witten invariants and the mirror formula

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