We classify the finite groups associated to the singularities of the moduli space of $n/ge5$ unordered points on the Riemann sphere. We also realize the classification by an algorithm.
For $n\ge5$, it is well known that the moduli space $\mathfrak{M_{0,\:n}}$ of unordered $n$ points on the Riemann sphere is a quotient space of the Zariski open set $K_n$ of $\mathbb C^{n-3}$ by an $S_n$ action. The stabilizers of this $S_n$ action at certain points of this Zariski open set $K_n$ correspond to the groups fixing the sets of $n$ points on the Riemann sphere. Let $α$ be a subset of $n$ distinct points on the Riemann sphere. We call the group of all linear fractional transformations leaving $α$ invariant the stabilizer of $α$, which is finite by observation. For each non-trivial f…
Fix integers $g\geq 3$ and $r\geq 2$, with $r\geq 3$ if $g=3$. Given a compact connected Riemann surface $X$ of genus $g$, let $\MDH(X)$ denote the corresponding $\text{SL}(r, {\mathbb C})$ Deligne--Hitchin moduli space. We prove that the complex analytic space $\MDH(X)$ determines (up to an isomorphism) the unordered pair $\{X, \overline{X}\}$, where $\overline{X}$ is the Riemann surface defined by the opposite almost complex structure on $X$.
We show that $\mathcal{M}_{g,n}$, the moduli space of smooth curves of genus $g$ together with $n$ marked points, is unirational for $g=12$ and $2 \leq n\leq 4$ and for $g=13$ and $1 \leq n \leq 3$, by constructing suitable dominant families of projective curves in $\mathbb{P}^1 \times \mathbb{P}^2$ and $\mathbb{P}^3$ respectively. We also exhibit several new unirationality results for moduli spaces of smooth curves of genus $g$ together with $n$ unordered points, establishing their unirationality for $g=11, n=7$ and $g=12, n =5,6$.
We construct explicitly a finite cover of the moduli stack of compact Riemann surfaces with a given group of symmetries by a smooth quasi-projective variety.
We give a short and "classical" proof of Borcherds' theorem that the moduli space of Enriques surfaces is quasi-affine. The use of the Borcherds' product is replaced in our proof by an application of the Grothendieck-Riemann-Roch theorem.
We compute the stringy E function of the moduli space of rank 2 bundles over a Riemann surface of genus 3. In doing so, we answer a question of Batyrev about the stringy E functions of the GIT quotients of linear representations.
In 1962 E. H. Rauch established the existence of points in the moduli space of Riemann surfaces not having a neighbourhood homeomorphic to a ball. These points are called here topologically singular. We give a different proof of the results of Rauch and also determine the topologically singular and non-singular points in the branch locus of some equisymmetric families of Riemann surfaces.
We construct a moduli space for Riemann surfaces that is universal in the sense that it represents compact Riemann surfaces of any finite genus. This moduli space is stratifed according to genus, and it carries a metric and a measure that induce a Riemannian metric and a finite volume measure on each stratum. Applications to the Plateau-Douglas problem for minimal surfaces of varying genus and to the partition function of Bosonic string theory are outlined. The construction starts with a universal moduli space of Abelian varieties. This space carries a structure of an infinite dimensional loca…
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…
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.
Following the author's previous works, we continue to consider the problem of counting the number of affine conjugacy classes of polynomials of one complex variable when its unordered collection of holomorphic fixed point indices is given. The problem was already solved completely in the case that the polynomials have no multiple fixed points, in the author's previous papers. In this paper, we consider the case of having multiple fixed points, and obtain the formulae for generic unordered collections of holomorphic fixed point indices, for each given degree and for each given number of fixed p…
Inductive formulas for the Betti numbers of the moduli spaces of stable holomorphic vector bundles of coprime rank and degree over a fixed Riemann surface of genus at least two were obtained by Harder, Narasimhan, Desale and Ramanan using number theoretic methods and the Weil conjectures and were rederived by Atiyah and Bott using gauge theory. In this note we observe that there are similar inductive formulas for determining the Hodge numbers of these moduli spaces.
We show that certain structures and constructions of the Whitham theory, an essential part of the perturbation theory of soliton equations, can be instrumental in understanding the geometry of the moduli spaces of Riemann surfaces with marked points. We use the ideas of the Whitham theory to define local coordinates and construct foliations on the moduli spaces. We use these constructions to give a new proof of the Diaz' bound on the dimension of complete subvarieties of the moduli spaces. Geometrically, we study the properties of meromorphic differentials with real periods, and their degenera…
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…
Refinements of the Yang-Mills stratifications of spaces of connections over a compact Riemann surface are investigated. The motivation for this study was the search for a complete set of relations between the standard generators for the cohomology of the moduli spaces of stable holomorphic bundles of rank n and degree d when n and d are coprime and n>2.
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 any compact connected Riemann surface of genus $g \geq 3$. For any $r\geq 2$, let $M_X$ denote the moduli space of holomorphic $SL(r,C)$-connections over $X$. It is known that the biholomorphism class of the complex variety $M_X$ is independent of the complex structure of $X$. If $g=3$, then we assume that $r\geq 3$. We prove that the isomorphism class of the variety $M_X$ determines the Riemann surface $X$ uniquely up to isomorphism. A similar result is proved for the moduli space of holomorphic $GL(r,C)$-connections on $X$. We also show that the Torelli theorem remains valid for t…
The known (explicit) examples of Riemann surfaces not definable over their field of moduli are not real whose field of moduli is a subfield of the reals. In this paper we provide explicit examples of real Riemann surfaces which cannot be defined over the field of moduli.
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)$.
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…
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.
The moduli space of Riemann surfaces of genus $g\geq 2$ is (up to a finite étale cover) a complex manifold and so it makes sense to speak of its Dolbeault cohomological dimension. The conjecturally optimal bound is $g-2$. This expectation is verified in low genus and supported by Harer's computation of its de Rham cohomological dimension and by vanishing results in the tautological intersection ring. In this paper we prove that such dimension is at most $2g-2$. We also prove an analogous bound for the moduli space of Riemann surfaces with marked points. The key step is to show that the Dolbeau…
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.
For a compact Riemann surface $X$ of genus $g > 1$, $\Hom(π_1(X), U(p,1))/U(p,1)$ is the moduli space of flat $\U(p,1)$-connections on $X$. There is an integer invariant, $τ$, the Toledo invariant associated with each element in $\Hom(π_1(X), U(p,1))/U(p,1)$. If $q = 1$, then $-2(g-1) \le τ\le 2(g-1)$. This paper shows that $\Hom(π_1(X), U(p,1))/U(p,1)$ has one connected component corresponding to each $τ\in 2Z$ with $-2(g-1) \le τ\le 2(g-1)$. Therefore the total number of connected components is $2(g-1) + 1$.
In this paper we study the moduli space of the tropicalizations of Riemann surfaces. We first tropicalize a smooth pointed Riemann surface by a graph defined by its (hyperbolic) pair of pants decomposition. Then we can construct the moduli space of tropicalizations based on a fixed regular tropicalization, and compactify it by adding strata parametrizing weighted contractions. We show that this compact moduli space is also Hausdorff. In the end, we compare this moduli space with the moduli space of Riemann surfaces, establishing a partial order-preserving correspondence between the stratificat…
As a consequence of the Riemann-Roch theorem, a closed Riemann surface $S$ can be described by a non-singular complex projective algebraic curve $C$. A field of definition for $S$ is any subfield $D$ of $\mathbb{C}$ so that we may choose $C$ to be defined by polynomials in $D[x_0, \ldots, x_n]$. The field of moduli of $S$ is ${\mathbb R}$ if and only if $S$ admits an anticonformal automorphism. In the case that the field of moduli of $S$ is ${\mathbb R}$, then $S$ can be defined over the field of moduli if and only if $S$ admits an anticonformal involution. It may happen that the field of modu…
This paper applies methods of Van der Put and Van derPut-Saito to the fourth Painlevé equation. One obtains a Riemann--Hilbert correspondence between moduli spaces of rank two connections on $\mathbb{P}^1$ and moduli spaces for the monodromy data. The moduli spaces for these connections are identified with Okamoto--Painlevé varieties and the Painlevé property follows. For an explicit computation of the full group of Bäcklund transformations, rank three connections on $\mathbb{P}^1$ are introduced, inspired by the symmetric form for ${\rm PIV}$ as was studied by M. Noumi and Y. Yamada.
We compute the automorphism groups of the Dolbeault, de Rham and Betti moduli spaces for the multiplicative group ${\mathbb C}^*$ associated to a compact connected Riemann surface.
Let X and X' be compact Riemann surfaces of genus at least three. Let G and G' be nontrivial connected semisimple linear algebraic groups over C. If some components $M_{DH}^d(X,G)$ and $M_{DH}^{d'}(X',G')$ of the associated Deligne--Hitchin moduli spaces are biholomorphic, then X' is isomorphic to X or to the conjugate Riemann surface $\bar{X}$.
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…
We compute some Gromov-Witten invariants of the moduli space of odd degree rank two stable vector bundles over a Riemann surface of any genus. Next we find the first correction term for the quantum product of this moduli space and hence get the two leading terms of the relations satisfied by the natural generators of its quantum cohomology. Finally, we use this information to get a full description of the quantum cohomology of the moduli space when the genus of the Riemann surface is 3.
Inspired by his vanishing results of tautological classes and by Harer's computation of the virtual cohomological dimension of the mapping class group, Looijenga conjectured that the moduli space of smooth Riemann surfaces admits a stratification by affine subsets with a certain number of layers. Similarly, Roth and Vakil extended the conjecture to the moduli spaces of Riemann surfaces of compact type, of Riemann surfaces with rational tails and of Riemann surfaces with at most k rational components. As a consequence of Lefschetz's theorem, Roth-Vakil's conjecture would also imply that the pre…
Let $S$ be a finite subset of a compact connected Riemann surface $X$ of genus $g \geq 2$. Let $\cat{M}_{lc}(n,d)$ denote the moduli space of pairs $(E,D)$, where $E$ is a holomorphic vector bundle over $X$ and $D$ is a logarithmic connection on $E$ singular over $S$, with fixed residues in the centre of $\mathfrak{gl}(n,\C)$, where $n$ and $d$ are mutually corpime. Let $L$ denote a fixed line bundle with a logarithmic connection $D_L$ singular over $S$. Let $\cat{M}'_{lc}(n,d)$ and $\cat{M}_{lc}(n,L)$ be the moduli spaces parametrising all pairs $(E,D)$ such that underlying vector bundle $E$ …
We construct a moduli scheme for semistable pre-$\D$-modules with prescribed singularities and numerical data on a smooth projective variety. These pre-$\D$-modules are to be viewed as regular holonomic $\D$-modules with `level structure'. We also construct a moduli scheme for perverse sheaves on the variety with prescribed singularities and other numerical data, and represent the de Rham functor (which gives the Riemann-Hilbert correspondence) by an analytic morphism between the two moduli schemes.
As was shown by Harer the second homology of ${\mathbb M}_g$, the moduli space of compact Riemann surfaces of genus $g$, is of rank 1, provided $g \geq 3$. This means a nontrivial second de Rham cohomology class on ${\mathbb M}_g$ is unique up to constant factor. But several canonical 2-forms on the moduli space have been constructed in various geometric contexts, and differ from each other. In this article we review some of constructions in order to provide materials for future research on "secondary geometry" of the moduli space ${\mathbb M}_g$.
This is an informal set of lecture notes on moduli spaces of curves based on a set of lectures given at the ICTP last summer. It begins at an elementary level and discusses the genus 1 case in detail. The notes then give an informal treatement of Teichmuller space and higher genus moduli spaces. The point of view is generally topological and analytical.
In this note we quantize the usual symplectic (Kähler) form on the vortex moduli space by modifying the Quillen metric of the Quillen determinant line bundle.
We have recently proved a homological stability theorem for moduli spaces of r-Spin Riemann surfaces, which in particular implies a Madsen--Weiss theorem for these moduli spaces. This allows us to effectively study their stable cohomology, and to compute their stable rational cohomology and their integral Picard groups. Using these methods we give a complete description of their integral Picard groups for genus at least 9 in terms of geometrically defined generators, and determine the relations between them.
Let $X$ be a compact Riemann surface $X$ of genus at--least two. Fix a holomorphic line bundle $L$ over $X$. Let $\mathcal M$ be the moduli space of Hitchin pairs $(E ,ϕ\in H^0(End(E)\otimes L))$ over $X$ of rank $r$ and fixed determinant of degree $d$. We prove that, for some numerical conditions, $\mathcal M$ is irreducible, and that the isomorphism class of the variety $\mathcal M$ uniquely determines the isomorphism class of the Riemann surface $X$.
For singular metrics, there is no Quillen metric formalism on cohomology determinant. In this paper, we develop an admissible theory, with which the arithmetic Deligne-Riemann-Roch isometry can be established for singular metrics. As an application, we first study Weil-Petersson metrics and Takhtajan-Zograf metrics on moduli spaces of punctured Riemann surfaces, and then give a more geometric interpretation of our determinant metrics in terms of Selberg zeta functions. We end this paper by proposing an arithmetic factorization for Weil-Petersson metrics, cuspidal metrics and Selberg zeta funct…
The main result of this paper amounts to a complete evaluation of the integral cohomological structure of the stable mapping class group. In particular it verifies the conjecture of D.Mumford about the rational cohomology of the stable mapping class group.
The aim of this paper is to study the structure of the higher-dimensional Teichmüller and Riemann moduli spaces, viewed as stacks over the category of complex manifolds. We first show that the space of complex operators on a smooth manifold admits a foliation transversely modeled on a translation groupoid, a concept that we define here. We then show how to construct explicitly a holonomy groupoid for such a structure and show that in this case its objects and morphisms form a finite-dimensional analytic space and its source and target maps are smooth morphisms. This holonomy data encodes how t…
The twistor space of the moduli space of solutions of Hitchin's self-duality equations can be identified with the Deligne-Hitchin moduli space of $λ$-connections. We use real projective structures on Riemann surfaces to prove the existence of new components of real holomorphic sections of the Deligne-Hitchin moduli space. Applying the twistorial construction we show the existence of new hyper-Kähler manifolds associated to any compact Riemann surface of genus $g\geq2$. These hyper-Kähler manifolds can be considered as moduli spaces of (certain) singular solutions of the self-duality equations.
In a recent paper R. Pandharipande, J. Solomon and R. Tessler initiated a study of the intersection theory on the moduli space of Riemann surfaces with boundary. The authors conjectured KdV and Virasoro type equations that completely determine all intersection numbers. In this paper we study these equations in detail. In particular, we prove that the KdV and the Virasoro type equations for the intersection numbers on the moduli space of Riemann surfaces with boundary are equivalent.
The bad locus in the moduli of super Riemann surfaces with Ramond punctures parametrizes those super Riemann surfaces that have more than the expected number of independent closed holomorphic 1-forms. There is a super period map that depends on certain discrete choices. For each such choice, the period map blows up along a divisor that contains the bad locus. Our main result is that away from the bad locus, at least one of these period maps remains finite. In other words, we identify the bad locus as the intersection of the blowup divisors. The proof abstracts the situation into a question in …
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…