Quantum Modules of Semipositive Toric Varieties

A smooth projective toric variety $X=X_\Sigma$ has a geometric quotient description $V /\!/ T$. Using $2|1$-pointed quasimap invariants, one can define a quantum $H^*(T)$-module $QM(X)$, which deforms a natural module structure given by the Kirwan map $H^*(T) \rightarrow H^*(X)$. The Batyrev ring of $X$, defined from combinatorial data of the fan $\Sigma$, has its natural module structure given by the quotient of a polynomial ring, say BatM$(X)$. In this paper, we prove that $QM(X)$ and BatM$(X)$ are naturally isomorphic when $X$ is semipositive.