# Teichmüller space

{{#invoke:Hatnote|hatnote}}
In mathematics, the **Teichmüller space** *T _{X}* of a (real) topological surface

*X*, is a space that parameterizes complex structures on

*X*up to the action of homeomorphisms that are isotopic to the identity homeomorphism. Each point in

*T*may be regarded as an isomorphism class of 'marked' Riemann surfaces where a 'marking' is an isotopy class of homeomorphisms from

_{X}*X*to

*X*. The Teichmüller space is the universal covering orbifold of the (Riemann) moduli space.

Teichmüller space has a canonical complex manifold structure and a wealth of natural metrics. The underlying topological space of Teichmüller space was studied by Fricke, and the Teichmüller metric on it was introduced by Template:Harvs.

## Complex structures and Riemann surfaces

Each topological atlas for a (real) surface *X* consists of injective maps from open subsets of *X* into the Euclidean plane. Identify the Euclidean plane with the complex plane via . A topological atlas is a complex atlas for *X* if each transition map is a biholomorphism. Two complex atlases are equivalent provided their union is a complex atlas. An equivalence class of complex atlases is called a complex structure. A topological surface *X* equipped with a complex structure is called a Riemann surface. Among all atlases belonging to a complex structure, there is a maximal atlas which is the union of all complex atlases in the complex structure. One may identify each complex structure with this maximal atlas.

## Teichmüller space as the set of equivalence classes of complex structures

Given two complex structures on *X*, let and be the
associated maximal atlases. The two complex structures are said to be *Teichmüller equivalent* provided there exists a homeomorphism
that is isotopic to the identity homeomorphism so that . The Teichmüller space *T _{X}* is defined to be the set of Teichmüller equivalence classes of complex structures on

*X*.

## Relation to the moduli space of Riemann surfaces

In the definition of Teichmüller equivalence, the homeomorphism is required to be isotopic to the identity homeomorphism. If this requirement is dropped, then we obtain a new equivalence relation whose equivalence classes form the Riemann moduli space of *X*. In particular, if two complex structures on *X* differ by a homeomorphism, then they define the same point in moduli space. Yet, if the homeomorphism is not isotopic to the identity homeomorphism, then the two complex structures define different points in Teichmüller space. In sum, each point of Teichmüller space contains additional information. This additional information is called a *marking* and may be regarded as an isotopy class of homeomorphisms . Forgetting the marking defines a map from Teichmüller space to moduli space which is a universal orbifold covering map.

## The action of the group of homeomorphisms

Both Teichmüller space and the Riemann moduli space may be more concisely defined in terms of a group action. The set of all homeomorphisms underlies the group whose binary operation is composition. The assignment is a group action on the set of complex structures. The Riemann moduli space of *X* is the orbit space of this action. The homeomorphisms that are isotopic to the identity homeomorphism constitute a subgroup of . This subgroup also acts on the set of complex structures, and the resulting orbit space is the Teichmüller space.

## Relation to the mapping class group

The group is a normal subgroup of . The quotient group is called the mapping class group of *X*.
The elements of this group are isotopy classes of homeomorphisms of *X* or *mapping classes*. The mapping class group acts on Teichmüller space and the resulting orbit space is the Riemann moduli space.

## Properties of *T*_{X}

_{X}

The Teichmüller space of *X* is a complex manifold. Its complex dimension depends on topological properties of *X*. If *X* is obtained from a compact surface of genus *g* by removing *n* points, then the dimension of *T _{X}* is 3

*g*− 3 +

*n*whenever this number is positive. These are the cases of "finite type". In these cases, it is homeomorphic to a complex vector space of this dimension, and in particular is contractible.

Note that, even though a compact surface with a point removed and the same surface with a disc removed are topologically the same, a complex structure on the surface behaves very differently around a point and around a removed disc. In particular, the boundary of the removed disc becomes an "ideal boundary" for the Riemann surface, and isomorphisms between surfaces with non-empty ideal boundary must take this ideal boundary into account. Varying the structure quasiconformally along the ideal boundary shows that the Teichmüller space of a Riemann surface with nonempty ideal boundary must be infinite-dimensional.

## Metrics on Teichmüller space

Teichmüller space has a bewildering number of different natural metrics. These include:

### Bergman metric

This is a special case of the Bergman metric on any domain of holomorphy.

### Carathéodory metric

This is a special case of the Carathéodory metric of any complex space.

### Kähler–Einstein metric

Cheng and Yau showed that there is a unique complete Kähler–Einstein metric on Teichmüller space. It has constant negative scalar curvature.

### Kobayashi metric

This is a special case of the Kobayashi metric defined on any complex space. Template:Harvtxt showed that it coincides with the Teichmüller metric.

### McMullen metric

This is a complete Kähler metric of bounded sectional curvature introduced by Template:Harvtxt that is Kähler-hyperbolic.

### Teichmüller metric

There is, in general, no isomorphism from one Riemann surface to another of the same topological type that is isotopic to the identity. In the case of surfaces of finite type, there is, however, always a quasiconformal map from one to the other that is isotopic to the identity. Between any two such Riemann surfaces there is an extremal quasiconformal map called the **Teichmüller mapping** whose maximal quasiconformal dilation *K* is as small as possible, and log *K* gives a metric on *T _{X}*, called the

**Teichmüller metric**.

The Teichmüller metric is a complete Finsler metric, but is not usually Riemannian. Any two points are joined by a unique geodesic. Masur showed that there are two geodesics such that their distance function is bounded, and in particular not convex, contradicting an earlier published claim.

### Thurston’s asymmetric metric

This is not a metric in the usual sense as it is not symmetric. It was introduced by Template:Harvtxt. The papers Template:Harvtxt Template:Harvtxt Template:Harvtxt contain results about the geodesics of this metric.

### Weil–Petersson metric

The Weil–Petersson metric is a Riemannian metric on Teichmüller space. Ahlfors showed that it is a Kähler metric. It is not complete in general.

## Compactifications of Teichmüller spaces

There are several inequivalent compactifications of Teichmüller spaces that have been studied. Several of the earlier compactifications depend on the choice of a point in Teichmüller space so are not invariant under the modular group, which can be inconvenient. Thurston later found a compactification without this disadvantage, which has become the most widely used compactification.

### Bers compactification

The Bers compactification is given by taking the closure of the image of the Bers embedding of Teichmüller space, studied by Template:Harvs. The Bers embedding depends on the choice of a point in Teichmüller space so is not invariant under the modular group, and in fact the modular group does not act continuously on the Bers compactification.

### Teichmüller compactification

The "points at infinity" in the Teichmüller compactification consist of geodesic rays (for the Teichmüller metric) starting at a fixed basepoint. This compactification depends on the choice of basepoint so is not acted on by the modular group, and in fact Kerckhoff showed that the action of the modular group on Teichmüller space does not extend to a continuous action on this compactification.

### Thurston compactification

Template:Harvtxt introduced a compactification whose points at infinity correspond to projective measured laminations. The compactified space is homeomorphic to a closed ball. This Thurston compactification is acted on continuously by the modular group. In particular any element of the modular group has a fixed point in Thurston's compactification, which Thurston used in his classification of elements of the modular group.

## Examples of Teichmüller spaces

The Teichmüller spaces *T*_{0,0}, *T*_{0,1}, *T*_{0,2}, *T*_{0,3} (corresponding to a sphere with at most 3 points removed) are points.

The Teichmüller spaces *T*_{0,4}, *T*_{1,0}, *T*_{1,1}, corresponding to
the sphere with four points removed, the torus, and the torus with one point removed all have isomorphic Teichmüller spaces, which can be identified with the complex upper half plane.

## References

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}