Enumerative meaning of mirror maps for toric Calabi-Yau manifolds (Q2437422): Difference between revisions

Let \(X\) be a local toric Calabi-Yau manifold of dimension \(n\) such as \(K_{\mathbb{P}^2}=\mathcal{O}(-3)\). In the paper [\textit{K. Chan} et al., J. Differ. Geom. 90, No. 2, 177--250 (2012; Zbl 1297.53061)] the local mirror symmetry of Strominger, Yau, and Zaslow (SYZ) was studied for \(X\). The equation for the family of noncompact Calabi-Yau manifolds \(\check{X} \subset \mathbb{C}^2\times (\mathbb{C}^{*})^{n-1}\) giving the SYZ mirror of \(X\) was obtained. This family is parameterized by \(q\) the complexified Kähler parameter of \(X\), and it is in terms of the generating function of the genus 0 disk open Gromov-Witten invariants of \(X\). In [loc. cit.] \(\mathcal{M}_\mathbb{C}(\check{X})\), the complex moduli space of \(\check{X}\), is explicitly constructed as a GIT quotient. Let \(\mathcal{M}_K(X)\) be the complexified Kähler moduli space of \(X\). It is known that the mirror map \(\psi: \mathcal{M}_\mathbb{C}(\check{X}) \to \mathcal{M}_K(X)\) is defined by means of the period integrals of \(\check{X}\). In [loc. cit.], it was conjectured that the SYZ map \(\phi: \mathcal{M}_K(X) \to \mathcal{M}_\mathbb{C}(\check{X}) \) defined by means of the generating function of the disk open Gromov-Witten invariants of \(X\) coincides with the inverse of the mirror map. The paper under review proves a slightly weaker version of the conjecture above in the case that \(X=K_Y\) where \(Y\) is a compact toric Fano manifold. The main ingredients of the proof are the toric mirror theorem of Givental, and the formula proven by the first author of the paper under review relating the genus 0 open Gromov-Witten invariants of \(K_Y\) to certain genus 0 closed Gromov-Witten invariants of the \(\mathbb{P}^1\)-bundle \(Z=\mathbb{P}(K_Y+\mathcal{O}_Y)\). The latter invariants are then realized as certain coefficients of the \(J\)-function of \(Z\) which are in turn expressed as the explicit \(I\)-function via the mirror theorem. It is known that the components of the toric mirror map of \(Z\) satisfy certain \(GKZ\) type hypergeometric system of differential equations, the proof of the conjecture is then obtained by showing that the inverse of the SYZ map for \(X\) gives solutions to the same system of differential equations.