Integral generators for the cohomology ring of moduli spaces of sheaves over Poisson surfaces (Q861046): Difference between revisions

In the paper under review, the author studies generators for the integral cohomology ring of the moduli spaces of Gieseker semi-stable sheaves over Poisson surfaces \(S\). These generators are the Chern classes of the Künneth factors of certain universal element in the Grothendieck \(K\)-ring of topological vector bundles. Similar results for the moduli space of Higgs bundles over algebraic curves are also obtained. In section two, the existence of a universal sheaf \(\mathcal E\) over \(S \times \mathcal M_H(v)\) is assumed. Here \(v\) is an element in the Grothendieck \(K\)-ring \(K_{\text{top}}^0(S)\) of topological vector bundles over the Poisson surface \(S\), \(H\) is an ample divisor on \(S\) such that \(H\) is \(v\)-generic, and \(\mathcal M_H(v)\) denotes the moduli space of Gieseker \(H\)-semi-stable sheaves (over \(S\)) with fixed type \(v\). The author proves that if nonempty, then the moduli space \(\mathcal M_H(v)\) is smooth and irreducible with the expected dimension. The integral cohomology groups \(H^i(\mathcal M_H(v); \mathbb Z)\) are torsion free for all \(i\), and vanishes for odd \(i\) when \(H^1(S; \mathbb Z) = 0\). Moreover, the integral cohomology ring \(H^*(\mathcal M_H(v); \mathbb Z)\) is generated by the Chern classes of the Künneth factors of the universal sheaf \(\mathcal E\) in \(K_{\text{top}}^0(\mathcal M_H(v))\). When \(S\) is in addition rational, it is shown that the class of the diagonal in \(\mathcal M_H(v) \times \mathcal M_H(v)\) is in the image of the exterior product homomorphism \(A^*(\mathcal M_H(v)) \times A^*(\mathcal M_H(v)) \to A^*(\mathcal M_H(v) \times \mathcal M_H(v))\), where \(A^*(\cdot)\) denotes the Chow ring, and that the natural homomorphism \(A^*(\mathcal M_H(v)) \to H^*(\mathcal M_H(v); \mathbb Z)\) is an isomorphism. In section three, the author handles the case when a universal sheaf does not exist. The idea is to construct a universal element in \(K_{\text{top}}^0(\mathcal M_H(v))\) which plays the role of a universal sheaf. Once such a universal element is constructed, results parallel to those in the previous section follow. In section four, the author uses similar methods from sections two and three to study the moduli space of Higgs bundles over algebraic curves. When the surface \(S\) is the complex projective plane, an abelian surface or a \(K3\)-surface, the main results have been obtained earlier by G. Ellingsrud, S. A. Strømme, A. Beauville and others.