1303.5340 (M. Kool)

Duality and universality for stable pair invariants of surfaces    [PDF]

M. Kool

Let $\beta$ be a curve class on a surface $S$. The moduli space of stable pairs on $S$ with class $\beta$ carries a natural reduced virtual cycle \cite{KT1, KT2}. This cycle is defined when $h^2(L) = 0$ for any \emph{effective} $L \in \mathrm{Pic}^\beta(S)$ (weak assumption). When $h^2(L) = 0$ for \emph{any} $L \in \mathrm{Pic}^{\beta}(S)$ (strong assumption), the associated invariants are given by universal functions in $\beta^2$, $\beta.c_1(S)$, $c_1(S)^2$, $c_2(S)$, and certain invariants of the ring structure of $H^*(S,\Z)$. In this paper, we show the following. (1) Universality \emph{no longer} holds when just the weak assumption is satisfied. (2) For any $S,\beta$ (no conditions), the BPS spectrum of the non-reduced stable pair invariants of $S,\beta$ with maximal number of point insertions consists of a single number. This number is the Seiberg-Witten invariant of $S, \beta$. (3) The GW/PT correspondence for $X = K_S$ implies Taubes' GW/SW correspondence in certain cases, e.g. when $\beta$ is irreducible. (4) When $p_g(S)=0$, the difference between the stable pair invariants in class $\beta$ and $K_S-\beta$ is universal.

View original: http://arxiv.org/abs/1303.5340