This post introduces Teichmuller and Moduli space. The upcoming posts will talk about Fenchel-Nielsen coordinates for Teichmuller space; it’s split up because I figured this was a relatively nice break point. Hopefully, I will later add some pictures to this post.

**1. Uniformization **

This section starts to talk about Teichmuller space and related stuff. First, we recall the uniformization theorem:

If is a closed surface (Riemannian manifold), then there is a unique* metric of constant curvature in its conformal class. The asterisk * refers to the fact that the metric is unique if we require that it has curvature . If , then the metric has curvature zero and it is unique up to euclidean similarities.

**2. Teichmuller and Moduli Space of the Torus **

Let us see what we can conclude about flat metrics on the torus. We would like to classify them in some way. Choose two straight curves and on the torus intersecting once (a longitude and a meridian) and cut along these curves. We obtain a parallelogram which can be glued up along its edges to retrieve the original torus. This parallelogram lives/embeds in , and, by composing the embedding with euclidean similarities, we may assume that the bottom left corner is at and the bottom right is . The parallelogram is therefore determined by where the upper left hand corner is: some complex number with . Notice that this is the upper half-plane, which we can think of as hyperbolic space. Therefore, there is a bijection:

{ Torii with two chosen loops up to euclidean similarity } { }

This set is called the *Teichmuller space* of the torus. We don’t really care about the loops and , so we’d like to find a group which takes one choice of loops to another and acts transitively. The quotient of this will be the set of flat metrics on the torus up to isometry, which is known as *Moduli space*.

We are interested in the *mapping class group* of the torus, which is defined to be

Where denotes the connected component of the identity. That is, the mapping class group is the group of homeomorphisms (homotopy equivalences), up to isotopy (homotopy). The reason for the parentheses is that for surfaces, we may replace homeomorphism and isotopy by homotopy equivalence and homotopy, and we will get the same group (these catagories are equivalent for surfaces).

To find , think of the torus as the unit square in spanned by the standard unit basis vectors. Then a homeomorphism of must send the integer lattice to itself, so the standard basis must go to a basis for this lattice, and the transformation must preserve the area of the torus. Up to isotopy, this is just linear maps of determinant (not because we want orientation-preserving) preserving the integer lattice, which we care about up to scale, otherwise known as .

Using the bijection above, the mapping class group of the torus acts on , and this action is

This action is probably familiar to you from complex analysis.

In summary, the Teichmuller space of the torus is (can be represented as) , and the mapping class group acts on this space, and the quotient of this action is the set of flat metrics up to isometry, which is Moduli space. What is the quotient? A fundamental region for the action is the set

Which is glued to itself by a flip in the axis. The resulting Moduli space is an orbifold: one point is ideal and goes off to infinity, one point looks locally like quotiented by a rotation of , and the other point looks like quotiented by a rotation of .

**3. Teichmuller Space and Moduli Space for Negatively Curved Surfaces **

Now we will go through a similar process for closed, boundaryless, oriented surfaces of negative Euler characteristic. It is possible to do this for surfaces with boundary, etc, but for simplicity, we will stick to multi-holed torii (this what closed, boundaryless, oriented surfaces of negative Euler characteristic are) for now.

We start with a topological surface . Topological meaning we do not associate with it a metric. We want to classify the hyperbolic metrics we could give to . Define Teichmuller space to be the set of equivalence classes of pairs where is a hyperbolic surface and is a homotopy equivalence. As mentioned earlier, anywhere “homotopy equivalence” appears here, you may replace it with “homeomorphism” as long as you replace “homotopy” with “isotopy.” The equivalence relation on pairs is the following: iff there exists an isometry such that is homotopic to .

Define the Moduli space of to be isometry classes of surfaces which are homotopy equivalent to . There is an obvious map defined by mapping , and this map respects the equivalence relations, because if , then is isometric to (since it is isometric by an isometry commuting with and ).

As with the torus, define the mapping class group to be the group of homotopy equivalences of with itself, up to homotopy. Then acts on by . The quotient of by this action is : clearly we never identify surfaces which are not isometric, and if is an isometry, and , are points in Teichmuller space with any , then notice has an inverse (up to homotopy), so if we act on by , we get , which is the same point in as . We are abusing notation here, because we are thinking of , and as the same surface (which they are, topologically). The point is that by acting by we can rearrange so that after mapping by we are homotopic to . The result of this is that

A priori, we are interested in hyperbolic metrics on up to isometry — Moduli space. The reason for defining Teichmuller space is that Moduli space is rather complicated. Teichmuller space, on the other hand, will turn out to be as nice as you could want ( for a genus surface). By studying the very nice Teichmuller space plus the less-nice-but-still-understandable mapping class group, we can approach Moduli space.

**4. Coordinates for Teichmuller Space **

Now we will take a closer look at Teichmuller space and give it coordinates.

** 4.1. Very Overdetermined (But Easy) Coordinates **

One way to give this space coordinates is the following. Let us choose a homotopy class of loop in (this is a conjugacy class in ), and we’ll represent this class by the loop . Given a point , there is a unique geodesic representative in the free homotopy class of the loop . Define to be the length of this representative. Let be the set of conjugacy classes in . Then we have defined a map

by

This is nice in the sense that it’s a real vector space, but not nice in that it’s infinite dimensional. We will see that we need a finite number of dimensions.

** 4.2. Dimension Counting **

**Method 1**

Let’s try to count the dimension of . Suppose that has genus . We can obtain by gluing the edges of a -gon in pairs (going counterclockwise, the labels read , , , , …, , , , ). Since we will be given a hyperbolic metric, let us look at what this tells us about this polygon. We have a hyperbolic polygon; in order to glue it up, we must have

- The paired sides must have equal length.
- The corner angles must add to .

For a triangle in hyperbolic space, the edges lengths are enough to specify the triangle up to isometry. Similarly, for a hyperbolic 4-gon (square), we need all the exterior edge lengths, plus 1 angle (the angle gives the length of a diagonal). By induction, a -gon needs side lengths and angles. For our -gon, then, we need to specify side lengths and angles. This is dimensions. However, we have pairs, each of which gives a constraint, plus our single constraint about the angle sum. This reduces our dimension to . Finally, we made an arbitrary choice about where the vertex of this polygon was in our surface. This is an extra two dimensions that we don’t care about (we disregard those coordinates), so we have dimensions.

**Method 2**

A marked hyperbolic structure on gives a -equivariant isometry . That is, an element of is , which tells us how to map isomorphically onto , which is the same as the deck group of the universal cover , which is . Therefore, to an element of is associated a discrete faithful representation of to , the group of isometries of , and this representation is unique up to conjugacy (if we conjugate the image of the representation, then the quotient manifold is the same). The dimension of is therefore the dimension of the space of representations of in up to conjugacy.

The fundamental group of has a nice presentation in terms of the polygon we can glue up to make it; the interior of the polygon gives us a single relation:

So is the subset of such that (here is the free group on 2 generators, which is what we get if we forget the single relation). Now a representation in is completely free: we can send the generators anywhere we want, so

Since is 3-dimensional, the right hand side is a real manifold of dimension . Insisting that map to is a 3-dimensional constraint (it gives 4 equations, when you think of it as a matrix equation, but there is an implied equation already taken into account). Therefore we expect that will be dimensional. However, we are interested in representations up to conjugacy, so this removes another 3 dimensions, giving us the same dimension estimate for as dimensional.

You wanted to say instead of , probably.

Good point — thanks.

I could not understand the following paragraph :

We don’t really care about the loops and , so we’d like to find a group which takes one choice of loops to another and acts transitively. The quotient of this will be the set of flat metrics on the torus up to isometry, which is known as Moduli space.

Can u explain a little bit….