Symmetric polynomials constructed from moduli of stable sheaves with odd \(c_ 1\) on ruled surfaces (Q1191474): Difference between revisions

\textit{S. K. Donaldson} [Topology 29, No. 3, 257-315 (1990; Zbl 0715.57007)] has introduced polynomials on the second cohomology of any simply connected closed real four-manifold with odd \(b^ +_ 2\). Their importance results from their diffeomorphism invariance and they are used to distinguish different differentiable structures with the same underlying topology. But they are not easy to compute. Over a smooth projective surface these polynomials are closely related to moduli spaces of holomorphic rank-two vector bundles. Recently \textit{K. G. O'Grady} [Invent. Math. 107, No. 2, 351-395 (1992)] introduced algebro- geometric analogues of Donaldson's polynomials. More recently \textit{J. Morgan} [``Comparison of the Donaldson polynomial invariants with their algebro-geometric analogues'', Preprint (1992)] has shown that these two kinds of polynomials coincide (under certain circumstances). In the paper under review the author defines similar to O'Grady symmetric polynomials on the second cohomology in the case of a ruled surface \(X\) over a curve \(C\). He uses the explicit description of the moduli space of rank two bundles on ruled surfaces of his earlier paper [``Moduli spaces of stable rank-2 bundles on ruled surfaces''. I. (Preprint); see also J. Reine Angew. Math. 433, 201-219 (1992; Zbl 0753.14031)] and a universal rank-two sheaf parametrized by that. The polynomial is defined with the aid of the first Pontryagin class of the projective bundle associated to this universal sheaf. From the computation of Chern classes of a vector bundle over the Picard torus of \(C\) the author can explicitly compute his polynomials defined before.