# Motivation for the Mapping Class Group

Question: What is the motivation for studying the mapping class group? In particular, what types of questions does it attempt to answer and what kind of invariant is it?

Motivation for this Question: Recently I've seen a number of references to things which assume knowledge of the mapping class group. I've attempted to page through Dan Margalit and Benson Farbs' book on the subject as well as check out the wikipedia page for it, but both sources give the motivation as just "what it is" as opposed to, bluntly, "why should I care about this."

-
First of all, you are referring to a 500 page book written by Farb and Margalit as "Dan Margalit (et al)'s book": this seems disrespectful to Benson Farb. Second, I just flipped through the introduction and it seems to provide a barrage of motivation for the mapping class group $M(S_g)$: most of all, it is the orbifold fundamental group for the moduli space $\mathcal{M}_g$ of curves of genus $g$, and $\mathcal{M}_g$ is one of the most important objects in all of geometry. If that is not sufficient motivation, perhaps you could tell us what sort of thing you are looking for. – Pete L. Clark May 22 '11 at 8:01
I apologize and I have edited; it wasn't at all my intention to trivialize Prof. Farb's contribution to the work. My first introduction to the MCG was by some lectures by Prof. Farb, and the notes from his other lectures were the things which refer to MCGs! Judging from your comment and the answer below, it seems like I have a bit more to work on before tackling MCGs. In particular, I am unsure of what "orbifold fundamental group" and what a moduli space of curves is, or what the genus of a curve is. – james May 22 '11 at 8:19
I just realized that the first part of the book is not the first chapter. Along with the answer below, this is good motivation. The motivation I was hoping for was something along the lines of, "here is a problem, and we naturally obtain the idea of the mapping class group from it." For example, for the fundamental group we can say something like, "$S^{2}$ and the torus are visually different, but how can we tell them apart?" – james May 22 '11 at 8:27
Dear James, If you don't know what the genus of a Riemann surface is, then you have more topology to learn before studying mapping class groups. Best wishes, – Matt E May 22 '11 at 18:16
After a bit of reading, it looks like I should put off MCGs for at least a bit while I address some of the prerequisites implicit in the answers here. Nonetheless, the motivations below are great; I will refer back to these when I have a bit more done! – james May 22 '11 at 20:31

The mapping class group (in genus $g$) is the fundamental group of the moduli space of compact Riemann surfaces of genus $g$. Indeed, the latter space is the quotient of a contractible space (Teichmuller space) by the mapping class group. Therefore a lot of the geometry of this moduli space is encoded in the mapping class group.

This is explained in the first one or two pages of the first chapter of (version 5.0 of) Farb and Margalit's book.

-

With the risk of being redundant, I'll attempt to give my answer, if for no other reason than to help myself. Then again, the best people to answer this question are probably people who use but don't exclusively study mapping class groups.

The mapping class group is a group one associates to a surface, and it's true that it distinguishes two surfaces that are "visually different." However, I don't think this is where the true usefulness of it lies. For one thing, it is a group of homeomorphisms up to equivalence (isotopy), so studying the mapping class allows us to say that the homeomorphisms of two surfaces are different (or at least one of them has "more" or different relationships between them). This is still not the "best" use for the mapping class group though.

As mentioned in Matt E's answer, algebraic geometry is frequently interested in moduli space, and the mapping class group is the fundamental group of moduli space. Therefore it bridges between algebraic geometry and the study of surfaces.

But what it really boils down to is the mapping class group is a group of isotopy classes of homeomorphisms and will show up any time you want to discuss homeomorphisms of a surface and often when you want to discuss homeomorphisms of higher dimension and it's nice to have properties of such a group any time you want to talk about homeomorphisms. One thing I'm interested in, for example, is relating homeomorphisms of a base space and total space of a covering space and the mapping class group gives a language for this.

I think the Farb and Margalit book does a great job of motivating and in fact, is what first interested me in the topic.

-

A couple of things spring to mind. One is that if you are interested in $3$-manifolds, then the study of the mapping class group is the most natural thing in the world. This is because any compact connected $3$-manifold has a Heegard decomposition as the union of two handlebodies glued along their boundary. Thus the homeomorphism type of the $3$-manifold is controlled by the way the boundaries of the two handlebodies are identified. I.e. the $3$-manifold depends on the automorphism $\phi\colon \Sigma_g\to\Sigma_g$ of the boundary $\Sigma_g=\partial H_g$ of a genus $g$ handlebody. In fact, the homeomorphism type only depends on the isotopy class of $\phi$. So every mapping class gives rise to a $3$-manifold!

The other motivation that comes to mind is that a mapping class group of an $n$-punctured disk is isomorphic to the pure braid group on $n$ strands, which maybe is more obviously of interest. (I say "a" mapping class group, because you have to specify what happens to the boundary of the punctured disk, giving rise to different versions of the mapping class group, one of which is the pure braid group.)

-