Professional Documents
Culture Documents
109 - UnivalentfunctionsandTeichmuellerSpaces PDF
109 - UnivalentfunctionsandTeichmuellerSpaces PDF
Univalent Functions
and Teichmller Spaces
With 16 Illustrations
Springer- Verlag
Norid Publishing Corp
0(11 Lehto
Departme'nt of Mathematics
University of Helsinki
00100 Helsinki
Finland
Editorial Board
P. R. Halmos
Department of Mathematics
Santa Clara University
Santa Clara, CA 95053
F. W. Gehring
Department of Mathematics
University of Michigan
Ann Arbor, MI 48109
U.S.A.
U.S.A.
(Gi'aduate texts in
109)
Bibliography: p.
Includes index.
I. Univalent functions. 2. Teichmller spaces.
3. Riemann surfaces. I. Title. II, Series.
QA331.L427
1986
515
86-4008
Inc.
All rights reserved. No part of this book may be translated or reproduced in any form without
writtcn permission from Springer-Verlag, 175 Fifth Avenue, New York. New York 10010, U.S.A.
Preface
This monograph grew out of the notes relating to the lecture courses that I
gave at the University of Helsinki from 1977 to 1979, at the Eidgenossische
Technische Hochschule Znch in 1980, and the University of Minnesota
in 1982. The book presumably would never have been written without Fred
Gehrfng's continuous encouragement. Thanks to the arrangements made by
Edgar Reich and David Storvick, I was able to spend the fall term of 1982 in
Minneapolis and do a good part of the writing there. Back in Finland, other
commitments delayed the completion of the text.
At the final stages of preparing the manuscript, I was assisted first by Mika
Seppla and then by Jouni Luukkainen, who both had a grant from the
Academy of Finland. I am greatly indebted to them for the improvements
they made in the text.
1 also received valuable advice and criticism from Kari Astala, Richard
Fehlmann, Barbara Flinn, Fred Gchring, Pentti Jrvi, Irwin Kra, Matti
Lehtinen, lippo Louhivaara, Bruce Palka, Kurt Strebel, Kalevi Suominen,
Pekka Tukia and Kalle Virtanen. To all of them I would like to express my
gratitude. Raili Pauninsalo deserves special thanks for her patience and great
care in typing the manuscript.
Finally, I thank the editors for accepting my text in Springer-Verlag's wellknown series.
Helsinki, Finland
June 1986
Oh Lehto
Contents
Preface
Introduction
v
.
CHAFFER I
Quasiconformal Mappings
Introduction to Chapter I
1. Conformal Invariants
1.1 Hyperbolic metric
1.2 Module of a quadrilateral
1.3 Length-area method.
1.4 Rengel's inequality
1.5 Module of a ring domain
1.6 Module of a path family
2. Geometric Definition of Quasiconformal Mappings
2.1 Definitions of quasloonformality
2.2 Normal families of quasiconformal mappings
2.3 Compactness of quasiconformal mappings
2.4 A distortion function
2.5 Circular distortion
3. Analytic Definition of Quasiconformal Mappings
3.1 Dilatation quotient
3.2 Quasiconlurwal diffetorphisms
3.3 Absolute noutinuity and differentiability
3.4 Generalized derivatives
3.5 Analytic characterization of quasiconformality
4. Seltrami Differential Equation
4.1
dilatation
4
5
5
7
8
9
10
11
12
12
13
14
is
17,
18
18
19
20
21
22
23
23
viii
Contents
0
4.2
24
25
26
27
28
29
30
30
31
33
34
35
36
37
38
38
39
41
44
45
46
47
CHAPTER II
Univalent Functions
50
Introduction to Chapter II
I. Schwarzian Derivative
1.1 Definition and transformation rules
1.2 Existence and uniqueness
1.3 Norm of the Schwarzian derivative
1.4 Convergence of Schwarzian derivatives
1.5 Area theorem
1.6 Conformal mappings of a disc
2. Distance between Simply Connected Domains
2.1 Distance from a disc
2.2 Distance function and coefficient problems
2.3 Boundary rotation
2.4 Domains of bounded boundary rotation
2.5 Upper estimate for the Schwarzian derivative
2.6 Outer radius of univalence
2.7 Distance between arbitrary domains
3. Conformal Mappings with Quasiconformal Extensions
3.1 Deviation from Mbius transformations
3.2 Dependence of a mapping on its complex dilatation
3.3 Schwarzian derivatives and complex dilatations
3.4 Asymptotic estimates. .
3.5 Majorant principle
3.6 Coefficient estimates
50
51
51
53
54
55
58
59
60
60
61
62
63
65
66
67
68
68
69
72
73
76
77
Contents
ix
4
4.
79
79
81
83
83
84
86
87
87
89
89
90
91
92
94
CHAPTER III
96
96
97
97
98
99
100
101
103
103
105
106
108
108
109
110
111
111
112
113
115
116
116
118
118
119
120
Contents
121
122
125
126
CHAPTER IV
Ricmann Surfaces
Introduction to Chapter IV
128
128
129
129
130
1.3 Borderofasurface
1.4 Differentials on Ricmann surfaces
1.5 Isothermal coordinates
1.6 Riemann surfaces and quasiconformal mappings
2. Topology of Covering Surfaces
2.1 Lifting of paths
2.2 Covering surfaces and the fundamental group
2.3 Braflched covering surfaces
2.4 Covering groups
2.5 Properly discontinuous groups
3. Uniformization of Riemann Surfaces
3.1 Lifted and projected conformal structures
3.2 Riemaun mapping theorem
3.3 Representation of Riemann surfaces
3.4 Lifting of continuous mappings
3.5 Homotopic mappings
3.6 Living of differentials
4. Group. of Mbius Transformations
4.1 Covering groups acting on the plane
4.2
groups
4.3 Elementary groups
4.4 ICisiniangroups
4.5 Structure of the limit set
4.6 InvarIant domains
5. Compact Riemana Surfaces
5.1 Covering groups over compact surfaces
5.2
of a compact surface
5.3 FunctIon theory on compact Riemann surfaces
siufaces
5.4 DivIsors on
theorem
5.5
of Quadratic Differentials
6.1 Natural parameters
6.2 Straigbt line, and trajectories
63
Oiimm*ation
,(
131
132
133
134
135
135
136
137
.
138
140
142
142
143
144
145
146
147
149
149
150
151
152
153
155
157
157
-...
.
...
158
158
t59
160
161
161
163
164
165
Contents
Xi
166
166
168
168
169
170
171
173
174
CHAPTER V
TeichmUller Spaces
Introduction to Chapter V
1. Quasiconformal Mappings of Riemann Surfaces
1.1 Complex dilatation on Riemann surfaces
1.2 Conformal structures
1.3 Group isomorphisms induced by quasiconformal mappings
1.4 Homotopy modulo the boundary
1.5 Quasiconformal mappings in homotopy classes
2. Definitions of Teichmller Space
2.1 Riemann space and Teichmller space
2.2 Teichmller metric
2.3 Teichmller space and Beltrami differentials
2.4 Teicbmller space and conformal structures
2.5 Conformal structures on a compact surface
2.6 Isomorphisms of Teichmuller spaces
2.7 Modular group
3. Teichmller Space and Lifted Mappings
3.1 Equivalent Beltrami differentials
3.2 Teichmflller space as a subset of the universal space
3.3 Completeness of Teichmller spaces
3.4 Quasi-Fucbsian groups
3.5 Quasiconformal reflections compatible with a group
3.6 Quasisymmetric functions compatible with a group
3.7 Unique extremality and Teichmller metrics
4. Teichmller Space and Schwarzian Derivatives
4.1 Schwarzian derivatives and quadratic differentials
4.2 Spaces of quadratic differentials
4.3 Schwarzian derivatives of univalent functions
4.4 Connection between Teichmfillcr spaces and the universal space....
4.5 Distance to the boundary
4.6 Equivalence of metrics
175
175
176
176
178
178
180
181
182
182
183
184
185
186
187
188
189
189
190
190
191
192
193
195
196
196
197
197
198
200
201
203
205
205
Contents
xii
7.7 Ieichmllcr
7.8 Extrernal mappings of compact surfaces
8. Uniqueness of Extremal Mappings of Compac.t
8.1 TeichmUlier mappings and quadratic diflerenijais
8.2 Local representation of Teichrniil!cr mappings
8.3 Stretching function and the Jacobian
8.4 Avcmge stretching
8.5 Teichniller's uniqueness theorem
9. Teichmiiller Spaces of Compact Surfaces
9.1 Teichmller imbcdding
9.2 Teichnillcr space as a hafl of the cuclidean spuce
9.3 Straight lines in Tcichrniillcr space
9.4 Composition of Teichmller mappings
9.5 TeichmUller discs.
9.6 Complex structure aad feiclunlier metric
9.7 Surfaces of finite type
Bibliography
Index
206
207
208
209
211
212
212
214
215
216
218
219
220
221
221
222
223
224
226
227
229
231
232
?32
33
235
236
237
240
240
241
242
243
244
2'15
247
IntroductiOn
I.
formal mappings and function theory. He also discovered that the theory
of Tcichmller spaces is intimately connected with quadratic diffei1entials.
Teichmller ([1], {2]) proved that on a compact Riemann surfac, of genus
greater than one, every holomorphic quadratic differential
a quasiconformal mapping which is a unique extremal in its homotopy class in the
sense that it has the smallest deviation from conformal mappings. He also
showed that all extremals are obtained in this manner. It follows that the
Teichmller space of a compact Riemanu surface of genus p> I is hmemorphic to the euclidean space tR66.
TeichmUller's proofs, often sketchy and
with conjectures, were
by Ahifors
also introduced a more flexible definiput ona
paper of Ahifors revived interest in
tion for quasiconfOrmal mappings.
study of the general
Teichmiiller's work and gave rise to a
Introduction
The interplay between the theory of univalent functions and the theory
of Teichmuller spaces is the maip theme of this monograph. We do give a
proof of the above mentioned classical uniqueness and existence theorems of
Teichmller and discuss their consequences. But the emphasis is on the study
of the repercussions of Bers's method, with attention both to univalent functions and to Teichmller spaces. It follows that even though the topics dealt
Introduction
CHAPTER 1
Quasiconformal Mappings
Intioduction to Chapter I
Quasiconformal mappings are an essential part of the contents of this book.
They appear in basic definitions and theorems, and serve as a tool over and
over again.
Sections 14 of Chapter I aim at giving the reader a quick survey of the
main features of the theory of quasiconformal mappings n the plane. Complete proofs are usually omitted. For the details, an effort was made to give
precise references to the literature, in most cases to the monograph Lehto
Virtanen [11.
Section 1 introduces certain conformal invariants. The Poincar metric is
repeatedly used later, and conformal modules of path families appear in the
characterizations of quasiconformality.
In section 2, quasiconformality is defined by means of the maximal dilatation of a homeomorphism. Certain compactness and distortion theorems,
closely related to this definition, are considered. Section 3 starts with the
classical definition of quasiconformal diffeomorphisms and explains the con'nections between various
arid analytic properties of quasiconformal mappings.
Section 4 is concerned with the characterization of quasiconforrnal mapequations. Comas homeomorphic. solutions of Reltrami
plex dilatation, a central notion throughout our presentation, is introduced,
and the basic theorems about the existence, uniqueness and representation of
a quasiconformal mapping with prescribed complex dilatation are discussed.
than sections 1 --4, and
The rcrnainiftg two sections are more
their contents are more clearly determined by subsequent applications. Section 5 is devoted to the now classical problem of extending a homeomorphic
_____
I. Conformal Invanants
w,
16
ZZ0 ..,
Fdzl
1_1z12
The shortest curve in this metric joining two points and 22 of D is the
The hyperbolic distance
circular arc which is orthogonal to the unit
between z1 and z2 is given by the formula
1
I'1
Z21
(Li)
,.
A of the plane with more than one boundary point'is conformally equivalent
to the unit disc. Let f: 'A D be a-conformal mapping, and
,,Az)
If'(z)l
Mappuigi
1.
which is
defines the hyperbolic (or Poincar) metric of A. The function
called the Poincar density of A, is well defined, for it does not depend on the
particular choice of the mappingf. In the upper half-plane,
= 1/(2 Im z).
The geodesics. which are preserved under conformal mappings, are called
hyperbolic segments.
The Poincar density is monotonic with respect to the domain: If A1 is a
simply connected subdomain of A and z e A1, then
(1.2)
q4,(z).
For let f and 11 be conformal maps of A and A1 onto the unit disc D, both
and application of Schvanishing at z. Then q4(z) = (f'(z)I,
=
warz's lemma to the function fofr1 yieldi(1.2).
Similar reasoning gives an upper bound for
in terms of the eucidean
distance d(z,
from z to the boundary of A. Now we apply Schwarz's
lemma to the function 0 f(z + d(z, A)C) and obtain
d(z,A)
(1.3)
There is another lower estimate for the Poincar density which we shall
need later. Let A be a simply connected domain and w1, w2 finite points
outside A. Then
vw7j
(1.5)
for every zeA. To prove (1.5) we observe that z .f(z) =(z w1)/(z
Hence,
w2)
by the
'IA.(f(Z)) If(z)I
4d(f(z), A')
1. Conformal Invariants
rilateral and that of a ring domain, have turned out to be particularly important. We shall first discuss the case of a quadrilateral.
A Jordan curve is the image of a circle under a homeomorphism of the
plane. A domain whose boundary is a Jordan curve is called a Jordan domain.
Let f be a conformal mapping of a disc D onto a domain A. Suppose that
A iS locally connected at every point z of its boundary , i.e., that every
neighborhood U o z in the plane contains a neighborhood V of z, such that
V A is connectea. Under this topological condition on A, a standard lengtharea argument yields the important result thatf can be extended to a homeomorphism between the closures of D and A. It follows, in partiular, that 0A
is a Jordan curve (Newman f1J, p. 173).
Conversely, a Jordan domain is locally connected at every boundary point.
We conclude, that a conformal mapping of a Jordan domain onto another
Jordan domain has a homeomorphic extension to the boundary, and hence
to the whole plane. For such a mapping, the iniages of three boundary points
_____
I.
the reflection principle. (For the details, see LehtoVirtanen [1]; for this
segment 0 x a. The number a/b, which does not depend on the partithe (conformal) module of the
cular choice of the canonical rectangle, is
z2, z3, 24). We shall use the notation
quadrilateral
M(Q(z1,z2,z3,z4)) = a/b
for thc module. It follows from the definition that M(Q(z1 ,22, z3,
1/M(Q(z2, z3, z4, Zi))..
From the definition it is also clear that the module of a quadrilateral is
R={u+ivfO<u<a,0<v<b}.Then
If
J.JQ
Let r be the family of all locally rectifiable Jordan arcs in Q which join the
sides (z1 , z2) and (z3, z4). Then
I If'(z)IIdzI
for every
y is the inverse image of a vertical line segment
of R joining its horizontal sides. Hence
M(Q(z11z2,z3,z4))=
JJ
yer
(1.6)
Conformal lavariante
m,(Q)=J$p2dxdY,
we
then have
M(Q(z1,z2,z3,z4)) = inf
(1.7)
PEP
This basic formula can be proved by a length-area reasoning. Define for every
of) Lt'I = p.
IL
The last integral at right is taken over a line segment whose preimage is in r.
Therefore, the integral is 1, and so
a/b M(Q(z1,z2,z3,z4)). To
complete the proof we note that p If'I/b belongs, to P. By (1.6) this is an
= M(Q(z1, z2, z3, z4)).
extremal function for which
M(Q(z1,z2,z3,z4))
(1.8)
It is not difficult to prove that equality holds if and only if Q(z1, z2, 23, z4) is
a rectangle with its usual vertices ([LV), p. 22).
Using (1.8) we can easily prove that the module depends continuously on
L Quasiconfonnal Mappings
10
log R
M(B) = 2n inf
,cP
By use of this formula, many geometrically more or less obvious statements can be rigorously founded. We list here some applications. The first
result says that the module cannot be large if neither of the boundary corn-
1. Conformal Invanants
11
ponents is small in the spherical metric: Let B be a ring domain which separates the points a1, b1 from the points a2, b2. If the spherical distance between
a and
i=
1,
2, is b, then
M(B) ,t2/2c52
(1.9)
The second estimate shows that if the boundary components are close to
each other and none of them is small, then the module is small. More precisely: Let B be a ring domain whose boundary components have spherical
diameters >5 and a mutual spherical distance <e <5. Then
M(B) n2/log
(1.10)
ring domain whose boundary components are the unit circle and the line
denote its module. If B is a ring
segment {xIO x r}, 0 < r < 1; let
domain separating the unit circle from the points 0 and r, then
M(B)
This was proved by Grtzsch in 1928 ([LV], p. 54).
A simple application of the reflection principle shows that the Teichmller
x 0 and x r2 has the
ring domain B bounded by the line segments -module
M(B) =
(1.11)
+ r2))'12).
This domain is also connected with an extremal problem: if the ring domain
B separates the points 0 and z1 from the points z2 and
then
M(B) 2,z((1z21/(1z1 I +
(1.12)
I. Quasiconformat Mappings
12
M(fl= inf
pEPj JA
p2dxdy
isa
{foylyer}. Itfollows
from the definition of the module that if f is conformal, then M(f(F)) =
M(r), i.e., the module of a path family is conformally invariatu.
11.1: A VA'
M(f(Q)(f(z1 ),f(z2),f(z3),f(z4)))
M(Q(z1,z2,z3,z4))
13
M(f(B)) KM(B)
(2.1)
M(f(F')) KM(fl
(2.2)
mappings, which the proof ([LV], p. 171) seems to require, were not yet
known. These properties will be discussed in section 3. The reason we men-
tion the result (2.2) here is that we could have taken it as a definition for
K-quasiconformality. In a way, a characterization by means of the general
relation (2.2) is more satisfactory than the definition which is based on the
special notion of the module of a quadrilateral. However, we have preferred
to use quadrilaterals, not merely for historical reasons, but also to remain
true to the presentation in the monograph [LV], to which repeated references are being made.
14
1.
Quasiconfonnal Mappings
M(f(B))
This yields
and hence the desired estimate s(f(z0),
V, for every fE F.
0
for i,j=
PRooF. By Lemma 2.1, the family F is equicontinuous in
1, 2, 3, i # j, and hence throughout 4.
i, j =
15
open set of the plane into the plane is a homeomorphism (Newman [1],
p. 122). Therefore, it is sufficient to show that a non-constant limit function
f is injective. This we can prove, utilizing the fact that the family
is
equicontinuous, with the aid of the module estimate (1.10) ([LV3, p. 74). 0
said
about
Theorem 2.3. Let A be a domain with at least two boundary points and
(fm) a sequence of K-quasiconformal mappings of A onto a fixed domain
A'. If the sequence (fN) converges in A, then the limit function is either a
K-quasiconformal mapping of A onto A', or a mapping of A onto a boundary
point of A'.
Here we need not assume that
= max{f(1)jfeF}
exists. This defines our distortion function
more explicit expression.
Consider the quadrilateral H( 1,0,1,
(2.3)
L Quasiconformal Mappings
16
The Mbius transformation z .(1 + z)/(1 z) maps it onto the quadri 1). Hence, these two quadrilaterals have the same module.
1,
hand, the modules are reciprocal, and so M(H( 1,0,1, co)) =
On the
M(H(0, 1,c4 1))= 1.
Let us
an feF and write t = f(1). We form the Teichmuller ring B
by the line segments 1 x 0 and x t. If B is conformally
equivalent to the annulus A = (ill <IzI <R}, then the canonical mapping
of B can be so chosen that the upper half of B is .conformally equivalent to
upper hail of A. By applying the mapping z ' log z we conclude that
M(H(0, t,
1))
M(B)
M(H(0, t,
1)) KM(H(O, 1, co,
mates, we obtain
1))
=
f is K-quasiconformal,
= K. if we combine all these esti-
t=f(1)(1r1(irK/2))21.
(2.4)
In order to show that there is an f for which equality holds, we fIrst make
a general remark: Let f be a homeomorphism of a domain A and I a closed
line segment which lies in A with the possible exception of its endpoints. Then
f has the same maxima! dilatation A and, in A\I. This can be proved by
means of Rengel's inequality ([LV], p. 45), or by making use of the analytic
characterization of quasiconformality which will be given in 3.5. It follows
that the reflection principle for conformal mappings generalizes as such for
K-quasiconfonnal mappings. In particular, a K-quasiconformal self-mapping
of the upper half-plane can be extended by reflection in the real axis to a
K-quasiconformal mapping of the plane.
Let us now return to (2.4). Let 11 be the canonical mapping of the quadrilateral H(0, 1,00, 1) onto the square Q(O, 1,1 + i,i), the affine stretching
x + iy Kx + iy, and 12 the canonical mapping of H(0, t, 00, 1) onto the
o ofj
rectangle R(O, K, K + i, i). Then the mapping f which is equal to
in H
its mirror iiage in the lower hall-plane is K-quasiconforinal in the
plane. For this f, equality holds in (2.4). It follows that
2(K) =
1.
1
we conclude that
n/2.
(2.5)
Typically the reasoning goes in the other direction, in that we retrieve information about 2(K) by estimating p(r). For instance, we obtain in this way
2(K) =
+ o(l),
1(K) exp(4.39(K
1))
1.
In
17
1; continuity at an arbitrary K
2.5.
Circular Distortion
min,jf(re")I
c(K),
(2.7)
There are many ways to prove this important theorem. A normal family
argument shows that a finite bound c(K) must exist. A quantitative estiand z be points on the circle
mate is obtained as follows. Let
=
r at which the minimum and maximum of lf(z)( are attained. For B' =
{wlmin,If(re1')I <Iwl <max,If(re")I}, let B be the inverse image of B'.
Then B separates the points 0, z1 from the points z2, cO. Hence, by (1.12)
I
and (2.5),
ic.
c(K) =
in
The sharp bound in (2.7) is A(K) (proved by
1959). This follows from the fact that, as a generalization of (2.3), ).(K) is the
Theorem 2.4, in a form in which the value of the sharp bound is not
needed, will render us valuable Service in section 6 when we study the geometry of quasidiscs. With these applications in irnad, we draw here a further
conclusion from (2.7).
201,
We infer from
then
lf(z2)f(z0)I c(K)If(z1)f(zo)I.
The following generalization is also readily obtained. If 122
(2.8)
201
nIz1
zol,
1. Quasiconformal Mappings
18
If(z2)f(zo)l nc(Krlf(za)f(zo)I;
k = 0, 1,
In order to prove this, we denote by
points onthe ray from z0 through z2 for which
=
= Z2. By (2.8),
2,..., n. Hence, by the triangle inequality,
If(Z2)
By(2.8), 11(C1)
(2.9)
...,
I
n, the equidistant
1z2 z01/n; here
f(C12)l fork =
f(zo)IEc(K)k
f(zo)I c(K)lf(z1)
f(z0)1.
mai.lf(z +
.
mm,If(z
+ re')
though we shall not make use of this characterization. A sense-
r-'O
even
if H is bounded in
studied and successfully applied in complex analysis for more than two
decades. Historically, the starting point for generalizing conformal mappings
was to consider, not arbitrary sense-preserving homeomorphisms, but dtffeomorphisms, i.e., homeomorphisms which with their inverses are continuously
differentiable. We can then generalize the characteristic property of conformal mappings that the derivative is independent of the direction by requiring
that the ratio of the maximum and minimum of the absolute value of the
directed derivatives at a point is uniformly bounded.
We shall now show that this classical definition gives precisely those quasi-
19
+
Then
rem)
f(z)
and so
=
max fj(z)( =
mm IOJ(z)l =
dilatation quotient
D max1I8jI
is finite.
is independent of we have Of Of = f'. This is equivalent to the dilatation quotient being identically equal to 1.
The dilatation quotient is conformally invariant If g and h are conformal
such that w = h of o g is defined, then direct computation shows
that D,(z) =
3.2.
Quasiconformal Diffeomorphisms
D1(z) K
for every z A. Then f is a K-quasiconformal mapping.
20
I. Quaszconformal Mappings
M' = m(R')
able at z0eA,then
max
K mm
(3.1)
pactness property of Theorem 2.2. This is one of the reasons for replacing the
classical definition of Grtzsch by the more general one. Another reason will
be discussed in 4.5.
x b,
21
This result was first established by Strebel (1955) and Mon. A later proof
by Pfluger, which uses Rengel's inequality and a minimum of real analysis, is
presented in [LV], p. 162.
From Theorem 3.3 we conclude that a quasiconformal mapping has finite
partial derivatives a.e. From this we can draw further conclusions by making
use of the following result:
a basic result:
and surface integrals remain valid for functions with V-derivatives. This is
one reason for the importance of this class of functions. (For details and more
information see, e.g., [LV], pp. 143154 or Lehto [4], pp. 127131.)
A quasiconformal mapping has L2-derivatives. In order to prove this we first
note that the dilatation condition (3.1) implies the inequality
KJ(z).
In particular,
KJ(z),
22
1. Quasiconformal Mappings
mappings have this property. They carry sets measurable with respect to
two-dimensional measure onto other sets in this class. The formula
= m(f(E))
(3.2)
JE
f of a domain A is K-quasi-
fisACLinA;
a.e. in A.
We first note that being ACL, the mapping has partial de*'atives
a.e. and, as a homeomorphism, is therefore differentiable a.e. Thus condition
2 makes sense. As above, we conclude that f has L2'dcrivatives. After this,
we can follow the proof of Theorem 3.1, apart from obvious modifications.
PROOF.
0
Theorem 3.5 is called the analytic definition of quasiconformality. Apparently different from the equivalent geometric definition, it sheds new light on
the connection with the classical Grtzsch mappings. In the next section we
shall show that the analytic definition can be written in the form of a lifferential equation. This leads to essentially new problems and results for quasiconformal mappings.
23
in 1955. Later
L'-derivatives, Theorem 3.5 was first established by
Bers and Pfluger relaxed the a priori requirements. Under the above minimal conditions, the theorem was proved by Gehring and Lehto in 1959.
(For references and more details, see [LV], p. 169.)
(4.1)
3f(z)
The function p. so defined a.e. in A, is called the complex dilatation off. Since
j is continuous, p is a Borel-measurable function, and from (4.1) we see that
Ip(z)I
<1.
(4.2)
24
1. Quasiconformal Mappings
Cauchy-Riemann equation f 0.
A function f is said to be an Lu-solution of (4.3) in a domain A if f has
V-derivatives and (4.3) holds a.e. in A.
is K-quasiconformal if and only if f is an
pt3f, where p satisfies (4.2) for almost all z.
PROOF. The necessity follows frdm Theorem 3.4 and the sufficiency from
Theorem 3.5, when we note that p)) <1 implies that f is sense-preserving.
Let f
and
dilatations
= g(z),
(4.4)
valid for almost all z e A, and hence for almost all e g(A).
25
!!Jj'
D.
right-hand side of (4.5) tends to zero for\ every fixed z. With the notation
Tw(z) = _1-$ f\
(4.6)
Jc\CZ
we then
f= \
in the complex
Assume, for a moment, that w in (4.6) belongs to class
plane, i.e., cv is infinitely many times differeMiable and has a bounded support. Straightforward computation then shows that
c3Tw = Hw
(4.8)
Hw(z) = JJc
th7,
Tw=w,
\.
that the operators 3 and commute with T and H, and that To and Hco
and are analytic outside the support of cv
belong to
p. 157).
26
I. Quasiconformal Mappings
[1],
from the original paper by Caldern and Zygmund (1952), in
Ahlfors [53 and Stein [13. Since
is dense in L' and is complete, w' can
use (4.9) to extend the Hilbert transformation to the whole space L". Inequality (4.9) then holds for every weLt (cf.
p. 159).
p. 160).
Using (4.9) we deduce that (4.8) holds i.e. for every we U (cf.
For applications it is also important to note that the norm
IIwII,=
11
It follows that the partial derivatives of the function z ' f(z) z, which are
locally in L2, are L2-integrable over the plane. We_conclude from (4.7) and
from the generalized lorinula (4.8) that of = I + JIOf a.e. Since Of = p01 a.e.
we thus have
Of=p+pHOf
a.e.
(4.10)
(4.11)
More explicitly, suppose that p(z) 0 if Izi > R, and define inductively
q,1,=p,
n2,3
(4.12)
27
Then
(4.13)
II
This solution gives the desired representation formula for f(z), first established by Bojarski in 1955.
Theorem 4.3. Let f be a quasiconformal mapping of the plane whose complex dilatation p has a bounded support and which satisfies the condition
(f(z) z) = 0. Then
f(z) =
To,(z),
For
where the
Iii'HJ'1
(4.15)
where c, depends only on p and R. (For this crucial estimate, (4.10) must be
solved in a space V with p> 2.) We conclude from (4.15) that
and that the series on the right is absolutely and uniformly convergent.
4.5.
Existence Theorem
28
I. Quasiconformal Mappings
The proof can be divided into three parts. One first shows that if p E
the Beltrami equation
p3w has a locally irijective solution. This can be
so constructed that a topological argument shows it to be in fact globally
injective. Another way to obtain from locally injective solutions a globally
injective one is to use the general uniformization theorem for Riemann surfaces. (Theorem IV.3.3). Finally, we get a general solution by approximating
the given p with Cr-functions (cf. Theorem 4.5 below). For details of the
proof and historical remarks we refer the reader to Lebto 14], p. 136. The
proof in [LV], p. 191, employs step functions, while Vekua [1] makes use of
the explicit expression in Theorem 4.3.
For continuous p, the solutions of the Beltrami equation are not necessarily continuously differentiable. In other words, for a diffeomorphic quasiconformal mapping its complex dilatation, which is continuous, cannot be
prescribed as an arbitrary continuous function z with
< 1. This is one
more reason to generalize the classical Grtzsch definition of quasiconformality (cf. the remark made at the end of 3.2).
If p is a little more regular than just continuous, we are back in the classical
situation. For instance, a quasiconformal mapping whose complex dilatation is
locally Holder continuous is a diffeomorphism. (See [LV], p. 235, where this
conclusion is drawn from a still weaker condition on p.)
Theorem 4.4 gives immediately a striking generalizati n of the Riemann
mapping theorem: Let A and B be simply connected donu ins in the extended
plane whose boundaries consist of more than one point, and let p be a measurable function in A with p
<1. Then there is a quasiconformal mapping
of A Onto B whose complex dilatation agrees with p a.e.
In fact, by Theorem 4.4 there exists a quasiconformal mapping f of A with
4. Ecluami
29
Equatiofl
p, of
satWy
oation
uniformly in A towards
p. By Theorm 22,
converges locally
mapping! with complex dilatation
p(z) a.e.
This result ([LV], p. 187) is needed to take the third step in the proof of
Theorem 4.4 sketched above. It can also be used to prove that an arbitrary
quasiconformal mapping can be approximated by smooth quasiconformal
mappings (cf. [LV], p. 207).
PROOF. By Theorems 4.4 and 4.2, the mappings f and f,, exist and are uniquely determined. By Theorem 2.1, (f,,} is a normal family. By Theorems 4.5
and 4.2, every convergent subsequence (4) tends to f. Then the sequence (f,,)
itself has the limit f.
have trivially K K1K2. Using Theorem 4.4 we shall now show that for
any given K1 K, a "minimal" decomposition 1=12
always exists with
K = K1K2.
Theorem 4.7. Let f be a quasiconformal mapping with maximal dilatation
K, and 0 < t < L' Then f = 12011, where 11 is
K
1. Quaaiconfonnal Mappinp
30
1+
1 fPi(z)I
(1 +
(4 16)
= 2h(p1(z),p(z)) =
2(1 t)h(0,p(z))
(1
t)log
f=fAo" 012011,
where each mapping
(4.17)
i = 1,2,..., n, is (1 + e)-quasiconformal.
where
M(H(x1,x2,x3,x4))
the supremum is taken over all such sequences x1, x2, x3, x4, the
these one-dimensional quasiconformal mappings have the customary properties of quasiconformal mappings in the plane: If h is K-quasiconformal,
I = 1, 2, then h2 oh1
then so is its inverse
and if is
is K1 K2-quasiconformal.
7z(x + t) h(x)
h(x) h(x t)
(5.1)
A(K)
for all x and all t > 0. Here 2 is the distortion function of 2.4. The inequality is
sharp for any given K, x and t.
PROOF. Choose x1 = x
t,
x2 = x, x3 = x + t, x4 =
M(H(h(x1),h(x2),h(x3), cx))
for s =
and s =
1.
31.1/2))
with h(cx)
quasisyminetric if
h(x + t) h(x)
h(x)h(xt)
is
said to be k-
I. Quaakon(ornial Mappings
32
for all XE P and all t >0. A function is quasisymmetric if it is k-quasisymmetric for some k. The smallest possible k is called the quasisymmetry constant of h. From the preof of Theorem 5.1 it follows that if h is
K-quasiconformul and h(oo) = oo, then h is A(K)-quasisymmetric.
Lemma 5.1. The family of k-quasisymmetric functions h which keep 0 and 1
fixed is equicontinuous at every point of the real axis.
PROOF. We first conclude from
that
(5.2)
for every non-negative integer n. In looking for a bound for h(a + x) h(a)
" k
(5.3)
i)
If m
a<
h(a
+ 1, where m is
an integer, then
+ 1) h(a) km(h(a + I
m) h(a m))
kmh(2)
k'(k + 1).
fl
fixes 0 and 1
is said
to
be
We conclude that every infinite sequence (he) of normalized k-quasisymmetric functions contains a subsequence which is locally uniformly convergent on the real axis. The limit is also a normalized k-quasisymmetric
function. This result allows the followir.g conclusion.
Lemma 5.2. Let La, b) be a closed interval on the real axis, and e > 0. Then
there is a > 0 such that for a normalized quasisymmetric function 1*,
xe(a,b],
h(x)xj<.s,
whenever h is (1 + b)-quasisyrnmeiric.
PROOF. If the lemma is not true, there is an e > 0 and a sequence of normalized (1 + l/n)-quasisymmetric functions h0, n = 1, 2,..., such that
sup
x( e
33
tends to I ask'!.
PROOF. Letf be defined in the closure of H by the formula
1'l
f(x+iy)=fl
Jo
Jo
(h(x+ty)h(xty))dt.
(5.4)
c4x,y)=
h(t)dt,
(5.5)
P(xiY)=J
0
h(t)dt.
Y
and fi are continuously differentiable in H, and an easy calculation shows that the Jacobian J
oj, is positive throughout H. More
than that, we deduce from (5.5) that f is a continuously differentiable bijective
self-mapping of H (cf. [LV], p. 84). This conclusion can be drawn from the
fact that h is a homeomorphism of R onto
quas symmetry is not needed
We see that
here.
Suppose now that there is not a number K(k) bounding, the maximal
dilatation of an extension (5.4). Then there are k-quasisymmetric functions\
and points ; H such that the dilatation quotients I), of the Beurling-.
of have the property
-. (cf. Theorem 3.1).
Application of suitabl linear transformations 4 makes it possible to assume that the boundary'functions hN are normalized and that; =; l for every
n. By Lemma 5.1, the functions h,, then constitute a normal family. We may
Ahifots extensions
34
1.
Quasiconformal Mappings
h, uniformly on bounded intervals of the real axis. Let f denote the Beurling
Abhors extension of this limit function h.
=
1),
Let s,,, /1,, be the functions (5.5) for
From
1,
and
ro
(xA),(i) =
h,,(t)dt,
1)
J1
at i converge to the
conclude that the partial derivatives of and
+
partials of and at i. Because J(D + lID) =
+
+
it follows that
tends to the dilatation quotient of f at
+
is impossible, and the existence of a finite bound K(k)
i. Hence, DR(i)
we
follows.
The above reasoning can also be used to proving the existence of a bound
K(k) with the additional property K(k) 1 as k ' 1. If no such K(k) xists,
there is a sequence of normalized functions
whose quasisymmetry constants tend to I while
does not converge to 1. From Lemma 5.2 we
conclude that lim
h(x) = x. By (5.4), the BeurlingAhifors extension
of the limit function is then the identity mapping. Thus urn
D(i) = 1,
and we have arrived at a contradiction.
0
of the modified extension satisfies the inequality K k2. For the required
calculations, see also Lehtinen [1).
The smallest upper bound known at present for the maximal dilatation
in the class of quasiconformal mappings with k-quasisymmetric boundary
values is
2k 1)
(Lehtinen [3]).
35
h2
PROOF. Suppose the lemma is not true. Making use again of the linear
transformations 4,, appealing to Lemmas 5.1 and 5.2, and reasoning as in the
proof of Theorem 5.2, we would arrive at the following situation. There exist
n
normalized k-quasisymmetric mappings
and
1, 2, ..., which
converge locally uniformly on the real axis to k-quasisymmetric mappings h1
o
converges locally uniformly to the identity
and h2 and for which
and fn2 are the BeurlingAhifors extenmapping. On the other hand, if
sions of
and
the dilatation quotient of 1,2
at the point i is
bounded away from 1.
be the Beur4ing-Ahlfors extensions of h1 and h2. Arguing as
Let f1 and
in Theorem 5.2 we obtain the result
limD1201-1(i) =
But from
D120111(i) = 1.
' x
(5.6)
5.5. Quasi-Isometry
IdzI
clmz
Idf(z)I
IdzI
Imf(z)
Imz
(5.7)
(5.8)
with y = Im z.
Suppose that (5.8) is not true, and apply again the same method of reasoning used in the proofs of Theorem 5.2 and Lemma 5.3. We conctude that
there are normalized k-quasisymmetric functions ha, which converge locallY
36
1. Quasiconformal Mapping
of h, then
-. J1(i), Imfft(i)
PROOF. The result can be proved with the aid of the decomposition formula
function
(4.17) in 4.7 which makes it possible to express a
as a composition of (1 + e)-quasisymmetric functions. The proof based on
t proof (Lehtinen [1]) is
this method will be given in 11.5.2. A more
obtained by a modification of the formula (5.4). e can write in (5.4)
Ref(z)
=
on [0, 1] and vanishes elsewhere, and a similar expression
where ,c(t) = I
obtains for im f(z). If K is replaced by a suitable exponential, the corresponding f turns out to be a real-analytic solution.
U
__LI_
S. The Boundary Vakie Problem
37
In the
class
problem for quite a long time whether the extremal mapping in F,, is always
unique, until
in 1962 gave an example which shows that Fh can
contain more than one extremal.
In Strebel's example one considers the domain A which is the union of the
lower half-plane and the "chimney" {zllmz O} {zlO < Rez < 1} (Fig. 1).
In A we set f1(x + ly) = x + iKy, K> I, and define another mapping 12 so
that 12 agrees with f1 in the chimney and is the identity in the lower halfplane. Then f1 and f2 are K-quasiconformal in A, they agree on the boundary
of A, and both are extremal for their boundary values (Strebel [1]). By using
a suitable conformal mapping of A onto H we can transform f1 and 12 to
normalized self-mappings of H.
More examples of boundary values with non-unique extremals will be
obtained in V.3.7. On the other hand, there are important cases in which
uniqueness can be proved (V.8.5). The question of unique extremality has
been systematically studied by Reich and Strebel; see, for instance, Strebel
[1], Reich and Strebel [1] and Reich [1].
In certain cases the
solution (5.4) is far from extremal.
Lehtinen [3] proved that if h has the quasisymmetry constant k, the maximal
38
1. Quasiconformal Mappings
, 1
as K* -.+
1.
K5 K ).(K)312.
(5.10)
Here the lower estimate is trivial, and the upper estimate follows if we use
Lehtinen's bound for the maximal dilatation of the modified extension (5.4).
For our later applications, the qualitative result in Lemma 5.5 is sufficient.
6. Quasidiscs
6.1. Quasicircles
A Jordan curve can be defined as the image of a circle under a homeomorphism of the plane. If the homeomorphism is conformal, then the image is a
circle. Between the topological and proper circles, quasicircies form a class of
curves which will come to frequent use in Chapters II, III and V.
39
6. Quuidiacs
plane
PROOF. It follows from the definition of a quasicircie that there is a quasiconformal mapping w of the plane which maps the real axis onto C. Then
fo w is quasiconformal in the plane, as is also f = (fo w) o
Since the area
of C is zero, we conclude from Theorem 3.5 (Analytic definition) that f is
K-quasiconformal.
0
6.2. Quasiconformal Reflections
Let C be a Jordan curve bounding the domains A1 and A2. A sense-reversing
of the plane which maps A1 onto A2 is a
K-quasiconformal involution
K-quasiconformal reflection in C if q, keeps every point of C fixed.
Theorem 6.1. A Jordan curve admits a quasiconformal reflection if and only if
it is a quasicircle.
ping of the plane which maps A1 onto the upper half-plane H. Then the
mapping =
ojof, wherej(z) = is a quasiconformal reflection in C.
Conversely, let be a quasiconformal reflection in a Jordan curve C. Let
h map H conformally onto A1. Define f
= h(z) in the closure of H,
f(z) =
in the lower half-plane. Then f is a homeomorphism of the
plane which is quasiconformal off the real axis, which it maps onto C. By
40
I. Quasiconformal Mappings
plane
in H.
which
be an arbitrary quasiconformal reflection in 8A. 1ff is constructed as in the second part of the proof of Theorem 6.1, with A replacing
A1, we obtain 1. Since OA is a K-quasicirck, there exists a K2-quasiconformal reflection q'. The corresponding f is also K2-quasiconformal, and 20
follows. We use this same in 3 and conclude that ofoJ is a desired
extension of f.
0
PROOF. Let
be
x.Then
c1(K)
(6.1)
'12(4)(Z))
where
is
If we choose
such
frp(z)
that
z01
zol
c(K)Iz
zol.
(6.2)
+ Iz
z01 (1 + c(K))d(o(z),C).
(6.3)
For our later applications (see 11.4.2) it is important to know that there
exist quasiconformal reflections whih are quasi-isometries in the euclidean
metric (Ahlfors [41). We also call such reflections Lipschitz-continuous.
and A2 and
Theii there exists a c2(K)-quasiconformal reflection q' in C,
41
tQuasidlacs
Idq(z)J c3(K)Jdzl
(6.4)
outside C.
Since the Poincar metric is conformally invariant, it follows from formula
(5.7) that
172(q)(z))Id(p(z)j
l(x) aizi
(6.5)
2 For every z e
of a\{z).
where
It will appd
first prove directly
(6.6)
if aild only
is a quasidisc. We
is tsnifdrm. This requires a fairly lengthy
L Quasiconformal Mappiap
42
mappMg
Then
1"
aconformai
(K)d(f(iy), 8A)
If'QOl di
Jo-
forO<y <
By Lemma 6.21 has a K'-quasiconformal extension to the plane. We
may assume without loss of generality that f(O) = 0.
For y >0, the mappingf satisfies the inequality
.PKOOF.
If'(iy)l
4d(f(iy),
(6.7)
This follows directly from the Koebe one-quarter theorem cited in 1.1, if we
apply it to the function C . (f(iy + yC) f(ay))/yf'(iy).
If(it)
1(0)1
1(0)1,
If(iy)f.
Hence, by (6.7)
I
If'(it)Idt
Yj+i
The Iogarithpi can be estimated by aid of (2.9). Let n be the smallest mteger
1(0)1, and so by (2.9),
for which c n. Then If('y,) f(0)f
01
01
c2(K)yj1.
It follows that
I
lf'Qt)idt
Jo
43
6. Quaaidiscs
which maps A conformally onto the unit disc D. We can choose f so that
and f(z2) are real. Let D' be the open disc in D which has the line segment with endpoints 1(z1) and 1(z2) as a diameter. Then f1(IY) is a bounded
Let A' and a' be the images of A and a under the Mbius transformation
z .-+g(z) = (z
22). Then
1(a)
2)
z2)(w
1)_2,
(6.8)
lwi 12
Lemma 6.5,
c1(K)d(w(s),DA')
Jo
the plane, f(oo) = oo, which maps A conformally onto the unit disc D. Fix.
za and choose z0e.3A so that 12
= d(z,c3A). Since f(a) is a hyperbolic
line in D,
mm
Jf(z)
Iz
zjl
By formula (2.9),
mm
J=1.2
2c(K2)21z
Zol
2c(K2)2d(z,A).
0,
I. Quasiconformal Mappings
20
We shall see after completing our chain of theorems that in fact, a simply
connected domain with more than one boundary point is linearly locally
connected if and only if it is a quasidisc. We shall now establish'the second
link of the chain.
Theorem 6.4. A uniform domain A is linearly locally connected.
PROOF.
(zz0{jzz11+1z1
z2 A n D(z0, r).
in A such that
1)r.
It follows that
and z2 in A n D(z0,cr) if c = 2a + 1.
Next assume that z1, z2 e A\D(z0, r). We consider an arc joining z1 and
z2 in A with
for every
Set c = 2b + 1. If joins z1
and z2 in A\D(z0,r/c), the theorem is proved. Now suppose that does not
45
6. Quasidiscs
for which z
z0
<nc. For
j = 1, 2 we have
Izj
zf
Izj
z0(
r nc.
Thus
From the proof we see that A is linearly locally connected with the constant c 2 znax(a, b) + 1.
6.5. Arc
Condition
Let C be a Jordan curve and z1, z2 finite points of C. They divide C into two
arcs, and we consider the one with the smaller euclidean diameter. The curve
C is said to satisfy the arc condition if the ratio of this diameter to the distance
is bounded by a fixed number k for all finite z1, z2C.
fz1 -A circle satisfies the arc condition for the constant k = 1. An example in
> 0,
the opposite direction is obtained if we consider the curve C = {x +
z2f = 2x2, and the smalx2}. liz1 = x + ix2, z2 x ix2, then
y
ler diameter in the above definition is x. Hence d/1z1 z21 .
as x ' 0,
so that this curve does not satisfy the arc condition.
We shall now establish the third link of our chain.
a1, a2 into which the points z1, z2 divide lies in the closure of the disc
D(z0, c2r).
The proof is indirect. Suppose there is a t> r and points E ct1\D(z0, c2 t),
I = 1,2.
< <S2 <i; then and z2 belong to the set
A is a Jordan domain, its boundary points are accessible. We can thus
find points z eA D(z0, and arcs
z to z1 in A ri D(z0, s1). By the
linear local connectivity of A, the points
and 4
in A D(z0,cs2).
The points w1 and w2 lie in A\D(z0,c2s2). Therefore, we can find an arc y
46
1. Quasiconformal Mappings
joining w1 and w2 in A\D(z0,cs2). But then the cross-cut y does not meet the
cross-cut u fl2 u fl3. This is a contradiction, because their endpoints are in
the order
Wi, 22, w2 on A.
c(K)-quasicircle.
Lenma 6.7. Let Q(z1, 22,23, z4) be a quadrilateral with module 1, and let
and
denote the euclidean distances in Q between the sides (ii, z2), (tp,X4) and
(z4,
respectively. Then
,.
>
We
z1) in Q
assume that among the arcs which join the sides (22,Z3) and
is a of length
Let 1 be the point which divides Vo into
47
6.
two parts of length 52/2. Set pfr) = 2/s2 if Iz z01 52/2, p(z) = 1hz zoj if
s1 + s2/2, and p(z) 0 elsewhere. The area
s2/2 < Iz
of Q in
this p-metric then satisfies the inequality
it(l 2log(1 + 2s1/s2)).
Consider next an arc y joining the sides (z1,z2) and (z3,z4) in Q. FQr the
p-length of y we obtain a minorant if we integrate 1/x over a segment with
endpoints s2/2 and s2/2 +
Therefore,
log(1 + 2s1/s2).
p(z)IdzJ
-'1
Setting
F(x)
+ 2 log(1 + x)
(log(1 + x))2
.1 = M(Q(z1;z2,z3,z4))
From this we obtain, by interchanging the roles of s1 and
2
6.7.
>
Characterizations of Quasidiscs
PROOF. Let C be a Jordan curve which satisfies the arc condition and bounds
the domains A1 and A2. Choose four points z1, z2, z3, z4 on C such that.
with module 1. We shall derive an upper
bound for
quadrilateral A3(z4,z3,z2,z1).
Let
tl)c distance in A1 between the sides (z1,z2) and (z3,z4), and
d1 the same distanee measured in the plane. For the remaining sides (z2,z3)
and
these distances are denoted by and d2. From Lemma 6.7 it
follows that
s1 > 103d2.
(6.9)
Since C satisfies the arc condition, there is a constant k I such that one
of the sides (z2,z3), (z4,z1) lies inside a disc of diameter ku1. From this we
conclude that
103,rk
(6.10)
48
I. Quasiconformal Mappings
For if not, one of the sides (z2,z3), (z4, z1) lies in a disc of diameter 103d2/*.
The other, which is at a distance d2 from this one, must lie.outside this disc.
can be joined in A1 by a circular
It follows that the sides (z1, z2) and (z3,
This is in contradiction with (6.9), and (6.10) follows.
arc of length
Since (6.10) is formulated in terms of the distances in the plane, it can be
used to estimating the module of A2. We first conclude as above theexistence
of a disc
<kd2f2 which contains one of the sides(z1, z2), (23, 24). Let
r=
kd2/2
the
and define p(z) = I if tz z01 <r, and p(z) = 0 elsewhere. By
103d2/irk.
p-length of an arc yjoining the first and the third side of A2 is
Hence,
IO6ir(irk2/2 + 10-3)2.
M(A2(z4,z3,z2,z1))
By Lemma 6.6, C is
satisfy a particularly
simple geometric
condition.
Izi
PROOF. Let f be
c(K)Izj
+ 1z2
(6.11)
i = 1, 2, 3, and
axis onto C such that f(co) =
Denote x1 =
= lxi x21}, C2 = {wflw _X3j = fx2 x31}. Join z1 and
byatit segment L, and denote by a1 and a2 the first points at which L
when one moves along L from z and from z3. Then
f(C
real
jE1
a1.
1z2
These yield the desired inequality (6.11). It follows from the proof and our
remark in 2.5 that (6.11) holds for c(K) = .a(K).
0
CnvlsCly,
Then C satisfies the arc condition with the constant c(K), and C is a
The implications in
I
6, Quasidiscs
49
starts and ends with quasidiscs. This makes it possible to draw the remarkable conclusion that the converse of each of these theorems is true. It follows
that quasidises can be characterized as domains with the hyperbolic segment
CHAPTER II
Univalent Functions
Introduction to Chapter II
The theory of univalent analytic functions covers a large part of complex
analysis. In this chapter, we deal with certain aspects of the theory which are
51
1. Scbwarzian Derivative
some results of this type, even though they might veer a little off the main
track from the standpoint of applications to the Teichmller theory.
We return to the main problem in section 4. A basic result says that if a
function f, meromorphic in a quasidisc, has a small Schwarzian derivative,
then I is univalent and has a quasiconformal extension to the plane with a
It is then proved that the result does not hold in simply connected
small
domains which are not quasidiscs. In this section, the interplay the concepts complex dilatation, quasidisc and Schwarzian derivative becomes very
concrete.
1. Schwarzian Derivative
1.1. Definition and Transformation Rules.
Let us consider a Mbius transformation z -. f(z) = (az + b)/(cz + d). Differentiation yields
f"(z)
f'(z)
(f"'\' (z)
2c
cz + d'
2c2
(cz + d)2
/ ,,\s
S, =0.
(1.2)
Conversely, if we start from the equation (1.2) and set y = "/f', then
= p2/2. From this we deduce, by an easy integration, that every solution of
(1.2) is a Mbius transformation.
The expression (1.1) is called the
52
11.
Univalent Functions
S111(z).
We use this formula to define S1(z) for a meromorphic f at points where! has
a first order pole. It follows that if a meromorphic f is locally injective in A,
then Sf is defined everywhere in A, and it is
in A.
Direct computation gives the transformation rule
= (S1og)g'2
If g is a Mbius transformation, we have 59 =
(1.3)
0,
S109=(Sfog)g'2.
and so
(1.4)
is
infinity. In conclusion, the Schwarzian derivative can be defined in any domain A for every function f meromorphic and locally injective in A, and it is
a holomorphic function in A.
The Schwarzian derivative will play a very central part throughout this
chapter on univalent functions and in the presentation of Teichmiler theory
in Chapters III and V. It was introduced to complex analysis in 1869 by
II. A. Schwarz ([1], p. 78). Schwarz established equation (1.2) and used it to
map a simply connected domain bounded by fmitely many circular arcs conformally onto a disc.
The special role of Mbius transformations in connection with Schwarzian
derivatives appears not only from equation (1.2) but also from the invariance
property following from (1.3) and (1.2): 1ff is a Mbius transformation,
Slog ='S9.
53
1. Schwarvan Derivative
(z 2()
is
a3(z z0)3
(1.5)
tions that given a point z0eA, equation (1.6) has a unique holomorphic
solution w in a neighborhood of z0, once we prescribe the values w(z0) and
w'(z0). It is also easy to verify this directly, with the aid of power series. In
fact, we have q,(z) =
Zn)" in a disc around z0. If
w(z) =
c,,(z
(1.7)
n(n
0,
n=
2, 3
0, 1,
1,
n(n
MEr
k0
,t2
ICkI <r'"
k0
rckl.
0, C1 = 1.
<Mr",
54
1, gives
Since w1w3'
= 0, we have
= constant. Tha constant is
not zero, because w1 and w3 are linearly independent. Set I = w1/w2; then
is a locally injective meromorphic function in A. Direct computation yields
2w/w2 = .
f/f' =
From the invariance of the Schwarzian derivative under Mbius transformations we conclude that, if f is a solution of(1.5) and h an arbitrary Mbius
transformation, then h of also is a solution of (1.5).
hA = sup
z.4
In particular,
II
(1.8)
S1 H4
z6A
There are many reasons to use this "hyperbolic sup-norm" instead of the
ordinary norm suplS1(z)l. We shall soon see that (1.8) exhibits more invariance with respect to Mbius transformations than sup(S1(z)(. This is
important as such and becomes crucial when we generalize the notion of
Scbwarzian derivative to Riemann surfaces,because
is a function on
a Riemann surface whereas is1i is usually not.
55
I. Schwazzian Derivative
is important to see how the norm (1.8) transforms under conformal mappings. Let I and g be meromorphic functions in a domain A and h: B -' A a
conformal mapping. By the transformation rule (1.3),
It
(S1o1i
S,oh)h'2.
h'
(1 9)
?JA(W)
Equation (1.9) yields a number of results about the norm. First, it follows
immediately from the. definition of the norm that we have the invariance
115, S,t =
IIS,Qh S901113.
(1.10)
(1.11)
S, HA = uS,0,-1
(1.12)
liinS,(z) = S1(z)
locally unjformly in A, it does not necessarily follow that
limIIS,S,1L4=0.
(1.13)
56
S1(z)
S1(z)
(z2
that
/
xa
for
(z2
))=6
every n.
This is seen from the example in which A is the upper half-plane and
z', where the numbers
are positive and tend increasingly to 2.
Then
and the limit function z f(z) = z2 are univalent in A. From
S,(z) = (1
it follows that
We see that
S,(z)J
4a2
= 21121
S1(z) locally
ifS1
= 2(4
at).
, S1
in norm. In
this case f(A) is the plane slit along the non-negative real axis, and the
approximating domains
are infinite sectors.
= (wIO < argw <
Figure 2 illustrates the difference between the two cases. In order to get the
same limit domain and the same "critical" points, we have replaced in the
first example by
with
+ and in the second one by
+
=
These changes leave the Schwarzians invariant.
The converse problem is to study whether we can conclude from (1.13) that
the mappings converge to 1. Since the Schwarzian derivative determines
Example
1.
S1
Example 2.
S1
Figure
S1 -+
S1
__________
__________
57
b Schwarzian Derivative
-)
z-Plogz
Figure 3
2/n2,
,r
I+
4n
1we
h(w)
which
H. Univalent Functions
58
mA.
We remark that there is a certain analogy in the behavior of Schwarzian
derivatives and complex dilatations. In 1.4.6 we pointed out that locally
uniform convergence of quasiconformal mappings does not imply the convergence in
of their complex dilatations. On the other hand, Theorem 1.4.6 shows that the
of complex dilatations does imply
pointwise convergence of suitably normalized mappings.
1/
f(z) = z +
(1.14)
Then
1.
(1.15)
rn,, =
wdW.
1.
The Area theorem was first proved by Gronwall in 1914 and efficiently
used by Bieberbach two years later. It is a bistDrically significant result as it
59
i. Schwarzian Derivative
1b11 1.
Equality holds
For the extremal function of (1.16), the equality sign holds as well
(1.15).
For (1.15), there are many other extremals.
The functions satisfying the conditions of the Area theorem with b0 =0 are
said to form the class E. Another important class in the theory of univalent
functions is S. which consists of functions f univalent and holomorphic in
4.he unit disc with f(O) = 0, f'(O)= 1. If fcS and f(z) = z +
then
z . q,(z) = 1/f(z2)"2 belongs to E end tp(z) = z
a2
2,
z/(1 + e"z)2.
1ff eS and gis an arbitrary conformal self-mapping of the unit disc, then
fog f(g(O))
f'(g(O))g'(O)
4.
+ zfl2.
we get the Koebe one-quarter theorem which we used already in
1))
60
value distribution, and it will turn out that the norm of its Schwarzian is
always finite. We shall first prove this in the case where A is a disc, a disc
meaning a domain bounded by a circle or a straight line.
Theorem 1.3. 1ff is a conformal mapping of a disc, then
(1.20)
II S1 II 6.
z .l/f(t/z) =
The estimate (1.20) was proved by Kraus [1] in 1932. His paper was
forgotten and rediscovered only in the late sixties. Meanwhile, (1.20) was
attributed to Nehari ([1]) who proved it in 1949.
valent to a disc. Even in this general case, the norm of the Schwarzian
derivative of a conformal mapping of A is always finite, but the bound may
be as high as 12.
61
II Sf
for all domains A. The distance 5(A) measures how much A deviates from a
disc, or equivalently, how much a function f mapping A onto a disc deviates
from a Mbius transformation.
An illustrative example is provided by the case in which A is the exterior of the ellipse {z =
k = 1, the
k
+
ellipse degenerates into the line segment with endpoints 2.) The function z -+f(z) = z + k/z maps the disc E = {zjIzI> 1) conformally onto A.
Because S1(z) = 6k(z2
k)" 2,
follows that
5(A) = 6k.
II.
(2.1)
Again, 6(A) covers the whole closed interval from 0 to 6 as k grows from I to
2.
62
ISf(zo)Ifl(Zo)2 =
This yields the characterization
(2.2)
(2.3)
2.3.
Boundary Rotation
As an example of the use of the characterization (2.2) and the formula (2.3),
we shall determine the sharp upper bound for (A) in certain classes of
domains characterized geometrically in terms of their boundary. We shall
first introduce "boundary rotation".
2.
(2.4)
< 00,
(2.5)
Jo
2.
=1 +
r
Iu(re'iIdq,.
Fi
Suppose that A has finite boundary rotation kit. From the finiteness of (2.7)
it follows that the harmonic function u can be represented by means of the
f'(z) = f (O)e
105(1
dtp(8)
(2.8)
Here
formula for the function mapping a disc conformally onto the interior of a
polygon.
Conversely, let i,1' be a function of bounded variation satisfying (2.4) and
For convex domains formula (2.8) was derived by Study in 1913. The
notion of boundary rotation was introduced in 1931 by Paatero; his. thesis
[1] contains detailed proofs for all the results in this subsection.
2.
(2.9)
64
/ '2*
S1(O)
(2.10)
= Jo
JO
0, it follows that
Jo
\Jo
/ '2*
=f
Jo
\Jo
\2
cosOd*(O))
+ I
Jo
(2.11)
sin2
j'2z
2.
Jo
= 2,
Jo
Jo
cosOdqi(O)
= 0.
These conditions are fuffilled if i/i has a jump +1 at the points 0 and ir and is
constant on the intervals (0, it) and (it, 2ir). Then Sf(O) = 2, and it follows from
strip.
1).
(2.12)
65
k=3.5
k=2.S
The main lines of the proof are the same as those in Theorem 2.1. After
similar initial remarks we start from (2.10), assuming this time that S1(0) <0.
In the first line of (2.11) we now ignore the third integral and conclude that
/ r2s
\2
cosOdi/i(9))
f'2*
cos2Odi,140).
Jo
/ Jo
With attention paid to (2.4) and (2.5), the estimate (2.12) follows from this
I
after some computation; for the details we refer to Lebto and Tammi [1],
p. 255.
From (2.8) we get for the extremal f with f(O) = 0 the representation
f(z)
(1
(i +
4 2k1
6k
s\k14+1/2 d
axis. Its boundary Consists of two half-rays in the right half-plane emanating
from a point of the real axis and forming the angle knf2 in A, and of a
vertical line in the left half-plane (Fig. 4). As k grows from 2 to 4, the vertical
line moves to the left until It disappears when k = 4, i.e., it then reduces to the
point
Theorem 2.3. Let A and A' be domains conformally equivalent to a disc and
+ b(A').
(2.13)
= IS10,,
5511D Since
66
H ljnivaJent Functiona
II
'.
is
Theut
(2.14)
1, 2.
maps A conformally
IIS,IIA=
Now
HS,IIA
S1
conformal self-mapping of A}
Theorem 2.3 shows that there is a simple connection between the outer
radius of univalence and the distance function S (Lehto [6]).
Theorem 2.4. Let A be a domain conformally equivalent to a disc. Then
a0(A)
5(A) + 6.
sup{IISJIIAI.f:
-. A' conformal}.
(2.15)
67
We can thus extend Theorem 1.3 to domains A for which we know 6(A).
12.
The maximum 12 can be attained. We must then have 6(A) 6, and extremals are obtained, for instance, if we consider iuitable self-mappings of such
domains A.
As one example, let us consider the domain 4 which is the complement of
to the extended plane. In the
1
x 1) with
the line segment
discE= {wItwI> 1)
f
e"12hoh1.
a conformal self-mapping
From
_6eW/(w2
and
ItS,,
it follows that
If S1 HA
12
the function
at which
takes the
68
11. Univalent
o k
k' 2.Iff1(z) =
If k'
S12
= 2(k'2
k2).
or if
1, we have 2(k'2k2)=2(1k2)---2(tk'2)
so that in these cases b(A,A') = 15(A) S(A')I.
If k> 1, k < 1, then 2(k'2 k2) = 5(A) + 5(A'), but .S(A, A') is presumably
I
(() c5(A')(,
smaller.
69
a small fl it II
II
The study of the relationships between complex dilatations and Schwarzian derivatives will be one of the leading themes of this monograph. Apart
from its intrinsic interest, the possibility of using these two apparently different measures of the deviation from Mbius transformations is important
in the theory of Teichmller spaces.
< I/
jJ j.t 33
By Theorem 1.4.3,
f(z)
f(z, 1) = z +
on
Hence,
f(z, w) =
+ >:
converges uniformly
U. Univa'ent Functioni
70
< 1.
whenever
(I
f'(z, w) = 1 +
and similarly for higher derivatives. It follows that all derivatives of z -. f(z, w)
depend holomorphically on w in the disc Iwl <
0
Theorem 3.1 makes it possible to study the dependence of the power series
coefficients of z ' f(z, w) on w. Let
f(z,w) =
z).
Iz(f(z,w)z)b1(w)j2
IzI
*.-I
z
b/w)zJ)
by induction.
71
for every
is holomorphic in wf < I p
w ,
a2
0 as
= l/II.uL.
a3 C a1
a2 a1
Then
quently,
Conse-
=
depends analytically
By applying Theorem 3.1 again, we conclude that
is holomorphic in the disc claimed.
on w. It follows that w .-.
0
we also deduce that for every z in the upper halfdepend holomorphically on w in the disc
plane, the derivatives of z
Iwl <
From
h,.,, o
og
f(z, wp + v) =
72
IL Univalent Functions
can be replaced by wp + v. Also, the holomorphic dependence of the derivatives on the parameter w remains in effect if wp is replaced by wjt + v.
Ahifors and Bers realized that in the theory of Teichmller spaces it is of
basic importance to study quasiconformaj mappings with varying complex
dilatations. In their joint paper [1] they proved the holomorphic dependence
of the mapping on its complex dilatation.
tSf}A IA
dilatation. Also,
c A.
Then p has bounded support.
Let w be a complex number with Iwl < 1. We
for a moment the
unique quasiconforrna! mapping z f(z, will
of the plane which has the
complex dilatation
and the property 1(z.
z +0 as
z . cia. (We may assume that
> 0.) By Theorem 3.1, the
of
the analytic function z ' (f A)(z, w/ll /A
with respect to z depend analytically on w in the unit disc, at every finite point z of A.
Keeping z fixed, we define the function
II
w +
Sf(.,
k,
0 k < 1,
73
1)
= 6k.
II
For
f(z)=z+ki
if
if
tzI1,
(3.3)
is such an extremal. Other extrernals are obtained if this (is composed with
Mbhis tran*formatidns.
Using Theorem 3.2 we can estimate () for quasidiscs.
Theorem 33. If A is a K-quasidisc, then
K2t
(A)6K21.
(3.4)
H
under a K2-quaslconformal mapping! of the plane which is conforma) inK.
PROOF. By Lemma 1.6.2, the domain A is the image of the upper
By Theorem 3.2,
f
On the othcr hand,
11,1
= i.4).
It is not known whether the bound in (3.4) is sharp. From the example (3.3)
we deduce that the sharp bound is 6(K t)/(K + 1). In any event,
equality (3.4) shows that for a K-quasidisc 4, the distance () ' 0 as K ' 1.
3.4. Asymptotic. Estimates
Application of the representation formula (3.1) and reasoning similar to that
used in proving TheOrem 3.2 make it possible to obtain readily a number of
The rest of
results for conformi.t mappings with
0.
f(z) = z
0,
if
+ 0(k2)
(3.6)
in the whole plane. Here I0(k2)I ck2, the constant c depending only
ck2.
EITq,,(z)I
RJJDR_ZI
=
K
zI
ck2.
a.e.,
(3.7)
(3.8)
then
lf(z) zi
2VJJDIC_ZI + 0(k2).
+ k2e2/z
+
if frI.> 1,
1)
+ k2e2i
if frI 1.
Hence (f(O)( = 2k. These functions I arc not only asymptotically extremal
but they actually maximize (1(0)1 in (Khnau (23, Lchto [3)).
For the coefficients b,, in (3.5), a counterpart of (3.7) can also be easily
established.
2k
IbAI41 +ck2,
with c
k)1.
(3.9)
If
f5(z)
n=1,2,...,
+
+
2k/(n +
1).
if zI> I,
if (zI 1,
3 10
75
PROOF.
We have
=
for IzI>
1.
Hence,
R,..1
(3.11)
,fJD
Mcbwarz's inequality and the estimate (4.13) in 1.4.4 for p = 2 (in which case
NH)1,=l)yield
ltfl
ffJI,
n = 1,2,...,
+ 0(k2),
=
the remainder term being. n"2k2/(l
follows.
Direct verification shows that the function f,, defined by (3.10) has this complex dilatation. We also see that for j, the Coefficient b1 = 2k/(n + 1).
0
f(z) =
1,
n1
na2
n 23
76
1. It follows that
=
f(z) zI
(3.12)
= max I'I'(f)l.
fEE,,
is
f" (z).
Fix k and k , 0
if w 0, then f is the
Therefore, by Schwarz's 1cm
0.
77
we get the
Is an analytic functional on
0
which
kmaxib(f)I.
feZ
feE,
(3.13)
If equality holds for one value k e (0, 1), then it holds for all values of k.
PROOF. Inequality (3.13) follows ithmediately from Theorem 3.6 if we let
1.
Suppose that equality holds in (3.13) for some value k, 0 <k < 1. Let fk
dilatation of its extension. For
be extremal in this Ek and the
functions f with complex dilatation
Iwl < 1/k, Schwarz's lemma gives
over L But now equality holds
kM(1)IwI, where M(1) =
for w = 1. Ii follows that
= kM(1)IwI
in the whole disc
(3.14)
max)b1 kmaxlbj.
(3.15)
I
Assume that for a fixed n, equality holds for some k > 0. By what was said
about equality in (3.13), equality then holds for all values of k. It follows that
the extremal
for k is k/k0-times the extremal Ib,,I for k0. Furthermore,
is an extremal dilatation for k0, then wt0 is extremal for k with IwI = k/k0.
then is multiNow consider the formula (3.1 1). If is replaced by
plied by the power w'. It follows that all terms in the series (3.11) vanish,
except for the first one. But then
2k/(n + 1), and by (3.15),
2/(n + 1).
This is
to be true if n = 1, 2. (For classical results on univalent
functions we refer to Duren's monograph [1], which also contains an exten-
U. UakA
78
save
+1) for
Theorem 3A
Thus in
mm4b1l
in Ek, k
k(1/2 + e'). For a 4,
1,2.
In Z, maxlb,I
112 + 1',
whereas
unimown both in
Theorem 3.5 it
ii
(3.17)
I*(w)I
If we set w =
we
in Izi 1. A relatively simple argument shows that there are no other cxtremals (Lehto [1]).
79
The general inequality (3.13) allows many other applications. For instance,
not determine the element of uniquely (S contains many Mbius transformations). Unique correspondence follows, for example, if we require that
the extended mappings fix
For this subclass Sk(
we can sharpen a
number of results known to be valid in S. (For various applications of the
majorant principle, see e.g. Lehto [3], [5].)
Univalent functions with quasiconformal extensions can also be studied by
use of variational techniques. Compared to (3.13), such methods often involve
much more laborious computations, but are essentially better in many cases
where (3.13) fails to give a sharp result. Khnau is a pioneer in this field. He
has had many successors, so that an extensive literature exists today. Delving
into these questions would take us too far afield from our main topic, and we
content ourselves here with mentioning, besides Khnau's works [1] and [2],
the papers of Schiffer [1] and SchifTerSchober [1], the lecture notes of
[1], and U e monographs of Pommerenke [1] and Krushkal
Khnau [1] among
othets.
80
Function5
U.
Let C
h(z1) h(z2)
z2),
Co
Zn). Hence
Co
(h'(*(z))'\112 *(z)
k h'(z)
CC0
I
Then also
linisup
If C passes through
Co
CC0
= lim sup
#(z)
Z0
(4.1)
c1(K)
(4.2)
z-zo
with a finite constant c1(K) depending only on K. The invariance (4.1) shows
that inequality (4.2) holds for all K-quasiconformal reflections.
is
(0/dc.
(h'(,4r(z))h'(z))1P(*(z)
z),
this yields
di/i(z)
d(p(C)
C)2
(4.3)
c(K)IIS,HA.
I*(z) zI2Id%fr(z)/dzl
81
(4.4)
(4.5)
Hi' II
to circumvent the difficulty arising from the fact that we have no a priori
knowledge about the behavior off on the boundary of A, we resort to an
approximation procedure. We assume first that w1, w2 and I are holomorphic on the boundary of A. Having proved the theorem under this additional
condition, we obtain the general result by exhausting A with subdomains
which are K-quasidiscs and on whose boundaries f has no poles.
Let A1 denote the complement of the closure of A and a quasiconformal
reflection satisfying (4.4); the domain A now, plays the role of A2 in the earlier
discussion. We write z =
and define a function g in A1 by
+ (C
W2(Z) +
82
II. Univalent
We prove
At infinity, g is defined as its limit: g(cx)) =
desired
continuation
off
if
(4.5)
holds
for
an
appropriate
4K)
that g is
It is immediate that o(C) -. f(z0) as approaches a boundary point eM.
Moreover, if is a finite point of A1 and u(C) 00, then g a continuIn view of the relations w1w
= 1 and
ously differentiable at
1,2, we obtain by direct computation
w1" =
1
8g(C
g(C)
+ (C z)w(z))2
S,(z)(C
With
From this we get an estimate for the complex dilatation p =
c(K) the constant in (4.4), we choose s(K) = 1/c(K). It then follows from (4.4)
that
II
S1H4
<1.
(4.8)
sO
Applying (4.4) for z f(z) = log(z
we conclude that (C
f.'(z0)
Consequently,
by
(4.7),
g(O
,
hd
,
z0.
sO
as
C
and (C
We
conclude
that
F
is
continuously
differentiable
on
8A,
g(C) .0 as C
z0.
and hence everywhere outside E. On 8A we have J,(z) = If'(z)12, and so F is
locally injective throughout the plane.
By the existence theorem for Beltrami equations (Theorem 1.4.4), there is a
quasiconformal homeomorphism w of the plane which has the same complex
satisfies the CaucbyEiemann
F a.e. The function p = F o
has L2-derivatives.
equation.
a.e.
As
a
quasiconformal
mapping
0
of F are continuous outside E, we conclude that outside
Since th
the function p has L2-derivatives. By the remark made
the
in
with formula (4.5) in 1.4.3, sp is analytic in the complement
of
p is continuous everywhere, the points of w(E) cannot
83
(4.9)
IS, hA.
e(K)
<
We see that the maximal dilatations of the quasiconformal mappings F,, are
uniformly bounded. Thus these mappings constitute a normal family. The
limit of a locally uniformly convergent subsequence is a quasiconforinal
mapping of the plane whose restriction to A is f. Its complex dilatation also
satisfies (4.8), i.e., (4.6) is true and the theorem is proved.
0
84
I S1fl A
Finally, in 1977, Gehring [2] solved the problem by proving that every
Schwarzian domain is a quasidisc. Thus a small Scbwarzian derivative forces
a function to be univalent in A if and only if A is a quasidisc. This is one of
the unexpected characterizations of quasidiscs in terms of analysis we were
21a1
(4.10)
PROOF. It follows from the assumption and from the definition of linear local
Either
connectivity that there is a disc D(z0, r) with the
there_are two points Pi and P2 lfl A D(z0, r) which cannot be joined in
A
D(z0, cr), or else there are two points in A\D(z0, r) which cannot be
joined in A\D(z0, rfc). Suppose initially that the former alternative is true.
Consider the line segment with endpoints Pt' P2 and a simple arc in A from
to P2 which meets the line segment at frnitely many points only. Among
these points of intersection there are two adjacent, 21 and z2, which cannot
be joined in A D(z0, cr). Let be the line segment with endpoints z1,
and
/1 the subarc from 22 to of the arc joining Pj and p2. Then ufl bwids
two Jordan domains A1 and A2; we assume that infinity lies in A2.
____.
85
For brevity we write D(z0, Cr) = U. Suppose that there are points w1 E
A,, i = 1, 2, in the complement CA of A. Then
h(z,) h(z2)
=J
((z w1)1
j((z wi)'
= 2iti(n(w1)
(z
Since w1 e A1,
'
(4.11)
(c 1)r
f(
J,,\jzW1)
n(w2))
(z
Ih(z1)h(z2)2nnil
t3U
ci
Jzw21J
1,
we obtain (4.10)
i=1,2.
(4.12)
A1 which
(4.13)
A'1,
for i = 2.
Finally, we have to consider the case in which there are two points in
A\D(z0, r) which cannot be joined in A\D(z0, nc). Let 1(z) = z0 + 1/(z z0).
By what we just proved, there are points
C2 in f(A) and points t1, t2
outside f(A), such that the function z - g(z) log((z t1 )/(z t,)) satisfies
86
the inequality
2iriI
(4.14)
If =
h(z) = g(f(z)) +
10gZO W1
zo w2
El
for a'
that, in fact, no domain A is a-Schwarzian for a> 2, but here this result is not
does not lie
needed.) Nor is there any loss of generality in assuming that
in A.
= I + 16/a.
(4.15)
The theorem then follows from Theorems 1.6.5 and 1.6.6. More precisely, we
conclude that an a-Schwarzian domain is a K(a)..quasidisc, wheTe the constant K(a) depends only on a.
The proof is indirect. Suppose that A is not linearly locally connected with
the constant c = I + 16/a. By Lemma 4.1, there are points z1, z2 in A and w1,
w2 outside A, such that (4.10) holds. Clearly h(z1) h(z2).
Define
f(z)
If
1 b2(
w3
w2
W2))
the
estimate
(4.16)
8jb2
and so
8. Then Ih(z1)
h(z2)I
5. Functions
87
lent in a Disc
lbli
4*
4
1/2) < 5(c
It follows that
21
1b21i<
lO5(cl)
a
8
<a. Since A is an
domain,
This
is
a
contradiction,
and
so
A
is
linearly
locally
connected
f
with the constant c = I + 16/a.
0
We conclude from (4.16) that iJS1
is
The effct of the Schwarzian derivative on the univalence and 4uasiconformal ext"nsion of meromorphic functions will be studied in More detail in
sections 111.4 and 111.5.
then
Sf
2,
(5.1)
--2y2Sy(z)
(5.2)
for z in D.
PRooF. Suppose first that D is the unit disc. In this case we have th simple
quasiconformal reflection C I/c. More precisely, in proving Theorem 4.1
we use in the approximation stage of the argument the reflection
=
< 1. By letting + 1, we then obtain Trom (4.7) the expression (5.1) for the
88
complex dilatation p
Since II
= 11sf 11/2, it follows that we can
take
= 2.
After this it is clear that
= 2 (= e(1)) will do for any disc, because all
not a Jordan domain. Consequently, f does not even possess a homeomorphic extension to the plane.
0
Here we obtained Theorem 5.1 as a corollary of the general Theorem 4.1,
but actually Theorem 5.1, proved by Ahlfors and Weill [1] in 1962, was
discovered before Theorem 4.1. Thanks to the simple reflections z , 1/2 for
the unit disc and z ' I for the half-plane, the proof of Theorem 5.1 is considerably shorter than that of Theorem 4.1. We can bypass the considerations
which guarantee the existence of the special reflection needed in the case of
an arbitrary quasidisc.
Theorem 5.1 gives the result we mentioned in 2.1:
Let A be a simply connected domain with more than one boundary point. if
the distance (A) from a disc is <2, then A is a quasidisc.
is a
function and the Poincar density.
Supplementing Theorem 4.1, Bers proved that the same result holds even
in the general case: A functionf which is meromorphic in a quasidisc A and has
where
we consider quasiconformal mappings which are lifts to the universal covering surface of quasiconformal mappings between Riemann surfaces. In our
applications we shall get along with the case of the half-plane and content
ourselves therefore to indicating only briefly how the reasoning goes in the
general case. For the complete proof we refer to Bers [7] or [9].
Let M be the set of complex dilatations which are zero in A and of the form
outside the closure of A, and Q the space of holomorphic functions of A
with a finite hyperbolic sup-norm. If f is a quasiconformal mapping with
complex dilatation p in M, then S1 is uniquely determined by p. By methods
89
$isL <
(5.3)
1/3.
<2.
Thus we can apply Theorem 5.1 and obtain a new quasiconformal extension
of is a quasiconformal seif-niapping of H
f for flU'. Then
with boundary values h. From the expression
zEH', we see that f is real analytic. By the Uniqueness theorem 1.4.2, the
is conformal. Hence f* is real analytic.
mapping
6. By use of
90
IIS,II2,
then f is
to-Theorem 5.1. They form a normal family, and the limit of a locally
uniformly convergent subsequence is a univalent function. Since the limit
function shares the same Schwarzian derivative with f, we conclude that f is
univalent.
In order to prove that the bound 2 cannot be replaced by a larger number,
consider the analytic function z ' f(z) = z1', s >0, in The upper hall-plane..
Then Sf(z) = (1 + e2)(2z2)', and so II S1 If = 2(1 + 82). On the other hand, I
is not univalent for any e> 0 For instance, f takes the same value at the
points i and I exp(2ir/s) of the upper half-plane.
Here we derived Theorem 5.2 as an easy corollary of Theorem 5.1. However, as might be expected, quasiconformal mappings are not needed for the
proof of Theorem 5.2, which is in fact a'much older result than Theorem 5.1.
It was proved in 1949 by Nehari [1], and in the same year Hue showed that
the bound 2 is sharp.
Let us normalize the domains and assume that D is the unit disc and
A = (zI$ImzI <it/2}. Then
z ' h(z)
= tanh(z/2)
is a conformal map of A onto D. It maps the real axis R onto the real
diameter of D, and it has the Schwarzian Sh(z) = 1/2. The Poincar density
of A at z = x + iy has the value (2 cos
We list two immediate consequences. First, Theorem 5.2 assumes the following form: Let g be meromorphic in A = {zII!mzl <n/2}. If
91
2cos2y'
= (1
1w12)21S1(w)I.
(5.4)
Poincar metric of the unit disc, i.e., it is a circular arc which intersects the
unit circle orthogonally.
If f has no poles in D, then g is holomorphic in A. Direct computation
shows that on the real axis R, the function x . v(x) =
the differential equation
then satisfies
(5.5)
v"
with
4,
= Re S9
Im
v-).
(5.6)
tf'(w)I
/
i
I+
1
Iwl)
(5.7)
II.
92
=0.
b.
v(O)(l + b(x
If c = min(l/b, b/8), it
b)/8)
cv(O)x, i.e.,
0. Because
= 21h'(x)f'(w)I = (1 1w12)1f1(w)I, 2g'(O) = f'(O),
x = Iog((l + w)/(1 w)), this is (5.7) with M =
Now drop the assumption that f is holomorphic in P and set r = inf
for
and
{IwoI w0 a pole of 1). Repetition of the above reasoning shows that (5.7)
then holds in Iwl <r. We see that if r < 1 and IwoI = r, then f'(w)l remains
bounded as w
' w0.
+r)_2
is
f(r1e')I
that the limit of f(re') as r -+
exists
u/s(r)dr,
r2 > r1,
J 'I
uniformly in 0. It
defines,
therefore, a
continuous extension of f.
93
in a Dc
5. F*nclio
m = inf (1
(w12)21S,(w)I
= 0.
(5.8)
WED
For if in
(1
and
F,om (51)
that f(w0) =
We may
0.
If g1(w) = (w + w0)/(1 +
2and
IS,,(O)I = fS,(w0)I(1
and 11 =
jw012)2 < 1.
<
(1 1w12)_2
fID1(0)/2f(O)2, g2(w)
phism of the closure of D onto its image. In this case f(D) is a Jordan domain.
Suppose then that the extended! is not injective. Let f take the same value
Then
infinite length.
=
Jx0
On the other hand, we get upper estimates for these integrals by studying
the function v =
As before, we deduce from (5.5) that v' is increasing
IL Univalent Functions
94
in x. If v'(x0)>
0,
x0.
Hence,
I
v(x0)v (x0)
Jxo
Similarly, if v'(x0)
<0,
Ig'(x)I dx
In conjunction with (5.9) these estimates show that v'(x0) = 0, i.e., that v'
vanishes on the real axis. It follows that Re(g"/g') =
By
2v'/v 0 on
(5.6) and (5.5),
p=
0.
<
(1 )z12)2
the unit disc. Thenf is univalent and has a homeomorphic extension to the
conformal
lz(2)21S,(z)I
95
(1
z(2)21S1(z)l 2
<2
condition
sup(1 )zV)2 jS1(z)J < 2
that f is univalent
CHAPTER HI
97
Section 4 deals with the problem of mapping T into the Banach space of
Schwarzian derivatives with finite norm. By appealing to the results of Chapter 11, we prove that the mapping is a homeomorphism of T onto its image
and that the image agrees with the interior of the set consisting of the
Schwarzians of univalent functions. The mapping could also be used to intro-
in the plane. In this section we assume that this domain is the upper halfplane H. We wish to introduce additional structure to this family and begin
by regarding two mappings as equivalent if they differ by a conformal mapping. In view of the Riemann mapping theorem, we may then restrict ourselves to self-mappings of H and require that they are normalized so as to
keep fixed the three boundary points 0, 1 and
We denote by F the family
of such normalized mappings. (Recall: every element' of F can be extended to
a homeomorphic self-mapping of the closure of H. It is actually the extended
mappings to which the normalization requirements apply.)
By the existence and uniqueness theorems for Beltrami'equations (Theorems 1.4.4 and 1.4.2), there is a oneone correspondence between F and the
on H.
open unit ball B of the Banach space which consists of all
A more interesting space is obtained if we introduce a weaker equivalence
relation.
Defnition. Two mappings of the family F are equivalent if they agree on the
real axis. The complex dilatations of equivalent mappings are also said to be
equivalent. The set of the equivalence classes is the universal Teichmller
space
We thus have two models for T: Its points are classes of equivalent mappings i'i the family F or of equivalent functions on the ball B.
A third model is obtained in terms of quasisymmetric functions. We recall
that a quasisymmetric function is said to be normalized itit fixes the points 0
and 1. Let X denote the class of all normalized quasisymmetric functions. If
98
Theorem 1.1. Every point of the universal Teichmller space can be represented
by a real analytic quasiconformal mapping f EF or by a real analytic complex
dilatation p e B.
PROOF. The result follows immediately from Theorem 1.5.3. (For a complete
J.2.
1ff belongs to F, then so does its inverse f'; along with f and g in F, the
compositionfog is also in F. The family F can thus be regarded as a group.
From the definition of the universal Teichmller space it follows that T
inherits this group structure: T is the quotient of the group F of all normalized
quasiconformal self-mappings of the upper half-plane by the normal subgroup of
mappings equivalent to the identity.
(f]o[g]= [fog]
(1.2)
defmes the group operation in T The neutral element, i.e., the point of T
determined by the identity mapping (or by the complex dilatation which is
identically zero) is called the origin of T and denoted by 0.
Normalized quasisymmetric functions also form a group under composition. This follows from Theorems 1.5.1 and 1.5.2 or from an easy elementary
computation. We see that the mapping (1.1) is an isomorphism between the
groups T and X.
Let us consider,
a moment, quasiconformal self-mappings of II which
are not necessarily normalized. If 11 and 12 are two such mappings, we still
say that
is
to f21f
99
co([f]) =
[h1
co[g,]01921([f]).
H, the transformations
T ,
modular group M.
=
are right translations of the group T
elements of
In 2.1 we shall introduce a metric into T and prove that every
i.e.,
is an
there is an
of1..
clearly the case if g =
are given points of
,u to the lower half-plane H' by giving it' there the value 0. Let
be the
quasiconforinal mapping of the plane which 5*ce 0,1, co and whose complex
is conformal.
dilatation agrees with the extended Then
and only
and
PROOF. Suppose first that
H' f,IH'. The mappings j a
are both conformal in the upper half-plane H, which they map
III.
100
TeichmSller Space
onto the same quasidisc. Because they fix 0, 1, oo,it follows that they agree in
H, and hence also on the real axis R. Since f,, = f, on R, we condude that
= on R, i.e., p and v are equivalent.
is conformaL
f,(R) is a quasicircie, we infer from Lemma 1.6.1 that w is a Mbius transformation. Owing to the normalization, w is the identity mapping and so
Let F* be the family of all quasiconformal mappings of the plane which fix
the points 0,1, and arc conformal in the lower half-plane. Two mappings
f,, and f, of F* are said to be equivalent if they agree in the lower half-plane.
Theorem 1.1 says that every equivalence class [f"] contains real analytic
mappings. It follows that each class [1,3 has representatives which arc real
analytic in the upper half-plane H. For in H,
where f,1o(fT' is conformal. Therefore, f,,IH is real analytic
is.
In particular, there arc mappings f,, which are conformal in H' and real
analytic in H but which, nonetheless, are very irregular on the real axis R.
ban be arbiWe recall that the Hausdorif dimension of the image cur e
trarily close to 2 (cf. 1.6.1).
By Theorem 1.2 the space T can be regarded as the set of the equivalence
classes [1,3. Or more explicitly: The universal Teichmller space is the set of
the normalized conformal mappings
fr1ofz=h
normalized if and 12 both fix 0, 1
on the real axis. We call the pair
and cc.
Depending on h, the sewing problem, to which many questions in complex
101
analysis seem to lead, need not have any solution or it may have infinitely
many pairs of solutions. However, if h is a normalized quasisymmetric function, the existence of a unique nonnalized solution can be easily established
It is in this form that the
by aid of the quasiconformal mappings f and
result will be used for studying the universal Teichmlier space.
Lemma 1.1. Let h be a normalized quasisymmtric function. Then the sewing
problem has a unique normalized pair of solutions.
and with g2 in H' is a homeomorphism of the plane. OfT the real axis it is
quasiconformal. By Lemma 1.6.1, w is quasiconformal everywhere. Since w
has the same complex dilatation as and both mappings fix 0, 1 and CX), it
follows from the uniqueness theorem (Theorem 1.4.2) that w =
Comparison of the definitions of w, and 12 then shows that g1 = f1, g2 = 12.
0
Note that 11 and f2 map the
onto quasidiscs. Lemma 1.1 is due
to Pfluger [21; in [LV], p. 92, it was proved without the use of the existence
theorem for Beltrami equations.
[f]*f(H')
(1.3)
IlL Universal
The bijection (1.3) provides one more model for the universal Teichmfler
space: Tis the collection of all normalized quasidiscs.
Theorem 13. Tho points [f"], [f"] Tare inverse elements of the group Tjf
and only
real axis.
the
= (fMYl = 7.
Now set
Ii =
f1 =
we obtain
f,(H') =
f(h") and H'. This notion was generalized in 11.2.7 to apply to two arbitrary
domains cotiformally equivalent to discs. When the domains are normalized
103
J.
then
'I
By use of the
It is easy to cheek that q, so defined, is a metric on
bijection (1.3), the metric can be transferred to T This q-metric will be
in detail in section 4. Before that in section 2, a different metric will be defined
r(p,q)=
where K denotes the maximal dilatation and
is
or f
called the Teichmller distwice between p and q. Teichmller [1] used this
idea for defining distance in his studies on compact Riemann surfaces
V.2.2).
Before proving that the Teichmller distance makes T into a metric space.
we show that r admits various other formulations. In order to fix the ideas.
we assume for a moment U at the
mappings representing
points of T are in the class F*.
Fix a representative
p and set
(p,q) =
Kqoj6tlgeq}.
(2.2)
Alternatively, we can fix both e p and 9o eq. consider the class W of all
quasiconformal mappings of the plane which agree in f0(H') with
and set
r2(p,q) =
W}.
(2.3)
Lemma 2.1. The functions r,
PROOF.
Clearly, z
104
By
our previous remark, Lemma 2.1 holds also if the points of T arc
(2.4).
9of1 =
yields immediately the invariance
r([f], [j]) =
In particular,
r([f],[gJ) =
so
that all distances can be measured from the origin. The general result
(which we shall not make use of) follows from the fact that conformal mappings do not change maximal dilatation.
.
og
mink
IRii
v)/(1
1 IIOz v)/(1
lI4ep,veq
v) fl
and call it the hyperbolic distance between the complex dilatations p and v.
105
8(p,q)=inf[ LV
pep,veq
I.
From fi = tanh r we see that in the definition of fi, inf can be replaced by mm,
that (I also makes T into a metric space, that is invariant under the universal
modular group and that the metrics defined by r and are topologically
equivalent. In other w.irds, in studying topological properties of Twe may
use the metric provided by instead of the TeichmUller metric. Let us give a
simple application.
Theorem 2.1. The universal TeichmuUer space is pat hwise connected.
PROOF. Consider
p,
For
the origin to p.
In 3.3 we shall prove that the universal Teichmller space is not only
pathwise connected but even contractible. This means that T can be deformed continuously to a point. The result is less trivial than it would seem
at first glance, because for equivalent and v, the complex dilatations tj,t and
tv need not be equivalent for 0 < t < I (Gehring [1]).
Theorem 2.2.
(7',
'
(.25
106
is
p1
PROOF. From (2.5) we see that p,(r) is the point which divk!cs the hyperbolic
in the ratio t: (1 t)
from 0 to
length (in the unit disc) of the line
(cf. formula (4.16) in 1.4.7).
has maximal dilatation K, then by Theorem 1.4.7, the mapping
If
o
has maximal dilatation K1 '.
maximal dilatation Kt and
owEp, and so K c K,
that wept. Then q' =
Consequently, K,, K'. We conclude that ji, is extremal for the point
0), i.e., the validity
This reasoning also shows that
0) 4Iog K' =
has
Suppose
of (2.6).
(1
t)t(p,0).
Since the extremal i need not be unique (cf. 1.5.7). we cannot conclude that
the geodesic e ' ft,] is unique.
2.4.
We shall now prove that the space (T, is complete. We first describe explicitly the construction on which our proof of the completeness is based and
list the pertinent facts associated with that construction.
Lemma 2.2. Every Cauchy sequence in (T, i) contains a subsequence whose
points are represented by complex dilatations with the following properties;
10 urn
20 [fr]
3
40
.f."(z)
PROOF. In
inf log
for each p. the infimum is taken over all mappings of [J4,,]. Since
is a Cauchy sequence, such a mapping f1 exists, as can be seen from
formula (2.2) and Lemma 2.1. We renumber the sequence by setting f1 = f1.
where
107
class so that
log K10011,
where
so that
again for each p the infimum is taken over all mappings of the class
We set = f2, and for n> 2, choose a representative of [fe] so that
logK1012,
subsequence of the given Cauchy sequence and such that, for any two consecutive indexes, the maximal dilatations satisfy the inequality
log
of,;' <Z2",
log K1,
of'
ii
= 1, 2
It follows that
2-(Jl+J1)
(2.7)
for n, p = 1, 2
Considering the connection between the maximal dilatation and the norm
of the complex dilatation, we deduce from (2.7) that the complex dilatations
ic,, off0 satisfy the inequality
Pn+p
Lanfl
El
Having proved Theorem 2.3 we see that in Lemma 2.2, we need not pick a
subsequence: If p0 . p in (T, r), there are complex dilatations e p0, pep, such
that the conditions 1, 3, and 4 of Lemma 2.2 hold (cf. Theorem 1.4.6).
108
In view of the simple relation between the distances t and fi, it is easy to
show that the metric space (T, is also complete. In contrast, using Schwarzian derivatives we shall obtain in section 4 one more model for T which is a
metric space homeomorphic to (T, r), but is not complete. (It is, in fact, the
metric space (A,q) discussed at the end of 1.5.)
p(h1,h2) =
for h1, h2 cX. It is easy to verify that p defines a metric on X.
Theorem 3.1. The group isomorphism
[f]-'fIR
(3.1)
R,f2
R)
1 [121).
(3.2)
Hence (3.1) is continuous. From Lemma 1.5.5 (or from the right-hand inequality (5.10) in 1.5.7) we conclude that the inverse of(3.1) is continuous.
D
From the double inequality (5.10) in 1.5.7 we can draw another conclusion:
The space (X, p) is complete. For we conclude from the right-hand inequality
(5.10) that the preimage of a Cauchy sequence in (X,p) is a Cauchy sequence
in (T, r). The inequality (3.2) then shows that (3.1) maps a convergent sequence of (T, r) onto a convergent sequence of (X, p).
Suppose that h, hNEX, n = 1,2,..., and that
= 0. Then
h
109
=
In view of the definition of the Teichmuller distance, inequality (3.2) can be
written in the form
p (fiR
IVIR)
v)/(l
(p v)/( 1 gv)
f(x+iy)=1
Let
Jo
(h(x+ty)+h(xty))dt+iI (h(x+ty)h(xty))dt.
Jo
For
p(h1,h2) =
>
110
(3.3)
(3.4)
t)
1)
(s(h), t) (1
t)s(h),
(1
t)s(h)
The first one is continuous, because we just proved that h ' s(h) is a continuous map of X into B. The second maps B x [0, 1) continuously into B,
t1)s(h1) (1
Final
+ It1
maps
the third mapping is continuous, because we showed that p
B continuously into X. Hence, (3.4) is a continuous contraction of X to a
point, and (3.3) has the same property with respect to T
D
since
ly,
[f]
group.
that [ga] tends to [g] but [fog,,] does not tend to [fog].
Because the mapping (3.1) is a group isomorphism and a homeomorphism,
the counterexample can be constructed in X. We follow a suggestion of
such
P. Tukia.
log(1 + 1/n).
Let us define g,, =
Because
we deduce that
Ill
-1, =
(3.5)
We prove that f o
It follows that
+ lfn)x
+ ljn)x +
if
I
n,'(n 4-
x <0,
if 1 x < n/(n +
1).
Consequently,
in conjunction with (3.5). this shows that (X, p). and hence (T, t). is not a
:opological group.
D
translation, the left translation [f]
We sce that, unlike the
iixed, aced not be continuous in T.
{f0 of],
Derivatives
It follows from what we proved in 1.3 that each point of the universal
Teichmller space T can be represented by a normalized conformal mapping
It was Bers [6] who noticed the importance of forming the Schwarzian
derivative and defining the mapping
[p]'SIIH
of T The image points, as Schwarzian derivatives, are holomorphic functions
in H, for which the norm defined in 11.1.3 is pertinent.
This leads us to introduce the space Q of all functions o holomorphic in H
for which the hyperbolic sup norm
II
Ii = sup4y2lp(z)t,
zH
112
= x + ly, is finite. The space Q has a natural linear structure over the
complex numbers.
, 0, and p Q.
We conclude that Q is a Banach space. Its points are Schwarzian derivatives:
By Theorem 11.1.1 every function p e Q is the Schwarzian derivative of a
function f meromorphic in H.
By Theorem 11.1.3,
Going back to the functions f,,, we write sp =
H
6. Therefore, [pJ ' maps T into Q. The mapping is well defined, for
if v is equivalent to we have
and hence s,, =
=
II
ii
6fl([p],0).
(4.1)
We assumed that
trivially if
2.
We shall now generalize (4.1) and (4.2) for arbitrary points [p] and [v]. We
= IS1
(4.3)
= f,(H)
in the
4.
of
113
Derivatives
oo(AJII
[v]),
(4.4)
which is the desired generalization of(4.1). Since a0(A,) .12, we could use as
the coefficient on the right-hand side the absolute constant 12. On the other
hand, a0(A,) can be replaced by
where AM fP(").
It is more difficult to generalize the inequality
We choose v from its
equivalence class so that f, has the smallest possible maximal dilatation K,..
After this, we consider Schwarzian derivatives which are so close to s, that
s is the constant of Theorem 11.4.1. Then, by formula
(4.3),
HSWIIA.
<s(K,).
45
fJ([p],[vJ).
e(K,)/3({uJ,[v]),
(4.6)
valid also if
e(K,). This contains (4.2) as a special case: If v = 0,
then K, = I and E(K,) = 2. Since the roles of p and v can be interchanged, we
e(K,fl.
can replace
in (4.6) by
14
[/4]
We noted already in
that (47) is well defined in 7 If [p3 and [v]
ave the same image, it follows from the normalization that
= f,IH, i.e.,
and v are equivalent. Hence (4.7) is injective. Inequality (4.4) shows that
i.7) is continuous, and (4.6) that its inverse is continuous.
0
In 4.5 we shall show that the image of T under the homeomorphism (4.7)
open in Q. (We have almost proved this in establishing (4.6).) The mapping
which will later be considered in connection with an arbitrary Teichnller space, is called the Bers imbedding of TeichmUller space.
' [it] in
By Theorem 4.1, the convergence
Sfl,. in Q implies that
*
Hence, by Lemma 2.2 and the remark following Theorem 2.3,
uniformly in H.
Anticipating developments in Chapter V, we denote the image of T under
(4.7) by T(1). When there is no fear of confusion, we often identify T(1) with
universal Teichmller space. Like X, the space T(1) is simpler than T in
that its points are functions and not equivalence classes of functions.
We can also define T(l) = {Sf(f is conformal in H and has a quasiconformal extension to the plane}. For such an f is equal to a normalized
mapping
modulo a Mbius transformation, which does not change the
Schwarzian derivative.
By Theorem 11.5.1, the set T(l) contains the open ball B(O, 2)
[p],
2y2q(z).
in T(l).
115
u=
univalent in H).
fixes a1, 02 and a3, and is therefore univalent in H. At every point z E H we have urn
= S9(z) and also
urn S1(z) = Sf(z). Hence, I differs from g by a Mbius transformation, and so
f is univalent.
Since U is closed and T(l) U, the closure of T(1) is contained in U. If
U, we can always find functions with
T(1) such that
f(z) =
locally uniformly in H.
An approximating sequence
z
with
+ i/n
n=
(4.8)
= {wlIw
2, 3
iI <((n 1)/(n
+ 1))Iw + it),
exhaust H, and g,,(z) -+
locally uniformly. Hence, by setting J, = fog,,, we obtain a sequence of
functions for which (4.8) is true. The property
T(1) follows from the fact
that f,,(R) = f(aD,,) is a quasicircie (cf. the remark in 1.6.1).
If (4.8) holds, the derivatives off, converge to the derivatives off. Hence,
Then
maps
the discs
locally uniformly in H. However, as we showed in 11.1.4, it does not necessarily follow that
in Q. We cannot conclude, therefore, that the
'
closure of T(1) coincides with U. A counterexample such as the one in 11.1.4
does not disprove this either, but actually the closure of T(1) is not the whole
of U. This will be explained in 4.6.
116
ItS,, SI liii
<
= HSSIIJ(u) 8.
It follows that S,,e V c U, i.e., h is univalent in H. But then g = hof' is
univalent in f(H). What we have proved is that f(H) is an e-Schwarzian
domain. Hence, by Theorem 11.4.2, the domain f(H) is a quasidisc. We
conclude that S1e T(l) (cf. Lemma 1.6.2, statement 30) as we wished to
show.
The result that T(1) is open in Q was first proved by Ahlfors [4].
= {z =
where a > 0 is small (Fig. 6). This 6 is not a Jordan domain, but more than
that, at the origin its boundary is so rigid that G possesses the, following
117
Figure 6.
property: There
of G and uS1 II
For the proof we refer to Gehring [3]. With the aid of this result the
negative answer to the question of Bers is readily established.
Theorem 4.3. The closure of T(1) isa proper subset of U.
PROOF. Let G be the domain delined above and c > 0 the associated constant.
If h is a conformal mapping of the upper half-plane onto G, we prove that S1,
does not lie in the closure of T(l).
Consider an arbitrary point S,,, of the neighborhood
h' S1,II,,
For
w o h' we then have H hG = II S1, hi H
Therefore, eitherf is
is not in T(1).
there are Jordan domains which do not belong to the boundary of T(1).
More information about the boundary of T(1) is provided by some recent
results in the joint paper of Astala and Gehring [1].
We showed in 4.4 that the diameter of U is 12. Since the closure of T(1)
does not coincide with U, we cannot conclude immediately that the diameter
of T(l) is also 12. But this can be proved if we modify slightly the example
which we used for U. For every positive r < 1, the functions w
(w) = w +
nw, w f2(w) = w nw are not only univalent in E = {wI wi> 1} but have
and w w nip, respectively.
the quasiconformal extensions w ' w +
Moreover, an easy calculation shows that
iim(1w12 1)21S11(w)
S12(w)f
If h: H . E is a conformal mapping,
ii S,,01, S120,,
12r.
118
Since U is not the closure of T(l), the connectedness of T(1) does not imply
consists of more than one point. In 11.2.6 we defined the outer radius of
univalence
of the domain A. We proved that o0(A) is directly connected with the distance 5(A) of A from a disc (defined in 11.2.1): o0(A) = 5(A) + 6 for all domains A.
Let us now define the inner radius of univalence
univalent in A)
IfS1 hA a
=
of A. Note that a = 0 is always an admissible number, because iis,ir = 0
implies that f is a Mbius transformation and hence univalent. Like the
distance and the radius a0, the inner radius o1 is also invariant under
a1(A)
Mbius
a1.
The set {S,hf univalent in A} is closed in the family of functions holomorphic in A, when the topology is defined by the hyperbolic sup norm. We
proved this in 4.4 in the case where A was the upper half-plane, and the same
proof applies to an arbitrary A. It follows that we can replace sup bymax in
the definition of o,(A). In other words, if 1IS1JI4 = a,(4), then f is
Theorems 11.4.1 and 11.4.2 imply that o1(A) >0 if and only if A
4uasidisc. As we remarked before, this is an interesting result because quasicon-
This follows directly from Theorem 11.5.2. We shall see in 5.7 that for all
other domains A, the inner radius of univalence is smatter. Before that, we
shall show how to get information about o, from the results derivd in the
previous section. For this purpose, these results must be slightly generalized
so that the special position of the half-plane in the definition of the universal
Teichmller space is removed.
5.2.
119
Throughout this section the roles of the upper and lower half-planes in
connection with the universal Teichmller space are as in section 4, i.e.,
is
The function w
is meromorphic in A if and only if f is meromorphic in H. From HS.JA = IS1 SJ IIH we get
IIS,h
and conclude that
the mapping
+ IIS,1.011K
is
S1 .
is a bijection of Q1 Onto Q4. Clearly, (5.2) maps UM onto 114 and T11(l) onto
T4(1). If w1
i = 1,2, then by formula (1.9) in 11.1.3,
SW1
iiA
H,1.
120
Let
[ii) .
the mapping
be the mapping [p] -+ S111, of TI, onto T,,(l) and
the same as
of T4 onto TA(l). Then (5.1) followed by
followed by (5.2)
5.3. Inner
Let A be a quasidisc. We define the spaces QA. UA, and TA(l) as in 5.2.
Let h: H p A be a conformal mapping. Generalizing (5.2) we can define a
bijective isometry of Q,, onto QA by
Sf
We
(5.3)
4 S101,
(5.4)
This relation leads to a new characterization of the inner radius of univalence. It follows from the definition of c, and from the subsequent remark
about sup and max in the definition that the closed ball
E QA II
HA
c,(A)} is contained in UA. By (5.4), the interior of this ball lies in TA(l). In
other words, if
ItS1 11.4 <c,(,4),
then f is not only infective in A but has a quasiconformal extension to the plane.
This result generalizes the statements of Theorems 11.5.1 and 11.5.2 which
are concerned with a disc. It sheds new light on the inner radius of univalence
S1 II A
(5.5)
121
We recall that the domain constant t5also has a similar geometric interpretation: (5(A) is the distance from the point S,, to the origin of TH(l). The
geometric interpretations of and (5 can actually be exploited. Before doing
inf
zi
Then
12(z)I
(5.6)
(A(z)
(z)
+ (A(z) z)w(z)
Let g = o
and =
be the complex dilatation of g. The reasoning
in the proof of Theorem 11.4.1 shows that if
< 1, then f is univalent
=
1
Since
is
<
&p(z)
We conclude that if
if
< 1 if
is bounded
=
if
z)2Sf(z)/2
if and only if
122
+ (2(z) z)2S1(z)/21
t < 1. A fortiori, this is the case if
IS1(z)I 2
I2(z)zI 2
IISJIIA<2 inf
zL ?74(Z)
(5. )
holoh', and
= h(z).
Then
132(z)l
12(z)
k'(C)
This can be verified by direct computation (cf. 11.4.1). It follows that Lemma
5.1 holds for quasidiscs which are Mbius equivalent to a quasidisc A fulfilling the conditions of the lemma.
Let us test the accuracy of (5.6). If A is the upper half-plane and 2(z) =
then
131(z)I 131(z)I
12(z) z12,A(z)l
Hence (5.6) gives o,(A) 2. We get the same result if A is the unit disc and
1(z) = 1/i. Consequently, in these two cases the lower bound in (5.6) is equal
to a,(A).
If A is the exterior of the ellipse {z = e' +
k < 1,
+ k/w with 2w z + (z2
we have the reflection z '
Now (5.6)
gives the simple estimate o,(A) 2(1 k)2. This lower bound is asyrnpktically correct as k +0 or k ' 1, but is not sharp, as we shall see in 5.6.
123
Theorem 5.2. Let A be the sectoral region {zlO < argz <kir}, 0 < k < 2. Then
ifO<k1,
"12k2
(5.8)
<k<2.
PROOF. A continuously differentiable quasiconformal reflection
be
in
can
zeA.
It follows that
2(z)I IA(z)I 1/k
Setting
re'9
....
II 1/ki
z12
z12
we obtain
z
sin(O/k).
In addition,
2klmzim
i(z) =
IzI Ilki
= 2kr sin(O/k).
Therefore,
o,(A)2k(l
(5.9)
II),
We stilt have to show that equality holds in (5.9). Suppose first that
0 < k 1. In this case it is easy to prove directly, without making use of
Lemma 5.1, that o1(A) = 2k2. The proof is based on the fact that
is
equal to the distance from
to
where h: H * A is a conformal
mapping. Now z , h(z) = 2k is such a mapping. Hence, Sh(z) = (1 k2)/(2z2)
and AShIIU = 2(1 k2). For the function z -+ g(z) = Iogz we have S9(z) =
1/(2z2), and we know that S9 is not in TH(l),
because g(H) is
not
a Jordan
2k2.
IISkII.
124
1,
Figure 7. SIeTA(1) closest to the origin.
o,(A) 2
2(1
k2)
2k2.
Set
This is not a Jordan domain because of the behavior of 3B at 00 (Fig. 7). The
Schwarzian derivative of the conformal mapping w1: H ' H B, with w1(0) =
1, w1(cc) = 0, w1(1) =
can be computed (see Nehari.[2], p. 203). it follows
that
4k2
Sz2
2kk2
2(z
if
k22k
2z(z
If
ik2
=
With h(z) =
uS1
2z2
the function f =
II,,, we
4k2k2
+ (2
h'
uS1 hA = sup
wa
4y2(4k 2k2)
2
22
y 1)2 +4xy
2
4k
2k 2
This completes the proof of (5.8). The example of the conformal mapping
f: A . B is due to Lehtinen [2].
125
Then
ey,(A) 2k2.
g(z2) =
Then
a,(A) 4k
2k2.
Suppose next that 1 <k < 2. From the proof of Theorem 5.2 we deduce
k2 and
that
= f(e"2) = ao. Then f(g(A)) is not a Jordan domain, and by
reasoning as in the case 0 <k 1, we arrive at the desired estimate.
0
the existence of a conformal mappingf of A4 such that IS, IlAk = 4k
The second lemma, which does not rest on Theorem 5.2, is more general.
Lemma 5.3. Let A be a quasidisc. if every two-point subset of A is contained in
the closure of a quasidisc B Afor which o1(B)> m, then
c71(A) m.
PROOF. Let an e > 0 be given. There exists a meromorphic function fin A for
which IIS,114 <
+ c but which is not univalent. Let
and 22 be two
different points of A such that f(z1) = f(z2), and B A a quasidisc such that
{z1,z2}
B and o,(B)> m. Since eitherf is not univalent in B or else f(B)is
not a quasidisc, II S1 > o1(B). By the monotonicity of the hyperbolic metric,
Hence 1(A) > m e, and the lemma follows.
II 5, 114
126
the angle A, with I =
2 (32/ir2)(arctan k)2.
On the other hand, simple geometry shows that each pair of points in A
lies in a domain B' c A Mbius equivalent to the angle A,. with I' = I + (2/n)
arctan(4k/((1 k)(k2 + 6k + 1)1/2)). By Lmnia 5.3,
aj(A) 2 (8/ic2)(arctan(4k/((1
k)(k2
+ 6k +
k)2
1)h/2)))2.
we obtained from
Lemma 5.1.
1k, II)}.
In certain cases, we can refine this result with the aid of Lemma 5.3 so as
to obtain the exact value of the inner radius. If A is a triangle or a regular
n-sided polygon, then (5.10) holds as an equality.
where
(5.11)
2("
(5.12)
For the proofs we refer to Lehtinen [5]; the results (5.11) ahd (5.12) are also
due to Calvis [1].
5.7. General
2 () + o,(A) 6
holds for all domains A conformally equivalent to a disc.
r).
127
Equality holds
t5.13)
PROOF. Let A be
= 4k 2k2 <2.
0 of
CHAPTER IV
Riemann Surfaces
Introduction to Chapter IV
A number of textbooks have been written on the subject of Riemann surfaces.
In spite of this, we found it advisable to include in our presentation a chapter
in which we have collected the material on Riemann surfaces that will come
are formulated but proofs are usually only sketched. References for complete
proofs are to the monograph Abhors and Sario [1].
In section 3, results of section 2 are applied to Riemann surfaces. In conjunction with the general uniformization theorem, they yield the fundamental
129
130
is said to be differentiable if it is
is a measurable
Borel set,f is Borel
is always
subset of h(U). If the preimage Ii(U
measurable on M.
latter definition can be used for au manifolds, because
Borel sets are preserved under homeomorphisms.
if we associate
with (x1 + iy1,...,
the space
+ iy1')e C". Therefore, a complex n-dimensional manifold can be regarded
as a real 2n-dimensional manifold.
Let M be a complex n-manifold. Suppose M has an atlas in which all
parameter transformations are biholomorphic, i.e., aleng with their inverses
they are holomorphic functions of n complex variables. Maximal atlases with
this property are called complex analytic structures on M. We say that a
manifold equipped with such a structure is a complex analytic
Definition. A one-dimensional connected complex analytic manifold is a
Riemann surface.
131
{x +
contains points of S.
is closed. Each neighborhood of every point of
Consequently, S* is the closure of S. It is easy to show that S is connected,
whence it follows that S is a surface. The set B is called the border of S*. Each
132
S is a
Riemann surface.
complex-valued functions
(m, n)-differential on S if
dz. m
St
(1.2)
in U1 n
The function element is a representation of in terms' of the
local coordinate z1. The differential qs is said to be holomorphic if all functions
133
=
where Iw'i2 is the Jacobian of the mapping z * w. If p is a quadratic differ-
Thus the
for all local representations
ential, then o1 dzl I = I I dz,
absolute value of a quadratic differential is a (1, 1)-differential. Another important observation is that the product of a quadratic differential and a
(
tiy
(1.3)
Here
i-1
from (1.3)
ds = Al dz +
with
E+
+ 2 JIG F2
(1.4)
134
is
ds=)jdzj.
Let us consider another local parameter of S which defines the local coordinates w. If the coordinates z and w are both isothermal (ds =
and
if the induced mapping z ' w is defined in some non-empty open set of the
plane, then
=
This shows that z , w is conformal or indirectly conformal. Since S is on-
1.6.
surjace.
Let S be an onientable C2-surface. Consider an arbitrary local parameter of S inducing local coordinates z in a domain A of the complex plane.
The theorem follows if we can transform the z-coordinates diffeomorphically
so that the new coordinates are isothermal.
Expressed in terms of z. the line element of S is of the form (1.4). Here jz
is continuously differentiable and by (1.5), we have
< I in every
relatively compact subdomain of A. Let z - w be a quasiconformal mapping
of such a subdomain with complex dilatation
By the Existence theorem
1.4.4 such a mapping w exists, and by the remark in 1.4.5, w is continuously
differentiable and
0 everywhere. Comparison of
PRooF.
Idwi =
ds = ---Idwl,
We
see that the w-coordinates are isothermal, and the theorem is proved.
of Covering Surfaces
135
2.
of Covering Surfaces
From the local injectiveness off it is clear that a part of y can always
lifted from
arbitrary point a lying over its initial point. the wbole of y
cannot be lifted, there is a 0 < t0 1, such that y restricted to any closed.
subinterval of [0, t0) can be lifted from a but vi [0, to.] cannot be so lifted.
A smooth covering surface (W,f) of S is said to be unlimited (regular, in the
terminology of AhlforsSario [I]) if every path on S has a lift to Wfrom each
136
point lying over its initial point. In this case f: W . S is surjective, and the
is the same for all points peS.
cardinality of the set!
Suppose, in particular, that the surface S is simply connected, i.e., that the
fundamental gioup of S is trivial. In this case the monoclromy theorem yields
an interesting corollary:
If (W,f) is an unlimited covering surface of a simply connected surface S,
then the mappingf: W p S is a homeomorphism.
carries
[c'ya]
137
The proof is easy. We consider closed paths)' of W from a' and check that
W= {p'
and the mapping f: W * S by the requirement f(p') p. Then a topology
can be introduced on Wso that (W,f) is a universal covering surface of S. For
the details of the proof we refer to AhlforsSario [1], p. 35. There the more
general result is proved that, given any subgroup of F,, there exists ar unlimited covering surface of S which determines this subgroup.
The notion of a universal covering surface is due to H. A. Schwarz, who
noticed its importance in the theory of Riemann surfaces (see Theorem 3.4 in
the next section).
138
Lemma 2.1. Let (W,f) be a covering surface of S. For every peW, there are
parameter discs U p and f( U), with local parameters k and h normalized by
k(p) = h(f(p)) = 0, such that in U,
(2.1)
We mention here that there are other non-trivially equivalent characterizations of covering surfaces, even thQugh we shall not be using them in what
follows. Let S and W be surfaces and f: W S a continuous mapping. Then
(W,f) is a covering surface of S if and only if f is locally homeomorphic with
the possible exception of a discrete set, or if andonly 1ff is light (the preimage
of a point is totally disconnected) and open. (A function which is continuous,
light and open is called an interior mapping. It is a famous theorem of StoIlov
that an interior mapping f of a plane domain is of the form f = oh, where
h is homeomorphic and analytic.)
2.4. Covering
Groups
Let S be a surface and (W,f) its smooth covering surface. A cover transformation g of W over S is a homeomorphism g: W W such that fog = f.
All such mappings g form a group G which is called the covering group of W
over S.
Let us consider the quotient space W/G and furnish it with the quotient
topology. Under certain conditions, WIG is a surface which is homeomorphic
to the surface S.
Theorem 2.2. If the projection mapping f: W S is sur)ective and the covering
group G of WDver S is transitive, then WIG and S are homeomorphic.
write [p] e WIG for the equivalence class containing the point
pEWand prove that
PROOF. We
139
[p]
f(p)
(2.2)
S,
locally homeomorphic.
is
For the most part, we shall be dealing with the covering groups corresponding to universal covering surfaces.
surface S is transitive.
Suppose that a and a' are points of W which lie over the same point
of S. Choose a point p W, join a to p by a path on W, project this path onto
PROoF.
5, and lift the projection back, but from the point a'. Let p' be the terminal.
point of this lift. We define g by the condition g(p) = p', and check that g is
well defined and a cover transformation of W over S. Hence a and a' are
equivalent under the covering group.
0
Combined with Theorem 2.3, Theorem 2.2 says that for a universal covering
surface W of S, the space WIG is always homeomorphic to S. The following
result sheds addinonal light on this connection.
Theorem 2.4. The covering group of a universal covering surface of S is isomorphic to the fundamental group of S.
140
Li
at the covering group G of W over S. Theorem 2.2 tells that, under very
general conditions, the circle from S to W to G closes, in the sense that the
quotient W/G is homeomorphic to S.
We shall now take a different starting point and prescribe directly a surface
W together with a group G of homeomorphic self-mappings of W. Again, we
form the quotient space WIG, furnish it with the quotient topology, and want
to impose a condition on G which makes WIG a surface.
1,
2,
141
C is compact, We conclude that only finitely many of the sets U, are nonempty. Consequently, G is properly discontinuous.
U
The following result is a converse to Theorem 2.2.
Theorem 2.6. Let W be a surface, G a properly discontinuous fixed point free
group of homeomorphisms of W onto itself, and f: W -+ WIG the canonical
projection. Then
1. W/G is a surface,
2. (W,f) is an unlimited covering surface of WIG,
3. G is the (transitive) covering group of Wover WIG.
w =9.
Since G is a transitive covering group, it is not difficult to show that (W,f)
is an unlimited covering surface of WIG (cf. AhlforsSario [1], p. 29).
0
142
This follows immediately from the way the local parameters of WIG were
defined in the proof of Theorem 2.6. In the situation of Theorem 3.2, the
conformal structure of W is said to have been projected to WIG. If W is a
given Riemann surface, we always regard the quotient WIG as the Riemann
surface with the projected structure.
Suppose that G is a properly discontinuous group of conformal selfmappings of a Riemann surface W, bin not fixed point free. We can still
143
conclude that WIG is a surface and that WIG carries a conformal structure
which makes the projection mapping f: W * WIG analytic. However, W is
now a covering surface of WIG which is branched at the fixed points of G
(AhlforsSario [1], p. 121).
lengthy preparations.
This is a deep result, and a complete proof
We content ourselves, therefore, with sketching the main lines of a proof
based on the use of subharmonic functions. (Subharmonic functions are
defined on Riemann surfaces with the aid of
parameters. This is possible
because subharmonicity is a local and conformally invariant property.)
First of all, a classification of Riemann surfaces into compact. parabolic,
is
harmonic at p, and if z(q) = 0, then u,,q +
is harmonic at q; outside
parameter discs (preimages of discs under z) containing p and q, the function
is bounded (Nevanlinna [1], p. 212).
144
+ ig)) by analytic continuation to S. Using the Monodromy theorem, we conclude that the extended function is single-valued on S. Finally,
application of the maximum principle shows that it maps S conformally onto
the unit disc (Nevanlinna [lJ, p. 204).
If S is parabolic or compact, a conformal mapping of S into the extended
plane can be constructed with the aid of the function Up,q (Nevanlinna [1],
p. 213). In case S is parabolic the boundary of the image consists of one point,
whereas the boundary is empty if S is compact.
Theorem 3.3 can also be proved by a method which is based on the use of
quasiconformal mappings (Bers [5]). The idea is to first construct a topological and locally quasiconformal mapping of the given Ricmann surface S
into the plane, then apply the existence theorem of Beltrami equations to
obtain a conformal mapping of S .(as Gauss did; cf. 1.6), and complete the
proof with the aid of the Riemann mapping theorem for plane domains.
Theorem 3.3 occupies a central position in the theory of Riemann surfaces.
It is often called the general uniformizatioi theorem. The first proofs are
attributed to Koebe (in 1907) and Poincar.
exp(
disc, the finite plane or the extended plane. But then (D, Jo
is also a
universal covering surface of the Riemann surface S, and we have proved the
following important result:
Every Riemann surface admits as its universal covering surface the unit disc,
the finite plane, or the extended plane.
It follows from Theorems 2.3, 2.5, and 3.2 that the quotient DIG is a
Riemann surface with the projected conformal structure. By Theorem 2.2, the
mapping (2.2) is a homeomorphism of DIG onto S. It is conformal, because
the conformal structure of S is also obtained by projection from D.
0
145
Let q
into another
universal covering surface of
I = 1, 2.
D2. By 3.3, we can choose this common
surface, which we denote by 0, so that D is the unit disc, the complex plane
or the extended plane.
be
=ir2of.
(3.1)
O(g)of = fog
(3.2)
G2, we
G2
__jw;
LV. Riemann Surfaces
146
0
0(g)=fgf'
>u-
>s2
O(92)ofogl
then
fog is also a lift of for every geG1. From fog = 0(g)of it follows that
such lifts are of the form hof, where h = 8(g) is an element of 02. The
mappings
hof,
heG2,
represent all possible lifts of q. We see this by repeating the reasoning which
showed that (3.2) defines an element 0(g) of 62.
1ff induces the group homomorphism 0, then hof induces the homomorphism g i ho 0(g)o 1r1, which differs from 0 by an inner
of G2. We call two such homomorphisms equivalent and conclude that all
homomorphisms induced by qi: S1 S2 are equivalent.
S1
S2 and o
S1
S2 determine equivalent homoSuppose that
induces 0, then
can be so lifted that it also induces 8. In
morphisms. If
induces a homomorphism g ho 0(g)o h1, he G2, and so
fact, a lift f1 of
h'of1, which is a lift of induces 0.
If q: S1 + s2 is a homeomorphism, then so is every lift f: D -+ D. in this
onto G2. (Fig. 8.)
case g ' 0(g) = fog of is an isomorphism of
3.5. Homotopic*4appings
Lifting of mappings is closely related to the topological notion of homotopy.
t l} the unit interval.
S2 be a homeomorphism and I
Let 600: S1
{tIO
A homeomorphism p S1
if there is a
S2 is said to be horn otopic to
147
continuous mapping h: S1 x
such
I p
that h(.,O) =
h(., 1)
The
to
the
Given a lift J0 of
Suppose that h is a homotopy from
to
1, can then be so lifted that we obtain a
mappings h(.,t): S1 . S2, 0 t
This homotopy lifting property follows
homotopy from to a lift of
easily from the definitions.
to
and only
I=
0,
f0andf1.
Choose g G1 and z eD, and consider the two paths t '
and
) (J(z)). Both have the same initial point f0(g(z)) and the same
projection t *
on S2. Hence they agree, and for t
I we obtain the
t *
(f0 o g
desired result
(3.3)
Assume, conversely, that p0 and
have lifts .f0 and f1 such that (3.3)
holds for every geG1. If D is the unit disc, we define
0 < t < 1, as
follows: f,(z) is the point of the hyperbolic geodesic arc joining f0(z) and .11(z)
which divides the hyperbolic length of this arc in the ratio t: (1 t). Then J
148
Set
=
(3.4)
p(z)
(3.5)
(ng)lg'I =
(3.6)
149
w.
150
IV.
Surfaces
= pet
If z2 =
follows from the reflection principle that the elements of the group do not
have fixed points in the complement of the closure of D either (with the
identity mapping excluded of course). We conclude that the elements of a
Fuchsian group are hyperbolic or parabolic, with fixed points on
151
acts to be the upper half-plane. The elements of G are then of the form
z --s g(z)
az + b
+ d'
for all
are non-empty, open and mutually disjoint, and the union of the
The sets
=
closures in H of all
It follows
is H. If Z,, = g(zj) for g G, then
that all sets N, are congruent in the non-euclidean geometry of H. In studying
152
limit points ofG. From the definition of a limit point, which was given in 2.5,
it follows that g(L) = L for every g e G. Also, L is closed (cf. Lehner [I], p. 88).
If L contains at most two points, the group G is said to be elementary.
MI elementary groups can be listed. (A comprehensive treatment of elementary groups is given in Ford [1], Chapter VI.) First of all, a finite group
is necessarily elementary, its limit set being empty. If the Riemann sphere
is rotated so that a regular solid remains invariant, then stereographic pro-
a>I.
In this case L = (0,
The function
z
(4.1)
is
153
The set (1 can be empty. A trivial example is the group of all Mbius transformations. But fl can be empty even for a cyclic group: We pointed out
in 4.3 that this is always the case if the group is generated by an elliptic
transformation which is not of finite period.
Since L is closed, fl is open. The set C need not be connected. From the
invariance of L under G it follows that g(Q) Cl for every g E G.
g_+(
(4.2)
= 1,2),
then SL(2) becomes a topological group. Via the mapping (4.2), the topo-
Lemma 4.1. For a Kleinian group G, euery point L is the cluster point of
each orbit G(z), with the possible exception of z = and one other point z EL.
1 58
We first deduce from this lemma that if G is not elementary, every poinuof
L is the cluster point of other limit points. Hence, L is then always a perfect
set. It follows that for Mbius group:; there is a striking dichotQmy: Either the
limit set contains at most two points or else it contains uncountably many.
points.
A second conclusion from Lcmma 4.1 is that the limit set of a Kleinian
group agrees with the boundary of the set of discontinuity. For we have trivially
=
so that
L. On the other hand, we infer rom Lemma 4.1
that L c i. Hence, L c: Li n L =
and we obtain the desired result
L
(4.3)
Third, Lemma 4.1 (or (4.3)) shows that the limit set of a Kleinian group is
nowhere dense in the plane. For to every
there is a point z e and
For Fuchsian groups the same reasoning
mappings e G, such
gives the following result:
If the limit set of a Fuchsian group G agrees with the boundary of the
invariant disc, G is said to be of the first kind (or horocyclic). Otherwise, G is
ti has
of the sccond kind. 41 follows that for groups of the first
components, whereas i is connected if the group is of the second kind.
For a Kicinian group G,let F denote the set of the fixed points of its
elements (other than the identity). If g e G and z is a fixed point of g0 E G, then
g(z) is fixed point of go Yo g
Hence g(F) = F for every g E G.
For the group generated by z z + 2 and z l/z, the set is the union
of the upper and lower half-planes while the point i belongs to F. This shows
that F need not be a subset of L even though the group is infinite. But
Kleinian group does not contain elliptic transformations of finite period, then
the closure ofthe set of its fixed points coincides with its limit set.
In particular, if G is a Fuchsian group of the first kind acting on the upper
half-plane, then the fixed points of G are everywhere dense on the real axis.
There are even sharper relations between F and L. Let Fh, F,, and F,,
denote the subsets of F consisting of the fixed points of the hyperbolic,
loxodromic and parabolic elements of the Kleinian group G. Then
L=F,,
L=P,,,
(4.4)
\ L)/G
155
element g e G. We may suppose without loss of generality that the fixed point
of g lies at z = 0, that the tangent at z = 0 is the real axis and that cc is the
repulsive fixed point of g. Then g(z) =
where 0 < r < I and 0 < 0 <2it.
Suppose first that (I
a = min(0/2,Iir
then 0 <a n/4. Consider the two angles
0)12);
or oe(ir a,
=
Since the real axis is a tangent, we have for every a > 0 a disc
D0 centered at the origin, such that
it
a). p
(4.5)
z
On the other hand,
0. Then
it follows from the definition of a that g(z)
This contradicts (4.5).
If z . g(z) = rz belongs to G, then go g is a hyperbolic transformation
with the same fixed points as g. A modification of the above proof shows that
3A does not have a tangent at a fixed point of a hyperbolic element of G. This
proves the lemma.
Combined with our previous results on Kleinian groups, Lemma 4.2 yields
the following result.
156
it
always contains loxodromic elements (Lehner [1], p. 107). By (4.4), we have
in this case 3A F,. Hence, the theorem follows from Lemma 4.2.
0
It was Klein who first noticed that such weiid invariant Jordan domains
exist. He obtained such domains by direct construction. For details, interesting pictures and almost philosophical comments on this unexpected
phenomenon we refer to FrickeKlein [1]. Here we shall only briefly explain
Klein's method. In V.3.4 we shall arrive at invariant 4uasidiscs in a completely
different manner.
Let {D,Ii = 1,2,. . } be a closed chain of discs, i.e., the discs D, are disjoint
but for eveiy i, the closure of the union UI)j,J i, is connected. We form the
group 6 whose elements are compositions of an even number of reflections
in the circles aDs. The elements of G are Mbius transformations. We say that
G is generated by the chain {D, }.
If the number of the discs in the chain is one, G is trivial, if it is two, 6 is
cyclic, and if it is three, 6 is Fuchsian. In case the complement of the closure
of the union UD, of all discs is not empty, it is easy to see that this complement is contained in the set of discontinuity fl of G. In other words, G.isthen
always a Kleinian group.
.
The importance of KIem's method derives from the fact that under very
general conditions,
has two invariant components which are complementary Jordan domains. This is the case, for instance, if the chain has only
a finite number (>2) of discs. The boundary of the invariant domain passes
through the points at which the closed discs touch each other and through
their reflected images (Fig. 9).
5.
157
Theorem 5.2. The covering group of the upper half-plane over a compact
Riemann surface is finitely generated and of the first kind.
158
5.2. Genus
of a Compact Surface
the sides a and li, being equivalent to and b, respectively. The number p is
at least 2. Such a polygon is called a normal polygon for C. The transformation
The pattern (5.1), which generalizes the pattern a1 b1 a'1 b'1 of a torus (see
4.1), can be regarded as a representation of the compact Riemann surface S.
But it is in fact of a more general character. Let S be an arbitrary compact
orientable surface. A fixed (itecessarily finite) triangulation of S leads in a
natural manner to a polygon representing 5, in which identified sides either
have the simple pattern a1a'1 or else the pattern (5.1), with p =
1,
2,
(Springer [ii p. 117). Here p does not depend on the triangulation by way of
which we arrived at it. The pattern a1 a'1 occurs if and only if S is a topological
sphere.
The number pin (5.1) is called the genus of the compact surface S. A sphere
is said to have the genus p = 0. It follows that a torus has the genus p = I and
every compact Riemann surface which has the upper half-plane as a universal
159
5;'Compact.Rieharnt Surfaces
ments are described in Springer [1], P. 34.) The lift off to the universal covering surface C IS double-periodic, i.e., an elliptic function.
Regardless of p. the property of rational fitnctions remains trtk as indicated
above(Springer [1], p. 176):
.
equal to p.
5.4.
Divisors
Compac't Surfaces
of S
Let S be a compact Riemann surface. A divisor D on S is a
whose values arc integers and which is non-tero only at finitely many points
of S. Addition of two divisors D1 and D2 is defined by (D1 + D2)(p) =
D1(p) + D2(p). The degree of D, degD, is the sum of its values. We write
160
points
El, of the
at
value
dim0= 1.
(5.2)
(5.3)
0,
dimQ = dim(D2).
(5.4)
(5.5)
p.
The results (5.4) and (5.5) can be put together with the help of a classical
result on compact surfaces (Springer [1], p. 264).
Theorem 5.4 (RiemannRoch Theorem). On a compact Riemann surface of
genus p, every divisor D satisfies the equation
-
dimD = dirn(D
D1)
degEl
+ 1.
(5.6)
161
of Quadratic Differentials
6.
+ 1, so that deg D1 = 2p
p=
1+
2. By our previous remark, we have
degD,,=2p2
for every meromorphic (1,0)-differential
degD,, =
is a
4.
(5.7)
on a
Theorem 5.5. On a compact Riemann surface of genus p, the space of holohas dimension 1 !f p = 1 and 3p 3 if p> 1.
morphic quadratic
PRooF. In the case p = I, the RiemannRoch theorem is not needed to
determine the dimension of Q. We saw in 4.1 that cover transformations are
+ nw2, m, neZ. Formula (3.5) shows, therefore,
translations z z +
that p is a holomorphic quadratic differential for the covering group G if and
dimQ
dim(D2 D1) + 3p
3.
(5.8)
Now deg(D2
= degD2 degD1 = 2p 2 > 0. Hence the desired result
dim Q 3p 3 follows from (5.8) and (5.3).
If p =
0,
IV. Riemann
162
are
From 1Y(O) =
origin which z ,
q ' w
we see that with respect to w, the function representing the quadratic differential p is the function which is identically equal to 1.
We call w =
a natural parameter at p. An arbitrary natural parameter
at p is of the form w + constant. We see that in each case, near a regular
point the local representation of in terms of a natural parameter is the constant function
1.
=
=L
is single-valued in D(0, r) \ I.
valued and 0 in a disc D(0, r1)
needed in the definition of to.)
In I)(0.r1), the function
z
+ c1z + "),
z , co(z) =
c0
2)12
0,
is
= ZO(Z)2
at the origin,
q
is a
single-
a natural parameter at p.
163
From
(4)1)2
we
obtain
(p(z)dz2 =
(ii
+ 2)2CndC2
(6.1)
(h o
is then
(6.2)
at every point tel, we say that v is a straight line (in the geometry induced by
the quadratic differential (p). The condition for y to be a straight line is often
expressed in the form
arg(q(z)dz2) = constant
along y. It follows from the definition that a straight line does not pass
through a zero of (p.
We say that a straight line is horizontal if U = 0, and vertical if U = iv. The
Iv.
164
First-order zero
Regular point
=
we conclude that its preimage on
S consists of n + 2 rays emanating from the critical point p such that the
is
= z constant.
orientable.
Let us assume that p is not orientable. We shall show that S then has a
two-sheeted covering surface branched over the zeros of of odd order,
such that the lift of to is orientable.
on the punctured
In order to prove this, we consider for a moment
i = 1,
surface S0. Suppose that q, is a collection of holomorphic functions
S0 with local
Then
=
on
Consider all triples (p.;, cxi), where p E U1 and is holomorphic and satiswith
if p = q and cc1d; =
We identify
fies
= on
denote
the
set
of
identified
triples
and ir:
S0 the
Let
at p = q.
projection which maps (p. z, x,) to p.
2,
165
is an
It follows that
We introduce the standard topology on
unlimited covenng surface of S0. It becomes a Riemann surface with the
More precisely, if the lift of' a closed path on S0 around a zero p of q'
terminates at the initial point, we have two points of ovar p (as we have over
2 over p. The latter
all points of S0). Otherwise has a branch point of
-.
then
is
covering surface of S.
Finally, let and denote the lifts ofq' and to From the construction
it is clear that the functions form a holomorphic Abelian differential a and
is onentable, as we
D(O, r)
injectively
into S. The image V0 = f0(D0) is called a maximal disc around Po' and
r = r(p0) is said to be its radius. The maximal disc V0 is uniquely determined
by qi, i.e., V0 does not depend on the choice of the integral function of
The function p r(p) is continuous in p.
Next we choose a point u1 D0 which lies on the real axis R; then f0(u1) =
of D1 =
Pt is a regular point. Hence, there is a conformal mapping
D(u1, r(p1)) onto the maximal disc V1 around p1. such that f1 = 10 in D0
is a direct analytic
Let G be the union of all the discs of such chains which we obtain
by starting from D0. Since the intersection of two chains is connected and
contains D0, the analytic continuation f off0 to G is single-valued. We write
1
We shall now show that the character of the horizontal trajectory f(1)
varies, depending on whether f is injective or not on the whole interval 1.
166
i.e.,
167
I tending to
The remaining case is that L contains more than one point. Suppose p EL
is a regular point, and consider the horizontal trajectory cx,, through p. This
cannot be closed, because it could then be covered by an open annulus which
contains only closed trajectories. thoose another point q e and construct
an. open rectangle R0 such that f,,1R0 is injective and that the image of the
middle line of R0 contains, the trajectory arc from p to q. Since p E L, we have
e R0, the horizontal line segment in
points p1 E a, such that
p. If
R0 through f,,'(p1) maps on a subarc of a. There are infinitely many such
subarcs, and we conclude that a has infinite length.
The same reasoning shows that if the subarc of cc,, from p to q has length
a) e cc with properly chosen signs
a and if p1
p. then q1 =
converge to q. Here q e a,, was arbitrarily chosen. We conclude that if p E L,
then the whole trajectory through p belongs to L.
The trajectory a has infinite length also in the case when p L is a critical
point. The ray
cannot end at p, because L would then reduce to the single
point p. Therefore, at least one of the finitely many sectors into which the
L=i
L is called recurrent. A trajectory both rays
A trajectory ray
with
of which are recurrent is said to be a spiral, and its limit set L is called a spiral
set (Fig. 11).
two simple examples, see Figs. 11 and 12. For a detailed account of trajectories on compact surfaces, we refer to Strebel [6], 11.)
168
Figure 11. A torus and a part of its universal cover ng surface. A straight line projects
on a spiral.
=J
169
in terms of arbitrary local parameters. The length 1(y) is then well defined also
in the case where y passes through critical points.
The invariant tq,(z)I dx dy is called the area element of the (p-metric. Hence,
of 42.
the total area of S is the
In the following, is fixed, and notions like distance, length, and area,
refer to the (p-metric, unless otherwise stated.
The area of a compact surface S is always finite. If the genus of S is 1, i.e.,
ifS is a torus, its universal covering surface is the complex plane. The lifted q'
is then bounded in the plane and hence constant. It follows that the (p-metric
is euclidean, a result at which we arrived in a different manner in 6.5.
PROOF. Let a point p eS be given and suppose first that p is regular. Let V
be the maximal disc around p and {wI IwI <r} its image under a natural
parameter w = (t)(z). Let V0 V be the preimage of
<r/2, and Pi' P2
arbitrary points of V0. Then the preimage Yo of the line segment connecting
'b(p1) and D(p2) is the unique shortest curve which joins p1 and P2 on S. For
let y
Yo) be an arbitrary curve on S which joins p1 and
If y s1ays in V,
then clearly I(y0) < 1(y). If y leaves V, then 1(y)> r> l(yo).
Suppose next that p is a zero of 42 of order n. We proved in 6.1 that if C is
w = '1(e)
(7.2)
< 2_I
on S.
Then any two points Pt and p2 in V0 can be connected by a unique shortest
curve. This is either a straight line segment in the w-plane, or it is composed
of two radii in the a-plane which emanate from the origin. The former case
occurs if and only if Iarg arg C2 I <2n/(n + 2), where C1 and C2 are the
C-images of Pi and
These conclusions can be drawn from (7.2); for the
details we refer to Strebel [6], p. 35.
in a disc ICI
It follows from the above that if the shortest curve is the union of two
radii, both angles 9 between these rays satisfy the inequality
170
0>
(7.3)
n+2
This "angle condition" will be utilized in the study of globally shortest curves.
lines (in the geometry of and of their endpoints. The endpoints can be
zeros of g. In case the polygon is a Jordan curve, it is called simple and
closed.
Assuming the existence of a geodesic, we shall first prove that it is uniquely
extremal in its homotopy class. The proof uses the argument principle in
its generalized form, in which the holomorphic function considered in a
subdomain of the complex plane is alhwed to have zeros on the boundary of
that domain.
Argument Principle. Let f be holomorphic in the closure of a plane domain A
bounded by finitely many piecewise regular curves. Let denote the arcs into
which the zeros E 9A off divide the boundary, and the interior angle at
bet ween the arcs
and Yj. Then
J
where
rn
d arg
f(z)
d arg
f(z) =
in1 +
are the orders of the zeros off in A and nj the orders of those on OA.
If f(z) s& 0 on 8A, this is the standard principle of argument. The refinement says that the zeros on the boundary have the weights
Teichmller ([1], p. 162) drew the following conclusion from the Argument.
principle.
41
(flj +
2 + sm,.
(7.4)
171
(7.5)
which is (7.4).
(1
2.
(7.6)
so small that
+2
(7.7)
Lemma 7.2. Let S = G be a simply connected domain in the complex plane and
and 22 points of G. Then there exists at most one geodesic from to 22.
us assume that there are two geodesics joining z1 and z2 in1G. If
they do not coincide we can find two subarcs, both from a point a to a point
b, which form a simple closed polygon. The angle condition (7.3) is satisfied
at the vertices, except possibly at the two points a and b. This is in contradiction with the fact that (7.7) holds for at least three angles.
0
PROOF. Let
172
using its arclength u as parameter, 0 u < u,. Assume that y(u) does not
such that
tend to t3G as u
Then there is a sequence of points ,
=
' z C. By Theorem 7.1, there is a disc U around z in which any
two points can be joined by a unique shortest curve. Consider the maximal
subarc Yk of y which contains the point
and lies in U. There is a point
zne U, n > k, which is not on Y& Otherwise y would terminate at z, which
contradicts the fact that every geodesic arc in U can be continued to U.
is a geodesic which leaves U. On the
Therefore, the part of y from 2k to
other hand, there is a shortest curve and hence a geodesic from ; to ; inside
U. This is in contradiction with Lemma 7.2.
0
With the aid of the above two lemmas, the unique extremality of geodesics
can now be established.
Differentials
7.
173
would get a simple closed geodesic polygon with two interior angles equal
and the other
to it/2, one positive angle at the intersection of and
the condition (7.3). This would contradict the inequality
angles
are disjoint, and since y' goes through every
(7.6). Therefore, the strips
we conclude as before that 1(y') 1(y) and that equality can hold only if
it follows from Theorem 7.2 that every horizontal arc is uniquely length
minimizing in its homotopy class.
7.5. Existence of Geodesics
Theorem 7.3. Let S be a compact Riemann surface and p and q points of S. Then
each homotopy class of curves joining p and q on S contains a unique shortest
(hence geodesic) arc.
174
curves in D which join z1 and z2, we then obtain the same infimum a if we
restrict attention only to curves which lie in G.
a.
Let (y1) be a minimal sequence of curves in 6 from z1 to 22, i.e.,
into n equal parts and take n so
Subdivide the parameter interval [0,
2M.
<
M=
peS
Now let p be the initial point and q the terminal point of the horizontal arc
denotes the path t Vq(l t), then
is homotopic to By
Theorem 7.2, the geodesic is shortest in its homotopy class. Therefore,
+ 2M,
as we wished to show.
CHAPTER V
Teichm!ler Spaces
Introduction to Chapter V
In this chapter we
Riemann surfaces and prove that the existence and uniqueness theorems
for Reltrami equations generalize from the plane to Riemann surfaces. The
complex dilatation turns out to beat 1, 1)-differential on a surface. The uniqueness theorem shows that every such
differential determines a
conformal structure for the surface.
The Teichmller space of a Riemann surface is defined in Section 2 as a set
olequivalence classes of quasiconformal mappings. A metric is introduced in
this space in the same manner as in the universal Teichmller space. The use
of the complex dilatation leads to a characterization of the Teichmller space
in terms of different conforrwi structures.
In sections 3, 4 and 5 we consider Riemann surfaces which have a halfplane as a universal covering surface. In section 3, the quasiconformal mappings used in the definition of a Teichmller space are lifted to mappings of
the half-plane onto itself. This gives a clear picture of an arbitrary Teich-
176
V. TeichmllerSpaces
The unifying link with the earlier results concerning the universal space is
provided by a theorem which says that the image of an arbitrary Teichmller
space is the inrersection of the image of the universal Teichmller space with
the space of the quadratic differentials for the covering group. It follows that
the imag is an open set in the space of quadratic differentials. The distance
from a point of this image to its boundary can be estimated. Using Schwarzian
derivatives, we also obtain simple estimates relating the metric of a Teichml
ler space and the metric it inherits from the universal space, showing that
these two metrics are topologically equivalent.
is called
K-quasiconformal if for any local parameters of an at!as on S1, I = 1, 2, the
mapping h2 ofo
is K-quasiconformal in the set where it is defined. The
mapping f is quasiconformal if it is K-quasiconformal for some finite K 1.
177
ho(h2ofoh')og.
The mappings h and g are conformal and, therefore, do not change the maximal dilatation. It follows that K-quasiconformal mappings between Riemann
surfaces are well defined.
be a universal covering surface of S1. where D is the unit disc or
Let (0,
the complex plane. (Here and in what follows the trivial case in which D is the
p=(pog)
(1.1)
v: Teichmuiler Spaces
178
PROOF. We consider
of'
then q,o it
= it' of
defines
1.2.
Conformal Structures
is
conformal in f1(V1
II
179
=f1ogof11,
geG,
(1.2)
at every point of L'. Both sides are Mbius transformations. Since they are
equal on a set with at least three points, they agree everywhere.
In order to prove the necessity of the condition, we now assume that (1.2)
is true in D. Settingh =
of1, we rcwrite(l.2) in the form
goli
hog.
If z is a fixed point of some g, then g(h(z)) = h(z), I e., h(z) is also a fixed point
of q. If z is an attractive fixed point and c D, then for the nth iterate of g,
* z as n ,
On the other hand,
=
-+ h(z). Hence
Ii(z) = z for all fixed points of G. Since these fixed points comprise a dense
180
V. TeichmlJer Spaces
1.4.
For covering groups of the first kind, the existence of homotopy between two
mappings 4)o and q1 is equivalent to the existence of lifts which agree on the
=
on the border and there is a homotopy from
to qi1 which is constant on the border.
Theorem 1.4.
quasiconformal mappings (p,: S
modulo the boundary if and only if they can be
'
Assume first that Qo and 4)i are homotopic modulo the boundary. If
then the lift 11 of
homotopic to 10 through the lifted
homotopy agrees with f0 on the set B. The mappings f0 and 11 determine the
same group isomorphism (Theorem IV.3.5). From the proof of Theorem 1.2
it follows that J0 = f1 on L.
on the boundary of D, we construct a homotopy f,
Conversely, ii
fromf0 tof1 as in the proof of Theorem IV.3.5, and conclude again that it can
PROOF.
fo is a lift of
181
to
Since J keeps every
point of B fixed, the projected homotopy is constant on the border of S. 0
PRooF. Let f: S
S'
Theorem 1.5 is not true for arbitrary Riemann surfaces S and S', not even
in cases in which S and S' each admits a disc as its universal covering surface.
We shall prove later (Theorems 4.5 and 6.3) that if S
S' are arbitrary
Riemann surfaces which are quasiconformally equivalent, then every homotopy class of quasiconformal mappings of S onto S' contains a real analytic
quasiconformal mapping. This result can be regarded as a generalization of
Theorem 111.1.1.
V. TeichmUl!er Space
182
2.
duced in III.! and define the Teichmller space for an arbitrary Riemann
surface.
183
=
By the definition in
by the above definition if and only if
and fM2 to determine the same point in the
1111.1, this is the condition
universal Teichmller space TN.
A connection is obtained between
and the universal Teichmller spac.
if we lift the mappings between S and other Riemann surfaces to
between the universal covering surfaces. In this way we are able to transfer
many results associated with the universal Teichmller space to the general
case. This will be done in sections 3-5.
By slightly changing the definition of T5 we arrive at the reduced Teichmller
space of S. Its points are also equivalence classes of quasiconformal mappings
of S, but now two such mappings f1 and 12 are declared equivalent 1ff2 ofr'
is
conformal mapping.
The reduced Teichmller space differs from the Teichmller space T3 only
If S is bordered. In what follows, we shall not deal with reduced Teichmller
spaces. For this reason we henceforth use the term "homotopy" to mean
"homotopy modulo the boundary" in the case of bordered surfaces. This
simplifies the language and, if this convention is kept in mind, should not
cause confusion.
r(p,q) =
(2.1)
between the points p and q of the Teichmller space T5 (cf. 111.2.1). In the
proof that r defines a metric in
the only non-trivial step is again to show
that r(p, q) = 0 implies p q. This can be deduced from the following resulL
Theorem 21. Letf0: S * S' be a quasiconformal mapping and F the class of all
quasiconformal mappings of S Onto S' homotopic to 10. Then F contains an
extremal mapping, i.e., one with smallest maximal dilatation.
PROOF. Let D be a universal covering surface of S. The theorem is trivial if V
is the extended plane or if D is the complex plane and S is non-compact. In
the case where D is the complex plane and S is compact, the theorem will be
proved in 6.4. Hence, we may assume that D = H is the upper half-plane (cf.
IV.4.l).
V. Teichmller Spaces
184
r(p,q) =
(2.2)
r(p,q) =
(2.3)
Let S admit the half-plane as its universal covering surface. Then geodesics
same description as in the universal TeichmUller space (see
in T5 allow
dilatation for the point p E T5,
Theorem 111.2.2): If p is an extremal
then
(1 + I IY(' I
(1
IY
LIYIPI'
The arc t *
0 t 1,
(2.4)
p and
185
is pathwise connected.
PROOF. The geodesic t -+ [p3 is a path joining the origin to the point p in T5;
the path r , [tt) of T5 also has this property.
0
-
f: (S, H)
H' =
(2.5)
H1
Let
I=
1,
dilatations
If q:
is a conformal mapping homotopic to
the identity, we first conclude that the mapping
v. 'reichmuhier Spaces
186
that a conformal structure H' on S is of the form H,, if and only if id: (S, H) -.
(S, H') is quasiconformal.
that for any two structures H and H', the identity mapping of (S, H) onto
(S; H') is sense-preserving.
a compact surface.
topic to the identity. Then H, H' e .*'(S) are deformation equivalent if and
only jf there is an fe Homeo0(S) such that
= H'. It follows, therefore,
that for a compact surface S we have the isomorphism
.it(S)/Homeo0(S).
187
In section 8 we shall prove that every class of equivalent complex dilatawhere 0 k < I and
tions contains a unique dilatation of the form
is a holomorphic quadratic differential of S. It thus follows from Theorems
2.4 and 2.5 that every conformal structure of a compact Riemann surface is
quasiconformal mappings f of S onto the family of all quasiconformal mappings of S'. If = f, o h', we have w2 o w1 = f2 of1'. We first conclude that
f1 and f2 determine the same point of if and only if w1 and w2 determine
the same point in Ti', i.e.,
{f)
{foh1]
(2.6)
muller spaces. We can then enhance Theorem 2.6 and prove that the Teichmuller spaces of quasiconforrnally equivalent Riemann surfaces are even
biholomorphically isomorphic.
V. Tcichmllcr Spaces
188
2.7.
Modular Group
jf
Theorem 2.7. The Riemann space is the quotient of the Teichmller space by the
modular group.
PROOF. Assume first that the points ff3 and fgj of are equivalent under
Mod(S). We then have a quasiconformal mapping h: S S such that Jo h'
is equivalent to g. But this means that there is a conformal mapping of f(S)
onto q(S), i.e., f
g determine the same point of R5.
Conversely, let f and g represent the same point of R5. Then a conformal
o of is a quasiconforinal selfmapping q,:f(S) , g(S) exists, and h =
qo(foh1)
mapping of S. From g =
we see that g and foh1 determine the
same point of
D
Theorem 2.7 says that two points [f1] and [12] of the Teichmller space
T5 are equivalent under Mod(S) if and only if the Riemann surfaces f1 (5) and
f2(S) are conformally equivalent. In other words, the modular group is transitive if and only if the Riemann space R5 reduces to a singleton. This occurs
only in the exceptional cases where quasiconformal equivalence of Riemann
surfaces implies their conformal equivalence. The universal Teichmuller space
(S = H) is such an exception.
189
Not only the Riemann space but even the Teichmller space may reduce
to a single point. This occurs if S is a sphere (a compact surface of genus zero)
is combined with the fact that three points of the extended plane can be
moved to arbitrary positions by a Mbius transformation. After this we
conclude that every point of T5 contains a conformal mapping, i.e., that T5 is
a singleton. If S is the sphere minus three points, S has the disc as a universal
covering surface (cf. IV.4.1), and the covering group is of the first kind.
fiR
or if and only
is the identity.
V. Teichmfler Spaces
190
f'
f'
conversely, that
the same isomorphism of the covering group of H' over S onto a
Suppose,
Fuchsian group G'. The projections of fM and f' map S onto the same
Riemann surface H'/G', and by Theorem 1.4, these projections are homotoplc. It follows that and v are equivalent.
=
by
if and only if
After this we can show that
=
repeating the proof of Theorem 111.1.2 verbatim.
0
and
are well defined injective mappings of the Teichmller space. In particular, T5
can be characterized as the set of equivalence classes
two mappings
It was for many years an open question whether the metrics VS and ri
actually agree. We now know that T5
not inherit its metric from the
and r T5 need not be the same.
This was proved by Strebel [4] who gave two examples of surfaces S for
In one case S is a punctured torus, in the
which r is strictly less than
othcr a compact surface of genus 2; cf. also 3.7 and 7.6.
Even though (3.1)does not always hold as an equality, the metrics tJ T5 and
t5) (T, r)
are topologically equivalent. In other words, the inclusion
is a homeomorphism onto its image. This will be proved in 4.6..
univerEal Teichmller space: The metrics
3.3.
of Teichmller Spaces
191
3.
and
' f"(z) locally uniformly in H' in the euclidean metric.
The proof is word for word the same as in Lemma 111.2.2. In this case every
p,, is a Beltrami differential for G, i.e., (p,t o g)g'/g' = p.,. From p,t(Z) -+ p(z)
differential for
ahnost everywhere it follows that the limit p also is a
G, i.e., [p3 is a point of
From this observation we obtain a generalization of iheorem 111.2.3.
Theorem 3.2. The Teichmller space (T5, t5) is complete.
[v]in
[p3 in
T5.
Groups
ing group
onto a group
G, of the plane.
V. Teichmller Spaces
192
identically zero. If G is of the first kind, the limit set of G,, is the whole
By Theorem 1V.4.2, only two strikingly different cases are
boundary of
then possible: Either the boundary is a straight line or else it is a quasicircle
which fails to have a tangent at each point of a set dense in the curve.
Not all simply connected invariant domains of properly discontinuous
groups of Mbius transformations are necessarily quasidiscs. A simple example is obtained if we consider a countable set of circles, all of diameter 1,
of which one has the center at 0 and the others at the points I + ,i, n 0, 1,
2
The method of Klein. which we described at the end of JV.4.6, applied
to this family of circles yields an invariant Jordan domain whose boundary
has a cusp at the origin. Thus the boundary curve violates the condition
and z3 -+ 0) and cannot be a
(6.1 1) of Theorem 1.6.7 at the origin (z2 = 0,
quasicircie (Fig. 13).
There can even be invariant domains whose boundary has positive area
(Abikoff [1]). In 4.3 we shall exhibit a general (albeit implicit) method
producing invariant domains which are not quasidiscs.
A point [it]
uniquely determines the domains A,, = f,,(H) and
can be regarded as a collecLike the universal Teichmller space,
tion of the quasidiscs AM (ci. 111.1.5). In 111.4 we defined a distance between
193
(3.2)
reflection in
(K)
(3.3)
for every
e G,1. in other worth, the complex conjugate of the co,nplex dilatation of 2 is a Bhrami differential for the quasi-F uchsian group
Conversely, we prove that if 2 is a quasiconformal reflection in
whose
complex dilatation satisfies the relation (3.3), then 2 is the form (3.2) (cf.
Lemma 1.6.2). Set I
in the closure of H, and I =
in H'. Then f is
G,
we have in
of
Since fog of 1 =
formal self-mapping of
in
that J og of ' = everywhere. We see that f is a mapping
is
a con-
it follows
equivalent to
The point [u] e determines the conformal mapping f,41H uniquely, but
not
and hence not 2. In 4.8 we shall
that for each G and [p1, there
are Lipschitz-continuous reflections (3.2). We also remark that by Theorem
4.5 (to be proved in section 4), there are reflections A which are real-analytic
in i.hc complement of
G't=
In particular,
Mbius transformauon.
194
V. Teichmufler Spaces
The confonnal mapping fog of -' is of course the restriction to the halfplane of the Mbiustransformation which agrees with hog o
on the real
axis.
Theorem 3.4 is a deep result which has been established in steps. First, let
G be the covering group of a compact surface. Then Theorem 3.4 follows if
the classical result that he X(G) can be extended to a homeomorphic selfmapping of the half-plane compatible with G is combined with Theorem 1.5.
Kra [1] generalized this result by proving Theorem 3.4 for all finitely gener-
ated groups 6. The author showed that Theorem 3.4 holds for all groups
provided the quasisymmetry constant of h does not exceed
In full
Theorem 3.4 is due to Tukia [1]. Tukia's proof is so long
that to includcit here would unbalance our presentation. For this reason, we
content ourselves with a reference to Tukia's paper.
Quite recently, the
a forthcoming paper by Douady
and Earle [1] which
another proof of Theorem 3.4. This proof is
more explicit than thitof'I'Ukia. It is possible'to verify that, like the Beurling
Ahlfors extension, the DcMadyEarle extension possesses the following three
properties: 10 It is a diffboniorphism. 2 It is Lipschitz-continuous in the
hyperbolic metdcf
is
contractible.
195
hogoh1 = 9(g)1R,
where 8(g) is a Mbius transformation. We deflote by
(3.5)
the subclass of
By Theorem 3.4,
196
V. Teicbmller Spaces
r(O,[p1]) =
z5(O,[p2])
(3.6)
Ii ogof11 = O(g)IJf,
(3.7)
i.e., that
is not
Fh(G). Consequently, in this case wc see directly that
empty, without resorting to Theorem 3.4. Of course, is extremal in
and by (3.6), we have r(O,[p1]) = r5(O,[pl]).
We pointed out in 3.2 that there are cases in which
[p])> r(O, [p1). It
follows that whenever this occurs, the class Fk contains more than one extremal for h =
lift
4.
(4.1)
20
30 f11090(fP)l
agrees
ge
197
oh
the
in
and
tion, and so 2 follows from 3.
w is a Mbius transforma-
= x + iy. Like the space Q defined in 111.4.1, the space Q(G) has a natural
linear structure over the complex numbers.
The non-euclidean line element JdzI/(2y) is invariant under all conformal
self-mappings of H. It follows that, when e Q(G), y2 I
is invariant under
0. In the definition of the norm, we can therefore replace H by an arbitrary
Dirichiet region N c H of G:
=
(4.2)
z
ZEN
IfS is a compact surface, the closure of N lies in H. In this case it follows from
(4.2) that aU holomorphic quadratic differentials for G have finite norm.
If
isa subgroup of G2, we have the inclusion Q(02) Q(G1). In particular, all spaces Q(G) are subsets of the Banach space Q which corresponds to
the trivial group. From now on we write Q Q(l). Note that all spaces Q(G)
inherit a metric from Q(1); in 111.4 we introduced the notation q for this
dista1ice function.
Every Q(G) is a closed subspace of Q(l) and hence a Banach space. For
consider functions qx, e Q(G) which converge to q in Q(l). Given a g eG, we
then have
q,(g(z)), uniformly on every compact subset
of H. It follows that
= tim
= lim
o(z). Consequently, p e Q(G).
V. Teichmller Spaces
198
Between
We just saw that Q(G) is closed in Q(1). In 111.4.4 we proved that U(1) is
closed in Q(1). It follows that U(G) is a closed subset of Q(1).
Since S1 H 6 whenever f is univalent, the remark in 4.1 preceding
Lemma 4.1 yields another characterization of U(G):
(4.3)
S1 IH
T(G1) if G1 is a
T(1).
(4.4).
199
PROOF. The inclusion T(G) Q(G) T(1) follows directly from the definitioris. We choose an arbitrary point S1 e Q(G) T(1) and prove that S, e T(G).
Let w be a conformal mapping of the lower half-plane H' onto the comSince
plement of the closure of f(H), normalized so that
(1(00))
S1e T(l),
is
h=
that
(4.5)
f1og =
g1
owoco
g1 of1.
(H'),
In the sixties, Bers posed the problem whether (4.4) is true. The above
proof is due to Lebto [2] who proved the conditional result that (4.4) holds
if and only iT Theorem 3.4 is true. After Theorem 3.4 was established, the
relation (4.4) thus followed immediately.
Theorem 4.1 allows important conclusions:
Theorem 4.2. The set T(G) is closed in T( 1).
Theorems 4.2 and 4.3 can be proved more directly, withobt the use of the
relation (4.4). Such alternate proofs will be given in subsections 4.6 and 4.7.
Bers [8] was the first to prove that T(G) is open; see also Earle [1].
Remark. Let S be the extended plane punctured at thrce points. Then S has
the half-plane as its universal covering surface. We noted in 2.7 that the
Teichmller space of S reduces to a single point. Consequently, T(G) consists
200
V. Tcichmller Spaces
of zero only. Since T(G) is an open subset of the linear space Q(G), we deduce
via'the Teichmiler theory that in..shis case, Q(G) does not contain points
other than the origin
e
B(0,2) =
<2)
lies in T(G).
PROOF. In 111.4.3 we remarked that (g' e Q( 1)111
(4.7)
201
<
B(s,1,0,(A,1)) =
is contained in T(G).
<
Consequently, the theorem follows immediately from (4.4).
We recall that in T( 1), the inner radius
to the boundary (Theorem 111.5.1).
lies in T(1).
continuous.
Theorem 4.7. The metric of the Teichmller space
is unjformly equivalent to the metric ti T5 induced on T5 by the metric of the universal Teichmller
space. For every poiflt p e
r(p,q)
3.
(4.8)
V. TeichmUller Spaces
302
3(1 + diaA)r(p,q),
(4.9)
PROOF. Let p e
On the other hand, it follows from Theorem 4.4 and formula (4.6) that
Hence,
(4.10)
3f3(p,O).
[v]
which is an
(4.11)
< 3/3(0,[A]) =
135(p,q) =
313(p,q).
(4.12)
are uniformly
equivalent. Since
fi=tanht,
(4.13)
it
equivalent.
From (4.12) and (4.13) we obtain
1
1+3t
3t
13t
l3r
r5log
if
<
1/3.
203
(4.14)
if t
a < 1/3.
Let A be a set in T5 with a finite diameter dia A in the Trmetric, and p and
that (4.14) holds. If t(p, q)> a,
q points of A. If t(p, q) a, we just
then
.
[p]SJ1H
is a homeomorphism of(T5,
(4.15)
In view of Theorems 4.3 and 4.8, we are again justified in calling the
mapping (4.15) the Bers imbedding of the Teichmller space.
In 4.5 we proved that B(O, 2) c T(G) without utilizing relation (4.4). We
shall now show, without resorting to (4.4), that every point of
has an
open neighborhood in Q(G) which is contained in T(G).
To prove this, let us consider in T(1) the mapping i/i defmed by 'I'(s,) =
If). is the Bers imbedding of the universal Teichmiiller space onto T(1),
then t/i =
(Here
and are as in 4.6.) It follows that is a
homeomorphism of T(1) onto itself. Furthermore, maps T(G) onto T(G"),
and Q(G) T(1) is mapped onto
n T(1) (Lemma 4.1).
Let V be an open ball in
centered at the origin which is contained in
Write V = Q(GsL)n
V0, where V0 is a neighborhood of the origin
in T(1). Since T(1) is open in Q(1), the preimage ,/r'(V) = Q(G) i,lr'(V0) is a
204
neighborhood of
V. Teichmller Spaces
T(G).
We have proved without making use of(4.4) that T(G) is closed in ii!) and
open in Q(G). These results imply that T(G) is open and closed in
T(1).
Since T(G) is connected, it follows that T(G) is the component of Q(G) T(l)
containing the origin. This result can be used instead of (4.4) in proving
Theorem 4.6.
(4.16)
For finitely generated groups G of the first kind, this was proved by Abikoff
Let us.consider
G-compatiole, because
to be the extension of
on Il', and it
is
205
w1,
w(z)
W2(Z)
+ (2(z) z)w(z)
+ (2(z)
extension w o
2 off is
A(z)
(2(z) z)2S1(z)
282(z)
z)2.
Furthermore,
=
and by our hypothesis,
2aA(z)
=
By (4.17),
5.
is
V. TcichmUfler Spaces
206
such that
+ h) f(x0)
Df(xo)(h)IIF
h-O
ItxIi,
l}
P is called total if
= 0 for every
-
and only
it satisfies one
207
The first complete proof for the pxistence of the complex structure in
Teichmller spaces of compact surfaces is due to Ahlfors [21; see also Bers
[2]. Subsequently Bers ([7], 18]) introduced complex structure into an arbitrary TeichmUller space by means of the mapping p + S1.
5.3. A
is
(5.1)
which maps the open unit hail B(G) of the space of measurable ( I, I)for G into the space Q(G) qf holomorphic quadratic
for Q, is holonwrphic.
V. Tcichmulkr Spuccs
208
Ppow. We have already seen that Q(G) is a Banach space. The ball B(G) is
an open subset of the Banach space LIG) of measurable(I, 1)-differentials
v
Fix
B(G).
for G with finite
is a total
For
we set
and
= q(z). Then A =
set in the dual of Q(G). We apply condition (ii) of Lemma 5.1 to the function
. s(w)
(5.2)
The set U in condition (ii) is now the neighborhood {wIIwI <(1 Ii4uL)/
of the origin in the complex plane. Then p + wv e B(G). Furthermore,
II v II
let F = Q(G) and
By Corollary 11.3.1 and the Remark following it, the function
=;.
CS =
5.1
B(G'9, defined by
f&..(v)
= fv0(fP)1,
=
The function &,, maps B(G) bijectively onto B(GM). (Application of
(5.3)
sim-
209
5.
B(G)
Figure 14
face S'1 = If'/G'1.) From (5.3) and the definition in 5.1 it follows that
bihol om orphic.
In 4.6 we noticed that the induced mapping ;, defined by
is a bijective isometry of onto
we write
For p 8(G), v
is
(5.4)
=
By Theorem 5.1, this mapping of
Q(G'1) is holomorphic.
2)
From the proof of Theorem 4.4 we know that in the ball
<2}, the
Q(G"fl
(5.4) has a section
2) .
defined by
zEH.
(5.5)
From (5.5) and the definition in 5.1 we see that or,, is holomorphic.
/
Let it denote the canonical projection of B(G) onto
the;
and A and
Bers imbeddings of and
respectively, into Q(G) andQ(GM). The commutative diagram in Fig. 14 illustrates the mappings introduced here.
The collection
=
an open covering of
homeomorphism
is
(5.6)
In fact,
of
onto T(G").
define a complex
analytic structure for the Teichmller space T5 of the Riemann surface S and
that this structure has the expected good properties. The proof does not
cover the case of a torus; the complex structure of the Teichmller space of a
torus will be introduced in section 6.
210
V. TeichmURer Spaces
The Bers
defines a complex analytic structure on the Teichmller space
holomorphic
with
to this
imbedding
into
is
respect
of
T5
Q(G)
'
structure.
PROOF. Assuming that
and are defined by (5.6) and (5.7), we choose two
is not empty. In
elements
and p2 of B(G) such that Vi,,
we have
=
All mappings on the right-hand side are holomorphic, as we have seen.
o
is holoConsequently, as a composition of holomorphic functions,
is
of the atlas (5.8) is independent of the representation H'/G we used for the
Riemann surface S. Theorem 5.5 expresses an even stronger result.
In order to complete the proof of the theorem, we still have to show that
the Bers imbedding 2: T5 Q(G) is holomorphic, i.e., that 1
is holomorphic in
2). Now
=
Ao'
oak.
Since all mappings on the right are holomorphic, their composition lo h' is
holomorphic.
We shall now establish further results (Theorems 5.3-- 5.6) which show that
(5.8) defines a natural structure.
Theorem 53. The canonical projection
it: B(G)
is
T5
=
and are holomorphic, it follows that it is holomorphic.
Next, let us consider the mapping
Since
of into B(G). All functions on the right-hand side are holomorphic. Therefore, their composition i/ia is holomorphic. From the definitions we infer that
ito
Consequently.
is
= identity mapping of
(5.9)
211
T(G) is biholomorphic.
T5
PROOF. Suppose first that Q(G) is finite dimensional. (By IV.5.5, this is the
case ifS is compact; cf. also 9.7.) We then conclude directly from Theorem 5.2
that 1t is biholomorphic using the theorem by which a holomorphic bijection
Then I =
this result and show that such an isometry can be chosen to be biholomorphic.
PRooF. Let S = H'/G and S' H'/G' be quasiconformally equivalent Riemann surfaces. We consider a lift of a quasiconformal mapping of S onto S'
to a self-mapping of the lower half-plane. There is no loss of generality in
assuming that the lift is of the form fJL. We have
B(G).
The mapping
induced by p is now a biholomorphic mapping of
onto B(G'). It induces the mapping of T5 onto T5.. The theorem follows
when we prove that ; is biholomorphic.
If
is the canonical projection, we have
B(G') '
(5.10)
is biholomorphic. 0
212
V. TeichmUfler Spaces
To be quite precise, we have not yet proved Theorem 5.5 for tori, which
have the complex plane rather than the half-plane as universal covering
surface. In the next section we shall show that the TeichmUller space of every
torus is biholomorphically equivalent to the upper half-plane.
Theorem 5.5 can be applied to the modular group Mod(S) of T5, which was
introduced in 2.7.
Theorem 5.6. The elements of the modular group Mod(S) are biholomorphic
automorphisms of the Teichmller space T5.
ments of the modular group are such isomorphisms induced by..-quasiconformal self-mappings of S.
D
We proved in 1.5 that two compact Riemann surfaces are -quasiconformally equivalent as soon as they are homeomorphic. Moreover, we learned
in IV.5.2 that they are homeomorphic if and only if t)iey have the sam genus.
Therefore, in view of Theorem 5.5, the genus
determines the TetchThe abstract
muller space of a compact
space corresponding to surface* of genus p is denoted by T,,. Starting from a specific
Riemann surface S, as we have done, means fixing the origin in 1;.
In IV.5.5 we saw that the space of holomorphic quadratic differentials of a
compact Riemann surface..of genus p> 1 has finite dimension 3p 3. Therefore. Q(G) can be identiFied with
T, becomes a complex analytic
(3p 3)-manifold. We shall consider this question in greater detail in section
9 by using another imbedding of T5 into Q(G). In section 6 we shall prove that
'T1 is a complex 1-manifold.
which has the complex plane C as its universal covering surface. If the
covering group G of C over S is trivial or cyclic, then all quasiconformal
images of S are conformally eqpivalent (ef. IV.4. 1). Leaving aside these cases,
which are uninteresting from the point of view of the theory of Teichrnller
spaces. we assume that S is a torus, i.e., a compact surface of genus 1. By the
remark at the end of 2.6, the Teichmller spaces of different tori are all
isom&rically bijective.
213
is a base.of G jf
and
if
= aw1 + bw2,
=cco1 + dw2,
(6.1)
adbc=1.
(6.2)
ad
bc
1.
adbc
(6.3)
\W2)
\W'2J
are simul-
where a, b, c, d are
az+b
_____
cz
+d
bc
on H.
0 if and only if
is
214
V. Teichmller
equivalent to to1 /0)2 under the modular group r. Hence every torus can be
Lemma 6.2 tells us that in studying the Riemann space R5 and the Teichof a torus we can restrict ourselves to mappings
S'
S
which are normalized by a condition p(p) = p'. pES, p'ES'. If it: C iS and
it': C ' S' are the canonical projections and we take p = ir(O). p' = n'(O), then
C with the property f(O) = 0. We call such a lift f
4, has a unique lift f: C
mUller space
In the case of tori it is easy to show that every isomorphism between G and
G' can be generated in this manner.
Theorem 6.1. Let S = C/G and 5' = C/G' be tori and 0: G i G' an isomorphism. Then there is a homeomorphism of S onto S' which induces 0.
PROOF.
('l,'2)
to
cot, i = 1, 2. Then a determines 0, and it projects to a homeomorphism of S
onto S'.
0
Let ip: S ' S' be a homeomorphism with a normalized lift f such that
f(co1) = w, i = 1, 2. If h =
then h(z + w3 = h(z) + w. From this we
conclude that h is sense-preserving (Theorem IV.3.5). Hence f and a are
simultaneously sense-preserving.
Let r = a,1/ai2, r' =
If r'
I, then
(6.4)
215
Suppose that (w1, COi) is a normalized base of G, ie., that Im t > 0. By (63),
<0.
If
In fact, if S and S' are conformally equivalent, then by Lemma 6.2 there
is a conformal map of S onto S' whose lift f: C -. C is normalized. Since f
is a conformal self-mapping of C with f(O) = 0, we have f(z) = Az. Then
and so
is a base of G'. Conversely, if (Aw1,Aco2) is a
base of G', then the projection of z ' Az is a conformal mapping of S onto S'.
Theorem 6.2. Let S C/G and S' = C/G' be tori and (co1,co2) and
normalized bases of G and G'. Then S and S' are conformaUy equivalent if and
only the points w1/co2 and o11/w'2 are equivalent under the elliptic modular
group.
PROOF. We just showed that S and are conformally equivalent if and only
if there is a A 0 such that 4Aw1,Aw2) is a base of G'. From what we
at the end of 6.1 it follows that this is the case if and only if the points w1 /w2
and
are equivalent under the elliptic modular group.
Sand set
= [f(co1)/f(o2)] for peR5,fEp.
Repeated application of the reflection principle shows the existence of a
216
V. TeichmUHer Spaces
branched over the Riemann space at points which correspond to the fixed
points of F or, what is the same, which correspond to symmetric tori admitting non-trivial conformal self-mappings.
ourselves to mappings with normalized lifts. Let F denote the class of these
normalized lifts.
217
f(z +
for all z e C and m,
mw1
+ nco2) = f(z) +
+ na4
(6.6)
that the identity is the only inner automorphism of G'. Clearly, there is a
unique affine mapping w in F.
w.
Sincef w has the periods w1 and co2, there is a positive number L such that
If(z)w(z)IL
(6.7)
0,
flfx(x + iy)Idx
for almost all
Jfx(x +
JJQ
Kr 2L
y
Kr2 2Lr.
Kr2
cc
2Lr
we obtain
Km(P)
As an extremal,f is K-quasiconformal. Therefore, lf,J2 KJ a.e.,'where J
218
is
V. Teichmller Spaces
K2(m(P))2 m(P) J
dx dy Km(P)m(f(P)).
(6.8)
Because f(P) and w(P) are fundamental domains of G' with boundaries of
measure zero, m(f(P)) = m(w(P)) = Km(P). We see that equality holds everywhere in (6.8), and so
= KJ(z)
almost everywhere.
We write
+
of + all =
t3j J = tail2
a.e., and
(6.9)
equals
a.e. (K I )/(K + I). Thus f is afline, hence f = w, and the theorem is proved.
(az
follows that
594logK.
Equality holds
(6.10)
A.(z +
_____
219
logK =log1
=logfr,
I'
20.
=
Consequently, (6.10) holds as an equality for the affine mapping. Inequality
(6.10) and the "only if" part of Lemma 6.3 follow from Theorem 6.3.
0
1
= f(wj)/f(w2).
We show that is a well defined mapping of T5. Let us consider another
mapping q' p with the normalized lift f'. Then there is a conformal map
with a normalized lift such that c'o q,' is homotopic to 'p.
c: 4)1(S)
The lifts of 'p and. 004)' induce the same group isomorphism. But the lift
of ci is of the form z , ).z, and so
i = 1, 2. This shows that
f(w1 )/f(w2) does not depend on the choice of 'p p. From the discussion
lies in the upper
after Theorem 6.1 it follows that the image point
half-plane H.
The change of (w1,co2) to another normalized base of G means that iJ' is to
be replaced by ho where h is an element of the elliptic modular group. This
follows from what was said in 6.5 before Lemma 6.3.
-
Thm6.tThemappingl':T5+H,definedby..
=
left of 'p, is a bijective isometry of
where f is the
half-plane fu*Lshr4 with the hyperbolic metric.
(6.11)
220
V. Teichmller Spaces
their representatives
with the normalized lifts j. Let 4,1(S) +
be
the extremal in the class of quasiconformal mappings homotopic to 4'2 0
and having normalized lifts. For the Teichmller distance is we then have
t5(p1, P2) = log K, where K is the maximal dilatation of On the other
hand, if f is the normalized lift of it follows from Lemma 6.3 that
K
is equal to the hyperbolic distance of the points 11 (o i)/fi(w2) and f(f1 (w1 ))/
f(f1(w2)). But f of1 induces the same group isomorphism as 12' and so
f(f1(w1)) = f2(wj, i = 1,2. Thus the Teichmller distance ts(pi,P2) coincides
with the hyperbolic distance between
and iJ'(P2), and the theorem is
proved.
.0
We know that every equivalence class [4,] has a representative whose lift f
is an affine transformation * +
the (constant) complex dilatation
,z
(6.12)
W2+CLY2Z
space of a torus.
(6.13)
is a bijective isometry of the Teichmller space T5 onto the hyperbolic unit disc
D.
PRooF. The theorem follows immediatelyfrom the fact that (6.12) is a bijective isometry of onto the hyperbolic upper half-plane.
0
221
p)/(l
gz)
Spaces
shall
Riemann surface of
cu"ipact
whose genus
are iutt as accessible as the space
rcrrescntation for the
a
in
of
in
spaces of
8 the extremal
222
V. TeichinOller Spacee
The special case of compact surfaces will not be taken up until the
section 7.8.
Let S be a Riemann surface whose universal covering surface is conformal-
JN
= JN
f jup.
and
coincide with the
and
L1-spaces of N, it follows from standard results on If-spaces that the mapping
is an isomorphism of
onto the dual of L1 (G) (cf. Dunford
Because
and
-P4)
223
locally
uniformly in 0. Hence,
Banach space.
Let 1 be a bounded set in A(G). From (7.1) we see that the functions 4E(1)
are locally uniformly bounded in absolute value in D. Consequently, (I) is a
normal family, and so every. sequence of functions p,, e 'b contains a subsequence
which converges locally uniformly in D to a limit function
It follows from Fatou's lemma that
(7.2)
The functions
are saId to converge weakly to iii A(G), i.e., the norms of
are uniformly bounded and urn
4, locally uniformly in 0.
Convergence of a seqenoe in 4(0) implies its weak convergence, whereas
the converse is not always true.
In 4.2 we introduced the Banach space Q(G) consisting of holomorphic
quadratic differentials of G for wbbb the hyperbolic sup-norm
fl(P lie
z.N
is finite. IfS is compact, the spaces A(G) and Q(G) have the same elements: In
JN
ir(1
JD
(1
z)2 shows
224
V. Teichrnllet Spaces
OEG
JDr(2)
k
Ill
.JD
is locally
uniformly convergent in D.
From this we conclude that OfeA(G). Also,
Jfq
JN
This implies continuity of the mapping f ' f, since its linearity is clear. To
J0pf
Hence, for
Jg(N)
qeG$N
JO
(7.3)
JN
whose elements
=0
JN
for
Differ-
I ct
ouside 0.
z)
0.
225
I }.
As
=o
Jim
W
w-.O
for every z
E.
z+
with
Tp(z)=
From this we obtain by straightforward computation
urn
w-.O
because
=
Jr
z)
>
1.
Hence
urn
w-0
where
(n+
1)(n
+ 2)(n
0, 1,2,...,
(7.4)
226
V. TeichmUller
JJD
By Theorem 7.1, the function
then (7.4) follows.
JJK
DA(O)(p)
urn
w-0 W
of G
is the kernel of the mapping DA(O).
In this section we shall use the class N(G) for studying extremal mappings,
but infinitesimally trivial complex dilatations are also met in connection with
other problems in the theory of Teichmilhler spaces. Their importance was
noticed already by Teichmller, and they were utilized by Ahifors and Bets
in their studies regarding the complex structure of Teichmller spaces. For
information about the class N(G) in the Teichmller theory we refer to the
surveys Royden [2], Earle [2], and Kra [2].
611 p
derived in 11.3.3.
,fr(w) = (lzl2
1)2S111111(z)
227
61w12.
Setting w = p
Equality can hold in (7.5). To prove this consider the mappingf defined by
I and f(z) z + 2k(fzj 1) +
is
a
quasiconformal
mapping of the plane with p(z) = 0 in
k
f = f,,
E and p(z) = kz/IzI in D. We see that
rr
p(z)fdxdy =
ri r211
n = 0, 1
drdo = 0,
JoJo
It follows that p is in N(G) for the trivial group. Furthermore, pj)
JJb
lim(1z12
= k and
= 6k2.
We shall now apply Theorem 7.3 to prove an auxiliary result about infinitesimally trivial diatations, which will come into use in what follows.
24t2.
For 0 t 1/4, we have 24:2 <2. Hence by formula (4.6), there is a complex
dilatation a(t) e [tvj for which
110(t)tLo
7.6.
4IIS1j,iEIIq 42t2.
Fix a point
here fM fixes the points
T5 and consider the family
1, i, 1. In other words, we consider all quasiconformal self-mappings of D
and which agree with an f" on 5D.
whose complex dilatations are in
As has been noted repeatedly, ibis family contains one or more extremal
mappings, i.e., mappings with the smallest maximal dilatation (Theorem 2.1).
The proof of the following lemma uses ideas applied by Krushkal [I] to a
special case and later elaborated by Reich and Strebel [1]; see also Reich [I].
Lemma 7.2. Let
N(G), then
IkL.
PROOF. Set
k, H,cL =
cannot then be extremal.
k1.
V. Teichmller Spaces
228
Writing v = p
values oft,
K, we
f2flLo(ftv)1
a smaller maximal dilatation than
Lemma 7.1 we shall then
and still keep the maximal dilatation
correct the boundary values of
smaller than that of f
has
= p(z)
1
tv(z)
tp(z)v(z)
Ip(z)I
Re(p(z)V(z))t + 0(t2).
(7.6)
Iiz(z)I
Here
less than k. By (7.6), there are positive numbers 1 and t1, such that for z E E1,
IMC)l
<k1tift<t1.InE2,
1
p1
k2)(k
(1
k1).
From this and (7.6) we deduce that there are positive numbers c52 and t2, such
that for z-E2, fA(4jj < k 52t if t < t2. If 6 = min(61,62), t0 = min(t1,t2),
we thus have
12(C)I<kot
for t .< t0,a'tevery point
The mapping jA need not agree with fL on the boundary. But if 0(t) is as
in Lemma 7.1, then ft = fA of(T(t) has the same boundary values as f $4 We
have
k & + 12t2
+
Ilcr(t)IL,
II
<k =
and
12t2
With the aid of this lemma, the desired characterization of extremal comand
(peA(G). We write
JN
and denote by
= 1)
the norm of p as an element of the dual space of A(G). If G is the trivial group,
this "dual" norm is denoted by
We are now ready to prove the main result about extremal complex dilata-
229
aH
(7.7)
if
From AJA(G) =
we conclude that
JN
IIKL.
i}
< hlpLL0.
f1' is extremal.
is not extremal in
0
In terms of
Teichmller distances, the result can be expressed as follows: IfS = DIG, then
[p]) (cf. 3.2 and 3.7).
(ii T5)(O, [p]) <
urn I
Jrq
Such a sequence
is called a Hamilton sequence for p.
which converges
A Hamilton sequence always contains a subsequence
weakly in A(G) to a function q, e A(G)(cf. 7:2). It thay happen that q vanishes
is said to be degenerate.
identically, in which case the sequence
230
V. Teichmulier Spaces
If no Hamilton sequence is degenerate, we can draw a remarkable conclusion about the extremal mapping (Strebel [3), Reich [1)).
and
(7.8)
(7.9)
that
<e.
(7.10)
J N\F
Since
4)1 (I4)NI
From
(Iq',,I 14)1)
+ lq't
IqI) = 214)1
and from
4)1
J N\F
Hence,
SN
1.
=1
(7.11)
114)11.
JN
4)n
II,tL.
11
lI4)N4)I \
JN
114)11
231
By
as n
Hence,
'
in
dicts the hypothesis. It follows that flq'II 1, and
by (7.11),
L1(G).
We conclude that
II
II
= lim
urn
qi)
(p
fl =0.
JN
Consequently,
0=
.JN
(PJ
JN\
A quasiconformal mapping which is conformal or whose complex dilatation is of the form (7.8) is said to be a Teichmller mapping.
0t<l.
In particular, in
ary values of
is
a compact Riemann surface of genus > I, the Dirichlet regions N are relatively compact in B (IV.5.1). Therefore
232
V. leichmller Spaces
l=limfI4,nl=
,JN
Since we assumed in this section that the Riemann surface S has a disc as
its universal covering surface, our reasoning does not apply as such to a
torus. But this case was thoroughly handled in section 6. It follows from
Theorem 6.3 that also in the case of a torus the extremals are Teichmller
mappings.
Theorem 7.6 is Teichmller's existence theorem. The first proof,, which is
[1]
based on a continuity argument, is in Teichmiiller [2]; see also
and Bers [3]. Apart from technical details, the reasoning we used to prove
Theorem 7.6 is due to 1-lamilton [I].
Extremal mappings of compact Riemaun surfaces will be studied more
closely in the following section, where Theorem 7.6 will be complemented by
233
the Teichmller
where
unique extremal in its homotopy class, i.e., that each homotopy class contains
exactly one Teichmller mapping. This makes it possible to define an injective
mapping of the Teicbmller space into the space of quadratic differentials.
(q,, k) determines
8.2.
and the universal covering surface, the complex plane, with its explicit
covering group offers a convenient framework for studying extremal mappings. We proved that on C the extremals are globally affine, and that, up to
translations, they are unique in any homotopy class.
If the Riemann surface S has genus p> 1, the situation is much more
complicated. Holomorphic quadratic differentials now have 4p 4 zeros,
which means that the induced mctric has singularities. Global coordinates
cannot be used for the study of Tcichmller mappings. However, there is a
certain analogy with the case of a torus. It turns out that in a sense which we
shall now make precise, every Teichmller mapping is locally affinc.
The local behavior of a Teichmllcr mapping f becomes clear when we
introduce a suitable quadratic differential on the surface S' onto which J
maps S (Tcichmller [1]).
V. Teiehrnllcr Spaces
234
(8.2)
of
at f(p).
PROOF. Let p be an arbitrary point of S. (We actually prove a little more than
what is stated in the theorem.) Assume that q, has a zero of order n at p,n 0
0), and denote by a natural parameter
(n = 0 means of course that
of at p. We define a mapping in a neighborhood of f(p) by setting
of
2/(11+2)
+
=
Ik
- (8.3)
If p is a regular point, (8.3) reduces to the simple form (8.2). We prove that C'
is a local parameter on the Ri.mann surface S'.
Let z' be an arbitrary local parameter on S' in a neighborhood of the
Since p(z) dz2
point f(p). Then z' of has the complex dilatation
((n + 2)/2)2 111dC2 (formula (6.1) in !V.6) and sncc complex dilatation is a
( 1, 1)-differential, we see that the complex dilatation of z' of can also be
-
On the other hand, we compute from (8.3) that the mapping of has the
complex dilatation
It follows that
is
a
local
parameter
of S'.
C'
In order to construct the differential st', we consider a point
p which
is so close to p that p2 is a regular point and lies in the domain of C. A natural
dz = ((ii +
parameter at Pi is obtained if we integrate
dC It
follows that =
is a natural parameter at Pi. Then
+
=
(I k) is a local parameter of S' at
and
= (n +
We
conclude that
= ((ii + 2)/2)2C'dC'2
If C =
+ Lip,
of =
is
235
8w(z)
Ow(z)
k('(w(z))l
(8.5)
low + Owl =
Let a be a horizontal arc on S. The differential Aj.lcol"2 can be integrated
along a (with the possible exception of a family of arcs a whose union has the
area zero), and from the representation A1 = 1w,] it follows that
= l(f(a)).
(8.6)
In later integrations we also need the Jacobian with respect to the o- and
It is defined by the formula
J1(p)
(lOw(z)J2
We see that
is a function on S. In natural parameters,
ordinary Jacobian 10w12 10w12. Therefore,
f
where ISI denotes the
area of S'.
becomes the
V. TcichmHer
236
8.4.
Average Stretching
The following result about average stretching is an essential step on the road
leading to the extremal propcrties of Teichmller mappings.
Lemma 8.1. Let f: S . S be a quasiconformal mappiny hornotopic w the identitv and q a holomorphic quadratic
on S. Define A',. by (8.5)for ahd
= q,. Then
Js
be a subarc
(8.7)
2aja
It) from p and lies in the positive direction from p if t > 0, in the negative
direction if <0. Then x: S0 x R . S0 is a continuous mapping such that
x(p. t) is a conformal and isometric bijection for every t.
We conclude that A! = A o x(. t) is a Borel-measurable function on S0, and
1 1114,1
Js
Js0
2114,1
M4'I =
Js
l-fene,
=
We
Js
provided that
q,
(8.8)
Js
of (
of Extremal
8.
ate the
of;. and
the
on
Surfaces
J&
Js
From (87).
(8.6),
and Lemma
2a(P)
that
we
M/a
(1
Hence, by
(8.9)
M,"a)jSI.
,Js
x. we obtain the
By Theorem 15. every homotopy class of sense-preserving homeomorphisms of S onto 5 contains quasiconformal mappings. By Theorem 2.1, each
contains a mapping with the smallest maximal dilatation. By Theorem
7.6, every such extremal is a Teichmller mapping. Consequently, it remains
pic to
II K0 and 9K denote the maximal dilatations of
first that
and f, we prove
V. Tcichm*fler Spaces
KK0.
(8.10)
8' + S'
is homotopic to the
(8.11)
be a
Co =
1_no
k0 =
+ in,
K01
(8.12)
We see that
and
are both equal to the constant K0.
Let
= w(C0) be a representation of h. (The various mappings are illustrated in Fig. 15.) By (8.12), f has the representation
1
Differentiation
yields
0C1(C) +
Ko(Dw(C0)
Because
h=
S.
Figure 15
39
=
almost everywhere.
Reverting to the integral in (8.1
we now obtain
=$
A KJf
(8.13)
a.e.
Thus
(K/KO)j'
= (K/K0)IS'I.
J114'I
= K0.!,-
a.e.
(8.14)
We show that (8.14) is possible only if f and f0 satisfy the same Beltrami
equation.
We use again the natural parameters
and
From (8.12) we first see
that
=
In terms
+
On the other hand,
is K0-quasiconformal, so that
-.
+
These
Further,
It
follows that
a.e.
K0(IaC1I
a.e.
and
whence
hence
=
We
is conformal. Since
is homotopic to the identity, Theorem 1.3
tells that
is the identity mapping. The unique extremality of 10 has
thus been proved.
0
we already said at the end of section 7, the above proof of Theorem 8.2
follows essentially the modification Bers ([3] and the appendix in [12]) gave
of the original proof of Teichmller [1].
As
V. Teichmuller Spaces
240
9.
p=
this case k =
0,
and q is not
where (peQs,
unit ball of Qs
PROOF. By our previous remarks, (9.1) is a well defined injection ofT5 into the
open unit ball of Qs. It is clearly also a surjection onto this ball.
o as n p
thre is a subsequence
and a differential e Q5, t/i
a.e. By Lemma
0. Then
241
urn
0.
From
/3p3
H11
+ y?)
in Q5.
V. TeichmUller Spaces
242
lip 1, we proved that the Teichmller space is isomorphic to the hyperis hobolic upper half-plane (Theorem 6.4). Hence, for p = I, the space
meomorphic to R2
The Bers imbedding of Theorem 4.8 also allows the conclusion that for
However, not
p> 1, the SpacCTS is homeomorphic to a subdomain of
much is known about this domain. Now we can immediately draw the following conclusion: The Teichmller space of a compact Ricman surface is
some of its interest in light
contractible. This special result has, of course,
of the DouadyEarle result that every Teichmller space is contractible
(see 3.6).
then r3(O,q) =
+ k)/(I k)).
I<zt.czl,
is a geodesic line in T5 which passes through the origin and the point q.
Here
the origin.
In order to study geodesics through two arbitrary points of T5, we recall
that all Teichmller spaces of Riemann surfaces of genus p are isomorphic
(see 5.6). The space T5 is a model of the abstract space 1;.
at the origin. In view of what we proved about straight lines through the
origin, we obtain the following result: In the Tekhmller space 1, any two
points lie o' a straight line.
This result holds in the case p =
the hyperbolic upper half-plane.
243
by making
use of the fact that dC'2 = i/i(z') dz'2 and that the complex dilatation is a
(1, 1)-differential.
Let us multiply (9.3) by iK = i(1 + k)/(l k). Comparison with (8.2) then
yields the result that the terminal differential off 1 is
For composed mappings we prove what will be needed later.
Lemma 9.1. Let f1: S S1 and 12: S + S2 be Teichmller mappings determined
k1) and (q'z, k2) such that q2fq1 is a constant. Then f2 off' is a Teichby
muller. mapping. Up to constants, the initial differential of f2 ofr' agrees with
that offr', and the terminal dfferential with that 0112.
It can be de-
of
and
follows that C1
a
The stretchings
It follows that
--+
C2
2e
V. Teichmuller Spaces
SI
'I
Figure 16
,
i_
Let
10
95
9. Ieichmllcr Spaees of
245
of the unit disc D into the Tcichrnller space T5. By Theorem 8.2. this
=
the image of D under (9.6). The subset A of
disc determined by -p.
denote
With varying p. cvery A clearly contains the origin of T5. But otherwise
two TeichmUlkr discs arc disjoint if they are determined by quadratic differentials whose quotient is not constant. This follows from the definition of
A, in view of the uniqueness result of Theorem 8.2.
Theorem 9.3. The mapping '
is an isometrv of the hyperbolic unit
disc onto the Teichrnller disc determined by q.
=
where h denotes the hyperbolic distance in the unit disc.
--
I
2
9.6.
+
II
Ji z1z21
z2j
=h(;1,:2).
Z21
(9.7)
From the way the hyperbolic metric was introduced to other domains by use
of conformal
we conclude that (9.7) holds if f is an analytic
mapping of I? into an arbitrary simply connected domain with more than one
246
V. Teivhmller Spaces
d(f(z1),f(z2))
h(z1,z2)
p.
1, the theorem follows from (9.7) and the fact that 7, can then
be identified with the hyperbolic unit disc (see 6.7).
PROOF. For p
(9.8)
where z1 and z2 are the preimages of q1 and q2 under (9.6). Here the bobmorphic mapping of D into T5 depends on the given points. Therefore, we can
only infer from (9.8) that the Teichmller metric is greater than or equal to
the hyperbolic metric of
Royden (1] also proved that in 7,, p> 1, the modular group is the full
group of biholomorphic automorphisms of T,.
We showed in 2.7 that two points [ft] and [f2J ofT5 are equivalent under
the modular group if and only if the Riemann surfaces ft(S) and f2(S) are
conformally equivalent (Theorem 2.7). Hence, if S is a compact Riemann
surface of genus greater than 1, then by Royden's result, the points [f1J and
Royden's result also shows that the Teicbmlter imbedding (9.2) is not
hobouiorphic. For if it were, it would be biholomorphic. The group G of
247
surface S and S\S0 consists of finitely many points and of finitely many
disjoint closed parametric discs of S.
Let S be of genus p, and consider the case in which S\S0 is the set of n
points. We say that S0 is then of type (p. n). The points of S\SO are called
punctures.
It follows from our previous analysis of covering groups that a Riemann
surface of type (p. n) admits a disc as its covering surface if and only if
2p 2 + n > 0. Under this condition, which leaves otjt only the tori and the
extended plane with no more than two punctures, the Teichmuller theory of
of compact surfaces
n) is largely analogous with the
surfaces of type
of genus > 1. In particular, the following basic result is true:
Theorem 9.5. The Teichmller space of a Riemann surface of type (p, n),
2 + n > 0, is homeomorphic to the euclidean space
The proof can be reduced to the case of a compact surface. The idea is to
construct suitable coverings of S branched at the points of S\S0. The procedure is explained in Ahlfors [1], pp. 2023.
We have emphasized many times the fact that the Teichmller spaces of
compact surfaces with the same genus are all isomorphic. Similarly, the
Teichmller spaces of all Riemann surfaces of type (p, n) are isomorphic,
because such surfaces are all quasiconformally equivalent.
Finally, let S0 be a Riemann surface of finite type such that S\S0 contains
discs. A Teichmller theory analogous to the theory of compact surfaces can
again be developed for such surfaces. However, in this case the notion of,
reduced Teichmller space (see 2.1) must be used. For an exposition of the"
theory of Teichmller spaces of Riemann surfaces of finite type we refer to
Abikoff [2].
Bibliography
Abikoff, W. 11] Some remarks on Kleinian groups. Advances in the Theory of Riemann Surfaces. Annals of Math. Studies 6&Pnnceton Univ.
IS.
12] The Real Analytic Theory of Teichmller Space. Lecture Notes in Math.
820. Springer-Verlag (1980).
[3] A geometric property of Bers'
of the Tcichmller space. Riemann Surfaces and
Topics. Annals of Math. Studies 97. Princeton Univ.
Press (1981),
Ahlfors, L. V. (liOn quasicon formal mappings. Journal d'Analyse Math. 3(1953/54),
158.
surfaces.
Abhors,
Proc.
Astala, K. and Gehring, F. W. (11 Injectivity, the BMO norm and the universal
Teichmller space. To appear in Journal d'Analyse Math.
1. [1) On a theorem of Mon and the definition of quasiconformality. irony.
Bets,
(2) Spaces of Riemann surfaces. Proc. International Congress of Matheinaziclans, Edinburgh 1958. Cambridge Univ. Press (1960). 349361.
mappings and
(3]
theorem. Analytic Functions.
465-466.
249
(7] On moduh of
Ifloitk. Ek
ituisq.sinS!i!ut
surfaces. Let-ture.s
Mathe
[11]
function theory and topology. Bull. inter. Mat/i. Soc. 83 ij977). 10S3-- 1100.
[12] A
of a fundamental inequality for
Journal d Analtsc
36 (1 979'L I
30.
A I Mat!: 10 (1985).
(13) On a theorem of Abiko!i. . Inn
ad. Sei.
83-87.
Jn.thulque.s. I
II
XXXI)!. Fascicuk de
is. 1).
quasi
I)
agraphcs
radius of
of
a 7.
i-f
lariahles
.4ppl. 4 (1985).
Funktioncn durch lineare
I1bt'r die
o\imation
1,. no. 9 (1923).
Aggregate von vorgegcbcaen Poteuzcn. Ark. Mat.
Complex
T. [1)
A. and
C. J 11] ('onlotinally natur.cl
of the circle. To appear in Acri: Mail,.
l)unford. N. and Schwartz. J. T. (I) Linear
Part 1.
I
(1958).
L)u,cn. P. 1. 11) L'niraknt Functions.
honieomoIphlsn1S
Publishers
1983).
Earle. C. J. [11 The TeichmUller space ot an arbitrary Fuchsian group. J3&1. .4mer.
.4fath. Soc. 70 (1964), 699-701.
[2] Teichmltcr theory. Di.srreie Groups and 1 liwnwrp/zic Functions, ed. W. J.
lord. 1.. R.
Functions. 2nd ed. Chelsea. New York (l951).
Fricke. R. and Klein. F. (I] i.'orlesungen her die Theorre
auwmarpiwn Functionen.
Teuhner (1926).
Gardiner. I-. P. (l)An analysis of the group operation in universal Teichmlier space.
Trapis. .4'ner. Math. Soc. 132 (1968). 471-
Gauss, C. F. [I) Ailgemeine Auflosung der Aufgabe die Thcile einer gegebenen
l'lche auf einer andern gegebenen Flache
abzuhilden. dass die Abbildung
dem Ahgebildeten in den kleinsten 'Fheilen hnlich wird
tronomische ,4/ihand-
lungen. vol. 3 (ed. H. C'. Schumadier). Aliona (1825). or carl Friedrich Gauss
Werke. vol. IV. Gottingen (1880). 189-216.
(iehring. F. W. II)
mappings which hold the real axis ruintwise
fixed. Math. Essays Dedicated to A. J. Macintyre. Ohio Univ. Press. Athens
(1970). 145-148.
(2) Univalent functions and the Schwarzian derivative. Comment. Math. Heft.
52(1977).
561
572.
Bibliography
250
[2] Canonical mappmgs between T'eichmller spaces. Bull. Amer. Math. Soc.
N. S. 4(1981), 143179.
Kraus, W. (ii Ober den Zusammenhang einiger Charakteristiken elnes einfach zusammenhngenden Bereiches mit der Kreisabbildung. Mitt. Math. Sem. Giessen
21(1932), 128.
Kravetz, S. [Ii On the geometry of Teichmller spaces and the structure of their
modular groups. Ann. Acad. Sci. Fenn. A I Mash. 278 (1959), 135.
Kruschkal, S. L. and Khnau, R. [1] Quasikonforme Abbildungenneue Methoden
und Anwendungen. Teubner-Texte zur Math. 54, Leipzig (1983).
S. L. (I] Teichmller's theorem on extremal quasi-conformal mappings.
Siberian Mqth. .L. 8(1967), 231244. Translated from Sibirsk. Mat. 2. 8 (1967),
313332.
KUhnau, R. [1] Wertannahmeprobleme bel quasikonformen Abbildungen mit ortsabhngiger Dilatationsbeschrnkung. Math. Nachr. 40(1969), 1il.
[21 Verzerrungsstze und Koeffizientenbedingungen vom Grunskyschen Typ
fr quasikonforme Abbildungen. Math. Nochr: 48 (1971), 77105.
Kuusalo, T. [I] Boundary mappings of geometric isomorphisms of Fuchsian groups.
Ann. Acad. Sci. Fenn. A I Math. 545(1973), 17.
Math. Soc.
Lehner, 1. (1] DiscontinuoUs Groups and Automorphic Functions.
(1964).
[2] On the inner radius of univalency for non-circular domains. Ann. Acad.
Sd. Fenn. A I Math. 5(1980), 4547.
(31 Remarks Qfl the maximal dilatation of the BeurlingAhifors extension.
Ann. Acad. Sci. Fenn. A IMath. 9(1984), 133139.
[4] Estimates of the inner radius of univalency of domains bounded by conic
sections. Ann. Acad. Sci. Fenn. A I Math. 10(1985), 349353.
inner radius of univalency. To appear in Ann. Acad. Sci.
[5] Angles
Fenn. A IMath. it:Lehto, 0. (1] Schlicht functions with a quasiconformal extension. Ann. Acad. Sci.
Fenn. A IMath. 500(1971), 110.
(21 Group isomorphisms induced by quasiconformal mappings. Contributions
Bibliography
251
[5] On univalent functions with quasiconformal extensions over the boundary. Journal dAnalyse Math. 30(1976), 349354.
[6) Domain constants associated with $chwarzian derivative. Comment. Math.
HeIv 52 (1977), 603610.
[7] Remarks on Nehari's theorem abo& the Schwarzian derivative and schlicht
functions. Journal d'Analyse Math. 36(1979), 184190.
Lehto, 0. and Tammi, 0. [1] Schwarzian derivative in domains of bounded boundary rotation. Ann. Acad. Sd. Fenn. A I Math. 4(1978/79), 253257.
Lehto, 0. and Virtanen, K. 1. (1) Quasiconformal Mappings in the Plane. SpringerVerlag (1973).
Martio, 0. and Sarvas, J. [1) Injectivity theorems in plane and space. Ann.Acad. Sci.
Fenn. A IMath.4(1978f79),383401.
Maskit, B. [1] On boundaries of TeichmUiler spaces
on kleinian groups: II.
Annals of Math. (2) 91 (1970), 607639.
Money, C. B. [1) On the solutions of quasi-linear elliptic partial differential equations. Trans. Amer. Math. Soc. 43(1938), 126166.
[2] Uber die Konstruktion Riemannscher Flchen durch Verheftung. /. Indian Math. Soc. 24(1961), 401412.
Pommerenke, Chr. 111 Univalent Functions. Vandenhoeck & Ruprecht (1975).
Reich, E. [1] On criteria for unique extremality of Teichmller mappings. Ann. Acad.
Sci. Fenn. A lMath. 6(1981), 289301.
Reich, B. and Strebel, K. [1] On the extremality of certain Teichmller mappings.
Comment. Math. Helu. 45(1970), 353362.
[2] Extremal quasiconformal mappings wfth given boundary values. Contributions to Analysis. A collection of papers dedicated to Lipman Beis. Academic Press (1974), 375391.
Riemann, B. [1] Grundlagen fr eine ailgemeine Theorie der Functionen einer vernderlichen complexen Grsse. Inauguraldisscrtation, Cittingen 1851. Gesammelte mathematische Werke und wissenschafthicher Nachlass, 2nd ed. Teubner,
Leipzig (1892), 348.
Bibliography
383.
A. (!)
).
Rn;
reichmuller, 0. (1] Extremale qua sikonforme Abbildungen und quadratische Differentiale. .4bh. Preuss. Akad. Wiss., math.-na:urw. K!. 22 (1939), 1197, or
Ge,cammelge AbhandlungenCoI!ecred Papers, ed. by 1. V. Ahifors and F. W.
Gehring, Springer- Verlag (1982), 335531.
L21 Beslimmung der extremalen quasikonformen Abbildungen bei geschlossenen orientierten Riemannschen Flchen. Abh. Preuss. Akad. Wiss., math.-
Index
36,
AhlforsSario
3.
Caldern 26
inequality 26
Calvis, D. 126
Canonical mapping of a quadrilateral 7
Carleman, T. 226
CaldernZygn1und
Class
338,
S 59
79
Astala,K. 117
73
Index
foragroup 148
infinitesimally trivial 224
(m,n)- 132
quadratic 132
trivial
191
quotient 19
Dirichiet region 151
Distance
between domains 67
between quasisymmetric functions 108
from a disc 61
hyperbolic 5
Teichmller 103, 104, 183, 184
Dilatation
105
8 61,67
q 103
p 108
103, 104, 183, 184
;190
Distortion function X 15
Divisor 159
Douady. A. 194
Double of a Riemann surface 155
DunfordSchwartz 26, 222, 229
Duren, P.L. 77
Gauss, C.F.
('irotzsch,H. 11,20
ring domain 11
Group (see also Mbius group)
discrete 153
elementary 152
elliptic modular 213
Fuchsian 150
fundamental 136
Kleinian 153
limitpointof 140
limit set of 151
modular 188
of first (second) kind 154
properly discontinuous 140
quasi-Fuchsian 155
of right translations 99
set of discontinuity 152
universal modular 99
Orunsky 79
complex dilatations 97
quasiconformal mappings 97, 182
Fhnn,B. 117
Ford, L.R. 152
Fricke, R. 156, 241
Fuchsian group 150
Fundamental domain 149
Fundamental group 136
Hamilton, R.S.
sequence
228, 232
229
Hersch 13
Hubert transfonnation 25
Hue 90
Holomorphic function 51
in a Banach space 206
on a Riemann surface 131
Hornotopy
distance 5
metric 5, 6, 148, 246
sup norm 54
255
index
differentiable 129
real 129
Maitio, 0.
49, 52
Maskit,B. 198
Jordan domain 7
Keen, L.
241
Lehto, 0.
38,
48, 101
Lift
of a differential 148
of a mapping 145
'. ofa path 135
Limit point of a group 140
Limitsetofagroup 151
Maximal dilatation
of a quasiconformal mapping 12
of a quasisymmetric function 31
Meromorphic function 51, 131
Mirror image of a Riemann surface 155
Group)
Mbius group
Dirichiet region 151
invariant domain 155
normal polygon 158
quasiconformal deformation 191
Modular group
elliptic 213
of a Teichmller space 188
universal 99
Module
ofapathfamily
12
a quadrilateral 8, 9
of a ring domain 10
Monodromy theorem 136
Mori, A. 21
of
Morrey,C.B. 24
Mostow, G.D. 195
Narasimhan,R. 211
Natural parameter 162
Nehari, Z. 6, 60, 90, 124
Nevanlinna, R. 143, 144, 158
Newman, M.H.A. 7, 15,44,85
Norm
hyperbolic sup- 54
of Schwarzian derivative 54
Normal family 13
Normal polygon 158
Ohtsuka 143
Osgood, B.G. 49
Outer radius of univalence 66
Majorant principle 77
Paatero,V. 63
Manifold
129
Parameter
206
Banach
Poincar
transformation 129
144
Index
256
Schiffer, M. 79
density 6,148
nietric6
series 223
Pommerenke, Ch. 79, 90, 92, 94
theta
orientable 164
regular point 161
-.
Schobcr,G. 79
Shiga,H. 204
Sobolev space 21
Space
A(G) 222
A (1) 223
terminal 235
trajectory 163
Quadnintcrall
conjugate 46
Quasicircle 38
Quasiconformal deformation 191
Quasiconformal mapping 12, 176
analytic definition 22
diffeomorphism 19
extremal 37, 183
geometric definition 12
I-dimensional 31
of a Riemann swface 176
Quasiconforinal reflection 39
Quasidisc 38
Quasi-Fuchsian group 155
Quasisyrnmetric functions 31
space of 108
Quasisymmetry constant 32
Ill
Q(G)'197
Q(1) 197
R, 182
T 97
T(G) 198
T(1) 114
7', 212
7',
182
U 115
U(G) 197
U(l) 198
X 97, 108
X(G) 194
Springer, G. 3, 129, 151, 158, 159, 160
Stein, E.M. 26
Swflov 138
Straight line 163, 242
129, 166, 167,
Strebel,K.
169, 190, 227, 229, 230, 232
Study 63
Surface 130
of finite type 247
Tamnu,O. 65
Teichmller 1, Il, 103, 163, 170, 174,
181, 182, 207, 216, 226, 232, 233,
239
disc 245
distance 103, 104, 183, 184
existence theorem 232
imbedding 241
lemma 170
mapping 231
index
nng domain 11
space 97, 182
uniqueness theorem 237
Thurston, W.P. 2, 118, 204
Tienari 49
Tonis 150
Total set 206
Weili, 0. 88
Weyl, H. 130, 135
YOjob 23
Uniform domain 41
Uniformly equivalent 201
Univalent function 52
LV. 204
Zygmund 26