Riemann Surfaces, Dynamics and Geometry: Course Notes C. Mcmullen October 7, 2020
Riemann Surfaces, Dynamics and Geometry: Course Notes C. Mcmullen October 7, 2020
geometry
Course Notes
C. McMullen
October 7, 2020
Contents
1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1 Examples of hyperbolic manifolds . . . . . . . . . . . . . 3
1.2 Examples of rational maps . . . . . . . . . . . . . . . . . 9
1.3 Classification of dynamical systems . . . . . . . . . . . . . 15
2 Geometric function theory . . . . . . . . . . . . . . . . . . . . . . 19
2.1 The hyperbolic metric . . . . . . . . . . . . . . . . . . . . 19
2.2 Extremal length . . . . . . . . . . . . . . . . . . . . . . . 21
2.3 Extremal length and quasiconformal mappings . . . . . . 24
2.4 Aside: the Smale horseshoe . . . . . . . . . . . . . . . . . 24
2.5 The Ahlfors-Weill extension . . . . . . . . . . . . . . . . . 25
3 Teichmüller theory via geometery . . . . . . . . . . . . . . . . . . 28
3.1 Teichmüller space . . . . . . . . . . . . . . . . . . . . . . 28
3.2 Fenchel-Nielsen coordinates . . . . . . . . . . . . . . . . . 29
3.3 Geodesic currents . . . . . . . . . . . . . . . . . . . . . . . 31
3.4 Laminations . . . . . . . . . . . . . . . . . . . . . . . . . . 38
3.5 Symplectic geometry of Teichmüller space . . . . . . . . . 42
4 Teichmüller theory via complex analysis . . . . . . . . . . . . . . 44
4.1 Teichmüller space . . . . . . . . . . . . . . . . . . . . . . 44
4.2 The Teichmüller space of a torus . . . . . . . . . . . . . . 45
4.3 Quadratic differentials . . . . . . . . . . . . . . . . . . . . 47
4.4 Measured foliations . . . . . . . . . . . . . . . . . . . . . . 48
4.5 Teichmüller’s theorem . . . . . . . . . . . . . . . . . . . . 51
4.6 The tangent and cotangent spaces to Teichmüller space . 53
4.7 A novel formula for the Poincaré metric . . . . . . . . . . 55
4.8 Teichmüller mappings for the 4–times punctured sphere . 55
4.9 The Kobayashi metric . . . . . . . . . . . . . . . . . . . . 57
4.10 Moduli space . . . . . . . . . . . . . . . . . . . . . . . . . 58
4.11 The mapping-class group . . . . . . . . . . . . . . . . . . 59
4.12 Counterexamples . . . . . . . . . . . . . . . . . . . . . . . 60
4.13 Bers embedding . . . . . . . . . . . . . . . . . . . . . . . . 61
4.14 Conjectures on the Bers embedding . . . . . . . . . . . . 64
4.15 Quadratic differentials and interval exchanges . . . . . . . 64
4.16 Unique ergodicitiy for quadratic differentials . . . . . . . 66
4.17 Hodge theory . . . . . . . . . . . . . . . . . . . . . . . . . 69
5 Dynamics of rational maps . . . . . . . . . . . . . . . . . . . . . 70
5.1 Dynamical applications of the hyperbolic metric . . . . . 70
5.2 Basic properties of the Julia set. . . . . . . . . . . . . . . 72
5.3 Univalent maps . . . . . . . . . . . . . . . . . . . . . . . . 73
5.4 Periodic points . . . . . . . . . . . . . . . . . . . . . . . . 74
5.5 Classification of periodic regions . . . . . . . . . . . . . . 78
5.6 The postcritical set . . . . . . . . . . . . . . . . . . . . . . 80
5.7 Expanding rational maps . . . . . . . . . . . . . . . . . . 82
5.8 Density of expanding dynamics . . . . . . . . . . . . . . . 83
5.9 Quasiconformal maps and vector fields . . . . . . . . . . . 83
5.10 Deformations of rational maps . . . . . . . . . . . . . . . 88
5.11 No wandering domains . . . . . . . . . . . . . . . . . . . . 90
5.12 Finiteness of periodic regions . . . . . . . . . . . . . . . . 91
5.13 The Teichmüller space of a dynamical system . . . . . . . 91
5.14 The Teichmüller space of a rational map . . . . . . . . . . 95
5.15 The modular group of a rational map . . . . . . . . . . . 98
6 Hyperbolic 3-manifolds . . . . . . . . . . . . . . . . . . . . . . . . 100
6.1 Kleinian groups and hyperbolic manifolds . . . . . . . . . 100
6.2 Ergodicity of the geodesic flow . . . . . . . . . . . . . . . 101
6.3 Quasi-isometry . . . . . . . . . . . . . . . . . . . . . . . . 102
6.4 Quasiconformal maps . . . . . . . . . . . . . . . . . . . . 104
6.5 Quasi-isometries become quasiconformal at infinity . . . . 106
6.6 Mostow rigidity . . . . . . . . . . . . . . . . . . . . . . . . 107
6.7 Rigidity in dimension two . . . . . . . . . . . . . . . . . . 108
6.8 Geometric limits . . . . . . . . . . . . . . . . . . . . . . . 109
6.9 Promotion . . . . . . . . . . . . . . . . . . . . . . . . . . . 111
6.10 Ahlfors’ finiteness theorem . . . . . . . . . . . . . . . . . 112
6.11 Bers’ area theorem . . . . . . . . . . . . . . . . . . . . . . 116
6.12 No invariant linefields . . . . . . . . . . . . . . . . . . . . 117
6.13 Sullivan’s bound on cusps . . . . . . . . . . . . . . . . . . 121
6.14 The Teichmüller space of a 3-manifold . . . . . . . . . . . 122
6.15 Hyperbolic volume . . . . . . . . . . . . . . . . . . . . . . 123
7 Holomorphic motions and structural stability . . . . . . . . . . . 125
7.1 The notion of motion . . . . . . . . . . . . . . . . . . . . 126
7.2 Stability of the Julia set . . . . . . . . . . . . . . . . . . . 127
7.3 Extending holomorphic motions . . . . . . . . . . . . . . . 129
7.4 Stability of Kleinian groups . . . . . . . . . . . . . . . . . 131
7.5 Cusped tori . . . . . . . . . . . . . . . . . . . . . . . . . . 135
7.6 Structural stability of rational maps . . . . . . . . . . . . 140
7.7 Postcritical stability . . . . . . . . . . . . . . . . . . . . . 142
7.8 No invariant line fields . . . . . . . . . . . . . . . . . . . . 145
7.9 Centers of hyperbolic components . . . . . . . . . . . . . 146
8 Iteration on Teichmüller space . . . . . . . . . . . . . . . . . . . 147
8.1 Critically finite rational maps . . . . . . . . . . . . . . . . 147
8.2 Rigidity of critically finite rational maps . . . . . . . . . . 147
8.3 Branched coverings . . . . . . . . . . . . . . . . . . . . . . 151
8.4 Combinatorial equivalence and Teichmüller space . . . . . 153
8.5 Iteration on Teichmüller space . . . . . . . . . . . . . . . 153
8.6 Thurston’s algorithm for real quadratics . . . . . . . . . . 156
8.7 Annuli in Euclidean and hyperbolic geometry . . . . . . . 157
8.8 Invariant curve systems . . . . . . . . . . . . . . . . . . . 160
8.9 Characterization of rational maps . . . . . . . . . . . . . . 161
8.10 Notes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 165
8.11 Appendix: Kneading sequences for real quadratics . . . . 167
9 Hausdorff dimension of Julia sets . . . . . . . . . . . . . . . . . . 167
9.1 Quadratic polynomials . . . . . . . . . . . . . . . . . . . . 167
3
9.2 Hausdorff dimension . . . . . . . . . . . . . . . . . . . . . 169
9.3 Eigenfunctions and Hausdorff measures . . . . . . . . . . 171
9.4 Thermodynamics . . . . . . . . . . . . . . . . . . . . . . . 172
9.5 Dimension of Julia sets . . . . . . . . . . . . . . . . . . . 179
10 Teichmüller theory and the Shafarevich conjecture . . . . . . . . 183
10.1 Holomorphic maps contract . . . . . . . . . . . . . . . . . 184
10.2 The theme of short geodesics. . . . . . . . . . . . . . . . . 185
10.3 Review of Kleinian groups . . . . . . . . . . . . . . . . . . 185
10.4 Quasifuchsian groups . . . . . . . . . . . . . . . . . . . . . 186
10.5 Classification of surface groups . . . . . . . . . . . . . . . 187
10.6 Rigidity . . . . . . . . . . . . . . . . . . . . . . . . . . . . 189
11 Geometrization of 3-manifolds . . . . . . . . . . . . . . . . . . . . 190
11.1 Topology of hyperbolic manifolds . . . . . . . . . . . . . . 190
11.2 The skinning map . . . . . . . . . . . . . . . . . . . . . . 192
11.3 The Theta conjecture . . . . . . . . . . . . . . . . . . . . 193
1 Introduction
This course will concern the interaction between:
• hyperbolic geometry in dimensions 2 and 3;
• the dynamics of iterated rational maps; and
• the theory of Riemann surfaces and their deformations.
One can also compare the situation for manifolds of dimension 2. Closed,
orientable surfaces are classified by their genus g = 0, 1, 2, . . . and they always
admit metrics of constant curvature. For the sphere (g = 0) this metric is (es-
sentially) unique, but for the torus there is already a moduli space (H/ SL2 (Z)).
Any surface of genus g ≥ 2 admits a complex structure, depending on 3g − 3
complex parameters, and each complex structure has a unique compatible hy-
perbolic metric.
Teichmüller space parameterizes these structures and will play a crucial role
in the construction of rational maps and 3-manifolds with prescribed topology.
1
For 3-manifolds our goal is to understand some examples of hyperbolic man-
ifolds, prove Mostow rigidity and related results, and give an idea of Thurston’s
construction of hyperbolic structures on Haken manifolds.
Dynamical systems. Any hyperbolic 3-manifold M gives rise to a conformal
dynamical system by considering the action of π1 (M ) on Cb thought of as the
3 + 3
sphere at infinity for H . We have Isom (H ) = Aut(C) b = PSL2 (C).
Iterated rational maps provide another source of conformal dynamics on the
Riemann sphere. These maps exhibit both expanding and contracting features.
For example, let
f :Cb →C b
Theorem 1.3 (Critically finite rigidity) Let f and g be rational maps all of
whose critical points are preperiodic. Then with rare exceptions, any topological
conjugacy between f and g can be deformed to a conformal conjugacy. (In the
exceptional cases, f and g are double-covered by an endomorphism of a torus.)
On the other hand, Thurston has also given a geometrization theorem char-
acterizing rational maps among branched covers of the sphere. The method of
proof parallels the more difficult geometrization result for Haken 3-manifolds.
Understanding the case of rational maps is good preparation for the 3-dimensional
theory, like adaptive excursions from the base camp at 17,000 feet on Mt. Ever-
est.
An exhaustive theory of dynamical systems is probably unachievable. One
usually tries to understand the behavior of f n (z) for most z ∈ C,b and for most
f ∈ Ratd .
A rational map f is structurally stable if all sufficiently nearby maps g are
topologically conjugate to f . Despite the many mysteries of general rational
maps, one knows:
Theorem 1.4 The set of structurally stable rational maps is open and dense.
2
structural stability in Ratd , see [MSS] or [Mc4]. Speculations on the role of
structural stability in the biology of morphogenesis and other sciences can be
found in [Tm].
1. Simply-connected surfaces and 3-space. The unit disk ∆ and the up-
per half-plane H in C are models for the hyperbolic plane with met-
rics 2|dz|/(1 − |z|2 ) and |dz|/ Im(z) respectively. We have Isom+ (H) =
PSL2 (R) acting by Möbius transformations.
The geodesics are circular arcs perpendicular to the boundary, in either
model.1
Similarly Hn+1 can be modeled on the upper half-space {(x0 , . . . , xn ) :
x0 > 0} in Rn+1 , with the metric |dx|/x0 ; or on the unit ball with the
metric 2|dx|/(1 − |x|2 ).
Planes in H3 are hemispheres perpendicular to the boundary. Reflections
through circles on C
b prolong to isometric reflections through hyperplane
in H , and lead to the isomorphism Isom+ (H3 ) = Aut(C)
3 b = PSL2 (C)
acting by Möbius transformations.
2. Domains in C.b By a generalization of the Riemann mapping theorem, the
unit disk covers (analytically) any domain Ω ⊂ C
b with |C
b − Ω| ≥ 3. Thus
any such Ω is a hyperbolic surface.
3. Examples with π1 (M ) = Z.
1 The unit disk ∆ can be taken as a model of either RH2 or CH1 ; for the latter space the
natural metric is |dz|/(1 − |z|2 ) with constant curvature −4. The symmetric space CHn , n > 1
contains copies of both RH2 and CH1 , with curvatures −1 and −4 respectively. The space
CHn can be modeled on the unit ball in Cn with its Hermitian invariant metric, e.g. the
Bergman metric.
3
(a) The punctured disk ∆∗ = H/hz 7→ z + 1i; the covering map H → ∆∗
is given by π(z) = e2πiz . A neighborhood of the puncture has finite
volume. The limit set is Λ = {∞}.
(b) The annulus A(r) = {z : r < |z| < 1}. We have A(r) = H/λZ , λ > 1,
with the covering map H → A(r) given by
Note that π(λz) = π(z) and π(R+ ) = S 1 , the unit circle. π(R− ) =
S 1 (r) where r = exp(−2π 2 / log λ), so λ = exp(2π 2 / log(1/r)).
Thus the length of the core geodesic of A(r) is 2π 2 / log(1/r). For
example this shows A(r) and A(s) cannot be isomorphic if r 6= s.
Λ = {0, ∞}.
(c) The torus X = C∗ /λZ is isomorphic to C/(2πiZ ⊕ log λZ).
(d) The space H3 /λZ is a solid torus with core curve of length log λ.
4. Pairs of pants, genus two and handlebodies. Now consider 3 disjoint
geodesic in ∆ symmetric under rotation. The group Γ0 generated by reflec-
tions through these geodesics gives a quotient orbifold which is a hexagon
with alternating edges removed. The limit set is a Cantor set.
Let Γ ⊂ Γ0 be the index two subgroup preserving orientation. This is the
familiar subgroup
Γ∼
= hAB, ACi ∼
= Z ∗ Z ⊂ hA, B, C : A2 = B 2 = C 2 = 1i ∼
= Γ0 .
4
6. The triply-punctured sphere. There is only one ideal triangle T in H, and
by doubling it we obtain hyperbolic structure on X = C b − {0, 1, ∞}. The
covering map π : H → X can be constructed by taking the Riemann map-
ping from T to H, sending the vertices to {0, 1, ∞}, and then prolonging
by Schwarz reflection.
The corresponding group is arithmetic, indeed X = H/Γ(2).
We have Aut(X) = S3 = SL2 (Z/2), which can be seen as the permutation
group of the cusps of X.
The fact that X is covered by H proves the Little Picard Theorem: an
entire f : C → C omitting 2 values is constant. Indeed, the omitted values
can be taken to be 0 and 1; then f lifts to the universal cover, giving a
map fe : C → H which must be constant.
7. Punctured tori. To handle a torus we need to delete a point so the Euler
characteristic becomes negative. Then we can take as a fundamental do-
main an ideal quadrilateral, and glue opposite sides. (It is essential to be
careful doing the gluing! So the holonomy around a cusp is parabolic.)
These examples can be perturbed to give Poincaré’s examples of quasi-
fuchsian groups, by taking reflections in a necklace of 4 tangent circles.
8. A compact hyperbolic 3-manifold. Here is an example to which Mostow
rigidity applies: take a regular hyperbolic dodecahedron D with internal
dihedral angles 72◦ = 2π/5. Then identify opposite faces making a twist
of 3/10ths of a revolution. The 30 edges of D are identified in six groups
of 5 each, so we obtain a manifold structure around each edge. The link
of a vertex is orientable and admits a metric of constant curvature 1, so
it is a sphere. (In fact there is only one vertex in D/ ∼, and its link is an
S 2 tiled by 20 triangles in the icosahedral pattern.)
5
Thus the face identifications preserve the northern and southern hemi-
spheres, and match each quadrant to its ‘opposite’ quadrant in the same
hemisphere.
10. The Whitehead link. The Whitehead link W ⊂ S 3 is a symmetric link of
two unknots, with linking number zero, but one clasp.
6
A cross-section of each vertex of the octahedron gives a square. Thus the
toruses associated to each component of W are built from 2 square and
4 squares respectively. However these two tori must are isomorphic (!),
since the Whitehead link is symmetric.
C
A
A
B C D B B C D B
A
A
D
11. Arithmetic examples. Let Od √be the ring of algebraic integers in the
quadratic number field K = Q( −d), d ≥ 1. Then Od ⊂ C is discrete, so
SL2 (Od ) is a Kleinian group. In fact Md = H/ SL2 (Od ) is a finite-volume
orbifold (Borel), with as many cusps as the class number of K.
The Whitehead link and Borromean rings complements are commensu-
rable H3 / SL2 (Z[i]), and the figure eight knot to SL2 (Z[ω]) (the Gaussian
and Eisenstein integers respectively). Both have class number one.
Example. For trefoil knot T2,3 , and more generally any torus knot, Tp,q , the
complement Mp,q = S 3 − Tp,q is toroidal. In fact Mp,q is a Seifert fibered
manifold; it admits a nontrivial S 1 action. This action gives rise to many
nontrivial copies of Z ⊕ Z in π1 (Mp,q ).
To see the S 1 action, first think of S 3 as the unit sphere in C2 . The circle
action on S 3 by
(z1 , z2 ) 7→ (epiθ z1 , eqiθ z2 ).
A generic orbit is a (p, q)-torus knot, so its complement admits an S 1 action.
To visualized an immersed incompressible torus in the complement of the
trefoil knot, imagine T2,3 as a cable lying on a torus Σ = S 1 × S 1 ⊂ S 3 . Try
to wrap the torus Σ in paper, avoiding the cable. Passing the paper alternately
under and over the cable, it closes up to make an immersed torus.
7
Figure 3. Tiling of the Z2 n Z cover of the figure eight knot complement.
8
Figure 4. Fundamental polyhedron P7 .
right hexagons.
The four faces of Pn are simply four circles in the sphere meeting with
dihedral angles of π/n. The example P7 is depicted in Figure 4. Note that 3 of
the circles simply determine the (2, 3, 7) triangle group acting on a copy of H,
namely the common perpendicular circle (shown as a dotted line). Reflections
in the sides of Pn generate a discrete group Γn for all n; when n is even, Pn is
a fundamental domain for this group.
As n → ∞ the limit sets for these reflection groups tend to the limit set for
the Apollonian gasket. See Figure 5 for exaples.
One can glue several copies of Kn , thought of as an orbifold, together along
their triangular faces, in a pattern dictated by any 4-valent graph, just as a
3-valent graph gives a gluing pattern for pairs of pants. In this way one obtains
many compact, hyperbolic 3-manifolds with π1 (M ) mapping surjectively to a
free group.
9
Figure 5. Limit sets from regular tetrahedra with vertices beyond infinity; the
cases n = 7, 8, 12, ∞.
10
A cycle is a finite set cyclically permuted by f , i.e. the forward orbit of a
periodic point. A periodic point is superattracting iff its cycle includes a critical
point of f .
Conjugacy. Two dynamical systems f1 , f2 are conjugate if φf1 φ−1 = f2 .
Conjugacies ‘preserve the dynamics’, e.g. φ sends periodic points to periodic
points. The quality of φ determines the amount of structure of f which is
preserved (e.g. topological, measurable, quasiconformal, conformal).
b→C
For rational maps, if φ : C b is conformal, then f1 and f2 are equivalent
or isomorphic. Conformal conjugacy preserves multipliers.
Normal families. A collection of analytic maps fα : U → C b is normal if every
sequence has a convergence subsequence. Here U can be an open subset of C b or
more generally a complex manifold.
Theorem 1.6 Any bounded family S of analytic functions is normal. More gen-
erally, if F is not normal then fα (U ) is dense in C.
b
Proof. First suppose |f (z)| ≤ M for all f ∈ F. Using a chart we reduce to the
case X = ∆. By Cauchy’s formula, we have
1 Z f (ζ) dζ M
0
|f (z)| = ≤
2πi S(z,r) (ζ − z)2 r
for any r < d(z, ∂∆). This shows F is equicontinuous, so by the Arzela-Ascoli
theorem F is normal.
More generally, if F omits B(w, r), then letting M (z) = 1/(z − w) we see
the family
M ◦ F = {M ◦ f : f ∈ F}
is bounded by 1/r, and normality of F follows from normality of M ◦ F.
The Julia set. The Fatou set Ω(f ) is the largest open set in C
b such that the
n
family of iterates hf : n ≥ 0i forms a normal family when restricted to Ω(f ).
b − Ω(f ), is the Julia set.
Its complement, J(f ) = C
Theorem 1.7 Let J(f ) be the Julia set of a rational map f . Then:
• The Julia set is closed and totally invariant; that is, f −1 (J(f )) = f (J(f )) =
J(f ).
S
• If an open set U meets J(f ) then f n (U ) = C. b
• Either J(f ) = C
b or J(f ) is nowhere dense.
Proof. These assertions follow from the definition of normalization and Theo-
rem 1.6.
11
Order and chaos. Since the iterates hf n i have limit on Ω(f ), orbits of nearby
points stay close together. Thus the dynamical behavior of hf n (z)i, z ∈ Ω(f ),
is predictable — it is not highly sensitive to the exact position of z.
We will show every z ∈ Ω(f ) is either attracted to a periodic cycle, or lands
in a disk or annulus subject to an irrational rotation.
On the other hand, the Julia set is the locus of chaotic behavior, where a
small change z can product a vast change in its forward orbit. For example, we
will see (Theorem 5.7) the Julia set is the same as the closure of the repelling
periodic points for f .
Examples of rational maps.
1. Degree one. Any Möbius transformation f (z) is hyperbolic, parabolic,
elliptic irrational or of finite order.
In the hyperbolic case up to conjugacy f (z) = λz, |λ| > 1, and all points
but z = 0 are attracted to infinity. Then J(f ) = {0, ∞} and
Ω(f )/f = C∗ /λZ = C/(Z2πi ⊕ Z log λ).
In the parabolic case, we can take f (z) = z + 1 and then Ω(f )/f = C∗ .
This quotient can arise as a limit of degenerating tori, e.g. when fn (z) =
λn z + 1, |λn | > 1 and λn → 1.
In the irrational elliptic case, we can put f in the form f (z) = exp(2πiθ)z,
θ ∈ R − Q, and the orbits are dense subsets of the circles |z| = r.
In the finite order case, we have f (z) = exp(2πip/q), and C/fb is the (q, q)
orbifold.
2. f (z) = z 2 . Here J(f ) = S 1 . Clearly f n (z) → 0 or ∞ when |z| 6= 1, and f
has a dense set of repelling periodic points on S 1 .
3. Blaschke products. For |a| < 1 let
z+a
f (z) = z .
1 + az
12
The Blaschke products are strongly reminiscent of Fuchsian groups.
4. An interval. Let f (z) = z 2 − 2. We claim J(f ) = [−2, 2], and every point
outside this interval is attracted to infinity.
Indeed, f is a quotient of F (z) = z 2 ; setting p(z) = z + z −1 , we have
f (p(z)) = p(F (z)). Thus the Julia set is the image of the unit circle, and
the rest follows.
5. A Cantor set. Let f (z) = z 2 −100. Then the preimages of the critical point
z = 0 are z = ±10. The ball B(0, 20) is disjoint from the critical value
z = −100, so its preimage f −1 (B(0, 20)) is a pair of disks D± ‘centered’
at z = ±10, each of radius about 1, since |f 0 (10)| = 20. The two branches
of the inverse of f , mapping B(0, 20) into these disks, are contractions, by
a factor of about 20. Thus J(f ) is a Cantor set, and every point outside
the Cantor set is attracted to infinity.
In this example the fact that f : (D− ∪ D+ ) → B(0, 20) is a covering map
is an example of the following basic principle:
F
X −−−−→ X
py py
f
b −−−
C −→ C
b
Since repelling points are dense for F , they are also dense for f , and thus
J(f ) = C.
b
13
c_3
c_1
c_4
c_2
Deriving the formula. Here is how the formula for f was found. The
critical points {c1 , c2 , c3 , c4 } of p are the points of order 2 on X. Under
F , these points map by
c1 , c2 7→ c3 7→ c4 7→ c4 .
14
ergodic on C,
b with respect to the push-forward of this measure, namely
|dz|2
ω= ·
|z||z − 1||z + 1|
Thus the orbits of f concentrate near {0, ∞, ±1}. See Figure 7.
Orbifold picture. The map f has a simple picture in terms of orbifolds.
Namely, think of the Riemann sphere C b as the double of a square S. The
Euclidean metric on S makes C b into a (2, 2, 2, 2)-orbifold X, admitting a
symmetry ι : X → X obtained by rotating the square 180◦ around its
center. The quotient X/ι also has signature (2, 2, 2, 2), and in the induced
Euclidean metric it is similar to X.
Thus we obtain a degree two covering map (of orbifolds) f : √ X → X,
expanding the (singular) Euclidean metric on X by a factor of 2. Since
f is conformal, it is also a rational map, and f is (conjugate to) the map
we have described above.
A mechanical version of this map is well-known in origami: you can fold
the corners of a square towards the center to make a smaller square of 1/2
the original area.
These combinatorial constructions of branched covers are very simple ex-
amples of dessins d’enfants, cf. [Sn].
7. f (z) = z 2 − 1. Here 0 7→ −1 7→ 0, so an open set is (super)attracted to
a cycle C of order two. What other kinds of behavior can result? For
example, can there be another attracting cycle?
In Figure 8 the points attracted to C are colored gray; the Julia set is
black, and f n (z) → ∞ for z in the white region.
We will eventually show that whenever f (z) = z 2 + c has an attracting
cycle C, all orbits outside J(f ) converge to C or to ∞ (Corollary 5.25).
15
taking the flow for a given time, we obtain a diffeomorphism of a manifold,
f : M → M . It is also interesting to study groups of maps (e.g. Kleinian
groups) and maps that are not invertible (e.g. rational maps with deg(f ) > 1.)
Consider the category whose objects are diffeomorphisms of manifolds, f :
M → M . These objects can be equipped with various morphisms. For example,
we can regard diffeomorphisms h : M → N such that h ◦ f = g ◦ h as the mor-
phisms between (M, f ) and (N, h). In this category, two objects are isomorphic
if they are smoothly conjugate.
If we allow h instead to be a homeomorphism, then we obtain the notion of
topological conjugacy. If we allow h to simply be continuous, then the morphisms
are semiconjugacies.
Program of dynamics. A central and difficult problem is to classify dynamical
systems. Progress can be made in specific families.
Examples.
1. The family of dynamical systems fλ (x) = λx, λ ∈ R∗ . There are six
topological conjugacy classes. A useful observation is that h(x) = xα
conjugates x 7→ λx to x 7→ λα x.
2. The family fθ (z) = e2πiθ z, |z| = 1 in C. Here fθ is topologically conjugate
to fα iff α = ±θ mod Z. One approach to the proof uses unique ergodicity
of an irrational rotation. Any topological conjugacy h must preserve this
measure and so h is an isometry.
In this example there are uncountably many topological conjugacy classes.
3. Let f : S 1 → S 1 be a ‘generic’ C k diffeomorphism. (Note: C ∞ diffeomor-
phisms do not form a Baire space.) Then f has rotation number p/q, and
the periodic points of f consists of mq pairs of alternating attracting and
periodic points (organized into m pairs of cycles). Under iteration, every
point converges to one of the m attracting cycles. A model for f is given
by taking an mq-fold covering of a hyperbolic Möbius transformation act-
ing on the circle, and composing with a deck transformation. Thus f is
determined up to conjugacy its rotation number p/q and the number of
attracting cycles m.
16
2. Provide models for, and classify topologically, the structurally stable maps.
3. Find continuous moduli to parameterize each component of the struc-
turally stable regime.
Example. This program can be successfully carried out for Diff(S 1 ). Namely,
(1) the structurally stable maps are indeed dense, (2) the rotation number p/q
and number of attracting cycles provide topological invariants, and models are
easily constructed; and (3) the eigenvalues at the periodic points provide con-
tinuous moduli.
Rational maps. Our main goal is to carry through this program for rational
b → C.
maps f : C b We will find:
1. Structurally stable rational maps are indeed open and dense. Holomorphic
motions, the λ-lemma and univalent mappings provide methods of proof.
3. Moduli for rational maps can be given in terms of the Teichmüller space
of a quotient Riemann surface. Typically these moduli boil down to eigen-
values at attracting cycles, much as in the case of generic diffeomorphisms
of S 1 .
17
to a continuous limit h(x). Moreover h is monotone increasing and satisfies
h(x + 1) = h(x) + 1, so it descends to a map on the circle.
To complete the proof we must show h is 1-1. Since h is monotone, if it fails
to be injective there is a nontrivial interval I ⊂ S 1 such that h(I) is a single
point. But since f is expanding, there is an n > 0 such that f n (I) = S 1 . Then
we must also have g n (h(I)) = S 1 , which is impossible if I is collapsed by h.
Therefore h is a homeomorphism.
Theorem 1.10 Structural stability is not dense in Diff(M ) for M = R3 /Z3 the
3-torus.
18
Shifts. The classical Smale horseshoe, with a dense set of saddle points and a
basic set isomorphic to the two-side shift, cannot occur in conformal dynamics,
even topologically. Indeed the moduli of the two quadrilaterals involved cannot
agree. See §2.4.
On the other hand the one-sided shifts (Σn , σ) arise frequently, for example
inside z 2 + c with |c| large.
Notes. See [AS] and [Wil] for more on the failure of structural stability to
be dense. For ideas connecting structural stability and bifurcations to physical
sciences and biology, see [Tm].
Corollary 2.2 Aut(H) = Isom+ (H), the isometry group of the hyperbolic met-
ric ρH = |dz|/y, z = x + iy.
19
Corollary 2.3 Any Riemann surface covered by the disk comes equipped with
a canonical metric of constant curvature −1.
Proof. Reduce to the case where F consists of all maps f : ∆ → C − {0, 1}.
Given a sequence fn ∈ F, pass to a subsequence such that fn (0) converges to
z ∈ C.
b If z = 0, 1 or ∞ then fn converges to a constant map by the Schwarz
lemma and completeness of the hyperbolic metric on C − {0, 1}. Otherwise we
can lift fn to the universal cover of C−{0, 1}, obtaining a sequence gn : (∆, 0) →
(∆, zn ), where zn → ze, a lift of z. Then gn has a convergent subsequence, so
fn = π ◦ gn does too.
20
Proof of Theorem 2.7. We can arrange by an affine transformation that
X ⊂ C − {0, 1}. Pick a basepoint x ∈ X, let (X,
e xe) be the universal cover of X,
and consider the family of maps
F = {f : (X,
e xe) → (∆, 0) : f is a covering map to its image}.
Remark. To prevent cyclic reasoning, one should first prove the Riemann
mapping theorem for simply-connected domains, then use it to uniformize C b−
{0, 1, ∞}, and finally extend the uniformization theorem to all planar domains
as above.
21
Beurling’s criterion for an extremal metric. (See [Ah2, §4.7].) A metric
is extremal if it realizes the supremum in (2.1).
Theorem 2.9 Suppose the measure ρ2 on X lies in the closed convex hull of
the measures
{ρ|γ : γ ∈ Γ and `ρ (γ) = `ρ (Γ)}.
Then ρ is extremal for Γ.
Proof. Consider any other Borel metric α. We may assume both α and ρ are
normalized to give X area 1.
Now for any γ ∈ Γ we have
Z Z
`α (Γ) ≤ α = (α/ρ)ρ = hα/ρ, ρ|γi
γ γ
where the last expression is the pairing between functions and measures. Since
the probability measure ρ2 is a convex combination of the probability measures
(ρ|γ)/`ρ (Γ), we have
Z Z Z 1/2
`α (Γ)
≤ hα/ρ, ρ2 i = αρ ≤ α2 ρ2 =1
`ρ (Γ) X
Examples.
1. A quadrilateral Q ⊂ C is a Jordan domain with 4 marked points on its
boundary, and a distinguished pair of opposite edges. We let Q∗ denote
the same quadrilateral with the other pair of edges distinguished.
Any quadrilateral is conformally equivalent to a unique Euclidean quadri-
lateral Q(a) = [0, a] × [0, 1], with the sides of unit length distinguished.
By definition, the modulus of Q is a.
Notice that mod(Q∗ ) = 1/ mod(Q).
Let Γ(Q) be the set of all paths joining the distinguished sides. Since the
Euclidean metric on Q(a) satisfies Beurling’s criterion (the geodesics are
horizontal segments), we find
λ(Γ(Q)) = mod(Q).
22
adding a right isosceles triangle of hypotenuse 1 to the top of the square.
Then ρ = |dz| on Q gives mod(Q) ≥ 2/3 (the area has increased to 3/2),
while ρ = |dz| restricted to Q0 gives mod(Q∗ ) ≥ 1. Thus
23
Remark. For completeness we recall a direct proof that the quadrilaterals Q(a)
and Q(b) are conformally isomorphic iff a = b. Namely, given a conformal map
f : Q(a) → Q(b), one can develop f by Schwarz reflection through the sides of
Q(a) and Q(b) to obtain an automorphism F : C → C, which must be of the
form F (z) = αz + β. Since f fixes [0, 1]i, F is the identity.
A similar argument shows the annuli A(R) and A(S) are conformally iso-
morphic iff R = S.
In fact the converse is true: a map which distorts the modulus of every
quadrilateral by at most K is K-quasiconformal. The converse is clear for
linear maps, so it follows easily for smooth quasiconformal maps. The general
case depends on the a.e. differentiability of quasiconformal maps. Using this
fact, we have:
24
The map f is volume-preserving. Indeed, the symplectic volume form Ω =
ω n on phase space is preserved by the Hamiltonian vector field v, as is v, and
thus the 2n − 1 form
α = iv (Ω)
is also preserved by the flow. Since α vanishes any hypersurface tangent to the
flow, the volume form α|M is f -invariant.
The existence of very complicated behavior in these dynamical systems was
known to Poincaré and Birkhoff.
Smale provided a simple picture, the horseshoe, that sums up in an immedi-
ate and geometric form a mechanism leading to infinitely many periodic cycles.
Namely a square S is stretched to a long, thin rectangle, then laced through
itself as in Figure 9. The thick edges of S map to the thick edges of f (S).
S
f(S)
Within the two rectangles forming f (S) ∩ S, one finds a totally invariant
Cantor set E. The dynamics of f |E is conjugate to the action of Z on the shift
space (Z/2)Z of all functions φ : Z → Z/2.
Note that f can be realized as an area-preserving map. But by basic prop-
erties of extremal length, the modulus of f (S) (the extremal length of the paths
joining the thick sides) is greater than the modulus of S. Thus f cannot be
made conformal, and the horseshoe does not occur in conformal dynamics!
On the other hand, by flattening the horseshoe we obtain a 2-to-1 map
of an interval over itself, the critical point being the ‘bend’ in the horseshoe.
As the horseshoe is created (in a family of diffeomorphisms), the bend pushes
through the square, much as the critical point pushes through the interval.
Thus understanding the dynamics of fc (x) = x2 + c is a natural prerequisite
to understanding the bifurcations leading to a horseshoe, and one is back to
complex dynamics again.
25
Norms. The natural Lp -norm on holomorphic quadratic differentials on a
hyperbolic Riemann surface X is given by
Z 1/p
|φ|
kφkp = ρ2−2p |φ|p , kφk∞ = sup 2 ,
X X ρ
where ρ = ρ(z) |dz| denotes the hyperbolic metric. Note that the L1 norm does
not involve ρ at all. Similarly for Beltrami differentials we have
Z 1/p
2 p
kµkp = ρ |µ| , kµk∞ = sup |µ|.
X X
Proof. Here is a quick construction of the map g on the lower halfplane ex-
tending f . Given w ∈ H, let Mw (z) be the unique Möbius transformation whose
2-jet at z = w matches the 2-jet of f (z) at z = w. Then set g(z) = Mz (z).
To verify that g has the required properties, it is useful to know how to
reconstruct f from its Schwarzian derivative φ = (f 00 /f 0 )0 − (1/2)(f 00 /f 0 )2 . To
do this, one can begin with two linearly independent solutions f1 , f2 to the
differential equation
y 00 + (1/2)φy = 0.
After scaling one can assume the Wronskian f1 f20 − f2 f10 = 1. From these
solutions we obtain a map z 7→ (f1 (z), f2 (z)) from H into C2 . Projectivizing,
we obtain a map f : H → C b given by f = f2 /f1 .
Because of our normalization of the Wronskian, this map satisfies
f0 = (f1 f20 − f2 f10 )/f12 = 1/f12 ,
f 00 = −2f10 /f13 , and
00 0 0 0
(f /f ) = (log f ) = −2f10 /f1 .
From this we find
Sf = −2(f1 f100 − (f10 )2 )/f12 − 2(f10 )2 /f12 = −2f100 /f12 = φ.
The choice of basis for the space of solutions of the different equation accounts
for the fact that Sf only determines f up to a fractional linear transformation.
Once we have f = f1 /f2 it is easy to see that
f2 (z) + f20 (z)
Mz (z + ) = · (2.2)
f1 (z) + f10 (z)
26
To check this one simply examines the power series in for the expression above,
up to the term 2 , and compares the terms to (f, f 0 , f 00 ) computed above.
Thus the extension of f is given by
f2 (z) + f20 (z)
g(z) = ,
f1 (z) + f10 (z)
P∞
Area theorem. Let f (z) = z + 1 bn z −n be a univalent map on C b −∆ =
{z : |z| > 1}. Then f sends the outside of the unit disk to the outside of a full,
compact set Kf ⊂ C of capacity one. One can compute the area of Kf directly
from the coefficients of f : namely we have
X
area(Kf ) = π(1 − n|bn |2 ).
In particular we have:
bn z −n is univalent, then
P
Proposition 2.15 (Area theorem) If f (z) = z +
n|bn |2 ≤ 1.
P
27
Corollary 2.16 (Nehari) If f : H → C
b is univalent, then kSf k ≤ 3/2.
28
Mapping-class group. We let Mod(S) denote the group of orientation-
preserving homeomorphisms ψ : S → S, modulo those isotopic (equivalently,
homotopic) to the identity. It acts on Teich(S) by ψ · (φ, X) = (φ ◦ ψ −1 , X).
The quotient space is the moduli space
Mg = M(S) = Teich(S)/ Mod(S).
− cosh L2 − cosh L1 1
29
It is readily verified that B has signature (2, 1), for all choices of (Li ); this shows
such a configuration exists and is unique up to isometry.
Similarly, to construct an (α, β, γ) triangle, one can use the form
1 − cos γ − cos β
B = − cos γ 1 − cos α ·
− cos β − cos α 1
Note that
iff S = α + β + γ = π. If S < π then B has signature (2, 1), while if S > π then
it has signature (3, 0). (Consider the extreme cases where all angles are 0 or all
are π/2. Note that when all angles go to π the determinant goes to 0, since the
vertices become colinear on the sphere.)
As another example, suppose we wish to construct (2, p, q) triangle in H2 ∼ =
∆. We can arrange that the x and y axes form two of the sides, i.e v1 = e1
and v2 = e2 in R2,1 . Then the third side is a circle centered at (x/z, y/z) in C,
where v3 = (x, y, z) satisfies v32 = x2 + y 2 − z 2 = 1 and hv3 , e1 i = x = cos π/p,
hv3 , e2 i = y = cos π/q. This allows one to easily locate the center; moreover,
the radius satisfies 1/r2 = z 2 = x2 + y 2 − 1.
The case of a (2, 3, 7) triangle is shown in Figure 10.
Trivalent graphs. We remark that up to homeomorphism, there are only
finitely many decomposition of a surface of genus g into pairs of pants, and
these decompositions correspond to trivalent graphs with g loops (first Betti
number g).
Limits of pants. Interesting geometric limits can arise as the lengths (L1 , L2 , L3 )
of the cuffs of a pair of pants P tend to infinity. There are 3 basic cases:
(0, 0, ∞): P splits into a pair of punctured monogons. (∞, ∞, ∞): P collapses
(after rescaling) to a trivalent graph, or (before rescaling) to a pair of ideal
triangles. (0, ∞, ∞): P collapses to a punctured bigon, which has a nontrivial
modulus (it is bounded by a pair of geodesics from 1 to τ ∈ S 1 in ∆∗ ).
30
Symplectic structure. Fixing a pair of pants decomposition P of Σg , we ob-
tain twist and length coordinates (`i , τi ) for Tg . (Note that the twist parameter
is measured in units of length, not angle.) In these coordinates, a Dehn twist
around the ith element of P acts by τi 7→ τi + `i . An important result is that
the symplectic form X
ω= d`i ∧ dτi
i
is invariant under the full mapping-class group. It coincides with the sym-
plectic form on twisted cohomology coming from the intersection pairing on
H 1 (Σ, sl2 (R)ρ ).
Case of genus one. In the case of a torus, normalize to have total area 1, we
have just 2 coordinates ` and τ , giving the lattice Z(`, 0) ⊕ Z(τ, 1/`). In terms
of τ = x + iy ∈ H, this lattice has coordinates (x, y) = (τ /`, 1/`2 ). We then find
that d`dτ is a constant multiple of the hyperbolic area form dxdy/y 2 .
Characteristic classes. It is known that the Weil-Petersson symplectic form
has the property that [ω/π 2 ] generates H 2 (Mg , Q). Consequently the Weil-
Petersson volume of moduli space is a rational multiple of π 6g−6 [Wol1]. It
can also be shown that [ω/2π 2 ] = κ1 as a class in H 2 (Mg , Q), where κ1 =
π∗ (c1 (V )2 ) is the pushfoward of the square of first Chern class of the relative
tangent bundle to the universal curve π : C g → Mg ; see [Wol2].
Thus the circles at infinity for all points in Tg are canonically identified. This
circle, together with an action of π1 (Zg ) on it, can be constructed topologically
by taking the metric completion of a conformal rescaling of the word metric on
π1 (Zg ).
For concreteness, we fix a particular X = H/Γ in Tg , but observe that the
topological dynamics of (Γ, S 1 ) is independent of X.
31
On the other hand, ‘periodic orbits’ are also dense:
Theorem 3.5 For any geodesic segment S ⊂ H, the measure of the set of
geodesics γ ∈ G meeting S is equal to `(S).
Rπ
Proof. We have 0
(1/2) sin θ dθ = 1.
(G × S 1 − ∆) ∼
= T1 (H).
32
Theorem 3.6 The topological space T1 (X) and its foliation by geodesics can be
reconstructed from the action of Γ on S 1 .
Theorem 3.7 The space of currents C(X) is isomorphic to the space of invari-
ant measures for the geodesic flow on T1 (X) that are also invariant under time
reversal.
Remark. The proof shows that i(α, LX ) is simply the total mass of the corre-
sponding measure on P1 (X) invariant under the geodesic flow.
33
usual Liouville measure dx dy dθ. Since the computation is at a small scale, it
suffices to work in Euclidean space.
Thus we let LX be the measure on the space of unoriented lines in R2 given
by the 2-form
ω = (1/2) sin θ dθ du.
Here the line L(θ, u) passes through (u, 0) and has slope θ ∈ [0, π]. Letting
(θ, x, y) denote coordinates on P1 (R2 ), we have
and thus u = x − y/ tan θ. Using the fact that dθ already appears in ω, we then
have
as a form pulled back to P1 (R2 ). Since the form α = cos θ dx + sin θ dy restricts
to arclength along any geodesic in P1 (R), we find:
Topology of C(X). The space C(X) is equipped with the weak topology. That
is, we have µn → µ as measures on G × G if and only if
Z Z
φµn → φµ
The next result is a little more subtle, since I is an open set. It depends on
the fact that pairs of geodesics near ∂I are nearly parallel.
Proof. The main issue is that i(α, β) depends on the mass of α × β in the com-
plement of the diagonal, a noncompact space. To prove continuity, it suffices to
show currents near to α × β assign uniformly small mass to small neighborhoods
of the diagonal.
The only issue arises when we have an atom in the product. A typical case
is when α is a simple closed geodesic and αn , βn → α. We must show that
i(αn , βn ) = 0.
34
To see this, first note that α is the core curve of an embedded cylinder C.
The main idea is that if γ, δ are two geodesics that enter and leave C, after
winding p and q times around respectively, then γ and δ meet at most p + q
times and the product of their masses is at least pq. Since (p + q)/(pq) → 0
as p, q → ∞, we get a small total intersection number once normalizing by the
product of the masses. Cf. [Bon1, pp.110–114].
Proof. We can find a finite set of simple closed curves whose lengths determine
Fenchel-Nielsen coordinates for Y .
K = {β : i(α, β) ≤ M } ⊂ C(X)
is compact.
Corollary 3.16 Let (αi )N1 be a set of closed curves that bind X. Then the set
of points Y ∈ Tg such that `Y (αi ) ≤ M is compact.
Random geodesics. Putting these results together, we see that any point
in Teichmüller space can be specified by a sequence of weighted simple closed
curves Cn γn → LX . These curves can be constructed by choosing a random
vector in T1 (X) and closing longer and longer segments of the resulting geodesic.
Thus one sometimes refers to LX as a ‘random geodesic’ on X. This is made
more precise by the following result.
35
Theorem 3.17 For suitable closed geodesics γn , we have
π i(γn , δ)
LX (δ) = area(X) lim · (3.1)
2 LX (γn )
Alternatively, for small r one can consider the locus Ur ⊂ T1 (X) of tangents
to segments of length 2r centered on points of δ. Then the angular measure of
Ur through a point p at distance t from δ is given by 4 cos−1 (t/r) (which tends
to 2π as t → 0). Thus
Z r
m(Ur ) ∼ LX (δ) 4 cos−1 (|t|/r) dt = 8rLX (δ).
−r
Now a random geodesic γn will meet Ur in i(γn , δ) segments, each of length 2r;
hence we have:
`(γn ∩ Ur ) 2ri(γn , δ) m(Ur ) 8rLX (δ)
= → = .
`(γn ) LX (γn ) m(T1 (X)) 2π area(X)
This shows:
2LX (γn )LX (δ)
i(γn , δ) ∼ ,
π area(X)
which also gives (3.1).
Laminations. A geodesic lamination λ ⊂ X is a closed set that is a union
of simple geodesics. Through each point of λ there passes a unique complete
simple geodesic contained in λ. (One might regard the foliation of λ by simple
geodesics as part of the structure of the lamination; for surfaces of finite volume
this structure is redundant, but for surfaces of infinite volume (such as H itself)
it is not.)
A transverse measure µ for λ is an assignment of a positive measure to each
transversal τ to λ, supported on τ ∩λ and invariant under homotopy. A measured
lamination is a geodesic lamination equipped with a transverse measure of full
support.
We say α ∈ C(X) is a measured lamination if i(α, α) = 0. This condition
implies that the set of geodesics in the support of α form a geodesic lamination
λ, and that α yields a transverse invariant measure of full support. The converse
also holds, and thus:
Theorem 3.18 The set ML(X) of measured geodesic laminations can be iden-
tified with the space of currents such that i(α, α) = 0.
36
Examples of laminations. The simplest example of a measured lamination
is a simple closed curve α.
For a more interesting example, let F be an irrational measured foliation of
a torus T . Cut T open along a single leaf, and insert a bigon. The result is a
punctured torus X with a measure lamination λ whose transversals are Cantor
sets.
This example can be compared to the construction of the Cantor set by
cutting the interval [0, 1] open at every dyadic rational p/2n , and inserting an
interval of length 3−n .
Theorem 3.21 The Teichmüller space Tg embeds into PC(X), and the union
Tg ∪ PML(X)
is compact.
37
This shows every weight sum of disjoint simple closed curves actually occurs
in ∂Tg . We will soon see these sums are dense in PMLg , and thus PMLg = ∂Tg .
Twisting. Similarly, let ψ ∈ Modg be a product ψ = TCnii of Dehn twists about
|ni |Ci . Then ψ n (X) → [λ] for all
P
disjoint simple closed curves, and let λ =
X ∈ Tg .
As Bers once put it: there are two ways to send a Riemann surface to infinity
in Teichmüller space: by pinching it, and by wringing its neck.
3.4 Laminations
The space MLg turns out to be a rather concrete space: it is a finite-dimensional
manifold, homeomorphic to a R6g−6 , with combinatorial charts that depend only
on the topology of Zg .
Example: braids and simple closed curves. To motivate our approach
to MLg , and more generally to MLg,n , we consider a particular sequence of
simple closed curves on the 4-times punctured sphere.
Let X = C − {−1, 0, 1}. Choosing a marking, we can consider X as an
element of the Teichmüller space M0,4 .
Let A, B be simple closed curves on X, represented by round circles, such
that A encloses {−1, 0} and B encloses {0, 1}. Let α, β ∈ Mod(X) be given by
the left Dehn twist on A and a right Dehn twist on B. Note that α and β are
conjugate under the reflection ρ(x + iy) = −x + iy.
We now wish to examine the simple closed curves given by
These curves can be visualized by enclosing the top two strands of an alternating,
3-stranded braid in a rubber band, and then pushing the band downwards, one
crossing at a time. See Figure 12.
By the time one has drawn C4 , it has become evident that (although they are
very long) these curvesi consist mainly of many parallel strands, joined together
in a simple branching pattern.
The branching pattern for the curves with odd indices is the train track τ
shown in Figure 13. Any collection of non-negative integral weights (a, x, b, y, c)
on the edges of τ , satisfying the switching conditions
a = b + x, a + x = c + y, b + c = y
38
Figure 12. Simple closed curves C0 , C1 , C2 , C3 , C4 .
39
y
a x c
The curves C2i+1 are similarly carried by the train track τ 0 = ρ(τ ). Using
the same crossing numbers, we then have simple closed curves C 0 (a, b, c) carried
by τ 0 . On τ 0 the weight relation becomes c = a + b.
It is now easy to check:
Theorem 3.22 We have β(C(a, b, c)) = C 0 (a, c, b + 2c) and α(C 0 (a, b, c)) =
C(b + 2a, a, c).
Since the weight transformations are linear, it is easy to compute that the
action of ψ = αβ is given by ψ(C(a, b, c)) = C(2a+c, a, b+2c). We can eliminate
b = a − c and obtain
! !!
2 1 a
ψ(C(a, c)) = C(2a + c, a + c) = C .
1 1 c
Starting with C0 = C(1, 0) = C(f1 , f0 ), we then find C2i = (f2i+1 , f2i ), where
(f0 , f1 , f2 , f3 , . . .) = (0, 1, 1, 2, 3, 5, 8, . . .) are the√Fibonacci numbers.
It is well-known that fn+1 /fn → γ = (1 + 5)/2 (the golden ratio). Thus
[C2i ] converges, in the space PML, to the projective measured lamination
[C(γ, 1)] = [λ]. Moreover, this measured lamination satisfies ψ(λ) = γ · λ.
Note that [λ] is not transversally orientable! Thus it does not represent a
cohomology class on X.
We now proceed to a more formal discussion.
Train tracks. A train track τ ⊂ X is a finite 1-complex such that
(i) every x ∈ τ lies in the interior of a smooth arc embedded in τ ,
(ii) any two such arcs are tangent at x, and
(iii) for each component U of X − τ , the double of U along the smooth part
of ∂U has negative Euler characteristic.
Example. The complementary regions of our train track τ are all punctured
monogons. The double of such a surface is a triply-punctured sphere.
The vertices (or switches) of a train track, V ⊂ τ , are the points where 3
or more smooth arcs come together. The edges E of τ are the components of
τ − V ; some ‘edges’ may be closed loops.
40
The module of a train track. Let T (τ ) denote the Z-module generated by
the edges E of τ , modulo the relations
[e1 ] + · · · + [er ] = [e01 ] + · · · + [e0s ]
for each vertex v ∈ V with incoming edges (ei ) and outgoing edges (e0j ). (The
distinction between incoming and outgoing edges depends on the choice a di-
rection along τ at v.) Since there is one relation for each vertex, we obtain a
presentation for T (τ ) of the form:
D
ZV −→ ZE → T (τ ) → 0. (3.2)
The space of 1-cycles on τ with values in B is defined by
Z1 (τ, B) = Hom(T (τ ), B).
41
Theorem 3.28 The space PML(X) is homeomorphic to a sphere of dimension
6g − 7.
Example. Using our train track τ , one sees that PML0,4 is a compact 1-
manifold, hence a circle. It is instructive to find a finite collection of train
tracks whose charts cover PML0,4 .
Kähler form. This symplectic form has many other manifestations; for exam-
ple, when coupled to the complex structure R it yields the Weil-Petersson metric,
given on the cotangent space by kφk22 = X |φ|2 /ρ2 .
In the case of H = T1,1 , we have τ ∼ x/y and ` ∼ 1/y, and thus ω = d`∧dτ ∼
dxdy/y 3 as y → ∞. Thus the Weil-Petersson metric is approximately |dz|/y 3/2 ,
the distance to the cusp is finite and hence M1 has finite Weil-Petersson diam-
eter.
In particular, the Weil-Petersson metric is not equivalent to the Bergman
metric, since the latter is complete and in fact comparable to the Teichmüller
metric [Ha].
Earthquakes. For simple closed curves we have:
Based on this observation, for any λ ∈ MLg we define the twist deformation
twλ : Tg → Tg as the unit-time diffeomorphism generated by the Hamiltonian
vector field −XH , where H(X) = `λ (X). The result is a right earthquake along
the lamination λ.
42
Theorem 3.31 Any two points in Teichmüller space are connected by a unique
right earthquake.
Theorem 3.32 For any pair of laminations α, β the right twist along β satisfies
d X
`α (twtβ )(X) = cos(θp ).
dt
p∈α∩β
Corollary 3.33 Geodesic lengths are convex along earthquake paths, and strictly
so if α meets β.
Proof. It is also easy to see that θp is decreasing under the earthquake flow
along β, and thus
d2 X dθp
`α (tw tβ )(X) = − sin(θp ) > 0.
dt2 dt
p∈α∩β
Theorem 3.35 The Modg -invariant measure on PML × PML is given locally
by
(X0 Y0 )d dx dy
µ= ·
i(X, Y )d
43
Here (X0 , . . . , Xd−1 ) and (Y0 , . . . , Yd−1 ) are local coordinates on ML in the
GLd (Z) charts given e.g. by periods or train tracks. So in these coordinates,
dX dY is a Modg,n -invariant measure on ML × ML. But it is not invariant
under the action of A = R+ × R+ given by (X, Y ) 7→ (αX, βY ). To achieve
this, we divide by i(X, Y )d .
Coordinates on PML are given by (x, y) where xi = Xi /X0 , i = 1, . . . , d − 1
and similarly for y. To get the invariant measure f (x, y) dx dy, we choose a
2-form ω on ML × ML which restricts to Haar measure on each A-orbit; for
example,
dX0 dY0
ω= ·
X0 Y0
We then solve the equation
dX dY
= f (x, y) dx dy ω.
i(X, Y )
We find
dX dY
dx dy ω = ,
(X0 Y0 )d
which gives the desired formula for f .
Note that f (x, y) = (X0 Y0 )d /i(X, Y )d is homogeneous in (X, Y ), so it only
depends on (x, y).
Example: For (g, n) = (1, 0) we get
2
X0 Y0 1
f (x, y) = = ·
X0 Y1 − X1 Y0 (y1 − x1 )2
f : int(S) → X.
44
The Teichmüller metric on Riemann surfaces marked by S is defined by
1
d((f, X), (g, Y )) = inf{log K(h) : h : X → Y is homotopic to g ◦ f −1 }.
2
Here h ranges over all quasiconformal maps respecting markings, and
|hz | + |hz |
K(h) = sup ≥1
X |hz | − |hz |
is its dilatation.
For any two Riemann surfaces X, Y marked by S, the compactifications X
and Y are diffeomorphic. Thus their exists a quasiconformal map f : X → Y
respecting markings, and therefore the Teichmüller distance between X and Y
is finite.
The Teichmüller space Teich(S) is obtained from the space of all marked
Riemann surfaces (f, X) by identifying those at distance zero. Equivalently,
two marked surfaces (f1 , X1 ) and (f2 , X2 ) define the same point in Teich(S) if
there is a conformal map h : X1 → X2 homotopic to f2 ◦ f1−1 .
The mapping class group Mod(S) consists of all homotopy classes of orientation-
preserving homeomorphisms h : S → S. (In fact homotopy and isotopy define
the same equivalence relation here.) There is a natural action of Mod(S) on
Teich(S) by
h · (f, X) = (f ◦ h−1 , X).
This action is an isometry for the Teichmüller metric. (In fancier language, the
map S 7→ Teich(S) is a functor from the category of surfaces and isotopy classes
of homeomorphisms, to the category of metric spaces and isometries.)
The notation Tg,n is often used for the Teichmüller space of Riemann surfaces
of genus g with n punctures.
45
To see f is extremal, we look at the distortion of extremal length. Letting
Γ(1, 0) denote the family of loops on S in the isotopy class (1, 0) ∈ π1 (S), we
have seen that
1
λ(Γ(1, 0), C/(Z ⊕ τ Z)) = .
Im τ
Since extremal length is distorted by at most the factor K(f ), we have
1
dT (τ1 , τ2 ) ≥ | log Im(τ1 ) − log Im(τ2 )|.
2
Now the right-hand side is just the hyperbolic distance between the two
horocycles resting on ∞ ∈ R b = ∂H that pass through τ1 and τ2 . By replacing
Γ(1, 0) with Γ(p, q), we see in the same way that
1
dT (τ1 , τ2 ) ≥ dH (H1 (p/q), H2 (p/q)),
2
where Hi (p/q) is the horocycle resting on p/q and passing through τi . Letting
p/q tend to an endpoint of the geodesic between τ1 and τ2 , the right-hand side
tends to dH (τ1 , τ2 )/2, and thus dT = dH /2.
46
so for z near zero we have
log K(f ) ≥ dX (z, f (z)) ≥ dX (|z|, |f (z)|) ≥ | log log |Az| − log log |Af (z)||,
Let Q(X) denote the Banach space of all integrable quadratic differentials with
the L1 -norm above. The norm of φ is simply the total area of X in the |φ|-metric.
47
Proposition 4.6 Let X be a Riemann surface of finite type. Then Q(X) con-
sists of the holomorphic quadratic differentials on X with at worst simple poles
at the punctures of X.
48
measured foliation becomes the usual one whose leaves are horizontal lines.
The degenerate metric g defining F(φ) is given by
p
g = | Im φ|2 .
The measured foliation F(−φ) has leaves orthogonal to those of F(φ), and
the product of the transverse measures gives the area form determined by
the quadratic differential:
|φ| = αF (φ) × αF (−φ) .
inf F ∼F 0 `ρ (F 0 )2
λ(F, X) = sup .
ρ areaρ (X)
A measured foliation is geodesic for ρ if it minimizes `ρ (F) in its isotopy
class, and ρ is extremal if it maximizes the extremal length quotient above.
Theorem 4.8 Let φ ∈ Q(X) be a nonzero holomorphic quadratic differential
on a Riemann surface X of finite type, and let ρ = |φ|1/2 . Then
`τ (F(φ)) ≤ `ρ (F(φ))
for any metric τ with areaτ (X) = areaρ (X). Equality holds iff τ = ρ.
49
Proof. By definition, the restriction of ρ = |φ|1/2 to the orthogonals of F =
F(φ) gives its transverse measure. Thus
Z 2
2 2
`ρ (F) = ρ = areaρ (X)2 .
X
by our assumption that τ and ρ give X the same area. If equality holds in
Cauchy-Schwarz, then τ is a constant multiple of ρ, so τ = ρ by our normaliza-
tion of the area.
Corollary 4.9 We have λ(F(φ)) = kφk, and ρ = |φ|1/2 is the unique extremal
metric for F(φ), up to scale.
Proof. The foliation F = F(φ) is the unique geodesic in its equivalence class
because ρ is a metric of non-positive curvature. More precisely, suppose F 0 =
f (F), where f is isotopic to the identity. Define a map g : X → X by sending
each leaf L0 of F 0 to the corresponding leaf L = f −1 (L) of F by the nearest-
point projection, in the ρ-metric. Since L is a ρ-geodesic and ρR is non-positively
R
curved, this projection does not increase distances. Thus F 0 ρ ≥ F ρ and
therefore F is geodesic. It follows that
inf F 0 `ρ (F 0 )2 `ρ (F)2
λ(F) ≥ ≥ = areaρ (X) = kφk.
areaρ (X) areaρ (X)
by the preceding theorem, and for equality to hold we must have τ a constant
multiple of ρ.
50
is the same, then F 0 ∼ F, and both are geodesic for the ρ-metric, even though
they are distinct as measured foliations.
On the other hand, we say a measured foliation is uniquely ergodic if it admits
a unique transverse invariant measure up to scale. For example, an irrational
foliation of X is uniquely ergodic. If F(φ) is uniquely ergodic, then it is the
unique geodesic measured foliation in the |φ|1/2 -metric.
∂f φ
µ(f ) = =k
∂f |φ|
for some φ ∈ Q(X) and 0 ≤ k < 1. The map f has dilatation K = (1+k)/(1−k).
Equivalently: there is a quadratic differentials φ ∈ Q(X) such that, away
form its zeros, there are charts on X and Y in which φ = dz 2 and f (x + iy) =
Kx + iy.
This means f maps F(φ) to F(ψ) for some ψ ∈ Q(Y ), stretching the leaves
of F(φ) by a constant factor K in the flat metric, and sending the orthogonal
leaves to the orthogonal leaves by an isometry.
ρ = |ψ|1/2
g = F ∗ (ρ)
51
be the Riemannian metric obtained by pulling it back, and let
γ ≤ g ≤ K(F )γ
be the ‘rounding down’ of g, i.e. the largest conformal metric on X lying below
g. Then:
`ρ (F(ψ))2 `ρ (F (F(φ)))2
K(f )kφk = kψk = λ(F(ψ)) = ≤
areaρ (Y ) areaρ (Y )
`g (F(φ))2 `γ (F(φ))2
= ≤ K(F ) ≤ K(F )λ(F(φ)) = K(F )kφk.
areag (X) areaγ (X)
Therefore K(F ) ≥ K(f ) and thus f is extremal.
To check uniqueness, suppose equality holds above. Then the process of
rounding down, that is replacing g with γ, must decrease the area of X by
exactly K(F ) while holding the length of F(φ) constant. It follows that the
major axis of g must be tangent to F(φ), and the eccentricity of g must be
K(F ) = K(f ) a.e. But then µ(f ) = µ(g), so g −1 ◦ f is a conformal map isotopic
to the identity, and thus f = g.
π : Q(X)1 → Teich(S)
such that the theorem holds for all Y in the image; then we will show π is a
bijection.
To define π, let φ belong to Q(X)1 and let k = kφk < 1. For φ = 0 we set
π(0) = X. Otherwise, we construct a Teichmüller mapping f : X → Y with
µ(f ) = kφ/|φ|, and set π(φ) = (f, Y ).
To construct Y , we just apply a stretch by the factor K = (1 + k)/(1 − k)
along the foliation F(φ), to obtain charts for a new Riemann surface. The com-
plex structure fills in over the isolated zeros of φ by the removable singularities
theorem. Then by construction we have a Teichmüller mapping f : X → Y
stretching along F(φ).
Since f is extremal, we have d(X, π(X)) = 12 log K. Since the extremal
is unique, and f determines φ, we can recover φ from π(X); and thus π is
injective. But π is also continuous, and the dimensions of domain and range
are equal by Theorem 3.1. Therefore π is an proper local homeomorphism, and
thus a covering map. Since π is injective, it is a global homeomorphism.
In particular, π is surjective, so any Y ∈ Teich(S) is the target of a Te-
ichmüller mapping with domain X.
52
The case of a torus. When S is a torus, Teichmüller’s theorem still holds up
to the action of translations on X. That is, the Teichmüller mapping is only
unique up to composition with a conformal automorphism of X isotopic to the
identity.
Real and complex Teichmüller geodesics. Associated to a nonzero quadratic
differential φ ∈ Q(X) is an isometric, holomorphic map
∆ → Teich(S)
of the unit disk (with curvature −4) into Teichmüller space. This map t 7→ Xt
is defined by letting Xt be X endowed with the complex structure coming from
the Beltrami differential
µt = tφ/|φ|,
i.e. for t = keiθ , the surface Xt is the terminus of the Teichmüller mapping
ft : X → Xt
with quadratic differential e−iθ φ and with dilatation K(ft ) = (1 + k)/(1 − k).
The image of the geodesic (−1, 1) ⊂ ∆ is the real Teichmüller geodesic
through X determined by φ; the image of ∆ itself is the corresponding complex
geodesic.
Fz
=µ
e
Fz
53
that fixes {0, 1, ∞}. Then by symmetry, F sends H to itself. Since µ e is Γ-
invariant, F conjugates Γ to a new Fuchsian group Γ0 . Let X 0 = H/Γ0 . Then F
descends to a quasiconformal map f : X → X 0 , and π(µ) = (f, X 0 ).
The tangent space TX Teich(S) is the quotient of M (X) (the tangent space to
M (X)1 at the origin) by the space of trivial deformations of X. Here µ is trivial
if the complex structure it specifies is the same as the original structure on X up
to isotopy. On an infinitesimal level, this means µ = ∂v for some quasiconformal
vector field on X. (The space of such v can be thought of as the tangent space
at the identity to the group QC(X) of quasiconformal homeomorphisms of X
to itself.) R
We claim µ = ∂v iff µφ = 0 for every φ ∈ Q(X). To see this, we note that
the space M0 (X) of trivial µ is a closed subspace of M (X), by compactness of
quasiconformal vector fields. As Banach spaces we have
1 1 1 + kµk
d(X, X 0 ) = log K(f ) = log = kµk + O(2 ).
2 2 1 − kµk
TX Teich(S) ∼
= M (X)/Q(X)⊥ and
∗
TX ∼ Q(X).
Teich(S) =
Note that these Banach spaces are generally not Hilbert spaces, and thus
the Teichmüller metric is generally not a Riemannian metric.
54
The factors 1/2 and 4. The definition of the Teichmüller metric as dT (X, Y ) =
(1/2) inf log K(f ) is compatible with the natural L1 and L∞ norms on the tan-
gent and cotangent space used above. The same factor arises if we use the
Euclidean metric on C to give a metric ρ on T0 ∆; then ρ agrees at z = 0 with
the metric of constant curvature −4, not −1.
Geodesics and cotangents. At first sight it seems strange that a Teichmüller
geodesic is associated to a quadratic differential φ ∈ Q(X), because Q(X)
is the cotangent space to Teichmüller space (rather than the tangent space).
The explanation is that the Teichmüller metric, while not Riemannian, gives
a nonlinear duality between PQ(X) and PM (X)/Q(X)⊥ . Namely to each line
Rφ ⊂ Q(X) there is associated the supporting hyperplane Hφ for the unit ball
BX = {φ : kφk ≤ 1}. This hyperplane is the kernel of the Beltrami differential
µ = φ/|φ|, and µ is tangent to the Teichmüller geodesic that stretches along φ.
|dz|2
Z
ρ(t)−1 = 2|t(t − 1)| .
Cb |z||z − 1||z − t|
Y2
X2 + = 1.
b2
55
Its minor axis is the interval [−1, 1] on the X–axis, and its major axis is the
interval [−b, b] on the Y –axis. The shape of this ellipse is determined by b, or
equivalently by the quantities 0 ≤ m, k < 1 given by
k 2 = m = 1 − 1/b2 .
The unit circle parameterized by (x, y) = (sin θ, cos θ) lies inside the ellipse and
will itself play an important role. Indeed, we associate to every point (X, Y ) on
E the point (x, y) on S 1 that lies on the same ray. Furthermore, we consider the
ellipse itself as being parameterized by ‘angular arclength’ u along E, measured
from (X, Y ) = (1, 0), just as θ measures arclength along S 1 .
The definition of angular arclength u along E is given in polar coordinates.
Write (X, Y ) = (r cos θ, r sin θ); then (x, y) = (sin θ, cos θ), and we define
Z φ
u(φ) = r(θ) dθ.
0
r2 = X 2 + Y 2 = 1 + mY 2 = 1 + mr2 sin2 θ,
which gives
r = 1/(1 − m sin2 θ) = 1/(1 − k 2 sin2 θ),
and Z θ Z θ
dα
u(θ) = r dα = .
0 0 1 − m sin2 α
Changing variables to t = sin α and y = sin θ, we obtain the traditional elliptic
integral: Z y
dt
u(y) = p ·
0 (1 − t )(1 − mt2 )
2
√
Note that the integrand has poles of order 1/2 at ±1 and ±1/k = ±1/ m. In
particular, the complete elliptic integral K = u(1) gives half a period on the
corresponding elliptic curve defined by s2 = (1 − t2 )(1 − mt2 ). Put differently,
the map
u : [−1, 1] → [−K, K]
extends to a holomorphic map sending H to a rectangle [−K, K] × i[0, L],
and hence it represents the inverse of the Weierstrass ℘–function up to sim-
ple changes of coordinates.
Suppressing the m, the Jacobi functions cn(u, m) and sn(u, m) are defined
so that
(x, y) = (cn(u), sn(u)),
and thus
(X, Y ) = (r(u) cn(u), r(u) sn(u))
56
parameterizes the ellipse by arclength.
Note that sn(u) is the inverse of u(y), and thus sn : [−K, K] → [−1, 1]
is essentially the Weiestrass ℘-function. We remark that the Jacobi function
dn(u, m) is defined by 1/r(u, m).
The function y = sn(u) can be described geometrically as follows: travel
distance u along the ellipse, then move radially onto the unit circle, and then
record the resulting value of y. The function x = sn(u) is defined similarly.
When m = k = 0, we have sn(u) = sin(u), cn(u) = cos(u).
We can now write down explicitly the values, along the real axis, of the
extermal quasiconformal map f sending (−k, −1, 1, k) to (−k 0 , −1, 1, k 0 ). It is
given, on the interval [−1, 1], by
In brief, sn−1 maps [−1, 1] to the edge [−K, K] of the fundamental domain for
a lattice action on C; (K 0 /K) rescales by an affine map to give a new lattice;
and sn(y, k 0 ) then brings us back to [−1, 1].
Cf. [La, III, §2]. For example, if M is covered by a bounded domain in Cn , then
it is Kobayashi hyperbolic.
From the definition it is easy to see:
57
Corollary 4.17 Any holomorphic map f : Teich(S) → Teich(S) satisfies
d(f X, f Y ) ≤ d(X, Y )
area(X) = 2π|χ(S)|
58
charts for a hyperbolic manifold X∞ , and X∞ is closed since it is covered by a
finite number of balls B∞ .
Now each ball in B∞ is naturally associated to a ball in Bn for n 0. Using
baseframes, we obtain isometries between associated balls. Using a partition
of unity on X∞ , we can piece these isometries together to obtain a continuous
map fn : X∞ → Xn for all n 0. Since the gluing data for Xn converges to
that of X∞ , the isometries relating adjacent balls are nearly the same, so fn is
a nearly isometric diffeomorphism for all n 0. In particular, K(fn ) → 1, and
thus the Teichmüller distance from Xn to X∞ tends to zero.
Thus X∞ ∈ ML and we have shown every sequence in ML has a convergent
subsequence.
Proof. (Hopf.) The ergodic sums of T n for n > 0 are clearly constant along
the leaves of one foliation, and the sums for n < 0 are constant along the leaves
of the other. Thus their limit is constant.
59
A more detailed analysis shows:
Proposition 4.22 The map f is mixing, and each of its invariant foliations is
uniquely ergodic.
But for a pair of linear maps, we have K(AB) < K(A)K(B) unless the expand-
ing and contracting directions coincide. This shows the initial and terminal
foliations of f coincide.
4.12 Counterexamples
1. There exist normalized K-quasiconformal maps fn : C → C such that
µ(fn ) → 0 weakly but fn does not converge uniformly to the identity.
Fix K > 1 and let f (x + iy) = x + s(y), where s is a piecewise-linear
function with s(0) = 0 and
(
0 K on [2n, 2n + 1) and
s (y) =
1/K on [2n + 1, 2n + 2).
Then the dilatation µ(f ) is constant on horizontal strips of unit width, but
alternating in sign. Thus if we set fn (z) = nf (z/n), then µ(fn ) alternates
sign on strips of width 1/n. Moreover, fRn fixes {0, 1, ∞} and µ(fn ) → 0 in
the weak topology on L∞ (C) (that is, µ(fn )g → 0 for any f ∈ C0∞ (C)).
But fn converges uniformly to the real-linear map F (x + iy) = x + iLy,
where L = (K + 1/K)/2.
2. There exist locally affine maps f : X → Y between Riemann surfaces of
finite type which are not Teichmüller mappings.
Fix λ > 1 and let X = C∗ /λZ be a complex torus. Define ft : C∗ → C∗
by
ft (x + iy) = x + et y.
Then ft (λz) = λft (z), and F = f1 : X → X is a locally affine map.
But f0 (z) = z, so F is isotopic to the identity, and thus it is not the
Teichmüller mapping in its homotopy class.
60
The vertical lines of maximal stretch of F (t > 0) descend to give a Reeb
foliation F of X; there are two closed leaves, coming from the imaginary
axis, and all other leaves of F spiral from one closed leaf to the other.
Because of the spiraling, this foliation admits no transverse invariant mea-
sures other than δ-masses on the closed leaves.
Note that F : X → X, while locally affine, is not Anosov — it preserves
a splitting of the tangent space, but the splitting is not along the stable
and unstable manifolds of F .
X ∗ = (−H)/ΓX ,
X = (H ∪ Ω)/ΓX .
61
See [EaM].
A Riemann surface marked by X is a pair (Y, g) where g : X → Y is a quasi-
conformal map. Two marked Riemann surfaces (Y, g) and (Z, h) are equivalent
if there is a conformal isomorphism α : Y → Z such that
f = h−1 ◦ α ◦ g : X → X
is isotopic to the identity rel ideal boundary. (Of course any of the other condi-
tions above give the same definition).
The Teichmüller space of X is the space of equivalence classes of Riemann
surfaces (Y, g) marked by X.
Example: universal Teichmüller space. The case where ΓX is the trivial
group, and X = H¡ is called universal Teichmüller space. In this case we have
Teich(H) ∼
= QS(R)/
b PSL2 (R),
where QS(R) b → R.
b is the group of quasi-symmetric maps g : R b These are exactly
the homeomorphisms of R
b that arise as boundary values of quasiconformal maps.
Quasifuchsian groups and univalent maps. Fix a model X = H/ΓX
for the universal cover of X. The Bers embedding of Teich(X) is based on a
construction that canonically associates to any (Y, g) ∈ Teich(X):
• A Kleinian group ΓY acting on the Riemann sphere; and
• A quasiconformal map F : C
b → C,
b fixing {0, 1, ∞} and conjugating Γ to
ΓY ; such that
• F is conformal in (−H), Y = F (H)/ΓY and X ∗ = F (−H)/ΓY .
Because of the last property, the group ΓY is said to simultaneously uniformize
X ∗ and Y .
The construction is the following. Let g : X → Y be a Riemann surface
marked by X. Let µ = µ(g), lifted to H and extended to (−H) by 0. Let
F : Cb → C b be the normalized solution to the Beltrami equation µ(F ) = µ.
Since µ is ΓX -invariant, we have µ(F ◦ γ) = µ(F ) for all γ ∈ ΓX . But the solu-
tion to the Beltrami equation is unique up to post-composition with a Möbius
transformation, so there is an isomorphism
ρ : ΓX → ΓY ⊂ Aut C
b
such that
F ◦ γ = ρ(γ) ◦ F
for all γ ∈ ΓX .
Thus F conjugates ΓX to ΓY , and by construction F is conformal in (−H).
Since F intertwines ΓX and ΓY , the Schwarzian derivative φY = SF |(−H)
is ΓX -invariant. Since F is univalent, we have φY ∈ P (X ∗ ); in fact kφY k < 3/2.
62
The map β : (Y, g) 7→ φY gives the Bers embedding
β : Teich(X) → P (X ∗ ).
T (X ∗ ) ⊂ S(X ∗ ) ⊂ P (X ∗ ).
B(1/2) ⊂ T (X ∗ ) ⊂ B(3/2).
where Gn is the pure mapping-class group of n points on the sphere (the pure
braid group modulo its center). This group acts without fixed-points by au-
tomorphism of T0,n , so Teichmüller space arises as the universal cover of the
complement of suitable hyperplanes in Cn−3 .
The complex structure on T0,n derived from Cn−3 agrees with that coming
from the Bers embedding. To see this consider a Beltrami differential µ on
X=C b − E. Then the solution to the Beltrami equation at any point, fµ (z), is
holomorphic in µ; thus Y = C b − fµ (E) is the complement of a holomorphically
moving finite set. At the same time, pulling µ back to −H, the quadratic
differential φY = SFµ is a holomorphic function of µ as well. In other words,
the pair of maps M (X)1 → Cn−3 and M (X)1 → T0,n are both holomorphic
submersions, so the transition between them is also holomorphic.
63
4.14 Conjectures on the Bers embedding
In general one hopes to show that all Kleinian groups are limits of geometrically
finite ones. A precise conjecture in this direction for quasifuchsian groups was
made by Bers.
Theorem 4.25 (Thurston) There exist isolated points in S(∆). In fact, the
Riemann mapping f : ∆ → C
b − Q is isolated in S(∆) for any incorrigible
quasiarc Q.
Such quasiarcs Q are also called zippers, because they lock two sides of the
plane together. The ‘Bers density conjecture’ can be formulated as saying there
are no group-invariant zippers, at least for finitely-generated nonelementary
Kleinian groups.
64
maximal
S cylinders Ci whose boundaries are unions of saddle connections. The
locus Ci coincides with the union of the (smooth) closed leaves of F.
The foliation F is aperiodic if it has no cylinders. It is minimal if every leaf
disjoint from the zeros of q is dense.
Interval exchange. The first return map f : I → I to any transversal arc
to the vertical foliation F (often taken to be an interval along the horizontal
foliation)
S is an interval exchange transformation: there is a finite partition I =
Ii into disjoint subintervals such that f (x) = x + ti on Ii .
Here the metric |q| is used to identify I with an interval in R. The disconti-
nuities of f come from the zeros of q and the endpoints of I. To see there are
only finitely many, just consider the leaves of q that start at either a zero or
endpoints of I. Among these finitely many leaves, finitely many land on I; and
the discontinuities of f are contained in this finite set of landing points.
When following the vertical leaves of F starting on I, it is useful to choose
a convention for continuing the flow past zeros of q, e.g. by always turning to
the right, to make f well-defined even at the endpoints of the intervals Ii .
The map f is aperiodic if it has no periodic points, and minimal if every
orbit is dense. A transversal is full if it meets every leaf of F; in this case it
inherits aperiodicity and minimality from F.
Invariant measures. By definition, f preserves Lebesgue measure dx|I. It
may however have other invariant measures ν. These correspond to other trans-
verse invariant measures for F. If ν has full support and no atoms, we can inte-
grate it to obtain a topological conjugacy from f to another interval exchange
g, such that nu becomes dx.
Lack of mixing.
Theorem 4.26 An interval exchange is never mixing.
T nij (Jij
m
) ⊂ Jim ,
which implies [
Jim ⊂ T −nij (Jim ).
65
Note that there are at most (n + 2) terms on the right. Since preimages respect
set operations, if A is any set that is a union of interval of the form Jim , we have
[
A⊂ T −nij (A).
Corollary 4.27 The geodesic flow for (X, q), even restricted to geodesics of a
fixed slope, is never mixing.
Limit sets. We begin with a simple lemma from ergodic theory. Let X and Y
be a compact metric spaces equipped with complete probability measures, and
let
fn : X → Y
be a sequence of measure-preserving maps, (at least Borel measurable).
nk
S Let ω(x) ⊂ Y denote the points of the form y = lim f (x), and let ω(E) =
E ω(x).
66
Proof. It suffices to show ω(E)Smeets any closed set B ⊂ Y with m(B) >
m(Y − E). To see this, let BN = n>N fn−1 (B); then we have BN ⊃ BN +1 and
T −1 T
m( BN ) ≥ m(fN (B)) = m(B), so m( BN ) ≥ m(B) > m(X − E). Hence
there is an x ∈ E ∩ BN ; but this means f n (x) ∈ B for arbitrarily large n and
T
hence ω(x) meets B by compactness of B.
if the limit exists. For any measurable set A ⊂ X, we let limS (A) denote the
set of possible values of limS f n (x), x ∈ A. Clearly if T ⊂ S then limT (A) ⊃
limS (A).
Lemma 4.32 If x, y ∈ E and limT f n (x) and limT f n (y) both belong to the
interior of the same rectangle R on (X, |q|), then νx = νy .
67
Repeated application of the ergodic theory result above gives:
Lemma 4.33 There exists an S such that limS (E) is dense. Thus for every
rectangle R there exists a νR such that limS Rn /|R| = νR . Finally, if R and R0
meet in their interior, then νR = νR0 . Consequently νR is independent of R.
Proof of Theorem 4.31. Consider any subset A ⊂ E with m(E) > 0. By the
ergodic theory lemma, m(ω(A, S)) ≥ m(A) > 0, so there exists a T ⊂ S and an
x ∈ A such that limT (x) is not a zero of q. But then νx = ν. Thus νx = ν for
almost every x ∈ E, which implies F is ergodic.
Recurrence. For the proof of Masur’s theorem we will use a more direct under-
standing of recurrence. Let (Xt , qt ) be the Teichmüller geodesic ray generated
by (X0 , q0 and let F = F(q0 ) as a measured folation.
For t > 0 the second term doesn’t change much if we add i(S, F), and then the
second term is comparable to |S|. So if the limsup condition above holds, then
the extremal length of simple closed curves are bounded below for a sequence
tn → ∞, which means Xt is recurrent.
Conversely, if Xt is recurrent, then it returns infinitely often to a compact
subset K of Mg,n . Now for all X ∈ K, q ∈ Q(X) of norm 1, and for all simple
closed curves S, there is a uniform lower bound to L(S, |q|). Thus the limsup
condition holds.
Corollary 4.37 If the ray generated by F is recurrent, and F 0 > F (in the
sense that the transverse measure is larger), then it ray generated by F 0 is also
recurrent.
68
Now if F is not uniquely ergodic, then there exists an F 0 > F which is not
ergodic. Recurrence for F implies recurrence for F 0 . Because of this, to prove
Masur’s theorem, it suffices to show:
Proof. Choose points along this geodesic with (Xn , qn ) → (Y, q). Then for all
n 0 we can construct smooth maps in : Y → Xn , sending |qn | to |q|, such
that i∗n (qn ) converges uniformly to q on compact subsets of Y − Z(q). We can
the compose the Teichmüller map X0 → Xn with i−1 n to get measure-preserving
maps fn : X0 → Y . The same reasoning we used for pseudo-Anosov maps now
applies, with fn replacing f n .
Theorem
R R 4.39 Suppose (Xt , qt ) accumulates in QMg,n on a form (Y, q) with
|q| = |q0 |. Then the number of ergodic components of q0 is at most the
number of components of the support of q.
Proof.
P p,q We will use a basic fact about variations of Hodge structures: if σ =
σ is a flat section of a Hodge bundle (over a quasiprojective base such as
V ), then its components σ p,q are also flat. (See e.g. Schmid, Invent. math.,
1973).
Let H → V be the Hodge bundle whose fiber over t is H 1 (Xt , Z) ⊗ C. Let
H0 be the fiber over a basepoint t = 0. Then under the action of π1 (V ), the
space H0 decomposes into 2-dimensional irreducible subspaces
H0 = S1 ⊕ · · · ⊕ Sg ,
69
Let P0 : H0 → H0 be projection onto Si . Since P0 commutes with the
action of π1 (V ), it extends to a flat section P of the (weight zero) Hodge bundle
Hom(H, H). By Schmid’s theorem, the Hodge components P ij of P are also
flat. Thus P0ij = P |H0 commutes with π1 (V ), and hence it is diagonal. But
P −1,1 maps H 1,0 into H 0,1 , so it is ”off-diagonal”; for example, its square is
zero. Consequently P −1,1 = P 1,−1 = 0, and thus P = P 0,0 . This implies
that P preserves H 1,0 , and therefore each subspace Si decomposes as a direct
sum Si1,0 ⊕ Si0,1 . Thus Jac(X0 ) admits real multiplication by the trace field of
SL(X, ω).
Theorem 5.1 Any rational map f has a maximal exceptional E, |E| ≤ 2 and
E ∩ J(f ) = ∅.
70
Theorem 5.3 A rational map of degree d has 2d − 2 critical points, counted
with multiplicity.
71
Applying the same reasoning the any collection of N indifferent cycles, we
conclude there is some direction t such that N/2 of them become attracting
for ft . Under this perturbation, the attracting cycles for f0 remain attracting.
Since ft has at most 2d − 2 attracting cycles, we find:
(attracting) + (indifferent)/2 ≤ 2d − 2,
omits {0, 1, ∞}, and is hence normal on U by Montel’s theorem. But then
hf n |U i is normal, contradicting the definition of J(f ).
This shows p is a limit of periodic points of f ; and all but 4d − 4 of these
are repelling. Once p is so approximated, so is any point in the forward orbit of
p, and thus J(f ) is the closure of the repelling periodic points of f .
(2): For p ∈ J(f ) consider any 3 points z1 , z2 , z3 in the inverse orbit of p.
Let U be an open set meeting J(f ). Since hf n |U i is not a normal family, it
cannot omit all 3 values {z1 , z2 , z3 }, and thus f n (z) = zi for some z ∈ U . Thus
the inverse orbit of p enters U .
72
The same argument applies to any point p with an infinite inverse orbit,
yielding (3).
(4): By (1), U contains a repelling periodic point, so after shrinking U and
replacing f with f n we can assume U ⊂ f (U ). Then f n (U ) is an increasing
sequence of open sets, and by (3) any non-exceptional point is eventually covered
by f n (U ). Since the exceptional points do not belong to J(f ), by compactness
we have J(f ) ⊂ f n (U ) for some finite n.
(5): If J(f ) has an isolated point, then by (4) J(f ) is a finite set. Since
f −1 (J(f )) = J(f ), the Julia set must consist of exceptional points, which implies
J(f ) = ∅. But deg(f n ) → ∞, so the iterates of f cannot form a normal family
on the whole sphere.
Corollary 5.8 The Julia set is the smallest totally invariant closed set on the
sphere such that |J(f )| ≥ 3.
Remarks.
1. To apply the Schwarz lemma to a rational map, we want to find a hyper-
bolic open set Ω ⊂ C b such that f (Ω) ⊂ Ω. Then F = C b − Ω is a closed,
backward invariant set with |F | ≥ 3. By Corollary 5.8, the Fatou set Ω(f )
is the largest hyperbolic open set which is mapped into itself.
2. The argument to prove (1) in Theorem 5.7 illustrates a useful generaliza-
tion of Montel’s theorem: for any bundle of hyperbolic Riemann surfaces
E → U , the space of all holomorphic sections s : U → E is normal. In the
case at hand, the bundle has fibers Ez = Cb − {g1 (z), g2 (z), g3 (z)}.
3. The density of periodic cycles in the ‘chaotic locus’ is not known for a
generic C 2 diffeomorphism of a manifold. Thus the density of periodic
cycles in J(f ) is one of many indications that one-dimensional complex
dynamical systems are better behaved than higher-dimensional smooth
dynamical systems. (For C 1 diffeomorphisms, the generic density of peri-
odic cycles in the non-wandering set is known by Pugh’s ‘closing lemma’
[Pu]).
4. Property (4) is sometimes called LEO (locally eventually onto).
73
Proof. By the Schwarz Lemma, f (∆) cannot contain B(0, r) for any r > 1. So
given a sequence fn ∈ S, we can find a sequence of points an , bn 6∈ fn (∆) with
|an | = 1 and |bn | = 2. Letting An (z) = (z − an )/(bn − an ), we see
An ◦ fn : ∆ → C − {0, 1}.
P∞
Corollary 5.10 Writing f (z) = 1 an z n , we have |an | ≤ Cn for universal
constants Cn .
Corollary 5.11 There is an r > 0 such that f (∆) ⊃ B(0, r) for any f ∈ S.
Keep in mind that the Riemann mapping theorem allows a conformal map
to send ∆ to an arbitrarily wild region. The point of the Corollary is that a
small baller has a controlled image. The yolk of the egg stays good.
Proof 1. Let B(0, s) be a small enough ball that |f (z)| ≤ r|z| < |z| for all
z ∈ B(0, s) − {0}. Then |zn | = |f n (z)| = O(rn ). Defining φn (z) = λ−n f n (z),
we have
φn+1 (z) λ−1 f (zn ) zn + O(zn2 )
= = = 1 + O(rn ).
φn (z) zn zn
P n
Since r < ∞, φn (z) converges uniformly to a nonzero holomorphic map
φ : (U, 0) → (C, 0). Since φ0 (0) = lim φ0n (0) = 1, the map φ is a chart on a small
enough neighborhood of z = 0.
74
Proof 2. Consider the annulus A = B(0, s) − f (B(0, s)) for s small. Then
X = A/f is a Riemann surface, indeed a complex torus. The subgroup of
π1 (X) corresponding to f determines a cyclic covering space of X isomorphic
to C∗ . Uniformization of this covering space gives the linearizing map.
Superattracting case: λ = 0.
Theorem 5.14 Suppose f (z) = z d + O(z d+1 ), d > 1. Then there is a holomor-
phic chart φ : (U, 0) → (C, 0) such f (w) = wd , where w = φ(z).
75
Figure 14. One and several petals
76
The snail lemma. For later use we record the following criterion for a fixed-
point to be parabolic.
Theorem 5.17 Let f have an indifferent fixed-point at z = 0, and suppose
there is a domain U ⊂ C b with f (U ) ⊂ U and f n (z) → 0 uniformly on compact
0
subsets of U . Then f (0) = 1.
Intuitively, if f 0 (0) 6= 1, then U must wind around 0, like a snail shell;
then a short cross-cut for U forms a disk mapping properly into itself, showing
|f 0 (0)| < 1.
Proof. We can assume f is univalent on ∆. Let B ⊂ U be a ball and let K ⊂ U
be a compact connected set containing B and f (B). Since f n → 0 uniformly on
K, we can assume f n (K) ⊂ ∆ for all n, and thus f n |K is univalent for all n.
Suppose the multiplier λ = f 0 (0) 6= 1. Then d(f n (K), 0) = O(diam f n (K)),
for otherwise f n (K) would not be big enough to join f n (B) to f n+1 (B) ≈
λf n (B). By the Koebe distortion theorem, we also have d(f n (B), 0) = O(diam f n (B)).
Thus the visual size of f n (B) as seen from z = 0 is bounded below. But
then there is a universal N such that
hλi (f n (B)) : i = 1, . . . , N i
forms a necklace encircling z = 0. Once f n (B) is close enough to zero, f (z) ≈
λz, and therefore
hf n+i (B) : i = 1, . . . N i
also encircles z = 0. The union of these balls is in U , so there is a loop L ⊂ U
encircling zero. Since f n |L → 0 uniformly, the maximum principle implies that
f n → 0 uniformly on the disk enclosed by L. Therefore |f 0 (0)| < 1, contrary to
our assumption of indifference.
Therefore f 0 (0) = 1.
77
Theorem 5.19 There is a full-measure set of multipliers λ ∈ S 1 such that
f (z) = λz + z 2 can be linearized near z = 0.
Rλ = φλ (−λ2 /2).
for all rationals p/q. Almost every number is Diophantine, and Siegel showed
any holomorphic germ of the form f (z) = e2πiθ z + O(z 2 ) with θ Diophantine is
linearizable.
It is known that the set of θ for which f (z) = e2πiθ z + z 2 is linearizable is
exactly those satisfying the Brjuno condition:
X log qn+1
< ∞,
qn
where pn /qn are the continued fraction approximants of θ. See [Y] for details.
78
2. A superattractive basin: as above, but x0 is a critical point of f p , so
(f p )0 (x0 ) = 0.
3. A parabolic basin: there is a point x0 in ∂Ω0 with (f p )0 (x0 ) = 1, attracting
all points of Ω0 .
\text{superattractive basin}
\text{Siegel disk}
\text{Herman ring}
79
If zn → ∞ (meaning the orbit leaves every compact set of Ω0 ), then dCb (zn , zn+1 ) →
0, since the ratio of the spherical to hyperbolic metrics on Ω0 tends to zero at the
boundary. Thus the orbit accumulates on a connected set E ⊂ ∂Ω0 on which
f (z) = z. Since f is not the identity map, E reduces to a single fixed-point
E = {x0 }. Since x0 ∈ J(f ), it is an indifferent fixed-point, and f 0 (x0 ) = 1 by
the Snail Lemma (Theorem 5.17).
Now suppose zn is recurrent: that is, the orbit returns infinitely often to a
fixed compact set K ⊂ Ω0 . We distinguish two cases, depending on whether or
not f : Ω0 → Ω0 is a covering map.
If f is not a covering map, then |f 0 | < c < 1 on K (in the hyperbolic metric);
therefore d(zn , zn+1 ) → 0, and any accumulation point x0 of zn in K is a fixed-
point of f . By contraction, this fixed-point is unique, |f 0 (x0 )| < 1, and we have
the attracting or superattracting case.
If f is a covering map, then by recurrence there are self-coverings (of the
form f n ) arbitrarily close to the identity (on compact sets). More precisely, if
v0 is a unit tangent vector at z0 , vn = Df n (v0 ), and vk ≈ vk+n , then f n ≈ id
on a large ball about zk .
If Ω0 carries a nontrivial closed hyperbolic geodesic γ, then f n (γ) = γ for
arbitrarily large n. Since f n 6= id, we conclude that Ω0 is an annulus around γ
and f is an irrational rotation. This is the case of a Herman ring.
Finally if Ω0 carries no closed geodesics, then it must be a disk (it cannot
be a punctured disk since the Julia set is perfect). Then f |Ω0 is an irrational
rotation; any other isometry of infinite order would fail to be recurrent. This is
the case of a Siegel disk.
Cf. [McS].
80
Since f (P (f )) ⊂ P (f ), the pre-image of the post-critical set contains itself.
Thus we obtain the diagram:
b − f −1 P (f ) −−−ι−→ C
C b − P (f )
fy
b − P (f )
C
where along the vertical arrow f is a covering map, and along the horizontal
arrow ι is an inclusion. Imposing the hyperbolic metric on C−P
b (f ), we conclude
that the vertical arrow is an isometry, while the inclusion ι is non-expanding.
Thus the composition
f ◦ ι−1 : C
b − P (f ) → C
b − P (f )
Theorem 5.21 For any z ∈ J(f ), we have k(f n )0 (z)k → ∞ in the hyperbolic
b − P (f ).
metric on C
ιn : Xn ,→ X0
Every periodic component of the Fatou set is related to the post-critical set.
More precisely:
Proof. Assume |P (f )| > 2, since the theorem clearly holds for f (z) = z d .
Consider any ball B = B(w, r) disjoint from P (f ). Then all branches of
f −n |B are well-defined and univalent on B. Moreover, these inverse branches
form a normal family, since they omit P (f ) from their range.
If w is a periodic point, of period p, then by normality its multiplier satisfies
|λ| ≥ 1. If |λ| = 1, then by univalence the forward iterates of f are also normal
near w, so w is the center of a Siegel disk. Summing up, any periodic point
outside P (f ) must be either repelling or the center of a Siegel disk.
81
Similarly, if w is in the boundary of a Siegel disk or Herman ring, we can
choose a subsequence of f −n |B that converges to the identity on an open subset
of B (namely its intersection with the rotation domain). Thus along a subse-
quence, f −n converges to the identity on all of B. Thus B contains no repelling
cycles, so B is disjoint from the Julia set, a contradiction.
Proof. By expansion and the distortion lemma for univalent maps, any small
piece of J(f ) can be blown up to definite size with bounded distortion. Thus
J(f ) is quasi-self-similar, and there is no ball in which J(f ) is very dense. It
follows that H. dim J(f ) < 2.
82
The preceding two results, taken together, completely determine the behav-
ior of a typical point z ∈ C
b under the iteration of an expanding map f . For
example we can now see:
Corollary 5.25 Suppose f (z) = z d + c has an attracting cycle C ⊂ C. Then
for any z ∈ C,
b either:
1. f n (z) → ∞; or
2. d(f n (z), C) → 0; or
3. z ∈ J(f ), a compact set of Hausdorff dimension < 2.
Proof. Since f has only two critical points, it has exactly two attracting cycles,
C and ∞. These cycles must each attract a critical point, so f is expanding.
Therefore every point in Ω(f ) tends to C or ∞, and the remaining points J(f )
have dimension less than two.
83
The map f is conformal iff ∂f /∂z = 0.
We say f is quasiconformal if for some 0 < k < 1, we have
∂f
≤ k ∂f .
∂z ∂z
84
On a Riemann surface X, this bundle comes equipped with a section s, so
we have a bundle of pointed hyperbolic disks. The associated bundle of tangent
spaces, Ts CX, is naturally isomorphic to the Beltrami line bundle T −1,1 X.
Then CX is naturally realized as the space of unit disks in the Beltrami line
bundle, and a Beltrami differential with |µ| < 1 is simply a measurable section
of this bundle of unit disks, at a bounded hyperbolic distance from the zero
section.
The Beltrami differential as a connection. A complex structure is the
same as a ∂-operator on functions, and we can also associate to µ the operator
∂ µ = ∂ − µ∂
A(z) = az + bz
1 + µ(v)
A(v) = · v.
1 − |µ|2
This map A ∈ P (Tp X, Jp ) corresponds canonically to the complex structure
determined by µ. For example, if µ = a dz/dz on C, then under the identification
Tp C = C we have µ(ξ) = aξ/ξ and
ξ + aξ
A(ξ) = ·
1 − |a|2
When a is real, the eigendirection of A are along the real and imaginary axes.
In general, they correspond to the lines along which µ(v) > 0 and µ(v) < 0.
Note: if |µ(p)| = 1, the unnormalized map A(v) = (1 + µ(v)) · v has rank
one, so its kernel determines a real line Lp ⊂ Tp X.
85
Theorem 5.27 (Measurable Riemann mapping theorem) For any µ ∈
b with kµk∞ < 1, there is a unique quasiconformal homeomorphism f :
M (C)
C→C
b b such that fz = µfz and f fixes {0, 1, ∞}.
Moreover, the mapping ft (z) with dilatation tµ, t ∈ ∆, varies holomorphi-
cally with respect to t.
The first statement is due to Morrey; the second is due to Ahlfors and
Bers. Bers also introduced the use of the Beltrami equation in the theory of
deformations of Kleinian groups.
Examples.
1. For |α| < 1 let (
z + αz, |z| ≤ 1,
f (z) =
z + α/z otherwise.
Then fz /fz = α on the unit disk and zero elsewhere. The mapping f is
K-quasiconformal with K = (1 + |α|)/(1 − |α|).
2. For 1 > α > 0 let f (z) = z|z|α−1 . In polar coordinates we have f (reiθ ) =
rα eiθ .
Writing f (z) = z (α+1)/2 z (α−1)/2 , we can easily compute
fz (α − 1) z
µ= = .
fz (α + 1) z
Thus f is K-quasiconformal with K = 1/α.
Note that f is only α-Hölder continuous at the origin. It is a general fact
that a K-quasiconformal map is 1/K-Hölder continuous.
86
Theorem 5.28 (Infinitesimal version) For any µ ∈ M (C),b there is a con-
tinuous vector field v on the sphere such that ∂v = µ.
Then ∂v = µ where
Xn
ak z k , |z| ≤ 1,
v = 1
n
X 1
ak k |z| > 1.
z
1
87
Proof. Let V be the span of hz k dz/dz : k ≥ 0i. Suppose µ ∈ V is trivial;
that is, there is a solution to ∂w = µ with w = 0 on S 1 . Let v be the solution
to ∂v = µ given in the example above. Then ∂(v − w) = 0 and thus v − w is
holomorphic on the disk. Since w = 0 on S 1 , we see v|S 1 admits a holomorphic
extension to the unit disk. But v|S 1 is a polynomial in negative powers of z, so
we conclude v = 0. Therefore µ = 0.
To obtain compact support, restrict the elements of V to the ball B(0, 1/2).
If ∂v = µ ∈ V , then v = 0 on |z| = 1 and so v = 0 on |z| = 1/2, since v is
holomorphic on 1/2 < |z| < 1. Then µ = 0 by the argument above.
π:∆→Ω⊂C
b
v(π(z)) ∂ w(z) ∂
π ∗ (v) = = 0
π 0 (z) ∂z π (z) ∂z
88
The pullback of the tangent bundle has degree 2d, so it is isomorphic to
O(2d), and thus
dim Tf Ratd = 2d + 1,
consistent with our description of Ratd as an open subset of P2d+1 .
A continuous vector field v on Cb gives a deformation of f iff
δv = Df (v) − v ◦ f
∂δv = f∗ µ − µ ◦ f,
ft = φ−1
t ◦ f φt
This group measures deformations modulo those that come from conformal con-
jugacy. It is naturally the tangent space at f to the variety Vd = Ratd / PSL2 (C).
We have
dim H 1 (f, TC)
b = 2d − 2.
89
Quasiconformal deformations. Let M (C) b f ⊂ M (C) b be the space of f -
invariant Beltrami differentials, i.e. those satisfying f ∗ (µ) = µ. Each invariant
µ determines an almost-complex structure on C b with respect to which f is
holomorphic. Usually dim M (C) b f = ∞. For example, if an open set U is
disjoint from its forward images, and f n |U is injective, then we can propagate
any µ ∈ M (U ) to an f -invariant differential on the sphere, and thus M (U ) ,→
b f.
M (C)
We have a natural map
b f → H 1 (f, TC)
δ : M (C) b
Theorem 5.33 (No wandering domains) Every component of the Fatou set
eventually cycles.
Lemma 5.34 If Ω(f ) has a wandering domain, then it has a wandering disk.
90
Proof of Theorem 5.33. Let U be a wandering disk, or more precisely a
simply-connected component of Ω(f ) such that f n |U is injective for all n > 0.
Let π : ∆ → U be a Riemann mapping. Then π allows us to transfer Beltrami
differentials from ∆ to U . Let V ⊂ M (∆) be the infinite-dimensional space
of compactly supported Beltrami differentials guaranteed by Proposition 5.29,
such that µ ∈ V is trivial iff µ = 0. Then we have
∗π δ
V ⊂ M (∆) ∼ b f →
= M (U ) ,→ M (C) H 1 (f, TC).
b
Proof. We have seen there are no wandering domains. Apart from Herman
rings, the periodic components of Ω(f ) are associated to superattracting, at-
tracting, parabolic or indifferent periodic points, so they are finite in number.
For Herman rings, one can use the quasiconformal deformation theory to
show each cycle of rings contributes one complex parameter to the moduli space
of f . Since dim M(f ) ≤ 2d − 2, there are at most 2d − 2 Herman rings.
91
The deformation space Def(X, f ) is the space of isomorphism classes of dy-
namical systems marked by (X, f ). It is easy to see the deformation space may
be identified with the unit ball in the space of f -invariant Beltrami differentials;
that is, we have:
Def(X, f ) = M (X)f1 .
The quasiconformal conjugacies φ : (X, f ) → (X, f ) form a group we denote
QC(X, f ). It acts on Def(X, f ) by changing the marking. The normal subgroup
QC0 (X, f ) consists of quasiconformal conjugacies isotopic to the identity, rel the
ideal boundary of X and through uniformly quasiconformal conjugacies.
The Teichmüller space Teich(X, f ) is the quotient space of dynamical sys-
tems marked up to isotopy:
Teich(X, f ) = Def(X, f )/ QC0 (X, f ).
The mapping-class group
Mod(X, f ) = QC(X, f )/ QC0 (X, f )
acts on Teichmüller space, yielding as quotient the moduli space
M(X, f ) = Teich(X, f )/ Mod(X, f )
of isomorphism classes of dynamical systems quasiconformally conjugate to f .
The subgroup of conformal conjugacies will be denoted Aut(X, f ) ⊂ QC(X, f ).
Its image in Mod(X, f ) coincides with the stabilizer of [(X, f )] ∈ Teich(X, f ).
Rotation of an annulus. To make these ideas concrete, let us consider the
Teichmüller space of (X, f ) = (A(R), f ), where A(R) = {1 < |z| < R} is the
standard annulus of modulus log(R)/2π, and
f (z) = e2πiα z
is an irrational rotation.
1. We have Aut(X, f ) = S 1 acting by rotations. Moreover, the dynamical
system generated by f is dense S 1 .
2. The space Def(X, f ) = M (A(R))f1 can be identified with L∞ ([1, R])1 . In-
deed, any f -invariant Beltrami differential µ on A(R) is also S 1 -invariant,
by ergodicity of the irrational rotation of a circle. Thus µ is determined
by its values on the radius [1, R].
3. In terms of marked dynamical systems, Def(X, f ) can be identified with
the set of triples (Y, g, φ) = (A(S), f, φ) such that φ : A(R) → A(S) is an
S 1 -equivariant quasiconformal map and
φ|S 1 (1) = id .
To see this, just note that any Riemann surface Y quasiconformally equiv-
alent to X is of the form A(S), that the rotation number of f is a topo-
logical invariant, and that by composing with an automorphism of A(S)
we can normalize the conjugacy so that φ(1) = 1.
92
4. The group QC(X, f ) consists of all quasiconformal maps φ : A(R) → A(R)
that commute with rotations. It is conveniently to visualize the orbits of
S 1 on A(R) as circles of constant radius in the cylinderical metric |dz|/|z|;
then φ preserves this foliation and maps leaves to leaves by isometries.
Any φ ∈ QC(X, f ) is actually Lipschitz and is determined by its values
on [1, R]. Thus φ has the form
φ(z) = e2πiθ(|z|) · z,
where θ : [1, R] → C is a Lipschitz function such that θ(1) and θ(R) are
real. Note that θ and θ + n, n ∈ Z, determine the same map φ.
Moreover, the condition that φ as above is quasiconformal is equivalent
to the condition that θ is Lipschitz and r 7→ |φ(r)| = r exp(2π Im θ(r)) is
a bilipschitz map. In other words, if we write θ(r) = α(r) + iβ(r) then we
need α and β to be Lipschitz and we need a definite gap betwen 1/r and
2πβ 0 (r); that is, we need
where Z = {(n, n) ∈ R2 }.
7. Now we have seen that points (A(S), f, φ) ∈ Def(X, f ) can be normalized
so that φ(1) = 1, i.e. such that θ(1) = 0. Therefore φ is determined up to
isotopy (rel ideal boundary) by the value of θ(R) ∈ R. Thus the map
establishes an isomorphism
Teich(X, f ) ∼
= H.
93
8. Finally Mod(X, f ) = (R2 /Z) acts on Teich(X, f ) by changing the bound-
ary values of φ. This actions is on z ∈ H given by:
f (z) = λz
with 0 < |λ| < 1. For this map, a central role in the Teichmüller theory is
placed by the quotient torus T = C∗ /hf i.
Teich(X, f ) ∼
= Teich(T ) ∼
= H.
log κ
(C, κz) 7→ ∈ H.
2πi
The value of log κ can be made well-defined using the marking of (Y, g) by
(X, f ). To use the marking, first choose an arc γ ⊂ X = C∗ connecting 1
to λ. Then φ(γ) ⊂ Y connects 1 to κ. There is a unique continous branch
of the logarithm along φ(γ) with log(1) = 0, and this branch defines log κ.
94
5. The torus T has a distinguished map π1 (T ) → Z defining the covering
space X = C∗ → T . In other words, T has a distinguished cohomology
class C ∈ H 1 (T, Z). It is not hard to see that Mod(X, f ) ∼
= Z coincides
with the subgroup of Mod(T ) ∼ = SL2 (Z) stabilizing C. Thus we have the
isomorphism
!
1 n
Mod(X, f ) ∼
=Z∼ ={ ∈ SL2 (Z)}.
0 1
Here M1 (J, f ) denotes the unit ball in the space of f -invariant Beltrami
differentials on J. In particular, M1 (J, f ) = 0 if the Julia set has measure zero.
Proof. Since Jb contains a dense countable dynamically distinguished subset,
ω|Jb = id for all ω ∈ QC0 (C,
b f ), and so
b f ) = QC (Ωfol , f ) × QC (Ωdis , f ).
QC0 (C, 0 0
95
This implies the theorem with the last factor replaced by Teich(Ωdis , f ), using
the fact that JS and Jb differ by a set of measure zero. To complete the proof,
write Ωdis as Ωdis i , a disjoint union of totally invariant open sets such that
each quotient Ωdis
i /f is connected. Then we have
Y0 Y0
Teich(Ωdis , f ) = Teich(Ωdis
i , f) = Teich(Ωdis dis
i /f ) = Teich(Ω /f ).
Note that Ωdis /f is a complex manifold (rather than an orbifold), because f |Ωdis
has no periodic points.
3. The grand orbits of the critical points that land in attracting and parabolic
basins (a countable set); and
4. The leaves of the canonical foliations which meet the grand orbit of the
critical points (a countable union of one-dimensional sets).
The superattracting basins, Siegel disks and Herman rings of a rational map
are canonical foliated by the components of the closures of the grand orbits. In
the Siegel disks, Herman rings, and near the superattracting cycles, the leaves
of this foliation are real-analytic circles. In general countably many leaves may
be singular. Thus Ωdis contains the points which eventually land in attracting
or parabolic basins, while Ωfol contains those which land in Siegel disks, Herman
rings and superattracting basins.
Theorem 5.37 The quotient space Ωdis /f is a finite union of Riemann sur-
faces, one for each cycle of attractive or parabolic components of the Fatou set
of f .
An attractive basin contributes an n-times punctured torus to Ωdis /f , while
a parabolic basin contributes an (n + 2)-times punctured sphere, where n ≥ 1 is
the number of grand orbits of critical points landing in the corresponding basin.
96
First suppose U is attractive. Let x be the attracting fixed point of f p in U ,
and let λ = (f p )0 (x). After a conformal conjugacy if necessary, we can assume
x ∈ C. Then by classical results, there is a holomorphic linearizing map
For a detailed development of attracting and parabolic fixed points, see e.g.
[CG, Chapter II].
Definitions. A critical point is acyclic if its forward orbit is infinite. Two
points x and y in the Fatou set are in the same foliated equivalence class if the
closures of their grand orbits agree. For example, if x and y are on the same
leaf of the canonical foliation of a Siegel disk, then they lie in a single foliated
equivalence class. On the other hand, if x and y belong to an attracting or
parabolic basin, then to lie in the same foliated equivalence class they must
have the same grand orbit.
Each factor on the right is either a complex disk or trivial. Each disk factor
can be lifted to Def(C,
b f ), so by finiteness of the space of rational maps the
number of disk factors is finite. A disk factor arises whenever Ωfol i has an
annular component. A cycle of foliated regions with n critical leaves gives n
periodic annuli in the Siegel disk case, n + 1 in the case of a Herman ring, and
n wandering annuli in the superattracting case. If two critical points account
for the same leaf, then they lie in the same foliated equivalence class.
97
Definition. An invariant line field on a positive-measure totally invariant
subset E of the Julia set is the choice of a real 1-dimensional subspace Le ⊂ Te C,
b
varying measurably with respect to e ∈ E, such that f 0 transforms Le to Lf (e)
for almost every e ∈ E.
Equivalently, an invariant line field is given by a measurable Beltrami differ-
ential µ supported on E with |µ| = 1, such that f ∗ µ = µ. The correspondence
is given by Le = {v ∈ Te C b : µ(v) = 1 or v = 0}.
Corollary 5.40 On the Julia set there are finitely many positive measure er-
godic components outside of which the action of the tangent map of f is irre-
ducible.
• nLF is the number of ergodic line fields on the Julia set, and
• nP is the number of cycles of parabolic basins.
Remark. The number nP can exceed the number of parabolic cycles. For
example, a parabolic fixed point can have many petals attached, and these
petals may fall into several distinct cycles under the dynamics.
98
Proof of Theorem 5.42 (Discreteness of the modular group). The
group Mod(C, b f ) acts isometrically on the finite-dimensional complex mani-
fold Teich(C, f ) with respect to the Teichmüller metric. The stabilizer of a
b
point ([φ], C,
b g) is isomorphic to Aut(g) and hence finite; thus the quotient of
Mod(C,b f ) by a finite group acts faithfully. By compactness of quasiconfor-
mal maps with bounded dilatation, Mod(C, b f ) maps to a closed subgroup of
the isometry group; thus Mod(C, f ) is a Lie group. If Mod(C,
b b f ) has positive
dimension, then there is an arc (φt , C,b f ) of inequivalent markings of f in Te-
ichmüller space; but such an arc can be lifted to the deformation space, which
implies each φt is in QC0 (f ), a contradiction.
Therefore Mod(C, b f ) is discrete.
Remark. Equivalently, we have shown that for any K > 1, there are only a
finite number of non-isotopic quasiconformal automorphisms of f with dilatation
less than K.
Let Ratd denote the space of all rational maps f : C b → Cb of degree d.
This space can be realized as the complement of a hypersurface in projective
space P2d+1 by considering f (z) = p(z)/q(z) where p and q are relatively prime
polynomials of degree d in z. The group of Möbius transformations Aut(C) b acts
on Ratd by sending f to its conformal conjugates.
A complex orbifold is a space which is locally a complex manifold divided by
a finite group of complex automorphisms.
Corollary 5.44 If the Julia set of a rational map is the full sphere, then the
b f ) maps with finite kernel into a discrete subgroup of P SL2 (R)n n
group Mod(C,
Sn (the automorphism group of the polydisk).
99
or parabolic cycle attracts a critical point, so there are at most 2d − 2 cycles of
stable regions of these types. Finally the number of Siegel disks is bounded by
4d − 4. (The proof, which goes back to Fatou, is that a suitable perturbation of
f renders at least half of the indifferent cycles attracting; cf. [Mon, §106].)
Consequently the total number of cycles of stable regions is at most 8d − 8.
6 Hyperbolic 3-manifolds
6.1 Kleinian groups and hyperbolic manifolds
A hyperbolic manifold M n is a connected, complete Riemannian manifold of
constant sectional curvature −1.
There is a unique simply-connected hyperbolic manifold Hn of dimension n,
up to isometry. Thus any hyperbolic manifold can be regarded as a quotient
M n = Hn /Γ where Γ ⊂ Isom(Hn ) is a discrete group.
Two explicit models for hyperbolic space are the upper half-space model,
Hn = {(x1 , . . . , xn ) ∈ Rn : xn > 0}
Hn = Bn = {x ∈ Rn : |x| < 1}
Isom(Hn ) ∼ n−1
= Aut(S∞ ).
100
A Kleinian group is a discrete subgroup Γ ⊂ Isom(Hn ). The limit set Λ ⊂
n−1 n−1
S∞ of Γ is defined by Λ = Γx ∩ S∞ for any x ∈ Hn . The complement
n−1
Ω = S∞ − Λ is the domain of discontinuity for Γ.
Theorem 6.5 The geodesic flow is ergodic on any finite-volume hyperbolic man-
ifold M .
101
1)-spheres of the positive horocycle foliation of T1 (M ). Applying the same
argument to f− (v), we see F is also constant along the negative horocycle
foliation. Finally F (v) is invariant under the geodesic flow. By Fubini’s theorem,
we conclude that F (v) is constant.
Since C0 (T1 M ) is dense in L2 (T1 M ), we have shown I consists only of the
constant functions, and thus the geodesic flow is ergodic.
6.3 Quasi-isometry
Let X and Y be complete metric spaces. A map f : X → Y is a K-quasi-
isometry if for some R > 0 we have
d(x, x0 )
R + Kd(x, x0 ) ≥ d(f (x), f (x0 )) ≥ −R
K
for all x, x0 ∈ X. In other words, on a large scale, f gives a bi-Lipschitz map to
its image.
We say f : X → X is close to the identity if supX d(x, f (x)) < ∞.
We say f : X → Y is a quasi-isometric isomorphism if there is a quasi-
isometry g : Y → X such that f ◦ g and g ◦ f are close to the identity. If
f : X → Y is a quasi-isometry and B(f (X), R) = Y for some R, then in fact f
is an isomorphism.
Example. The inclusion f : Zn → Rn is a quasi-isometric isomorphism. An
inverse is the map g : R → Z defined by taking the integer part, g(x) = [x].
Groups. Let G be a finitely-generated group. Choosing a finite set of genera-
tors hgi i, we can construct the Cayley graph C(G) by taking G as the vertices
and connecting g and h by an edge if g = gi h for some gi . Taking the edges to
be of unit length, we obtain a metric d on G.
Alternatively, one can define d(id, g) = n where n is the length of a minimal
word expressing g in terms of hgi±1 i, and then extend d to G × G so it is right-
invariant.
Another choice of generators hgi0 i determines another metric d0 on G. By
expressing each gi as a word in hgi0 i and vice-versa, one easily sees that (G, d)
and (G, d0 ) are quasi-isometric.
Theorem 6.6 For any compact Riemannian manifold M , the universal cover
M
f and the group π1 (M ) are quasi-isometric.
102
γ into L segments of about unit length, and assign to each a point hi ∗ within
distance R. Then d(hi ∗, hi+1 ∗) ≤ 2R + 1). Now by discreteness of G∗, there are
only finitely many h such that d(∗, h∗) ≤ 2R + 1; letting C = max d(id, g) over
such g, we have d(hi , hi+1 ) ≤ C, and thus d(id, g) ≤ CL = Cd(∗, g∗). Thus f is
a quasi-isometry.
103
Lemma 6.8 For any closed convex set K ⊂ Hn , nearest-point projection π :
Hn → K contracts by a factor of at least cosh(r) at distance r from K.
If we take r large enough that cosh(r) K 2 , then the inequality above implies
|a − b| is not too large, and hence γ[a, b] stays close to δT .
In other words, there is an absolute constant D such that γ(−T, T ) ⊂
B(δT , D). Since the space of geodesics within distance D of γ(0) is compact, we
can pass to a convergent subsequence and obtain a geodesic δ with γ ⊂ B(δ, D).
In hyperbolic space, distinct geodesics diverge, so δ is unique.
104
Theorem 6.10 Let f be a quasiconformal homeomorphism of Rn or S n with
n ≥ 2. Then:
• f is analytically quasiconformal (f has derivatives in L2 satisfying kDf kn ≤
K| det Df | almost everywhere);
• f is absolutely continuous (f (E) has measure zero iff E has measure zero);
• f is differentiable almost everywhere; and
• if Df is conformal a.e., then f is a Möbius transformation.
For proofs, see [LV]. To convey the spirit of the passage between the geo-
metric and analytic definitions, we will prove:
This means that for any line L ⊂ C, the real and imaginary parts of f are
absolutely continuous functions on L + t for almost every t ∈ C.
Proof. By making a linear change of coordinates in the domain of f , it suffices
to show that Re f (x + iy) is an absolutely continuous function of x ∈ [0, 1] for
almost every y.
Consider the function A(y) = area f ([0, 1] × [0, y]). Since A(y) is monotone
increasing, it has a finite derivative a.e. Choose y such that A0 (y) exists; we will
show F (x) = Re f (x + iy) is absolutely continuous for x ∈ [0, 1]. P
Consider a collectionP of disjoint intervals I1 , . . . , In in [0, 1], with |Ii | < .
We must show that |F (Ii )| < δ() → 0 as → 0.
By subdividing the intervals, we can assume |Ii | = h for all i, so nh = .
Let Si be the h × h square resting on Ii . Since f is quasiconformal, we have
area(f (Si )) |Ji |2 . Thus we have:
X 2 X X
|Ji | ≤ n |Ji |2 n area(f (Si ))
≤ n area(f ([0, 1] × [y, y + h])) ≈ nhA0 (y).
√
|Ji | = O( nh) = O(1/2 ).
P
Therefore
105
The 1-dimensional case. The geometric definition of quasiconformality makes
sense even in dimension one, and yields the useful family of k-quasisymmetric
homeomorphisms f : R → R, satisfying sup K(S) ≤ k for every sphere S. Of
course a quasisymmetric map f is differentiable a.e. (since it is a monotone
function) , but f need not be absolutely continuous.
Proof. To see F is quasi-conformal, we will show F (S(a, r)) has a bounded ratio
n
of inradius to outradius for any small sphere S(a, r) ⊂ S∞ . For convenience we
normalize so a = 0 and F fixes 0 and ∞. Let |b| = |c| = r maximize the ratio
106
f
c b F(c)
F(b)
K = |F (c)/F (b)|. Then the geodesics [0, b] and [c, ∞] are at distance O(1),
while the geodesics [0, F (b)] and [F (c), ∞] are at distance about log K (see
Figure 16). Since f is a quasi-isometry, f ([0, b]) and f ([∞, c]) lie at a bounded
distance from [0, F (b)] and [∞, F (c)], and from each other. Thus log K = O(1)
and F is quasiconformal.
107
Remark. One can also argue that M f and N e are quasi-isometry to π1 (M )
and π1 (N ) in such a way that f is close to the quasi-isometric isomorphism
e
f∗ : π1 (M ) → π1 (N ).
Proof. The manifolds M and N are K(π, 1)’s, so the isomorphism ι between
their fundamental groups can be realized by a homotopy equivalence f : M →
N . By the preceding lemma, the lift fe : Hn → Hn is a quasi-isometry, so its
n−1 n−1
extension is a quasiconformal map F : S∞ → S∞ conjugating the action of
π1 (M ) to that of π1 (N ). The map F is differentiable almost everywhere, by
fundamental results on quasiconformal mappings.
If DF is conformal almost everywhere then, since n > 2, F is a Möbius
transformation. (This step fails when n = 2). Then F extends to an isometry
Ie : Hn → Hn which descends to the desired isometry I : M → N .
n−1
Otherwise, DF fails to be conformal on a set of positive measure in S∞ .
By ergodicity, DF is nonconformal almost everywhere.
Now for concreteness suppose n = 3. Then the conformal distortion of
2
DF (x) defines an ellipse in the tangent space Tx S∞ for almost every x. Let
2
Lx ⊂ Tx S∞ be the line through the major axis of this ellipse.
2 2
Define θ : S∞ × S∞ → S 1 as follows: given x, y on the sphere, use parallel
2 2
transport along the geodesic joining x to y to identify Tx S∞ with Ty S∞ , and
let θ be the angle between the lines Lx and Ly .
Then θ is invariant under the action of π1 (M ), so by ergodicity of the
geodesic flow it is a constant a.e. This means that if we choose coordinates
2
on S∞ so x = ∞, then the lines Ly have constant slope for y ∈ R2∞ . But almost
any point can play the role of x, while it is clearly impossible to arrange the
linefield Ly to have constant slope in more than one affine chart on the sphere.
The proof for n > 2 is similar.
108
Proof. For convenience we treat the case where X and X 0 are compact. By
hypothesis, there is an isomorphism ι : Γ → Γ0 induced by f . We first observe
that if Γ = Γ0 and ι is the identity, then f is the identity. This is because f must
fix the attracting fixed-point of every g ∈ Γ, and such fixed points are dense on
1
S∞ .
By ergodicity of the action of Γ on the circle, f is either absolutely continuous
or singular. We will show that in the former case, Γ is conjugate to Γ0 inside
G = Isom H; in other words, X ∼ = X 0 . To this end, we identify S∞ 1
with Rb and
choose coordinates so that f (∞) = ∞. Then f : R → R is a homeomorhism; in
particular, f 0 exists a.e.
Our hypothesis of absolutely continuity implies that f = f 0 ; in particular,
R
f 0 (x) 6= 0 for some x. We can assume x = 0 and f 0 (0) = 1. Let An (x) = nx.
Then fn = An f A−1 n converges to the identity map f∞ (x) = x uniformly on
compact sets. Moreover fn intertwines the actions of certain conjugates Γn and
Γ0n of our original Fuchsian groups. Since G/Γ and G/Γ0 are compact, we can
pass to a subsequence so these conjugates converge, say to Γ∞ and Γ0∞ . Since
f∞ (x) = x, we have Γ∞ = Γ0∞ and hence X ∼ = X 0.
The same proof shows the isomorphism ι : Γ → Γ0 induced by the original
map f is given by conjugation by an element g ∈ G. Thus our initial remarks
show f = g.
Next suppose X is only locally compact and Hausdorff. Then the one-
point compactification X 0 = X ∪ {∞} is compact, and there is a natural map
Cl(X) → Cl(X 0 ) by sending F to F ∪ {∞}. Under this inclusion, Cl(X) is
closed, so it becomes a compact Hausdorff space with the induced topology.
Example. In Cl(R), the intervals In = [n, ∞) converge to the empty set as
n → ∞.
Now suppose G is a Lie group. The set of all closed subgroups of G forms a
compact subset of Cl(G). If H, Hn are subgroups, we say Hn → H geometrically
if we have convergence in the Hausdorff topology.
Finally let G = Isom(Hn ). Recall that every baseframed hyperbolic manifold
(M, ω) determines a torsion-free discrete group Γ ⊂ G, and vice-versa. We say
109
(Mn , ωn ) converges geometrically to (M, ω) if the corresponding Kleinian groups
satisfy Γn → Γ in Cl(G).
Theorem 6.19 The set Hrn of baseframed hyperbolic manifold (M, ω) with in-
jectivity radius ≥ r at the basepoint is compact in the geometric topology.
If we fix a hyperbolic manifold M , then we have a natural map F M → Cl(G)
sending each ω in the frame bundle F M to the subgroup Γ(M, ω). This map is
continuous. In particular, if M is compact, then the set of baseframed manifolds
(M, ω) that can be formed from M is compact in the geometric topology.
We can now offer a proof of the last step of Mostow rigidity that does not
make reference to ergodic theory of the geodesic flow.
Theorem 6.20 Let M = H3 /Γ be a compact hyperbolic 3-manifold, and let
b be an L∞ Γ-invariant Beltrami differential. Then µ = 0.
µ ∈ M (C)
Proof. Suppose µ 6= 0. Then, by a variant of the Lebesgue density theorem,
there exists a p ∈ C such that µ(p) 6= 0 and µ is almost continuous at p. That
is, if we write µ = µ(z) dz/dz, then for each > 0 we have
m{x ∈ B(p, r) : |µ(x) − µ(p)| > }
lim = 0.
r→0 m(B(p, r))
By a change of coordinates, we can assume that p = 0. Let µ(0) = a. Then for
gt (z) = tz, we have the weak* limit
dz dz
gt∗ µ = µ(tz) →ν=a
dz dz
as t → 0. Concretely, this means
Z Z Z
∗
(gt µ)φ = µ(tz)φ(z) |dz| → a · φ(z) |dz|2
2
C
110
6.9 Promotion
The basic mechanism of Mostow rigidity is promotion: we can use the expanding
dynamics of a cocompact group to promote a point of measurable continuity to
a point of topological continuity.
Here are two simpler results with the same promotion principle at work.
Theorem 6.22 Let M = Hn /Γ be a compact hyperbolic manifold. Then the
n−1
action of Γ on S∞ is ergodic.
n−1
Proof 1. Let A ⊂ S∞ be a Γ-invariant set of positive measure. Then A has
a point of Lebesgue density p ∈ Rn−1
∞ ; that is,
m(B(p, r) ∩ A)
lim = 1.
r→0 m(B(p, r))
We may assume p = 0. Let gn (x) = x/n; then gn ∈ G = Isom(Hn ). Since 0 is
a point of density, we have gn∗ (χA ) → 1 in the weak* topology on L∞ (S∞n−1
).
Since G/Γ is compact, we can write gn = γn hn with γn ∈ Γ and hn in a compact
subset of G. Then passing to a subsequence, we have hn → h, and therefore
gn∗ (χA ) = h∗n (γn∗ χA ) = h∗n (χA ) → h∗ (χA ).
Therefore h∗ (χA ) = 1, which shows χA = 1 and A has full measure. Thus Γ
acts ergodically.
n−1
Proof 2 (Ahlfors). Let A ⊂ S∞ be a Γ-invariant set of positive measure.
Then the harmonic extension of χA to Hn descends to a harmonic function
n−1
u : M → R. By the maximum principle, u is constant, and thus A = S∞ .
111
Notes. Bowen used this fact to prove that the limit set of a quasifuchsian group
is either a round circle or a Jordan curve of Hausdorff dimension d > 1 [Bo].
Corollary 6.25 The components of Ω fall into finitely many orbits under the
action of Γ.
112
Such a cocycle is also called a crossed homomorphism, since it coincides with a
homomorphism when G acts trivially on A. A 1-coboundary is a cocycle of the
form
ξ(g) = g · a − a
for some a ∈ A. The quotient space, (cocycles)/(coboundaries), gives the group
cohomology H 1 (G, A).
One can view the group H 1 (G, A) as classifying affine actions of G on A of
the form g(a) = g · a + ξ(a), up to conjugacy by translation. This explains the
cocycle rule: we need to have
g · X = gXg −1 = g∗ (X).
The group H 1 (Γ, sl2 (C)) can be interpreted as the tangent space to the
variety of homomorphisms from Γ into G, modulo conjugacy, at the inclusion.
That is, if ρt : Γ → G is a 1-parameter family of representations, with ρ0 = id,
and we set
d
ξ(g) = ρt (g)g −1 ,
dt
then ξ(g) gives a cocycle with values in sl2 (C). This cocycle is a coboundary iff
to first order we have ρt (g) = γt gγt−1 , i.e. if the deformation is by conjugacy.
From Beltrami differentials to cocycles. Now let M (X) be the space of
L∞ Beltrami differentials on X, or equivalently the space of Γ-invariant µ on C b
supported on Ω. We now define a natural map
ξ(g) = g∗ (v) − v.
113
Since µ is Γ-invariant, we have ∂ξ(g) = 0, so ξ(g) is indeed a holomorphic vector
field and therefore an element of sl2 (C). Note that the solution to ∂v = µ is
only well-defined modulo sl2 (C), but changes v by an element of sl2 (C) only
changes ξ by a coboundary.
The idea of the construction is that µ ∈ M (X) should correspond to Rie-
mann surface Xµ complex structure deformed infinitesimally in the direction µ,
plus a quasiconformal map f : X → Xµ with complex dilatation an infinitesimal
multiple of µ. Since f is infinitely close to the identity, it should be represented
by a vector field v. But the vector field does not quite live on X, because the
target of f is Xµ rather than X. On the universal cover, v is really well-defined,
and its failure to live on X is measured by the cocycle ξ(g).
Quadratic differentials. Let Q(X) be the Banach space R of holomorphic
quadratic differentials on X with finite L1 -norm: kφk = X |φ|. There is a
natural pairing M (X) × Q(X) → C given by
Z
hφ, µi = φµ.
Since hφ, φ/|φ|i = |φ|, the pairing descends to a perfect pairing on M (X)/Q(X)⊥ ×
R
Q(X). The quotient pairing is exactly that between the tangent space TX Teich(X)
and the cotangent space Q(X) = T∗X Teich(X).
Let us say µ ∈ M (X) is trivial if µ ∈ Q(X)⊥ ; that is, if µφ = 0 for all
R
Proof 1. The vector field v has an |x log x| modulus of continuity, which exactly
balances the 1/|x log x| singularity of the hyperbolic metric at the punctures
0, 1, ∞.
Proof 2. The Teichmüller space of the 4-times punctured sphere is isometric
to Z by the cross-ratio map. Thus the hyperbolic length of v(z) is the same
114
b − {0, 1, ∞, z} defined by ∂v,
as the Teichmüller length of the deformation of C
which is controlled by k∂vk∞ .
Proof 3. Let µ = ∂v. By linearity we can assume kµk∞ = 1. Let φt : C b→C b
be the unique holomorphic motion fixing 0, 1 and ∞ and with µ(φt ) = tµ. Then
f (t) = φt (z) gives a holomorphic map f : ∆ → Z. By the Schwarz lemma, with
w = d/dz, we have
Proof. At any point z ∈ Ω we can find three points {a, b, c} in ∂Ω such that
the hyperbolic metric on Ω at z is comparable to the hyperbolic metric on
b − {a, b, c}. But the length of v(z) in the hyperbolic metric on C
C b − {a, b, c} is
bounded.
1
Now the sup-norm of ρv is bounded,R while the L -norm of |φ|/ρ tends to zero as
r → ∞, so we can conclude that X0 φ∂v = 0. Since X0 and φ were arbitrary,
we find µ = ∂v ∈ M (X) is trivial.
Ker δ ⊂ Q(X)⊥ .
115
Since the pairing between Q(X) and M (X)/Q(X)⊥ is perfect, we have:
Notes. Ahlfors’ finiteness theorem fails for hyperbolic 4-manifolds; see [KP].
For another viewpoint on boundedness of kvkΩ when v|∂Ω = 0, one can use
the fact that a quasiconformal vector field has modulus of continuity x| log x|,
while the hyperbolic metric near a puncture is at worst like |dz|/|z|| log z|.
116
We have δµ = 0 iff there is a Γ-invariant solution to ∂v = µ. In this case,
v = 0 on Λ and one can again show v is bounded in the hyperbolic metric. Then
integration by parts can be justified, showing µ ∈ Qd (X)⊥ . In conclusion, we
find dim Qd (X) ≤ (2d + 1)(N − 1).
Now let us examine the integrability condition on φ = φ(z) dz d+1 . On the
punctured disk, the hyperbolic metric is given by ρ = |dz|/|z log z|. So if we
have Z
ρ1−d |φ| < ∞
U
for some neighborhood U of z = 0, then φ has at worst a pole of order d at
z = 0.
Thus if X = X − P , where X is a compact surface of genus g and |P | = n,
then Qd (X) = H 0 (X, O((d + 1)K + dP )), where K is a canonical divisor. We
have deg(K + P ) = 2g − 2 + n = |χ(X)|. By Riemann-Roch, the dimension
of Qd (X) agrees with the degree of the divisor d(K + P ), up to an additive
constant, so we have
Notes. Bers’ theorem is proved in [Bers1]. The case of a Schottky group again
shows the bound is sharp.
It is desirable to have a geometric interpretation of the cohomology H 1 (Γ, O(d)),
generalizing the case H 1 (Γ, O(2)) which measures deformations of Γ inside
PSL2 (C) and which appears in Ahlfors’ finiteness theorem. Such an interpre-
tation has been developed by Anderson. The idea is to use the embedding
P1 → Pn as a rational normal curve to extend the action of Γ to Pn , and then
investigate its deformations inside P GLn+1 (C). See [And].
For example, SL2 (Z) acts on both RP1 and RP2 = PR2+1 . The latter action
comes from the Klein and Minkowski models for hyperbolic space. The action
of P1 is rigid but the action on P2 admits deformations; see [Sch].
Theorem 6.34 (Sullivan) The limit set Λ(Γ) supports no measurable, Γ-invariant
field of tangent lines.
Equivalently, if µ ∈ M (C)
b is a Γ-invariant Beltrami differential, and if µ = 0
outside Λ, then µ = 0 a.e.
117
Let Jg(x) = |γ 0 (x)|2σ denote the Jacobian determinant of g at x for the
spherical metric. If Jg(x) = 1 on a set of positive measure, then g is an isometry
in the spherical metric and g has a fixed-point in H3 . Since Γ is torsion-free, we
conclude that for almost every x, the map
g 7→ Jg(x)
Proof. Suppose A ⊂ C has positive measure but m(A ∩ gA) = 0 for all g
outside a finite set G0 ⊂ G. Then any point of C belongs to at most n = |G0 |
translates of A. It follows that
Z X
Jg(x) dm ≤ n · m(C) < ∞,
A Γ
Proof. Suppose not. Then there is a set D ⊂ Λ of positive measure such that
(Γ, D) is dissipative. Let F ⊂ D be a measurable fundamental domain for Γ,
b denote the space of L∞ Beltrami differentials supported
and let M (F ) ⊂ M (C)
on F . Each µ ∈ F can be freely translated by Γ to give a Γ-invariant Beltrami
differential µ0 supported on D ⊂ Λ. Thus the space M (Λ)Γ of Γ-invariant
differentials supported on the limit set is infinite-dimensional.
On the other hand, the natural map
118
is injective. Indeed, if δµ = 0, then the equation ∂v = µ has a solution vanishing
on Λ, which implies µ = 0 on Λ. Since Γ is finitely-generated, the cohomology
group on the right is finite-dimensional, so we obtain a contradiction.
Lemma 6.37 Let (Γ, E) be conservative and fix > 0. Then there is a g ∈
Γ − {e} such that |Jg(x) − 1| < on a set of positive measure.
Proof. Suppose not. Then we can find > 0 such that |Jg(x) − 1| < =⇒
g = e a.e. Therefore the image of g 7→ Jg(x) is discrete a.e.: since if Jg(x) and
Jh(x) are close, then J(hg −1 )(y) is close to one at y = g(x).
Let E+ = {x : Jg(x) > 1 ∀g ∈ Γ}. Then g(E+ ) ∩ E+ = ∅ for any g 6= e,
since J(g −1 )(g(x)) = 1/Jg(x) < 1 for x ∈ E+ . By conservativity, we have
m(E+ ) = 0. By similar reasoning, we conclude that for a.e. x there are unique
elements g− , g+ ∈ Γ (depending on x) such that
2
Inducing. The preceding result is obvious if E
3
R = S∞ . Indeed, for any g ∈
Isom H , the Jacobian Jg(x) is continuous and S 2 Jg = 1, so the Jacobian is
∞
close to one on a set of positive measure.
For applications it is useful to have the following stronger statement.
Lemma 6.38 Let (Γ, E) be conservative and fix > 0 and a set F ⊂ E of
positive measure. Then there is a g ∈ Γ − {e} and a set of positive measure
A ⊂ F such that g(A) ⊂ F and |Jg(x) − 1| < for all x ∈ A.
The most conceptual formulation of this result is via inducing. First we must
generalize our setting. A partial automorphism g : E 99K E is an invertible
measurable map whose domain and range are in E. A collection of partial
automorphisms G forms a pseudo-group if whenever the composition g ◦ h of
g, h ∈ G is defined on a set of positive measure A, we have g ◦ h = k|A for
some k ∈ G. We say (G, E) is conservative if whenever m(A) > 0, we have
m(A ∩ g(A)) > 0 for infinitely many g ∈ G.
Now suppose Γ is a group acting on an invariant set E, and suppose F ⊂ E
has positive measure. Let
119
Theorem 6.39 Let Γ be any Kleinian group, and suppose (Γ, E) is conserva-
tive, E ⊂ C.
b Then E supports no Γ-invariant linefield.
Notes.
1. Sullivan’s proof appears in [Sul2]; see also [Ot, Ch. 7]. One of its first
applications, as explained in [Ot], was in the endgame of Thurston’s con-
struction of hyperbolic structures on 3-manifolds that fiber over the circle.
For a survey of the ergodic theory of Kleinian groups, see [Sul3].
2. Attached to any measurable dynamical system (Γ, E) there is a von Neu-
mann algebra A. To construct A, one first forms a bundle of Hilbert
spaces H → E/Γ whose fiber over Γx is `2 (Γx). Then A is the space of
L∞ sections of the bundle of operator algebras B(H).
One can also describe A as a space of matrices of the form T = (Txy )
with x, y ∈ E, such that Txy = 0 unless
P x and y lie in the same orbit.
Composition is defined by (ST )xz = y Sxy Tyz .
120
The space L∞ (E) forms the commutative subalgebra of diagonal operators
in A. That is, for each x ∈ E and f ∈ L∞ (E), we have a bounded operator
Fx : `2 (Γx) → `2 (Γx)
The idea of the proof is similar to the proof of Bers’ area theorem, but with
an analytical twist: we allow distributional Beltrami coefficients.
More precisely, let C ⊂ Λ be the countable set of cusps of Γ, i.e. fixed-points
of parabolic elements. Let Md (C) be the vector space of Γ-invariant (−d, 1)-
forms on C with the quality of measures. That is, µ ∈ Md (C) is locally of the
form µ(z)dz/(dz)d , where µ(z) is a measure supported on C.
121
Proof. We claim that for any cusp c ∈ C,b
X
kγ 0 (c)k3 < ∞.
Γ/Γc
Note. Sullivan’s bound on the number of cusps appears in [Sul1]. (In this
reference, the bound of 5N − 5 is misstated as 5N − 4.)
core(N ) = hull(Λ)/Γ ⊂ N,
122
is compact.
Conversely, for any convex cocompact hyperbolic manifold N , a unit neigh-
borhood M of its convex core carries a (strictly) convex hyperbolic structure.
We can complete N to a Kleinian manifold
N = (Hn ∪ Ω)/Γ,
with a complete hyperbolic metric on its interior and a conformal structure on
its boundary. The manifolds M and N are homeomorphic.
In analogy with the Teichmüller space of a Riemann surface, given a compact
oriented 3-manifold M , we can consider the space GF (M ) of all geometrically
finite hyperbolic manifolds marked by M .
A point (f, N ) ∈ GF (M ) is represented by a homeomorphism
f : M → N,
where N is an oriented Kleinian manifold, and f respects orientations. As usual,
two pairs (f1 , N 1 ), (f2 , N 2 ) are equivalent if there is an orientation-preserving
isometry ι : N 1 → N 2 and an h : M → M homotopic to the identity such that
f1
M −−−−→ N1
ιy
hy
f2
M −−−−→ N 2
commutes.
Theorem 6.42 Let M be a compact 3-manifold admitting at least one convex
hyperbolic structure. Then there is a naturally isomorphism
GF (M ) ∼
= Teich(∂M )
given by
(N, f ) 7→ (∂N, f |∂M ).
123
α
β
γ β
γ
γ α
α
This means every finitely generated subgroup of π1 (Σg ) comes from a sub-
surface of a finite-sheeted covering space.
We note that in fact the layers of pentagons surrounding a given one always
form convex regions. Indeed, the total number of edges en and right angles an
around the nth layer satisfies
! ! !
an+1 2 1 an
= ·
en+1 3 2 en
124
Figure 18. Tiling by right pentagons.
125
7.1 The notion of motion
A holomorphic motion of a set A ⊂ C b over a pointed complex manifold (Λ, λ0 )
is a map φ : Λ × A → C, written (λ, a) 7→ φλ (a), such that:
b
126
{0, 1, 2−1 , 3−1 , 4−1 , . . .}. If we twist the strands through (1, 1/2) once around
during time [0, 1/2], then those around (1/3, /1/4) once around during time
[1/3, 1/4], etc. we obtain a ‘wild braid’ in S 2 × [0, 1] and hence a motion that
cannot be extended to the sphere. (For a tameness criterion for infinite braids,
see [CJ].)
On the other hand, any continuous motion of a finite set A ⊂ S 2 does
extend — indeed a ‘radial extension’ can be constructed for small time near
each point. Also it is worth noting that there are no “knotted” Cantor sets in
S 2 ; if A ⊂ S 2 is a Cantor set, then any homeomorphism f : A → S 2 extends to
a homeomorphism of S 2 .
The proof is based on extending the holomorphic motion of the repelling periodic
points to a holomorphic motion of the whole Julia set [Mc4, §4]; see also [MSS]
[Ly].
When any of these conditions hold, we say ft (z) is a stable family of rational
maps. The largest open set X stable ⊂ X on which these conditions hold is the
stable regime. Since the set where N (ft ) achieves its maximum is open and
dense, we have:
Theorem 7.3 The stable regime is open and dense for any holomorphic family
of rational maps.
127
Remark. The unstable set X − U can have positive measure by a result of
Rees; see [Rs].
Evidentally the number of attracting cycles is locally constant at f0 if f0 is
expanding, since all critical points are already accounted for. This shows:
Examples.
1. f (z) = z 2 is expanding; thus J(z 2 + ) is a quasicircle. Note that z 2 and
z 2 + are not topologically conjugate on the whole sphere, only on their
Julia sets.
In the case of degree 2 polynomial, this conjecture implies fcn (0) converges
to an attracting cycle whenever c lies in the interior of the Mandelbrot set and
fc (z) = z 2 + c.
Theorem 7.6 Expanding dynamics is dense in Poly2 iff there is no c such that
J(fc ) has positive measure and carries an fc -invariant linefield.
128
Note: a Beltrami differential µ(z)dz/dz determines a function on the tangent
space at each point, homogeneous of degree zero, by
dz ∂ v(p)
µ(v) = µ(p) v(p) = µ(p) ·
dz ∂z v(p)
p
Thus µ(v) > 0 iff v(p) ∈ R · µ(p). The linefield associated to a Beltrami
differential µ is defined by
Lp = {v ∈ Tp C
b : µ(v) > 0}
Conjecture 7.7 Any rational map that carries an invariant line field on its
Julia set is double-covered by an integral endomorphism of a complex torus.
The extended motion can be chosen such that µ(Φt ) is a harmonic Beltrami
b − A, in which case the extension is unique.
differential on C
Example. Define (
z + λ/z |z| ≥ 1,
φλ (z) =
z + λz |z| < 1.
Note that φλ maps the unit circle to an ellipse. We have µλ = µ(φλ ) = λdz/dz
on ∆ on µ = 0 elsewhere, so µλ varies holomorphically.
The Ahlfors-Weill extension as a holomorphic motion. Let X be the
ball of radius 1/2 in the space of L∞ holomorphic quadratic differential φ on
H. Then X has the structure of an infinite-dimensional complex manifold. To
129
each φ ∈ X we can associate the unique univalent map fφ : H → Cb which fixes
(0, 1, ∞) and satisfies Sf = φ. Thus we obtain a holomorphic motion
F :X ×H→C
b
µ(fλ ) = ρ−2
X φλ (z),
Sections of the universal curve. The universal curve over Teichmüller space
is the complex fiber bundle Cg → Tg such that the fiber over [Y ] is Y itself. More
precisely, the universal curve is the quotient of Tg,1 by the subgroup π1 (Σg ) ⊂
Modg,1 coming from the kernel of the map Modg,1 → Modg . Alternatively, Cg
is the pullback of the natural fibration Mg,1 → Mg under the covering map (of
orbifolds) Tg → Mg .
From [Hub] we have following result.
(dual to the derivative of s at X). (Note that Q(X) naturally forms a subspace
of Q(X − {p}), namely the subspace of differentials holomorphic at p.) Using
Riemann-Roch and a differentiability argument, one shows such a projection
cannot exist.
130
Remark. For genus 2, the 6 Weierstrass points provide sections.
φ : U × (−H) → C
b
Slodkowski’s theorem.
ρ : X × G → Aut C,
b
Lemma 7.14 Let g, h ∈ Aut C b be elements other than the identity, and let
G = hg, hi be the subgroup they generate. Then exactly one of the following
possibilities holds.
131
1. G ∼
= Z/2 × Z/2. Then the fixed-points of g and h are disjoint.
2. G is an abelian group other than Z/2 × Z/2. Then the fixed points sets of
g and h coincide.
3. [G, G] is an infinite, torsion-free group of parabolics. Then g and h share
exactly one fixed-point.
4. G is none of the above. Then the fixed-points of g and h are disjoint.
G1 = hz 7→ z + 1, z 7→ −zi,
G2 = hz 7→ 2z, z 7→ 1/zi
are both isomorphic to Z/2 n Z, but they have different fixed-point structures.
The generators of G1 have a common fixed-point and those of G2 do not. This
is the one instance where the isomorphism type of G does not determine the
fixed-point structure.
Proof of Theorem 7.13. Since X is connected, it suffices to prove the theorem
locally. Thus we can restrict to the case where X = ∆.
Notice ρt (g) is parabolic for one value of t iff it is parabolic for all values. Oth-
erwise tr ρt (g) would be a nonconstant holomorphic function passing through
the value 2; but then for some s and s we would have tr ρs (g) = 2 cos(π/n),
which implies ρs (g n ) = 1, contradicting faithfulness.
Let Λt be the closure of the fixed points of the elements of Γt = ρt (G)
other than the identity. Then Λt is a closed, Γt -invariant set. Since ρt (g) is
parabolic iff ρ0 (g) is parabolic, the fixed-points of individual elements move
holomorphically. By the preceding Lemma, fixed-points of g and h coincide for
ρ0 iff they coincide for all ρt . Thus Λt moves by a holomorphic motion, which
is also a conjugacy for the action of Γt .
132
The action of Γt on C b − Λt = Ωt is free. Thus if |Λt | < 3, we can extend it by
an orbit of Γt until |Λt | ≥ 3 and it is still moving by a holomorphic conjugacy.
Now let φt : ∆(1/3) × C b →C b be the Bers-Royden extension of the motion
of Λt . For any g ∈ G, the holomorphic motion
ψt = ρt (g)−1 ◦ φt ◦ ρ0 (g)
is also an extension of the motion of Λt , with µ(ψt ) harmonic. Since the Bers-
Royden extension is unique subject to this condition, we have ψt = φt .
In other words, by naturality the Bers-Royden extension commutes with the
action of G, and therefore it provides a quasiconformal conjugacy between ρ0
and ρt whenever |t| < 1/3. This proves the Theorem locally, and the global
version follows from connectedness of X.
Here is a variant:
Theorem 7.15 Let ρt : G → Aut C b be a holomorphic family of representations
over a connected base X. If ρt (G) is discrete and nonelementary for all t, then
all the representations are quasiconformally conjugate.
133
Theorem 7.18 (Sullivan) A structurally stable finitely-generated Kleinian group
Γ is convex cocompact.
Corollary 7.19 The set CC(G) coincides with the interior of AH(G).
In other words, we do not yet know that structural stability is dense (in
AH(G)), but we do know that structural implies hyperbolicity (i.e. the ex-
panding property of G on its limit set).
Cusps. We remark that many important groups — since as the fundamental
groups of knot complements — do contain Z ⊕ Z. For these groups CC(G) is
empty, even though AH(G) may not be. To formulate an appropriate result in
this setting, one must restrict to the representations where the Z ⊕ Z subgroups
are parabolic.
Quasifuchsian groups. To explain Sullivan’s result, we will treat the case of
a surface group, G = π1 (S) where S is a closed surface of genus g ≥ 2.
Theorem 7.22 Suppose Γ ∼ = π1 (S) has two invariant components in its domain
of discontinuity. Then Γ is quasifuchsian.
Proof. Let M = (H3 ∪ Ω)/Γ. Since the limit set is connected, ∂M is incom-
pressible. By assumption, there are two compact components X0 and X1 in ∂M
such that the inclusion of each is a homotopy equivalence. By taking a homotopy
from X0 to X1 , we obtain a degree-one homotopy equivalence f : S ×[0, 1] → M
sending S × {i} to Xi . Thus M is compact and ∂M = X0 ∪ X1 .
At this point we know Γ is convex cocompact. To prove Γ is quasifuchsian,
one can appeal to theorems in 3-dimensional topology that show M is homeo-
morphic to S × I (cf. [Hem, Ch. 10]).
134
Compare [Msk].
Proof of Theorem 7.20. Let ρ0 : G = π1 (S) → Γ be a point in V(G)
representing Γ. By assumption, all ρt close enough to ρ are quasiconformally
conjugate to ρ0 .
By counting dimensions (2g generators, one relation, and one more conju-
gating element), we have
6g − 6 = dim Teich(C,
b Γ) = dim Teich(X).
G = ha, bi ∼
= π1 (S),
135
subject to the relation that ρ([a, b]) is parabolic. Geometrically, this condition
forces ∂S to be realized as a cusp.
The traces (α, β, γ) of
V0 (G) ⊂ C3
tr AB + tr A−1 B = tr A tr B, (7.2)
Now for any slope s ∈ Q ∪ {∞}, there is a unique pair of conjugacy classes
w∈G∼ = π1 (S) represented by simple closed curves of slope s. (There is a pair
because w and w−1 have the same slope.) It turns out that we have
136
where Ps is a polynomial. This polynomial, and the words w representing a given
slope, are easily computed recursively using the action of SL2 (Z). Namely, to
compute Ps we find an element T ∈ SL2 (Z) sending s to 0; then we compute
the polynomial action of T on V(S); and finally we observe that Ps (α, β, γ) is
nothing more than the first coordinate of T .
The standard tiling of the unit disk by ideal triangles is a convenient way to
organize this computation. Starting with a pair of triangles forming a quadrilat-
eral, we recursively fill out the hyperbolic plane by inserting reflection through
the edges. Each time a new triangle is added along an edge E, the element w of
the free group for the new vertex v is the product of the elements at the vertices
of E. The trace of the new element is determined by the (previously calculated)
traces of other three elements on the vertices of the quadrilateral with diagonal
E. Finally the slope p/q of w is determined from the slopes a/b and c/d of the
words at the vertices of E by Farey addition:
p a+c
= ·
q b+d
In is thus straightforward to calculate Ps (α, β, γ) for any rational slope s = p/q.
A
A^2B
AB^{−1} AB
AB^2
(γ − α)2 = −4,
β = 2 and γ = α + 2i,
ρα : G → Aut C,
137
α ∈ X = C, given by the matrices:
! !
0 i 1 2
A = , B = ,
i α ! 0 1 !
0 i 1 −2
AB = , [A, B] = .
i α + 2i 2 −3
Figure 20. Limit set for Γα in Maskits’ embedding of T1,1 . The unbounded
domain uniformizes a punctured torus; the round disks, triply-punctured spheres.
138
2.0
0.0
139
fact it winds an infinite amount around most boundary points that correspond
to quadratic irrationals.)
Notes. The case of punctured-torus groups we examine above has been much-
studied. See, for example, [Wr], [MMW], [Mc5, §3.7], [KS1], [KS2].
A critical orbit relation of fλ is a set of integers (i, j, a, b) such that f a (ci (λ)) =
f b (cj (λ)); here a, b ≥ 0.
The set X post ⊂ X0 of postcritically stable parameters consists of those λ
such that the set of critical orbit relations is locally constant. That is, λ ∈ X post
if any coincidence between the forward orbits of two critical points persists
under a small change in λ. This is clearly necessary for topologically stability,
so X top ⊂ X post .
The main result of this section, whose proof is completed in the next, is:
Theorem 7.23 In any holomorphic family of rational maps, the topologically
stable parameters are open and dense.
Moreover the structurally stable, quasiconformally stable and postcritically
stable parameters coincide (X top = X qc = X post ).
This result was anticipated and nearly established in [MSS, Theorem D]. It
is completed in [McS].
Definition. Let fλ (z) be a holomorphic family of rational maps over (X, x).
A holomorphic motion respects the dynamics if it is a conjugacy: that is, if
φλ (fx (a)) = fλ (φλ (a))
whenever a and fx (a) both belong to A.
2 In the terminology of smooth dynamics, these are the structurally stable parameters in
the family X.
140
Theorem 7.24 For any x ∈ X post , there is a neighborhood U of x and a holo-
morphic motion of the sphere over (U, x) respecting the dynamics.
be the graph of the multivalued function fλ−1 (q(λ)). If q(λ) has a preimage under
fλ which is a critical point ci (λ), then this critical point has constant multiplicity
and the graph of ci forms one component of Z. The remaining preimages of q(λ)
have multiplicity one, and therefore π −1 (λ) has constant cardinality as λ varies
in V . Consequently Z is a union of graphs of single-valued functions giving a
holomorphic motion of fx−1 (q(x)).
The preimages of q(λ) under fxn are treated similarly, by induction on n,
giving a holomorphic motion of the grand orbits compatible with the dynamics.
By the λ-lemma, this motion extends to one sending Pb(x) to Pb(λ), where
P (λ) denotes the closure of the grand orbits of the critical points of fλ .
b
If |Pb(x)| ≤ 2, then fλ is conjugate to z 7→ z n for all λ ∈ V ; the theorem is
easy in this special case. Otherwise Pb(x) contains the Julia set of fx , and its
complement is a union of hyperbolic Riemann surfaces.
To conclude the proof, we apply the Bers-Royden Harmonic λ-lemma to
extend the motion of Pb(x) to a unique motion φλ (z) of the whole sphere, such
that the Beltrami coefficient µλ (z) of φλ (z) is harmonic on C b − Pb(x). This
motion is defined on a polydisk neighborhood U of x of one-third the size of V .
For each λ in U the map
b − Pb(λ)) → (C
fλ : (C b − Pb(λ))
is a covering map. Define another extension of the motion to the whole sphere
by
ψλ (z) = fλ−1 ◦ φλ ◦ fx (z),
141
where z ∈ Cb − Pb(x) and the branch of the inverse is chosen continuously so that
ψx (z) = z. (On Pb(x) we set leave the motion the same, since it already respects
the dynamics).
The rational maps fλ and fx are conformal, so the Beltrami coefficient of
ψλ is simply fx∗ (µλ ). But fx is a holomorphic local isometry for the hyperbolic
metric on Cb − Pb(x), so it pulls back harmonic Beltrami differentials to harmonic
Beltrami differentials. By uniqueness of the Bers-Royden extension, we have
ψλ = φλ , and consequently the motion φ respects the dynamics.
Theorem 7.26 The postcritically stable parameters are open and dense in the
set of J-stable parameters.
Proof. Using Corollary 7.25, we have X post ⊂ X stable because X post = X top
and topological conjugacy preserves the number of attracting cycles. By defini-
tion X post is open, so it only remains to prove it is dense in X stable .
Let V ∼= ∆m ⊂ X stable be any polydisk on which number of critical points of
fλ is constant. The advantage of working on V is that we can label the critical
points of fλ (z) by holomorphic functions ci : V → C, b i = 1, . . . , n.
Fixing i and j, we will show there is an open dense subset of V on which
the critical orbit relations between i and j are constant. This will suffice to
complete the proof, since the intersection of a finite number of open dense sets
is again open and dense.
Since V is a simply-connected subset of the J-stable regime, over V the
dynamics on the Julia set is canonically trivialized. In particular, the critical
points in the Julia set remain there and their critical orbit relations are constant.
So we may assume ci and cj lie outside the Julia set.
142
For any κ, λ ∈ V , there is a canonical correspondence between the compo-
nents of the Fatou sets Ω(fκ ) and Ω(fλ ). This correspondence commutes with
the induced dynamics on the set of components. It also preserves the types of
periodic components, except that an attracting component may become super-
attracting or vice-versa.
We begin by considering the case i = j. Suppose the relation f a (ci ) = f b (ci )
for some a < b holds throughout V . Then there are only a finite number of
possibilities for the set of all critical self-relations of ci . Each self-relation either
holds throughout V or on a proper complex-analytic subset of V . Thus there is
an open dense set — the complement of a complex subvariety — on which the
self-relations of ci are constant.
Next suppose the relation f a (ci ) = f b (ci ) holds at λ0 ∈ V but not through-
out V . Then there exists a periodic point p(λ) such that f b (ci ) = p for λ = λ0 .
The point p is the center of an attracting or superattracting basin, or a Siegel
disk. By assumption, the relation f b (ci ) = p only holds on a proper analytic
subvariety W ⊂ V . For all λ ∈ V − W near λ0 , the forward orbit of the critical
point lands near but not on the center of the basin. Thus ci has an infinite
forward orbit for such λ, and in particular its self-relations are constant on an
open dense set.
Finally it may be that no relation of the form f a (ci ) = f b (ci ) ever hold in
V . Then the forward orbit of ci is always infinite and the set of self-relations is
constant in this case as well.
Since we have shown the regime where the self-relations among critical points
are constant is open and dense, we may now replace V with a polydisk contained
in this regime.
Now consider two critical points ci , cj , i 6= j, lying outside of the Julia set.
Suppose there is a critical point relation f a (ci ) = f b (cj ) for λ = λ0 . Then ci
either both have infinite orbits or both have finite orbits. In the latter case,
only a finite number of patterns of orbit relations are possible. In the former
case, if the given relation holds throughout V then again only a finite number
of patterns are possible. In either case on such pattern holds outside a complex
subvariety of V , and hence on an open dense set.
So we are finally reduced to the case where ci and cj both have infinite for-
ward orbits, and the relation f a (ci ) = f b (cj ) holds only on a proper subvariety
W ⊂ V containing λ0 . To complete the proof, we will show there is an open set
U with λ0 ∈ U such that ci and cj have no orbit relations for λ ∈ U .
Increasing a and b if necessary, we can assume the point
p = fλa0 (ci (λ0 )) = fλb0 (cj (λ0 ))
lies in a periodic component of the Fatou set. If this periodic component is an
attracting, superattracting or parabolic basin, we may assume that p lies close
to the corresponding periodic cycle.
In the attracting and parabolic cases, we claim there is a ball B containing
p such that for all λ sufficiently close to λ0 , the sets
hfλn (B) : n = 0, 1, 2, . . .i
143
are disjoint and fλn |B is injective for all n > 0. This can be verified using the
local models of attracting and parabolic cycles. Now for λ near λ0 but outside
the subvariety where (∗) holds, fλa (ci (λ)) and fλb (cj (λ)) are distinct points in B.
Thus ci (λ) and cj (λ) have disjoint forward orbits and we have shown λ0 is in
the closure of the interior of Vij .
In the superattracting case, this argument breaks down because we cannot
obtain injectivity of all iterates of fλ on a neighborhood of p. Instead, we will
show that near λ0 , ci and cj lie on different leaves of the canonical foliation of
the superattracting basin, and therefore have distinct grand orbits.
To make this precise, choose a local coordinate with respect to which the dy-
namics takes the form Z 7→ Z d . More precisely, if the period of the superattract-
ing cycle is k, let Zλ (z) be a holomorphic function of (λ, z) in a neighborhood
of (λ0 , p), which is a homeomorphism for each fixed λ and which satisfies
Zλ (fλk (z)) = Zλd (z).
(The existence of Z follows from classical results on superattracting cycles; cf.
[CG, §II.4].) Since (∗) does not hold throughout V , there is a neighborhood V
of λ0 on which
Zλ (fλa (ci (λ))) 6= Zλ (fλb (cj (λ)))
unless λ = λ0 . Note too that neither quantity vanishes since each critical point
has an infinite forward orbit. Shrinking V if necessary we can assume
|Zλ (fλa (ci (λ)))|d < |Zλ (fλb (cj (λ)))| < |Zλ (fλa (ci (λ)))|1/d
for λ ∈ V . If we remove from V the proper real-analytic subset where
|Zλ (fλa (ci (λ)))| = |Zλ (fλb (cj (λ)))|,
we obtain an open subset of Vij with λ0 in its closure. (Here we use the fact
that two points where log log(1/|Z|) differs by more than zero and less than
log d cannot be in the same grand orbit.)
Finally we consider the case of a Siegel disk or Herman ring of period k. In
this case, for all λ ∈ V , the forward orbit of ci (λ) determines a dense subset
of Ci (λ), a union of k invariant real-analytic circles. This dynamically labeled
subset moves injectively as λ varies, so the λ-lemma gives a holomorphic motion
φ : V × Ci (λ0 ) → C,
b
which respects the dynamics. For each fixed λ, φλ (z) is a holomorphic function
of z as well, since fλ is holomorphically conjugate to a linear rotation in domain
and range.
By assumption, fλb (cj (λ)) ∈ Ci (λ) when λ = λ0 . If this relation holds on an
open subset V of V , then
g(λ) = φ−1 b
λ (fλ (cj (λ)))
144
and cj (λ) have disjoint forward orbits for all λ outside the proper real-analytic
subset of V where fλb (cj (λ)) ∈ Ci (λ).
From the proof we have a good qualitative description of the set of points
that must be removed to obtain X top from X stable .
Corollary 7.27 The set X stable is the union of the open dense subset X top and
a countable collection of proper complex and real-analytic subvarieties. Thus
X top has full measure in X stable .
The real-analytic part occurs only when fλ has a foliated region (a Siegel
disk, Herman ring or a persistent superattracting basin) for some λ ∈ X stable .
f
C
b −−−−→ C
b
commutes. (Compare [Lat].)
Definition. A rational map f is double covered by an integral torus endomor-
phism if it arises by the above construction.
It is easy to see that repelling periodic points of F are dense on the torus,
and therefore the Julia set of f is equal to the whole sphere. Moreover, F and
z 7→ −z preserve the line field tangent to geodesics of a constant slope on X
(or more formally, the Beltrami differential µ = dz/dz), and therefore f has an
invariant line field on C.
b
Conjecture 7.29 (No invariant line fields) A rational map f carries no in-
variant line field on its Julia set, except when f is double covered by an integral
torus endomorphism.
145
Theorem 7.30 The no invariant line fields conjecture implies the density of
hyperbolic dynamics in the space of all rational maps.
Proof. Let X = Ratd be the space of all rational maps of a fixed degree d > 1,
and let X qc be the open dense set of quasiconformally stable maps in this
universal family. Let f ∈ X qc . Then Teich(C,b f )/ Mod(C,
b f ) parameterizes the
qc
component of X / Aut(C) containing f . Since the modular group is discrete
b
and Aut(C)b acts with finite stabilizers, we have
Theorem 7.31 The no invariant line fields conjecture implies the density of
hyperbolic maps in the space of polynomials of any degree.
146
8 Iteration on Teichmüller space
In this section we will develop Thurston’s topological characterization of criti-
cally finite rational maps. Of central interest is the construction of a rational
map with given combinatorics, via iteration on Teichmüller space. This iteration
is similar to, but simpler than, the iteration leading to a hyperbolic structure
on an atoroidal Haken 3-manifold.
Theorem 8.1 Let f be a critically finite rational map, and A its set of periodic
critical points. Then either
• A 6= ∅, the Julia set J(f ) has measure zero, and every z ∈ C
b − J(f ) is
attracted to A; or
• A = ∅, J(f ) = C
b and the action of f on the sphere is ergodic.
147
Note that N (p) > 1 iff p ∈ P (f ). The orbifold of f , denote Of , has underlying
space S 2 and a singular point of order N (p) at each point in P (f ). If N (p) = ∞
then we introduce a puncture at p. The list of values of N (p) along P (f ) is the
signature of Of .
The Euler characteristic of the orbifold is given by
X 1
2
χ(Of ) = χ(S ) − 1− .
N (p)
P (f )
Corollary 8.3 Let f be a critically finite rational map; then kf 0 zk > 1 for all
z with f (z) ∈ Of .
Proof. The main case occurs when Of is hyperbolic, so we treat this case first.
Let π : H → Of be the universal covering map. Condition (8.1) guarantees that
for all q = f (p), we have
deg(f, p)N (p)|N (q).
Thus f −1 can be lifted to the local manifold coverings of Of at p and q: that
is, for uniformizing parameters z and w near p and q, we have
and therefore
−1 (w) = w N (q)/(N (p) deg(f,p)) .
z = fg
−1 such
Because of this local lifting, on the universal cover we obtain a map fg
that the diagram
−1
fg
H ←−−−− H
πy
πy
f
b −−−
C −→ C
b
commutes. If fg−1 were an isometry, then f would be too, contradicting the
−1 contracts the
abundance of repelling cycles. Thus by the Schwarz lemma, fg
0
hyperbolic metric, and consequently kf k > 1.
148
In the Euclidean case one finds f : Of → Of is a covering map, and kf 0 k =
deg(f ) or deg(f )1/2 depending on whether or not Of is compact.
Examples.
1. The orbifold for f (z) = z n is Euclidean, with signature (∞, ∞).
2. The orbifold for f (z) = z 2 − 1 in hyperbolic with signature (∞, ∞, ∞).
3. The map f (z) = z 2 + i has a hyperbolic orbifold with signature (∞, 2, 2, 2)
(here P (f ) = {∞, i, −1 + i, −i}).
4. The Lattès example
2
z−i
f (z) =
z+i
has P (f ) = {0, ∞, −1, 1} with signature (2, 2, 2, 2) and is thus Euclidean.
Affine maps. The orbifold provides a clean way to isolate exceptional branched
covers related to toral endomorphisms. Suppose Of has signature (2, 2, 2, 2).
Then Of is canonically double-covered by a torus T , and f lifts to an endo-
morphism F : T → T . The action of F on H1 (T, Z) determines an element
A(f ) ∈ GL2 (Z)/{±1} with det(A(f )) = deg(f )2 , and F is isotopic to the affine
linear map
A(f ) : R2 /Z2 → R2 /Z2 .
If A(f ) = nI ∈ Z, we say f is an affine branched cover. Thus:
Theorem 8.5 A rational map f is affine iff f ∗ φ = deg(f )φ for some nonzero
quadratic differential φ ∈ Q(C
b − P (f )).
149
impossible.) Therefore φ has no zeros, and thus φ(z) has exactly 4 poles. These
poles are located in P (f ).
Moreover every point in P (f ) must be a pole of φ. For if N (z) ≥ 2
and z ∈ P (f ), then f n (w) = z for some critical point w, and thus N (w) =
deg(f n , w)N (z) > 2, contrary to the fact that φ has no zeros.
It now straightforward to see that f : Of → Of is a covering map of orbifolds,
and thus f lifts to an endomorphism F of the characteristic torus covering
T → Of . Then F preserves the pullback of φ, so F is an integral endomorphism.
φ
b − P (f ) −−−
C −→ C
b − P (g)
where the vertical maps f and g are covering maps between multiply-punctured
spheres.
Now tighten the lower arrow φ as much as possible relative to the post-critical
set. That is, deform φ to the Teichmüller mapping
b − P (f ) → C
ψ0 : C b − P (g)
ψ0
b − P (f ) −−−
C −→ C
b − P (g).
Since f and g are conformal maps, the dilatation satisfies K(ψ1 ) = K(ψ0 ). But
ψ0 and ψ1 are homotopic rel P (f ), since they are both homotopic to φ (and
Q(f ) ⊃ P (f )).
By uniqueness of the Teichmüller mapping, we have ψ0 = ψ1 . So we will
remove the subscript and simply denote the Teichmüller map by ψ.
150
If ψ is conformal, then it provides a conformal conjugacy between g and f ,
so we have proved rigidity.
Now suppose ψ is strictly quasiconformal, and let α be its associated quadratic
differential. Then f ∗ (α) = deg(f )α because f and ψ commute. More geomet-
rically, the foliations of α are invariant under f , so f ∗ α = Rα for some R > 0,
and Z Z
∗ ∗
kf αk = |f α| = deg(f ) |α| = deg(f )kαk
C
b C
b
determines R = deg(f ).
By Theorem 8.5, f is affine, so we are done.
φ ◦ F ◦ ψ −1 (z) = z d
for some d ≥ 1.
We wish to recognize rational maps among branched coverings of the sphere.
In the absence of dynamics, all branched coverings are representec by rational
maps.
f
b −−−
C −→ C
b
commutes.
151
Proof. Take the standard complex structure on S 2 , pull it back by f and apply
the uniformization theorem.
In more detail: identify S 2 with C
b in the usual way, let h1 = id and let h0
solve the Beltrami equation
(h0 )z Fz
= = µ.
(h0 )z Fz
Remark. By the same method one can show a uniformly quasiconformal group
Γ acting on Cb is quasiconformally conjugate to a subgroup of PSL2 (C).
On the other hand, Freedman and Skora have constructed a uniformly qua-
siconformal group Γ ⊂ Diff(S 3 ) that is not even topologically conjugate to
a
S Möbius 3group [FS]. Their proof uses the fact that a finite link of circles
Ci ⊂ S is unlinked iff every pair of circles is unlinked. For example, the
Borromean rings cannot be made out of round rings.
152
8.4 Combinatorial equivalence and Teichmüller space
Let f : S 2 → S 2 be a branched covering. Just as for a rational map, we say f is
critically finite if |P (f )| < ∞, in which case the orbifold Of with singularities
or punctures along P (f ) is defined. For a branched covering, Of is simply a
smooth orbifold — it has no complex structure.
Let f and g be critically finite branched covers of the sphere. We say f and
g are combinatorially equivalent if there are homeomorphisms φ0 , φ1 such that
φ1
(S 2 , P (f )) −−−−→ (S 2 , P (g))
gy
fy
φ0
(S 2 , P (f )) −−−−→ (S 2 , P (g))
φt : (S 2 , P (f )) → (S 2 , P (g))
connecting φ0 and φ1 .
Roughly speaking, two branched coverings are combinatorial equivalent if
they are isotopic rel their postcritical sets.
If f and g are rational, we can pull φ0 taut (take its Teichmüller representa-
tive); then its lift is the taut representative of φ1 rel Q(f ), but generally it can
be relaxed by only pinning down its values on P (f ) ⊂ Q(f ). Thus the argument
proving the Rigidity Theorem 8.6 also shows:
Theorem 8.10 A critically finite branched covering of the sphere with hyper-
bolic orbifold is combinatorially equivalent to at most one rational map (up to
conformal conjugacy).
f : (S 2 , A) → (C,
b B).
153
The cotangent space is Q(C,
b B) = Q(C−B),
b the space of meromorphic quadratic
differentials on C with at worst simple poles on B and holomorphic elsewhere.
b
Iteration. Now let F : S 2 → S 2 be a critically finite branched cover. Starting
with a complex structure (C,b P0 ) ∈ Teich(S 2 , P (F )), and use the covering
F : (S 2 , Q(F )) → (S 2 , P (F )),
b − Q0 → C
The covering C b − P0 then prolongs to a rational map
b P1 ) → (C,
f0 : (C, b P0 ).
If (C,
b Pi ) converges in Teichmüller space, we will still obtain a fixed-point, and
indeed the mappings fi will converge to the desired rational map f .
154
• Some iterate TFk contracts the Teichmüller metric; that is,
kDTFk k < 1
b P1 ) → (C,
f : (C, b P0 )
Of course kµ0 k∞ = kµ1 k∞ ; to compute kDTF k, we must use the fact that
the tangent space is a quotient of the space of Beltrami differentials. To do this,
we consider the coderivative on quadratic differentials,
(DTF )∗ : Q(C
b − P1 ) → Q(C
b − P0 )
which is given by
(DTF )∗ (φ1 ) = f∗ (φ1 ) = φ0 .
(Note that hφ1 , f ∗ µ0 i = hf∗ φ1 , µ0 i.) Under pushforward the total mass of the
area form |φ1 | cannot increase, but there may be a decrease due to cancellation
between corresponding sheets of f . Thus
k(DTF )∗ k ≤ 1.
155
Remark. There are examples where TF is not contracting but an iterate
is. For example, suppose F is a mating of two strictly pre-periodic quadratic
polynomials. Then there is a set E ⊂ P (f )| with |E| = 4 such that F −1 (E) ⊂
P (f ) ∪ C(f ). Namely we can take E to consist of the critical values together
with the first periodic point in each of their forward orbits. A differential with
poles only at E has the property that its pullback has poles only on P (f ), and
then its pushforward is not contracted.
The map TF is never uniformly contracting.
-1 1
-1
-2
Q(f ) = {q−n < q−n+1 < . . . < q−1 = 0 = q1 < q2 < . . . < qn },
pi = qk(i) , i = 1, . . . , n. (8.3)
156
Figure 22 shows the example f (x) = x2 − 1.83232 . . . with |P (f )| = 7. In
this example k assumes the values h−7, 5, 2, −6, 3, −4, 1i on 1, 2, . . . , 7.
We also know P (f ) ⊂ J(f ) ⊂ [−2, 2]. Using just the kneading data k(i), we
can define a map
Tk : [−2, 2]n → [−2, 2]n
by sending a candidate (p1 , . . . , pn ) for P (f ) to a candidate Q(f ) by (8.2), then
re-indexing a subset by (8.3) to obtain a new candidate √ P (f ) ⊂ [−2, 2]. (The
√
new candidate lies in [−2, 2] since | pi − p1 | ≤ 4 = 2.)
If the kneading data k conforms to an actual quadratic polynomial f , then
Tk (P (f )) = P (f ) so Tk has a fixed-point. Conversely, if Tk fixes (p1 , . . . , pn ),
then f (x) = x2 + p1 has the kneading sequence k. By the rigidity theorem
proved before, we can conclude:
Theorem 8.13 The map Tk has at most one fixed-point (p1 , . . . , pn ) consisting
of n distinct points.
Proof. Reduce to the case A = {1 < |z| < r}, B = {1 < |z| < s} and
f (z) = z d ; then r = s1/d .
Equality
S holds iff, in the extremal metric on B, each Ai is a right subcylinder
and Ai = B.
157
Proof. Let Γ be the set of arcs joining the ends of B. Let ρi be the extremal
metric
Pon Ai , making Ai into a right
P unit cylinder of height Pmod(Ai ); and let
ρ= ρi . Then areaρ (B) = 2π mod(Ai ), and `ρ (γ) ≥ mod(Ai ) for any
arc γ ∈ Γ, so X
mod(B) = 2πλ(Γ) ≥ mod(A).
For equality to hold, ρ must be the extremal metric on B, and thus the Ai must
form a partition of B into right subcylinders.
2π 2
mod(Xγ ) = ·
`X (γ)
2π 2
mod(A) ≤
`X (γ)
158
Lemma 8.19 Let A ⊂ C be an annulus. Then if mod(A) is large enough,
there is a round annulus B = {z : a < |z − c| < c} nested in A such that
mod(A) = mod(B) + O(1).
bounded by nearly round curves, and hence A contains a round annulus B with
mod(B) ≥ mod(A) − 4 log R.
where the sum is over all short geodesics α on X with ι(α) homotopic to γ. Here
short means of length less than n > 0, and the constant in O(1) also depends
on n.
B ⊂Y =C−F
with
mod(B) = `Y (γ)−1 + O(1) 1.
Now the circles through E ∩ B cut B into at most n concentric annuli
A1 , . . . , Am , each in the homotopy class of a geodesic αi on X = C − E. Then
X X 1
mod(B) = mod(Ai ) = + O(1).
`X (αi )
The geodesics which are not short contribute O(1) to the sum, so we have the
Corollary.
159
2 0 3 4 1
A = (C − R) ∪ (p2 , p4 ) ∪ (p3 , p1 ) ⊂ C
b − P (f ).
where the sum is taken over components α of f −1 (δ) which are isotopic to γ.
Let λ(Γ) ≥ 0 denote the spectral radius of M (Γ). By the Perron-Frobenius
theorem, λ(Γ) is an eigenvalue for M (Γ) with non-negative eigenvector.
160
b →C
Theorem 8.21 Let f : C b be a critically finite rational map. Then either:
Proof. Let hAγ i be any collection disjoint annuli in the homotopy classes
represented by Γ on Cb − P (f ). Fixing γ ∈ Γ, consider the curves {α} ⊂
−1
S
f ( Γ) with α isotopic to γ. For each such α, with f (α) = δ ∈ Γ, there is a
corresponding annulus Bα ⊂ f −1 (Aδ ) with
mod(Aδ )
mod(Bα ) = .
deg(f : α → δ)
These Bα are disjoint and nested, so we can form a single annulus A0γ ⊃
S
Bα
in the same homotopy class. Then
X X
mod(A0γ ) ≥ mod(Bα ) = Mγδ mod(Aδ ).
α δ
Now suppose λ(Γ) > 1. Starting with any system of annuli A0 = hA0γ i, by
pulling back and regrouping as above we obtain systems Ai with the vector of
moduli satisfying
mod(Ai ) ≥ M (Γ)i mod(A0 ).
If λ(Γ) > 1 then this vector grows without bound, contrary to the fact that
mod(Aiγ ) is bounded above in terms of the hyperbolic length of γ.
Thus λ(Γ) ≤ 1 for any rational map f .
In case λ(Γ) = 1, there is a vector of moduli (mγ ) fixed by M (Γ). Using a
result of Strebel, one finds the extremal metrics for annuli of maximum moduli
proportional to (mγ ) piece together to give a metric |φ| from a holomorphic
quadratic differential [Str2]. Because of equality the pullback annuli must dissect
the extremal ones into right cylinders, we find f ∗ φ = deg(f )φ, and thus f is
affine.
So in fact λ(Γ) < 1 unless f is affine. For an affine map, |P (f )| = 4 and
thus Γ consists of a single curve γ. This curve has n pre-images, each mapping
by degree n, as can be seen by lifting γ to a geodesic on the torus double cover
of C.
b Thus M (Γ) = 1.
161
whose roots coincide with E. Conversely, if the discriminant D(p) 6= 0 then p
has n − 1 distinct roots. If we send E to λE, λ ∈ C∗ , then ai 7→ λi+1 ai . Modulo
this action, the coefficients of p determine a point [p] in a weighted projective
space P = Pn−3
w . The discriminant vanishes on a subvariety D ⊂ P , and we see:
P −D ∼
= (n − 1-tuples E ⊂ C)/ Aut(C)
∼
= (n-tuples F ⊂ Cb with one distinguished point)/ Aut(C).
b
Lemma 8.24 We have kDTF (X)k < C([X]) < 1 where C([X]) is a continuous
function depending only on the location [X] of X in the moduli space M0,n ,
n = |P (F )|.
b P0 ) representing a point in M0,n ,
Proof. As in the preceding lemma, given (C,
there are only finitely maps
b P1 ) → (C,
f0 : (C, b P0 )
that arise from TF . Since kDTF k = kf∗ k < 1 for each of these maps, we obtain
a bound depending only on the location of (C,b P0 ) in M0,n .
162
Remark. Alternatively, let R0 ⊂ R denote the component of R covered by
the graph of TF . Then at any point ([X], [Y ]) ∈ R0 , the derivative DR0 of
the local correspondence in the Teichmüller metric on M0,n is well-defined, and
agrees with the derivative of TF over this pair. Thus kDTF (Xi )k → 1 implies
([Xi ], [TF (Xi )]) → ∞ in R0 , which implies Xi → ∞ in M0,n .
λ(Γ) < 1
λ(Γ) ≥ 1
Xi = TFi (X0 ).
Then kDTF (Xi )| < C(Xi ) < 1 where C(Xi ) depends only on the location of
[Xi ] in moduli space M0,n . Let
p0 ⊂ Teich(S 2 , P (F ))
i
be the geodesic segment joining X0 to X1 , and let S pi = TF (p0 ). If [Xi ] is
contained in a compact
S subset of M0,n , then so is [ pi ]; then TF is uniformly
contracting on pi , so Xi converges to a fixed-point, contrary to assumption.
Therefore [Xi ] eventually leaves any compact subset of M0,n (although it
may return). By Mumford’s Theorem 4.18, this means for any > 0 there is an
i such that
163
We will now show that for suitable > 0, the short curves Γ on Xi satisfy
and thus M (Γ) gives a linear approximation to the action of TF . If λ(Γ) < 1,
then M (Γ) is contracting and the short geodesics are forced to become long
again. Since lim inf L(Xi ) = 0, we will eventually find a Γ with λ(Γ) ≥ 1 and
this will complete the proof.
To choose , first pick an 0 > 0 such that 0 -short curves on any X ∈
Teich(S 2 , P (F )) are disjoint simple geodesics, and such that Corollary 8.20
holds for 0 -short curves on an nd-times punctured sphere. Next let K be
the dilatation of the extremal quasiconformal map from X0 to X1 . Finally pick
M max(K 2 , n) whose exact size will be fixed later, and set
= 0 /M n .
Now consider any Xi with L(Xi ) < . Since Xi has at most (n − 3) geodesics
of length less than 0 , there must be a δ ∈ [, 0 ] so the length spectrum of Xi
avoids the interval [δ, M δ]. Let Γ denote the nonempty set of geodesic loops on
Xi of length less than δ. Then we have
`δ (Xi )
`γ (Xi ) < `δ (Xi )
M
for any geodesic δ 6∈ Γ. √
We will now refer to geodesics of length less than M δ as short. Since
d(Xi , Xi+1 ) ≤ d(X1 , X0 ), there is a K-quasiconformal map from Xi to Xi+1 ,
and hence
√ the lengths of geodesics on Xi and Xi+1 agree to within a factor of K.
Since M ≥ K, the length spectrum of Xi avoids [δ, K 2 δ], so Γ also represents
the set of all short geodesics on Xi+1 .
On the other hand, we have a diagram
ι
Yi −−−−→ Xi+1
fy
Xi
where f is a degree d = deg(F ) rational map and ι is an inclusion of genus zero
Riemann surfaces. By Corollary 8.20, for each γ ∈ Γ we have
1 X 1
≤ + O(1),
`γ (Xi+1 ) `α (Yi )
ι(α)∼γ
where the sum includes only curves α with `Yi (α) ≤ nd (a constant depending
only on the number of punctures of Yi ). The loops α which cover loops Γ on Xi
contribute most to the sum, since any other loop is at least M/d times longer,
and there are less than n other loops. Thus only a small error is committed if
164
we leave out these other loops, and retain α only if it covers some δ ∈ Γ. More
precisely we have:
nd2
1 X 1 1
≤ 1+ · + O(1).
`γ (Xi+1 ) M deg(f : α → δ) `α (Xi )
ι(α)∼γ,f (α)=δ∈Γ
therefore satisfies
vi+1 ≤ (1 + η)M (Γ)vi + O(1) (8.4)
where η → 0 as M → ∞.
Although Γ ranges among the countably many different collections of curve
systems on S 2 − P (F ), since n = |P (F )| and d = deg(F ) are fixed, there are
only a finite number of possibilities for the matrix M (Γ). Thus there is a λ0
such that λ(Γ) ≥ 1 or λ(Γ) < λ0 < 1. Since
we can choose p such that kM (Γ)p k < 1/2 whenever λ(Γ) < 1.
Now if kvi k is large enough, we have L(Xi ) ≤ /K p and thus L(Xj ) ≤ for
j = i, i + 1, . . . , i + p. For M ≥ K 2p , the short geodesics Γ on Xi agree with the
short geodesics on Xj for i ≤ j ≤ i + p. Finally if λ(Γ) < 1 then by (8.4) we
find
(1 + η)p 2
kvi+p k ≤ kvi k + O(1) ≤ kvi k
2 3
once M is large enough that η is negligible.
In other words, if kvi k gets large then it is forced to get small again within
p iterates. Noting that kvi+1 k ≤ Kkvi k, we conclude that supi kvi k < ∞. But
kvi k ≥ 1/L(Xi ), so we have contradicted the fact that lim inf L(Xi ) = 0.
Thus to have kvi k → ∞, we must at some point obtain a curve system Γ
with
λ(Γ) ≥ 1.
This Γ is the desired topological obstruction to realizing F as a rational map.
8.10 Notes
Thom’s result is in [Thom]; Douady and Hubbard present Thurston’s charac-
terization of combinatorially rational branched covers in [DH]. For more on the
orbifold approach to critically finite rational maps, see [Mc4, Appendix A and
B].
165
{ 2,0,4,3,1} 3
{ 2,0,3,4,1} 3
{ 2,3,0,5,4,1} 4
{ 2,3,0,4,5,1} 4
{ 2,3,4,0,6,5,1} 5
{ 2,3,4,0,5,6,1} 5
{ 2,5,3,0,6,4,1} 3
{ 2,3,5,0,4,6,1} 3
{ 2,3,4,5,0,7,6,1} 6
{ 2,3,4,5,0,6,7,1} 6
{ 2,3,6,4,0,7,5,1} 4
{ 2,3,4,6,0,5,7,1} 4
{ 2,5,3,0,7,6,4,1} 6
{ 2,5,3,0,6,7,4,1} 6
{ 2,5,7,0,3,6,4,1} 4
{ 2,5,0,3,7,6,4,1} 6
{ 2,5,0,3,6,7,4,1} 6
{ 2,7,5,0,3,4,6,1} 4
166
8.11 Appendix: Kneading sequences for real quadratics
Notation. The post-critical set is labeled with the integers 0 = critical point,
n = f n (critical point). To describe a real unimodal critically finite map, we list
the postcritical set in the order it appears on the real line, and give a single digit
indicating the image of the point with the highest label. For example, 2, 0, 1 2
indicates that 2, the image of the critical value, is a fixed point.
The following kneading sequences cannot be realized by quadratic polynomi-
als. In each case there is a finite collection of disjoint intervals Ik , with endpoints
in the post-critical set, permuted homeomorphically by the mapping.
The remaining kneading sequences can be realized as quadratic polynomials.
This table gives the kneading sequence and the value of t such that f (x) =
tx(1 − x) has the same kneading behavior.
Theorem 9.1 Let f (z) = λ(z) + z 2 with |λ| < 1, and let Ω(0) be the immediate
basin of z = 0. Then J(f ) = ∂Ω(0).
C = Ω(0) ∪ Ω(∞)?
Not quite! We do find that Ω(0) and Ω(∞) have the same boundary, but in
principle their closures need not fill the sphere. The lakes of Wada are three
open regions on the sphere, nonempty, which all have the same boundary.
Expansion and local connectivity.
Let f (z) = z d + a1 z −1 + · · · + ad be a polynomial of degree d with K(f )
connected. Let
Φ : (Cb − ∆) → (C b − K(f ))
167
{ 0} 0 2. { 2,3,4,5,6,7,0,1} 0 3.99985
{ 0,1} 0 3.23607 { 2,3,4,5,6,0,7,1} 3 3.99771
{ 2,0,1} 2 4. { 2,3,4,5,6,0,7,1} 4 3.99785
{ 2,0,1} 0 3.83187 { 2,3,4,5,6,0,7,1} 5 3.99809
{ 2,3,0,1} 0 3.96027 { 2,3,4,5,6,0,7,1} 6 3.99845
{ 2,0,3,1} 0 3.49856 { 2,3,4,5,6,0,7,1} 0 3.99864
{ 2,0,3,1} 3 3.67857 { 2,3,4,5,6,0,7,1} 7 3.99893
{ 2,3,4,0,1} 0 3.99027 { 2,3,4,7,5,0,6,1} 0 3.99252
{ 2,3,0,4,1} 3 3.89087 { 2,3,4,5,0,6,7,1} 3 3.99745
{ 2,3,0,4,1} 0 3.90571 { 2,3,4,5,0,6,7,1} 4 3.99726
{ 2,3,0,4,1} 4 3.92774 { 2,3,4,5,0,6,7,1} 5 3.99685
{ 2,0,3,4,1} 0 3.73891 { 2,3,4,5,0,6,7,1} 0 3.99622
{ 2,3,4,5,0,1} 0 3.99758 { 2,6,3,7,4,0,5,1} 0 3.96094
{ 2,3,4,0,5,1} 3 3.96792 { 2,3,6,4,0,7,5,1} 0 3.97372
{ 2,3,4,0,5,1} 4 3.97459 { 2,3,6,4,0,7,5,1} 7 3.97221
{ 2,3,4,0,5,1} 0 3.97777 { 2,3,6,4,0,7,5,1} 5 3.97032
{ 2,3,4,0,5,1} 5 3.98257 { 2,3,4,6,0,5,7,1} 3 3.97643
{ 2,5,3,0,4,1} 0 3.84457 { 2,3,4,0,6,5,7,1} 3 3.97898
{ 2,3,0,4,5,1} 3 3.94935 { 2,3,4,0,6,5,7,1} 4 3.98034
{ 2,3,0,4,5,1} 0 3.93754 { 2,3,4,0,6,5,7,1} 0 3.98141
{ 2,0,4,3,5,1} 0 3.62756 { 2,3,7,4,0,5,6,1} 0 3.98775
{ 2,5,0,3,4,1} 4 3.76495 { 2,3,4,7,0,5,6,1} 6 3.98597
{ 2,3,4,5,6,0,1} 0 3.9994 { 2,5,3,0,7,6,4,1} 4 3.88184
{ 2,3,4,5,0,6,1} 3 3.99125 { 2,5,3,0,6,7,4,1} 3 3.86828
{ 2,3,4,5,0,6,1} 4 3.99228 { 2,5,3,0,6,7,4,1} 0 3.87054
{ 2,3,4,5,0,6,1} 5 3.99378 { 2,7,3,5,0,4,6,1} 5 3.9006
{ 2,3,4,5,0,6,1} 0 3.99454 { 2,7,3,5,0,4,6,1} 0 3.89947
{ 2,3,4,5,0,6,1} 6 3.99569 { 2,7,3,0,5,4,6,1} 0 3.91205
{ 2,3,6,4,0,5,1} 0 3.96898 { 2,7,3,0,5,4,6,1} 5 3.91346
{ 2,3,4,0,5,6,1} 3 3.9891 { 2,3,7,0,5,4,6,1} 6 3.91879
{ 2,3,4,0,5,6,1} 4 3.98734 { 2,6,3,7,0,4,5,1} 5 3.9523
{ 2,3,4,0,5,6,1} 0 3.98475 { 2,3,6,0,4,7,5,1} 0 3.94421
{ 2,5,3,0,6,4,1} 0 3.88605 { 2,3,6,0,4,7,5,1} 4 3.94539
{ 2,5,3,0,6,4,1} 6 3.87654 { 2,3,6,0,4,7,5,1} 7 3.94655
{ 2,5,3,0,6,4,1} 4 3.8568 { 2,3,6,0,4,5,7,1} 3 3.94126
{ 2,3,0,5,4,6,1} 3 3.91694 { 2,3,0,6,4,5,7,1} 3 3.93342
{ 2,3,0,5,4,6,1} 0 3.92219 { 2,3,0,6,4,5,7,1} 0 3.93047
{ 2,6,3,0,4,5,1} 0 3.95103 { 2,6,0,4,3,7,5,1} 0 3.55465
{ 2,3,6,0,4,5,1} 5 3.94282 { 2,0,6,4,3,5,7,1} 0 3.66219
{ 2,6,0,4,3,5,1} 5 3.59257 { 2,5,0,3,6,7,4,1} 0 3.80077
{ 2,5,0,3,6,4,1} 0 3.77421 { 2,5,0,3,6,7,4,1} 3 3.79812
{ 2,5,0,3,6,4,1} 3 3.78088 { 2,7,0,5,3,4,6,1} 4 3.72029
{ 2,5,0,3,6,4,1} 6 3.7911 { 2,7,0,5,3,4,6,1} 6 3.71255
{ 2,0,5,3,4,6,1} 0 3.70177
168
Theorem 9.2 If f (z) is expanding, then Φ extends to a Hölder continuous map
S 1 → J(f ) giving a semiconjugacy between z 7→ z d and z 7→ f (z). In particular,
J(f ) is locally connected.
Proof. Let p(z) = z d . Choose M > 1 and consider the rectangle R0 obtained
by cutting open the annulus M < |z| < M d along the positive real axis. Then
for α = 1/dn+1 , the region M α < |z| < M dα is neatly tiled by the dn preimages
of R0 under pn (z). Each tile has diameter comparable to 1/dn .
The map Φ sends this tiling for z d to a similar tiling for f (z). Each of the
image titles is a preimage of Φ(R0 ) under a suitable iterate of f n .
Suppose f is expanding a factor of at least Λ > 1 in a suitable metric near
J(f ). Then the titles at level n have size bounded by O(Λ−n ). In other words,
Φ sends the titles of size s = d−n to tiles of size O(sα ), where dα = Λ.
Each radial edge of a tite for z d at level n can be extended to a line segment L
that terminates on S 1 . By summing the geometric series, we find diam Φ(L) =
O(Λ−n ). It follows that Φ has a well-defined radial limit at every point x ∈
S 1 = R/Z of the form x = m/dn . Moreover, if x = m/dn and y = (m + 1)/dn ,
then d(Φ(x), Φ(y)) = O(Λ−n ) = O(|x − y|α ). It follows easily that Φ has an
α-Hölder continuous extension to the unit circle.
so µδ (X) > 0.
For the converse, choose a maximal set (x1 , . . . , xn ) such that d(xi , xj ) ≥ r
for i 6= j. (Such a set is finite by compactness.) Then Bi = B(xi , r) forms a
cover of X, else we could add another point to this set. On the other hand, the
balls Bi0 = B(xi , r/2) are disjoint, because their centers are at least distance r
apart. Thus X X
riδ µ(Bi0 ) < 1,
and hence µδ (X) < ∞.
Computation of Hausdorff dimension. The simplest case is an interval
I =S[0, 1] ⊂ R that contains disjoint subintervals I1 , . . . , In . We define a map
f : Ii → I which is linear and surjective on each subinterval. Its filled Julia
set K(f ) then has dimension δ, where
X
|Ii |δ = 1.
To see this, use the fact that the measure in dimension δ satisfies
X X
m(K) = m(Ki ) = m(K)|Ii |δ
169
because |f 0 | = 1/|Ii | on Ki = K(f ) ∩ Ii . So long as 0 < m(K) < ∞ we can
cancel to obtain the result above.
Hausdorff dimension and eigenfunctions of the Laplacian. We now turn
to a more interesting, nonlinear case.
Laplacian. The usual Laplacian in the plane is given by
d2 f d2 f d2 f
∆f = + = 4 ·
dx2 dy 2 dz dz
The geometric Laplacian, for a conformal metric ρ = ρ(z)|dz|, is the negative
of this function and takes into account the metric:
∂∂f
∆ρ f = 4 ·
ρ(z)2 dz dz
For example, on the upper half plane with f (y) = y s and ρ(z) = |dz|/y, we have
dy/dz = i/2 and ∂∂y = 0, so
∂∂y s = ∂(sy s−1 ∂y) = s(s − 1)y s−2 (∂y)(∂y) = s(s − 1)y s−2 /4,
so geometrically y s is an eigenfunction:
∆ρ y s = s(1 − s)y s .
The visual metric. Next, we observe that the Im(1/z) = y/|z|2 is also har-
monic, as is the function y/|z − x|2 for any fixed x ∈ R.
Now consider the visual metric ρp (x)|dx| induced on the real line from any
point p ∈ H. This metric is given by:
Im p |dx|
ρp =
|p − x|2
up to scale. (The formula can be checked by using the map x = tan(θ/2) to
relate the circle and the real axis.) For example, we have
|dx|
ρi = ,
1 + x2
with total integral π. (One can normalize so the integral is 2π, or 1, if desired).
Key point: if we fix a vector v at a point x ∈ R, then the visual length of
this vector is a harmonic function of x.
For any measurable set E ⊂ R, we can define a function fE (p) on H by
taking the the visual measure of E as seen from p. The result is thus a harmonic
function:
Im z |dx|
Z
fE (z) = 2
·
E |z − x|
If E is invariant under a group Γ ⊂ SL2 (R), then so is fE . (Conversely, any
bounded harmonic function on H comes from the visual average of an L1 func-
tion on H.)
170
9.3 Eigenfunctions and Hausdorff measures
Now suppose E ⊂ R is a set of Hausdorff dimension s > 0, with finite, positive
measure in its dimension. Recall that the Hausdorff measure on E depends on
a choice of metric. For the metric |dx|, let us denote this measure by µ. Then
for another metric ρ(x)|dx|, we have
µρ = ρ(x)s µ.
r2 θ2
|ρ0i | ∼ =
d2 12
inside Pj , i 6= j, and the transition matrix satisfies
0 tα tα
Tijα = tα 0 tα
tα tα 0
with t ∼ θ2 /12. The heighest eigenvalue of T α is simply 2tα ; solving for λ(T α ) =
1, we obtain (9.1).
171
To estimate Dθ = H. dim Λθ when the circles are almost tangent, we first
note that Dθ → 1 as θ → 2π/3, by the continuity of Dθ and the fact that
the limit set is S 1 when the circles touch. For Dθ > 1/2 we have the relation
λ0 (Xθ ) = Dθ (1 − Dθ ), where λ0 (Xθ ) is the least eigenvalue of the L2 -Laplacian
on the hyperbolic surface Xθ [Sul6], [Mc7, Thm. 2.1], which shows
1 − Dθ ∼ λ0 (Xθ )
as θ → 2π/3.
Now for θ near 2π/3, the convex core of Xθ is bounded by three short simple
geodesics of equal length Lθ . These short geodesics control the least eigenvalue
of the Laplacian; more precisely,
|∇f |2
R
λ0 (Xθ ) = inf RXθ Lθ ,
Xθ
|f |2
9.4 Thermodynamics
A useful reference for this section is [PP].
Let X be a compact metric space, and let C(X) denote the space of contin-
uous, real-valued functions on X.
Fix a modulus of continuity, an increasing continuous function m(r) on [0, ∞)
such m(0) = 0. We define the variation of a function, relative to m(r), to be
the smallest constant V (f ) such that
kf k = kf k∞ + V (f ).
V (f g) ≤ kf k∞ V (g) + kgk∞ V (f ).
172
Examples. If m(r) = r then we obtain the Lipschitz functions. If m(r) = rα ,
0 < α < 1, we obtain the Hölder continuous functions of exponent α. The latter
occurs frequently and will be denoted by C α (X), and its variation by Vα (f ).
Exponentiation and tropicalization. It is a beautiful fact that if
eh = ef + eg ,
then V (h) ≤ max(V (f ), V (g)). A more familiar fact is that this statement holds
when h = max(f, g), which is the limiting case coming from tropicalization
(when f + g 7→ max(f, g) and f g 7→ f + g). An example of the fact above is
that |h0 | ≤ max(|f 0 |, |g 0 |) when all three exist and are continuous. To see this,
note that
Af 0 (x) + Bg 0 (x)
h0 (x) = ,
A+B
where (A, B) = (ef (x) , eg(x) ). Since A, B > 0, the expression above gives h0 (x)
as a convex combination of f 0 (x) and g 0 (x).
The general statement regarding V (h) is proved similarly. If x changes by r
then f (x) increases by at most m(r), and similarly for g. Thus
eh ≤ m(r)(ef + eg ),
and hence h increases by at most m(r). The same idea gives a lower bound on
the variaton. It implies:
Theorem 9.4 Let F ⊂ C(X) be the space of continuous functions with modulus
of continuity m(r). Then exp F ⊂ C(X) is a convex cone over a compact base.
The compact base condition means that any sequence in exp F can be
rescaled to yield a convergent subsequence with a nonzero limit. Alternatively,
if we look at the subset of exp F where f (p) = 1 for some fixed p, this is a
convex compact subset of C(X).
Fixed-points. The following general fixed-point theorem is useful for proving
the Perron-Frobenius theorem in infinite dimensions. (It is however somewhat
non-constructive, since it relies on the Brouwer fixed-point theorem; another
approach to Perron-Frobenius is to use contraction in the Hilbert metric.)
Theorem 9.5 (Schauder–Tychonoff ) Let f : K → K be a continuous map
of a compact convex subset of a Banach space into itself. Then K has a fixed
point.
Proof. The key point is to show there exists a sequence of continuous map
gn : K → Ln ⊂ K such that d(x, gn (x)) < 1/n and Ln is a finite-dimensional
convex set. Then gn ◦ f has a fixed-point xn ∈ Ln by Brouwer’s theorem, and
any accumulation point x ∈ K is then fixed by f .
To construct gn , choose a finite set (x1 , . . . , xN ) which comes within distance
1/(10n) of every point in K. Let αi : K → [0, 1] be a continuous function that
is 1 at xi , positive on B(xi , 1/(5n)) and 0 outside B(xi , 1/(2n)). Let LN be the
convex hullP of the points (x1 , . . . , xN ) and let gn (x) be the barycenter of the
measure αi (x)δxi . Then gn : K → Ln has the required properties.
173
The Ruelle operator. Now let σ : X → X be an expanding map on a
compact metric space. In fact we will focus on just two examples: σ is the shift
on (Z/d)N , and σ(x) = dx on S 1 = R/Z. In both cases the metric can be chosen
so σ locally expands distances by a factor of d.
Let φ ∈ C α (X) be a Hölder continuous function. The Ruelle operator is
defined on C(X) by
X
Lφ (f )(x) = exp(−φ(y))f (y) = σ∗ (e−φ f ).
σ(y)=x
Theorem 9.6 The Ruelle operator on C(X) has a unique positive eigenvalue
λ > 0. This eigenvalue is simple, and the corresponding eigenvector f ∈ C(X)
is strictly positive and lies in C α (X).
Proof. The proof is based on a simple but critical estimate that will be useful
later. Consider the case where σ(x) = 2x on X = S 1 . Assume φ ∈ C α (S 1 ).
The key point is that
Vα (f (x/2)) = 2−α Vα (f ).
Thus if Vα (f ) ≤ M , then
F = {f : Vα (f ) ≤ M },
174
of f1 and f2 , such that g(x) = 0 at some point. But it is easy to see that if
R(h) = g vanishes at x, then h vanishes at σ −1 (x). It follows that the zero
set of g is closed under inverse iteration of σ, so it forms a dense subset of X.
Therefore g = 0, and consequently the positive eigenfuction is unique.
Theorem 9.7 For any f ∈ C(X), the functions Lnφ (f ) converge uniformly to
R
the constant function with value f dm.
175
Proof. First suppose f ∈ C α (X), and let fn = Lnφ (f ). These functions are
uniformly bounded by kf k∞ as we have just noted. Moreover, the same type of
reasoning we used in the construction of an eigenvector shows kfn kα is bounded.
Thus we can pass to a subsequence such that fn → g uniformly. Since kfn k∞
converges, we have kLnφ (g)|∞ = kgk∞ . But the Ruelle operator simply takes
the weighted averages of the values of g. Thus if Lnφ (g) achieves its maximum
at x, then g must achieve its maximum at all the points in σ −n (x). Hence g is
in fact constant. This shows fn only accumulates on constants, and it is easy
to see the constant is unique.
To treat f ∈ C(X), just use the fact that C α (X) is dense in C(X) Lφ is a
weak contraction on C(X).
m(Lφ (f )) = m(f ).
Theorem 9.8 The rest of the spectrum of Lφ |C α (X) lies strictly inside the
unit disk.
Sketch of the proof. It suffices to prove ρ(Lφ ) < 1 when restricted to the
space C0α (X) of functions with with m(f ) = 0. Let B be the unit ball in C0α (X).
Then B is compact in C(X). Thus given > 0 we can find an N such that
kLnφ (f )k∞ < for all f ∈ B. We also know, following the argument used in the
proof of the existence of an eigenvector in C α (X), that V0 = supn kLnφ kα < ∞.
Combining these remarks, one can in fact show that kLnφ k < 1/2 for n large
enough. Then ρ(Lφ ) < (1/2)1/n .
176
The meaning of the Ruelle operator. We can now explain the meaning
of the Ruelle operator. Once P (φ) = 0, there is a natural measure m on X
that transforms by eφ under σ. However this measure is usually not invariant.
Indeed,
σ∗ (f m) = Lφ (f )m.
Thus the invariant measure is f m, where f is the eigenfunction. This measure
does not transform by eφ but by φ + ∂ log f .
Spectrum and mixing.
Theorem 9.10 The spectralR radius of Lφ restricted to the subspace C0α (X),
consisting of functions with f dm = 0, is strictly less than one.
Proof. Let B be the unit ball in C0α (X). Then B is compact in C0 (X). By the
preceding result, kLnφ (f )k∞ → 0 uniformly on B. From this it follows easily that,
in fact, kLnφ (f )kC α → 0 uniformly on B. Thus lim sup kLnφ k1/n = ρ(Lφ ) < 1.
R
Correlations, adjoints and inner products. Let hf, gi = X
f g dm. We
then have
hLφ (f ), gi = hf, g ◦ σi.
Indeed,
σ∗ (f m) = Lφ (f )m,
and so Z
Lφ (f )g dm = hg, σ∗ (f m)i = hg ◦ σ, f mi = hσ ∗ (g), f i.
hf ◦ σ n , gi → hf, 1ihg, 1i
as n → ∞.
Proof. It suffices to show that there is no σ-invariant function in L20 (X). But
any function in this space satisfies hf, f ◦ σ n i → 0.
177
Note. The spectral radius of Lφ is not zero on C0 (X). It increases to one as
α → 0.
The arguments above can be applied to prove mixing of the geodesic flow
on a surface of negative curvature, by using a Markov section to reduce to the
case of symbolic dynamics. Remarkably, this approach makes no reference to
the horocycle flow.
Gibbs measures. Let E = [x1 , . . . , xN ] be a cylinder set. Then σ N (E) = X
and hence Z
N
1= eS φ dm.
E
Because of Hölder continuity and expansion of σ, the integrand varies by at
most a bounded factor over E, and hence we have
for any x ∈ E, with uniform bounds. A shift invariant probability measure with
this property is called a Gibbs measure. This property is a hidden form of the
distortion lemma used frequently in expanding dynamics.
Note that m is also a Gibbs measure for any function cohomologous to φ.
Thus we have shown:
Theorem 9.14 For any φ ∈ C α (X), there exists a β > 0 such that βφ admits
a unique Gibbs measure.
178
P
Now suppose state i requires energy ui and the total energy U = Ni ui is
fixed. Then nature will still maximizes S, but now subject to the constraint
X
pi ui = U/N.
where the left-hand side denotes a cylinder set. It is thus reasonable to say that
the distribution m describes the equilibrium distribution of states for particles
on a lattices with the given interactions.
Theorem 9.16 There exists a conformal metric ρ(z)|dz| on J(fλ ) such that
the Hausdorff measure for this metric is fλ -invariant, and transforms by |fλ0 |δ .
To see this, let us identify (S 1 , σ) with the Julia set J(fλ ). Set φ(x) =
log |f 0 (x)|, using this identification. Since topological conjugacies between ex-
panding dynamical systems are Hölder continuous, we have φ ∈ C α (S 1 ) for
some α.
179
Applying the general theorem, we can pick a δ > 0 such that P (δφ) = 0.
Then the resulting equilibrium measure transforms by |f 0 (x)|δ . In other words,
the thermodynamic formalism naturally constructs conformal density on the
Julia set. The eigenfunction gives a change of metric that makes this density
invariant.
Vector field on S 1 . Now let fc (z) = z 2 +c. Let Φc : C−∆ → C−K(fc ) be the
Riemann mapping to the outside of the filled Julia set, defined for c ∈ M . The
Julia set moves by a holomorphic motion over the main cardioid. The direction
of motion can be computed explicitly by differentiating Φc . At c = 0 we find
that the motion of the Julia set is given by a vector field V = dΦc /dc|c=0 . Since
Φc (z 2 ) = Φc (z)2 + c,
V (z 2 ) = 2zV (z) + 1.
To see this, it is somewhat easier to deal with W (z) = −V (z)/z. This function
on the outside of the disk satisfies
for all c near 0. This is equivalent to the statement that the Lyapunov expo-
nent of the maximal measure mc = (Φc )∗ (m0 ) is log 2, and that the Hausdorff
dimension of mc is one. To see the vanishing above, note that
180
Change in expansion factor. We now set φc (z) = log |fc0 (Φc (z))| = log 2 +
log |Φc (z)|. Then φ0 (z) = log 2, and we wish to compute ψ = dφc /dc, say along
the real axis. Thinking of c as very small and real, we have
log |Φc (z)| = log |z+cV (z)| = log |1+cV (z)/z| = Re log(1+cV (z)/z) = c Re(V (z)/z).
Thus
∞
X n+1
ψ = Re(V (z)/z) = − Re z2 /2n ,
1
n n
R
using the fact that Re 1/z = Re z on the circle. Clearly S1
ψ dm = 0.
Variance. We now turn to the variance, a quadratic form defined by
∞
kSn (f )k22 X
Var(f ) = lim = hf, f i + 2hf, f ◦ σ i i.
n 1
Put differently, we must take into account the fact that z a is cohomologous to
n
z 2 a . This means every power of z has a unique representative in its cohomology
P∞
class of the form z a with a odd. To compute the variance of f = 0 an z n ,
we just need to collect terms so we obtain a sum only over odd exponents of z.
(Note that a0 = 0 since we are assuming the mean of f is zero; otherwise the
variance is not defined.)
It is now immediate that
∞
!
X n+1
Var z 2 /2n = Var(z) = 1.
1
181
Variance and pressure. Consider a smooth family of functions φ = φt (x) ∈
C α (X), all with P (φt ) = 0. Let Lt = Lφt . We assume that L0 (1) = 1, and
let m denote the corresponding invariant probability measure on X. Since the
eigenvalue 1 is isolated, we have a smoothly varying eigenfunction satisfying
f0 = 1 and
Lt (ft ) = ft .
Recall that Lφ (f ) = σ∗ (e−φ f ). Differentiating with respect to t, and evaluating
at t = 0, we find
L0 (−φ̇) + L0 (f˙) = f˙.
Integrating with respect to m, this implies
Z
φ̇ = 0.
182
Theorem 9.17 Two marked expanding C 1+α maps on the circle, with the same
degree d, are C 1+α conjugate iff LC (f1 ) = LC (f2 ) for all periodic cycles; that
is, iff they have the same multiplier at corresponding periodic points.
α 1
Proof. The P key point is to prove that a function g ∈ C (S ) is cohomologous
to zero iff x∈C g(x) = 0 for all periodic cycles C.
To see this, choose y with a dense P forward orbit, and define a function f
n−1
along this forward orbit by f (σ n y) = 0 g(y). This would recover f if we
had g(x) = f (σx) − f (x) and f (y) = 0.
To complete the proof, we need only show that f is C α along the forward
orbit of y. Suppose z0 , . . . , zk are consecutive points in the forward orbit of y,
and |z0 − zk | < . Then
k−1
X
|f (zk ) − f (z0 )| = g(zi ) .
0
Now by taking the preimage of ball of radius 2 about zk , we can easily find a
periodic cycle (p0 , . . . , pk−1 , pk = p0 ) with
X X
|pi − zi | = O() and |pi − zi |α = O(α ).
Then
k−1 k−1
X X X
g(zi ) = g(zi ) − g(pi ) ≤ O |zi − pi |) = O(α ,
0 0
183
1. The map f is rigid: it is uniquely determined by its homotopy class.
2. The map f is distance-decreasing.
3. Given p ∈ X, there is a compact set K ⊂ Mg that contains f (p) for all f .
Combining these facts, we see the family of all such mappings f is compact and
discrete, hence finite.
We will freely use Teichmüller’s theorem on extremal quasiconformal maps,
which provides an extension of any real geodesic to an isometric immersion of
H into Tg .
∆ log ρ
K(ρ) = − ·
ρ2
184
10.2 The theme of short geodesics.
We can now begin the third point in the proof. We will show:
Theorem 10.4 There is a compact set K = K(Z, p) such that
f (p) ∈ K ⊂ Mg
provided the monodromy of f is irreducible (it preserves no simple closed curve).
For this we need the following facts:
1. The set of Riemann surfaces Y ∈ Mg with the length of the shortest
geodesic ≥ r > 0 is compact.
2. For any Y1 , Y2 ∈ Tg and closed curve C, we have
1 LC (Y1 )
≤ ≤ K,
K LC (Y2 )
where K is the minimal dilatation of a quasiconformal map from Y to Z.
(Note that H/z 7→ λz is a cylinder of height L = log λ and circumference
π.)
3. Short geodesics are simple and hence there are at most 3g − 3 such curves
on a surface Y ∈ Mg .
Proof of Theorem 10.4. If Y = f (p) has too many short curves these must
be permuted by generators of the monodromy and hence globally invariant.
Two closely related facts are the following (see [ES], [Kra] and [Bers2]):
Proposition 10.5 Let f : ∆∗ → Mg be a holomorphic map. Then the mon-
odromy of f is virtually a product of Dehn twists.
Proposition 10.6 Let f : Tg → Tg be an element of the mapping class group.
Then f is either finite order or reducible.
185
Theorem 10.7 If Γ is nonelementary, then Λ is the smallest nonempty, closed,
Γ-invariant subset of the sphere.
Corollary 10.8 The limit set coincides with the closure of the hyperbolic fixed
points of elements of Γ, and Λ is the set of accumulation points of Γ · z for any
z ∈ C.
b
186
as well as a representation
ρ : Γ → Γ0 ⊂ PSL2 (C)
such that
f (g · z) = ρ(g) · f (z)
for all g ∈ Γ. With respect to the metric
it is known that
Let S(X) ⊂ Q(X) be the set of q such that f is 1 − 1, and let U (X) be
the component of the interior of S(X) containg q = 0. Then f (S 1 ) moves
by a holomorphic motion over U (X), and hence f (S 1 ) is a quasicircle, which
implies Γ0 is quasifuchsian. Conversely, if Y ∈ Tg , we may use simultaneous
uniformization to get a point q ∈ U (X). Summing up, we have an ismorphism
Tg ∼
= U (X)
for each X ∈ Tg . Now it is easy to see that we get a holomorphic universal curve
over U (X). Thus the map above is holomorphic, using e.g. H 1 (Y, Θ) to define
the complex structure on Tg . Altogether we have shown:
on Q(X).
This symmetry of the form persists to general pairs of Riemann surfaces and
gives rise to quasifuchsian reciprocity [Mc9].
187
Lemma 10.13 If Ω/Γ has a cusp, then Γ has a parabolic element.
2. Ω is connected, or
3. Λ = C.
b
188
Theorem 10.17 Suppose Xn ∈ Tg converges to a totally degenerate group Γ.
Then LC (Xn ) → ∞ for every closed curve C.
10.6 Rigidity
We now return to the setting of the Shafarevich conjecture. Let f : Z → Mg
be a nonconstant holomorphic map, let
Φ : π1 (Z) → Modg
be the corresponding monodromy map, and let
fe : H → Tg ⊂ Tg
be the lift of f to a chosen Bers’ compactification. We have
fe(g · z) = Φ(g) · f (z)
for all g ∈ π1 (Z) and z ∈ H.
189
Theorem 10.19 The boundary values of f exist for almost everywhere, and
f (ζ) is totally degenerate for almost every ζ ∈ ∂H.
Proof. The boundary values f (ζ) exist since Tg is a bounded domain in Q(X).
The radial limit points of ΓZ also have full measure.
Suppose f (ζ) exists and ζ is a radial limit. Then there exist gn ∈ ΓZ such
that gn · z → ζ for all z ∈ H. It follows that
Corollary 10.21 There exists a sequence gn ∈ π1 (Z) such that for any z ∈ H,
and any closed curve C, we have LC (fe(gn · z)) → ∞.
Corollary 10.22 There is no closed curve C which is invariant under the mon-
odromy group.
This result justifies the last step in the proof of the Shafarevich conjecture
outlined above.
11 Geometrization of 3-manifolds
11.1 Topology of hyperbolic manifolds
Let M be a closed orientable smooth 3-manifold. When can we expect M to
carry a hyperbolic structure? That is, when can we hope to write M = H3 /Γ?
Here are some obvious constraints:
• First, M must be irreducible — that is, every embedded S 2 ⊂ M must
bound a ball B 3 ⊂ M . To see this, just lift to the universal cover: we find
a collection Γ · S 2 of disjoint 2-spheres in H3 , and the balls Γ · B 3 they
bound are disjoint, so they determine an embedded ball in H3 .
Irreducibility means if M = A#B then A or B is S 3 .
190
• Second, π1 (M ) must be infinite — since the universal cover of M is not
compact.
• Finally, M must be atoroidal: that is, π1 (M ) cannot contain a copy of
Z ⊕ Z.
For a proof, note that the centralizer of a hyperbolic element in Isom+ (H3 )
is isomorphic to C∗ = S 1 × R. If G ⊂ C∗ is a discrete, torsion-free group,
then G maps injectively by absolute value to a discrete subgroup of R∗ ,
and hence G is trivial or Z.
191
11.2 The skinning map
Let M be an oriented compact 3-manifold with incompressible boundary, admit-
ting a convex hyperbolic structure. Let τ : M → M be an orientation-reversing
fixed-point free involution.
The skinning map
σ : Teich(∂M ) ∼
= GF (M ) → Teich(∂M )
Q∼
= (∂N ) × R.
The projection to the second factor above is the skinning map. That is,
∂Q = ∂N t σ(∂N ).
τ ◦ σ : Teich(∂M ) → Teich(∂M )
has a fixed-point.
Remark. This theorem is not quite iff. If M = S ×[0, 1], then σ is the reflection
map, and M/τ is hyperbolic iff τ comes from a pseudo-Anosov automorphism
of S. But in the pseudo-Anosov case, τ ◦ σ has no fixed-point in Teichmüller
space. Indeed, τ ◦ σ has a fixed-point iff M/τ is finitely covered by S × S 1 —
in which M admits an H2 × R structure but no H3 structure.
\Sinf^2 \sigma(X)
U_X
192
11.3 The Theta conjecture
Theorem 11.4 Let X = ∆/Γ be a finite-area hyperbolic surface presented as
the quotient of the unit disk by a Fuchsian group. Then the natural map
θ : Teich(X) → Teich(∆)
is a contraction for the Teichmüller metric. In fact
kdθ∗ k = kΘ∆/X k < C(X) < 1
where C(X) depends only on the location of X in moduli space, and
Θ∆/X : Q(∆) → Q(X)
is the Poincaré series operator given by
X
Θ∆/X (φ) = γ ∗ φ.
Γ
193
Figure 28. Strebel’s idea of relaxation.
References
[AS] R. Abrahams and S. Smale. Nongenericity of Ω-stability. In Global
Analysis, pages 5–8. Am. Math. Soc., 1970.
194
[Br] B. Branner. Cubic polynomials: turning around the connectedness lo-
cus. In L. R. Goldberg and A. V. Phillips, editors, Topological Methods
in Modern Mathematics, pages 391–427. Publish or Perish, Inc., 1993.
[CG] L. Carleson and T. Gamelin. Complex Dynamics. Springer-Verlag,
1993.
195
[Hem] J. Hempel. 3-Manifolds, volume 86 of Annals of Math. Studies. Prince-
ton University Press, 1976.
[Her] M. Herman. Exemples de fractions rationelles ayant une orbite dense
sur la sphere de Riemann. Bull. Soc. Math. de France 112(1984), 93–
142.
196
[Ly] M. Lyubich. An analysis of the stability of the dynamics of rational
functions. Selecta Math. Sov. 9(1990), 69–90.
[Me] R. Mañé. On the instability of Herman rings. Invent. math. 81(1985),
459–471.
197
[Mo] M. Möller. Variations of Hodge structures of a Teichmüller curve. J.
Amer. Math. Soc. 19(2006), 327–344.
[Mon] P. Montel. Familles Normales. Gauthiers-Villars, 1927.
[MMW] D. Mumford, C. McMullen, and D. Wright. Limit sets of free two-
generator kleinian groups. Preprint, 1990.
[Nag] S. Nag. The Complex Analytic Theory of Teichmüller Space. Wiley,
1988.
[Ot] J.-P. Otal. Le théorème d’hyperbolisation pour les variétés fibrées de
dimension trois. Astérisque, vol. 235, 1996.
[PP] W. Parry and M. Pollicott. Zeta Functions and the Periodic Orbit
Structure of Hyperbolic Dynamics. Astérisque, vol. 187–188, 1990.
[Pu] C. C. Pugh. The closing lemma. Amer. J. Math. 89(1967), 956–1009.
[Rc] J. G. Ratcliffe. Foundations of Hyperbolic Manifolds. Springer-Verlag,
1994.
[Rs] M. Rees. Positive measure sets of ergodic rational maps. Ann. scient.
Éc. Norm. Sup. 19(1986), 383–407.
[RS] B. Rodin and D. Sullivan. The convergence of circle packings to the
Riemann mapping. J. Differential Geom. 26(1987), 349–360.
[Sch] W. Schmid. Variation of Hodge structure: the singularities of the
period mapping. Invent. math. 22(1973), 211–319.
[Sn] L. Schneps, editor. The Grothendieck theory of dessins d’enfants (Lu-
miny, 1993), volume 200 of London Math. Soc. Lecture Note Ser. Cam-
bridge Univ. Press, 1994.
[Sch] R. Schwartz. Pappus’ theorem and the modular group. Publ. Math.
IHES 78(1993), 187–206.
[Sc] P. Scott. Subgroups of surface groups are almost geometric. J. London
Math. Soc. 17(1978), 555–565.
[Shi] M. Shishikura. On the quasiconformal surgery of rational functions.
Ann. Sci. Éc. Norm. Sup. 20(1987), 1–30.
[Sl] Z. Slodkowski. Holomorphic motions and polynomial hulls. Proc.
Amer. Math. Soc. 111(1991), 347–355.
[Sm] S. Smale. Structurally stable systems are not dense. Am. J. of Math.
88(1966), 491–496.
[Str1] K. Strebel. On lifts of extremal quasiconformal mappings. J. d’Analyse
Math. 31(1977), 191–203.
198
[Str2] K. Strebel. Quadratic Differentials. Springer-Verlag, 1984.
[Sul1] D. Sullivan. A finiteness theorem for cusps. Acta Math. 147(1981),
289–299.
[Sul2] D. Sullivan. On the ergodic theory at infinity of an arbitrary dis-
crete group of hyperbolic motions. In I. Kra and B. Maskit, editors,
Riemann Surfaces and Related Topics: Proceedings of the 1978 Stony
Brook Conference, volume 97 of Annals of Math. Studies. Princeton
University Press, 1981.
[Sul3] D. Sullivan. Discrete conformal groups and measurable dynamics. Bull.
Amer. Math. Soc. 6(1982), 57–74.
[Sul4] D. Sullivan. Quasiconformal homeomorphisms and dynamics I: So-
lution of the Fatou-Julia problem on wandering domains. Annals of
Math. 122(1985), 401–418.
[Sul5] D. Sullivan. Quasiconformal homeomorphisms and dynamics II: Struc-
tural stability implies hyperbolicity for Kleinian groups. Acta Math.
155(1985), 243–260.
[Sul6] D. Sullivan. Related aspects of positivity in Riemannian geometry. J.
Diff. Geom. 25(1987), 327–351.
199