Mapping class group

Last updated

In mathematics, in the subfield of geometric topology, the mapping class group is an important algebraic invariant of a topological space. Briefly, the mapping class group is a certain discrete group corresponding to symmetries of the space.

Contents

Motivation

Consider a topological space, that is, a space with some notion of closeness between points in the space. We can consider the set of homeomorphisms from the space into itself, that is, continuous maps with continuous inverses: functions which stretch and deform the space continuously without breaking or gluing the space. This set of homeomorphisms can be thought of as a space itself. It forms a group under functional composition. We can also define a topology on this new space of homeomorphisms. The open sets of this new function space will be made up of sets of functions that map compact subsets K into open subsets U as K and U range throughout our original topological space, completed with their finite intersections (which must be open by definition of topology) and arbitrary unions (again which must be open). This gives a notion of continuity on the space of functions, so that we can consider continuous deformation of the homeomorphisms themselves: called homotopies. We define the mapping class group by taking homotopy classes of homeomorphisms, and inducing the group structure from the functional composition group structure already present on the space of homeomorphisms.

Definition

The term mapping class group has a flexible usage. Most often it is used in the context of a manifold M. The mapping class group of M is interpreted as the group of isotopy classes of automorphisms of M. So if M is a topological manifold, the mapping class group is the group of isotopy classes of homeomorphisms of M. If M is a smooth manifold, the mapping class group is the group of isotopy classes of diffeomorphisms of M. Whenever the group of automorphisms of an object X has a natural topology, the mapping class group of X is defined as , where is the path-component of the identity in . (Notice that in the compact-open topology, path components and isotopy classes coincide, i.e., two maps f and g are in the same path-component iff they are isotopic[ citation needed ]). For topological spaces, this is usually the compact-open topology. In the low-dimensional topology literature, the mapping class group of X is usually denoted MCG(X), although it is also frequently denoted , where one substitutes for Aut the appropriate group for the category to which X belongs. Here denotes the 0-th homotopy group of a space.

So in general, there is a short exact sequence of groups:

Frequently this sequence is not split. [1]

If working in the homotopy category, the mapping class group of X is the group of homotopy classes of homotopy equivalences of X.

There are many subgroups of mapping class groups that are frequently studied. If M is an oriented manifold, would be the orientation-preserving automorphisms of M and so the mapping class group of M (as an oriented manifold) would be index two in the mapping class group of M (as an unoriented manifold) provided M admits an orientation-reversing automorphism. Similarly, the subgroup that acts as the identity on all the homology groups of M is called the Torelli group of M.

Examples

Sphere

In any category (smooth, PL, topological, homotopy) [2]

corresponding to maps of degree  ±1.

Torus

In the homotopy category

This is because the n-dimensional torus is an Eilenberg–MacLane space.

For other categories if , [3] one has the following split-exact sequences:

In the category of topological spaces

In the PL-category

(⊕ representing direct sum). In the smooth category

where are the Kervaire–Milnor finite abelian groups of homotopy spheres and is the group of order 2.

Surfaces

The mapping class groups of surfaces have been heavily studied, and are sometimes called Teichmüller modular groups (note the special case of above), since they act on Teichmüller space and the quotient is the moduli space of Riemann surfaces homeomorphic to the surface. These groups exhibit features similar both to hyperbolic groups and to higher rank linear groups[ citation needed ]. They have many applications in Thurston's theory of geometric three-manifolds (for example, to surface bundles). The elements of this group have also been studied by themselves: an important result is the Nielsen–Thurston classification theorem, and a generating family for the group is given by Dehn twists which are in a sense the "simplest" mapping classes. Every finite group is a subgroup of the mapping class group of a closed, orientable surface,; [4] in fact one can realize any finite group as the group of isometries of some compact Riemann surface (which immediately implies that it injects in the mapping class group of the underlying topological surface).

Non-orientable surfaces

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 K is:

The four elements are the identity, a Dehn twist on a two-sided curve which does not bound a Möbius strip, 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 N3 (the connected sum of three projective planes) has:

This is because the surface N has a unique class of one-sided curves such that, when N is cut open along such a curve C, the resulting surface is a torus with a disk removed. As an unoriented surface, its mapping class group is . (Lemma 2.1 [5] ).

3-Manifolds

Mapping class groups of 3-manifolds have received considerable study as well, and are closely related to mapping class groups of 2-manifolds. For example, any finite group can be realized as the mapping class group (and also the isometry group) of a compact hyperbolic 3-manifold. [6]

Mapping class groups of pairs

Given a pair of spaces (X,A) the mapping class group of the pair is the isotopy-classes of automorphisms of the pair, where an automorphism of (X,A) is defined as an automorphism of X that preserves A, i.e. f: XX is invertible and f(A) = A.

If KS3 is a knot or a link, the symmetry group of the knot (resp. link) is defined to be the mapping class group of the pair (S3, K). The symmetry group of a hyperbolic knot is known to be dihedral or cyclic; moreover every dihedral and cyclic group can be realized as symmetry groups of knots. The symmetry group of a torus knot is known to be of order two Z2.

Torelli group

Notice that there is an induced action of the mapping class group on the homology (and cohomology) of the space X. This is because (co)homology is functorial and Homeo0 acts trivially (because all elements are isotopic, hence homotopic to the identity, which acts trivially, and action on (co)homology is invariant under homotopy). The kernel of this action is the Torelli group, named after the Torelli theorem.

In the case of orientable surfaces, this is the action on first cohomology H1(Σ) ≅ Z2g. Orientation-preserving maps are precisely those that act trivially on top cohomology H2(Σ) ≅ Z. H1(Σ) has a symplectic structure, coming from the cup product; since these maps are automorphisms, and maps preserve the cup product, the mapping class group acts as symplectic automorphisms, and indeed all symplectic automorphisms are realized, yielding the short exact sequence:

One can extend this to

The symplectic group is well understood. Hence understanding the algebraic structure of the mapping class group often reduces to questions about the Torelli group.

Note that for the torus (genus 1) the map to the symplectic group is an isomorphism, and the Torelli group vanishes.

Stable mapping class group

One can embed the surface of genus g and 1 boundary component into by attaching an additional hole on the end (i.e., gluing together and ), and thus automorphisms of the small surface fixing the boundary extend to the larger surface. Taking the direct limit of these groups and inclusions yields the stable mapping class group, whose rational cohomology ring was conjectured by David Mumford (one of conjectures called the Mumford conjectures). The integral (not just rational) cohomology ring was computed in 2002 by Ib Madsen and Michael Weiss, proving Mumford's conjecture.

See also

Related Research Articles

<span class="mw-page-title-main">Automorphism</span> Isomorphism of an object to itself

In mathematics, an automorphism is an isomorphism from a mathematical object to itself. It is, in some sense, a symmetry of the object, and a way of mapping the object to itself while preserving all of its structure. The set of all automorphisms of an object forms a group, called the automorphism group. It is, loosely speaking, the symmetry group of the object.

<span class="mw-page-title-main">Diffeomorphism</span> Isomorphism of differentiable manifolds

In mathematics, a diffeomorphism is an isomorphism of differentiable manifolds. It is an invertible function that maps one differentiable manifold to another such that both the function and its inverse are continuously differentiable.

<span class="mw-page-title-main">Homeomorphism</span> Mapping which preserves all topological properties of a given space

In mathematics and more specifically in topology, a homeomorphism, also called topological isomorphism, or bicontinuous function, is a bijective and continuous function between topological spaces that has a continuous inverse function. Homeomorphisms are the isomorphisms in the category of topological spaces—that is, they are the mappings that preserve all the topological properties of a given space. Two spaces with a homeomorphism between them are called homeomorphic, and from a topological viewpoint they are the same.

<span class="mw-page-title-main">Isomorphism</span> In mathematics, invertible homomorphism

In mathematics, an isomorphism is a structure-preserving mapping between two structures of the same type that can be reversed by an inverse mapping. Two mathematical structures are isomorphic if an isomorphism exists between them. The word isomorphism is derived from the Ancient Greek: ἴσοςisos "equal", and μορφήmorphe "form" or "shape".

<span class="mw-page-title-main">Torus</span> Doughnut-shaped surface of revolution

In geometry, a torus is a surface of revolution generated by revolving a circle in three-dimensional space one full revolution about an axis that is coplanar with the circle. The main types of toruses include ring toruses, horn toruses, and spindle toruses. A ring torus is sometimes colloquially referred to as a donut or doughnut.

<span class="mw-page-title-main">Covering space</span> Type of continuous map in topology

In topology, a covering or covering projection is a map between topological spaces that, intuitively, locally acts like a projection of multiple copies of a space onto itself. In particular, coverings are special types of local homeomorphisms. If is a covering, is said to be a covering space or cover of , and is said to be the base of the covering, or simply the base. By abuse of terminology, and may sometimes be called covering spaces as well. Since coverings are local homeomorphisms, a covering space is a special kind of étale space.

In geometric topology, a field within mathematics, the obstruction to a homotopy equivalence of finite CW-complexes being a simple homotopy equivalence is its Whitehead torsion which is an element in the Whitehead group. These concepts are named after the mathematician J. H. C. Whitehead.

<span class="mw-page-title-main">Dehn twist</span>

In geometric topology, a branch of mathematics, a Dehn twist is a certain type of self-homeomorphism of a surface.

In mathematics, complex cobordism is a generalized cohomology theory related to cobordism of manifolds. Its spectrum is denoted by MU. It is an exceptionally powerful cohomology theory, but can be quite hard to compute, so often instead of using it directly one uses some slightly weaker theories derived from it, such as Brown–Peterson cohomology or Morava K-theory, that are easier to compute.

In mathematics, particularly topology, the homeomorphism group of a topological space is the group consisting of all homeomorphisms from the space to itself with function composition as the group operation. They are important to the theory of topological spaces, generally exemplary of automorphism groups and topologically invariant in the group isomorphism sense.

In mathematics, the Teichmüller space of a (real) topological surface is a space that parametrizes complex structures on up to the action of homeomorphisms that are isotopic to the identity homeomorphism. Teichmüller spaces are named after Oswald Teichmüller.

In mathematics, a Hilbert manifold is a manifold modeled on Hilbert spaces. Thus it is a separable Hausdorff space in which each point has a neighbourhood homeomorphic to an infinite dimensional Hilbert space. The concept of a Hilbert manifold provides a possibility of extending the theory of manifolds to infinite-dimensional setting. Analogous to the finite-dimensional situation, one can define a differentiable Hilbert manifold by considering a maximal atlas in which the transition maps are differentiable.

The étale or algebraic fundamental group is an analogue in algebraic geometry, for schemes, of the usual fundamental group of topological spaces.

In 4-dimensional topology, a branch of mathematics, Rokhlin's theorem states that if a smooth, orientable, closed 4-manifold M has a spin structure, then the signature of its intersection form, a quadratic form on the second cohomology group , is divisible by 16. The theorem is named for Vladimir Rokhlin, who proved it in 1952.

In linear algebra, particularly projective geometry, a semilinear map between vector spaces V and W over a field K is a function that is a linear map "up to a twist", hence semi-linear, where "twist" means "field automorphism of K". Explicitly, it is a function T : VW that is:

In mathematics, and more precisely in topology, the mapping class group of a surface, sometimes called the modular group or Teichmüller modular group, is the group of homeomorphisms of the surface viewed up to continuous deformation. It is of fundamental importance for the study of 3-manifolds via their embedded surfaces and is also studied in algebraic geometry in relation to moduli problems for curves.

In homotopy theory, a branch of mathematics, the Barratt–Priddy theorem expresses a connection between the homology of the symmetric groups and mapping spaces of spheres. The theorem is also often stated as a relation between the sphere spectrum and the classifying spaces of the symmetric groups via Quillen's plus construction.

This is a glossary of properties and concepts in algebraic topology in mathematics.

<span class="mw-page-title-main">Configuration space (mathematics)</span>

In mathematics, a configuration space is a construction closely related to state spaces or phase spaces in physics. In physics, these are used to describe the state of a whole system as a single point in a high-dimensional space. In mathematics, they are used to describe assignments of a collection of points to positions in a topological space. More specifically, configuration spaces in mathematics are particular examples of configuration spaces in physics in the particular case of several non-colliding particles.

In mathematics, the automorphism group of an object X is the group consisting of automorphisms of X under composition of morphisms. For example, if X is a finite-dimensional vector space, then the automorphism group of X is the group of invertible linear transformations from X to itself. If instead X is a group, then its automorphism group is the group consisting of all group automorphisms of X.

References

  1. Morita, Shigeyuki (1987). "Characteristic classes of surface bundles". Inventiones Mathematicae . 90 (3): 551–577. Bibcode:1987InMat..90..551M. doi:10.1007/bf01389178. MR   0914849.
  2. Earle, Clifford J.; Eells, James (1967), "The diffeomorphism group of a compact Riemann surface", Bulletin of the American Mathematical Society , 73 (4): 557–559, doi: 10.1090/S0002-9904-1967-11746-4 , MR   0212840
  3. Hatcher, A.E. (1978). "Concordance spaces, higher simple-homotopy theory, and applications". Algebraic and geometric topology (Proc. Sympos. Pure Math., Stanford Univ., Stanford, Calif., 1976), Part 1. Proceedings of Symposia in Pure Mathematics. Vol. 32. pp. 3–21. doi:10.1090/pspum/032.1/520490. ISBN   978-0-8218-9320-3. MR   0520490.
  4. Greenberg, Leon (1974). "Maximal groups and signatures". Discontinuous Groups and Riemann Surfaces: Proceedings of the 1973 Conference at the University of Maryland. Annals of Mathematics Studies. Vol. 79. Princeton University Press. pp. 207–226. ISBN   978-1-4008-8164-2. MR   0379835.
  5. Scharlemann, Martin (February 1982). "The complex of curves on nonorientable surfaces". Journal of the London Mathematical Society. s2-25 (1): 171–184. CiteSeerX   10.1.1.591.2588 . doi:10.1112/jlms/s2-25.1.171.
  6. Kojima, S. (August 1988). "Isometry transformations of hyperbolic 3-manifolds". Topology and Its Applications. 29 (3): 297–307. doi:10.1016/0166-8641(88)90027-2.

Stable mapping class group