Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

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

.pdf
Скачиваний:
44
Добавлен:
16.04.2015
Размер:
3.31 Mб
Скачать

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.

Соседние файлы в папке топология