A vanishing result for Donaldson Thomas invariants of \(\mathbb{P}^{1}\) scroll (Q477913)

It's well-known that generic (in the \(\mathbb{S}^{2}\)-twistor family) \(K3\) surfaces have vanishing Gromov-Witten invariants, see for instance [\textit{J. Bryan} and \textit{N. C. Leung}, J. Am. Math. Soc. 13, No. 2, 371--410 (2000; Zbl 0963.14031)]. It was later observed by J. Lee and T. H. Parker that GW invariants of minimal general type surfaces are (possibly) nonzero only when curve classes are multiples of canonical classes, see [\textit{J. Lee} and \textit{T. H. Parker}, J. Differ. Geom. 77, No. 3, 483--513 (2007; Zbl 1130.53059)]. These two situations fit into the framework of cosection localization in the sense of \textit{Y.-H. Kiem} and \textit{J. Li} [J. Am. Math. Soc. 26, No. 4, 1025--1050 (2013; Zbl 1276.14083)]. In general, given a cosection of the obstruction sheaf of a Deligne-Mumford stack \(\mathcal{M}\) with a perfect obstruction theory \(\mathcal{E}^{\bullet}\), \(\sigma: Ob_{\mathcal{M}}\rightarrow \mathcal{O}_{\mathcal{M}}\) such that it is surjective on an open \(U\subseteq \mathcal{M}\), then there exists a cycle \([\mathcal{M}]_{\mathrm{loc}}^{\mathrm{vir}}\in A_{*}(\mathcal{M}(\sigma))\) whose push-forward satisfies \(\iota_{*}[\mathcal{M}]_{\mathrm{loc}}^{\mathrm{vir}}=[\mathcal{M}]^{\mathrm{vir}}\in A_{*}(\mathcal{M})\), where \(\iota: \mathcal{M}(\sigma):=\mathcal{M}\backslash U\hookrightarrow \mathcal{M}\) is the inclusion map, and \([\mathcal{M}]^{\mathrm{vir}}\) is the virtual cycle with respect to \(\mathcal{E}^{\bullet}\). In particular, if \(U=\mathcal{M}\), the virtual cycle vanishes \([\mathcal{M}]^{\mathrm{vir}}=0\). Along this line, the author proves a vanishing theorem for Donaldson-Thomas invariants of ideal sheaves of curves on \(\mathbb{P}^{1}\)-bundles over algebraic surfaces. More precisely, given a smooth algebraic surface \(S\), a holomorphic two-form on \(S\) with codimension one vanishing loci \(C\), and a line bundle \(L\rightarrow S\), we form \(X=\mathbb{P}(L\oplus \mathcal{O}_{S})\) which is a compact 3-fold containing a divisor \(D=\mathbb{P}(L|_{C}\oplus \mathcal{O}_{C})\). Then the Donaldson-Thomas invariant of ideal sheaves of curves (with curve class \(\beta\)) on \(X\) vanishes unless \(\beta\in \mathrm{Im}(H_{2}(D,\mathbb{Z})\rightarrow H_{2}(X,\mathbb{Z}))\). We restrict to the case when \(X=\mathbb{P}^{1}\times S\), then \(\beta=aH+b\) with respect to \(H_{2}(X,\mathbb{Z})\cong H_{2}(\mathbb{P}^{1},\mathbb{Z})\oplus H_{2}(S,\mathbb{Z})\). By the main theorem of this paper, only when \(b\in \mathrm{Im}(H_{2}(C,\mathbb{Z})\rightarrow H_{2}(S,\mathbb{Z}))\), DT invariants could be possibly non-zero. Meanwhile, we know the virtual dimension of the moduli space of ideal sheave of curves \(I_{n}(X,\beta)\) is \(c_{1}(X)\cdot\beta\), and in this particular case \(v.d(I_{n}(X,\beta))=2a+b\cdot c_{1}(S)\). If \(S\) is minimal and of general type, \(v.d(I_{n}(X,\beta))<0\) when \(b\) represents the fundamental class of an element in \(|K_{S}^{n}|\) with \(n\gg0\). In this case, Donaldson-Thomas invariants also vanish.