18857
18857
com
https://ebookname.com/product/teichmuller-theory-
volume-2-surface-homeomorphisms-and-rational-functions-1st-
edition-john-h-hubbard/
OR CLICK HERE
DOWLOAD EBOOK
https://ebookname.com/product/orthogonal-rational-functions-1st-
edition-adhemar-bultheel/
https://ebookname.com/product/lectures-in-logic-and-set-theory-
volume-2-set-theory-1st-edition-george-tourlakis/
https://ebookname.com/product/complex-functions-
examples-c-2-analytic-functions-1st-edition-edition-mejlbro-l/
https://ebookname.com/product/international-financial-reporting-
standards-a-practical-guide-5th-ed-edition-hennie-van-greuning/
Medieval Modal Systems Problems and Concepts 1° Edition
Paul Thom
https://ebookname.com/product/medieval-modal-systems-problems-
and-concepts-1-edition-paul-thom/
https://ebookname.com/product/a-college-course-on-relativity-and-
cosmology-1st-edition-ta-pei-cheng/
https://ebookname.com/product/trade-in-zimbabwe-changing-
incentives-to-enhance-competitiveness-1st-edition-richard-
newfarmer/
https://ebookname.com/product/mortal-secrets-truth-and-lies-in-
the-age-of-aids-1st-edition-robert-klitzman/
https://ebookname.com/product/kierkegaard-on-sin-and-salvation-
from-philosophical-fragments-through-the-two-ages-1st-edition-w-
glenn-kirkconnell/
Advanced Methods And Tools for ECG Data Analysis 1st
Edition Gari D. Clifford
https://ebookname.com/product/advanced-methods-and-tools-for-ecg-
data-analysis-1st-edition-gari-d-clifford/
8
The classification of homeomorphisms
of surfaces
In this chapter we present and prove the first of Thurston’s theorems involv-
ing Teichmüller spaces: the classification of homeomorphisms of surfaces,
Theorem 8.1.3.
Understanding homeomorphisms and di↵eomorphisms of manifolds is a
central problem of mathematics. Already understanding homeomorphisms
and di↵eomorphisms of the circle is an immensely difficult problem with
a huge literature. The 2-dimensional case is much harder yet; Thurston’s
theorem is probably the main result in the field. The theorem concerns
homeomorphisms up to homotopy, so it is in some sense crude, avoiding
all delicate local study; in exchange, it provides vital global information.
Moreover, the group of homotopy classes of homeomorphisms, also known
as the mapping class group, is of central interest in geometric group theory.
Here also Thurston’s theorem is of fundamental importance.
We will present a proof due to Bers [12], which is more in keeping with
the style of this book than Thurston’s proof. Thurston’s proof has been
given in considerable detail by Fathi, Laudenbach, and Poenaru [40]; it is
much longer and more elaborate.1
Thurston classifies homeomorphisms into three types: periodic, reduc-
ible, and pseudo-Anosov. This terminology is inspired by the classification
of homeomorphisms of the torus.
in
Definition 8.1.1 (Classification of homeomorphisms of surfaces)
Let S be a compact surface of genus g 2, and let f : S ! S be an
orientation-preserving homeomorphism. The map f is
1. periodic if the iterate f m
is the identity for some m 1
2. reducible if f is not homotopic to a periodic homeomorphism, and
some nonempty multicurve is invariant under f (such a multicurve
is called a reducing multicurve)
3. pseudo-Anosov if there exist an element ' : S ! X of Teichmüller
space TS , a holomorphic quadratic di↵erential q 2 Q(X), and
K > 1 such that ' f ' 1 is a Teichmüller mapping
(X, q) ! (X, q/K); see Definition 5.3.6
1 1
1/K
(X, q/K)
1
1
p
K
p
(X, q) K
p p
K 1/ K
(X, q)
in
Proposition 8.1.2 A pseudo-Anosov homeomorphism and a reducible
homeomorphism cannot be homotopic.
The object of this chapter is to prove the following theorem, which will
be proved in Section 8.4.
in
Theorem 8.1.3 (Classification of homeomorphisms of compact
surfaces) Let S be a compact oriented surface of genus g, and let
f : S ! S be an orientation-preserving homeomorphism. Then the map
f is homotopic either to a periodic homeomorphism, or to a reducible
homeomorphism, or to a pseudo-Anosov homeomorphism.
Periodic homeomorphisms
Let S be a compact oriented surface, with finite subset Z ⇢ S. Let
⇢ ⇡1 (S Z) be a normal subgroup of finite index, and let p : S ! S Z
be the corresponding covering map. The surface S can be compactified
by adding appropriate points above points of Z; let S be the resulting
surface, and let p : S ! S be the extension of p; this extension p is now a
ramified covering map. The deck transformations form a group isomorphic
to ⇡1 (S Z)/ . All elements of this group are periodic homeomorphisms
of S , and this construction yields all examples, for appropriate S, Z, .
It is not hard to find (lots of) normal subgroups of finite index. But
understanding what one has found is a di↵erent matter: counting and clas-
sifying the conjugacy classes of normal subgroups of index n in the free
group on m generators is an important and difficult problem in geometric
group theory.
Dehn multi-twists
To give examples of reducible and pseudo-Anosov homeomorphisms we first
introduce Dehn multi-twists. Dehn twists were defined in Appendix A2,
but here we will work with the piecewise linear definition of equation A2.2
rather than the smooth Dehn twist of Proposition and Definition A2.2.
Let be a simple closed curve on an oriented surface X, and let C ⇢ X
be a closed neighborhood of . Choose an orientation-preserving homeo-
morphism : R/Z ⇥ [0, 1] ! C. Define
in
Definition 8.2.1 (Dehn twist) The Dehn twist D 2 MCG(X) is
the isotopy class of the map X ! X given by
⇢
x if x 2
/C
x 7! 8.2.2
g 1
(x) if x 2 C.
Figure 8.2.1 Left: A blue horizontal band crossing C (the tan); the curve is
gold. Right: The image of the band under the metric Dehn twist D . On both
boundary components of C, the band veers to the right under the twist.
Since g is the identity on @(R/Z ⇥ [0, 1]) = R/Z ⇥ {0, 1}, the map defined
by equation 8.2.2 is continuous, in fact a homeomorphism. Of course, this
map, called a metric Dehn twist, depends on the choice of C and . But
the Dehn twist of Definition 8.2.1 is an isotopy class, and depends only on
the homotopy class of the curve ; see Proposition and Definition A2.2.
Exercise 8.2.2 Show that if and are disjoint simple closed curves on
X, then D D is homotopic to D D . Show that if you choose the
neighborhoods of and disjoint, then D D = D D . }
Remarks
1. One can easily imagine a twist map that twists in the opposite di-
rection. You might think – I did for many years – that the direction
depends on an orientation for the curve . Recall (Remark 7.6.2)
that this is not the case! The construction of the Dehn twist de-
pends only on an orientation for X. Our D has the property that
as you approach the boundary of C from X C, you veer to the
right. This is true for both components of @C.
2. Dehn twists are the easiest homotopy classes of homeomorphisms
to imagine, though their compositions rapidly become inextricably
complicated when the corresponding curves intersect. It is known
[65] that on a surface of genus g one can choose 2g + 2 Dehn twists
that generate the mapping class group; the relations between the
generators are also known. 4
Because the (homotopy classes of) Dehn twists around disjoint curves
commute, we can also define the Dehn multi-twist around a multicurve.
In Definition 3.6.1 we defined a multicurve on a surface S as a family
of simple closed curves on S whose elements are disjoint, with no two ho-
motopic to each other, and none homotopic to a point. We now add the
hypothesis that all of the curves 2 are nonperipheral, since a Dehn
twist D with peripheral is the identity of the mapping class group, so
D contributes nothing to the mapping class group.
in
Definition 8.2.3 (Nonperipheral curve) A curve on a surface X
is nonperipheral if there exists a compact subset K ⇢ X with K 6= X
such that any 0 homotopic to satisfies 0 \ K 6= ;.
in
Definition 8.2.5 (Dehn multi-twist) Let := { 1 , . . . , k } be a
multicurve. The Dehn multi-twist around is the element of MCG(X)
given by
D := D 1 · · · D k. 8.2.3
of all the vertices in Z2 ; see Figure 8.3.1. Double X along its boundary
to make the surface X := X [ X/ e ⇠, where X e is a second copy of X,
given the opposite of the orientation of X to make X oriented. Then X is
a Riemann surface isomorphic to the Riemann sphere. There is a natural
map ⇡ : X ! X that is the identity on both X and X. e
If you denote by z the natural coordinate of C, then the quadratic di↵er-
ential dz 2 on X and the quadratic di↵erential dz̄ 2 on Xe together define a
quadratic di↵erential q on X, with simple poles at the angles ⇡/2 of X, and
simple zeros at the angles 3⇡/2. The standard formula of plane geometry
X
(⇡ ↵i ) = 2⇡ 8.3.1
angles ↵i of X
gives
X ⇡ X ⇡
= 2⇡, 8.3.2
2 2
poles of q zeros of q
becomes a zero
in X
become poles in X
Figure 8.3.1 The polygon X can be doubled on its boundary to make a Riemann
surface X isomorphic to the Riemann sphere and then a double cover X. b The
quadratic form on X has 10 poles and 6 zeros, and the Riemann surface X b is a
1
double cover of P ramified at 16 points, hence has genus 7, by equation 8.3.5.
!
!
c b
c
b
Figure 8.3.2 Left: A trajectory on the double X of X, with the two sheets
superposed. Right: If we unfold an edge, the trajectory becomes straight in the
resulting flat surface.
in
Proposition 8.3.1 The maps
p01 p0n
F := D1p1 · · · Dkpk and G := D10 · · · Dn0 8.3.3
are affine in the natural coordinates of q.
similar for the vertical annuli A0j , but this time, the derivative of each of
p0 1 0
the Dj0 j is given by the matrix . ⇤
m0 1
b = # (poles of q) + # (zeros of q)
g(X) 1. 8.3.5
2
For instance, if we had chosen our polygon X in Figure 8.3.1 to be a rec-
tangle, q would have four poles and no zeros, so X b would have genus 1.
Working on X b puts us in the realm of compact surfaces and holomorphic
quadratic di↵erentials (in fact, squares of complex 1-forms, also known as
Abelian di↵erentials), although it is often more convenient to carry out the
computations on X, or even in X directly.
The meromorphic quadratic di↵erential q lifts as a holomorphic quadratic
b This is easiest to see in terms of prongs (see Figure
di↵erential q̃ on X.
5.3.1): at a simple pole q has one prong, and hence at the corresponding
point of Xb the quadratic di↵erential q̃ has two prongs, so at that point q̃
has neither a zero or a pole.
Moreover, the inverse images of the annuli in X always consist of two
annuli, each of which maps by a homeomorphism, since q is orientable in
each annulus. So we can lift F and G to Fe and G e as metric Dehn twists in
each of these annuli, hence as maps that are affine in the natural coordinates
of q̃. Their compositions are pseudo-Anosov as above.
2 2 00
H1 H2 00 2
2 0
0 2
2
1 1 3
H3 H4
1 1
Exercise 8.3.2 Show that there exists N such that all entries of the
matrix (M >M )N are strictly positive. Hint: Say that the curves 0 and
00
are “1-connected” if they both intersect some element of , and that
they are “N -connected” if there exists a chain 0 , 1 , . . . , N with 0 = 0
and N = 00 , such that i , i+1 are 1-connected for all i = 0, . . . , N 1.
Show that the i, jth entry of (M >M )N is the number of chains of length
2N connecting i to j (i.e., the number of ways in which i and j are
N -connected). }
in
Theorem 8.3.3 (Pseudo-Anosov maps as compositions of Dehn
twists) Let two multicurves and form a web. If > 4, then each
word in the group generated by D and D is isotopic to a pseudo-
Anosov homeomorphism, except for conjugates of the powers of the gen-
erators.
We will illustrate the proof at each step with the special case shown
in Figure 8.3.4, underlining the symbols relevant to the example of Figure
8.3.4 and leaving plain the symbols relevant to the general case.
Proof By the Perron-Frobenius theorem, there is a vector v 2 Rl with
strictly positive entries that is an eigenvector of M > M for the eigenvalue
. Let µ be the positive square root of . Set
Mv
w := 2 Rk ; 8.3.7
µ
then w is an eigenvector of M M > with eigenvalue3 . The vector w has
strictly positive entries, and satisfies M > w = µv.
In the case of Figure 8.3.4, we have
2 3
1 2 1
> 4 4 p
M M= >
, MM = 4 2 8 2 5 , = 5 + 17, 8.3.8
4 6
1 2 1
2 p 3
1 + 17
4p 1 p
v=
1 + 17
, w= p p 4 10 + 2p 17 5 . 8.3.9
1 + 17 1 + 17
Now consider the graph A dual to [ . This is the graph that has a
vertex in each component of
0 1
k
[ l
[
S @ i [ j
A, 8.3.10
i=1 j=1
with an edge joining each vertex to the “middle of” each arc of i or j in
its boundary, as shown in Figure 8.3.5. Let A be the union of the edges
intersecting -curves (i.e., the i ), and let A be the union of the edges
intersecting -curves.
Our hypothesis that and together form a web says that each compo-
nent of S A is a quadrilateral, with two sides intersecting a curve in and
The eigenvalues for M > M and M M > are the same, except that if one matrix
3
2 5
6 3
3 2
1 4 4
1 5
6
Figure 8.3.5 We can represent each quadrant of S as a hexagon with six spokes
going from the center to the middle of each edge; here we illustrate this for the
upper left hexagon, marked H1 in Figure 8.3.4. Left: The spokes emanating
from the purple circle (of which only the front is visible) are gold if they go to
a red edge ( 1 or 2 ), green if they go to a blue edge (a i ). The spokes going
around the back are fainter and are marked with italic numbers. Right: The
corresponding graph. The graph A is the union of four such “pinwheels” (the
graph at right minus the blue and red sides). Every spoke is half an edge, so we
have twelve edges and four vertices; six edges belonging to A and six to A .
v2
Figure 8.3.7 Turning the
2 2 left-most quadrilateral of
w1 Figure 8.3.6 into an ordinary
1 rectangle with width v2 and
1
height w1 . It becomes the
left cylinder in Figure 8.3.8.
Note that the circumference of the cylinder around i is given by the ith
entry of M v. In Figure 8.3.8:
2 3 2 3
0 1 v2
v
M v = 4 2 2 5 1 = 4 2v 1 + 2v 2 5 8.3.11
v2
0 1 v2
(The values for the entries of v are given in equation 8.3.9.)
2v 1 + 2v 2 = (M v)2
v 2 = (M v)1 #
v 2 = (M v)3
# #
w1 w2 w3
1 2 3
2 2
1 2 1
2
Figure 8.3.8 The three cylinders surrounding the core curves i 2 of Figure
8.3.4. The cylinder at left corresponds to the rectangle of Figure 8.3.7; that at
right corresponds to the quadrilateral at the right of Figure 8.3.6. Both have cir-
cumference v 2 . The middle cylinder corresponds to the four middle quadrilaterals
of Figure 8.3.6; imagine turning each into an ordinary rectangle and gluing them
together. All have height w2 , two have width v 1 , and two have width v 2 , so this
cylinder has circumference 2v 1 + 2v 2 .
Our website is not just a platform for buying books, but a bridge
connecting readers to the timeless values of culture and wisdom. With
an elegant, user-friendly interface and an intelligent search system,
we are committed to providing a quick and convenient shopping
experience. Additionally, our special promotions and home delivery
services ensure that you save time and fully enjoy the joy of reading.
ebookname.com