Mapping Class Group

is an important algebraic invariant of a Topological Space . Briefly, the mapping class group is a Discrete Group of 'symmetries' of the space.

To be more precise, suppose that ''X'' is a topological space. Let

:

{
m Homeo}(X)

be the Group of self Homeomorphisms of ''X''. Let

:

{
m Homeo}_0(X)

be the Subgroup of

{
m Homeo}(X)

consisting of all homeomorphisms Isotopic to the Identity Map on ''X''. It is easy to verify that

{
m Homeo}_0(X)

is in fact a subgroup and is Normal . The Factor Group

:

{
m MCG}(X) = {
m Homeo}(X) / {
m Homeo}_0(X)

is the ''mapping class group'' of ''X''. Thus there is a natural Short Exact Sequence :

:

1 
ightarrow {
m Homeo}_0(X) 
ightarrow {
m Homeo}(X) 
ightarrow {
m MCG}(X) 
ightarrow 1

As usual, there is interest in the spaces where this sequence Splits . If the mapping class group of ''X'' is finite then ''X'' is sometimes called ''rigid''.

Some mathematicians, when ''X'' is an Orientable Manifold , restrict attention to Orientation-preserving homeomorphisms

{
m Homeo}^+(X)

. Here convention dictates that the group defined in the second paragraph be called the ''extended'' mapping class group.

EXAMPLES

An easy exercise is to show that:

:

{
m MCG}(S^1) = {\mathbb Z}/2{\mathbb Z}.

For manifolds of dimension two or higher the mapping class group is often infinite. Generalizing the above, for the ''n''- Torus we have:

:

{
m MCG}(T^n) = {
m GL}(n, {\mathbb Z}).

The mapping class groups of Surface s have been heavily studied. (Note the special case of

{
m MCG}(T^2)

above.) This is perhaps due to their strange similarity to higher rank Linear Group s as well as many applications, via Surface Bundle s, in Thurston 's theory of geometric Three-manifold s. We note that the (orientation preserving) mapping class group of any closed, orientable surface can be generated by Dehn Twist s.

A few mapping class groups of non-orientable surface have simple presentations:

In the projective plane

{\mathbb RP}^2

, every self-homeomorphism
is isotopic to the identity so
:

{
m MCG}({\mathbb RP}^2) = 1.

The mapping class group of the Klein Bottle

K

is:

:

{
m MCG}(K)={\mathbb Z}/2{\mathbb Z}\oplus{\mathbb Z}/2{\mathbb Z}.

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

N_3

also has

{
m MCG(N_3)}

equal to

:

{
m GL}(2, {\mathbb Z}).

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 .

REFERENCES

For more information relating to the mapping class groups of surface one should consult the book by Andrew Casson and Steve Bleiler entitled ''Automorphisms of surfaces after Nielsen and Thurston''. The special case where ''X'' is a punctured disk is discussed by Joan Birman in ''Braids, Links, and Mapping Class Groups''.

SYNONYM AND RELATED

Braid Groups , the mapping class groups of punctured discs.

Homotopy groups.

Homeotopy groups.

	APPAREL
	BABY
	BEAUTY
	BOOKS
	CAR TOYS
	CELL PHONES
	DVD'S
	ELECTRONICS
	GOURMET FOOD
	GROCERIES
	HEALTH & PERSONAL
	HOME & GARDEN
	JEWELRY
	MUSIC
	MUSIC INSTRUMENTS
	OFFICE PRODUCTS
	SOFTWARE
	SPORTING GOODS
	TOOLS & HARDWARE
	TOYS
	VIDEO GAMES
	SHOPPING HOME

	MORE SHOPPING...

	CATEGORIES ABOUT MAPPING CLASS GROUP

	geometric topology

	homeomorphisms

Information About

Mapping Class Group