Math 2.0

Manifolds and cell complexes Definition

Mapping class group

Builds on Orientable surfaceHomeomorphismGroup

Definition

Let SS be a connected oriented surface, possibly with boundary ∂S\partial S. Let Homeo+(S,∂S)\mathrm{Homeo}^+(S, \partial S) be the group, under composition, of orientation-preserving homeomorphisms f ⁣:S→Sf \colon S \to S with f(x)=xf(x) = x for all x∈∂Sx \in \partial S. Two such homeomorphisms ff and gg are isotopic if there is a continuous map H ⁣:S×[0,1]→SH \colon S \times [0, 1] \to S such that:

  1. each Ht=H(⋅,t)H_t = H(\cdot, t) lies in Homeo+(S,∂S)\mathrm{Homeo}^+(S, \partial S);
  2. H0=fH_0 = f and H1=gH_1 = g.

The mapping class group of SS is the quotient group Mod(S)=Homeo+(S,∂S)/Homeo0(S,∂S),\mathrm{Mod}(S) = \mathrm{Homeo}^+(S, \partial S) / \mathrm{Homeo}_0(S, \partial S), where Homeo0(S,∂S)\mathrm{Homeo}_0(S, \partial S) is the normal subgroup of homeomorphisms isotopic to the identity. Its elements, the isotopy classes, are mapping classes.

Remarks

For a surface with marked points or punctures, the homeomorphisms may permute the marked points, and the isotopies must keep them fixed. Some authors also allow orientation-reversing homeomorphisms; this gives the extended mapping class group, which contains Mod(S)\mathrm{Mod}(S) with index 22 when SS admits an orientation-reversing homeomorphism fixing ∂S\partial S.

Example: for the torus T2=ℝ2/ℤ2T^2 = \R^2 / \Z^2, the map Mod(T2)→SL(2,ℤ)\mathrm{Mod}(T^2) \to SL(2, \Z) that records the action on the first homology group H1(T2;ℤ)≅ℤ2H_1(T^2; \Z) \cong \Z^2 is an isomorphism. A matrix A∈SL(2,ℤ)A \in SL(2, \Z) maps ℤ2\Z^2 onto itself, so it induces a homeomorphism of T2T^2, and since det⁡A=1\det A = 1 it preserves orientation.

Non-example: let A=S1×[0,1]A = S^1 \times [0, 1] be the annulus, with points written (θ,t)(\theta, t), and let T(θ,t)=(θ+2πt,t)T(\theta, t) = (\theta + 2\pi t, t), a Dehn twist. The maps Hs(θ,t)=(θ+2πst,t)H_s(\theta, t) = (\theta + 2\pi s t, t) for s∈[0,1]s \in [0, 1] deform the identity into TT, but for 0<s<10 < s < 1 they rotate the boundary circle S1×{1}S^1 \times \set{1}, so they fail clause 1. In fact TT is not isotopic to the identity in the sense above, and Mod(A)≅ℤ\mathrm{Mod}(A) \cong \Z, generated by the class of TT. For the closed disk, the Alexander lemma gives Mod(D2)=1\mathrm{Mod}(D^2) = 1.

Reading path

To understand this page from the ground up, read these 6 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Group concept
  2. Homeomorphism concept
  3. Parametrised surface concept
  4. Tangent plane and normal vector of a surface concept
  5. Orientable surface concept
  6. Mapping class group definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Mapping_class_group
About this page
Tag410BCE4PAM
URIm2://410BCE4PAM
Kinddefinition
WritingW0 stub
MSC57K20, 20F38
DefinesMapping class group
UsesOrientable surface, Homeomorphism, Group
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • 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.