Functions of a complex variable Definition
Teichmüller space
Builds on Riemann surfaceHolomorphic map between Riemann surfacesHomeomorphism
Definition
Let be a closed, connected, oriented topological surface of genus . A marked Riemann surface of type is a pair , where is a Riemann surface and is an orientation-preserving homeomorphism. Two marked Riemann surfaces and are equivalent if there is a biholomorphism such that is isotopic to . The Teichmüller space is the set of equivalence classes of marked Riemann surfaces of type . It depends up to natural bijection only on and is written .
Remarks
Riemann surfaces carry their orientation from the complex structure, which is why the marking is required to preserve orientation. carries a natural complete metric, the Teichmüller metric, defined from the least dilatation of quasiconformal maps between marked surfaces. For , is a complex manifold of dimension , homeomorphic to ; is a point. The mapping class group of acts on by changing the marking, and the quotient is the moduli space .
Example: . For in the upper half-plane let . Mark it by the homeomorphism from the standard torus induced by the real linear map sending to and to . Every marked torus is equivalent to exactly one such , so is identified with the upper half-plane.
Non-example: a pair with orientation-reversing is not a marked Riemann surface, so it is not a point of .
Reading path
To understand this page from the ground up, read these 51 pages in order. The foundations come first.
- Complex numbers object
- Element definition
- Limit point of a set definition
- Proposition concept
- Real numbers object
- Riemann surface concept
- Set bounded above definition
- Real and imaginary parts definition
- Set definition
- Limit of a function definition
- Conjunction definition
- Disjunction definition
- Implication definition
- Predicate definition
- Supremum definition
- Empty set object
- Family of sets definition
- Ordered pair definition
- Intersection definition
- Continuity at a point definition
- Union definition
- Completeness axiom statement
- Existential quantifier definition
- Universal quantifier definition
- Cartesian product definition
- Subset definition
- Continuous function definition
- Union of a family of sets definition
- Existence of square roots of nonnegative reals statement
- Uniqueness quantifier definition
- Binary relation definition
- Topological space definition
- Square root definition
- Modulus of a complex number definition
- Function definition
- Complex differentiability definition
- Codomain definition
- Injective function definition
- Preimage of a set definition
- Metric space definition
- Holomorphic function definition
- Surjective function definition
- Open ball definition
- Bijective function definition
- Holomorphic map between Riemann surfaces definition
- Metric topology definition
- Inverse function definition
- Open set definition
- Continuous map of topological spaces definition
- Homeomorphism definition
- Teichmüller space definition
Further reading
About this page
| Tag | 4CGTN9NRR9 |
|---|---|
| URI | m2://4CGTN9NRR9 |
| Kind | definition |
| Writing | W0 stub |
| MSC | 30F60, 32G15 |
| Defines | Teichmüller space |
| Uses | Riemann surface, Holomorphic map between Riemann surfaces, Homeomorphism |
| Changed | 2 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.