---
tag: BG3EH18KRE
kind: statement
role: theorem
name: Dehn–Lickorish theorem
msc: [57K20, 20F65]
uses: [W890NRHGS4, JV5NYG913V, NJ787GZS1N, VGJJVBZ1MQ]
about: [JV5NYG913V, W890NRHGS4]
sources:
  - url: https://en.wikipedia.org/wiki/Dehn_twist
---

## Statement

Let $g \ge 1$ and let $S_g$ be a closed orientable [[surface|VGJJVBZ1MQ]] of [[genus|NJ787GZS1N]] $g$.
Let $\operatorname{Mod}(S_g)$ be its [[mapping class group|JV5NYG913V]], the group of isotopy classes of orientation-preserving homeomorphisms of $S_g$.
Then $\operatorname{Mod}(S_g)$ is generated by finitely many [[Dehn twists|W890NRHGS4]] about non-separating simple closed curves.
More precisely, Dehn twists about $3g - 1$ suitable curves suffice.

## Remarks

Dehn proved that finitely many twists generate the group, and Lickorish later gave the explicit set of $3g - 1$ curves.
Humphries reduced the number to $2g + 1$, which is the smallest possible for $g \ge 2$.
Idea of the proof: argue by induction on the genus with the curve complex or a connected graph of non-separating curves.
Two non-separating curves can be joined by a chain of curves, each meeting the next in one point.
Twists along such chains move any non-separating curve to a fixed one.
This reduces the problem to the stabiliser of one curve, which is related to the mapping class group of a surface of smaller complexity.

The theorem at work: for $g = 1$ the mapping class group of the torus is $SL(2, \Z)$, acting on $H_1(T^2; \Z) = \Z^2$.
The twists about the two standard curves act by $\begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix}$ and $\begin{pmatrix} 1 & 0 \\ -1 & 1 \end{pmatrix}$, and these two matrices generate $SL(2, \Z)$.
For $g = 0$ the mapping class group of the sphere is trivial.

## Explanations

### L1 human

The ways to deform a closed surface onto itself, counted up to continuous wiggling, form a group.
The theorem says that every such deformation is a composition of a few basic moves, twists along loops.
For a surface with $g$ holes, $3g - 1$ fixed loops are enough.

### L2 human

Finite generation by twists is the starting point of most work on mapping class groups.
It is the starting point for finite presentations of the group, and it lets one compute its abelianization, which is trivial for $g \ge 3$.
It is the key step in the proof of the [[Lickorish–Wallace theorem|1YP4RF1QXV]].
There a Heegaard gluing map is written as a product of twists, and each twist is realised by surgery on a curve.
It is also used to show that the action on homology maps $\operatorname{Mod}(S_g)$ onto the symplectic group $Sp(2g, \Z)$.