Teichmüller modular group

In mathematics, a Teichmüller modular group, or mapping class group of a surface, or homeotopy group of a surface, is the group of isotopy classes of orientation-preserving homeomorphisms of an oriented surface. It is also a group of automorphisms of a Teichmüller space.

Presentation

Dehn showed that the Teichmüller modular group of a compact oriented surface is finitely generated, a set of generators being given by some Dehn twists. McCool (1975) showed that it is finitely presented.

Examples

The Teichmüller modular group of a torus is the modular group SL₂(Z).

The Teichmüller modular group of a sphere with n points removed is the spherical braid group on n strands, which is the quotient of the Braid group B_n−1 by its infinite cyclic center.

Dehn–Nielsen theorem

If S is a compact Riemann surface with basepoint p and fundamental group π₁(S,p), then the group of isotopy classes of homeomorphisms of S is naturally isomorphic to the outer automorphism group Aut(π₁(S,p))/π₁(S,p) of π₁(S,p). The Dehn–Nielsen theorem (Nielsen 1927) states that the Teichmüller modular group is a subgroup of index 2 of this outer automorphism group, consisting of the orientation-preserving outer automorphisms, that act trivially on the second cohomology group H²(π₁(S,p),Z) = H²(S,Z) = Z.

Action on Teichmüller space

The Teichmüller modular groups act as automorphisms of the corresponding Teichmüller spaces, preserving most of the structure such as the complex structure, the Teichmüller metric, the Weil-Petersson metric, and so on. Royden proved that in the case of a compact Riemann surface of genus greater than 1, the Teichmüller modular group is the group of all biholomorphic maps of Teichmüller space.

Analogues with other groups

The Teichmüller modular group behaves in some ways like the automorphism group of a free group. The reason is that the Teichmüller modular group is an index 2 subgroup of the fundamental group of a surface, and fundamental groups of surfaces are quite similar to free groups.

The Teichmüller modular group also behaves rather like a linear group. Ivanov (1992) proved that it has many of the properties of linear groups. The action of the Teichmüller modular group on Teichmüller space is similar to the action of the Siegel modular group on the Siegel upper half space.

References

• Birman, Joan S. (1974), Braids, links, and mapping class groups, Annals of Mathematics Studies, 82, Princeton University Press, ISBN 978-0-691-08149-6, MR0375281, http://books.google.com/books?isbn=0691081492 
• Ivanov, Nikolai V. (1992), Subgroups of Teichmüller modular groups, Translations of Mathematical Monographs, 115, Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-4594-3, MR1195787, http://books.google.com/books?id=KPoEtBwBEA0C 
• McCool, James (1975), "Some finitely presented subgroups of the automorphism group of a free group", Journal of Algebra 35: 205–213, doi:10.1016/0021-8693(75)90045-9, ISSN 0021-8693, MR0396764 
• Nielsen, Jakob (1927), "Untersuchungen zur Topologie der geschlossenen zweiseitigen Flächen." (in German), Acta Mathematica 50: 189–358, doi:10.1007/BF02421324, ISSN 0001-5962, JFM 53.0545.12 
• Papadopoulos, Athanase, ed. (2007), Handbook of Teichmüller theory. Vol. I, IRMA Lectures in Mathematics and Theoretical Physics, 11, European Mathematical Society (EMS), Zürich, doi:10.4171/029, ISBN 978-3-03719-029-6, MR2284826 
• Papadopoulos, Athanase, ed. (2009), Handbook of Teichmüller theory. Vol. II, IRMA Lectures in Mathematics and Theoretical Physics, 13, European Mathematical Society (EMS), Zürich, doi:10.4171/055, ISBN 978-3-03719-055-5, MR2524085