Generators for the cohomology ring of the moduli space of rank 2 Higgs bundles
Tamas Hausel, Michael Thaddeus
备注：
29 pages, LaTeX. Correction of an erroneous lemma in section 10 requires the addition, in Theorem 1.1, of the hypothesis that the rank is 2. Title changed accordingly
The moduli space of stable vector bundles on a Riemann surface is smooth when the rank and degree are coprime, and is diffeomorphic to the space of unitary connections of central constant curvature. A classic result of Newstead and Atiyah-Bott asserts that its rational cohomology ring is generated by the universal classes, that is, by the Kunneth components of the Chern classes of the universal bundle.
This paper studies the larger, non-compact moduli space of Higgs bundles, as introduced by Hitchin and Simpson, with values in the canonical bundle K. This is diffeomorphic to the space of all connections of central constant curvature, whether unitary or not. The main result of the paper is that, in the rank 2 case, the rational cohomology ring of this space is again generated by universal classes.
The spaces of Higgs bundles with values in K(n) for n > 0 turn out to be essential to the story. Indeed, we show that their direct limit has the homotopy type of the classifying space of the gauge group, and hence has cohomology generated by universal classes.
A companion paper treats the problem of finding relations between these generators in the rank 2 case.
The construction for nonreduced projective moduli scheme of semistable admissible pairs is performed. We establish the relation of this moduli scheme with reduced moduli scheme built up in the previous article and prove that nonreduced moduli scheme contains an open subscheme which is isomorphic to moduli scheme of semistable vector bundles.
We consider smooth moduli spaces of semistable vector bundles of fixed rank and determinant on a compact Riemann surface $X$ of genus at least $3$. The choice of a Poincaré bundle for such a moduli space $M$ induces an isomorphism between $X$ and a component of the moduli space of semistable sheaves over $M$. We prove that $h^0(M, \text{End}({\mathcal E})\otimes TM)= 1$ for a vector bundle $\mathcal E$ on $M$ coming from this component. Furthermore, there are no nonzero integrable co-Higgs fields on $\mathcal E$.
A new compactification for the scheme of moduli for Gieseker-stable vector bundles with prescribed Hilbert polynomial, on the smooth projective polarized surface (S,L), is constructed. Families of locally free sheaves on the surface S are completed by locally free sheaves on schemes which are modifications of S. Gieseker -- Maruyama moduli space has a birational morphism onto the new moduli space. We propose the functor for families of pairs polarized scheme -- vector bundle with moduli space of such type.
We prove the Hodge symmetry type result on the Dolbeault cohomology of Oeljeklaus-Toma manifolds with values in the direct sum of holomorphic line bundles. Consequently, we show the vanishing and non-vanishing of Dolbeault cohomology of Oeljeklaus-Toma manifolds with values in holomorphic line bundles.
In this paper we compute the cohomology of moduli space of cubic fourfolds with ADE type singularities relying on Kirwan's blowup and Laza's GIT construction. More precisely, we obtain the Betti numbers of Kirwan's resolution of the moduli space. Furthermore, by applying decomposition theorem we obtain the Betti numbers of the intersection cohomology of Baily-Borel compactification of the moduli space.
We compute the rational cohomology of the moduli space of non-singular non-hyperelliptic complex projective curves of genus 3 with an odd theta characteristic.
We determine the quantum cohomology of the moduli space of odd degree rank two stable vector bundles over a Riemann surface $Σ$ of any genus. This work together with dg-ga/9710029 prove that this quantum cohomology is isomorphic to the instanton Floer cohomology of the three manifold $Σ\times S^1$. (Note: There is some overlap with the previous paper: alg-geom/9711013).
Some recent progress towards understanding the cohomology of moduli spaces of curves is described. Madsen and Weiss have given a proof of a generalisation of Mumford's conjecture on the stable cohomology of these moduli spaces M_g, and other contributors have made advances related to Faber's conjectures on the tautological ring of M_g.
We prove that the orbifold desingularization of the moduli space of stable maps of genus g = 1 recently constructed by Vakil and Zinger has vanishing rational cohomology groups in odd degree k < 10.
We study moduli spaces of parabolic Higgs bundles on a curve and their dependence on the choice of weights. We describe the chamber structure on the space of weights and show that, when a wall is crossed, the moduli space undergoes an elementary transformation in the sense of Mukai.
We compute the first, second, third, and fifth rational cohomology groups of the moduli space of stable n-pointed genus g curves, for all g and n, using (mostly) algebro-geometric techniques.
We describe the Chow rings of moduli spaces of ordered configurations of points on the projective line for arbitrary (sufficiently generic) stabilities. As an application, we exhibit such a moduli space admitting two small desingularizations with non-isomorphic cohomology rings.
We construct a Petersson-Weil type Kähler form on the moduli spaces of Higgs bundles over a compact Kähler manifold. A fiber integral formula for this form is proved, from which it follows that the Petersson-Weil form is the curvature of a certain determinant line bundle, equipped with a Quillen metric, on the moduli space of Higgs bundles over a projective manifold. The curvature of the Petersson-Weil Kähler form is computed. We also show that, under certain assumptions, a moduli space of Higgs bundles supports of natural hyper-Kähler structure.
We compute the rational cohomology of the moduli space of trigonal curves of genus 5. We do this by considering their natural embedding in the first Hirzebruch surface and by using Gorinov-Vassiliev's method.
We give a formula for the Eisenstein cohomology of local systems on the partial compactification of the moduli of principally polarized abelian varieties given by rank 1 degenerations. For genus 2 we give a formula for the full Eisenstein cohomology.
We investigate the (small) quantum cohomology ring of the moduli spaces of stable n-pointed curves of genus 0. In particular, we determine an explicit presentation in the case n=5 and we outline a computational approach to the case n=6.
We characterize the vector bundles on G(1,4) that have no intermediate cohomology. We obtain them from extensions of the universal bundles and others related with them. In particular, we get a characterization of the universal vector bundles from their cohomology.
We investigate low degree rational cohomology groups of smooth compactifications of moduli spaces of curves with level structures. In particular, we determine $H^k(\sgbar, \Q)$ for $g \ge 2$ and $k \le 3$, where $\sgbar$ denotes the moduli space of spin curves of genus $g$.
This is an expository article on the recent developments of Hodge theory on moduli spaces of smooth projective varieties with semi-ample canonical line bundles.
Let X be a smooth projective curve over a field of characteristic zero. We calculate the motivic class of the moduli stack of semistable Higgs bundles on X. We also calculate the motivic class of the moduli stack of vector bundles with connections by showing that it is equal to the class of the stack of semistable Higgs bundles of the same rank and degree zero. We follow the strategy of Mozgovoy and Schiffmann for counting Higgs bundles over finite fields. The main new ingredient is a motivic version of a theorem of Harder about Eisenstein series claiming that all vector bundles have approxima…
Framed quiver moduli parametrize stable pairs consisting of a quiver representation and a map to a fixed graded vector space. Geometric properties and explicit realizations of framed quiver moduli for quivers without oriented cycles are derived, with emphasis on their cohomology. Their use for quantum group constructions is discussed.
In this paper, we prove that the tangent bundle of the moduli space $\cSU_C(r,d)$ of stable bundles of rank $r>2$ and of fixed determinant of degree $d$ (such that $(r,d)=1$), on a smooth projective curve $C$ is always stable, in the sense of Mumford-Takemoto. This verifies a well-known conjecture, and is related to a conjectural existence of a Kähler-Einstein metric on Fano varieties with Picard number one.
Let X be a compact connected Riemann surface of genus at least two. We compute the Chen--Ruan cohomology ring of the moduli space of stable PSL(2, C)--bundles of nontrivial second Stiefel--Whitney class over X.
In this expository article we give a categorical definition of the integral cohomology ring of a stack. We show that for quotient stacks the categorical cohomology may be identified with equivariant cohomology. Via this identification we show that for Deligne-Mumford quotient stacks this cohomology is rationally isomorphic to the rational cohomology of the coarse moduli space. The theory is presented with a focus on the stacks of smooth and stable curves.
We explore the structure of the cohomology ring of the moduli space of stable 1-dimensional sheaves on $\mathbb{P}^2$ of any degree. We obtain a minimal set of tautological generators, which implies an optimal generation result for both the cohomology and the Chow ring of the moduli space. Our approach is through a geometric study of tautological relations.
In this paper, it is proved that certain stable rank-3 vector bundles can be written as extensions of line bundles and stable rank-2 bundles. As an application, we show the rationality of certain moduli spaces of stable rank-3 bundles over the projective plane P^2.
We compute cohomology of the moduli space of genus three curves with level two structure and some related spaces. In particular, we determine the cohomology groups of the moduli space of plane quartics with level two structure as representations of the symplectic group on a six dimensional vector space over the field of two elements. We also make the analogous computations for some related spaces such as moduli spaces of genus three curves with a marked points and strata of the moduli space of Abelian differentials of genus three.
We prove that the normalized Poincaré bundle on the moduli space of stable rank $r$ vector bundles with a fixed determinant on a smooth projective curve $X$ induces a family of nef vector bundles on the moduli space. Two applications follow. We show that when the genus of $X$ is large, the derived category of $X$ is embedded into the derived category of the moduli space for arbitrary rank and coprime degree, which extends the results of Narasimhan, Fonarev-Kuznetsov, and Belmans-Mukhopadhyay. As the second application, we construct a family of ACM bundles on the moduli space. A key ingredient …
Recent work on the log minimal model program for the moduli space of curves, as well as past results of Caporaso, Pandharipande, and Simpson motivate an investigation of compactifications of the universal moduli space of slope semi-stable vector bundles over moduli spaces of curves arising in the Hassett-Keel program. Our main result is the construction of a universal moduli space of slope semi-stable sheaves which compactifies the moduli space of vector bundles over the moduli space of pseudo-stable curves.
We use the toric degeneration of Bott-Samelson varieties and the description of cohomolgy of line bundles on toric varieties to deduce vanishings results for the cohomology of lines bundles on Bott-Samelson varieties.
We study intersection cohomology of moduli spaces of semistable vector bundles on a complex algebraic surface. Our main result relates intersection Poincare polynomials of the moduli spaces to Donaldson-Thomas invariants of the surface. In support of this result, we compute explicitly intersection Poincare polynomials for sheaves with rank two and three on ruled surfaces.
We explain a method for calculating the cohomology of line bundles on a toric variety in terms of the cohomology of certain constructible sheaves on the polytope. We show its effective use by means of some examples.
Here we study vector bundles $E$ on the Hirzebruch surface $F_e$ such that their twists by a spanned, but not ample, line bundle $M = \mathcal {O}_{F_e}(h+ef)$ have natural cohomology, i.e. $h^0(F_e,E(tM)) >0$ implies $h^1(F_e,E(tM)) = 0$.
We construct a compactification of the universal moduli space of semistable principal $G$-bundles over $\overline{\textrm{M}}_{g}$, the fibers of which over singular curves are the moduli spaces of $δ$-semistable singular principal G-bundles.
We discuss some relations of moduli of sheaves on rational surfaces by using universal extensions. These are a generalization of Maruyama's method to construct Uhlenbeck compactification of moduli of vector bundles.
Results in the preliminary version have been strengthed. In addition, Batyrev's conjectural formula for quantum cohomology of projective bundles associated to direct sum of line bundles over $\Pee^n$ is partially verified.
In this work we study the additive orbifold cohomology of the moduli stack of smooth genus g curves. We show that this problem reduces to investigating the rational cohomology of moduli spaces of cyclic covers of curves where the genus of the covering curve is g. Then we work out the case of genus g=3. Furthermore, we determine the part of the orbifold cohomology of the Deligne-Mumford compactification of the moduli space of genus 3 curves that comes from the Zariski closure of the inertia stack of M_3.
A horospherical variety is a normal algebraic variety where a connected reductive algebraic group acts with an open orbit isomorphic to a torus bundle over a flag variety. In this article we study the cohomology of line bundles on complete horospherical varieties.
We examine the moduli of framed holomorphic bundles over the blowup of a complex surface, by studying a filtration induced by the behavior of the bundles on a neighborhood of the exceptional divisor.
In this paper, we study the cohomology of vector bundles on projective space defined as kernels or cokernels of general maps $V_1 \to V_2$, where the $V_i$ are direct sums of line bundles or certain exceptional bundles. We prove an asymptotic cohomology vanishing theorem. We characterize the stability of general Steiner bundles on projective space. We also give a criterion for a Steiner bundle to be ample.
In this work we describe the Chen-Ruan cohomology of the moduli stacks of smooth and stable genus 2 pointed curves, and its algebraic counterpart: the stringy Chow ring. In the first half of the paper we compute the additive structure of the Chen-Ruan cohomology ring for the moduli stack of stable pointed genus 2 curves, describing it as a rationally graded vector space. In the second part we give generators for the even Chen--Ruan cohomology ring as an algebra on the ordinary cohomology.
In this paper, we study rank 2 (quasi) parabolic bundles over the Riemann sphere with an effective divisor and these moduli spaces. First we consider a criterium when a parabolic bundle admits a unramified irregular singular parabolic connection. Second, to give a good compactification of the moduli space of semistable parabolic bundles, we introduce a generalization of parabolic bundles, which is called refined parabolic bundles. Third, we discuss a stability condition of refined parabolic bundles and define elementary transformations of the refined parabolic bundles. Finally, we describe the…
In this paper, we compute the dimensions of the 1st and 2nd cohomology groups of all the pluricanonical bundles for Hirzebruch surfaces, and the dimensions of the 1st and 2nd cohomology groups of the second pluricanonical bundles for a blow-up of a projective plane along finite many distinct points. Both of them give examples showing that the higher cohomology of the pluricanonical bundle is not deformation invariant.
We study the vector bundles without intermediate cohomology on Fano threefolds of index two, degree d=3,4,5 and Betti number one. We obtain a complete characterization in the case of rank-two vector bundles. For arbitrary rank, we give all possible Chern classes of such vector bundles, under some general condition.
We give a canonical description of the formal moduli space of a vector bundle on a variety; as an application, we prove the closedness of certain differential forms on moduli corresponding to the trace form on the endomorphism algebra of the bundle.
We prove that the Poincare' polynomial of the moduli space of smooth genus 4 curves is 1+t^2+t^4+t^5. We show this by producing a stratification of the space, such that all strata are geometric quotients of complements of discriminants.
We study moduli of holomorphic vector bundles on non-compact varieties. We discuss filtrability and algebraicity of bundles and calculate dimensions of local moduli. As particularly interesting examples, we describe numerical invariants of bundles on some local Calabi-Yau threefolds.
