Shift operators and toric mirror theorem (Q511613)

The author gives a new proof of Givental's mirror theorem for semiprojective toric manifolds \(X\) with a torus fixed point (not necessarily compact or semipositive). The proof is based on exploiting formal properties of the shift operators of equivariant parameters for the equivariant quantum cohomology, which reduce to Seidel's invertible elements in the non-equivariant limit. The theorem states that Givental's cohomology-valued hypergeometric \(I\)-series lies in Givental's Lagrangian cone \(\mathcal{L}_{X_{\Sigma}}\). The proof is based on identifying the \(I\)-series as the unique integral curve of the commuting vector fields \(S_i\) generated on \(\mathcal{L}_{X_{\Sigma}}\) by the shift operators for torus invariant prime divisors (the A-model construction). The mirror map \(\tau(y)\) obtained from the \(I\)-series by the Birkhoff factorization satisfies the differential equation \(\frac{\partial\tau}{\partial y_i}=S_i\circ\tau\). The most technical part of the proof is establishing the existence of solutions to this equation with prescribed asymptotics. Since \(c_1(X_{\Sigma})\) is not assumed to be nef \(\tau(y)\) does not necessarily lie in \(H_T^{\leq2}(X)\), so the shift operators had to be generalized to the big quantum cohomology.