Mapping class group of a surface

<h2 id="history">History</h2>
<p>The mapping class group appeared in the first half of the twentieth century. Its origins lie in the study of the topology of hyperbolic surfaces, and especially in the study of the intersections of closed curves on these surfaces. The earliest contributors were <a href="/facts/Max_Dehn/4x7x0CM0">Max Dehn</a> and <a href="/facts/Jakob_Nielsen_(mathematician)/kkAvFr7f">Jakob Nielsen</a>: Dehn proved finite generation of the group,<a class="footnote-ref" id="fnref:1" href="#fn:1"><sup>1</sup></a> and Nielsen gave a classification of mapping classes and proved that all automorphisms of the fundamental group of a surface can be represented by homeomorphisms (the Dehn–Nielsen–Baer theorem).
</p><p>The Dehn–Nielsen theory was reinterpreted in the mid-seventies by <a href="/facts/William_Thurston/K1Qe8801">Thurston</a> who gave the subject a more geometric flavour<a class="footnote-ref" id="fnref:2" href="#fn:2"><sup>2</sup></a> and used this work to great effect in his program for the study of three-manifolds.
</p><p>More recently the mapping class group has been by itself a central topic in <a href="/facts/Geometric_group_theory/AJhxpFUe">geometric group theory</a>, where it provides a testing ground for various conjectures and techniques.
</p>
<h2 id="definition-and-examples">Definition and examples</h2>
<h3>Mapping class group of orientable surfaces</h3>
<p>Let 
  
    
      
        S
      
    
    {\displaystyle S}
  
 be a <a href="/facts/Connected_space/5CUTxfoA">connected</a>, <a href="/facts/Surface_(topology)/jK1b1KIG">closed</a>, <a href="/facts/Orientability/1SEQM2Pt">orientable</a> surface and 
  
    
      
        
          Homeo
          
            +
          
        
        ⁡
        (
        S
        )
      
    
    {\displaystyle \operatorname {Homeo} ^{+}(S)}
  
 the group of orientation-preserving, or positive, homeomorphisms of 
  
    
      
        S
      
    
    {\displaystyle S}
  
. This group has a natural topology, the compact-open topology. It can be defined easily by a distance function: if we are given a metric 
  
    
      
        d
      
    
    {\displaystyle d}
  
 on 
  
    
      
        S
      
    
    {\displaystyle S}
  
 inducing its topology then the function defined by
</p>

δ
        (
        f
        ,
        g
        )
        =
        
          sup
          
            x
            ∈
            S
          
        
        
          (
          
            d
            (
            f
            (
            x
            )
            ,
            g
            (
            x
            )
            )
          
          )
        
      
    
    {\displaystyle \delta (f,g)=\sup _{x\in S}\left(d(f(x),g(x))\right)}

<p>is a distance inducing the compact-open topology on 
  
    
      
        
          Homeo
          
            +
          
        
        ⁡
        (
        S
        )
      
    
    {\displaystyle \operatorname {Homeo} ^{+}(S)}
  
. The <a href="/facts/Identity_component/rFCx5kro">connected component of the identity</a> for this topology is denoted 
  
    
      
        
          Homeo
          
            0
          
        
        ⁡
        (
        S
        )
      
    
    {\displaystyle \operatorname {Homeo} _{0}(S)}
  
. By definition it is equal to the homeomorphisms of 
  
    
      
        S
      
    
    {\displaystyle S}
  
 which are isotopic to the identity. It is a normal subgroup of the group of positive homeomorphisms, and the mapping class group of 
  
    
      
        S
      
    
    {\displaystyle S}
  
 is the group
</p>

Mod
        ⁡
        (
        S
        )
        =
        
          Homeo
          
            +
          
        
        ⁡
        (
        S
        )
        
          /
        
        
          Homeo
          
            0
          
        
        ⁡
        (
        S
        )
      
    
    {\displaystyle \operatorname {Mod} (S)=\operatorname {Homeo} ^{+}(S)/\operatorname {Homeo} _{0}(S)}
  
.
<p>This is a <a href="/facts/Countable_set/Wj4DmWPv">countable</a> group.
</p><p>If we modify the definition to include all homeomorphisms we obtain the <i>extended mapping class group</i> 
  
    
      
        
          Mod
          
            ±
          
        
        ⁡
        (
        S
        )
      
    
    {\displaystyle \operatorname {Mod} ^{\pm }(S)}
  
, which contains the mapping class group as a subgroup of index 2.
</p><p>This definition can also be made in the differentiable category: if we replace all instances of "homeomorphism" above with "<a href="/facts/Diffeomorphism/855N5YYj">diffeomorphism</a>" we obtain the same group, that is the inclusion 
  
    
      
        
          Diff
          
            +
          
        
        ⁡
        (
        S
        )
        ⊂
        
          Homeo
          
            +
          
        
        ⁡
        (
        S
        )
      
    
    {\displaystyle \operatorname {Diff} ^{+}(S)\subset \operatorname {Homeo} ^{+}(S)}
  
 induces an isomorphism between the quotients by their respective identity components.
</p>
<h3>The mapping class groups of the sphere and the torus</h3>
<p>Suppose that 
  
    
      
        S
      
    
    {\displaystyle S}
  
 is the unit sphere in 
  
    
      
        
          
            R
          
          
            3
          
        
      
    
    {\displaystyle \mathbb {R} ^{3}}
  
. Then any homeomorphism of 
  
    
      
        S
      
    
    {\displaystyle S}
  
 is isotopic to either the identity or to the restriction to 
  
    
      
        S
      
    
    {\displaystyle S}
  
 of the symmetry in the plane 
  
    
      
        z
        =
        0
      
    
    {\displaystyle z=0}
  
. The latter is not orientation-preserving and we see that the mapping class group of the sphere is trivial, and its extended mapping class group is 
  
    
      
        
          Z
        
        
          /
        
        2
        
          Z
        
      
    
    {\displaystyle \mathbb {Z} /2\mathbb {Z} }
  
, the cyclic group of order 2.
</p><p>The mapping class group of the <a href="/facts/Torus/J9SkaV1W">torus</a> 
  
    
      
        
          
            T
          
          
            2
          
        
        =
        
          
            R
          
          
            2
          
        
        
          /
        
        
          
            Z
          
          
            2
          
        
      
    
    {\displaystyle \mathbb {T} ^{2}=\mathbb {R} ^{2}/\mathbb {Z} ^{2}}
  
 is naturally identified with the <a href="/facts/Modular_group/wL6l14Hk">modular group</a> 
  
    
      
        
          SL
          
            2
          
        
        ⁡
        (
        
          Z
        
        )
      
    
    {\displaystyle \operatorname {SL} _{2}(\mathbb {Z} )}
  
. It is easy to construct a morphism 
  
    
      
        Φ
        :
        
          SL
          
            2
          
        
        ⁡
        (
        
          Z
        
        )
        →
        Mod
        ⁡
        (
        
          
            T
          
          
            2
          
        
        )
      
    
    {\displaystyle \Phi :\operatorname {SL} _{2}(\mathbb {Z} )\to \operatorname {Mod} (\mathbb {T} ^{2})}
  
: every 
  
    
      
        A
        ∈
        
          SL
          
            2
          
        
        ⁡
        (
        
          Z
        
        )
      
    
    {\displaystyle A\in \operatorname {SL} _{2}(\mathbb {Z} )}
  
 induces a diffeomorphism of 
  
    
      
        
          
            T
          
          
            2
          
        
      
    
    {\displaystyle \mathbb {T} ^{2}}
  
 via 
  
    
      
        x
        +
        
          
            Z
          
          
            2
          
        
        ↦
        A
        x
        +
        
          
            Z
          
          
            2
          
        
      
    
    {\displaystyle x+\mathbb {Z} ^{2}\mapsto Ax+\mathbb {Z} ^{2}}
  
. The action of diffeomorphisms on the first <a href="/facts/Homology_group/VFJmryEW">homology group</a> of 
  
    
      
        
          
            T
          
          
            2
          
        
      
    
    {\displaystyle \mathbb {T} ^{2}}
  
 gives a left-inverse 
  
    
      
        Π
      
    
    {\displaystyle \Pi }
  
 to the morphism 
  
    
      
        Φ
      
    
    {\displaystyle \Phi }
  
 (proving in particular that it is injective) and it can be checked that 
  
    
      
        Π
      
    
    {\displaystyle \Pi }
  
 is injective, so that 
  
    
      
        Π
        ,
        Φ
      
    
    {\displaystyle \Pi ,\Phi }
  
 are inverse isomorphisms between 
  
    
      
        Mod
        ⁡
        (
        
          
            T
          
          
            2
          
        
        )
      
    
    {\displaystyle \operatorname {Mod} (\mathbb {T} ^{2})}
  
 and 
  
    
      
        
          SL
          
            2
          
        
        ⁡
        (
        
          Z
        
        )
      
    
    {\displaystyle \operatorname {SL} _{2}(\mathbb {Z} )}
  
.<a class="footnote-ref" id="fnref:3" href="#fn:3"><sup>3</sup></a> In the same way, the extended mapping class group of 
  
    
      
        
          
            T
          
          
            2
          
        
      
    
    {\displaystyle \mathbb {T} ^{2}}
  
 is 
  
    
      
        
          GL
          
            2
          
        
        ⁡
        (
        
          Z
        
        )
      
    
    {\displaystyle \operatorname {GL} _{2}(\mathbb {Z} )}
  
.
</p>
<h3>Mapping class group of surfaces with boundary and punctures</h3>
<p>In the case where 
  
    
      
        S
      
    
    {\displaystyle S}
  
 is a compact surface with a non-empty <a href="/facts/Surface_(topology)/jK1b1KIG">boundary</a> 
  
    
      
        ∂
        S
      
    
    {\displaystyle \partial S}
  
 then the definition of the mapping class group needs to be more precise. The group 
  
    
      
        
          Homeo
          
            +
          
        
        ⁡
        (
        S
        ,
        ∂
        S
        )
      
    
    {\displaystyle \operatorname {Homeo} ^{+}(S,\partial S)}
  
 of homeomorphisms relative to the boundary is the subgroup of 
  
    
      
        
          Homeo
          
            +
          
        
        ⁡
        (
        S
        )
      
    
    {\displaystyle \operatorname {Homeo} ^{+}(S)}
  
 which restrict to the identity on the boundary, and the subgroup 
  
    
      
        
          Homeo
          
            0
          
        
        ⁡
        (
        S
        ,
        ∂
        S
        )
      
    
    {\displaystyle \operatorname {Homeo} _{0}(S,\partial S)}
  
 is the connected component of the identity. The mapping class group is then defined as
</p>

Mod
        ⁡
        (
        S
        )
        =
        
          Homeo
          
            +
          
        
        ⁡
        (
        S
        ,
        ∂
        S
        )
        
          /
        
        
          Homeo
          
            0
          
        
        ⁡
        (
        S
        ,
        ∂
        S
        )
      
    
    {\displaystyle \operatorname {Mod} (S)=\operatorname {Homeo} ^{+}(S,\partial S)/\operatorname {Homeo} _{0}(S,\partial S)}
  
.
<p>A surface with punctures is a compact surface with a finite number of points removed ("punctures"). The mapping class group of such a surface is defined as above (note that the mapping classes are allowed to permute the punctures, but not the boundary components).
</p>
<h3>Mapping class group of an annulus</h3>
<p>Any <a href="/facts/Annulus_(mathematics)/rhxKuoem">annulus</a> is homeomorphic to the subset 
  
    
      
        
          A
          
            0
          
        
        =
        {
        1
        ≤
        
          |
        
        z
        
          |
        
        ≤
        2
        }
      
    
    {\displaystyle A_{0}=\{1\leq |z|\leq 2\}}
  
 of 
  
    
      
        
          C
        
      
    
    {\displaystyle \mathbb {C} }
  
. One can define a diffeomorphism 
  
    
      
        
          τ
          
            0
          
        
      
    
    {\displaystyle \tau _{0}}
  
 by the following formula:
</p>

τ
          
            0
          
        
        (
        z
        )
        =
        
          e
          
            2
            i
            π
            
              |
            
            z
            
              |
            
          
        
        z
      
    
    {\displaystyle \tau _{0}(z)=e^{2i\pi |z|}z}

<p>which is the identity on both boundary components 
  
    
      
        {
        
          |
        
        z
        
          |
        
        =
        1
        }
        ,
        {
        
          |
        
        z
        
          |
        
        =
        2
        }
      
    
    {\displaystyle \{|z|=1\},\{|z|=2\}}
  
. The mapping class group of 
  
    
      
        A
      
    
    {\displaystyle A}
  
 is then generated by the class of 
  
    
      
        
          τ
          
            0
          
        
      
    
    {\displaystyle \tau _{0}}
  
.
</p>
<h3>Braid groups and mapping class groups</h3>
<p class="note">Main article: <a href="/facts/Braid_groups/rn5323Kx">Braid groups</a></p>
<p>Braid groups can be defined as the mapping class groups of a disc with punctures. More precisely, the braid group on <i>n</i> strands is naturally isomorphic to the mapping class group of a disc with <i>n</i> punctures.<a class="footnote-ref" id="fnref:4" href="#fn:4"><sup>4</sup></a>
</p>
<h3>The Dehn–Nielsen–Baer theorem</h3>
<p>If 
  
    
      
        S
      
    
    {\displaystyle S}
  
 is <a href="/facts/Closed_manifold/jMG6G6Bl">closed</a> and 
  
    
      
        f
      
    
    {\displaystyle f}
  
 is a homeomorphism of 
  
    
      
        S
      
    
    {\displaystyle S}
  
 then we can define an automorphism 
  
    
      
        
          f
          
            ∗
          
        
      
    
    {\displaystyle f_{*}}
  
 of the fundamental group 
  
    
      
        
          π
          
            1
          
        
        (
        S
        ,
        
          x
          
            0
          
        
        )
      
    
    {\displaystyle \pi _{1}(S,x_{0})}
  
 as follows: fix a path 
  
    
      
        γ
      
    
    {\displaystyle \gamma }
  
 between 
  
    
      
        
          x
          
            0
          
        
      
    
    {\displaystyle x_{0}}
  
 and 
  
    
      
        f
        (
        
          x
          
            0
          
        
        )
      
    
    {\displaystyle f(x_{0})}
  
 and for a loop 
  
    
      
        α
      
    
    {\displaystyle \alpha }
  
 based at 
  
    
      
        
          x
          
            0
          
        
      
    
    {\displaystyle x_{0}}
  
 representing an element 
  
    
      
        [
        α
        ]
        ∈
        
          π
          
            1
          
        
        (
        S
        ,
        
          x
          
            0
          
        
        )
      
    
    {\displaystyle [\alpha ]\in \pi _{1}(S,x_{0})}
  
 define 
  
    
      
        
          f
          
            ∗
          
        
        (
        [
        α
        ]
        )
      
    
    {\displaystyle f_{*}([\alpha ])}
  
 to be the element of the fundamental group associated to the loop 
  
    
      
        
          
            
              γ
              ¯
            
          
        
        ∗
        f
        (
        α
        )
        ∗
        γ
      
    
    {\displaystyle {\bar {\gamma }}*f(\alpha )*\gamma }
  
. This automorphism depends on the choice of 
  
    
      
        γ
      
    
    {\displaystyle \gamma }
  
, but only up to conjugation. Thus we get a well-defined map from 
  
    
      
        Homeo
        ⁡
        (
        S
        )
      
    
    {\displaystyle \operatorname {Homeo} (S)}
  
 to the <a href="/facts/Outer_automorphism_group/wb5qwIxb">outer automorphism group</a> 
  
    
      
        Out
        ⁡
        (
        
          π
          
            1
          
        
        (
        S
        ,
        
          x
          
            0
          
        
        )
        )
      
    
    {\displaystyle \operatorname {Out} (\pi _{1}(S,x_{0}))}
  
. This map is a morphism and its kernel is exactly the subgroup 
  
    
      
        
          Homeo
          
            0
          
        
        ⁡
        (
        S
        )
      
    
    {\displaystyle \operatorname {Homeo} _{0}(S)}
  
. The Dehn–Nielsen–Baer theorem states that it is in addition surjective.<a class="footnote-ref" id="fnref:5" href="#fn:5"><sup>5</sup></a> In particular, it implies that:
</p>
<i>The extended mapping class group 
  
    
      
        
          Mod
          
            ±
          
        
        ⁡
        (
        S
        )
      
    
    {\displaystyle \operatorname {Mod} ^{\pm }(S)}
  
 is isomorphic to the outer automorphism group 
  
    
      
        Out
        ⁡
        (
        
          π
          
            1
          
        
        (
        S
        )
        )
      
    
    {\displaystyle \operatorname {Out} (\pi _{1}(S))}
  
. </i>
<p>The image of the mapping class group is an index 2 subgroup of the outer automorphism group, which can be characterised by its action on homology.
</p><p>The conclusion of the theorem does not hold when 
  
    
      
        S
      
    
    {\displaystyle S}
  
 has a non-empty boundary (except in a finite number of cases). In this case the fundamental group is a free group and the outer automorphism group <a href="/facts/Out(Fn)/G5cCvetC">Out(Fn)</a> is strictly larger than the image of the mapping class group via the morphism defined in the previous paragraph. The image is exactly those outer automorphisms which preserve each conjugacy class in the fundamental group corresponding to a boundary component.
</p>
<h3>The Birman exact sequence</h3>
<p>This is an exact sequence relating the mapping class group of surfaces with the same genus and boundary but a different number of punctures. It is a fundamental tool which allows to use recursive arguments in the study of mapping class groups. It was proven by <a href="/facts/Joan_Birman/ceIIseYm">Joan Birman</a> in 1969.<a class="footnote-ref" id="fnref:6" href="#fn:6"><sup>6</sup></a> The exact statement is as follows.<a class="footnote-ref" id="fnref:7" href="#fn:7"><sup>7</sup></a>
</p>
<i>Let 
  
    
      
        S
      
    
    {\displaystyle S}
  
 be a compact surface and 
  
    
      
        x
        ∈
        S
      
    
    {\displaystyle x\in S}
  
. There is an exact sequence </i>

1
        →
        
          π
          
            1
          
        
        (
        S
        ,
        x
        )
        →
        Mod
        ⁡
        (
        S
        ∖
        {
        x
        }
        )
        →
        Mod
        ⁡
        (
        S
        )
        →
        1
      
    
    {\displaystyle 1\to \pi _{1}(S,x)\to \operatorname {Mod} (S\setminus \{x\})\to \operatorname {Mod} (S)\to 1}
  
.
<p>In the case where 
  
    
      
        S
      
    
    {\displaystyle S}
  
 itself has punctures the mapping class group 
  
    
      
        Mod
        ⁡
        (
        S
        ∖
        {
        x
        }
        )
      
    
    {\displaystyle \operatorname {Mod} (S\setminus \{x\})}
  
 must be replaced by the finite-index subgroup of mapping classes fixing 
  
    
      
        x
      
    
    {\displaystyle x}
  
.
</p>
<h2 id="elements-of-the-mapping-class-group">Elements of the mapping class group</h2>
<h3>Dehn twists</h3>
<p class="note">Main article: <a href="/facts/Dehn_twist/49IL7NhB">Dehn twist</a></p>
<p>If 
  
    
      
        c
      
    
    {\displaystyle c}
  
 is an oriented simple closed curve on 
  
    
      
        S
      
    
    {\displaystyle S}
  
 and one chooses a closed tubular neighbourhood 
  
    
      
        A
      
    
    {\displaystyle A}
  
 then there is a homeomorphism 
  
    
      
        f
      
    
    {\displaystyle f}
  
 from 
  
    
      
        A
      
    
    {\displaystyle A}
  
 to the canonical annulus 
  
    
      
        
          A
          
            0
          
        
      
    
    {\displaystyle A_{0}}
  
 defined above, sending 
  
    
      
        c
      
    
    {\displaystyle c}
  
 to a circle with the <a href="/facts/Counterclockwise/3Npe4Swe">counterclockwise</a> orientation. This is used to define a homeomorphism 
  
    
      
        
          τ
          
            c
          
        
      
    
    {\displaystyle \tau _{c}}
  
 of 
  
    
      
        S
      
    
    {\displaystyle S}
  
 as follows: on 
  
    
      
        S
        ∖
        A
      
    
    {\displaystyle S\setminus A}
  
 it is the identity, and on 
  
    
      
        A
      
    
    {\displaystyle A}
  
 it is equal to 
  
    
      
        
          f
          
            −
            1
          
        
        ∘
        
          τ
          
            0
          
        
        ∘
        f
      
    
    {\displaystyle f^{-1}\circ \tau _{0}\circ f}
  
. The class of 
  
    
      
        
          τ
          
            c
          
        
      
    
    {\displaystyle \tau _{c}}
  
 in the mapping class group 
  
    
      
        Mod
        ⁡
        (
        S
        )
      
    
    {\displaystyle \operatorname {Mod} (S)}
  
 does not depend on the choice of 
  
    
      
        f
      
    
    {\displaystyle f}
  
 made above, and the resulting element is called the <i>Dehn twist</i> about 
  
    
      
        c
      
    
    {\displaystyle c}
  
. If 
  
    
      
        c
      
    
    {\displaystyle c}
  
 is not null-homotopic this mapping class is nontrivial, and more generally the Dehn twists defined by two non-homotopic curves are distinct elements in the mapping class group.
</p><p>In the mapping class group of the torus identified with 
  
    
      
        
          SL
          
            2
          
        
        ⁡
        (
        
          Z
        
        )
      
    
    {\displaystyle \operatorname {SL} _{2}(\mathbb {Z} )}
  
 the Dehn twists correspond to unipotent matrices. For example, the matrix
</p>

(
            
              
                
                  1
                
                
                  1
                
              
              
                
                  0
                
                
                  1
                
              
            
            )
          
        
      
    
    {\displaystyle {\begin{pmatrix}1&1\\0&1\end{pmatrix}}}

<p>corresponds to the Dehn twist about a horizontal curve in the torus.
</p>
<h3>The Nielsen–Thurston classification</h3>
<p class="note">Main article: <a href="/facts/Nielsen%25E2%2580%2593Thurston_classification/fNJhA8Rk">Nielsen–Thurston classification</a></p>
<p>There is a classification of the mapping classes on a surface, originally due to Nielsen and rediscovered by Thurston, which can be stated as follows. An element 
  
    
      
        g
        ∈
        Mod
        ⁡
        (
        S
        )
      
    
    {\displaystyle g\in \operatorname {Mod} (S)}
  
 is either:
</p>
<ul><li>of finite order (i.e. there exists 
  
    
      
        n
        >
        0
      
    
    {\displaystyle n>0}
  
 such that 
  
    
      
        
          g
          
            n
          
        
      
    
    {\displaystyle g^{n}}
  
 is the identity),</li>
<li>reducible: there exists a set of disjoint closed curves on 
  
    
      
        S
      
    
    {\displaystyle S}
  
 which is preserved by the action of 
  
    
      
        g
      
    
    {\displaystyle g}
  
;</li>
<li>or pseudo-Anosov.</li></ul>
<p>The main content of the theorem is that a mapping class which is neither of finite order nor reducible must be pseudo-Anosov, which can be defined explicitly by dynamical properties.<a class="footnote-ref" id="fnref:8" href="#fn:8"><sup>8</sup></a>
</p>
<h3>Pseudo-Anosov diffeomorphisms</h3>
<p class="note">Main article: <a href="/facts/Pseudo-Anosov_map/rNmJEHSS">Pseudo-Anosov map</a></p>
<p>The study of pseudo-Anosov diffeomorphisms of a surface is fundamental. They are the most interesting diffeomorphisms, since finite-order mapping classes are isotopic to isometries and thus well understood, and the study of reducible classes indeed essentially reduces to the study of mapping classes on smaller surfaces which may themselves be either finite order or pseudo-Anosov.
</p><p>Pseudo-Anosov mapping classes are "generic" in the mapping class group in various ways. For example, a random walk on the mapping class group will end on a pseudo-Anosov element with a probability tending to 1 as the number of steps grows.
</p>
<h2 id="actions-of-the-mapping-class-group">Actions of the mapping class group</h2>
<h3>Action on Teichmüller space</h3>
<p>Given a punctured surface 
  
    
      
        S
      
    
    {\displaystyle S}
  
 (usually without boundary) the <a href="/facts/Teichm%25C3%25BCller_space/IjwtcRyb">Teichmüller space</a> 
  
    
      
        T
        (
        S
        )
      
    
    {\displaystyle T(S)}
  
 is the space of marked complex (equivalently, conformal or complete hyperbolic) structures on 
  
    
      
        S
      
    
    {\displaystyle S}
  
. These are represented by pairs 
  
    
      
        (
        X
        ,
        f
        )
      
    
    {\displaystyle (X,f)}
  
 where 
  
    
      
        X
      
    
    {\displaystyle X}
  
 is a <a href="/facts/Riemann_surface/qoj8ogv8">Riemann surface</a> and 
  
    
      
        f
        :
        S
        →
        X
      
    
    {\displaystyle f:S\to X}
  
 a homeomorphism, modulo a suitable equivalence relation. There is an obvious action of the group 
  
    
      
        
          Homeo
          
            +
          
        
        ⁡
        (
        S
        )
      
    
    {\displaystyle \operatorname {Homeo} ^{+}(S)}
  
 on such pairs, which descends to an action of 
  
    
      
        Mod
        ⁡
        (
        S
        )
      
    
    {\displaystyle \operatorname {Mod} (S)}
  
 on Teichmüller space.
</p><p>This action has many interesting properties; for example it is <a href="/facts/Properly_discontinuous_action/Vh9VtUUw">properly discontinuous</a> (though not <a href="/facts/Free_action/Vh9VtUUw">free</a>). It is compatible with various geometric structures (metric or complex) with which 
  
    
      
        T
        (
        S
        )
      
    
    {\displaystyle T(S)}
  
 can be endowed. In particular, the Teichmüller metric can be used to establish some large-scale properties of the mapping class group, for example that the maximal quasi-isometrically embedded flats in 
  
    
      
        Mod
        ⁡
        (
        S
        )
      
    
    {\displaystyle \operatorname {Mod} (S)}
  
 are of dimension 
  
    
      
        3
        g
        −
        3
        +
        k
      
    
    {\displaystyle 3g-3+k}
  
.<a class="footnote-ref" id="fnref:9" href="#fn:9"><sup>9</sup></a>
</p><p>The action extends to the <a href="/facts/Thurston_boundary/lqgbt5Ab">Thurston boundary</a> of Teichmüller space, and the Nielsen-Thurston classification of mapping classes can be seen in the dynamical properties of the action on Teichmüller space together with its Thurston boundary. Namely:<a class="footnote-ref" id="fnref:10" href="#fn:10"><sup>10</sup></a>
</p>
<ul><li>Finite-order elements fix a point inside Teichmüller space (more concretely this means that any mapping class of finite order in 
  
    
      
        Mod
        ⁡
        (
        S
        )
      
    
    {\displaystyle \operatorname {Mod} (S)}
  
 can be realised as an isometry for some hyperbolic metric on 
  
    
      
        S
      
    
    {\displaystyle S}
  
);</li>
<li>Pseudo-Anosov classes fix the two points on the boundary corresponding to their stable and unstable foliation and the action is minimal (has a dense orbit) on the boundary;</li>
<li>Reducible classes do not act minimally on the boundary.</li></ul>
<h3>Action on the curve complex</h3>
<p>The <a href="/facts/Curve_complex/ft2FoBN8">curve complex</a> of a surface 
  
    
      
        S
      
    
    {\displaystyle S}
  
 is a complex whose vertices are isotopy classes of simple closed curves on 
  
    
      
        S
      
    
    {\displaystyle S}
  
. The action of the mapping class groups 
  
    
      
        Mod
        ⁡
        (
        S
        )
      
    
    {\displaystyle \operatorname {Mod} (S)}
  
 on the vertices carries over to the full complex. The action is not properly discontinuous (the stabiliser of a simple closed curve is an infinite group).
</p><p>This action, together with combinatorial and geometric properties of the curve complex, can be used to prove various properties of the mapping class group.<a class="footnote-ref" id="fnref:11" href="#fn:11"><sup>11</sup></a> In particular, it explains some of the hyperbolic properties of the mapping class group: while as mentioned in the previous section the mapping class group is not a hyperbolic group it has some properties reminiscent of those.
</p>
<h3>Other complexes with a mapping class group action</h3>
<h4>Pants complex</h4>
<p>The <a href="/facts/Pair_of_pants_(mathematics)/EbHeBth5">pants complex</a> of a compact surface 
  
    
      
        S
      
    
    {\displaystyle S}
  
 is a complex whose vertices are the <a href="/facts/Pair_of_pants_(mathematics)/EbHeBth5">pants decompositions</a> of 
  
    
      
        S
      
    
    {\displaystyle S}
  
 (isotopy classes of maximal systems of disjoint simple closed curves). The action of 
  
    
      
        Mod
        ⁡
        (
        S
        )
      
    
    {\displaystyle \operatorname {Mod} (S)}
  
 extends to an action on this complex. This complex is quasi-isometric to Teichmüller space endowed with the <a href="/facts/Weil%25E2%2580%2593Petersson_metric/qAFAd3hd">Weil–Petersson metric</a>.<a class="footnote-ref" id="fnref:12" href="#fn:12"><sup>12</sup></a>
</p>
<h4>Markings complex</h4>
<p>The stabilisers of the mapping class group's action on the curve and pants complexes are quite large. The <i>markings complex</i> is a complex whose vertices are <i>markings</i> of 
  
    
      
        S
      
    
    {\displaystyle S}
  
, which are acted upon by, and have trivial stabilisers in, the mapping class group 
  
    
      
        Mod
        ⁡
        (
        S
        )
      
    
    {\displaystyle \operatorname {Mod} (S)}
  
. It is (in opposition to the curve or pants complex) a <a href="/facts/Locally_finite_space/AIkbrwyx">locally finite</a> complex which is quasi-isometric to the mapping class group.<a class="footnote-ref" id="fnref:13" href="#fn:13"><sup>13</sup></a>
</p><p>A marking<a class="footnote-ref" id="fnref:14" href="#fn:14"><sup>14</sup></a> is determined by a pants decomposition 
  
    
      
        
          α
          
            1
          
        
        ,
        …
        ,
        
          α
          
            ξ
          
        
      
    
    {\displaystyle \alpha _{1},\ldots ,\alpha _{\xi }}
  
 and a collection of transverse curves 
  
    
      
        
          β
          
            1
          
        
        ,
        …
        ,
        
          β
          
            ξ
          
        
      
    
    {\displaystyle \beta _{1},\ldots ,\beta _{\xi }}
  
 such that every one of the 
  
    
      
        
          β
          
            i
          
        
      
    
    {\displaystyle \beta _{i}}
  
 intersects at most one of the 
  
    
      
        
          α
          
            i
          
        
      
    
    {\displaystyle \alpha _{i}}
  
, and this "minimally" (this is a technical condition which can be stated as follows: if 
  
    
      
        
          α
          
            i
          
        
        ,
        
          β
          
            i
          
        
      
    
    {\displaystyle \alpha _{i},\beta _{i}}
  
 are contained in a subsurface homeomorphic to a torus then they intersect once, and if the surface is a four-holed sphere they intersect twice). Two distinct markings are joined by an edge if they differ by an "elementary move", and the full complex is obtained by adding all possible higher-dimensional simplices.
</p>
<h2 id="generators-and-relations-for-mapping-class-groups">Generators and relations for mapping class groups</h2>
<h3>The Dehn–Lickorish theorem</h3>
<p>The mapping class group is generated by the subset of Dehn twists about all simple closed curves on the surface. The Dehn–Lickorish theorem states that it is sufficient to select a finite number of those to generate the mapping class group.<a class="footnote-ref" id="fnref:15" href="#fn:15"><sup>15</sup></a> This generalises the fact that 
  
    
      
        
          SL
          
            2
          
        
        ⁡
        (
        
          Z
        
        )
      
    
    {\displaystyle \operatorname {SL} _{2}(\mathbb {Z} )}
  
 is generated by the matrices
</p>

(
            
              
                
                  1
                
                
                  1
                
              
              
                
                  0
                
                
                  1
                
              
            
            )
          
        
        ,
        
          
            (
            
              
                
                  1
                
                
                  0
                
              
              
                
                  1
                
                
                  1
                
              
            
            )
          
        
      
    
    {\displaystyle {\begin{pmatrix}1&1\\0&1\end{pmatrix}},{\begin{pmatrix}1&0\\1&1\end{pmatrix}}}
  
.
<p>In particular, the mapping class group of a surface is a <a href="/facts/Finitely_generated_group/fVsFHrmb">finitely generated group</a>.
</p><p>The smallest number of Dehn twists that can generate the mapping class group of a closed surface of genus 
  
    
      
        g
        ≥
        2
      
    
    {\displaystyle g\geq 2}
  
 is 
  
    
      
        2
        g
        +
        1
      
    
    {\displaystyle 2g+1}
  
; this was proven later by Humphries.
</p>
<h3>Finite presentability</h3>
<p>It is possible to prove that all relations between the Dehn twists in a generating set for the mapping class group can be written as combinations of a finite number among them. This means that the mapping class group of a surface is a <a href="/facts/Finitely_presented_group/f9emPUoI">finitely presented group</a>.
</p><p>One way to prove this theorem is to deduce it from the properties of the action of the mapping class group on the pants complex: the stabiliser of a vertex is seen to be finitely presented, and the action is cofinite. Since the complex is connected and simply connected it follows that the mapping class group must be finitely generated. There are other ways of getting finite presentations, but in practice the only one to yield explicit relations for all geni is that described in this paragraph with a slightly different complex instead of the curve complex, called the <i>cut system complex</i>.<a class="footnote-ref" id="fnref:16" href="#fn:16"><sup>16</sup></a>
</p><p>An example of a relation between Dehn twists occurring in this presentation is the <a href="/facts/Lantern_relation/EHSGzBB3">lantern relation</a>.
</p>
<h3>Other systems of generators</h3>
<p>There are other interesting systems of generators for the mapping class group besides Dehn twists. For example, 
  
    
      
        Mod
        ⁡
        (
        S
        )
      
    
    {\displaystyle \operatorname {Mod} (S)}
  
 can be generated by two elements<a class="footnote-ref" id="fnref:17" href="#fn:17"><sup>17</sup></a> or by involutions.<a class="footnote-ref" id="fnref:18" href="#fn:18"><sup>18</sup></a>
</p>
<h3>Cohomology of the mapping class group</h3>
<p>If 
  
    
      
        S
      
    
    {\displaystyle S}
  
 is a surface of genus 
  
    
      
        g
      
    
    {\displaystyle g}
  
 with 
  
    
      
        b
      
    
    {\displaystyle b}
  
 boundary components and 
  
    
      
        k
      
    
    {\displaystyle k}
  
 punctures then the virtual <a href="/facts/Cohomological_dimension/m9jYzNAB">cohomological dimension</a> of 
  
    
      
        Mod
        ⁡
        (
        S
        )
      
    
    {\displaystyle \operatorname {Mod} (S)}
  
 is equal to 
  
    
      
        4
        g
        −
        4
        +
        b
        +
        k
      
    
    {\displaystyle 4g-4+b+k}
  
.
</p><p>The first homology of the mapping class group is finite<a class="footnote-ref" id="fnref:19" href="#fn:19"><sup>19</sup></a> and it follows that the first cohomology group is finite as well.
</p>
<h2 id="subgroups-of-the-mapping-class-groups">Subgroups of the mapping class groups</h2>
<h3>The Torelli subgroup</h3>
<p>As <a href="/facts/Singular_homology/6c2AHr85">singular homology</a> is functorial, the mapping class group 
  
    
      
        Mod
        ⁡
        (
        S
        )
      
    
    {\displaystyle \operatorname {Mod} (S)}
  
 acts by automorphisms on the first homology group 
  
    
      
        
          H
          
            1
          
        
        (
        S
        )
      
    
    {\displaystyle H_{1}(S)}
  
. This is a free abelian group of rank 
  
    
      
        2
        g
      
    
    {\displaystyle 2g}
  
 if 
  
    
      
        S
      
    
    {\displaystyle S}
  
 is closed of genus 
  
    
      
        g
      
    
    {\displaystyle g}
  
. This action thus gives a <a href="/facts/Linear_representation/3ydLtaGH">linear representation</a> 
  
    
      
        Mod
        ⁡
        (
        S
        )
        →
        
          GL
          
            2
            g
          
        
        ⁡
        (
        
          Z
        
        )
      
    
    {\displaystyle \operatorname {Mod} (S)\to \operatorname {GL} _{2g}(\mathbb {Z} )}
  
.
</p><p>This map is in fact a surjection with image equal to the integer points 
  
    
      
        
          Sp
          
            2
            g
          
        
        ⁡
        (
        
          Z
        
        )
      
    
    {\displaystyle \operatorname {Sp} _{2g}(\mathbb {Z} )}
  
 of the <a href="/facts/Symplectic_group/G4CKBc7z">symplectic group</a>. This comes from the fact that the <a href="/facts/Intersection_number/ChzWmr4d">intersection number</a> of closed curves induces a symplectic form on the first homology, which is preserved by the action of the mapping class group. The surjectivity is proven by showing that the images of Dehn twists generate 
  
    
      
        
          Sp
          
            2
            g
          
        
        ⁡
        (
        
          Z
        
        )
      
    
    {\displaystyle \operatorname {Sp} _{2g}(\mathbb {Z} )}
  
.<a class="footnote-ref" id="fnref:20" href="#fn:20"><sup>20</sup></a>
</p><p>The kernel of the morphism 
  
    
      
        Mod
        ⁡
        (
        S
        )
        →
        
          Sp
          
            2
            g
          
        
        ⁡
        (
        
          Z
        
        )
      
    
    {\displaystyle \operatorname {Mod} (S)\to \operatorname {Sp} _{2g}(\mathbb {Z} )}
  
 is called the <i>Torelli group</i> of 
  
    
      
        S
      
    
    {\displaystyle S}
  
. It is a finitely generated, torsion-free subgroup<a class="footnote-ref" id="fnref:21" href="#fn:21"><sup>21</sup></a> and its study is of fundamental importance for its bearing on both the structure of the mapping class group itself (since the <a href="/facts/Arithmetic_group/I8eA2483">arithmetic group</a> 
  
    
      
        
          Sp
          
            2
            g
          
        
        ⁡
        (
        
          Z
        
        )
      
    
    {\displaystyle \operatorname {Sp} _{2g}(\mathbb {Z} )}
  
 is comparatively very well understood, a lot of facts about 
  
    
      
        Mod
        ⁡
        (
        S
        )
      
    
    {\displaystyle \operatorname {Mod} (S)}
  
 boil down to a statement about its Torelli subgroup) and applications to 3-dimensional topology and algebraic geometry.
</p>
<h3>Residual finiteness and finite-index subgroups</h3>
<p>An example of application of the Torelli subgroup is the following result:
</p>
<i>The mapping class group is <a href="/facts/Residually_finite_group/SlY6WD2h">residually finite</a>. </i>
<p>The proof proceeds first by using residual finiteness of the linear group 
  
    
      
        
          Sp
          
            2
            g
          
        
        ⁡
        (
        
          Z
        
        )
      
    
    {\displaystyle \operatorname {Sp} _{2g}(\mathbb {Z} )}
  
, and then, for any nontrivial element of the Torelli group, constructing by geometric means subgroups of finite index which does not contain it.<a class="footnote-ref" id="fnref:22" href="#fn:22"><sup>22</sup></a>
</p><p>An interesting class of finite-index subgroups is given by the kernels of the morphisms:
</p>

Φ
          
            n
          
        
        :
        Mod
        ⁡
        (
        S
        )
        →
        
          Sp
          
            2
            g
          
        
        ⁡
        (
        
          Z
        
        )
        →
        
          Sp
          
            2
            g
          
        
        ⁡
        (
        
          Z
        
        
          /
        
        n
        
          Z
        
        )
      
    
    {\displaystyle \Phi _{n}:\operatorname {Mod} (S)\to \operatorname {Sp} _{2g}(\mathbb {Z} )\to \operatorname {Sp} _{2g}(\mathbb {Z} /n\mathbb {Z} )}

<p>The kernel of 
  
    
      
        
          Φ
          
            n
          
        
      
    
    {\displaystyle \Phi _{n}}
  
 is usually called a <i>congruence subgroup</i> of 
  
    
      
        Mod
        ⁡
        (
        S
        )
      
    
    {\displaystyle \operatorname {Mod} (S)}
  
. It is a torsion-free group for all 
  
    
      
        n
        ≥
        3
      
    
    {\displaystyle n\geq 3}
  
 (this follows easily from a classical result of Minkowski on linear groups and the fact that the Torelli group is torsion-free).
</p>
<h3>Finite subgroups</h3>
<p>The mapping class group has only finitely many classes of finite groups, as follows from the fact that the finite-index subgroup 
  
    
      
        ker
        ⁡
        (
        
          Φ
          
            3
          
        
        )
      
    
    {\displaystyle \ker(\Phi _{3})}
  
 is torsion-free, as discussed in the previous paragraph. Moreover, this also implies that any finite subgroup of 
  
    
      
        Mod
        ⁡
        (
        S
        )
      
    
    {\displaystyle \operatorname {Mod} (S)}
  
 is a subgroup of the finite group 
  
    
      
        Mod
        ⁡
        (
        S
        )
        
          /
        
        ker
        ⁡
        (
        
          Φ
          
            3
          
        
        )
        ≅
        
          Sp
          
            2
            g
          
        
        ⁡
        (
        
          Z
        
        
          /
        
        3
        )
      
    
    {\displaystyle \operatorname {Mod} (S)/\ker(\Phi _{3})\cong \operatorname {Sp} _{2g}(\mathbb {Z} /3)}
  
.
</p><p>A bound on the order of finite subgroups can also be obtained through geometric means. The solution to the <a href="/facts/Nielsen_realisation_problem/2glvNvlK">Nielsen realisation problem</a> implies that any such group is realised as the group of isometries of an hyperbolic surface of genus 
  
    
      
        g
      
    
    {\displaystyle g}
  
. <a href="/facts/Hurwitz_automorphisms_theorem/kdTQRAH9">Hurwitz's bound</a> then implies that the maximal order is equal to 
  
    
      
        84
        (
        g
        −
        1
        )
      
    
    {\displaystyle 84(g-1)}
  
.
</p>
<h3>General facts on subgroups</h3>
<p>The mapping class groups satisfy the <a href="/facts/Tits_alternative/w3rrRJpm">Tits alternative</a>: that is, any subgroup of it either contains a non-abelian <a href="/facts/Free_group/zPo2NIGb">free</a> subgroup or it is virtually solvable (in fact abelian).<a class="footnote-ref" id="fnref:23" href="#fn:23"><sup>23</sup></a>
</p><p>Any subgroup which is not reducible (that is it does not preserve a set of isotopy class of disjoint simple closed curves) must contain a pseudo-Anosov element.<a class="footnote-ref" id="fnref:24" href="#fn:24"><sup>24</sup></a>
</p>
<h2 id="linear-representations">Linear representations</h2>
<p>It is an <a href="/facts/Open_problem/VuR6yLsW">open question</a> whether the mapping class group is a linear group or not. Besides the symplectic representation on homology explained above there are other interesting finite-dimensional linear representations arising from <a href="/facts/Topological_quantum_field_theory/zHjrp3b8">topological quantum field theory</a>. The images of these representations are contained in arithmetic groups which are not symplectic, and this allows to construct many more finite quotients of 
  
    
      
        Mod
        ⁡
        (
        S
        )
      
    
    {\displaystyle \operatorname {Mod} (S)}
  
.<a class="footnote-ref" id="fnref:25" href="#fn:25"><sup>25</sup></a>
</p><p>In the other direction there is a lower bound for the dimension of a (putative) faithful representation, which has to be at least 
  
    
      
        2
        
          
            g
            −
            1
          
        
      
    
    {\displaystyle 2{\sqrt {g-1}}}
  
.<a class="footnote-ref" id="fnref:26" href="#fn:26"><sup>26</sup></a>
</p>
<h2 id="notes">Notes</h2>

<h3>Citations</h3>

<h2 id="sources">Sources</h2>

<ul><li>Birman, Joan (1969). "Mapping class groups and their relationship to braid groups". <i>Communications on Pure and Applied Mathematics</i>. 22 (2): 213–238. <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1002%2Fcpa.3160220206">10.1002/cpa.3160220206</a>. <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0243519">0243519</a>.</li>
<li><a href="/facts/Joan_Birman/ceIIseYm">Birman, Joan S.</a> (1974). <a href="/facts/Braids%2c_Links%2c_and_Mapping_Class_Groups/1mAVt3BJ"><i>Braids, links, and mapping class groups</i></a>. Annals of Mathematics Studies. Vol. 82. Princeton University Press.</li>
<li><a href="/facts/Tara_E._Brendle/59tcgI4y">Brendle, Tara E.</a>; Farb, Benson (2004). "Every mapping class group is generated by 3 torsion elements and by 6 involutions". <i>J. Algebra</i>. 278. <a href="/facts/ArXiv_(identifier)/H6EtgnBe">arXiv</a>:<a href="https://arxiv.org/abs/math/0307039">math/0307039</a>. <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1016%2Fj.jalgebra.2004.02.019">10.1016/j.jalgebra.2004.02.019</a>. <a href="/facts/S2CID_(identifier)/ldJsHa2Y">S2CID</a> <a href="https://api.semanticscholar.org/CorpusID:14784932">14784932</a>.</li>
<li>Brock, Jeff (2002). "Pants decompositions and the Weil–Petersson metric". <i>Complex Manifolds and Hyperbolic Geometry</i>. American Mathematical Society. <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=1940162">1940162</a>.</li>
<li><a href="/facts/Max_Dehn/4x7x0CM0">Dehn, Max</a> (1938). <a href="https://doi.org/10.1007%2Fbf02547712">"Die Gruppe der Abbildungsklassen: Das arithmetische Feld auf Flächen"</a>. <i>Acta Mathematica</i> (in German). 69: 135–206. <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1007%2Fbf02547712">10.1007/bf02547712</a>, translated in Dehn 1987.</li>
<li>Dehn, Max (1987). <i>Papers on group theory and topology</i>. translated and introduced by John Stillwell. Springer-Verlag. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-038796416-4.</li>
<li>Eskin, Alex; Masur, Howard; Rafi, Kasra (2017). "Large-scale rank of Teichmüller space". <i>Duke Mathematical Journal</i>. 166 (8). <a href="/facts/ArXiv_(identifier)/H6EtgnBe">arXiv</a>:<a href="https://arxiv.org/abs/1307.3733">1307.3733</a>. <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1215%2F00127094-0000006X">10.1215/00127094-0000006X</a>. <a href="/facts/S2CID_(identifier)/ldJsHa2Y">S2CID</a> <a href="https://api.semanticscholar.org/CorpusID:15393033">15393033</a>.</li>
<li>Farb, Benson; Lubotzky, Alexander; Minsky, Yair (2001). "Rank-1 phenomena for mapping class groups". <i>Duke Mathematical Journal</i>. 106 (3): 581–597. <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1215%2Fs0012-7094-01-10636-4">10.1215/s0012-7094-01-10636-4</a>. <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=1813237">1813237</a>.</li>
<li><a href="/facts/Benson_Farb/vkCSH1ad">Farb, Benson</a>; <a href="/facts/Dan_Margalit_(mathematician)/SB2MoGQw">Margalit, Dan</a> (2012). <i>A primer on mapping class groups</i>. Princeton Mathematical Series. Princeton University press. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-069114794-9.</li>
<li>Fathi, Albert; Laudenbach, François; Poénaru, Valentin (2012). <i>Thurston's work on surfaces</i>. Mathematical Notes. Vol. 48. translated from the 1979 French original by Djun M. Kim and Dan Margalit. Princeton University Press. pp. xvi+254. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-691-14735-2.</li>
<li><a href="/facts/Allen_Hatcher/dWXuqkXA">Hatcher, Allen</a>; <a href="/facts/William_Thurston/K1Qe8801">Thurston, William</a> (1980). <a href="https://doi.org/10.1016%2F0040-9383%2880%2990009-9">"A presentation for the mapping class group of a closed orientable surface"</a>. <i>Topology</i>. 19 (3): 221–237. <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1016%2F0040-9383%2880%2990009-9">10.1016/0040-9383(80)90009-9</a>.</li>
<li><a href="/facts/Nikolai_V._Ivanov/lxIC7WSq">Ivanov, Nikolai</a> (1992). <i>Subgroups of Teichmüller Modular Groups</i>. Translations of Mathematical Monographs. American Mathematical Society. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-1-4704-4526-3.</li>
<li>Masbaum, Gregor; Reid, Alan W. (2012). "All finite groups are involved in the mapping class group". <i>Geometry & Topology</i>. 16 (3): 1393–1411. <a href="/facts/ArXiv_(identifier)/H6EtgnBe">arXiv</a>:<a href="https://arxiv.org/abs/1106.4261">1106.4261</a>. <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.2140%2Fgt.2012.16.1393">10.2140/gt.2012.16.1393</a>. <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=2967055">2967055</a>. <a href="/facts/S2CID_(identifier)/ldJsHa2Y">S2CID</a> <a href="https://api.semanticscholar.org/CorpusID:17330187">17330187</a>.</li>
<li>Masur, Howard A.; Minsky, Yair N. (1999). "Geometry of the complex of curves. I. Hyperbolicity". <i>Inventiones Mathematicae</i>. 138 (1): 103–149. <a href="/facts/ArXiv_(identifier)/H6EtgnBe">arXiv</a>:<a href="https://arxiv.org/abs/math/9804098">math/9804098</a>. <a href="/facts/Bibcode_(identifier)/9HtdQSGB">Bibcode</a>:<a href="https://ui.adsabs.harvard.edu/abs/1999InMat.138..103M">1999InMat.138..103M</a>. <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1007%2Fs002220050343">10.1007/s002220050343</a>. <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=1714338">1714338</a>. <a href="/facts/S2CID_(identifier)/ldJsHa2Y">S2CID</a> <a href="https://api.semanticscholar.org/CorpusID:16199015">16199015</a>.</li>
<li>Masur, Howard A.; Minsky, Yair N. (2000). "Geometry of the complex of curves II: Hierarchical structure". <i>Geometric & Functional Analysis</i>. 10 (4): 902–974. <a href="/facts/ArXiv_(identifier)/H6EtgnBe">arXiv</a>:<a href="https://arxiv.org/abs/math/9807150">math/9807150</a>. <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1007%2Fpl00001643">10.1007/pl00001643</a>. <a href="/facts/S2CID_(identifier)/ldJsHa2Y">S2CID</a> <a href="https://api.semanticscholar.org/CorpusID:14834205">14834205</a>.</li>
<li>Putman, Andy (2010). <a href="https://www.ams.org/journals/proc/2010-138-02/S0002-9939-09-10124-7/">"A note on the abelianizations of finite-index subgroups of the mapping class group"</a>. <i>Proceedings of the American Mathematical Society</i>. 138 (2): 753–758. <a href="/facts/ArXiv_(identifier)/H6EtgnBe">arXiv</a>:<a href="https://arxiv.org/abs/0812.0017">0812.0017</a>. <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1090%2Fs0002-9939-09-10124-7">10.1090/s0002-9939-09-10124-7</a>. <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=2557192">2557192</a>. <a href="/facts/S2CID_(identifier)/ldJsHa2Y">S2CID</a> <a href="https://api.semanticscholar.org/CorpusID:2047111">2047111</a>.</li>
<li>Thurston, William P. (1988). <a href="https://doi.org/10.1090%2Fs0273-0979-1988-15685-6">"On the geometry and dynamics of diffeomorphisms of surfaces"</a>. <i>Bulletin of the American Mathematical Society</i>. 19 (2): 417–431. <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1090%2Fs0273-0979-1988-15685-6">10.1090/s0273-0979-1988-15685-6</a>. <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=0956596">0956596</a>.</li>
<li>Wajnryb, B. (1996). <a href="https://doi.org/10.1016%2F0040-9383%2895%2900037-2">"Mapping class group of a surface is generated by two elements"</a>. <i>Topology</i>. 35 (2): 377–383. <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1016%2F0040-9383%2895%2900037-2">10.1016/0040-9383(95)00037-2</a>.</li></ul>

<h2 id="references">References</h2>

<ol>
<li id="fn:1"><p>Acta Math. 1938, pp. 135–206. - Dehn, Max (1938). "Die Gruppe der Abbildungsklassen: Das arithmetische Feld auf Flächen". Acta Mathematica (in German). 69: 135–206. doi:10.1007/bf02547712 <a href="https://doi.org/10.1007%2Fbf02547712" target="_blank">https://doi.org/10.1007%2Fbf02547712</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li>
<li id="fn:2"><p>Bull. Amer. Math. Soc. 1988, pp. 417–431. - Thurston, William P. (1988). "On the geometry and dynamics of diffeomorphisms of surfaces". Bulletin of the American Mathematical Society. 19 (2): 417–431. doi:10.1090/s0273-0979-1988-15685-6. MR 0956596. <a href="https://doi.org/10.1090%2Fs0273-0979-1988-15685-6" target="_blank">https://doi.org/10.1090%2Fs0273-0979-1988-15685-6</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li>
<li id="fn:3"><p>Farb & Margalit 2012, Theorem 2.5. - Farb, Benson; Margalit, Dan (2012). A primer on mapping class groups. Princeton Mathematical Series. Princeton University press. ISBN 978-069114794-9. <a href="#fnref:3" class="footnote-back-ref">↩</a></p></li>
<li id="fn:4"><p>Birman 1974. - Birman, Joan S. (1974). Braids, links, and mapping class groups. Annals of Mathematics Studies. Vol. 82. Princeton University Press. <a href="#fnref:4" class="footnote-back-ref">↩</a></p></li>
<li id="fn:5"><p>Farb & Margalit 2012, Theorem 8.1. - Farb, Benson; Margalit, Dan (2012). A primer on mapping class groups. Princeton Mathematical Series. Princeton University press. ISBN 978-069114794-9. <a href="#fnref:5" class="footnote-back-ref">↩</a></p></li>
<li id="fn:6"><p>Birman 1969, pp. 213–238. - Birman, Joan (1969). "Mapping class groups and their relationship to braid groups". Communications on Pure and Applied Mathematics. 22 (2): 213–238. doi:10.1002/cpa.3160220206. MR 0243519. <a href="https://doi.org/10.1002%2Fcpa.3160220206" target="_blank">https://doi.org/10.1002%2Fcpa.3160220206</a> <a href="#fnref:6" class="footnote-back-ref">↩</a></p></li>
<li id="fn:7"><p>Farb & Margalit 2012, Theorem 4.6. - Farb, Benson; Margalit, Dan (2012). A primer on mapping class groups. Princeton Mathematical Series. Princeton University press. ISBN 978-069114794-9. <a href="#fnref:7" class="footnote-back-ref">↩</a></p></li>
<li id="fn:8"><p>Fathi, Laudenbach & Poénaru 2012, Chapter 9. - Fathi, Albert; Laudenbach, François; Poénaru, Valentin (2012). Thurston's work on surfaces. Mathematical Notes. Vol. 48. translated from the 1979 French original by Djun M. Kim and Dan Margalit. Princeton University Press. pp. xvi+254. ISBN 978-0-691-14735-2. <a href="#fnref:8" class="footnote-back-ref">↩</a></p></li>
<li id="fn:9"><p>Eskin, Masur & Rafi 2017. - Eskin, Alex; Masur, Howard; Rafi, Kasra (2017). "Large-scale rank of Teichmüller space". Duke Mathematical Journal. 166 (8). arXiv:1307.3733. doi:10.1215/00127094-0000006X. S2CID 15393033. <a href="https://arxiv.org/abs/1307.3733" target="_blank">https://arxiv.org/abs/1307.3733</a> <a href="#fnref:9" class="footnote-back-ref">↩</a></p></li>
<li id="fn:10"><p>Fathi, Laudenbach & Poénaru 2012. - Fathi, Albert; Laudenbach, François; Poénaru, Valentin (2012). Thurston's work on surfaces. Mathematical Notes. Vol. 48. translated from the 1979 French original by Djun M. Kim and Dan Margalit. Princeton University Press. pp. xvi+254. ISBN 978-0-691-14735-2. <a href="#fnref:10" class="footnote-back-ref">↩</a></p></li>
<li id="fn:11"><p>Invent. Math. 1999, pp. 103–149. - Masur, Howard A.; Minsky, Yair N. (1999). "Geometry of the complex of curves. I. Hyperbolicity". Inventiones Mathematicae. 138 (1): 103–149. arXiv:math/9804098. Bibcode:1999InMat.138..103M. doi:10.1007/s002220050343. MR 1714338. S2CID 16199015. <a href="https://arxiv.org/abs/math/9804098" target="_blank">https://arxiv.org/abs/math/9804098</a> <a href="#fnref:11" class="footnote-back-ref">↩</a></p></li>
<li id="fn:12"><p>Brock 2002. - Brock, Jeff (2002). "Pants decompositions and the Weil–Petersson metric". Complex Manifolds and Hyperbolic Geometry. American Mathematical Society. MR 1940162. <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=1940162" target="_blank">https://mathscinet.ams.org/mathscinet-getitem?mr=1940162</a> <a href="#fnref:12" class="footnote-back-ref">↩</a></p></li>
<li id="fn:13"><p>Masur & Minsky 2000. - Masur, Howard A.; Minsky, Yair N. (2000). "Geometry of the complex of curves II: Hierarchical structure". Geometric & Functional Analysis. 10 (4): 902–974. arXiv:math/9807150. doi:10.1007/pl00001643. S2CID 14834205. <a href="https://arxiv.org/abs/math/9807150" target="_blank">https://arxiv.org/abs/math/9807150</a> <a href="#fnref:13" class="footnote-back-ref">↩</a></p></li>
<li id="fn:14"><p>We describe here only "clean, complete" (in the terminology of Masur & Minsky (2000)) markings. - Masur, Howard A.; Minsky, Yair N. (2000). "Geometry of the complex of curves II: Hierarchical structure". Geometric & Functional Analysis. 10 (4): 902–974. arXiv:math/9807150. doi:10.1007/pl00001643. S2CID 14834205. <a href="https://arxiv.org/abs/math/9807150" target="_blank">https://arxiv.org/abs/math/9807150</a> <a href="#fnref:14" class="footnote-back-ref">↩</a></p></li>
<li id="fn:15"><p>Farb & Margalit 2012, Theorem 4.1. - Farb, Benson; Margalit, Dan (2012). A primer on mapping class groups. Princeton Mathematical Series. Princeton University press. ISBN 978-069114794-9. <a href="#fnref:15" class="footnote-back-ref">↩</a></p></li>
<li id="fn:16"><p>Hatcher & Thurston 1980. - Hatcher, Allen; Thurston, William (1980). "A presentation for the mapping class group of a closed orientable surface". Topology. 19 (3): 221–237. doi:10.1016/0040-9383(80)90009-9. <a href="https://doi.org/10.1016%2F0040-9383%2880%2990009-9" target="_blank">https://doi.org/10.1016%2F0040-9383%2880%2990009-9</a> <a href="#fnref:16" class="footnote-back-ref">↩</a></p></li>
<li id="fn:17"><p>Topology 1996, pp. 377–383. - Wajnryb, B. (1996). "Mapping class group of a surface is generated by two elements". Topology. 35 (2): 377–383. doi:10.1016/0040-9383(95)00037-2. <a href="https://doi.org/10.1016%2F0040-9383%2895%2900037-2" target="_blank">https://doi.org/10.1016%2F0040-9383%2895%2900037-2</a> <a href="#fnref:17" class="footnote-back-ref">↩</a></p></li>
<li id="fn:18"><p>J. Algebra 2004. - Brendle, Tara E.; Farb, Benson (2004). "Every mapping class group is generated by 3 torsion elements and by 6 involutions". J. Algebra. 278. arXiv:math/0307039. doi:10.1016/j.jalgebra.2004.02.019. S2CID 14784932. <a href="https://arxiv.org/abs/math/0307039" target="_blank">https://arxiv.org/abs/math/0307039</a> <a href="#fnref:18" class="footnote-back-ref">↩</a></p></li>
<li id="fn:19"><p>Proc. Amer. Math. Soc. 2010, pp. 753–758. - Putman, Andy (2010). "A note on the abelianizations of finite-index subgroups of the mapping class group". Proceedings of the American Mathematical Society. 138 (2): 753–758. arXiv:0812.0017. doi:10.1090/s0002-9939-09-10124-7. MR 2557192. S2CID 2047111. <a href="https://www.ams.org/journals/proc/2010-138-02/S0002-9939-09-10124-7/" target="_blank">https://www.ams.org/journals/proc/2010-138-02/S0002-9939-09-10124-7/</a> <a href="#fnref:19" class="footnote-back-ref">↩</a></p></li>
<li id="fn:20"><p>Farb & Margalit 2012, Theorem 6.4. - Farb, Benson; Margalit, Dan (2012). A primer on mapping class groups. Princeton Mathematical Series. Princeton University press. ISBN 978-069114794-9. <a href="#fnref:20" class="footnote-back-ref">↩</a></p></li>
<li id="fn:21"><p>Farb & Margalit 2012, Theorem 6.15 and Theorem 6.12. - Farb, Benson; Margalit, Dan (2012). A primer on mapping class groups. Princeton Mathematical Series. Princeton University press. ISBN 978-069114794-9. <a href="#fnref:21" class="footnote-back-ref">↩</a></p></li>
<li id="fn:22"><p>Farb & Margalit 2012, Theorem 6.11. - Farb, Benson; Margalit, Dan (2012). A primer on mapping class groups. Princeton Mathematical Series. Princeton University press. ISBN 978-069114794-9. <a href="#fnref:22" class="footnote-back-ref">↩</a></p></li>
<li id="fn:23"><p>Ivanov 1992, Theorem 4. - Ivanov, Nikolai (1992). Subgroups of Teichmüller Modular Groups. Translations of Mathematical Monographs. American Mathematical Society. ISBN 978-1-4704-4526-3. <a href="#fnref:23" class="footnote-back-ref">↩</a></p></li>
<li id="fn:24"><p>Ivanov 1992, Theorem 1. - Ivanov, Nikolai (1992). Subgroups of Teichmüller Modular Groups. Translations of Mathematical Monographs. American Mathematical Society. ISBN 978-1-4704-4526-3. <a href="#fnref:24" class="footnote-back-ref">↩</a></p></li>
<li id="fn:25"><p>Geom. Topol. 2012, pp. 1393–1411. - Masbaum, Gregor; Reid, Alan W. (2012). "All finite groups are involved in the mapping class group". Geometry & Topology. 16 (3): 1393–1411. arXiv:1106.4261. doi:10.2140/gt.2012.16.1393. MR 2967055. S2CID 17330187. <a href="https://arxiv.org/abs/1106.4261" target="_blank">https://arxiv.org/abs/1106.4261</a> <a href="#fnref:25" class="footnote-back-ref">↩</a></p></li>
<li id="fn:26"><p>Duke Math. J. 2001, pp. 581–597. - Farb, Benson; Lubotzky, Alexander; Minsky, Yair (2001). "Rank-1 phenomena for mapping class groups". Duke Mathematical Journal. 106 (3): 581–597. doi:10.1215/s0012-7094-01-10636-4. MR 1813237. <a href="https://doi.org/10.1215%2Fs0012-7094-01-10636-4" target="_blank">https://doi.org/10.1215%2Fs0012-7094-01-10636-4</a> <a href="#fnref:26" class="footnote-back-ref">↩</a></p></li>
</ol>

Mapping class group of a surface open-in-new

Mapping class group of a surface