Gromov-Witten/pairs descendent correspondence for toric 3-folds (Q477453)

The paper extends the equivariant Gromov-Witten/stable pairs correspondence of Maulik-Oblomkov-Okounkov-Pandharipande from primary invariants to full descendent theory for non-singular quasi-projective toric \(3\)-folds. The correspondence is expressed as equality of renormalized partition functions under the change of variables \(-q=e^{iu}\), and a transformation of the descendent insertions. The transformation is given by a universal correspondence matrix \(K_{\alpha,\widehat{\alpha}}\) indexed by pairs of partitions and with values in \(\mathbb{Q}[i,w_1,w_2,w_3]((u))\). The matrix is triangular in the sense that its coefficients vanish for \(|\alpha|<|\widehat{\alpha}|\), and symmetric in the variables \(w_i\). The change of variables is well defined due to the rationality in \(q\) of the partition function of the stable pairs of toric \(3\)-folds. A parallel rationality result is expected to be false in the non-equivariant case, but the authors manage to rearrange \(K\) into a form which makes the existence of the non-equivariant limit explicit. Most applications of the correspondence are based on this non-equivariant limit. As the authors note, the main obstacle to applications is that the \(u\) dependence of \(K\) ``remains mysterious'', but they are able to determine the leading terms, in particular that \(K_{\alpha,\alpha}=(iu)^{l(\alpha)-|\alpha|}\). This is enough to prove an explicit non-equivariant correspondence for invariants of projective toric \(3\)-folds with primary and stationary descendent insertions only. This validates a conjecture of Maulik-Nekrasov-Okounkov-Pandharipande in the toric case, and in turn allows to derive the rationality result for the Gromov-Witten partition function with such insertions from the stable pairs rationality. So far this result is inaccessible by other means. For primary fields only a relative version of the correspondence is proved for some log Calabi-Yau geometries, in particular nonsingular projective Fano toric \(3\)-folds with a nonsingular anti-canonical \(K3\) surface as the relative divisor \(D\). A rationality constraint on the non-equivariant descendent series of \(\mathbb{P}^3\) then follows. The only equivariant correspondence proved is for \((\mathcal{A}_n\times\mathbb{P}^1)/D\), where \(\mathcal{A}_n\) is the minimal toric resolution of the standard \(A_n\)-singularity, and \(D\) is the union of fibers over three distinct points, which resolves the issues left open in the work of Maulik-Oblomkov. The construction of \(K\) is based on the \(1\)-leg equivariant descendent invariants, and the primary correspondence and the capped descendent vertex of the authors' earlier paper are used to extend the correspondence to the \(2\)-leg and \(3\)-leg cases. The divisibility properties of the coefficients of \(K\) needed to establish the existence of the non-equivariant limit are proved geometrically.