Virasoro conjecture for the stable pairs descendent theory of simply connected 3‐folds (with applications to the Hilbert scheme of points of a surface)

This paper concerns the recent Virasoro conjecture for the theory of stable pairs on a 3‐fold proposed by Oblomkov, Okounkov, Pandharipande, and the author. Here we extend the conjecture to 3‐folds with non‐ [Formula: see text] ‐cohomology and we prove it in two specializations. For the first specialization, we let [Formula: see text] be a surface with [Formula: see text] and consider the moduli space [Formula: see text] , which happens to be isomorphic to the Hilbert scheme [Formula: see text] of [Formula: see text] points on [Formula: see text]. The Virasoro constraints for stable pairs, in this case, can be formulated entirely in terms of descendents in the Hilbert scheme of points. The two main ingredients of the proof are the toric case and the existence of universal formulas for integrals of descendents on [Formula: see text]. The second specialization consists in taking the 3‐fold [Formula: see text] to be a cubic and the curve class [Formula: see text] to be the line class. In this case we compute the full theory of stable pairs using the geometry of the Fano variety of lines.