Algebro-geometric analogues of Donaldson's polynomials (Q1187490): Difference between revisions

Given a smooth complex projective surface \(S\) with polarization \(H\), one defines on the second homology \(H_ 2(S)\) for any large odd integer \(c\) a polynomial \(\delta=\delta_ c(S,H)\) of degree \(4c-3\chi({\mathcal O}_ S)\). Analogous to Donaldson's polynomial, which is defined for simply connected closed four-manifolds, it is defined by mapping the arguments into the cohomology of the moduli space \(M\) of the ``\(H\)-slope-stable'' rank two vector bundles on \(S\) with Chern classes \(c_ 1=0\), \(c_ 2=c\) and integrating the product of the image over the fundamental class of M. Crucial is the following property: If \(S\) has a basepoint-free pencil \(| C|\), where \(C\) is a smooth connected curve, and \(\Gamma\in H_ 2(S)\) is the Poincaré dual to a holomorphic two-form \(\omega\) with \((\omega)\) a smooth and irreducible curve, then \(\delta(C,\dots,C,\Gamma+\overline\Gamma,\dots,\Gamma+\overline\Gamma)>0\), with the number of \(C\)'s limited in terms of the genus of \(C\). The case of a complete intersection \(S\) is investigated in particular.