This thesis contains work which appeared in several papers. Additionally to the results in the papers it contains a detailed introduction and some further proofs and remarks. The dissertation gives a description of the topology and symplectic and algebraic geometry of Hitchin's hyperkaehler moduli space M of rank 2 Higgs bundles with fixed determinant of odd degree over a fixed Riemann surface. After the long introduction it describes a compactification of M in great detail, using symplectic cutting (math.AG/9804083). Examining the downward Morse flow of a natural circle action on M it shows the vanishing of intersection numbers (math.AG/9805071). Examining the upward Morse flow it explains a set of generators of the cohomology ring and a conjectured explicit description of the cohomology ring (which was proven in math.AG/0003094). Then finally it introduces the resolution tower for M, and shows that its direct limit is homotopically equivalent with the classifying space of the gauge group. In turn it yields another proof of the generation theorem (as in math.AG/0003093) and also yields a purely algebraic geometric proof of the Mumford conjecture about the cohomology ring of the moduli space of rank 2 stable bundles on curves. It finishes by proving homotopy stabilizations in the resolution tower analogously to the Atiyah-Jones conjecture.
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.
In this paper we first show that on projective manifolds (M, ω), there are holomorphic determinant bundles (in the sense of Knusden-Mumford used by Bismut, Gillet, Soule) which play the role of the geometric quantum bundle, namely one for each input data of a Hermitian holomorphic line bundle L of non-trivial Chern class on a compact Kahler manifold Z (with Todd genus non-zero) and a choice of a geometric quantization of (M, ω). Next we further study the generalization of the vortex equations on Kahler 4-manifold which has been studied earlier by Bradlow. We show that when the Kahler 4-manifol…
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$.
For any smooth connected linear algebraic group G over an algebraically closed field k, we describe the Picard group of the universal moduli stack of principal G-bundles over pointed smooth k-projective curves.
We give a comparative description of the Poisson structures on the moduli spaces of flat connections on real surfaces and holomorphic Poisson structures on the moduli spaces of holomorphic bundles on complex surfaces. The symplectic leaves of the latter are classified by restrictions of the bundles to certain divisors. This can be regarded as fixing a "complex analogue of the holonomy" of a connection along a "complex analogue of the boundary" in analogy with the real case.
We give the general presciption for calculating the moduli of irreducible, stable SU(n) holomorphic vector bundles with positive spectral covers over elliptically fibered Calabi-Yau threefolds. Explicit results are presented for Hirzebruch base surfaces B=F_r. The transition moduli that are produced by chirality changing small instanton phase transitions are defined and specifically enumerated. The origin of these moduli, as the deformations of the spectral cover restricted to the ``lift'' of the horizontal curve of the M5-brane, is discussed. We present an alternative description of the trans…
Let $X$ be a compact connected Riemann surface of genus at least two. Let $M_H(r,d)$ denote the moduli space of semistable Higgs bundles on $X$ of rank $r$ and degree $d$. We prove that the compact complex Bohr-Sommerfeld Lagrangians of $M_H(r,d)$ are precisely the irreducible components of the nilpotent cone in $M_H(r,d)$. This generalizes to Higgs $G$-bundles and also to the parabolic Higgs 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…
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.
I define an algebraic metric and closed 3-form on a subspace $\mathcal{M}$ of the moduli of $G$-bundles on a complex projective curve $C$, and show that the resulting two-dimensional $σ$-model with target $\mathcal{M}$ has a zero-curvature formulation.
A morphism of the reduced Gieseker -- Maruyama moduli functor (of semistable coherent torsion-free sheaves) to the reduced moduli functor of admissible semistable pairs with the same Hilbert polynomial, is constructed. It is shown that main components of reduced moduli scheme for semistable admissible pairs ((\tilde S, \tilde L), \tilde E) are isomorphic to main components of reduced Gieseker -- Maruyama moduli scheme.
Moduli spaces of real bundles over a real curve arise naturally as Lagrangian submanifolds of the moduli space of semi-stable bundles over a complex curve. In this paper, we adapt the methods of Atiyah-Bott's "Yang-Mills over a Riemann Surface" to compute Z/2-Betti numbers of these spaces, proving formulas recently obtained by Liu and Schaffhauser.
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.
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.
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.
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.
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.
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 present a method for explicitly computing the non-perturbative superpotentials associated with the vector bundle moduli in heterotic superstrings and M-theory. This method is applicable to any stable, holomorphic vector bundle over an elliptically fibered Calabi-Yau threefold. For specificity, the vector bundle moduli superpotential, for a vector bundle with structure group G=SU(3), generated by a heterotic superstring wrapped once over an isolated curve in a Calabi-Yau threefold with base B=F1, is explicitly calculated. Its locus of critical points is discussed. Superpotentials of vector b…
We generalize the classical Beauville-Narasimhan-Ramanan correspondence to the case of parabolic Higgs bundles with regular singularities and Higgs $V$-bundles. Using this correspondence along with Bott-Morse theoretic techniques we provide an exact component count for moduli spaces of maximal parabolic $\text{Sp}\left( 2n,\mathbb{R} \right)$-Higgs bundles with fixed parabolic structure.
We show that the moduli space $M$ of holomorphic vector bundles on $CP^3$ that are trivial along a line is isomorphic (as a complex manifold) to a subvariety in the moduli of rational curves of the twistor space of the moduli space of framed instantons on $\R^4$, called the space of twistor sections. We then use this characterization to prove that $M$ is equipped with a torsion-free affine connection with holonomy in $Sp(2n,\C)$.
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.
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 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…
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 study an algebraic inequality for nilpotent matrices and show some interesting geometric applications: (i) obtaining topological information for nilpotent polystable Higgs bundles over a compact Riemann surface; (ii) obtaining a sharp upper bound of the holomorphic sectional curvatures of the period domain and the Hodge metric on the Calabi-Yau moduli.
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.
The moduli space of Higgs bundles can be constructed as a quotient of an infinite-dimensional space and hence admits an orbit type decomposition. In this paper, we show that the orbit type decomposition is a complex Whitney stratification such that each stratum is a complex symplectic submanifold and hence admits a complex Poisson bracket. Moreover, these Poisson brackets glue to a Poisson bracket on the structure sheaf of the moduli space so that the moduli space is a stratified complex symplectic space
We consider the moduli space of stable vector bundles on curves embedded in P_2 with Hilbert polynomial 3m+1 and construct a compactification of this space by vector bundles. The result is a blow up of the Simpson moduli space M_{3m+1}(P_2).
We generalize the construction of M. Lieblich for the compactification of the moduli stack of $\PGL_r$-bundles on algebraic spaces to the moduli stack of Tanaka-Thomas $\PGL_r$-Higgs bundles on algebraic schemes. The method we use is the moduli stack of Higgs version of Azumaya algebras. In the case of smooth surfaces, we obtain a virtual fundamental class on the moduli stack of $\PGL_r$-Higgs bundles. An application to the Vafa-Witten invariants is discussed.
We present a systematic study of involutions on the moduli space of $G$-Higgs bundles over an elliptic curve $X$, where $G$ is complex reductive affine algebraic group. The fixed point loci in the moduli space of $G$-Higgs bundles on $X$, and in the moduli space of representations of the fundamental group of $X$ into $G$, are described. This leads to an explicit description of the moduli spaces of pseudo-real $G$-Higgs bundles over $X$.
In this paper we construct the moduli of semistable principal bundles with structure group a semisimple group, over nonsingular curves in positive characteristic, with good bounds on the prime.
We study actions of finite groups on moduli spaces of stable holomorphic vector bundles and relate the fixed-point sets of those actions to representation varieties of certain orbifold fundamental groups.
Let X be a geometrically irreducible smooth projective curve over a field k. We describe the algebra of endomorphisms of indecomposable unstable vector bundles over X of rank 2 and degree d. Fixing some numerical invariants, namely the Harder-Narasimhan type and the dimension of the algebra of endomorphisms, we construct algebraic stacks and moduli schemes for such bundles.
We compute the Brauer group of the moduli stack of stable PGL(r)-bundles on a curve $X$ over an algebraically closed field of characteristic zero. We also show that the Brauer group of such a moduli stack coincides with the Brauer group of the smooth locus of the corresponding coarse moduli space of stable PGL(r)-bundles on $X$.
We show that the derived category of a curve is embedded into the derived category of the moduli space of vector bundles on the curve of coprime rank and degree. We also generalize the semiorthogonal decomposition constructed by Narasimhan and Belmans-Mukhopadhyay. Finally, we produce a one-dimensional family of ACM bundles over the moduli space.
We study the ring generated by the Chern classes of tautological line bundles on the moduli space of parabolic bundles of arbitrary rank on a Riemann surface. We show the Poincaré duals to these Chern classes have simple geometric representatives. We use this construction to show that the ring generated by these Chern classes vanishes below the dimension of the moduli space, in analogy with the Newstead-Ramanan conjecture for stable bundles.
Given an automorphism of a smooth complex algebraic curve, there is an induced action on the moduli space of semi-stable rank 2 holomorphic bundles with fixed determinant. We give a complete description of the fixed variety in terms of moduli spaces of parabolic bundles on the quotient curve.
We use hypersurfaces containing unexpected linear spaces to construct interesting vector bundles on complete intersection surfaces in projective space. We discover examples of moduli spaces of rank 2 stable bundles on surfaces of Picard rank one with arbitrarily many connected components.
In this article we extend the proof given by Biswas and Gomez of a Torelli theorem for the moduli space of Higgs bundles with fixed determinant, to the parabolic situation.
We give a method to construct stable vector bundles whose rank divides the degree over curves of genus bigger than one. The method complements the one given by Newstead. Finally, we make some systematic remarks and observations in connection with rationality of moduli spaces of stable vector bundles.
A morphism of the moduli functor of admissible semistable pairs to the Gieseker -- Maruyama moduli functor (of semistable coherent torsion-free sheaves) with the same Hilbert polynomial on the surface, is constructed. It is shown that these functors are isomorphic, and main components of moduli scheme for semistable admissible pairs are isomorphic to main components of the Gieseker -- Maruyama moduli scheme
We prove that the moduli spaces of parabolic symplectic/orthogonal bundles on a smooth curve are globally F regular type. As a consequence, all higher cohomology of theta line bundle vanish. During the proof, we develop a method to estimate codimension, and consider the infinite grassmannians for parabolic $G$ bundles.
We prove that the Picard group of the moduli space of semistable G-bundles on any irreducible smooth projective curve is isomorphic with the group of integers.
Let $X$ be a compact Riemann surface of genus $g\geq 3$ and let $\mathcal{M}_{\mathrm{par}}$ be the moduli space of semistable parabolic bundles over $X$. Let $\mathcal{M}_{\mathrm{parH}}$ denote the moduli space of semistable parabolic Higgs bundles over $X$. In this article, we study the Picard group of $\mathcal{M}_{\mathrm{par}}$ and $\mathcal{M}_{\mathrm{parH}}$.
