nLab
moduli space of curves

Moduli space of curves and

Idea

The moduli space/moduli stack of algebraic curves/Riemann surfaces is a sort of space of parameters parametrizing algebraic curves of given genus.

Deligne-Mumford 69 a nontrivial compactification of a moduli space of Riemann surfaces of fixed genus which is a Deligne-Mumford stack, since called the Deligne-Mumford compactification.

There is also a decorated version of curves with marked points, and of the corresponding compactified moduli space of stable curves of genus gg with nn marked points g,n\mathcal{M}_{g,n} which plays an important role in the mathematical study of Gromov-Witten invariants and of conformal blocks.

The special case of g=1g = 1, n=1n =1 is the moduli stack of elliptic curves 1,1= ell\mathcal{M}_{1,1}= \mathcal{M}_{ell}.

Properties

Over the complex numbers

Remark

On 2-dimensional manifold every almost complex structure is integrable and hence is already a complex structure (see this proposition).

Hence the moduli space of complex surfaces is also equivalent to just the quotient orbifold of the space of almost complex structures by the orientation-preserving part of the diffeomorphism group.

This is reviewed for instance in (Madsen 07, section 1.1).

Remark

We indicate how via remark 1 the moduli space of complex curves has a formulation in the homotopy-type theory H\mathbf{H} of smooth homotopy types.

By the discussion at almost complex structure (see this remark), if the tangent bundle of a 2n2n-dimensional smooth manifold is modulated by a map

τ X:XBGL(2n,) \tau_X \;\colon\; X \longrightarrow \mathbf{B}GL(2n,\mathbb{R})

to the delooping in smooth stacks of the general linear group, then an almost complex structure on XX is equivalently a lift JJ in

X J BGL(n,) τ almComp BGL(2n,). \array{ X && \stackrel{J}{\longrightarrow} && \mathbf{B} GL(n,\mathbb{C}) \\ & {}_{\mathllap{\tau}}\searrow && \swarrow_{\mathrlap{almComp}} \\ && \mathbf{B} GL(2n,\mathbb{R}) } \,.

This in turn is equivalently a map

J:τ XalmComp J \;\colon\; \tau_X \longrightarrow almComp

in the slice (∞,1)-topos H /BGL(2n,)\mathbf{H}_{/\mathbf{B}GL(2n,\mathbb{R})}, hence with the canonical empedding

τ ():SmthMfd 2n etH /BGL(2n,) \tau_{(-)} \;\colon\; SmthMfd_{2n}^{et} \hookrightarrow \mathbf{H}_{/\mathbf{B}GL(2n,\mathbb{R})}

of the category of smooth manifolds with local diffeomorphisms between them understood, then almCompH /BGL(2n,)almComp \in \mathbf{H}_{/\mathbf{B}GL(2n,\mathbb{R})} is the universal moduli stack of almost complex structures.

Now τ X\tau_X carries a canonical ∞-action by the diffeomorphism group. Using this one may canonically form the homotopy quotient

[τ X,almComp]//Diff(X) [\tau_X, almComp]//Diff(X)

by a general abstract construction that is discussed in some detail at general covariant – Formalization in homotopy type theory. For n=1n =1 this is hence the Riemann moduli space.

Homotopy type and cohomology

The homotopy type of the Riemann moduli spaces g\mathcal{M}_g (i.e. of the geometric realization of the orbifold, hence essentially of the delooping of the mapping class group) is essentially unknown. Even its orbifold cohomology over the rational numbers is fully known only for g4g \leq 4.

However, in a stable range it has been fully computed in (Madsen-Weiss 02), proving what was previously conjectured by Mumford's conjecture. A review is in (Madsen 07).

Orbifold Euler characteristic

The orbifold Euler characteristic χ\chi of g,1\mathcal{M}_{g,1} is given by the Riemann zeta function at negative integral values as follows (Zagier-Harer 86):

χ( g,1)=ζ(12g). \chi(\mathcal{M}_{g,1}) = \zeta(1-2g) \,.

By the expression of the Riemann zeta function at negative integral values by the Bernoulli numbers B nB_n, this says equivalently that

χ( g,1)=B 2g2g. \chi(\mathcal{M}_{g,1}) = -\frac{B_{2g}}{2g} \,.

For instance for g=1g = 1 (once punctured complex tori, hence complex elliptic curves) this yields

χ( 1,1)=112 \chi(\mathcal{M}_{1,1}) = -\frac{1}{12}

for the orbifold Euler characteristic of the moduli space of elliptic curves.

Relation to Teichmüller space

Over the complex number then the moduli space of curves is a quotient of Teichmüller space. (Hubbard-Koch 13)

Examples

g=0g = 0, n=0n = 0

By the Riemann mapping theorem?, 0,0*\mathcal{M}_{0,0}\simeq \ast is the point.

g=1g = 1, n=0n = 0

1,0 2\mathcal{M}_{1,0} \simeq \mathbb{R}^2

g=1g = 1, n=1n = 1

1,1= ell\mathcal{M}_{1,1} = \mathcal{M}_{ell}, the moduli stack of elliptic curves.

g2g \geq 2, n=0n = 0

For genus g2g\geq 2 the moduli stack of complex structures is equivalently that of hyperbolic metrics. This way a lot of hyperbolic geometry is used in the study of g2,n\mathcal{M}_{g \geq 2, n}.

References

Original articles include

  • Pierre Deligne, David Mumford, The irreducibility of the space of curves of given genus, Publications Mathématiques de l’IHÉS (Paris) 36: 75–109 (1969) numdam

  • David Mumford, Towards an enumerative geometry of the moduli space of curves, Arithmetic and geometry, Vol. II, Birkhäuser Boston, Boston, MA, 1983, pp. 271–328, MR85j:14046

Discussion of the orbifold cohomology of the moduli stack is in

  • John Harer, The cohomology of the moduli space of curves, Lec. Notes in Math. 1337, p. 138–221. Springer, Berlin, 1988.

The stable rational orbifold cohomology of the moduli stack was computed in

exposition of this is in

  • Ib Madsen, Moduli spaces from a topological viewpoint, Proceedings of the International Congress of Mathematics, Madrid 2006 (2007) (pdf)

See also

  • Gabriele Mondello, Combinatorial classes on g,n\mathcal{M}_{g,n} are tautological, Int. Math. Res. Not. 44 (2004), 2329-–2390, MR2005g:14056, doi, math.AG/0303207

  • Gabriele Mondello, Riemann surfaces, ribbon graphs and combinatorial classes, in: Handbook of Teichmüller theory. Vol. II, 151–215, IRMA Lect. Math. Theor. Phys., 13, Eur. Math. Soc., Zürich, 2009; draft with index: pdf, arxiv version math.AG/0705.1792, MR2010f:32012

  • Alastair Hamilton, Classes on compactifications of the moduli space of curves through solutions to the quantum master equation, Lett. Math. Phys. 89 (2009), no. 2, 115–130.

  • The moduli of curves pdf

The orbifold Euler characteristic of the moduli space of curves was originally computed in

  • Don Zagier, John Harer, The Euler characteristic of the moduli space of curves, Inventiones mathematicae (1986) Volume: 85, page 457-486 (EUDML)

The complex analytic structure and the relation to Teichmüller space is further discussed in

Reviews include

  • Mathematical ideas and notions in quantum field theory – 5. The Euler characteristic of the moduli space of curves (pdf)

Étale homotopy type of moduli stacks of curves is discussed in

  • Paola Frediani, Frank Neumann, Étale homotopy types of moduli stacks of algebraic curves with symmetries, K-Theory 30: 315-340, 2003 (arXiv:math/0404387)

Revised on July 16, 2014 04:25:15 by Urs Schreiber (89.204.139.73)