No label defined (Q4946340)

The subject of curve counting on quintic threefolds in \({\mathbb P}_{\mathbb C}^4\) has become popular in the last decade. The origin of the subject comes from string theory, but it was soon recognized that there must be some very intriguing algebraic and symplectic geometry involved. Here a shortcut to the author's original proof of a formula due to the physicists Candelas, de la Ossa, Green and Parkes is given. A degree \(d\) curve \({\mathbb P}_{\mathbb C}^1\rightarrow X={\mathbb P} _{\mathbb C}^4\) on a quintic threefold in \(X\) is given by \(5d+1\) equations of degree \(5\) in the projective space \(LX_d={\mathbb P}_{\mathbb C}^{5d+4}\). One may use equivariant intersection theory with respect to the Möbius group of \({\mathbb P}_{\mathbb C}^1\). Its maximal torus leads to an action on \(LX_d\). The curve on the quintic gives rise to an invariant section of an equivariant \((5d+1)\)-dimensional bundle \(LV_d\) over \(LX_d\). Write \(-p\) for the equivariant Chern class of the Hopf bundle generating the cohomology algebra \(H^*_{S^1}(LX_d)\). Then the formal series \[ L(q,z):=\sum_{d=0}^{\infty}q^d\int_{LX_d}e^{pz}\text{Euler}(LV_d) \] encodes complete topological information about equivariant Euler classes of the bundles \(LV_d\). The coefficients of the series \(L(q,z)\) can be written as polynomials in a variable \(\overline{h}\), and then the Euler class \(\text{Euler}(LV_d)=5p(5p-\overline{h})(5p-2\overline{h})\cdots(5p-5d\overline{h})\). In Sel. Math., New Ser. 1, No. 2, 325-345 (1995; Zbl 0920.14028), \textit{A. B. Givental'} gave an expression for \(L(q,z)\) as a suitable intersection pairing in the even cohomology algebra of the quintic of formal vector valued functions \(I=I(q,\overline{h}^{-1})\) with coefficients in this algebra. An important ingredient of the whole formalism is the graph space \(GX_{n,d}\), i.e.\ the moduli orbifold of stable maps to \(GX=\mathbb P^1_{\mathbb C} \times X\). There is a natural equivariant birational isomorphism \(\mu:GX_{0,d}\rightarrow LX_d\). One has an orbibundle \(GV_d\) of dimension \(5d+1\) and one may introduce the formal series \[ G(q,z):=\sum_{d=0}^{\infty}q^d\int_{GX_{0,d}}e^{pz}\text{Euler}(GV_d), \] where \(-p\) denotes the equivariant Chern class of the Hopf bundle over \(LX_d\) pulled back to \(GX_{0,d}\). It turns out that \(G(q,z)\) can also be expressed as an intersection product of formal vector valued functions \(J=J(q,\overline{h}^{-1})\) and the problem becomes to show that the \(I\)'s coincide with the \(J\)'s. For the entire collection see [Zbl 0930.00050].