
топология / Farb, Margalit, A primer on mapping class groups
.pdf
A primer on mapping class groups Version 4.08


A primer on mapping class groups
Version 4.08
Benson Farb and Dan Margalit
PRINCETON UNIVERSITY PRESS
PRINCETON AND OXFORD


Contents
Preface |
ix |
0. Overview |
1 |
PART 1. MAPPING CLASS GROUPS |
13 |
||
1. |
Curves, surfaces, and hyperbolic geometry |
15 |
|
|
1.1 |
Surfaces and hyperbolic geometry |
15 |
|
1.2 |
Simple closed curves |
21 |
|
1.3 |
The Change of Coordinates Principle |
36 |
|
1.4 |
Three facts about homeomorphisms |
40 |
2. |
Mapping class group basics |
43 |
|
|
2.1 |
Definition and first examples |
43 |
|
2.2 |
Computations of the simplest mapping class groups |
46 |
|
2.3 |
The Alexander Method |
58 |
3. |
Dehn twists |
64 |
|
|
3.1 |
Definition and nontriviality |
64 |
|
3.2 |
Dehn twists and intersection numbers |
69 |
|
3.3 |
Basic facts about Dehn twists |
72 |
|
3.4 |
Relations between two Dehn twists |
82 |
4. |
The Dehn–Nielsen–Baer Theorem |
89 |
|
|
4.1 |
Quasi-isometry proof |
92 |
|
4.2 |
Two other viewpoints |
106 |
5. |
Generating the mapping class group |
110 |
|
|
5.1 |
The complex of curves |
113 |
|
5.2 |
The Birman Exact Sequence |
118 |
|
5.3 |
Proof of finite generation of Mod(S) |
126 |
|
5.4 |
Explicit sets of generators |
129 |
6. |
Presentations and low-dimensional homology |
138 |
|
|
6.1 |
The lantern relation and H1(Mod(S); Z) |
138 |
|
6.2 |
Presentations for the mapping class group |
146 |
|
6.3 |
Proof of finite presentability |
155 |

vi |
|
|
CONTENTS |
|
6.4 |
Hopf's formula and H2(Mod(S); Z) |
162 |
|
6.5 |
The Euler class |
169 |
|
6.6 |
Surface bundles and the Meyer signature cocycle |
176 |
7. |
Torsion |
185 |
|
|
7.1 |
Finite order mapping classes versus finite order homeomo rphisms |
185 |
|
7.2 |
Orbifolds, the 84(g − 1) theorem, and the 4g + 2 theorem |
187 |
|
7.3 |
Conjugacy classes of finite subgroups of the mapping clas s group |
200 |
|
7.4 |
Generating the mapping class group with torsion |
202 |
8. |
The symplectic representation |
204 |
|
|
8.1 |
Algebraic intersection number as a symplectic form |
204 |
|
8.2 |
Mapping classes as symplectic automorphisms |
210 |
|
8.3 |
Congruence subgroups, torsion-free subgroups, and residual finiteness |
220 |
|
8.4 |
The Torelli group |
225 |
9. |
Braid groups |
245 |
|
|
9.1 |
The braid group: three perspectives |
245 |
|
9.2 |
Basic algebraic structure of the braid group |
251 |
|
9.3 |
The pure braid group |
255 |
|
9.4 |
Braid groups and symmetric mapping class groups |
258 |
|
|
¨ |
267 |
PART 2. TEICHMULLER SPACE AND MODULI SPACE |
|||
10.Teichm ¨uller space |
269 |
||
|
10.1 |
Definition of Teichm ¨uller space |
269 |
|
10.2 |
The algebraic topology |
274 |
|
10.3 |
Two dimension counts |
276 |
|
10.4 |
The Teichm ¨uller space of a pair of pants |
280 |
|
10.5 |
Fenchel–Nielsen Coordinates |
284 |
|
10.6 |
Twist parameters, continuity, and convexity |
292 |
11.Teichm ¨uller geometry |
300 |
||
|
11.1 |
Measured foliations |
305 |
|
11.2 |
Holomorphic quadratic differentials |
314 |
|
11.3 |
Teichm ¨uller's theorems |
325 |
|
11.4 |
Gr¨otzsch's problem |
329 |
|
11.5 |
Proof of Teichm ¨uller's uniqueness theorem |
331 |
|
11.6 |
Proof of Teichm ¨uller's existence theorem |
334 |
|
11.7 |
The Teichm ¨uller metric |
341 |
|
11.8 |
Surfaces with punctures and boundary |
345 |
12.Moduli space |
348 |
||
|
12.1 |
Moduli space as a quotient of Teichm ¨uller space |
348 |
|
12.2 |
Moduli space of the torus |
351 |
|
12.3 |
Proper discontinuity of the mapping class group action |
354 |
|
12.4 |
Mumford's compactness criterion |
361 |

CONTENTS |
vii |
|
12.5 |
The topology of moduli space at infinity |
365 |
PART 3. THE CLASSIFICATION AND PSEUDO-ANOSOV THEORY |
369 |
|
13.The Nielsen–Thurston Classification |
371 |
|
13.1 |
The classification for the torus |
372 |
13.2 |
Three types of mapping classes |
374 |
13.3 |
Statement of the Classification |
379 |
13.4 |
Proof of the classification theorem |
382 |
14.Pseudo-Anosov theory |
392 |
|
14.1 |
Five constructions |
393 |
14.2 |
Dilatations |
404 |
14.3 |
Properties of the foliations Fs and Fu |
407 |
14.4 |
Orbits |
412 |
14.5 |
Iteration |
416 |
14.6 |
Markov partitions |
420 |
15.Thurston's proof |
423 |
|
15.1 |
The famous example |
423 |
15.2 |
A sketch of the general theory |
429 |
Bibliography |
435 |
|
Index |
|
449 |

viii |
CONTENTS |
To Amie and Kathleen.

Preface
In the Winter quarter of 2001, the first author gave a graduate course on mapping class groups at the University of Chicago. His (then) graduate student, the second author, took detailed notes, and the project grew into this text.
Our goal here is to explain as many important theorems, examples, and techniques as possible, as quickly and directly as possible, while at the same time giving (nearly) full details and keeping the text (nearly) self-contained. This book contains some simplifications of known approaches and proofs, the exposition of some results that are not readily available, and some new material as well. We have tried to incorporate many of the “gr eatest hits” of the subject, as well as its small quirks.
These notes should be viewed as a first pass through the theory ; in particular there are important topics not covered here. Most notable among these is the theory of measured laminations and the Thurston compactification of Teichm ¨uller space; these are discussed briefly in Chapte r 15 but are not given a full treatment.
There are a number of other references that cover various of the topics we cover here (and more). We would especially like to mention the books by Abikoff [1], Birman [20], Casson–Bleiler [40], Fathi–Laud enbach–Po´enaru [54], and Hubbard, as well as the survey papers by Harer [72] and Ivanov [88]. The works of Bers on Teichm ¨uller's theorems and on the Nielsen– Thurston classification theorem are particularly influenti al on this book [11, 12].
The first author learned much of what he knows about these topi cs from his advisor Bill Thurston, his teacher Curt McMullen, and his collaborators Lee Mosher and Howard Masur. This book in particular owes a debt to notes he took from a course given by McMullen at Berkeley in 1991.
Benson Farb and Dan Margalit
Chicago and Boston, May 2009

x |
PREFACE |
Acknowledgments
We would like to thank Mohammed Abouzaid, Yael Algom-Kfir, Je ssica Banks, Mark Bell, Joan Birman, Jeff Brock, Xuanting Cai, Pallavi Dani, Florian Deloup, John Franks, Siddhartha Gadgil, Bill Goldman, Michael Handel, John Harer, Peter Horn, Nikolai Ivanov, Jamie Jorgensen, Krishna Kaipa, Keiko Kawamuro, Richard Kent, Sarah Kitchen, Mustafa Korkmaz, Feng Luo, Joseph Maher, Kathryn Mann, Howard Masur, Jon McCammond, Curt McMullen, Ben McReynolds, Guido Mislin, Lee Mosher, Ziggy Nitecki, Jeremy Pecharich, Simon Rose, Keefe San Agustin, Travis Schedler, Paul Seidel, Ignat Soroko, Steven Spallone, Harold Sultan, Macky Suzuki, Genevieve Walsh, Richard Webb, Alexander Wickens, Bert Wiest, Jenny Wilson, Rebecca Winarski, Stefan Witzel, Kevin Wortman, Alex Wright, and Bruno Zimmermann for comments, questions, and insights.
We would like to thank Robert Bell, Tara Brendle, Jeff Carlson, Meredith Casey, Tom Church, Spencer Dowdall, Moon Duchin, David Dumas, Jeff Frazier, Daniel Groves, Asaf Hadari, Thomas Koberda, Justin Malestein, Johanna Mangahas, Erika Meucci, Catherine Pfaff, Kasra Rafi , and Saul Schleimer for thorough comments on large portions of the book.
We are especially indebted to Mladen Bestvina, Ken Bromberg, Allen Hatcher, Chris Leininger, and Andy Putman for extensive discussions on the material
in this book.
The first author would like to thank the second author for ever ything he has done to bring this project to its current form. His hard work, thorough understanding of the material, and ability to simplify proofs and explain concepts clearly, has been invaluable. The first author would also lik e to thank the second author for all he has taught him about mapping class groups.
The second author would like to thank the first author for intr oducing him to and teaching him about the subject of mapping class groups, and for the opportunity to work on this project together. The first autho r's enthusiasm, vision, and mathematical wisdom are both a joy and an inspiration. The second author would also like to thank the University of Utah for its support during the writing of this book.