A vanishing result for Donaldson Thomas invariants of P^1 scroll
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.
- Localized Donaldson-Thomas theory of surfaces
- Generalized Donaldson-Thomas invariants of \(2\)-dimensional sheaves on local \(\mathbb{P}^2\)
- A Vanishing Theorem for Donaldson Invariants
- Zero dimensional Donaldson--Thomas invariants of threefolds
- Donaldson-Thomas type invariants via microlocal geometry
- A holomorphic Casson invariant for Calabi-Yau 3-folds, and bundles on \(K3\) fibrations.
- Deformation-obstruction theory for complexes via Atiyah and Kodaira-Spencer classes
- Gromov–Witten theory and Donaldson–Thomas theory, II
- scientific article; zbMATH DE number 1001625 (Why is no real title available?)
- Localizing virtual cycles by cosections
- The intrinsic normal cone
- Virtual moduli cycles and Gromov-Witten invariants of algebraic varieties
This page was built for publication: A vanishing result for Donaldson Thomas invariants of \(\mathbb{P}^{1}\) scroll
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q477913)
