The cohomology ring of the moduli space of stable holomorphic vector bundles of rank n and degree d over a Riemann surface of genus g>1 has a standard set of generators when n and d are coprime. When n=2 the relations between these generators are well understood, and in particular a conjecture of Mumford, that a certain set of relations is a complete set, is known to be true. In this article generalisations are given of Mumford's relations to the cases when n>2 and also when the bundles are parabolic bundles, and these are shown to form complete sets of relations.
A holomorphic chain on a compact Riemann surface is a tuple of vector bundles together with homomorphisms between them. We show that the moduli space of holomorphic chains of rank one is identified with a fiber product of projective space bundles. We compute the Euler characteristic of the moduli space. The stability of chains involves real vector parameters. We also show that the variation of parameters corresponds to the characters of Gm.
Given a scheme over a field endowed with a strict normal crossings divisor, we define strongly parabolic connections, consistently with the current terminology for Higgs bundles. When the weights are rational with prescribed denominators, we show that strongly parabolic connections correspond to holomorphic connections on the corresponding stack of roots. We use this correspondence to establish that a holomorphic connection on a stack of roots can be reconstructed from its direct image to the moduli space.
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…
Let $X$ be a compact connected Riemann surface of genus at least two and $G$ a connected reductive complex affine algebraic group. The Riemann--Hilbert correspondence produces a biholomorphism between the moduli space ${\mathcal M}_X(G)$ parametrizing holomorphic $G$--connections on $X$ and the $G$--character variety $${\mathcal R}(G):= \text{Hom}(π_1(X, x_0), G)/\!\!/G\, .$$ While ${\mathcal R}(G)$ is known to be affine, we show that ${\mathcal M}_X(G)$ is not affine. The scheme ${\mathcal R}(G)$ has an algebraic symplectic form constructed by Goldman. We construct an algebraic symplectic for…
Let $X$ be a compact Riemann surface of genus $g \geq 3$. We consider the moduli space of holomorphic connections over $X$ and the moduli space of logarithmic connections singular over a finite subset of $X$ with fixed residues. We determine the Chow group of these moduli spaces. We compute the global sections of the sheaves of differential operators on ample line bundles and their symmetric powers over these moduli spaces, and show that they are constant under certain condition. We show the Torelli type theorem for the moduli space of logarithmic connections. We also describe the rational con…
This paper continues the study of holomorphic semistable principal G-bundles over an elliptic curve. In this paper, the moduli space of all such bundles is constructed by considering deformations of a minimally unstable G-bundle. The set of all such deformations can be described as the C^* quotient of the cohomology group of a sheaf of unipotent groups, and we show that this quotient has the structure of a weighted projective space. We identify this weighted projective space with the moduli space of semistable G-bundles, giving a new proof of a theorem of Looijenga.
In this paper, we construct holomorphic families of Riemann surfaces from Veech groups and characterize their sections by some points of corresponding flat surfaces. The construction gives us concrete solutions for some Diophantine equations over function fields. Moreover, we give upper bounds of the numbers of holomorphic sections of certain holomorphic families of Riemann surfaces.
Let $(X,\,D)$ be an $m$-pointed compact Riemann surface of genus at least $2$. For each $x \,\in\, D$, fix full flag and concentrated weight system $α$. Let $P \mathcal{M}_ξ$ denote the moduli space of semi-stable parabolic vector bundles of rank $r$ and determinant $ξ$ over $X$ with weight system $α$, where $r$ is a prime number and $ξ$ is a holomorphic line bundle over $X$ of degree $d$ which is not a multiple of $r$. We compute the Chen-Ruan cohomology of the orbifold for the action on $P \mathcal{M}_ξ$ of the group of $r$-torsion points in ${\rm Pic}^0(X)$.
We prove the algebraicity of smooth $CR$-mappings between algebraic Cauchy--Riemann manifolds. A generalization of separate algebraicity principle is established.
Let $(C,\bt)$ ($\bt=(t_1,...,t_n)$) be an $n$-pointed smooth projective curve of genus $g$ and take an element $\blambda=(λ^{(i)}_j)\in\C^{nr}$ such that $-\sum_{i,j}λ^{(i)}_j=d\in\mathbf{Z}$. For a weight $\balpha$, let $M_C^{\balpha}(\bt,\blambda)$ be the moduli space of $\balpha$-stable $(\bt,\blambda)$-parabolic connections on $C$ and let $RP_r(C,\bt)_{\ba}$ be the moduli space of representations of the fundamental group $π_1(C\setminus\{t_1,...,t_n\},*)$ with the local monodromy data $\ba$ for a certain $\ba\in\C^{nr}$. Then we prove that the morphism $\RH:M_C^{\balpha}(\bt,\blambda)\righ…
We prove the SYZ (Strominger-Yau-Zaslow) duality for the moduli space of full flag parabolic Higgs bundles over a compact Riemann surface.The SYZ duality was proved for moduli spaces of Higgs vector bundles over a compact Riemann surface by Hausel and Thaddeus.
Mehta and Seshadri have proved that the set of equivalence classes of irreducible unitary representations of the fundamental group of a punctured compact Riemann surface, can be identified with equivalence classes of stable parabolic bundles of parabolic degree zero on the compact Riemann surface. In this note, we discuss the Mehta-Seshadri correspondence over an irreducible projective curve with at most nodes as singularities.
Let $X$ be a compact Riemann surface of genus $g \geq 3$ and $S$ a finite subset of $X$. Let $ξ$ be fixed a holomorphic line bundle over $X$ of degree $d$. Let $\mathcal{M}_{pc}(r, d, α)$ (respectively, $\mathcal{M}_{pc}(r, α, ξ)$ ) denote the moduli space of parabolic connections of rank $r$, degree $d$ and full flag rational generic weight system $α$, (respectively, with the fixed determinant $ξ$) singular over the parabolic points $S \subset X$. Let $\mathcal{M}'_{pc}(r, d, α)$ (respectively, $\mathcal{M}'_{pc}(r, α, ξ)$) be the Zariski dense open subset of $\mathcal{M}_{pc}(r, d, α)$ (resp…
Two compactifications of the space of holomorphic maps of fixed degree from a compact Riemann surface to a Grassmannian are studied. It is shown that the Uhlenbeck compactification has the structure of a projective scheme and is dominated by the algebraic compactification arising as a Grothendieck Quot scheme. The latter may be embedded into the moduli space of solutions to a generalized version of the vortex equations studied by Bradlow. This gives an effective way of computing certain intersection numbers (known as Gromov invariants) on the space of holomorphic maps into Grassmannians. We ca…
We show that the structure of proper holomorphic maps between the $n$-fold symmetric products, $n\geq 2$, of a pair of non-compact Riemann surfaces $X$ and $Y$, provided these are reasonably nice, is very rigid. Specifically, any such map is determined by a proper holomorphic map of $X$ onto $Y$. This extends existing results concerning bounded planar domains, and is a non-compact analogue of a phenomenon observed in symmetric products of compact Riemann surfaces. Along the way, we also provide a condition for the complete hyperbolicity of all $n$-fold symmetric products of a non-compact Riema…
We investigate the holomorphic differential operators on a Riemann surface $M$. This is done by endowing $M$ with a projective structure. Let $\mathcal L$ be a theta characteristic on $M$. We explicitly describe the jet bundle $J^k(E\otimes {\mathcal L}^{\otimes n})$, where $E$ is a holomorphic vector bundle on $M$ equipped with a holomorphic connection, for all $k$ and $n$. This provides a description of holomorphic differential operators from $E\otimes {\mathcal L}^{\otimes n}$ to another holomorphic vector bundle $F$ using the natural isomorphism $\text{Diff}^k(E\otimes {\mathcal L}^{\otime…
A holomorphic triple over a compact Riemann surface consists of two holomorphic vector bundles and a holomorphic map between them. After fixing the topological types of the bundles and a real parameter, there exist moduli spaces of stable holomorphic triples. In this paper we study non-emptiness, irreducibility, smoothness, and birational descriptions of these moduli spaces for a certain range of the parameter. Our results have important applications to the study of the moduli space of representations of the fundamental group of the surface into unitary Lie groups of indefinite signature, whic…
Fix a point $t_0$ in the circle $S^1$. The space $J^k(t_0, \mathbb{P}^1)$ of $k$-jets at $t_0$ of $C^{\infty}$ maps from $S^1$ to the Riemann sphere $\mathbb{P}^1$ is a $k+1$ dimensional complex algebraic manifold. We identify a class of holomorphic sections of line bundles on $J^k(t_0, \mathbb{P}^1)$.
In this paper we study the topology of the spaces Hol(M,P{n},k) of (basepoint preserving) holomorphic maps of a given degree k from a Riemann surface M of genus g>0 into the n-th complex projective space P{n}, n>0. Using symmetric products of the surface as well as the geometry of the associated Abel-Jacobi maps, we construct an explicit topological compactification of Hol(M,P{n},k) which allow us to construct spectral sequences with known E_1-terms that can be used to determine the homology groups of Hol(M,P{n},k). Complete calculations are given for the elliptic case (g=1). Complete rational…
In this paper, we show that the family of moduli spaces of $\balpha'$-stable $(\bt, \blambda)$-parabolic $ϕ$-connections of rank 2 over $\BP^1$ with 4-regular singular points and the fixed determinant bundle of degree -1 is isomorphic to the family of Okamoto--Painlevé pairs introduced by Okamoto \cite{O1} and \cite{STT02}. We also discuss about the generalization of our theory to the case where the rank of the connections and genus of the base curve are arbitrary. Defining isomonodromic flows on the family of moduli space of stable parabolic connections via the Riemann-Hilbert correspondences…
We investigate the symplectic geometric and differential geometric aspects of the moduli space of connections on a compact Riemann surface $X$. Fix a theta characteristic $K^{1/2}_X$ on $X$; it defines a theta divisor on the moduli space ${\mathcal M}$ of stable vector bundles on $X$ of rank $r$ degree zero. Given a vector bundle $E \in {\mathcal M}$ lying outside the theta divisor, we construct a natural holomorphic connection on $E$ that depends holomorphically on $E$. Using this holomorphic connection, we construct a canonical holomorphic isomorphism between the following two: \begin{enumer…
We study holomorphic $(n+1)$-chains $E_n\to E_{n-1} \to >... \to E_0$ consisting of holomorphic vector bundles over a compact Riemann surface and homomorphisms between them. A notion of stability depending on $n$ real parameters was introduced in the work of the first two authors and moduli spaces were constructed by the third one. In this paper we study the variation of the moduli spaces with respect to the stability parameters. In particular we characterize a parameter region where the moduli spaces are birationally equivalent. A detailed study is given for the case of 3-chains, generalizing…
The paper develops the fundamentals of quaternionic holomorphic curve theory. The holomorphic functions in this theory are conformal maps from a Riemann surface into the 4-sphere, i.e., the quaternionic projective line. Basic results such as the Riemann-Roch Theorem for quaternionic holomorphic vector bundles, the Kodaira embedding and the Pluecker relations for linear systems are proven. Interpretations of these results in terms of the differential geometry of surfaces in 3- and 4-space are hinted at throughout the paper. Applications to estimates of the Willmore functional on constant mean c…
For an elliptic surface $q:Y \to Σ$, with prescribed singular fibres, Stefan Bauer proved directly via algebraic geometry that the stable bundles over $Y$, whose chern classes are pull backs from $Σ$, correspond to the stable (V-)bundles over $Σ$. We show, via a short proof in differential geometry, a generalisation to stable parabolic bundles. This uses extensions of Donaldson's deep result, giving the existence of Hermitian-Yang-Mills (or anti-self-dual) connections on stable parabolic bundles. In our cases these connections are flat and hence, correspond to representations of certain fundam…
The cohomology of the moduli spaces of stable bundles M(n,d), of coprime rank n and degree d, over a Riemann surface (of genus g > 1) have been intensely studied over the past three decades. We prove in this paper that the Pontryagin ring of M(n,d) vanishes in degrees above 2n(n-1)(g-1) and that this bound is strict (i.e. there exists a non-zero element of degree 2n(n-1)(g-1) in Pont(M(n,d)).) This result is a generalisation of a 1967 Newstead conjecture that Pont(M(2,1)) vanished above 4(g-1) (or equivalently that β^g =0.) These results have been independently proved by Lisa Jeffrey and Jonat…
We prove formulas (found by Witten in 1992 using physical methods) for intersection pairings in the cohomology of the moduli space M(n,d) of stable holomorphic vector bundles of rank n and degree d (assumed coprime) on a Riemann surface of genus g greater than or equal to 2. We also use these formulas for intersection numbers to obtain a proof of the Verlinde formula for the dimension of the space of holomorphic sections of a line bundle over M(n,d).
We construct explicit geometric models for moduli spaces of semi-stable strongly parabolic Higgs bundles over the Riemann sphere, in the case of rank two, four marked points, arbitrary degree, and arbitrary weights. The mechanism of construction relies on elementary geometric and combinatorial techniques, based on a detailed study of orbit stability of (in general non-reductive) bundle automorphism groups on certain carefully crafted spaces. The aforementioned techniques are not exclusive to the case we examine, and this work elucidates a general approach to construct arbitrary moduli spaces o…
We extend the spectral theory of generalized Laplacians to integrable metrics on compact Riemann surfaces. As a consequence, we attach in a direct way, a holomorphic analytic torsion to any integrable metrics. We also provide a different approach to define the holomorphic analytic torsion. We prove that both approaches agree.
Parabolic SL(r,C)-opers were defined and investigated in [BDP] in the set-up of vector bundles on curves with a parabolic structure over a divisor. Here we introduce and study holomorphic differential operators between parabolic vector bundles over curves. We consider the parabolic SL(r,C)-opers on a Riemann surface X with given singular divisor S and with fixed parabolic weights satisfying the condition that all parabolic weights at any point $x_i$ in S are integral multiples of $\frac{1}{2N_i+1}$, where $N_i > 1$ are fixed integers. We prove that this space of opers is canonically identified…
For every integer $g \,\geq\, 2$ we show the existence of a compact Riemann surface $Σ$ of genus $g$ such that the rank two trivial holomorphic vector bundle ${\mathcal O}^{\oplus 2}_Σ$ admits holomorphic connections with $\text{SL}(2,{\mathbb R})$ monodromy and maximal Euler class. Such a monodromy representation is known to coincide with the Fuchsian uniformizing representation for some Riemann surface of genus $g$. The construction carries over to all very stable and compatible real holomorphic structures for the topologically trivial rank two bundle over $Σ$ and gives the existence of holo…
