A mirror construction for the big equivariant quantum cohomology of toric manifolds (Q2396224)

On a symplectic manifold or a complex projective variety \(X\), the quantum cohomology ring is an extension of the ordinary cohomology ring \(H^*(X)\) which comes in small and big versions. The former is defined via 3-point genus 0 Gromov-Witten (GW) invariants. The latter is more complicated (it is a family of quantum cup products parametrized by \(H^*(X)\)) and contains all the genus 0 GW invariants. Alternatively, one can realize the big quantum cohomology as a flat connection on the tangent bundle of \(H^*(X)\). On toric varieties, the equivariant structure lifts to the (big) quantum cohomology ring and the result is called the equivariant quantum cohomology. Following a (mirror symmetry) proposal of \textit{A. Givental} [Prog. Math. 160, 141--175 (1998; Zbl 0936.14031); in: Proceedings of the international congress of mathematicians, ICM '94, August 3-11, 1994, Zürich, Switzerland. Vol. I. Basel: Birkhäuser. 472--480 (1995; Zbl 0863.14021)] and \textit{K. Hori}-\textit{C. Vafa} [``Mirror symmetry'', preprint, \url{arXiv:hep-th/0002222}], this paper identifies the big equivariant quantum cohomology connection of a toric variety \(X\) with the Gauss-Manin connection of a so called ``universal mirror Landau-Ginzburg potential function'' on \((C^*)^D\), where \(D\) is the number of primitive generators of the toric fan \(\Sigma_X\) of \(X\). The former is known as the A-side and the latter is known the B-side. If \(X\) is a compact ``semipositive'' toric variety, Givental's mirror theorem identifies the small equivariant quantum cohomology of \(X\) with the Jacoby ring of the function \[ F_\lambda(x)=Q^{\beta_1} x^{b_1} + \ldots+ Q^{\beta_m} x^{b_m}+ \sum_{i=1}^D \lambda_i \log(x_i), \qquad x\in (\mathbb{C}^*)^D \] where \(b_1,\ldots,b_m \in \mathbb{Z}^D\) are the primitive generators of the toric fan \(\Sigma_X\), \(x^{b_i}\) are the associated monomials, \(\beta_i=\beta(b_i)\in H_2(X,\mathbb{Z})\) are certain curve classes, and \(\lambda_i\) are the equivariant parameters of the torus \(T\cong (\mathbb{C}^*)^D\). Alternatively, his theorem identifies the small equivariant quantum connection with the Gauss-Main connection of the twisted de Rham cohomology \(H^D(\Omega^\bullet_{(\mathbb{C}^*)^D}[z],zd+ dF_\lambda \wedge )\). Theorem 1.1 of the present paper (which generalizes the non-equivariant mirror theorem of Barannikov-Douai-Sabbah over weighted projective spaces) establishes a similar duality between the big equivariant cohomology of a smooth semi-projective (so not necessarily compact) toric variety \(X\) (and its associated flat connection) and the associated B-model of the ``universal Landau-Ginzburg function'' \[ F_\lambda(x;y)=\sum_{k} y_k Q^{\beta(k)} x^k - \lambda \cdot \log(x), \] where the sum is taken over all the lattice points in the support of \(\Sigma_X\), \(\beta(k)\) are as before on \(b_i\) and satisfy \(\beta(k+l)=\beta(k)+\beta(l)\), and \(y\) is an infinite set of parameters that under mirror symmetry correspond to the parameter \(\tau\in H^*(X)\) of the big quantum cohomology. Theorem 1.2 characterizes the mirror map \(y \to y(\tau)\) as a solution to the PDE \[ \frac{\partial \tau}{\partial y_k} = S_k (\tau), \] where \(S_k\) is the Seidel element associated to the \(\mathbb{C}^*\)-action of \(k\). An important question left to be answered is whether the inverse mirror map can be described as a generating function of certain open GW invariants as in the works of \textit{C.-H. Cho} and \textit{Y.-G. Oh} [Asian J. Math. 10, No. 4, 773--814 (2006; Zbl 1130.53055)] and Fukaya-Oh-Ohta-Ono [\textit{K. Fukaya} et al., Duke Math. J. 151, No. 1, 23--175 (2010; Zbl 1190.53078); Sel. Math., New Ser. 17, No. 3, 609--711 (2011; Zbl 1234.53023); Lagrangian Floer theory and mirror symmetry on compact toric manifolds. Paris: Société Mathématique de France (SMF) (2016; Zbl 1344.53001)].