Chow group of 1-cycles on the moduli space of vector bundles of rank 2 over a curve

Let X be a non-singular complex projective curve of genus ≥3. Choose a point x ∈ X. Let M_x be the moduli space of stable bundles of rank 2 with determinant We prove that the Chow group CH^Q₁(M_x) of 1-cycles on M_x with rational coefficients is isomorphic to CH^Q₀(X). By studying the rational curves on M_x, it is not difficult to see that there exits a natural homomorphism CH₀(J)→CH₁(M_x) where J denotes the Jacobian of X. The crucial point is to show that this homomorphism induces a homomorphism CH₀(X)→CH₁(M_x), namely, to go from the infinite dimensional object CH₀(J) to the finite dimensional object CH₀(X). This is proved by relating the degeneration of Hecke curves on M_x to the second term I^*2 of Bloch's filtration on CH₀(J). Insong Choe was supported by KOSEF (R01-2003-000-11634-0).     

Desingularizations of the moduli space of rank 2 bundles over a curve

Let X be a smooth projective curve of genus g3 and M₀ be the moduli space of rank 2 semistable bundles over X with trivial determinant. There are three desingularizations of this singular moduli space constructed by Narasimhan-Ramanan [NR78], Seshadri [Ses77] and Kirwan [Kir86b] respectively. The relationship between them has not been understood so far. The purpose of this paper is to show that there is a morphism from Kirwans desingularization to Seshadris, which turns out to be the composition of two blow-downs. In doing so, we will show that the singularities of M₀ are terminal and the plurigenera are all trivial. As an application, we compute the Betti numbers of the cohomology of Seshadris desingularization in all degrees. This generalizes the result of [BS90] which computes the Betti numbers in low degrees. Another application is the computation of the stringy E-function (see [Bat98] for definition) of M₀ for any genus g3 which generalizes the result of [Kie03].Young-Hoon Kiem was partially supported by KOSEF R01-2003-000-11634-0 and SNU; Jun Li was partially supported by NSF grants.Mathematics Subject Classification (2000): 14H60, 14F25, 14F42     

The moduli space of stable vector bundles over a real algebraic curve

We study the spaces of stable real and quaternionic vector bundles on a real algebraic curve. The basic relationship is established with unitary representations of an extension of \mathbbZ/2{\mathbb{Z}/2} by the fundamental group. By comparison with the space of real or quaternionic connections, some of the basic topological invariants of these spaces are calculated.     

Stability of Picard bundle over moduli space of stable vector bundles of rank two over a curve

Answering a question of [BV] it is proved that the Picard bundle on the moduli space of stable vector bundles of rank two, on a Riemann surface of genus at least three, with fixed determinant of odd degree is stable.     

On the Hilbert scheme of the moduli space of vector bundles over an algebraic curve

Let M(n, ξ) be the moduli space of stable vector bundles of rank n ≥ 3 and fixed determinant ξ over a complex smooth projective algebraic curve X of genus g ≥ 4. We use the gonality of the curve and r-Hecke morphisms to describe a smooth open set of an irreducible component of the Hilbert scheme of M(n, ξ), and to compute its dimension. We prove similar results for the scheme of morphisms ${M or_P (\mathbb{G}, M(n, \xi))}$ and the moduli space of stable bundles over ${X \times \mathbb{G}}$ , where ${\mathbb{G}}$ is the Grassmannian ${\mathbb{G}(n - r, \mathbb{C}^n)}$ . Moreover, we give sufficient conditions for ${M or_{2ns}(\mathbb{P}^1, M(n, \xi))}$ to be non-empty, when s ≥ 1.     

Line bundles over a moduli space of logarithmic connections on a Riemann surface

We consider logarithmic connections, on rank n and degree d vector bundles over a compact Riemann surface X, singular over a fixed point x₀ ∈ X with residue in the center of the integers n and d are assumed to be mutually coprime. A necessary and sufficient condition is given for a vector bundle to admit such a logarithmic connection. We also compute the Picard group of the moduli space of all such logarithmic connections. Let denote the moduli space of all such logarithmic connections, with the underlying vector bundle being of fixed determinant L, and inducing a fixed logarithmic connection on the determinant line L. Let be the Zariski open dense subset parametrizing all connections such that the underlying vector bundle is stable. The space of all global sections of certain line bundles on are computed. In particular, there are no nonconstant algebraic functions on Therefore, there are no nonconstant algebraic functions on although is biholomorphic to a representation space which admits nonconstant algebraic functions. The moduli space admits a natural compactification by a smooth divisor. We investigate numerically effectiveness of this divisor at infinity. It turns out that the divisor is not numerically effective in general. Received: March 2004 Revision: May 2004 Accepted: May 2004     

The determinant bundle on the moduli space of stable triples over a curve

We construct a holomorphic Hermitian line bundle over the moduli space of stable triples of the form (E₁, E₂,?), where E₁ and E₂ are holomorphic vector bundles over a fixed compact Riemann surfaceX, and?: E₂ → E₁ is a holomorphic vector bundle homomorphism. The curvature of the Chern connection of this holomorphic Hermitian line bundle is computed. The curvature is shown to coincide with a constant scalar multiple of the natural Kähler form on the moduli space. The construction is based on a result of Quillen on the determinant line bundle over the space of Dolbeault operators on a fixed C^∞ Hermitian vector bundle over a compact Riemann surface.     

The Brauer group of desingularization of moduli spaces of vector bundles over a curve

Let C be an irreducible smooth projective curve, of genus at least two, defined over an algebraically closed field of characteristic zero. For a fixed line bundle L on C, let M _C (r; L) be the coarse moduli space of semistable vector bundles E over C of rank r with ∧ ^r E = L. We show that the Brauer group of any desingularization of M _C (r; L) is trivial.     

A note on the discriminant of a space curve

The notion of afree divisor was introduced by K. Saito, who also proved that the discriminant in the semi-universal deformation of an isolated complete intersection is such a free fivisor. In this note we show that the discriminant of the semi-universal deformation of areduced space curve also has this property.     

Some moduli stacks of symplectic bundles on a curve are rational

Let C be a smooth projective curve of genus g?2 over a field k. Given a line bundle L on C, let Sympl2n,L be the moduli stack of vector bundles E of rank 2n on C endowed with a nowhere degenerate symplectic form up to scalars. We prove that this stack is birational to BGm×As for some s if deg(E)=n⋅deg(L) is odd and C admits a rational point P∈C(k) as well as a line bundle ξ of degree 0 with ξ⊗2?OC. It follows that the corresponding coarse moduli scheme of Ramanathan-stable symplectic bundles is rational in this case.     

Determinant line bundle on moduli space of parabolic bundles

In Biswas and Raghavendra (Proc Indian Acad Sci (Math Sci) 103:41–71, 1993; Asian J Math 2:303–324, 1998), a parabolic determinant line bundle on a moduli space of stable parabolic bundles was constructed, along with a Hermitian structure on it. The construction of the Hermitian structure was indirect: The parabolic determinant line bundle was identified with the pullback of the determinant line bundle on a moduli space of usual vector bundles over a covering curve. The Hermitian structure on the parabolic determinant bundle was taken to be the pullback of the Quillen metric on the determinant line bundle on the moduli space of usual vector bundles. Here a direct construction of the Hermitian structure is given. For that we need to establish a version of the correspondence between the stable parabolic bundles and the Hermitian–Einstein connections in the context of conical metrics. Also, a recently obtained parabolic analog of Faltings’ criterion of semistability plays a crucial role.     

Borel-Weil-Bott theory on the moduli stack of G-bundles over a curve

Let G be a semi-simple group and M the moduli stack of G-bundles over a smooth, complex, projective curve. Using representation-theoretic methods, I prove the pure-dimensionality of sheaf cohomology for certain “evaluation vector bundles” over M, twisted by powers of the fundamental line bundle. This result is used to prove a Borel-Weil-Bott theorem, conjectured by G. Segal, for certain generalized flag varieties of loop groups. Along the way, the homotopy type of the group of algebraic maps from an affine curve to G, and the homotopy type, the Hodge theory and the Picard group of M are described. One auxiliary result, in Appendix A, is the Alexander cohomology theorem conjectured in [Gro2]. A self-contained account of the “uniformization theorem” of [LS] for the stack M is given, including a proof of a key result of Drinfeld and Simpson (in characteristic 0). A basic survey of the simplicial theory of stacks is outlined in Appendix B. Oblatum 17-XII-1996 & 26 VI-1997     

Certain relative quadric hypersurfaces in 3-dimensional projective space bundles over a projective curve

We classify the certain type of relative quadric hypersurfaces of 3-dimensional projective space bundles over a projective line or an elliptic curve whose fiber is the direct product of 2 projective lines.