Quantum Modules of Semipositive Toric Varieties
A smooth projective toric variety $X=X_Σ$ 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 $Σ$, 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.