|
In mathematics, in the sub-field of geometric topology, the mapping class groupis an important algebraic invariant of a topological space. Briefly, the mapping class group is a discrete group of 'symmetries' of the space.
Definition Suppose that X is a topological space. Let be the group of self-homeomorphisms of X. Let be the subgroup of consisting of all homeomorphisms isotopic to the identity map on X. It is easy to verify that is in fact a subgroup and is normal. The factor group is the mapping class group of X. Thus there is a natural short exact sequence: ightarrow _0(X) ightarrow (X) ightarrow (X) ightarrow 1 As usual, there is interest in the spaces where this sequence splits. Some mathematicians, when X is an orientable manifold, restrict attention to orientation-preserving homeomorphisms . Here convention dictates that the group defined in the second paragraph be called the extended mapping class group, MCG If the mapping class group of X is finite then X is sometimes called rigid. Examples It is an easy exercise to prove: The mapping class group may also be infinite. Taking to be the n-dimensional torus we find that the extended mapping class group is isomorphic to the general linear group over the integers: The mapping class groups of surfaces have been heavily studied. (Note the special case of above.) This is perhaps due to their strange similarity to higher rank linear groups as well as many applications, via surface bundles, in Thurston's theory of geometric three-manifolds. We note that the non-extended mapping class group of any closed, orientable surface can be generated by Dehn twists. Some non-orientable surfaces have mapping class groups with simple presentations. For example, every homeomorphism of the real projective plane is isotopic to the identity: The mapping class group of the Klein bottle is: The four elements are the identity, a Dehn twist on the two-sided curve which does not bound a Mobius band, the y-homeomorphism of Lickorish, and the product of the twist and the y-homeomorphism. It is a nice exercise to show that the square of the Dehn twist is isotopic to the identity. We also remark that the closed genus three non-orientable surface has: This is because the surface has a unique one-sided curve that, when cut open, yields a once-holed torus. This is discussed in a paper of Martin Scharlemann. See also | ||||||||
|
| |||||||||
 |
|
| |