Quantum cohomology for a class of non-Fano toric varieties (Q4457857)

The authors compute the quantum cohomology ring of the varieties \({\mathbb P}(\bigoplus_{j=1}^r{\mathcal O}_{\mathbb P^1} (a_j))\), where \(0=a_1\leq a_2 \leq{\dots}\leq a_r\), and moreover \(\sum_{j=1}^r a_j\equiv\varepsilon \bmod r\), with \(\varepsilon\in\{0,1\}\). The main computational tool is the invariance of the quantum cohomology ring under symplectic deformations: for \(\varepsilon =0\), \(X\) is symplectic deformation equivalent to \({\mathbb P}^1\times {\mathbb P}^{r-1}\), while for \(\varepsilon=1\), \(X\) is symplectic deformation equivalent to \({\mathbb P}({\mathcal O}_{\mathbb P^1}^{\oplus (r-1)}\oplus {\mathcal O}_{\mathbb P^1}(1))\). These latter ones are both toric Fano varieties, which meet the conditions required in \textit{A.~Kresch} [Mich. Math. J. 48, 369--391 (2000; Zbl 1085.14519)]. The presentation of the quantum cohomology ring follows now from results of \textit{V.~Batyrev} [Asterisque 218, 9--34 (1993; Zbl 0806.14041)], or \textit{A. Kresch} [loc. cit.], after suitable change of coordinates. For the explicit calculations of the \(3\)-point genus zero invariants, the authors use, for \(\varepsilon=0\), the product formula proved by \textit{K.~Behrend} [J. Algebr. Geom. 8, 529--541 (1999; Zbl 0938.14032)], while, for \(\varepsilon =1\), use the formulae obtained by \textit{A.~Kresch} [loc. cit.].