1995 Book AlgebraicTopology PDF
1995 Book AlgebraicTopology PDF
Editorial Board
S. Axler F.w. Gehring K.A. Ribet
Graduate Texts in Mathematics
Algebraic Topology
A First Course
~ Springer
William Fulton
Mathematics Department
University of Chicago
Chicago, IL 60637
USA
Editorial Board
S. Axler F.w. Gehring K.A. Ribet
Mathematics Department Mathematics Department Mathematics Department
San Francisco State East Hall University of California
University University of Michigan at Berkeley
San Francisco, CA 94132 Ann Arbor, MI 48109 Berkeley, CA 94720-3840
USA USA USA
(EB)
9 8 7 6 5
springeronline.com
To the memory of my parents
Preface
vii
viii Preface
In this book we will begin with the first of these problems, working
primarily in open sets in the plane. There is one disadvantage that
must be admitted right away: this geometry is certainly flat, and lacks
some of the appeal of doughnuts and teacups. Later in the book we
Preface xi
William Fulton
Preface to Corrected Edition
I am grateful to J. McClure, J. Buhler, D. Goldberg, and R.B. Burckel
for pointing out errors and misprints in the first edition, and for useful
suggestions.
Contents
Preface vii
PART I
CALCULUS IN THE PLANE
CHAPTER I
Path Integrals 3
I a. Differential Forms and Path Integrals 3
lb. When Are Path Integrals Independent of Path? 7
Ic. A Criterion for Exactness IO
CHAPTER 2
Angles and Deformations 17
2a. Angle Functions and Winding Numbers 17
2b. Reparametrizing and Deforming Paths 23
2c. Vector Fields and Fluid Flow 27
PART II
WINDING NUMBERS
CHAPTER 3
The Winding Number 35
3a. Definition of the Winding Number 35
3b. Homotopy and Reparametrization 38
3c. Varying the Point 42
3d. Degrees and Local Degrees 43
Xlll
xiv Contents
CHAPTER 4
Applications of Winding Numbers 48
4a. The Fundamental Theorem of Algebra 48
4b. Fixed Points and Retractions 49
4c. Antipodes 53
4d. Sandwiches 56
PART III
COHOMOLOGY AND HOMOLOGY, I
CHAPTER 5
De Rham Cohomology and the Jordan Curve Theorem 63
5a. Definitions of the De Rham Groups 63
5b. The Coboundary Map 65
5c. The Jordan Curve Theorem 68
5d. Applications and Variations 72
CHAPTER 6
Homology 78
6a. Chains, Cycles, and HoU 78
6b. Boundaries, H,U, and Winding Numbers 82
6c. Chains on Grids 85
6d. Maps and Homology 89
6e. The First Homology Group for General Spaces 91
PART IV
VECTOR FIELDS
CHAPTER 7
Indices of Vector Fields 97
7a. Vector Fields in the Plane 97
7b. Changing Coordinates 101
7c. Vector Fields on a Sphere 102
CHAPTER 8
Vector Fields on Surfaces 106
8a. Vector Fields on a Torus and Other Surfaces 106
8b. The Euler Characteristic 113
PART V
COHOMOLOGY AND HOMOLOGY, II
CHAPTER 9
Holes and Integrals 123
9a. Multiply Connected Regions 123
Contents xv
CHAPTER 10
Mayer-Vietoris 137
lOa. The Boundary Map 137
lOb. Mayer-Vietoris for Homology 140
lOco Variations and Applications 144
IOd. Mayer-Vietoris for Cohomology 147
PART VI
COVERING SPACES AND FUNDAMENTAL GROUPS, I
CHAPTER 11
Covering Spaces 153
11 a. Definitions 153
lIb. Lifting Paths and Homotopies 156
lIc. G-Coverings 158
lId. Covering Transformations 163
CHAPTER 12
The Fundamental Group 165
12a. Definitions and Basic Properties 165
12b. Homotopy 170
12c. Fundamental Group and Homology 173
PART VII
COVERING SPACES AND FUNDAMENTAL GROUPS, II
CHAPTER 13
The Fundamental Group and Covering Spaces 179
13a. Fundamental Group and Coverings 179
13b. Automorphisms of Coverings 182
13c. The Universal Covering 186
13d. Coverings and Subgroups of the Fundamental Group 189
CHAPTER 14
The Van Kampen Theorem 193
14a. G-Coverings from the Universal Covering 193
14b. Patching Coverings Together 196
14c. The Van Kampen Theorem 197
14d. Applications: Graphs and Free Groups 201
xvi Contents
PART VIII
COHOMOLOGY AND HOMOLOGY, III
CHAPTER 15
Cohomology 207
15a. Patching Coverings and Cech Cohomology 207
15b. Cech Cohomology and Homology 210
15c. De Rham Cohomology and Homology 213
15d. Proof of Mayer-Vietoris for De Rham Cohomology 217
CHAPTER 16
Variations 219
16a. The Orientation Covering 219
16b. Coverings from I-Forms 220
16c. Another Cohomology Group 222
16d. G-Sets and Coverings 225
16e. Coverings and Group Homomorphisms 227
16f. G-Coverings and Cocycles 228
PART IX
TOPOLOGY OF SURFACES
CHAPTER 17
The Topology of Surfaces 233
17a. Triangulation and Polygons with Sides Identified 233
17b. Classification of Compact Oriented Surfaces 236
17c. The Fundamental Group of a Surface 242
CHAPTER 18
Cohomology on Surfaces 247
18a. I-Forms and Homology 247
18b. Integrals of 2-Forms 251
18c. Wedges and the Intersection Pairing 252
18d. De Rham Theory on Surfaces 256
PART X
RIEMANN SURFACES
CHAPTER 19
Riemann Surfaces 263
19a. Riemann Surfaces and Analytic Mappings 263
19b. Branched Coverings 268
19c. The Riemann-Hurwitz Formula 272
Contents xvii
CHAPTER 20
Riemann Surfaces and Algebraic Curves 277
20a. The Riemann Surface of an Algebraic Curve 277
20b. Meromorphic Functions on a Riemann Surface 281
20c. Holomorphic and Meromorphic I-Forms 284
20d. Riemann's Bilinear Relations and the Jacobian 289
20e. Elliptic and Hyperelliptic Curves 291
CHAPTER 21
The Riemann-Roch Theorem 295
21a. Spaces of Functions and I-Forms 295
21b. Adeles 299
21c. Riemann-Roch 303
21d. The Abel-Jacobi Theorem 306
PART XI
HIGHER DIMENSIONS
CHAPTER 22
Toward Higher Dimensions 317
22a. Holes and Forms in 3-Space 317
22b. Knots 320
22c. Higher Homotopy Groups 324
22d. Higher De Rham Cohomology 325
22e. Cohomology with Compact Supports 328
CHAPTER 23
Higher Homology 332
23a. Homology Groups 332
23b. Mayer-Vietoris for Homology 334
23c. Spheres and Degree 339
23d. Generalized Jordan Curve Theorem 343
CHAPTER 24
Duality 346
24a. Two Lemmas from Homological Algebra 346
24b. Homology and De Rham Cohomology 350
24c. Cohomology and Cohomology with Compact Supports 355
24d. Simplicial Complexes 359
APPENDICES
ApPENDIX A
Point Set Topology 367
AI. Some Basic Notions in Topology 367
A2. Connected Components 369
xviii Contents
ApPENDIX B
Analysis 373
BI. Results from Plane Calculus 373
B2. Partition of Unity 375
ApPENDIX C
Algebra 378
CI. Linear Algebra 378
C2. Groups; Free Abelian Groups 380
C3. Polynomials; Gauss's Lemma 385
ApPENDIX 0
On Surfaces 387
01. Vector Fields on Plane Domains 387
02. Charts and Vector Fields 389
03. Differential Forms on a Surface 391
ApPENDIX E
Proof of Borsuk's Theorem 393
In this first part we will recall some basic facts about differentiable
functions, forms, and vector fields, and integration over paths. Much
of this should be familiar, although perhaps from a different point of
view. At any rate, several of these notions will be needed later, so
we take this opportunity to fix the ideas and notation. And of course,
we will be looking particularly at the role played by the shapes (to-
pology) of the underlying regions where these things are defined. For
the facts that we use, see Appendix B either for precise statements
or proofs. Most of this material is included mainly for motivation,
and will be developed from a purely topological point of view later;
one fact proved in the first chapter-that a closed I-form on an open
rectangle is the differential of a function-will be used later.
In the second chapter we will see that for any smooth path not
passing through the origin, it is possible to define a smooth function
that measures how the angle is changing as one moves along the path.
This gives us a notion of winding number-how many times a closed
path "goes around" the origin. Facts about changing variables in in-
tegrals are used to see what happens to integrals and winding numbers
when paths are reparametrized and deformed. The third section in-
cludes a reinterpretation of the facts from the first chapter in vector
field language, and gives a physical interpretation of these ideas to
fluid flow. Although we will not use these facts in the book, we will
study vector fields later, and it should be useful to have some feeling
for them, if you don't already.
CHAPTER 1
Path Integrals
I We will never need more than continuous second derivatives, and often much less.
The few functions that we actually use , however, will be infinitely differentiable .
The extra hypotheses are included so we never have to worry about differentiating
any function we meet. The analytically inclined reader may enjoy supplying minimal
hypotheses for each assertion.
3
4 1. Path Integrals
Corollary 1.3. The open set U is connected if and only if every smooth
function f in U with af/ ax = 0 and af/ ay = 0 is constant. 0
2 In fact, there are many extensions of these functions to such neighborhoods, but
we will never care about values outside the interval [a, b]. The assumption is useful
to assure that the derivatives of these functions are continuous on the whole closed
interval [a, b].
lao Differential Fonns and Path Integrals 5
positive number E. We call 'Y(a) the initial point of 'Y, and 'Y(b) the
final point; 'Y(a) and 'Y(b) are called the endpoints, and we say that 'Y
is a path from 'Y(a) to 'Y(b).
With w = p dx + q dy as above, and 'Y a path given by the pair of
functions 'Y(t) = (x(t),y(t», the integral I"/w ofw along 'Y is defined
by the formula
1"/ = Jar
w b
(P(X(t) , y(t» dx + q(x(t) , y(t» dy ) dt.
dt dt
Note that the integrand is continuous on [a, b], so the integral exists,
as a limit of Riemann sums.
The question we will be concerned with is this: given a I-form w
on U, when does the integral I"/w depend only on the endpoints 'Y(a)
and 'Y(b) of 'Y, and not on the actual path between them?
dt
(/('Y(t»)dt = f('Y(b» - f('Y(a» ,
We write df= af/axdx + af/aydy for this I-form, and say that w
is the differential of f if w = df.
For an example, take U to be the right half plane, i.e., the set of
points (x,y) with x> D. Consider the functionfthat measures the an-
gle in polar coordinates, measured counterclockwise from the x-axis.
Analytically, f(x,y) = tan-I(y/x), so
df = I (Y)
--2 dx +
1 + (Y/X)2
I (1)- dy
1+ (Y/X)2 X
x
-ydx + xdy 2
w1'l = ~ 2 on ~ ,{(D,D)}.
+y
In fact, although y /x cannot be extended across the y-axis, the func-
tion tan-I(y/x) can, at least away from the origin. This is clear if we
think of it geometrically as the angle in polar coordinates, which can
be extended, for example, to the complement of the negative x-axis:
lb. When Are Path Integrals Independent of Path? 7
("')~o< • . ,
~ L~=o
-1t<~<o
= f1f 1 dt = 21T.
Since "1(0) = 'Y(21T), it follows from Proposition 1.4 that oo,'} cannot be
the differential of any function.
We sometimes write 'Y = 'YI + ... + 'Yo for this segmented path. The
initial point of 'Y is defined to be the initial point of 'YI, and the final
point of'Y is defined to be the final point of 'Yo. The segmented path
is closed if the final point of 'Yo is the initial point of 'YI' If W is a 1-
form on an open set containing (the images of) these paths, we define
f'I
W = f
)'11
W + f
'12
W + ... + f
'In
W.
Lw = f(Q) - f(P) .
P = (x,y) _-+-_ CI
(x + 8x,y)
Po = (Xo,Yo)
Since 'Y + (J is a segmented path from Po to (x + ax, y),
1 (Iaxl
= laxlJo p(x-t,y)dt=p(x*,y),
10 1. Path Integrals
doo aq - ap)
= (- - dxdy.
ax ay
Ie. A Criterion for Exactness 11
Y3
(a,d) (b,d)
'-.
/
Y4/'-. R / f' Y2
'-.
(a,c) / (b,c)
YI
In formulas,
'Yl(t) = (t, c), a =5 t=5 b; 'Y2(t) = (b, t), c=5t=5d;
'Y3(t) = (t, d), a =5 t=5 b; 'Y4(t) = (a, t), c=5t=5d.
We will need Green's theorem for a rectangle (see Appendix B).
This says that if 00 is a I-form on an open set containing the rectangle
R, then
where
1 +1 =1 +1
~
00
~
00
~
00
~
00 •
with -00:5 a < b:5 00 and -00:5 c < d:5 00. If w is any Ilorm on U
such that dw = 0, then there is a function f on U with w = df.
Proof. Fix a point Po = (Xo,Yo) in U. For P = (x,y) in U, letf(P) = f'Yw,
where "( = "(I + "(2 is the path shown:
Y2
(xo,Y) (x,y)
"-
/
YI/ I'
(xo,yo) (x,yo)
Assume for the moment that x ~ Xo and y ~ Yo. The formulas are
"(I(t) = (xo, Yo + t), 0:5 t:5 Y - Yo, and "(2(t) = (xo + t, y), O:s t:5 x - Xo.
The last calculation in the proof of Proposition 1.8 shows that afI ax = p,
where w = pdx + qdy. If y <Yo, the same is true, replacing "(I(t) by
(xo, Yo - t), 0:5 t:s Yo - y; and similarly if x < Xo, replace "(2(t) by
(xo - t,y), 0:5 t:5xo - x.
Similarly, define a function g by g(P) = f 'Y. w, where "(* is the path
that first goes horizontally from (xo, Yo) to (x, Yo) and then goes ver-
tically from (x,Yo) to (x,y). The same argument, again left as an ex-
ercise, shows that aglay = q. Our assumptions on U imply that the
closed rectangle with opposite comers at Po and P is contained in U,
so that Green's theorem can be applied, and it follows from Lemma
1.11 thatf(P) is equal to g(P). It follows that aflax = p and aflay = q,
which means that df = w. 0
Exercise 1.13. Show that the proposition is also true when U is the
inside ofadisk, i.e., U= {(x,y): (x- a)2 + (y - b)2<r}. Can you prove
it when U is any convex region, or any starshaped region? (Convex
means that the straight line between any two points in the region is
contained in the region, and starshaped means that there is a point Po
in the region such that for any point P in the region, the straight line
from Po to P is contained in the region.)
To see this, let U I and U2 be the two open rectangles whose union
is U. By the proposition, there are functionsfl in UI andJi in U2 such
that dfl = w on UI and df2 = w on U2. Since UI n U2 is connected,
and since d(Ji - fl) = w - w = 0 on UI n U2, it follows that f2 - fl is
a constant function on UI n U2. If we replacef2 by f2 - c, where c is
this constant, we can assume}; andf2 agree on U I n U2 • This means
that there is a functionfon U= UI U U2 whose restriction to UI isfl
and whose restriction to U2 isf2. Moreover, df= won all of U, since
this condition is a local condition, to be verified at each point of U;
and every point is either in UI or U2, where we know dfl = w and
dJi = w.
In fact, this argument proves:
f~w=fw+fw+···+fw
, 'YI 'Y2 'Yn
n n
= 2: (J;('Vi(t;)) - J;('Vi(ti- I») = 2: (J;(P;) - HP i- ».
i=1 i=1
I 0
The following two lemmas will be used in Part III to prove the
Jordan curve theorem. They are special cases of general theorems to
be proved in Chapter 9, but we can prove them directly with the
Ie. A Criterion for Exactness 15
methods of this section. For any positive number r, let 'YP,T be the
counterclockwise circle of radius r about P:
'Ypit) = P + r(cos(21Tt), sin(21Tt)), O:5t:51.
Lemma 1.IS. Suppose U = ~2 \ {P, Q}, and let 0 < r < Ip - QI. II w
is a closed 110rm on U such that f ¥P.r W = 0 and f ¥Q.r W = 0, then w
is exact.
Proof. The proof is similar. Suppose for definiteness that Q is located
to the southwest of P. Let UI be the half plane to the right of P, and
choose II on UI so that w = dll on UI • Let U2 be the half plane above
P, and choosef2 on U2 so that w = dfz on U2 , and 12 =lIon UI n U2.
Let U3 be the quarter plane to the left of P and above Q, and choose
h on U3 so that w = dl3 on U3, and.f3 =J2 on U2n U3 •
U2
For any point P = (xo,Yo), define the I-form wP,~ on ~2 \ {P} by the
formula
-(y - Yo) dx + (x - xo)dy
(x - XO)2 + (y - YO)2
Problem 1.20. For any two points P and Q, show that the I-form
w = WP.~ - wQ,~ is exact on ~2 \ L, where L is the line segment from
P to Q. Challenge. Find a function whose differential is w.
CHAPTER 2
17
18 2. Angles and Defonnations
We will require that our function {}(t) satisfy the initial condition
{}(a) = {}a. Motivated by the discussion in § Ib, we have a candidate
for the derivative {}'(t), which is the rate of change of angle: it should
be
So we can define {}(t) to be the unique function with this initial con-
dition and this derivative. That is, we define {}(t) by
{}(t) -
- {}a +
11 -y(T)X'(T) + X(T)y'(T) dT.
2
a r(T)
Proposition 2.2. With these definitions, the functions r(t) and t)(t)
are ~oo functions, and equation (2.1) is satisfied for all t in [a, b] .
These are perpendicular unit vectors for all t. We want to show that
I
- 'Y(t) = u(t)
r(t)
for all t. We are assuming that they are equal for t = a. It suffices to
show that both sides of this equation have the same dot product with
vectors u(t) and v(t), since the difference (l/r(t»'Y(t) - u(t) would then
be perpendicular to two independent vectors, and so would be zero.
For the right side of the equation u(t), these dot products are iden-
tically I and 0, respectively, so it suffices to prove that the same is
true for the left side. Since we know the equality of the vectors for
t = a, it suffices to prove that the derivatives of these dot products
2a. Angle Functions and Winding Numbers 19
rx - xf rj - yf x . y .
-,;.- cos({}) + -,;.- sin({}) + f {}( - sin({}» + ; {} (cos({}»
1 . .
= ? (cos({})[';'x - xrf + y';'{}] + sin({})[';'y - yrf - x';'{}]).
Using the identities rf = xi + yy and r2,ft = -yx + xj, one sees that the
terms in brackets vanish. The proof that the other derivative vanishes
is similar and left as an exercise. 0
Exercise 2.3. (a) Show that this function {}(t) is unique, and that in
fact it is the only continuous function with {}(a) = {}a such that (2.1)
holds. (b) Show that if {}a is replaced by {}a + 2'TTn for some n, then
the corresponding angle function is {}(t) + 2'TTn.
Using this angle function, we can define the (total signed) change
in angle of the path 'Y to be {}(b) - {}(a). Note by the preceding ex-
ercise that this is independent of the choice of initial angle. Equiva-
lently, this change in angle is
ib-y(t)X'(t)+X(t)y'(t) dt =
a r(t)2
r -ydx+xdy
J-y ~ +l
_ r
- J/)a.
If a segmented path does not pass through the origin, i.e., it is a
path in 1R2 \ {O}, we want to define its winding number, which should
be the "net" number of times 'Y goes around the origin, counting the
counterclockwise motion as positive, and the clockwise motion as
negative. In other words, it is the total signed change in angle, di-
vided by 2'TT. We will denote it by W('Y,O), the "0" indicating that
we are going around the origin. What we have just done shows what
the definition should be. We define the winding number of'Y around
20 2. Angles and Deformations
the origin by
W('Y,O) = f
_1 w{\
21T "Y
= f
_1 -ydx + xdy
21T"Y x 2 + l .
Proposition 2.4. For any closed segmented path that does not pass
through the origin, the winding number of the path around the origin
is an integer.
This illustrates the fact that, although the distance from the origin
is a continuous function on ~2 \ {O}, the counterclockwise angle from
the x-axis cannot be defined continuously. What we have proved,
however, is that one can define such an angle continuously along a
curve. Proposition 2.2 (with Exercise 2.3) can be expressed geomet-
rically as follows:
Corollary 2.7. Let 'Y: [a, b] ~ ~2 \{O} be a smooth path with starting
point Pa = (racos(tJa), rasin(tJa». Then there is a unique smooth path
1: [a, b]~ R, where R = {(r, tJ): r> O} is the right half plane, with
starting point (ra, tJa), and with po 1= 'Y. D
We say that the path 'Y is the lifting of the path 'Y with starting point
(ra,1}a)' On the picture,
22 2. Angles and Deformations
•
! •
a b "(
Problem 2.8. Show that the locus of points (r cos({}), r sin({}), {}) is
one connected component of the surface in the complement of the
z-axis in 1R3 defined by the equation y' cos(z) = X· sin(z).
Exercise 2.9. Show that every point in 1R2 \ {O} has a neighborhood
V such that p-l(V) is a disjoint union of open sets Vi' each of which
is mapped homeomorphic ally (in fact, diffeomorphic ally) by p
onto V.
This exercise verifies that p is a "covering map," a class of maps
we will study in Chapter 11. Corollary 2.7 is a special case of a
general theorem about covering maps.
Winding numbers can be described around any point P = (xo, Yo) in
place of the origin. One can do this either by translating everything,
or directly by using the form
-(y - Yo) dx + (x - xo)dy
(x - XO)2 + (y - YO)2
2b. Reparametrizing and Defonning Paths 23
Exercise 2.10. For any closed segmented path -y: [a, b]~ ~2 \ {P},
define the winding number W(-y,P) of -y around P by the formula
W(-y,P) = _1 f wp,,'t.
2-rr J..,
Generalize the assertions of this section to these winding numbers.
f
J..,.'!'
w f
= . , W.
Proof. Write w = pdx + qdy, and -yet) = (x(t),y(t)), and calculate, us-
ing the chain rule and change of variables formulas:
+ q(x(IP(s)),y(IP(s)))' (yoIP)'(s)] ds
f' [p(x(IP(s)) , y(IP(s))) . x' (IP(s))
Show more generally that if IP: [a', b'] ~ [a, b] is any C(6'" function that
maps a' to b and b' to a, then f..,o'!'w = - f..,w.
24 2. Angles and Deformations
The following problem shows how one could avoid dealing with
segmented paths: by turning around the comers very slowly!
Problem 2.13. (a) Construct a '(6"" mapping 'P from [0,1] to [a, b]
taking 0 to a and 1 to b, such that all derivatives of'P vanish at 0
and at 1. (b) Use this to show that any smooth path can be repara-
metrized to a path with the same endpoints but such that all deriva-
tives vanish at the endpoints. (c) If "YI: [a, b] ~ U and "Y2: [b, c] ~ U
are '(6"" paths with "YI(b) = "Y2(b), and all derivatives of"Y1 and "Y2 vanish
at b, verify that the path "Y: [a, c]~ U that agrees with "YI on [a, b]
and "Y2 on [b, c] is a '(6"" path. (d) If"y ="YI + ... +"Yn is a segmented
path, show that there is a '(6"" path "Y*: [0, n] ~ U, so that the restric-
tion of "Y* to [k - 1, k] is a reparametrization of "Yk for each k.
-H
o
a b
We call H a smooth homotopy from the path 'Yo to the path 'YI' We
say that two paths from an interval [a, b] to U, with the same initial
and final points, are smoothly homotopic in U if there is such a ho-
motopy from one to the other.
Proof. First we sketch a proof using only ideas from calculus. Let V
be a neighborhood of the rectangle R = [a, b] X [0, 1] mapped into U
by an extension of H, and let x(t, s) and y(t, s) be the coordinate func-
tions of this mapping from V to U. Define a "pull-back" form w* on
V by the formula
R3,4
f
I Q
- H
(a, 1 ) (b,l)
~ -
H
(a , O) (b , O)
2c. Vector Fields and Fluid Flow 27
We call H a smooth homotopy from the path 'Y = 'Yo to the path
8 = 'Y .. and we say that two closed paths 'Y and 8 are smoothly ho-
motopic if there is such a smooth homotopy between them.
Proof. Either of the proofs of the last proposition works for this one.
The only point to notice is that the integrals of W over the two sides
of the rectangle may not be zero, but since the two paths given by H
on these two sides are the same (namely or), these integrals fTW can-
cel. The details are left as an exercise. 0
Of course, it is crucial for this that the homotopy stays in the com-
plement of the point P!
!'Y
pdx+ qdy = Ib (P(X(t),y(t»
a
dx
dt
+ q(x(t),y(t» dy ) dt
dt
can be written, using the dot product, as
Then
= L q(x(t),y(t))-dxdt - p(x(t),y(t))-ddtY) dt
b
a
(
01 01
- 2+ - = 0
ox ol '
which is the condition for j to be a harmonic function.
Although we have no topological excuses for them, here are a handful
of typical applications of and variations on these notions.
Exercise 2.21. (a) Show that the following functions are harmonic:
(i) a + bx + cy for any a, b, c; (ii) x2 -l; (iii) log(r), r = V xl + y2
on the complement of the origin. (b) Find all harmonic polynomial
functions of x and y of degree at most three. (c) Find all harmonic
functions that have the form h(r).
(i) 1 ( ogoy
aR
ag )
j. --dx + -dy
ax
= fLv· (:~ + ::~) + grad(f)' grad(g») dxdy;
(ii) 1 ( ogoy
aR
Og) - g. (a
j- --dx + -dy
ox
j OJ)
--dx + -dy
oy ox
= II (
R
(02g 02g)
j. -2+- -g. - + -
ox ol
(01 (1)) dxdy.
ox2 ol
Problem 2.24. (a) If j is harmonic in R and vanishes on fiR, show
that j must be identically zero. (b) If two harmonic functions on R
have the same restriction to oR, show that they must agree everywhere
on R.
2c. Vector Fields and Fluid Flow 31
WINDING NUMBERS
\
(x,y)
\
\
\
\
\
35
36 3. The Winding Number
W('Y,P)
Each term represents the net change in angle along that part of the
path.
Exercise 3.3. Show that if 'Y: [a, b] --') V is a closed path, and V is
an open set in ~2 \ {P} on which there is a continuous angle function
(for example, a sector with vertex at P), then W('Y, P) = O.
Problem 3.5. Show that for any continuous path 'Y: [a,b]--')~2\{p},
there are continuous functions r: [a, b] --') ~+ (the positive real num-
bers) and tt: [a,b]--')~, so that
'Y(t) = P+(r(t)cos(tt(t»,r(t)sin(tt(t))), a5t5b.
[a, t] (so "/(u) = 'Y(u) for a:5 u:5 t), and -3a is an angle for 'Y(a), then
one may take
-3(t) = -3 a + 2'TT' W('Y t , P).
Equivalently, for any choice of -3a , there is a unique continuous map-
ping ')i: [a,b]~{(r,-3): r>O} such that ppo')i ="1 and ')i(a) = (r(a),-3a ),
where pp is the polar coordinate mapping. Such a ')i is called a lifting
of "I with starting point (r(a) , -3a ).
r
--------
/
'YI
Exercise 3.7. Prove that the relation of being homotopic with fixed
endpoints, or as closed paths, is an equivalence relation.
Corollary 3.8. If two paths 'Y and 8 in 1R2 \ {P} are homotopic. either
as paths with the same endpoints, or as closed paths, then
W('Y,P) = W(8,P).
Exercise 3.10. Give a direct proof of Corollary 3.9 from the defi-
nition of the winding number, in case the change of coordinates'll is
a monotone increasing or monotone decreasing function. (Monotone
increasing means that 'P(t) < 'P(s) if t < s.)
Ii(t)
~
Dog ------;;!t) vI
/' Man
/'
P /'
.....
Hydrant
~2 \ {Pl. Show that 'Y and 3 are homotopic through closed paths in
~2 \ {P} if and only if W('Y,P) = W(3,P).
Proof. For the first statement, we must show that W( 'Y, P) is a locally
constant function of P in ~2 \ Supp('Y). Given P, choose a disk around
P contained in ~2\SUpp('Y). We must show that W('Y,P' ) = W('Y,P)
for all p' in the disk. Let v = p' - P be the vector from P to P'. By
Exercise 3.4,
W('Y,P) = W('Y+v,P+v) = W('Y+V,P').
The homotopy H(t, s) = 'Y(t) + sv, a:5 t:5 b, 0:5 S, :5 1, is a homotopy
through closed paths from 'Y to 'Y + v that never hits the point pI,
3d. Degrees and Local Degrees 43
so
W('Y + v, PI) = W('Y, PI).
To show that the winding number vanishes on the unbounded com-
ponent, it suffices to show it vanishes on one such point. For ex-
ample, we can take P far out on the negative x-axis, so that the sup-
port of 'Y is contained in a half plane to the right of P. But then there
is an angle function on this half plane, so the winding number is zero
by Exercise 3.3. 0
Exercise 3.17. (a) Prove directly from the definition that for any path
'Y, whether closed or not, the function P~ W('Y, P) is continuous on
the complement of Supp('Y), and approaches zero when Ilpll goes to
infinity. (b) Use (a) and the fact that, when'Y is closed, W('Y,P) takes
values in the integers to give another proof of the proposition. (c) For
a closed path 'Y, show directly that W('Y,P) is constant on path com-
ponents of ~2 \ Supp('Y) by applying Theorem 3.6 to the mapping
nt, s) = 'Y(t) - (1(s) and the point P = 0, where (1 is any path in
~2 \ Supp('Y).
cO
continuous mapping from C into U:
I •
I·
1 •
/,
This can be realized explicitly as follows. Let us assume that 1= [0, 1],
44 3. The Winding Number
since this is the most common convention. Suppose C has center (Xo, Yo)
and radius r. Let <p: I~C be the function that wraps I around C:
<p(t) = (xo, Yo) + (rcos(2'TTt), rsin(2'TTt», 0:5 t:5 1.
So <p is a one-to-one mapping of I onto C, except that <p(0) = <p(1).
It follows that if F is a mapping from C into an open set U, then
'Y = F 0 <p is a mapping from I to U with 'Y(O) = 'Y( 1), and that any such
'Y can be realized in this way for a unique F.
The same idea lets us define the degree of any continuous mapping
F from one circle C to another circle C', which measures how many
times the first circle is wound around the second by F. Let P' be the
center of the circle C', and define the degree of F by the formula
deg(F) = W(F, P').
Exercise 3.24. Show that one could take any point inside C' in place
of P'.
Exercise 3.25. (a) Show that if F is not surjective, then its degree is
zero. (b) Give an example of a surjective mapping from C to C' that
has degree zero. (c) Show that if F and G are homotopic mappings
from C to C', i.e., if there is a continuous mapping H from C X [0, 1]
to C', with F(Q) = H(Q X 0) and G(Q) = H(Q Xl) for all Q in C.
then F and G have the same degree. (d) Show that if C is the boundary
of the disk D, then F extends to a continuous mapping from D to C'
if and only if F is homotopic to a constant mapping from C to C',
and then the degree of F is zero.
Problem 3.26. (a) Prove that two mappings from C to C' have the
same degree if and only if they are homotopic. (b) Deduce that, if C
is the boundary of the disk D, and the degree of a mapping is zero,
then the mapping extends to a continuous mapping from D to C'. (c)
Deduce also that if Sl is the unit circle centered at the origin, and
F: Sl ~ Sl is a continuous mapping with degree n, then F is homo-
46 3. The Winding Number
48
4b. Fixed Points and Retractions 49
b -+---+------,1"-
a -+------,1'-----1-
a b
r(p)
hlP)
Exercise 4.5. Iff D2~ D2 has no fixed point, define g: D2~ [R2 \ {O}
by setting g(P) = P - f(P). Show that g(P) . P > 0 for all P in Sl, so
the restriction of g to Sl is homotopic to the identity mapping of Sl
(by the homotopy H(P x s) = (l - s)P + s g(P». Apply Proposition
3.20.
One says that a topological space X has the fixed point property if
every continuous mapping f X ~ X has some fixed point, i.e., there
is a point P in X withf(P) = P. So any closed interval and any closed
disk have the fixed point property.
Exercise 4.7. Show that a space that is homeomorphic to a space
52 4. Applications of Winding Numbers
with the fixed point property has the fixed point property. Show that
if Y is a retract of a space X that has the fixed point property, then
Y has the fixed point property.
Exercise 4.8. Which of the following spaces have the fixed point
property? (i) a closed rectangle; (ii) the plane; (iii) an open interval;
(iv) an open disk; (v) a circle; (vi) a sphere S2; (vii) a torus Sl x Sl;
and (viii) a solid torus Sl x D2.
Exercise 4.10. Suppose D and D' are disks with boundary circles C
and C'. Suppose f D ~ ~2 is a continuous mapping that maps C into
C', such that the degree of this map from C to C' is not zero. Show
that f(D) must contain D' .
Problem 4.18. Let DOD = {(ao, aI, a2, ... ): ~;=oa/:s I}, the unit ball
in the metric space of infinite sequences such that ~;=o a/ < 00. (a)
Find a continuous mappingj: D'" ~ D'" that has no fixed point. (b) Find
a continuous retraction of DOD onto S'" = {(ao, aI, ... ): ~;=oa/ = I}.
4c. Antipodes
The antipode of a point in a circle C or sphere S is the opposite point,
i.e., the point hit by the ray from the point through the center. We
denote the antipode of P by P*. With the center at the origin, p* = - P.
The antipodal map is the mapping that takes each point to its anti-
pode.
Exercise 4.19. Show that the degree of the antipodal map from a
circle to itself is 1.
Lemma 4.20 (Borsuk). If C and C' are circles, and j: C ~ C' is a
continuous map such that flP*) = flP)* for all P, then the degree of
fis odd.
Proof. There is no loss of generality in assuming C = C' = SI. Let
'Y(t)=flcos(t),sin(t»,O:st:s'IT. Since 'Y('IT) = -'Y(O), the change in
angle along 'Y must be 2'ITn + 'IT for some integer n. So W('Y, 0) = n + 1/2 .
Now let
aCt) = flcos(t + 'IT), sin(t + 'IT» = -'Y(t) ,
54 4. Applications of Winding Numbers
So there are always two antipodal points on the earth with the same
temperature and humidity-or any other two real values, provided
they vary continuously over the earth.
As you must expect, these results are also true in higher dimen-
sions, but more machinery is needed to extend the proofs. We'll come
back to this in the last part of the book.
Exercise 4.24. Show that iff C ---+ C' is a map between circles such
that fiP*) =fiP) for all P, then the degree off is even.
4d. Sandwiches
Now for three bodies, take S containing all three, and consider the
mapping g: S ~ ~2 given by
g(Q) = (fA(Q) - fdQ) ,fB(Q) - fdQ».
Then g(Q*) = -g(Q) for all Q, so by Proposition 4.22 some Q must
be mapped to the origin, which means that P1(Q),A = P1(Q),B = P1(Q),C, as
required. This proves
Exercise 4.34. Show that for any compact set K in space, the function
p on ~3 that maps a point P to its distance from K is continuous. Note
by compactness that if p(P) = r, then there is a point Q in K of dis-
tance r from P.
Exercise 4.35. Show that the unit ball D3 is not the union of three
closed sets, each with diameter less than 2.
Exercise 4.37. State and prove the analogue of Proposition 4.33 for
a circle.
Exercise 4.38. Show how Proposition 4.33 implies Lemma 4.21, and
hence Proposition 4.22.
We have seen that the topology of an open set U in the plane is related
to the question of whether all closed I-forms on U are exact. This is
formalized by introducing the vector space HI U of closed forms mod-
ulo exact forms. What we learned in the first few chapters amounts
to some calculations of these fIrst De Rham cohomology groups. There
is also a Oth De Rham group HOU, which measures how many con-
nected components U has.
A central theme will be how the topology of a union U U V of two
open sets compares with the topology of U and V and the intersection
un v. We construct a linear map from H°(U n V) to HI(U U V), and
describe the kernel and cokernel of this map. We use these groups
and this map to prove the famous Jordan curve theorem, which says
that any subset of the plane homeomorphic to a circle separates the
plane into exactly two connected pieces, an "inside" and an "out-
side. "
60 Part III. Cohomology and Homology, I
3The use of grids in these chapters follows ideas of L.E.J. Brouwer, E. Artin, and
L. Ahlfors, see Ahlfors (1979).
CHAPTER 5
63
64 5. De Rham Cohomology and the Jordan Curve Theorem
We have seen that Wp is a closed I-form on any open set not con-
taining P.
Problem 5.2. Generalize the proposition from one and two to n points.
Now Proposition 3.16 implies that the winding numbers W(-y,P) and
W(y, Q) are equal, since P and Q belong to the same connected com-
ponent of ~2 \ Supp(-y) . D
u
u v
Lemma 5.5. Given open sets U and V in ~2, any C(6'" function on
66 5. De Rham Cohomology and the Jordan Curve Theorem
{ -'P.I on un V,
o on V\ un V.
We will apply the results of the preceding section to the open sets
U = 1R2 \A and V= 1R2 \B. Note that
U U V = 1R2 \ {P, Q} and U n V = 1R2 \ X .
To show that 1R2 \ X has two components, we want to show that the
dimension of If1(U n V) = If1(1R2 \ X) is 2.
5c. The Jordan Curve Theorem 69
o= L W = a' L
Wp + b . J.., wQ = a + b.
This completes the proof that 1R2 \ X has two connected compo-
nents. Note that since X is bounded, one of these components must
contain everything outside some large disk; this is the unbounded
70 5. De Rham Cohomology and the Jordan Curve Theorem
component, while the other must be bounded. To verify the last as-
sertion of the theorem, suppose N is a neighborhood of some point
in X. We may divide X into two pieces, as in the preceding discus-
sion, so that one of them, say A, lies entirely in N. Take two points,
say Po and Phone in each of the two components of [R2 \ X.
Proof of Theorem 5.11. The proof of Theorem 5.11 uses the same
ideas, but with one new wrinkle. Choose a homeomorphism from the
interval [0, 1] to Y. Let A be the subset of Y corresponding to the left
half of the interval [0,1/2], and B the subset corresponding to the right
e
half 12, 1], and Q = A n B the point corresponding to 1f2.
• • • ~ A
5c. The Jordan Curve Theorem 71
o T
nected components, as we will see in Chapter 23, but the inside need
not be homeomorphic to an open disk; for a picture of a counterex-
ample, "Alexander's homed sphere," see Hocking and Young (1988).
However, if the embedding extends to an embedding of a product of
Sn-I with an interval into ~n, then this wild behavior cannot occur
(see Bredon (1993), §19).
76 5. De Rham Cohomology and the Jordan Curve Theorem
°
edges. The edges are assumed to be images of continuous maps from
[0,1] to [R2, each of which maps and 1 into the set of vertices, and
maps the open interval (0, 1) one-to-one into the complement of the
set of vertices. In addition, these open edges are assumed to be dis-
joint. Suppose X has k connected components. Show that [R2 \ X has
f= e - v + k + 1 connected components, i.e.,
v - e +f = 2 + (k - 1).
You may enjoy comparing your argument in the last problem with
that given in Rademacher and Toeplitz (1957), § 12, as well as the
applications given there to the problem of coloring maps. Can you
spot where they make implicit assumptions amounting to what we
proved in this chapter?
Problem 5.23. Let U be any connected open set in the plane. (a)
Show that if X C U is homeomorphic to a closed interval, then U \ X
is connected. (b) Show that if XC U is homeomorphic to a circle,
then U \ X has two connected components. (c) If X C U is a graph as
in Problem 5.1, show that U \ X has e - v + k + 1 connected com-
ponents.
Exercise 5.24. Show that Theorem 5.11, the Jordan curve theorem
(without mention of bounded or unbounded components), and the re-
sult of Problem 5.21 remain valid when [R2 is replaced by a sphere.
Homology
78
6a. Chains, Cycles, and RoU 79
4 If you are familiar with the language from algebra, the chains are elements of the
free abelian group on the set of nonconstant paths. See Appendix C for more about
free abelian groups.
80 6. Homology
Some particular paths and I-chains will be important. For any two
points P and Q, the straight path from P to Q will be the path
'Y(t) = P + t (Q - P) = (1 - t) P + t Q, O::5t::5l.
If R is a bounded rectangle with sides parallel to the axes, the
boundary aR of R is the I-chain 'YI + 'Y2 - 'Y3 - 'Y4, where each 'Yi is
the straight path shown:
14 / , R /r'- 12
,
/
(a,c) (b,c)
11
If R = [a, b] X [c, d], then 'YI is the straight path from (a, c) to (b, c),
'Y2 from (b, c) to (b, d), 'Y3 from (a, d) to (b, d), and 'Y4 from (a, c) to
(a, d).
If D is a disk of radius r around a point P, the boundary 'Y = aD
is the counterclockwise path around the circle
"(t) = P + (rcos(21Tt), rsin(21Tt»,
We want to define the notion of a closed I-chain, also called a 1-
cycle. This should mean that each point occurs as many times as an
initial point as it does as a final point, counting multiplicities cor-
rectly. For example, any closed path, such as the preceding aD, is a
closed I-chain, and the boundary aR of a rectangle is closed. The
precise definition is as follows. For 'Y = nl'Yl + ... + nr'Yr, if 'Yi is a
path from Pi to Qi' we define 'Y to be a closed I-chain if for each
point T occurring as a starting or ending point of any 'Yi'
(Alternatively, one could replace all the integer coefficients in all our
O-chains and I-chains by real numbers. Then we would find that HoU
is a real vector space of dimension n, where n is the number of com-
ponents, and appeal to the fact that a vector space has a well-defined
dimension.)
There is a homomorphism from HoU to the integers 71., defined by
the map that takes each connected component of U to I. In other
words, it takes the class of a O-cycle ~ = "i.n;P; to the sum "i.n; of the
coefficients. This is called the degree homomorphism. It is an iso-
morphism exactly when U is connected.
Lemma 6.4. (a) Let 'Y: [0, 1] ~ U be a path. Let '1': [0, 1] ~ [0, 1] be
a continuous function. If '1'(0) = 0 and '1'( 1) = 1, then 'Y - 'YO 'I' is a
boundary in U; if '1'(0) = 1 and cp( 1) = 0, then 'Y + 'YO 'I' is a boundary.
(b) Let y. [0, l]~ U be a path, let 0:$ c:$ 1, and let (F and T be
6b. Boundaries, RIU, and Winding Numbers 83
the restriction of'Y to [0, c] and [c, 1], but scaled to be defined on
the unit interval, i. e . ,
cr(t) = -y(c· t), 0 ~ t ~ 1; T(t) = -y(c + (1 - c) . t), 0 ~ t ~ 1.
Then 'Y - (T - T is a boundary in U.
(c) If'Y and l) are paths in U that are homotopic, either as paths
with the same endpoints, or as closed paths, then 'Y - l) is a boundary
in U.
Proof. Part (a) was proved in the course of proving Corollary 3.9.
Part (b) is trivial if c = 0 or c = 1. Otherwise, we construct a mapping
f: [0,1] x [0, l]~ U as indicated in the following diagram:
y(l)
Note that the two expressions for f agree where s = t, so they define
a continuous mapping. Moreover, f(t,O) = -y(t), f(1, s) = -y(1),
nt, 1) = T(t), and f(O, s) = cr(s), so af = -y - T - cr, which proves (b).
Part (c) follows directly from the definition. 0
BoU measures the simplest topological fact about U-how many con-
nected components it has-the 1st group HIU measures how many
"holes" there are in U. Two closed I-chains are homologous exactly
when they have the same image in HIU, in which case we say that
they define the same homology class.
The support Supp('Y) of a I-chain 'Y in the plane is the union of the
supports of the paths that appear in 'Y with nonzero coefficients. If P
is a point not in the support, we define the winding number of 'Y
around P to be
W('Y,P)
Suppose a'Y = L~=I nj(Qj - Pj) = mlTI + ... + msTs. Then we have
I
... + ms{tr) + L njNj .
r
W('Y,P) = -(ml{tr, +
2'IT j=1
In particular, if'Y is closed, i.e., a'Y = 0, then the first sum vanishes,
so W( 'Y, P) is an integer. 0
where each (1j is a straight path along one of the sides of the bounded
rectangles, from left to right or from bottom to top.
-+--f---_ bounded
-unbounded
---+-++--+-+-+---+--~
R R'
/
R'
The trick is to consider the closed I-chain or' = or - m' aR. Let P and
6c. Chains on Grids 87
Lemma 6.10. Let 'Y be any I-chain in an open set U. Then there is
a grid G, and a rectangular I-chain JL for G, with the support of JL
contained in U, such that 'Y - JL is a I-boundary in U. If 'Y is closed,
then JL is also closed.
Proof. By Lemma 6.4(b) we can subdivide any of the paths that occur
in 'Y, and the difference between 'Y and the I-chain with subdivided
paths will be a boundary. Using the Lebesgue lemma as usual to sub-
divide, we may therefore assume that each path 'Yj occurring in 'Y maps
[0,1] into some open rectangle Uj contained in U. Let Pj and Qj be
the starting and ending points of 'Yj. Take any grid G that has a vertical
and horizontal line passing through each Pj and each Qj. Let j.Lj be a
rectangular I-chain for G that goes from P to Q;, involving only edges
j
1 1
Qi Pi
_( Ie ~ I'
'\. '\.
"""'"' ----.-
)
I I 1'1
'-
-1
Qi
~
I 1'1
Pi
"- "-
I I I
1 1 1
88 6. Homology
It suffices to verify that "yj - jJ.j is a boundary in Vj, for if "Y = 'Lnj"yj,
then jJ. = 'LnjjJ.j will be the required rectangular I-chain, with
"Y - jJ. = 'Lnj("Yi - jJ.;) a boundary. But since "Yi - jJ.; is a closed I-chain
on a starshaped open set V;, this follows from Exercise 6.5. D
We are now ready to prove the main goal of this chapter: that the
geometric condition for I-cycles to be homologous in an open set is
equivalent to the numerical condition of having the same winding
number around all points outside the open set.
Pi
Rj
u
Exercise 6.13. State and prove the analogue of Theorem 6.11 when
'Y and & are arbitrary I-chains in V with the same boundary.
Exercise 6.14. Show that 'Y 1-4 F *'Y is a homomorphism from the group
of I-chains in V to the group of I-chains in V'. If 'Y is a closed 1-
chain, show that F*'Y is also closed. Show in fact that F*(rJ'Y) = rJ(F*'Y)
for any I-chain. Show that if'Y is a boundary in V, then F*'Y is a
boundary in V'.
For example, take V to be the region inside one disk D and outside
a disjoint union of closed disks AI> ... ,An contained in D. Let 'Y
90 6. Homology
be a circular path in U containing the disks Ai, and let 'Yi be a circular
path around Ai'
Since'Y and L'Yi have the same winding numbers around each point
not in U, we conclude that for any F: U ~ U', and any Q ft. U',
W(F*'Y,Q) = W(F°'Yl>Q) + ... +W(F°'Yn,Q).
For example, with U the complement of the gray area, the I-chain
'Y that is the sum of the paths shown has a nonzero winding number
only around points in the striped area, so any point with W(F *'Y, Q) ~ 0
would be the image of a point from one of the striped regions.
6e. The First Homology Group for General Spaces 91
W(F *'Y, Q) L
PEF- 1(Q)
degp(F) . W( 'Y, P) .
Problem 6.18. Let E be the closed set obtained from a closed disk
D by removing the interiors of k disjoint disks D I , •• • , Dk contained
in D, for some k~ O. Let C be the boundary of D, and Cj the bound-
ary of D j • Suppose F: E~ ~2 is a continuous mapping such that for
each point P in any of the boundary circles, the vector from P to
P + F(P) is not tangent to that circle. Show that, if k ¥- I, there must
be a point Q in E with F(Q) = O. What about the case k = I?
(G-F~ /0.
HtZ
commutes: starting with an element in the upper left group H1X, map-
ping it to HIZ by either route gives the same answer.
For example, if Z = X, and F and G are homeomorphisms that are
inverses to each other, so that G °F is the identity map of X, then
(GoFh is the identity map of HIX, so the composite
F* G*
HIX ~ H1Y ~ HtX
is the identity map on HIX. Similarly FoG is the identity map on Y,
so G* 0 F * is the identity map on HIY. It follows that F * and G* are
inverse isomorphisms between HIX and HIY. In particular,
Exercise 6.22. Compute HtX for X a circle and for X a disk, and
show again that a circle is not a retract of the disk it bounds.
Problem 6.27 (For those who know the Tietze extension theorem).
Suppose X and X' are closed subsets of the plane, and F: X ~ X' is
a continuous mapping. Suppose 'Y and 8 are two closed I-chains on
X such that W('Y,P) = W(8,P) for all P not in X. Show that
W(F *'Y, P') = W(F *8, P') for all P' not in X'.
Problem 6.28. Let X be a closed set in the plane. Show that if'Y and
8 are homologous I-cycles on X, then W('Y,P) = W(8,P) for all P not
in X. Is the converse true?
PART IV
VECTOR FIELDS
A mapping from an open set in the plane to the plane can be regarded
as a vector field, and winding numbers can be used to define the index
of a vector field at a singularity. The ideas of Chapter 6 can be used
to relate sums of indices to winding numbers around regions. This is
applied to show that vector fields on a sphere must have singularities:
one cannot comb the hair on a billiard ball. The same ideas are used
in the next chapter to study more interesting surfaces. These chapters
are inserted here to indicate some other interesting things one can do
with winding numbers; a reader in a hurry to move on can skip to
Part V or VI.
Chapter 8 sketches how some of the ideas we have studied in the
plane and on the sphere can be studied on more general surfaces. It
gives us a first chance to study some spaces other than plane regions
and spheres. In particular, we see how the "global" topology of the
surface puts restrictions on the "local" data of indices of a vector
field. We use this to discuss the Euler characteristic of a surface.
Some of the arguments in this section will depend on geometric con-
structions that will only be sketched, usually by drawing pictures
showing how to deform one surface into another. Later in the chapter
we discuss briefly what it would take to make these arguments rig-
orous, and later in the book we take up the study of surfaces more
systematically.
CHAPTER 7
97
98 7. Indices of Vector Fields
Proof. The proof of (a) is the same as that of Lemma 3.28, and (b)
follows from Proposition 3.20. 0
• o
)
(2) (-y, x)
( -y X)
(4) x 2 + l' x 2 + l
7a. Vector Fields in the Plane 99
(5) (x,y) 1
(7) (y,x) -1
Note that (2) and (3) are opposite as vector fields, as are (5) and (6),
but have the same index. Similarly, (4) is a positive multiple of (2).
These are special cases of Exercise 7.4, which shows that the mag-
nitude and sign of the vectors does not affect the index (which ex-
plains why the flow lines, without even their sense of direction, de-
termine the indices).
Exercise 7.2. Construct, for each integer n, a vector field with a sin-
gularity at the origin with index n.
°
pose 'Y is a closed I-chain in U whose support does not meet the
singular set Z of V, such that W( 'Y, P) = for all P not in U. Then
W(V*'Y,O) = LW('Y,P)·lndexpV.
PEZ
W(vlc, 0) = L IndexpV.
PED
if
-(P)'-(P) -
a2f (a 2f
-(P)
)2
ax2 a/ axay
is not zero. (a) Show that, if P is a nondegenerate critical point, then
-(P)
au -(P)
au]
_ ax ay
J~,p - [ av av '
-(P) -(P)
ax ay
by the formula
('P*V)(P') = J",AV(P» ,
where P is the point in U mapped to P' by 'P, i.e., P = 'P-1(P'). If V
has singularities in the set Z, V' will have singularities in 'P(Z).
(0,0,1)
.--------+----~-- y
( 2x 2y X2+l-1) S2,
'P(x, Y) = x 2 + l + l' ~ + l + l' x 2 + l + 1 in
The Jacobian matrix J""p of cp at P = (x,y) maps 1R2 one-to-one onto
the tangent space to S2 at the point cp(P), If V is a vector field on S2,
and cp*V is the vector field on 1R2 defined by the equation
J'P,p«'P*V)(P)) = V('P(P)) ,
then cp*V is continuous at P if V is continuous at cp(P).
that is not zero in the disk near the north pole. This can be seen by
unraveling what happens to a vector field on the sphere when the
sphere is flattened out. Think of the vectors as attached to a small
band, which is turned over:
The winding number of this vector field around this circle is 2, which
shows that no such vector field can exist.
Problem 7.13. Give an analytic proof of the fact that this winding
number is 2.
This shows more than the fact that a vector field on a sphere must
have singularities. If V is a vector field on S2 with singularities in a
finite set Z that does not include the north pole, we can define the
index IndexpVat a point P of Z to be the index of <p*V at the cor-
responding point <p -I(p). Then the proof shows that, for any such
vector field V on S2 ,
2: IndexpV = 2.
PEZ
2: IndexpV = 2.
PEZ
Step 2. We show that the sum of the indices of any two such vector
fields V and Won S2 is the same. Let P be a point where neither has
a_singularity. By Lemma 7.11, replacing V by another vector field
V with the same indices as V, we can assume that V and Wagree in
some neighborhood of P. Then using stereographic projection from
P, one has two vector fields on the plane that agree outside some
large disk that contains all the singularities of either vector field. Tak-
ing a larger circle Cn their winding numbers around Cr will be the
same, and an application of Corollary 7.7 shows that the sum of their
indices is the same. 0
106
Sa. Vector Fields on a Torus and Other Surfaces 107
2: IndexpV
PEZ
°.
Proof. Take a square R = [a, a + 1] x [b, b + 1] so that the image in
X of the boundary aR does ,.!lot hit the singularity set Z. Look at the
corresponding vector field V..9n a neighborhood of R. By Proposition
~5 the winding number of V around aR is the sum of the indices of
V inside R. This winding number is zero, since the vector field is the
same on opposite sides of the square. And the indices inside are the
indices of Von X. 0
Find the vector field on the plane corresponding to the above vector
field, and verify that the indices are 1, -1, -1, and 1.
We want to generalize what we have just seen from the sphere and
torus to other surfaces, in particular to the surface of a doughnut with
g holes, or a "sphere with g handles":
We will argue geometrically and rather loosely for now, and post-
pone until later a discussion of what needs to be done to make the
arguments precise and rigorous. From the second picture, taking V to
be the vector field with V(P) the projection on the tangent space TpX
of a vertical vector (0,0,1) as before, we see that there are two points
with index 1 (at the top and bottom), and 2g points with index -1
(at the saddles). This gives one vector field the sum of whose indices
is 2 - 2g. The claim is that this is always the case.
The image of the circle C goes around near the boundary. We can
define the winding number W(VlC. 0) by cutting C up into pieces , each
of which is mapped one-to-one by <p into the plane, and using the
usual definition on these pieces. We can also define the index of V
at a point P of X \ D by using the local diffeomorphism <p* to identify
V with a vector field <p*V near <pep), and defining IndexpV to be
the index of <p* V at <pcP). To finish the proof, it is enough to show
that
2:
PEXIJJ
IndexpV = W(vlc, 0) .
To see this, one can add some crosscuts, being careful not to go through
110 8. Vector Fields on Surfaces
As usual, the added pieces get counted twice with opposite signs, so
they cancel, and one is left with the displayed equation.
The same works for any genus g, although the visualization is a
little harder. We claim that, when a closed disk D is removed from
X, the complement can be realized over the plane as indicated (for
g= 3):
Once we have this, the same argument completes the proof of the
theorem. To realize X \ D this way, an essential point is that, as a
larger and larger disk is removed from X, the complements are all
diffeomorphic. To aid in visualization, the situation for g = 1 is re-
done this way on a separate page. The picture after that shows a disk
with "fingers," which can be sewn to the back of the above figure,
giving a sphere with g handles.
8a. Vector Fields on a Torus and Other Surfaces 111
o ~
y
112 8. Vector Fields on Surfaces
large and not very pleasant exercise. For example, one can verify that
removing a slightly larger disk from a surface gives diffeomorphic
complements. The tools for doing this sort of argument properly are
developed systematically in the subject of differential topology, see
Milnor (1965), Wallace (1968), and Guillemin and Pollack (1974).
Exercise 8.5. What can you say about the number of peaks, valleys,
and passes on a planet shaped like a sphere with g handles?
Exercise 8.6. Does a sphere with g handles have the fixed point prop-
erty?
sion": put a new vertex in each edge, and one in each face, and con-
nect them as shown.
Construct it first along the edges: on the old edges pointing from the
old vertices to the new ones added in the middle of the edges, and
on the new edges pointing toward the new vertices in the faces; then
fill in over the new triangles to make it continuous. If this is done,
one has a vector field V whose singularities are at the vertices, and
whose indices are: + 1 if P is an old vertex; -1 if P is a new vertex
along an edge; and + 1 if P is a new vertex in a face. There are v of
the first, e of the second, andf of the third, so by the Poincare-Hopf
theorem, v·(+1)+e·(-1)+f·(+1)=2-2g. D
Problem 8.9. (a) Show that, for any triangulation of a sphere with
g handles:
(i) 2e = 3f;
(ii) e:5 1/2 v' (v - 1); and
(iii) v 2= 112(7 + V49 - 24(2 - 2g».
(b) Find lower bounds for v, e, and f for g = 0 and g = 1, and
construct triangulations achieving these lower bounds.
Exercise 8.12. Construct a vector field on ~p2 that has one singular
point with index I. Show that the sum of the indices of any vector
field on ~p2 is 1. Triangulate ~p2 and compute its Euler character-
istic.
tL---_+~
Or one may construct a Moebius band by taking an annulus, and iden-
tifying opposite points of one of the boundary circles:
8b. The Euler Characteristic 117
Exercise 8.14. (a) Show that these two descriptions agree. (b) What
do you get when you sew two Moebius bands together along their
boundary circles?
Exercise 8.15. Find a vector field on the Moebius band with the
boundary behavior shown and one singular point.
Starting with any surface, one can cut out a disk, and paste back
in a Moebius band, by identifying points on the boundary circles. This
is called a crosscap.
Project 8.16. Investigate the surfaces that arise this way, especially
the sums of indices of vector fields and the notion of Euler charac-
teristic. What do you get when you do this to a sphere? What happens
to the Euler characteristic of a surface when this is done to it? What
is the Euler characteristic of the surface obtained by punching h dis-
joint disks from a sphere with g handles, and sewing h Moebius bands
onto their boundaries. Can you realize the Klein bottle this way? Can
two of these be homeomorphic, if you start with a different g and h?
When?
~2 ~I
Given vector fields V and Won X, one can find such a realization
8b. The Euler Characteristic 119
= -1 -
(change in angle of V - W around aR) = 0,
2'lT
the last since the changes over identified edges of the boundary can-
cel.
We saw that the Euler characteristic is 2 - 2g by looking at the
vector field of a fluid flowing down the surface, or the gradient of
the height function for the surface sitting nicely in space. That picture
also shows how one can build up the topology of X by looking at the
portion of X whose height is at most h, and seeing how the topology
changes as h increases. One sees that changes occur only when the
height crosses the singularities, and that the change there is controlled
by the indices of these singularities. This is the beginning of the beau-
tiful subject of Morse theory. See Milnor (1963).
There is an important method for reducing some problems about
nonorientable surfaces to the case of orientable surfa.£es. For a non-
orientable surface_X, there is an orientable surface X and a two-to-
one mappirtg p: X ~ X, which is a local diffeomorphism. The two
points in X over a point P in X correspond to the two ways t2, orient
X near P. For example, if X is the projective plane, then X is the
sphere. We will discuss this in more detail when we come to covering
spaces, see § 16a.
COHOMOLOGY AND
HOMOLOGY, II
123
124 9. Holes and Integrals
grid G so that its bounded (closed) rectangles cover B, but such that
none of these rectangles meets both Band C, and so that none of the
infinite rectangles meets B. This can be achieved by taking an infinite
grid so that the distances between parallel lines is less than £/Y2,
and letting G be the collection of lines that hit B.
A I-chain 'Y having the property of the lemma is certainly not unique,
but any other I-chain with this property would have the same winding
numbers around all points not in U, and it follows from Theorem 6.11
that it would be homologous to 'Y.
We next describe what it means for U to have "n holes." First we
describe the "infinite" part of the complement A, denoted by A,,,, which
will be a closed set with the property that winding numbers of closed
I-chains in U around points in A,,, are always zero. In most examples
it is obvious what A"" should be, but the general definition is a little
complicated. Certainly A"" should contain any unbounded connected
component of A; to assure that we get a closed set, we define A"" by
the following:
A", = {P E A: for any 10 > 0 there is a connected subset C
of A containing a point within distance 10 of P
and a point farther than I /10 from the origin}.
Lemma 9.2. The set A", is a closed subset of A, and W(y,P) = ofor
all closed I-chains y in U and all points P in A"" .
Proof. If P is in the closure of A"" take a sequence Pn in A"" ap-
proaching P, and a connected set en as in the definition for P n for
some En, with En ~ 0 as n ~ 00. It follows immediately that P is in
A"". For any compact subset K of U, it follows from the definition
that any point of A"" is in the unbounded component of ~2 \ K. Note
that the support of any I-chain is compact. By Proposition 6.8 the
winding number of any closed I-chain around a point of A", must be
zero. D
Note that A"" can have more than one connected component, or it
can be empty. Now suppose that
~2 \ U = Al U A2 U . . . U An U A"" ,
CoroUary 9.4. The homology classes of the closed chains y" ... , Yn
form a free basis of H, V, giving an isomorphism H, V == zn.
Exercise 9.5. (a) Let V be the set of points (x, y) such that Iyl < 1 or
2n < x < 2n + 1 for some integer n. Show that Aoo is the union of an
infinite number of connected components. (b) Let A be the union of
the interval {(O,y): O:5y:5 I} and the set {(x,sin(l/x»:x>O}. Show
that A is closed and connected, but not path-connected. (c) Let A be
the union of the origin and the points (I/n,O) for n a positive integer.
Show that each point of A is a connected component of A, but the
origin has no neighborhood disjoint from the other components.
(w = nl ( w + ... + nr ( W.
),/ )'/1 ),/,
Note that the winding number is a special case of integral:
Proof. The proof is the same as the proof of Lemma 6.7, which refers
to Theorem 3.6. One simply changes winding numbers to integrals,
sectors U iJ to open rectangles, and angle functions 1}ij to arbitrary
functions J;J with dJ;J = w on U iJ . 0
Corollary 9.13. Let U be any open set in the plane. Then the fol-
lowing are equivalent:
(1) We'}', P) = 0 for all closed chains'}' in U and all P fI. U;
(2) I"Y W = 0 for all closed chains '}' in U and all closed 110rms w
on U;
(3) every closed I-chain is a boundary: H1U = 0; and
(4) every closed 110rm won U is exact: H1U = O.
These conditions hold whenever U is I-connected, i.e., ~2 \ U = A.,.
Proof. The equivalence of the first three conditions follows from the
preceding corollary. We have (4):::} (2) by Exercise 9.10. Con-
versely, (2) implies that I"Y W = fr, w whenever 'Y and 8 are segmented
paths with the same endpoints, and w is any closed I-form; we saw
in Chapter I that this makes w exact, which is (4). D
We know that homotopic closed paths are homologous.
Problem 9.14. (a) Show that homologous closed paths must be ho-
motopic when U is an open rectangle or any convex open set. (b) Do
the same when U is the complement of a point, or an annulus
U = {(x,y):rI 2«x-xo)2+(Y-Yo)2<r/}.
(c) Challenge. What if U is the complement of two points?
Proposition 9.18. For any closed I-chain y and closed l{orm 00,
Proof. Since 'Y and Li W('Y,AJ . 'Yi are homologous, this follows from
Proposition 9.11. 0
For integrals along paths that are not closed, if 'Y and 8 are two
paths with the same endpoints, applying the proposition to 'Y - 8, we
have
Exercise 9.21. Show that, given U as above, for any real numbers
Ph ... , Pn there is a closed I-form 00 with these periods.
This means that the linear mapping from the vector space of closed
I-forms on U to IW, W~(PI(W), . • • , Pn(w), is surjective, and by
Corollary 9. 19 the kernel is the space of exact I-forms. This sets up
an isomorphism (see §Cl)
{closed I-forms on U}/{exact I-forms on U} == IRn,
i.e., the De Rham group HI U is an n-dimensional vector space. If Pi
is any point in A;. 1:5 i:5 n, the classes [wPJ form a basis for HI(U).
Problem 9.22. (a) Suppose n = 2, and the periods of 00 are PI and
lJ2' Let P and Q be two fixed points in U. Show that if the periods
are not zero, and the ratio ptlp2 is rational, there is a number r so
that if 'Y and 8 are any two paths from P to Q, then f"Y 00 - f I) 00 is an
integer times r. (b) Show that, if PI/P2 is not rational, and U is con-
nected, there is no such r.
(b) Show that if the conditions in (a) are satisfied, then the complex
derivative f'(a) = limz--->a(J(z) - f(a»/(z - a) exists at each point a
in U.
Let us calIf analytic if its real and imaginary parts satisfy the Cau-
chy-Riemann equations. For example, iff is locally expandable in a
power series, then f is analytic, so f(z) dz is closed. Indeed, if
f(z) = L;=oaiz - zor in a disk around zo, thenf= dg on that disk, with
~ an
g(z) = +1
LJ - - (z - zor .
n=O n + 1
For an example that is closed but not exact, consider dz/z on the
complement of the origin:
dz dx + idy (x - iy)(dx + i dy)
=
z x+iy x 2 +l
= xdx+ydy +i -ydx+xdy
= d(1og(r» + iw~
~+l x 2 +l
Similarly, dz/(z - a) = d(log(lz - aln + iWa.ih with wa.~ as defined in
Chapter 2.
If -y is a path or chain in U, the integral of 00 = WI + iW2 along -y is
defined by
L L + iL
00 = WI 002'
For example, if 'Y(t) = a + r' eit , O:s t:s 2'11', is a circle around the point
a, then
f ~ = i f Wa.~ =
,/z-a '/
2'11'i.
~
f,/z-a = if'/ Wa.~ = 2'11'i' W(-y, a).
support 0/ 'Y,
W(-y,a)'f(a) I
= -.
2m
f
-f(z)
dz.
-y z- a
Proof. Look at F(z) = (f(z) - f(a»/(z - a), which is analytic on U \ {a}.
Using the formula proved just before the statement of the theorem,
the displayed formula is equivalent to the formula f-yF(z)dz = O. Let
I>lt) = a + re2-rrit, 0:5 t:5 I, with r small enough so the disk of radius
r around a is contained in U. Let n = W(-y, a). Since
W(-y, P) = n' W(I>" P) for all P rt. U \ {a}, we know by Corollary 9.12
that LF(z)dz=n'fa,F(z)dz, so it suffices to prove that
lim,......ofa,F(z)dz = O. But by Exercise 9.23(b), F(z) has a limit as z
approaches a, and the fact that fa,F(z)dz approaches zero as the ra-
dius goes to zero follows easily (see Exercise B.8). 0
The simplest form of Cauchy's formula is when -y is a circle about
a. Since the right side of Cauchy's formula is expandable in a power
series in a neighborhood of a, this implies in particular the fact that
any analytic function is locally expandable in a power series.
f(a) = -l-f
27ri
f(z) dz -
-y,Z - a 27ri
-I-f f(z) dz
-y,Z - a '
where "Ir and "I. are counterclockwise paths around the larger and
smaller circle. (b) Deduce Riemann's theorem on removable singu-
larities: if / is analytic and bounded in a punctured neighborhood of
a point b, then/extends to an analytic function in a full neighborhood
of b.
A related application is to the general residue theorem. If / is an-
alytic in a punctured neighborhood of a point a (i.e., in some U \ {a},
for U a neighborhood of a), the residue of f at a, denoted Resa(f),
is defined by
Resa(f) = ~ rf(z) dz ,
2m Ja
where I> is a small counterclockwise circle around a. By the Cauchy
integral theorem, this is independent of the circle chosen.
Proof. Take disjoint small circles 8i around ai. Then, with ni = W('Y, ai),
'Y and Ln,-8i have the same winding number around all points not in
U \ {aJ, ... , arlo It follows from Corollary 9.12 that the integral of
the closed I-form .f(z) dz around 'Y and around Lni8i gives the same
answer. 0
orda(f) = ResaC)·
(b) Under the conditions of the Argument Principle, use the Res-
idue Theorem to show that
-
21Ti
1 ff'(Z)
'I
--dz
f(z)
2: W(-y, a)' orda(f).
a
~f g(z/'(z) dz =
2m 'I f(z)
2: W(-y, a)· g(a)· orda(f).
a
Mayer- Vietoris
Construction of the boundary map iJ: HI(U U V)~ Ho(U n V). Re-
call that HI(U U V) = ZI(U U V)/BI(U U V) is the group of I-cycles,
5 This symbol a is certainly overworked in this subject. So far we have used it for
the boundaries of I-chains and for maps of rectangles. Rather than introducing dif-
ferent notations for the different uses, we try for clarity by saying in each case to
what sort of object the "iJ" is being applied.
137
138 10. Mayer-Vietoris
The hardest part of our task is to show that this class [a'Vl] is well
defined.
n l ) nZ)
It is clear from the picture, and easy to verify from the formulas, that
this subdivision is compatible with taking the boundary, i.e.,
scar) = ar(1) + ar(2) + ar(3) + a[<4) ,
the inside boundaries canceling as usual.
Now we prove the lemma. Suppose the class a is also represented
by the cycle 'YI' + 'Y2' for I-chains 'YI' on U and 'Y2' on V. Since both
sums represent 'Y, we know that ('YI + 'Y2) - ('YI' + 'Yz') is a boundary
on UU V, so we can write
('YI + 'Y2) - ('YI' + 'Y2') = ~ njac
The Mayer-Vietoris story gives the relations among all these groups
and homomorphisms. This can be described in a series of assertions,
moving from right to left in the diagram.
°
Exercise 10.4. If HI U = and HI V = 0, show that the kernel of a is
zero. If in addition un V is connected, show that HI(U U V) = 0.
Problem 10.19. If X is an open set in the plane, and Hr)( and HIX
146 10. Mayer-Vietoris
Problem 10.20. With U and Vas in the proof of Theorem 5.10, show
that the image of the boundary map
a:H 1(UUV)=H 1(1R 2 \{P,Q}) ~ H o(UnV)=Ho(lR 2 \X)
is free with one generator, and deduce that HO(1R2 \X) is a free abelian
group with two generators, so the complement of X has two connected
components. Similarly with U and Vas in the proof of Theorem 5.11,
show that the image of a is zero, and deduce that HO(1R2 \ Y) is a free
abelian group with one generator, so 1R2 \ Y is connected.
E > 0, there is a 8> 0 such that any two points of V within distance
8 of each other can be connected by a path in the intersection of V
with a disk of radius E. Note that this is false when X is homeo-
morphic to an interval.
There is also a linear map lfJ(U)~ lfJ(U') that takes a locally constant
function on V to its restriction to U'. If U and V are open sets in the
plane, we therefore have a diagram
HOV HIV
HI(VUV) HI(VnV)
H1V
where the maps in each diagram are determined by restrictions, and
8 is the coboundary map defined in Chapter 5. The Mayer-Vietoris
story for De Rham cohomology, for open sets in the plane, is the
combination of six assertions:
148 10. Mayer-Vietoris
is exact.
sequence
0->.> jjJ(UU V)~ jjJUffijjJV~jjJ(U n V)
~Hl(UU V)~H1U(f)H1V~Hl(Un V)->.>O.
The result in the following problem was proved by Brouwer:
Covering Spaces
lla. Definitions
If X and Y are topological spaces, a covering map is a continuous
mapping p: Y ~ X with the property that each point of X has an open
neighborhood N such that p-l(N) is a disjoint union of open sets, each
of which is mapped homeomorphic ally by ponto N. (If N is con-
nected, these must be the components of p -1(N).) One says that p is
evenly covered over such N. Such a covering map is called a covering
o/X.
An isomorphism between coverings p: Y ~ X and p': Y' ~ X is a
homeomorphism 'P: Y ~ Y' such that p' 'P = p. A covering is called
0
153
154 11. Covering Spaces
( . ) ( .
or in a vertical picture:
) ( . . ) ( )
p
Exercise 11.1. Show that the following are covering maps, where
C* = C \ {O} is the group of nonzero complex numbers: (i) the nth
power mapping C* --+ C*, z--+ z"; and (ii) the exponential mapping
exp: C--+ C*.
In the next section we will discuss the question of whether such lift-
ings exist. The following lemma discusses uniqueness: if Z is con-
nected, a lifting is determined by where it maps anyone point.
The fact that homotopic paths in ~2 \ {O} with the same endpoints
have the same total change of angle around zero is equivalent to the
fact that their liftings are homotopic. This too is a general fact about
coverings.
Exercise 11.14. Let X be the space that consist of two circles A and
B joined at a point P. Let Y be a space that is two circles and four
half-circles, joined as shown, and let p: Y~ X be mapping that takes
each piece of Y to the correspondingly labeled piece of X as indicated:
lIe. G-Coverings
Many important covering spaces arise from the action of a group G
on a space Y, with X the space of orbits. Recall that an action of a
Hc. G-Coverings 159
For another example, the group with two elements acts on the
n-sphere with the nontrivial element taking a point to its antipodal
point; i.e., G = {± 1} == 7l./2Z acts on Sn, with ±1 . P = ±P. The quo-
tient space is the real projective space IRlPn, and the quotient mapping
Sn~ IRlPn is a two-sheeted covering.
We say that G acts evenl/ if any point in Y has a neighborhood V
such that g . V and h . V are disjoint for any distinct elements g and h
in G.
multiplication. Show that the action is not even, but that the action
on the open subset C* = C \ {O} is even.
Exercise 11.24. Letp: Y~X= Y/G be a G-covering, and let 'PI and
'P2 be isomorphisms of G-coverings from Y to Y. If X is connected,
and 'PI and 'P2 agree at one point of Y, show that 'PI = 'P2.
The group G acts on S'lm-I by ,. (Zh ... , zm) = ('Zh ... , 'zm). Show
that this action is even. When n is prime, the quotient space S'lm-I/Jl.n
is a manifold called a Lens space.
Problem 11.33 (For those who know about quaternions). The three-
sphere S3 can be identified with the set of unit quaternions:
S3 = {r + xi + yj + zk: ? + r + l + l = I},
which makes it a topological group. Identify 1R3 with the set of pure
quaternions {xi + yj + zk}. For q E S3, the mapping v ~ q . v . q - J de-
fines an orthogonal transformation of 1R3 with determinant 1, i.e., an
element of SO(3). Show that the resulting map S3~SO(3) is a sur-
jective homomorphism of groups, with kernel {± I}. Deduce that this
is two-sheeted covering. (This is the spin group Spin(3), which, with
its generalizations Spin(n)~ SO(n) for all n;:::: 3, appear frequently in
modem mathematics and physics.)
165
166 12. The Fundamental Group
Exercise 12.1. Show that, for paths from a point x to a point X', the
relation of being homotopic is an equivalence relation.
cr
In these cases, and those that follow, it is not hard to write down
explicit formulas for the homotopy, using a little plane geometry to
map rectangles and triangles onto each other, to interpolate between
the values we want on boundary lines. It may be worth pointing out
that one could also appeal to general results about maps between con-
vex sets that guarantee the existence of such maps; the formulas them-
selves are not important.
If 0" is a path from x to x', '1" a path from x' to x", and /Jo is a path
from x' to x", there is a homotopy from (0"' '1") • /Jo to 0"' ('1"' /Jo) con-
structed similarly from the diagram
12a. Definitions and Basic Properties 167
Exercise 12.3. (a) Write down the homotopy indicated by this dia-
gram. (b) Define the path (1 • or . J.L by the formula
(1(3t) , 0:5 t:5 1/3,
(1' or' J.L(t) = { or(3t -1), 113:5 t:5 %,
J.L(3t - 2), 213:5 t:51.
Show that (1' or' J.L is homotopic to the paths «(1' or)' J.L and (1' (or' J.L).
The homotopy is
(1(2t) , 0:5 t:5 1/2(1 - s),
H(t, s) = { (1(1 - s), 112(1 - s):5 t:5 1/2(1 + s),
(1(2 - 2t), 1/2(1 + s) :5 t:5 1 .
168 12. The Fundamental Group
We need one more homotopy: if two paths a and a' are homotopic
by a homotopy HI, and T and T' are homotopic by a homotopy H 2 ,
then a' T and a'· T' are homotopic, by the homotopy
HI(2t,S), 0:5t:51/2,
H(t, s) = {
H 2(2t-l,s), 112:5t:51.
Exercise 12.4. Verify that this is well defined and a group homo-
morphism.
(goj)~ ~*
1t\(2, z)
12a. Definitions and Basic Properties 169
Exercise 12.5. Show that '7TI(D 2 , x) = {e} for any x in the disk, and
that the winding number determines an isomorphism of '7TI(SI, (1,0))
with 7L. Deduce that Sl is not a retract of D2.
Exercise 12.7. (a) Verify these assertions. (b) If T' is another path
from x to x', show that
(T')#[-y] = [pr l • (T#[-y])' [p],
where p is the loop T-I . T'. In particular, if T and T' are homotopic
paths from x to x', they determine the same isomorphism on funda-
mental groups. In general, the displayed equation means that the iso-
morphism from '7TI(X,X) to '7TI(X,X' ) depends on the choice of path
from x to x' only up to inner automorphism.
12b. Homotopy
Two continuous maps 10: X - Y and II: X - Y are homotopic if there
is a continuous mapping H: X X [0, 1] - Y such that H(z, 0) =Jo(z) and
H(z, 1) =!I(z) for all points z in X; H is a homotopy Irom 10 to II' We
want to say that homotopic maps determined the same homomor-
phism on fundamental groups, but to make this precise we must keep
track of base points. Let x be a base point in X, and let Yo =Jo(x) and
YI =!I(x). The mapping T(t) = H(x, t) is a path from Yo to YI'
1t.(X, x) 1 't#
~1t.(Y,y.)
commutes, i.e., T#o(Joh = (fl)*'
Proof. Let 'Y be a loop at x. We need to construct a homotopy from
12b. Homotopy 171
the path or -I . «fo ° 'Y) . or) to the path II ° 'Y. Consider the homotopy h
from [0, 1] X [0, 1] to Y given by h(t, s) = H('Y(t) , s):
h y
t
This provides a kind of homotopy between the path or-I. «/0 °'Y) . or)
around the two sides and the bottom of the square and the path II ° 'Y
that goes across the top. D
1\
1\
~ ~
Two spaces X and Y are said to have the same homotopy type if
there are continuous maps f X ~ Y and g: Y ~ X such that goI is hom-
172 12. The Fundamental Group
Exercise 12.14. (a) Show that having the same homotopy type is an
equivalence relation. (b) Show that a homotopy equivalence f X ~ Y
determines an isomorphismf*: 1T1(X,X)~1TI(Y,fix» of fundamental
groups. In particular, if i: X ~ Y embeds X as a deformation retract
of Y, then i*: 1T1(X,X)~1TI(Y,i(x» is an isomorphism.
Exercise 12.16. Show that the mapping from S2 to itself that takes
(x,y,z) to (-x, -y,z) is homotopic to the identity mapping, and the
mapping that takes (x,y,z) to (x,y, -z) is homotopic to the antipodal
mapping.
t t
- f*
Since H1X is an abelian group, this homomorphism must vanish on
all commutators a· b . a -I b -I in 1T 1(X, x), so it must vanish on the
commutator subgroup [1TI(X,X),1TI(X,X)] that consists of all finite
products of commutators. This is a normal subgroup of 1TI(X,X), and
the quotient group is sometimes called the abelianized fundamental
group of X, and denoted 1Tl(X,X)abel' So we have a homomorphism
1TI(X,X)abel = 1TI(X,X)/[1Tl(X,X), 1TI(X,X)] ~ HIX,
Since the fundamental group 1TI(X,X) depends only on the path-
connected component of X that contains x, we cannot expect the fun-
damental group to determine the homology group for disconnected
spaces. But except for this, the fundamental group determines the
homology group:
I
i •
,
i •
I
[{}b(i)r n ) = n
I
['Y/r' ,
the last equation using the fact that 'Y is a I-cycle, so each point c
occurs as many times as a starting point a(i) as ending point b(i).
It follows from the definition that this map is a homomorphism
from ZIX to 'TTl (X, X).bel' We next verify that this homomorphism maps
boundary cycles to zero. It suffices to show that 'Y maps to zero when
'Y = (If = 'YI + 'Y2 - 'Y3 - 'Y4,
where f: [0, I] X [0, I]~X is a continuous mapping, and the bound-
ary is as described in §6a. Let TI and T2 be paths from x to the starting
and ending points of 'YI, and let T3 and T4 be paths from x to the
starting and ending points of 'Y3' Then 'Y maps to the class of
[TI . 'YI . T2 -I] • [T2' 'Y2 . T4 -I] . [T4' 'Y3 -I. T3 -I] • [T3 . 'Y4 -I. TI- 1]
= [TI . 'YI . 'Y2' 'Y3 -I. 'Y4 -I. TI- I] = [(TI . 'YI . 'Y2)' (TI . 'Y4' 'Y3)-1].
To see that this last class is trivial in 'TTI(X,X), it suffices to show that
the paths TI . 'YI . 'Y2 and TI . 'Y4 . 'Y3 are homotopic with fixed endpoints.
For this it is enough to show that 'YI . 'Y2 and 'Y4' 'Y3 are homotopic with
fixed endpoints. This is evident from the picture:
14 13 13
'\. '\.
/ /
- 14 0:
0:
12
- r
"- "-
/ /
11 12 11
In this part we will see that the two basic notions of covering spaces
and fundamental groups are intimately related. In Chapter 13 we see
how knowledge of the fundamental group controls the possible cov-
erings a space may have: coverings correspond to subgroups of the
fundamental group. There is a universal covering, from which all other
coverings can be constructed. In Chapter 14 we use this the other way
to prove the Van Kampen theorem, which relates the fundamental
group of a union of two spaces to the fundamental groups of the two
spaces and the fundamental group of their intersection. This can be
regarded as the analogue for the fundamental group of the Mayer-
Vietoris theorem for the homology group. The proof we give depends
on a correspondence between G-coverings and homomorphisms from
the fundamental group to G.
179
180 13. The Fundamental Group and Covering Spaces
/-1]
/~/ P
Z-X
/
Such a lifting j, when it exists, is unique.
Proof. The necessity is clear from the functoriality of the fundamental
group, and the uniqueness is a special case of Lemma 11.5. For the
converse, to construct j, given a point w in Z, choose a path 'Y in Z
from z to w, and let a =/ 0 'Y, which is a path starting at x in X. Define
j(w) to be y *a; that is, j(w) is the endpoint of the path that lifts a
and starts at y. We must first show that this is independent of the
choice of path. If 'Y' is another path from z to w, then
/o('Y"'Y-I)=a"a- 1 is a loop atx. By the hypothesis, [a"a- I ] is
in the image of p*. By Exercise 13.2(b) it follows that (j' and (j end
at the same point.
We must verify that this mapping j is continuous at the point w.
Let N be any neighborhood of .f{w) that is evenly covered by p, let
V be the open set in p-I(N) that maps homeomorphic ally onto Nand
that contains j(w), and choose a path-connected neighborhood U of
w so that.f{U)CN. We need to show that! maps U into V. For all
points w' in U, we may find a path Ct from w to w' in U, and then
we can use 'Y' Ct as the path from z to w'. The lifting of
/ 0 ('Y . Ct) = (f° 'Y) • (f ° Ct) is obtained by first lifting / 0 'Y to (j, then
lifting /0 Ct. Since the latter lifting stays in V, this shows that
.f{U)C~ 0
Corollary 13.6. Let X be a connected and locally path-connected
space. Let p: Y --7 X and p': y' --7 X be two covering maps, with Y and
Y' connected and let p(y) = x and p'(y') = x. In order for there to be
an isomorphism between the coverings preserving the base points, it
is necessary and sufficient that
P*(7rI(Y,y)) = p' *(7r I(Y' ,y')).
Proof. The necessity is clear, and if these subgroups agree, the prop-
osition gives maps '1': Y --7 y' and 1\1: Y' --7 Y preserving the base points
and compatible with projections. (Note that X being locally path-con-
nected implies that covering spaces Y and Y' are also locally path-
connected.) Applying Lemma 11.5 to 1\10'1' and '1'01\1 shows that they
are isomorphisms. 0
182 13. The Fundamental Group and Covering Spaces
where [a]' z = w(z, a, 'Y). Note that [a]· z is in the same fiber of pas
z. Next we want to show that this is a left action of 'll'1(X,X) on Y.
The fact that ([a] • [T]) . Z = [a] . ([T] . z) follows readily from the -def-
inition. For if 'Y is a path from y to z, then the lift of T • (p ° 'Y), starting
at y, is a path from y to [T]' z. It follows that [a]' ([T]' z) is the end-
point of the lift of the path a' (T . (p ° 'Y» that starts at y. The path
(a' T) . (p °'Y) is homotopic to a· (T' (po 'Y», so its lift at y has the
same endpoint, and this endpoint is ([a] . [T]) . z. The fact that [Ex] . Z = Z
follows from the fact that [E..J . z = (y * E..) * 'Y = Y * 'Y, and y * 'Y = z by
definition.
To prove that, for fixed [u], the map z~ [u]· z is continuous, we
assume in addition that X is locally path-connected. To see the con-
tinuity near a point z, take, as in the preceding proposition, a path-
connected neighborhood N of p(z) that is evenly covered by p. Let V
and V' be the components of p-l(N) that contain z and z' = [u]· z.
We must show that [u] . V is contained in V'. For v in V, let a be a
path from z to v in V. If'Y is a path from y and z, then 'Y. a can be
used as the path from y to v, from which it follows that [u] . v is the
endpoint of the lift of po a that starts at z'. This lift is in V', which
concludes the proof of continuity.
Summarizing, we have constructed a homomorphism from 'lTl(X, x)
to the group Aut(Y/X) of covering transformations. We claim next
that this is surjective. Let <p: Y ~ Y be a covering transformation, and
suppose <p(y) = y'. It suffices to find an element [u] in 'lTl(X,X) with
[u] . y = y', since, Y being connected, two covering transformations
that agree at one point must be identical. Let 'Y be a path from y to
y'. Let u = p 0 'Y. Then [u] . y is the endpoint of the lift of the path u
that starts at y. Since this lift is 'Y, [u]· Y = y', as required.
Finally, we compute the kernel of this homomorphism from 'lTl(X,X)
to Aut(Y/X). As in the preceding step, it suffices to see which [u]
act trivially on y, and this happens when the lift of u at y ends at y,
i.e., when [u] is in P*('lTl(Y,y». Putting this all together, we have
the:
Exercise 13.13. Show that the following are equivalent (with Y con-
nected and X locally path-connected): (i) the covering is regular;
(ii) the action of Aut(YIX) on p -lex) is transitive; and (iii) for every
loop (J' at x, if one lifting of (J' is closed, then all liftings are closed.
~Sl
t/5'/~ t
S"
p p'
~1Jl>"h~lJl>l,
186 13. The Fundamental Group and Covering Spaces
Exercise 13.17. (a) Compute the fundamental group of the Lens spaces
of Exercise 11. 30. (b) If the Klein bottle is constructed by identifying
sides as shown:
-0-
b
show that the fundamental group has two generators a and b, with
one relation abab- I = e. In particular, the fundamental group is not
abelian. (c) The torus is a two-sheeted covering of the Klein bottle,
as in Exercise 11.27. Describe the image of the fundamental group
of the torus in the fundamental group of the Klein bottle, and verify
that it is a normal subgroup.
inverse image of N is a disjoint union of the open sets N[-Yl' where ['Y]
varies over the homotopy classes of paths from x to any given point
z of N.
For any path 'Y starting at x in X, and for s between 0 and 1, let
'Ys be the eath defined by 'Yit) = 'Y(st), 0:5 t:5 1. The mapping
.y: [0, 1] ~ X defined by .y(s) = ["(s] is the unique lift of 'Y to a path
iQ. X that starts at the base point t= [Ex]. In particular, it is a p,~th in
X from £ to ['Y], showing that X is connected. Any loop in X at £
has the form .y for a unique loop 'Y at x. For .y to be a loop, the
endpoint 'YI = 'Y must be homotopic to the constant path at x, which
implies by the lifting of homot~ies that .y is homotopic to the con-
stant path at £. This shows that X is simply connected, and completes
the proof of the theorem. 0
One simple space whose universal covering we have not yet con-
structed is the figure 8 space
13d. Coverings and Subgroups of the Fundamental Group 191
a
a
b
a
a
b a
a
a
b
Each segment maps to one of the loops of the figure 8 space, the
horizontal segments to one and the vertical segments to the other.
Problem 13.25. (a) Show that this space is simply connected, and is
the universal covering of the figure 8 space X. (b) If you know what
a free group is, show that a free group with two generators acts evenly
on this universal covering, with orbit space X. Deduce that the fun-
damental group of X is this free group. (c) Generalize to the space
obtained by joining n circles at a point.
We saw in Chapter 6 that for open sets in the plane, the homology
class of a closed I-chain is determined by winding numbers around
points not in the set. The next exercise shows that this is true for
other nice subsets, but the following problem shows it is not true in
general.
193
194 14. The Van Kampen Theorem
for [(J] E 'lTl(X, x), z EX, g E G. Here [(J] . z is the action of 'lTl(X, x)
on X that was described in §13b, and g' p([(Jrl) is the product in
the group G. Define Yp to be the quotient of Xx G by this action of
'lTl(X, x):
Yp = XX G/'lTl(X, x) ,
and let YP be the image of the point f x e in Yp. Let (z X g) denote
the image in Yp of the"point z X g in X X G. No~ that, by the above
action of 'lTl(X,X) on X X G, we have, for z in X, g in G, and [(J] in
'lTl(X, x),
([(J]'ZXg) = (zXg·p([(J]».
Define Pp: Yp ~ X by taking (z X g) to u(z).
The group G acts on Yp by the formula h· (z X g) = (z X h· g), for
hand g in G and z in X. (Note that using the right side of G for the
left action of 'lTl(X, x) frees up the left side of G for a left action of
G!) We claim that this is an even action, making Pp: Yp~X a G-
covering. To prove th~, let N be any open set in X over which the
universal covering u: X ~ X is trivial. By Lemma 1l.18 there is an
isomorphism of u-1(N) with the product covering N X 'lTl(X,X), on
which 'lTl(X,X) acts on the left on the second factor. This gives ho-
meomorphisms
pp-l(N) == (NX 'lTl(X, x» X G/'lTl(X, x) == NXG,
the latter homeomorphism by «u X [(J]) X g)~ U X g' p([(J]). (The map
back takes u X g to «u X e) X g).) These homeomorphisms are com-
patible with the projections to N, and it follows that, over N, the
action of G is even and the covering is a G-covering. Since X is
covered by such open sets N, the same is true for the map Pp from
Yp to X.
Conversely, suppose p: Y ~ X is a G-covering, with a base point Y
over x. From this we construct a homomorphism p from 'lTl(X,X) to
G. For each [(J] in 'lTl(X,X) the element p([(JD in G is determined by
the formula
p([(J]) . Y = Y * (J ,
where Y * (J is the endpoint of the lift of the path (J that starts at y.
We will need two facts about this operation:
(i) (z*(J) *,. = z* «(J''') for z Ep-l(X), (J a loop at x, and,. a
path starting at x;
(ii) g' (z*'Y) = (g. z) *'Y for g E G, z Ep-l(X), and'Y a path
starting at x.
14a. G-Coverings from the Universal Covering 195
The first of these facts is immediate from the definition. The second
follows from the fact that if 'Y is lifting of -y starting at z, then the
path tt--') g. 'Y(t), 0:5 t:5 1, is a lifting of -y that starts at g. z. The
endpoint of this path, which is (g. z) * -y by definition, is g. 'YO), and
since 'Y(l) = z * -y, (ii) follows.
We claim now that the p defined above is a homomorphism. This
is a calculation, using (ii) and (i):
Hom(1TI(X,X),G) B {G-coverings}/isomorphism.
XXG~Y,
(g·p([cr])-I)·(y*(cr·-y» = (g·p([cr])-I)·«y*cr)*-y)
= «g. p([cr])-I) . (y * cr» *-y
= (g. «y * cr) * cr -I» * [-y]
*
(g. (y* (cr· cr- I))) [-y] = (g. y) * [-y],
as required. Since the map takes the same values on equivalent points,
it gives a mapping from the quotient Yp to Y, which is a mapping of
covering spaces of X. This is easily checked to be a mapping of G-
coverings, from which it follows that it must be an isomorphism.
Conversely, starting with a homomorphism p, we constructed a G-
196 14. The Van Kampen Theorem
Exercise 14.3. Show that, if base points are ignored, two G-coverings
Yp and Yp' are isomorphic G-coverings if and only if the homomor-
phisms p and p' are conjugate, i.e., there is some gin G such that
p'([O']) = g' p([O']). g-l for all [0'] E 1Tl(X,X).
y~
ItI(Un V, x)
1t1(V, x)
y~
G.
Note the important hypothesis in all these theorems, that all spaces,
induding the intersection un V, are connected. It does not apply to
the annulus, written as a union of two sets homeomorphic to disks!
Exercise 14.13. Let a = l'Yd and b = l'Y2]' Show that every element
in 'iT1(X,X) has a unique expression in the form
where the mj are integers, all nonzero except perhaps the first and
last. The identity element is e = aObo.
rectly (and algebraically) as the set of all words of this form, with
products defined by juxtaposition of words, canceling to get a legit-
imate word. It is straightforward (if a little awkward) to show by hand
that this forms a group, and to see that it satisfies the above universal
property. With the use of the VanKampen theorem, we can avoid
this, by constructing the free group as the fundamental group of this
figure 8 space.
The free group Fn on n generators a., ... , an is defined similarly:
it is generated by these elements, and, for any group G and any ele-
ments gh ... , gn in G, there is a unique homomorphism from Fn
to G taking a; to g; for 1 :::s i:::s n. Again, it can be constructed purely
algebraically using words in these letters, or as a fundamental group:
Exercise 14.14. Verify that the fundamental group of the space ob-
tained by joining n circles at a point is the free group on n generators.
Use this to show that the fundamental group of the complement of n
points in the plane is free on n generators.
Exercise 14.15. Let X be a connected finite graph. (a) Show that, for
any edge between two distinct vertices, X is homotopy equivalent to
the graph obtained by removing the edge and identifying its two end-
points. (b) Show that X is homotopy equivalent to the graph obtained
by joining n circles at a point, where, if the graph has v vertices and
e edges, n = e - v + 1. (c) Show that n is the "connectivity" of the
graph, i.e., the largest number of edges one can remove from the
graph (leaving the vertices), so that what is left remains connected.
One can use this result to give a simple proof of a rather surprising
fact about free groups.
Problem 14.17. Use the Van Kampen theorem to compute the fun-
damental groups of the complement of n points (or small disks) in:
(1) a two-sphere; (2) a torus; and (3) a projective plane.
Problem 14.20. Use the Van Kampen theorem to compute the fun-
damental groups of: (1) the sphere with g handles; (2) the complement
of n points in the sphere with g handles; and (3) the sphere with h
crosscaps.
PART VIII
COHOMOLOGY AND
HOMOLOGY, III
Cohomology
207
208 15. Cohomology
On the overlaps Ua n U[3 that are not empty we have "transition" iso-
morphisms
given by the restriction of <Pa followed by the restriction of <P[3 -I. These
transition isomorphisms have the form x x g ~ x X g . ga[3(x) for some
(unique) locally constant functions ga[3: Ua n U!,>~ G, by the preced-
ing lemma. The collection of these ga!'> satisfy three properties:
The first two of these are obvious, and the last follows from the equa-
tion <p-y -I 0 <p", = <p-y -I 0 <p[3 0 <P!,> -I 0 <p",. A collection {g",!'>} of locally con-
stant functions 8 satisfying (i)-(iii) is called a Cech cocycle on au with
coefficients in G.
Conversely, given au and a Cech cocycle {ga!'>} on au with coeffi-
cients in G, one can use it as "gluing data" to construct a G-covering,
together with a trivialization over each Ua , so that the resulting co-
cycle is the given one. To do this, take the disjoint union of all the
products U", x G (where G has the discrete topology, i.e., its points
are open), and define an equivalence relation by defining x x g in
Ua x G to be equivalent to x x g' ga!'>(x) in U!'> x G for x in Ua n Up.
Properties (i)-(iii) guarantee precisely that this is an equivalence re-
lation. Define Y to be the set of equivalence classes, with the quotient
topology. Since the equivalence relation is compatible with left mul-
tiplication by G and with the projections to X, the space Y gets an
action of G and a projection p from Y to X so that the resulting maps
Ua x G~ Yare G-maps and compatible with the maps to X. In other
words, this is the patching described in § 14b, using the transition
functions {t!'>"" where {tp",(x x g) = x x g . g",!,>(x).
The cocycle is not uniquely determined by the G-covering, even
with a fixed choice of au, since it depends on the choice of triviali-
zations <p",. But if {<p",'} is another choice of trivializations, using the
lemma again, there is for each n a unique locally constant function
n-'(U.) ~ 1xxg~xxg·h.(x)
Va xG
commutes. From this it follows that the cocycle {gal3'} for the trivial-
izations 'Pa' is related to that {gal3} for the 'Pa by the equations
gal3' = (ha)-" gal3' h13 •
Two Cech cocycles {gal3} and {gal3'} are said to be cohomologous if
there are locally constant functions ha: V a ~ G such that
gal3' = (ha)-' . gal3' hl3 on Va n VI3 for all n, 13 such that Va n VI3 is
nonempty. This is easily checked to be an equivalence relation, and
the equivalence classes are called tech cohomology classes on OU, with
coefficients in G. The set of these is denoted HI(ou';G).
Going along each piece of the path in the same way, we find
'Y(tJ = 'Pa(O(Xi X hi . . . . . hi-I) = 'Pa(Hl)(Xi x hi . . . . . hJ.
At the end, this gives
'Y(1) = 'Pa(l)(x x hi . . . . . hn) = (hi' . . . . hn)' 'Pa(I)(X x e)
= (hi' . . . . hn ) • y .
Since 'Y(1) = p([-y)) . y by definition, the lemma follows. D
Exercise 15.10. Define the Oth Cech group Jf(Ol1,; G) for an open
covering 0l1, of a space X with coefficients in a group by defining a
class (or cocycle-there is no equivalence relation) to be a collection
of locally constant functions ga: Ua~ G such that go. = gl3 on Ua n U13 •
15c. De Rham Cohomology and Homology 213
Show that !f(at!; G) is the direct product of copies of G, one for each
connected component of X. In particular, for X open in the plane,
!f(at!;~) is isomorphic to the space !f(X) of locally constant func-
tions.
is an isomorphism.
The fact that this map is one-to-one is not hard to see, for if a closed
I-form w has all integrals f'Yw vanishing for all closed paths 'Y on X,
we know from Proposition 1. 8 that w is exact. The fact that every
homomorphism comes from a I-form, however, will take some work.
As a warm-up you may consider the special case:
t t
Hom(H,X, IR) ---+ Hom(H, V, IR)
commutes, where the map on the bottom is determined by the map
from HIV to HIX,
satisfying the cocycle conditions: (i) faa = 0; (ii) f{3a = -fa{3; and (iii)
fay = fa{3 +f{3y on Va n V{3 n Vr Then there are C(J,'" functions fa on Va,
for all a, such that
fa - fr. = far. on Va n Vr..
Proof. In order to solve these equations fa - fr. = far., we use the ex-
istence of a partition of unity subordinate to the covering OJL (Appen-
dix B2). This says there are C(J,'" functions 'Pa on X, with the closure
of the support of 'Pa (in X) contained in Va, with only finitely many
'Pa nonzero in a neighborhood of any point, and with La 'Pa == 1. For
each (l and ~ define a C(J,'" function hOor. on Va by the formula
Now set fa = Lr. har.. It is an easy exercise to verify that har. and fa
are C(J,'" functions. To complete the proof, we calculate:
'Y 'Y
We must verify that the construction made before the lemma gives
a well-defined map from Hl(OJL;~) to HIX. Suppose first that {fa'} is
another collection of functions, withfa' on Va such thatfa' - Jr.' = gar.
on Van V f3 , giving rise to the I-form w' that is dfa' on Va. The
functions fa' - fa on Va agree on the overlaps, so define a function f
on X; and w' - w = df, so w' and w define the same element of HIX.
We must also show that if {gar.'} is a Cech cocycle that is cohomolo-
gous to {gar.}, then they determine the same class in HIX. We are
given locally constant functions ha on Va such that
Iffa - fr. = gar. on Va n Vr., then (fa - ha) - (fr. - hr.) = gar.' on Va n Vr.'
and since each ha is locally constant, d(fa - ha) = dfa, so they define
the same I-form.
Summarizing what we have so far, we have maps
H1X ~ Hom(HIX, IR)
I
Hl(ll ; IR) ~
t
{IR -coverings} /= .
216 15. Cohomology
We want to show that all of these maps are bijections, and that
going once clockwise around the diagram, starting at any place, is
the identity map on that vector space. We have proved that the top
horizontal map in this diagram is one-to-one. It therefore suffices to
show that a trip around the diagram, starting with an element P in
Hom(H 1X,IIl), takes p to itself. Let {fal3} be a cocycle for the covering
Pp: Yp~X defined from this homomorphism. Use Lemma 15.14 to
write fal3 = fa - fl3' and let w be the I-form that is dfa on U a' It follows
from Proposition 12.22 that H1X is generated by the classes of closed
paths in X. To conclude the proof, it therefore suffices to show that
Lw = p(['y])
when "I is any closed path in X. Both sides depend only on the con-
nected component of X containing the image of "I, so we may assume
X is connected. Subdivide the path as in Lemma 15.6, and let "Ii de-
note the restriction of "I to the ith piece [ti-!' tJ By Lemma 15.6,
p(['YD = L7~lhio where hi =fa(l)a(i+I)(Xi) for 1 ::5 i::5 n, with cr(n + 1) = cr(1).
Therefore,
n n
iLdfa(i) = i L w =
;=1 -V, 1=1 "V,
i -v
w.
Exercise 15.16. Verify directly that the maps of this corollary are
linear maps between vector spaces.
H1UffiHIV ~ Hom(Hl(U)EBHl(V)'~)
that takes a pair (a, 13) to the homomorphism that takes a pair (a, b)
in H1(U)EBH1(V) to faa + fb 13. It is a simple exercise to verify, using
Theorem 15.11, that this map is also an isomorphism.
The homomorphism "-" from HI (U n V) to HI U EB HI V determines
a homomorphism
Hom(Hl(U)EBHl(V)'~) ~ Hom(H1(Un V),~),
Exercise 15.18. Use the fact that HoX is the free abelian group on
the connected components of X to prove that this map from lfx to
Hom(HoX, ID is an isol!!.orphism. Show that the reduced groups are
also dual: lfx == Hom(HoX, ~).
For simplicity now, for any abelian group A, write A * for Hom(A, ~).
Note that a homomorphism A ~ B determines a linear map B* ~ A *.
A direct sum decomposition A = B E9 C determines a direct sum de-
composition A * = B* E9 C*. The dual to the Mayer-Vietoris homol-
ogy sequence is the sequence of vector spaces:
0 - Ho(UU V)* ~ HoU*$ HoV* ....=..... Ho(Un V)*
L H1(UUV)* ~H1U*$H1V*""=""'Hl(UnV)*- 0
The fact that the homology sequence is exact (Theorem 10.5) implies
that this is an exact sequence of vector spaces (see Appendix C2).
The isomorphisms from the preceding section can be used to map
each term in the Mayer-Vietoris cohomology sequence to the cor-
responding term in the above sequence:
0 - JIO(UuV) ~ HOUmHoV ""=""'H°(UnV) L H1(UUV)
~Hlu*mH1V*""="'" Hl(UnV)*-O.
Problem 15.19. (a) Show that each square in the above diagram com-
mutes. (b) Use this to deduce the exactness of the cohomology se-
quence from the exactness of the homology sequence.
CHAPTER 16
Variations
219
220 16. Variations
Exercise 16.4. Verify that when X = ~2, {(O, O)} and w = d{}, then
the polar coordinate covering of X is a connected component of X",.
Exercise 16.5. Show that this component is the union of all open sets
of the form N'!, with N' a connected open set in X and df' = w on N'
such that there is a chain of connected open sets N = No,
222 16. Variations
Problem 16.6. (a) Show that this covering POl: X", ~ X is isomorphic
to the covering constructed with cocycles. (b) Show directly that I-forms
that differ by an exact form determine isomorphic coverings.
°
CIX to G by the formula C(Lni'Yi) = Lnic('Y). A l-cochain c is called
a l-cocycle if c(af) = for all continuous f: [0,1] x [0, l]~X. The
l-cocycles form a subgroup ZI(X;G) of CI(X;G). Every coboundary
Sa is a l-cocycle, so the l-coboundaries form a subgroup B I(X; G) of
ZI(X; G). The quotient group is the first cohomology group
HI(X;G) = ZI(X;G)/BI(X;G).
There is a natural homomorphism from HI(X; G) to Hom(XIX, G),
that takes the class of a l-cocycle c to the homomorphism that takes
the homology class of a I-cycle 'Y to the element c('Y).
YT = (Yx T)/G.
Write (y x t) in YT for the orbit containing y x t. Let PT: YT~ X be
the mapping that sends (y x t) to p(y).
Exercise 16.15. If T ~ T' and T' ~ T" are maps of G-sets, show that
the composite of YT~ YT, and YT'~ YT" is the mapping detennined by
the composite T~T".
Exercise 16.16. Show that two transitive G-sets are isomorphic if and
only if the corresponding subgroups of G are conjugate.
Problem 16.28. Show how to make the set of all tangent vectors to
the sphere S2 C 1R3 into a vector bundle of rank 2. Generalize to con-
struct the tangent bundle of an arbitrary manifold.
PART IX
TOPOLOGY OF SURFACES
The goal is to extend what we have done for open sets in the plane
to open sets in surfaces, especially compact orientable surfaces. Some
of this is straightforward generalization, valid for any surface, given
basic notions about coordinate charts, but there are some new features
that are special to the compact and orientable case.
We show that every compact orientable surface is homeomorphic
to a sphere with g handles, at least under the assumption that the
surface can be triangulated. Any such surface can be realized by tak-
ing a convex polygon with 4g sides, and making suitable identifica-
tions on the boundary. From this description it is routine to compute
the fundamental group and first homology group.
In Chapter 18 we show that for any differentiable surface X, there
is a canonical isomorphism between the De Rham group HIX of closed
mod exact I-forms, and the dual group Hom(H1X, IR) to the homology
group. This leads to a definition and calculation of an intersection
pairing on the homology group HIX.
Note: A surface is assumed to be connected unless otherwise stated.
See Appendix D for foundational facts about surfaces.
CHAPTER 17
233
234 17. The Topology of Surfaces
/1-+ (l-t)P + tQ
o )
If two triangles correspond to adjacent faces, this means that the re-
sulting homeomorphism between corresponding sides PQ and P' Q'
is given by the "affine" map (1- t)P + tQ~(1- t)P' + tQ'. When
we identify sides of polygons, it will always be by such affine homeo-
morphisms, so there will be no ambiguity in the results.
An orientation of X determines a counterclockwise direction around
the boundary of each triangle, with adjacent triangles determining op-
posite directions along their common edge:
s·
p ....-----..."
s
17a. Triangulation and Polygons with Sides Identified 235
The arrows indicate the identification made in the map from the
figure on the right onto that on the left. Continue in this way, until
all f of the faces have been used. We then have a convex polygon
III = II with f + 2 sides. Each side of II will correspond to a common
edge of two faces on X, and each edge occurring this way will cor-
respond to two such sides of II. Thus the sides of II will be paired
off, and we have a continuous map from II to X that realizes X as a
quotient space of II, obtained by identifying corresponding points on
corresponding sides. Note that, when traveling around II in a coun-
terclockwise direction, one travels along two corresponding sides in
opposite directions.
This realization of X as an identification space of a polygon is half
way to our goal. The data used in constructing X from the polygon
can be encoded by taking an alphabet with m letters, with m = 1f2(f + 2),
and writing down a sequence of 2m symbols, each of which is a letter
a in the alphabet, or its "inverse" a -I, with each of these symbols
occurring just once. For example, the space constructed by making
the identifications indicated in the following diagram
236 17. The Topology of Surfaces
y
x
---~x
The point is that if one first carries out the identification of a with
a -I, one gets a space homeomorphic to a convex polygon, so that the
remaining identifications are prescribed by the code with a and a-I
omitted.
Step 2. It can be assumed that all the vertices of the polygon map to
the same point of X. To show this, it suffices, if not all the vertices
have the same image, to show how to increase by one the number of
vertices mapping to a given point x, without changing the total num-
ber of vertices. There is a side, say labeled a, that joins two vertices,
one of which is mapped to x and the other to a point y not equal to
x. Let ~ be the side of II adjacent to a at the point mapping to y.
Draw the diagonal -y as shown on the polygon, and cut off the triangle
formed by a, ~, and -y, and attach it to the polygon by identifying ~
with ~-I:
~-I
y
fying (X with (X -I, and then separately doing all the identification pre-
scribed by edges lying (counterclockwise) between (X and (X - \ and
those prescribed by edges lying (counterclockwise) between (X -I and
(X. The two endpoints of (X never get identified in this process, con-
tradicting the assumption that all the vertices map to the same point
of x.
Now we simplify the code as follows: Choose an edge (x, and take
an edge f3 so that the edges (x, f3, (X - I, and f3 -I occur in this order,
but perhaps with other edges in between some of these (denoted A,
B, C, and D in the following diagram). Perform the following se-
quence of cutting and pasting moves:
~-I
A
D
I)-I
y
/ c
c
I)-I
A
,-I
17b. Classification of Compact Oriented Surfaces 239
This gives a new polygon with the same properties and the same num-
ber of vertices, which also represents X, but now it has a successive
sequence 8· -y' 8- 1 • -y-I. In addition, if other such sequences occurred
elsewhere in the polygon (i.e., in one of the parts labeled A, B, C,
or D), such sequences are not disturbed by this procedure. So we may
continue this process, until we have represented X as a polygon with
sides identified according to a code
(17.3)
f.I. -I f.I. -I f.I. -I f.I. -I f.I. -I f.I.- 1
<XI • I-'I • <XI • I-'I • <X2 • I-'2 • <X2 • I-'2 • • • • • <Xg ' I-'g' <Xg • I-'g •
~I
This is called a normal form. From this one can see directly that the
identification space is a sphere with g handles. First make the iden-
tification of each ~i with ~i-I:
240 17. The Topology of Surfaces
or
17b. Classification of Compact Oriented Surfaces 241
a a
face has a normal form given by a code 0.1' 0.1 • 0.2 • 0.2' . • • • o.h· o.h,
for some positive integer h.
Exercise 17.10. Show that the loops ai and a i define the same classes
l7c. The Fundamental Group of a Surface 245
't
+1 -I
246 17. The Topology of Surfaces
Cohomology on Surfaces
f-y
w = i/;(-y(tJ) - /;(-y(ti -
i=l
1))·
247
248 18. Cohomology on Surfaces
ary is zero, and that the integral of df over a cycle is zero. It follows
that we again have a canonical map
vanish follow from the fact that they are integrals of I-forms over a
loop, and these forms are exact on an open set containing the loop.
For the integral of 13; along a;, cut a; into two pieces, one inside the
annulus as shown, the other outside.
For the piece inside the annulus, 13; is the differential of a function
whose value at the initial point is 0 and at the end point is 1, so the
integral of 13; along this piece is 1. For the second, 13; is identically
zero. So the integral is I + 0 = I, as asserted. The argument is similar
for the integral of (X; along b;, but this time the function is I at the
initial point and 0 at the final point of the part of the path in the
annulus, so the integral is -1. 0
Exercise 18.3. Show that for closed I-forms W on the surface X one
has a "module of periods" story as in Chapter 9: if the integrals of
18b. Integrals of 2-Forms 251
along the basic loops are known, all integrals are determined. Show
CI)
in fact that if Iaj CI) = rj and h CI) = Sj' then for any closed i-chain 'Y,
g
Note in particular that the classes [(Xi] and [13i] of (Xi and 13i in HIX
are determined by their integrals, so are independent of the choices
we made in defining them. They depend in fact only on the choice
of the basis for HIX determined by the ai and bi •
II = II
x
v
Ua
vadxdy,
where the integral of each t\s",v is defined by the preceding case, since
it is zero except on 'P",(U",). Note by the compactness of the support
of v that only finitely many t\s",v can be nonzero, so this sum is finite.
(i) (riwi + r2w2, /-1) = rl(wl, /-1) + r2(w2, /-1) for I-forms WI, W2, and
/-1, and real numbers rl and r2;
(ii) (w, /-1) = -(/-1, w) for any I-forms wand /-1; and
(iii) (dj, /-1) = 0 for a function j and a closed I-form /-1.
Condition (i) says that (w, /-1) is linear in the first factor. Similarly,
or using (ii), it is linear in the second, i.e., it is a bilinear pairing.
Condition (ii) says that this pairing is skew-symmetric. Condition (iii),
together with (ii), says that (w, /-1) = 0 if either w or /-1 is exact. It
follows that we can define a mapping
HIX X HIX ~ ~, [w] x [/-1] ~ (w, /-1) = IIxw/\ /-1.
The point is that, since the integral vanishes when either is exact, the
result is independent of choice of a closed I-form in an equivalence
class. This is also a bilinear and skew-symmetric pairing.
Lemma 18.6. Let {Xi and f3i be the 110rms constructed in §18a. Then
({Xi, (Xj) = 0 = (f3i' f3j) jor all i and j, and
(ai'
_{I
13) - 0
if i = j,
if i"# j .
,,'
b·
'V /
aj
II
x
n;A 13; = JJ d};Adg;
R
= II
R
d(k dg;) = Lk dg;,
the last step by Green's theorem on the rectangle R. Now since dg;
vanishes on the bottom and top edges of the rectangle, /;. dg; is zero
on all sides of the rectangle except for the left vertical edge 'Y4, where
it is equal to dg;. So
rk
JaR
dg; = -]
'Y4
dg; = -(ghil» - g;('YiO») = -(0 - 1) = 1,
(nj'w) = Lw
J
and (l3j'w) = i w.J
Exercise 18.8. Show that, for any closed I-forms f.L and v,
Taking 'P = 0, this says in particular that if wE H1X and (w, f.L) =0
for all f.L in H1X, then w = O.
Proof. In this proof we identify closed I-forms with the classes they
define in H1X. If w = ~f=l(r;n; + s;I3;) in H1X, then by Lemma 18.6
we have
(w,l3) = = rj'
;=1
00 = ~f=l(ri(Xi + sJ3 i) is a class in HIX with (00, /-1) = cp(/-1) for all /-1. 0
Corollary 18.10. For any 'Y in HIX, there is a unique class 001 in
HIX such that J1P- = JJxOO11\p-jor all p- in HIX.
Proof. Given 'Y, the map /-1~ J-y /-1 is a homomorphism from HIX to
IR, so the proposition gives a unique class oo-y with the required
property. 0
Exercise 18.11. (a) For 'Y = ai, the corresponding class ooa; is repre-
sented by the form (Xi; and for 'Y = b i , the corresponding class oob; is
represented by the form ~i. This shows again that the classes of the
forms (Xi and ~i depend only on the choice of ai, ... , bg • (b) Show
that the map from HIX to HIX taking 'Y to oo-y is a homomorphism.
_{I
(aj, b) - 0
if i = j,
if i ~ j .
[v] ~ II
x
v.
stricted from a larger open set to a subset are the restrictions of the
partial derivatives). This means that restriction takes closed forms to
closed forms, and exact forms to exact forms, and hence determines
linear maps, also called restriction maps:
H k(U2) ~ Hk(U I ), k = 0,1,2.
n
MV(vi). Given 00 in HI(U V), 8(00) = 0 if and only if 00 = a - ~ lor
some a in HIU and ~ in HIV.
18d. De Rham Theory on Surfaces 259
MV(vii). Given J.L in H2(U U V), J.L restricts to zero in H 2U and H2V
if and only if J.L = 8(w) for some w in HI(U n V).
The proofs are exactly the same as before, and are left as exercises.
In addition, we have, as an immediate consequence of Exercise 18.20:
o- ----=- HO(U n V)
H°(U uV) ~ HOU EEl HOV
~ HI(UU V) ~ HIU EEl HIV ----=- HI(U n Y)
~ H2(UU V) ~ H 2U EEl H2y --=- H2(U n Y) - o.
Problem 18.22. Use Mayer-Vietoris to show that H2X = 0 for any
open subset of the plane.
RIEMANN SURFACES
Riemann Surfaces
263
264 19. Riemann Surfaces
x y
o o
19a. Riemann Surfaces and Analytic Mappings 265
Exercise 19.2. Verify that k(z)e = g(z) in some disk containing the
origin. Show that there are exactly e choices for such k (up to shrink-
ing the disks they are defined on), obtained by the e choices for the
eth root a of ae •
Proof. (1) follows from the fact that for any point P, there is a neigh-
borhood of P that contains no other ramification point, using the com-
pactness of X to cover it by a finite number of such neighborhoods.
It follows similarly thatrl(Q) is finite for all points Q in Y (consider
a possible limit point of the setrl(Q».
To prove (2), let Q fI. S, and rl(Q) = {PI, ... ,Pn }. There are
neighborhoods Ui of Pi and Vi of Q such that f maps Ui homeomor-
phically onto Vi. Shrinking the Ui if necessary, we may assume they
are disjoint, and that Vi contains no point of S. For any connected
neighborhood Vof Q contained in vln ... nvn , let U/ = Ui nf-I(V);
note that f maps each U/ homeomorphic ally onto V. We claim that
for V sufficiently small, rl(V) is the disjoint union of the sets U/,
from which it follows that V is evenly covered, so f is a covering in
a neighborhood of Q. To prove this claim, suppose on the contrary
that there is a sequence of neighborhoods Ni of Q whose intersection
is {Q}, such that there is a point P/ in rl(NJ with P/ not in
UI U ... U Un. By the compactness of X, a subsequence of these P;
must have a limit point P' in X. By the continuity off, f(P') = Q, so
P' = Pj for some j. But this contradicts the assumption that the points
19a. Riemann Surfaces and Analytic Mappings 267
P;' are not in Uj for all i andj. (In fact, having proved (2), it follows
that the whole neighborhood V= nVi is evenly covered.)
For (3), again letf-I(Q) = {PI' ... , Pm}, and find neighborhoods
Ui of Pi and Vi of Q such that f maps Ui onto Vi, so that in local
coordinates it is the map z >-+ Ze(Pf ) , so it is elPi ) to I except at the
point Pi' Again if V is a neighborhood of Q contained in the inter-
section of the Vi' but not containing any other point of S, then there
are ~ef(Pi) points over a point Q' in V except for the point Q. By
(2), this sum must be the number n of sheets of the covering. 0
mapping is analytic. We want to "fill in" the missing points over the
points of S, embedding r in a Riemann surface X, so that we have
an analytic mapping/from X to Y compatible with the given covering:
Xo C X
p 1 1/
Y\S c Y.
If Y is compact, we want X to be compact. In general, we want the
mapping/to be proper: for any compact set K of Y, the inverse image
rI(K) should be a compact set in X. The problem is local on Y: we
need to fill in the covering over each point of S. We will look first
at the "local model" of a Riemann surface-an open disk.
Let D = {z: Izl < I}, DO = D \ {O}. We know all about the coverings
of DO. In fact, its fundamental group is lL (since it contains a circle
as a deformation retract), so connected finite-sheeted coverings cor-
respond to subgroups of finite index in lL, and the only such subgroups
of lL are the groups elL for e a positive integer. The e-sheeted covering
corresponding to this subgroup is
Z f--o? ze.
This means that if p: EO ~ DO is any e-sheeted connected covering,
there is a homeomorphism 1\1: DO ~ eo so that po 1\1 = Pe.
wO @v;o 'IIi
-
, H"; j j P
0·0 cp
~uo
Exercise 19.8. Verify that this defines a Riemann surface X, and the
map f is analytic and proper.
19b. Branched Coverings 271
Exercise 19.12. Show that 1T)(S2 \ {Q), ... , Qr}, Qo) is the free group
Fr on the generators <T), ••• , <Tn modulo the least normal subgroup
containing <T)' • • • • <Tr • This is isomorphic to a free group on r - 1
generators <T), ••• , <Tr -).
Exercise 19.14. (a) Carry out this construction, and show that it agrees
with that described before. (b) Show that the covering corresponding
to this choice of permutations is connected if and only if they generate
a transitive subgroup of the automorphisms of T. (Recall that a group
of permutations is transitive if, for any elements t) and t2 of T, there
is a permutation in the group that takes t) to t2') (c) Let X be the
corresponding Riemann surface, withf: X~S2 the analytic mapping.
For each i, write T as a disjoint union of sets T i•j so that Si permutes
the elements of each Ti,j cyclically. Show that there is one point of
X over Qi for each set Ti,j' and the cardinality of Ti,j is the ramification
index of f at this point.
//q x
I /
I / ~ " , ", \. \ \
1/
/
4'-..J ,, \.
\.
\
\
I / / \. \
1/ / , ," \
.'<J
1// \. \
<J-q y
q
p p'
C/A~ Cli\.,
commutes. In fact, since C is simply connected, the composite fo p
lifts through the covering p' by Proposition 13.5, to produce a con-
1
tinuous map " and is automatically analytic since the projections
from C to the quotient spaces are local isomorphisms. Similarly, since
1
f is unramified, is also unramified. From the topology one can see
1
also that extends continuously to a map from S2 = C n {oo} to itself,
taking 00 to 00. From Exercise 19.4 this extension, also denoted 1, is
an analytic mapping from S2 to S2. If the degree of 1 is n, the sum
ofthe ef(p) - 1 can be at most n - 1 (since ramification can take place
only over (0), and this contradicts the Riemann-Hurwitz formula un-
less n = 1. By Exercise 19.6, we deduce that J(z) = Az + 1-.1. for some
complex numbers A and 1-.1., with A ~ O. In particular, A' A + 1-.1. cA'.
Conversely, any such A and 1-.1. determine an analytic mapping f. This
puts strong restrictions on the relations between the lattices, and on
the possible maps f.
Exercise 19.17. (a) Show that for any lattice A there is a nonzero
complex number a so that a . A is generated by 1 and T, where T is
a number in the upper half plane. So every C/A is isomorphic to one
of the form C/ClL + Z· T). (b) Show that for two numbers T and T' in
the upper half plane, C/(Z + Z· T) is isomorphic to C/(Z + 7L. T') if
and only if T' = (aT + b)/(cr + d) for some integers a, b, e, d with
ad - be = 1. (c) Show that the only analytic maps from the Riemann
surface C/(7L + 7L. T) to itself that take the image of 0 to itself are
given by multiplication by an integer n, unless T satisfies a quadratic
polynomial with integer coefficients.
It follows from the preceding exercise that the set of compact Rie-
mann surfaces that are isomorphic to some C / A are in one-to-one
correspondence with the space H/S~(Z) of orbits of the discrete group
276 19. Riemann Surfaces
SL2(Z) on the upper half plane H. In particular, not all such Riemann
surfaces are isomorphic as Riemann surfaces, although they are all
diffeomorphic to Sl x Sl. We will see later that every compact Rie-
mann surface of genus 1 has the form Cj A, so HjSL2 (Z) is the mod-
uli space of compact Riemann surfaces of genus 1.
277
278 20. Riemann Surfaces and Algebraic Curves
degree n - 1 in W:
Fw = -iJF = n· ao(Z)W'-
1
+ (n - 1)· al(Z)W'-
2
+ ... + an-I(Z).
iJW
Lemma 20.1. There are polynomials B(Z, W), C(Z, W), and d(Z),
with d(Z) ¥- 0, so that
B(Z, W) . F(Z, W) + C(Z, W) . F w(Z, W) = d(Z).
Proof. We use the lemma of Gauss (Appendix C3): if F is irreducible
in iC[Z, W], then F is also irreducible in iC(Z)[W], where C(Z) is the
field of rational functions in Z. The equation of Lemma 20.1 can be
found (and computed) from the Euclidean algorithm in the ring
iC(Z)[W], as follows. Divide F by F w to get, after clearing denomi-
nators, an equation of polynomials
bo·F = QI·Fw+R "
where bo E iC[Z] , and R, is a polynomial of degree less than n - 1 in
W. If the degree of RI in W is positive, divide Fw by R 1 , getting an
equation
b,·Fw = Q2·RI +R2;
continuing, find equations b;· R;_I = Q;+I . R; + Ri+l> until for some k,
RH , has degree 0 in W. Note that R H , 0;6 0, since otherwise Rk would
divide RH , then Rk- 2, ... , and finally Fw and F, contradicting the
fact that F is irreducible.
Set d = RH I. To find an equation of the form required amounts to
showing that d is in the ideal in iC[Z, W] generated by F and F w; this
ideal contains R, by the first equation, then R2 by the second, and so
on, until finally it contains RHI = d. 0
-
I f Fw(z,w)
dw = 1
21Ti 'Ii F(z, w) ,
glz) = -
1 i w
Fw(z,w)
dw.
21Ti 'Ii F(z, w)
In particular, take U to be a disk around Zo where all these functions
gi are defined, and set Vi = {(z, gb»: z E U}. Since these points give
all possible roots of F(z, W) = 0 over z in U, we see that p-I(U) is
the union of open sets Vi' and p maps each Vi homeomorphically onto
V, with an inverse given by Zt-+(Z,gi(Z». 0
F(z, W) ao(z) Il
PEp-lIz)
(W - w(P» .
°
where z = 0, z = 00, and the solutions of Z7 = -27/4. The points of C
over the finite points are nonsingular. Over there is one point (0,0),
and the ramification index of z: X ~ S2 is 3. Over each of the seventh
roots of -27/4 there are two points, so one of each must have ram-
ification index 2 and the other must be unramified. The point at in-
finity can be analyzed by making the substitution Z' = I/Z, but one
can see from the Riemann-Hurwitz formula that the sum of the num-
bers ez(P) - 1 for the points P over 00 must be odd, so there must be
two points over 00, with ramification indices 2 and 1. The genus gx
of the Riemann surface is given by
2gx - 2 = -2n + ~(eiP) - 1) = -6 + 2 + 7 . 1 + 1,
so the genus is 3.
the polynomial F(Z, W), then the functions Z and w (which come from
the two projections of C C C2 to the axes) are seen as in Lemma 20.4
to be meromorphic functions on X, as are any rational functions of Z
and w. Such rational functions form a subfield of M, which we can
denote by C(z, w).
2: h(P TI (T - w(P ».
n
ao(z) . i) • j
i=1 j"'i
On the one hand, as in Lemma 20.4, this can be written in the form
"i,~-=~bm(z)Tm with each b m meromorphic on S2, so bmE C(z). On the
other hand, the preceding calculation shows that
h(Pk )· Fw(z, w(P k » = ao(z)· h(P TI (w(P k )· k) - w(Pj »
2: bm(z)w(Pk)m .
n-l
=
m=O
20b. Meromorphic Functions on a Riemann Surface 283
continuing it around the plane. This approach, however, does not take
advantage of the fact that the algebraic curve C is already, except for
the modification and addition of a finite number of points, the desired
Riemann surface.
Problem 20.11. Carry out this construction, using the ideas of § 16b,
and show that it gives the same Riemann surface.
d'PJ3a
where 'PJ3a I =- -
dz
is the complex derivative. As before, the Cauchy-Riemann equations
aua/ax = ava/ay and aua/ay = -ava/ax say that such a I-form is closed.
The holomorphic 1-forms form a complex vector space, sometimes
denoted 0.1.0(X), or just 0. 1.0. A holomorphic I-form W is exact pre-
cisely when there is an analytic function g on X with dg = w. In par-
ticular, if X is compact, every analytic function is constant, and so if
W is exact, then W = O. This means that the natural map from 0. 1,0 to
HI(X; C) is injective. We regard 0.1.0 as a complex subspace of HI(X; C).
20e. Holomorphie and Meromorphie I-Forms 285
g(z, w)
{ -=-----dz: g is a polynomial of degree at
Fw(z,w) }
most n - 3 in z and w ,
Proof. It is enough to prove the formula for one such w, since any
other has the form h . W for some meromorphic function h, and
L ordp(h· w) = L ordp(h) + ordp(w) = 0 + L ordp(w)
PEX PEX PEX
Exercise 20.16. Reverse the argument in the above proof to give an-
other proof of the Riemann-Hurwitz formula for f: X ~ Y, under the
assumption that Y has a nonzero meromorphic I-form.
Exercise 20.17. (a) Show that this is well defined. (b) If z is a local
coordinate at P, and w =f(z)dz, with f(z) = ~~=_manzn, show that
Resp(w) = a_I.
Proposition 20.18 (Residue Formula). If w is a meromorphic I-form
on a compact Riemann surface X, then
2: Resp(w)
PEX
= o.
Problem 20.19. (a) Prove the Residue Formula directly when X = S2.
(b) With z: X ~ S2 as in §20b, and w = fdz, withfE M(X), show that,
for QES 2 ,
2:
PEz-'(Q)
Resp(fdz) = ResQ(gdz) ,
The first follows from the fact that dz A dz == O. For the second, if, in
local coordinates, 00 == fez) dz == f(z)(dx + i dy), then
i'wAw == i·lf(z)1 2(dx+idy)A(dx-idy) == 2If(zWdxAdy,
1ai
Wk == { I if j == k,
0 otherwise.
Proof. This follows immediately from the fact that HI(X; C) is the
direct sum of nl,o(X) and no,I(X), together with the fact that inte-
grating over cycles gives an isomorphism HI(X; C) == Hom(HIX, C),
D
290 20. Riemann Surfaces and Algebraic Curves
The integrals of this basis over the other basis elements b l , ••• , bg
carry important information. Let
TOk
J, = 1 b.
WoJ' l~j,k~g.
Corollary 20.22. (z) The matrix Z is symmetric, i.e., Tk.j = Tj,k' (ii)
The matrix Im(Z) whose entries are the imaginary parts of the entries
of Z is a positive-definite symmetric matrix.
Proof. (i) is an immediate consequence of the first of Riemann's bi-
linear relations, applied to the forms Wj and Wk'
(ii) follows from the second, applied to a form W = 'Lj= I tjWj, with
tj arbitrary real numbers, not all zero:
Exercise 20.23. Show that for X = 8 2 , for any finite set of points Pi
and any given integers mj, provided 'Lmi = 0, there is a meromorphic
function f on X with ordpi(f) = mi for all i.
It follows from what we have seen above that this map embeds HIX
in Cg as a lattice, i.e., the image of the basis elements ai, ... , bg
20e. Elliptic and Hyperelliptic Curves 291
such a lattice to be generated by I and 1", where 1" is in the upper half
plane. Realizing X by identifying the sides of the parallelogram
the images of the indicated sides can be taken as the standard basis
al and b l for HIX. Now X has a natural holomorphic I-form w, whose
pull-back to C is just the I-form dz, with z the standard coordinate
on IC. The integral of w along al is clearly 1, and the integral of w
along b l is 1". (Note that the corresponding period matrix is Z= (1"),
in agreement with Corollary 20.22.) The mapping from HIX to C = cg,
'Y I--? f'Y w, has image A generated by 1 and 1". Fix the point Po in X to
be the image of the origin in C. The Abel-Jacobi mapping from X
to CIA then takes a point P to [P - Pol = f:o w. By looking at this
mapping on the parallelogram spanned by I and 1", we see that this
mapping is an isomorphism, i.e., A: X ~ CIA.
Now suppose X is any compact Riemann surface of genus 1, which
we assume to have a nonzero holomorphic I-form w. We have the
mapping HIX ~ C taking a homology class 'Y to L w. The image is
a lattice A in C. If we take a basis ai, b l for HIX as usual, we can
take w so that fa, W = I, in which case A is generated by 1 and
1" = fbI w. As a very special case of Corollary 20.22 it follows that 1"
is in the upper half-plane. Fix a point Po in X.
But we proved directly that for any X of this fonn, the Abel-Jacobi
map is an isomorphism. D
Pdz - lP dz
P~ l
Po w PoVz(z - l)(z - A)
TI (Z - aj)
m
W2 - = o.
j=[
295
296 21. The Riemann-Roch Theorem
Lemma 21.4. (a) For any nonzero meromorphic functionf and any
divisor D,
dim(L(D» = dim(L(D + Div(f)).
(b) For any nonzero meromorphic I-form wand any divisor D,
dim(!1(D» = dim(L(Div(w) - D».
Proof. We have isomorphisms
L(D) ~ L(D + Div(f», h ~ h'f,
and
L(Div(w) - D) ~ !1(D) , h ~ h·w,
from which the lemma follows. D
Although it has been fairly easy to get an upper bound for the size
of L(D) , it is not so easy to get lower bounds, i.e., to show that there
must be functions with given poles. When X comes from an algebraic
a
curve, however, Proposition 20.8 gives first step, for at least one
divisor. Take z: X ~ S2 as in that proposition, and let E be the divisor
of poles of z, that is,
E = 2:
z(P)=OO
eiP)P.
Lemma 21.5. For this divisor E, there is a constant k such that for
all integers m,
dim(L(mE» ~ deg(mE) + 1 - k = mn + 1 - k.
Proof. We need the following fact: for any meromorphic function h
on X, there is a nonzero polynomial p(z) in C[z] and an integer t so
that p(z)' h is in L(tE). To prove this, we need only find p(z) so that
p(z)' h has no poles outside E, and one sees that II(z - z(P»-OrdP(h) ,
the product over all P such that z(P)"# 00 and ordp(h) < 0, is such a
polynomial.
298 21. The Riemann-Roch Theorem
There can be only one integer k with the second property in the
lemma, so k depends only on the Riemann surface X. We will see in
§21c that k is the genus of X, and that N can be taken to be 2g - 2.
21b. Adeles
Lemma 21.1 (b) says that each of the two subspaces L(D) C L(D + Q)
and n(D + Q) C n(D) are either equalities or subspaces of codimen-
sion one. These cannot both be subspaces of codimension one, for if
w is in n(D) andfis in L(D + Q), thenf· w is a meromorphic I-form
with at most one simple pole at Q; the Residue Formula then implies
that ResQ(f' w) = 0, which means that f· w does not have a pole at
Q, and hence either w is in n(D + Q) orfis in L(D). We will even-
tually see that one of these inclusions is an equality exactly when the
other is not, and this is the core of the proof of the Riemann-Roch
theorem. What we will do in this section is to prove a kind of local
version of this assertion.
For a point P in X, let us denote by Mp the germs of meromorphic
functions at P. These germs are defined as in §16b, by taking equiv-
alence classes of meromorphic functions in neighborhoods of P, two
being equivalent if they agree on some (punctured) neighborhood of
P. If z is a local coordinate at P, any such germ has a unique power
series expansion ~;=_manzn. Iffis in M p , and w is a meromorphic 1-
form on X, the residue Resp(f' w) can be defined to be 1/2'ITi times
the integral of f' w around a small counterclockwise circle around P.
In local coordinates, f' w can be written ~bnzn dz, and this residue is
b- t •
Define an adele on X to be the assignment of a germfp of a mero-
morphic function at P for every point P in X, with the property that
ordp(fp);::: 0 (i.e.,Jp is holomorphic at P) for all but finitely many P.
We write f= (fp) for the adele defined by such a collection of func-
tionsfp. These adeles form a complex vector space, which we denote
by R. Any meromorphic function f on X determines an adele, by as-
signing the germ off at P to each P, so the field M of meromorphic
functions is a subspace of R. An adele can be thought of as a kind
of "discontinuous function" on X. Since there is no relation between
the "values" fp at different points of X, it is remarkable that they can
be a useful tool.
If f = (fp) is an adele, then Resp(fp' w) = 0 for all but finitely many
P (those wherefp or w has a pole). We can therefore add the residues
300 21. The Riemann-Roch Theorem
Lemma 21.9.
(a) IfD is a divisor such that dim(L(D» = deg(D) + 1 - k, then
R(D) + M = R, so SeD) = 0 and fl'(D) = O.
(b) For any D the space SeD) has finite dimension, so its dual space
fl'(D) has the same finite dimension.
(c) For any divisor D and point Q, fl'(D + Q) is a subspace oj fl'(D) ,
and
dim(fl'(D)/fl'(D + Q» :::; 1,
with equality if and only if L(D) = L(D + Q).
(d) For any nonzero meromorphic Junction J on X,
dim(fl'(D + Div(f))) :;: dim(fl'(D».
Proof. If dim(L(D» = deg(D) + 1 - k, then for any point Q we know
that dim(L(D + Q» = deg(D + Q) + 1 - k (see Exercise 21.2), i.e.,
L(D + Q) ~ L(D). By the preceding lemma, this means that
R(D + Q) C R(D) + M. Continuing to add points to D + Q, we see
that R(E) C R(D) + M for all divisors E such that E ~ D. But any ele-
ment of R is in R(E) for some such E, so R = R(D) + M, which
proves (a).
For (b), take a sequence of surjections S(D)-S(D + QI)_
SeD + QI + Q2)- ... -SeE), until E is large enough so (a) implies
that See) is zero. Lemma 21.8 implies that the kernel of each of these
surjections is at most one dimensional, so by induction each SeD)
must be finite dimensional.
Dual to the exact sequence
o~ (L(D + Q) + M)/(L(D) + M) ~ SeD) ~ SeD + Q) ~ 0
is the exact sequence
o~ fl'(D + Q) ~ fl'(D) ~ «L(D + Q) + M)/(L(D) + M»* ~ O.
This shows that the inclusion fl'(D + Q) ~ fl'(D) is either an iso-
302 21. The Riemann-Roch Theorem
Let 0' be the union of all O'(D), taken over all divisors D. An
element of 0' is a homomorphism from R to C which vanishes on M
and vanishes on some (unspecified) R(D). The space n of mero-
morphic differentials on X maps to n', and we want to see that this
is an isomorphism. We have seen that if w is any nonzero mero-
morphic differential, any other can be written in the form f· w for
some meromorphic functionJ. This means that n is a one-dimensional
vector space over the field M. The space 0' is also a vector space
over M, by the rule that if f is in M and '1': R~ C, then f· 'I' is the
homomorphism which takes f to 'P(f' f).
so
dim(!l'(E - D» ~ 2dim(L(D» ~ 2(deg(D) + 1- k).
By Lemma 21.10,
dim(O'(E - D» = k - 1 - deg(E - D) + dim(L(E - D».
Now deg(E - D) = deg(E) - deg(D), and L(E - D) = 0 provided
deg(E - D) < O. So if we take any D with deg(D) > deg(E), the dis-
plays lead to the inequality
2(deg(D) + 1 - k) s; deg(D) - deg(E) + k - 1 ,
which says that deg(D) s; 3k - 3 - deg(E). But we may take D of
arbitrarily large degree, which is a contradiction. D
2Ie. Riemann-Roeh
From Lemma 21.10 and Proposition 21.12 we have the formula
(*) dim(L(D» = deg(D) + 1- k + dim(O(D»
for all divisors D on X, valid for some integer k which we do not yet
know. We can specialize (*) to some cases where we know some-
304 21. The Riemann-Roch Theorem
Exercise 21.21. Show that the I-form 'P of Corollary 21.17 is unique
up to multiplying by a nonzero scalar and adding a holomorphic 1-
form. Show that there is a unique such 'P whose residue at P is 1,
whose residue at Q is -1, and so that I -y 'P is purely imaginative for
all closed paths 'Y in X \ {P, Q}.
in X, show that there are exactly g positive integers k, all in the in-
terval [1, 2g - 1], such that
L(P , + ... +Pk-I) = L(p, + ... +Pk ).
When all Pi are taken to be a fixed point P, these integers are called
the Weierstrass gaps at P.
Lemma 21.30.
Proof. Note first that if P and p' are corresponding points of the
boundary edges aj and aj -I of II, then
h(P) - h(P' ) = -L 00 ,
}
as one sees by integrating along a path from p' to P, noting that the
integrals over corresponding parts of aj and aj -I cancel.
Therefore
( (- Jb( (0)'1'
Jaj
= - (
Jbj
w· ( 'I'
Jaj
j
so
Adding over all the edges of the boundary of IT gives the identity of
~~~. 0
To apply the lemma in our situation, the arcs aj' bj must be taken
so that none of them goes through a point of S. Let U j be a path from
Qj to P j which does not hit any of the arcs aj or bj .
(21Ti) f
"Y
Wk = ( <p.
Jb,
310 21. The Riemann-Roch Theorem
Write 'Y = "J.mA + njbj , with integer coefficients mj' nj. Then
= mk + ~ nj ook = mk + ~ nj ooj.
the last step by the symmetry of Corollary 20.22. But now if we set
00= 27Ti"J.njooj, this shows that fbk (IP - 00) = 27Timk. Therefore
1ale
(IP-OO)= -1 ale
00 = - 27Ti l2:
ak
njooj= - 27Tink,
and this completes the proof of the claim, and hence of Abel's theorem.
and J(X) is compact, it follows that the image must be all of J(X).
To prove the claim, take any distinct points PI, . . . , Pg' Let Zj be
a local coordinate at Pj , and write Wi =/;,j dZj near Pj .
HIGHER DIMENSIONS
This last part is designed to introduce the reader to a few of the higher-
dimensional generalizations of the ideas we have studied in earlier
chapters, both to unify these ideas, and to indicate a few of the di-
rections one may go if one continues in algebraic topology. It is not
written as the culmination or goal of the rest of the course, but rather
as a brief introduction to the general theory. How accessible or useful
it may be depends on several factors, such as background in manifold
theory, and ability to generalize from the special cases we have seen
to higher dimensions (an ability, it seems to me, often underestimated
in our teaching). For systematic developments of the ideas of this
part, the books of Bredon (1993), Bott and Tu (1980), Greenberg and
Harper (1981), and Massey (1991) are recommended.
We have studied the first homology group H1X, the fundamental
group 'lTl(X,X), and the first De Rham cohomology group H1X, which
were sufficient to capture most of the topology of the spaces we have
been most concerned with: open sets in the plane and surfaces, and
an occasional graph. Each of these is the first in a sequence of groups
that are used to study similar questions for higher-dimensional spaces.
In contrast to many earlier chapters, the tone in this final part is de-
signed to be more formal, concise, and abstract; we are depending
on your experience with special cases and low-dimensional examples
for motivation.
We start by recalling some three-dimensional calculus, to indicate
the sort of "topology" these higher groups might measure. Then we
take a quick look at knots in 3-space, mainly because knot theory is
314 Part XI. Higher Dimensions
an interesting and important subject in its own right, and also because
it gives us a chance to use some of the tools developed in earlier
chapters. We also define the higher homotopy groups of a space and
the De Rham cohomology groups.
In the next chapter we define higher homology groups, and prove
their basic properties. We indicate some of the ways they can be used
to extend ideas we have looked at in the plane or on surfaces to higher
dimensions. In particular, they give a simple extension of the notion
of degree, and they lead to generalizations of the Jordan curve theo-
rem.
In the final chapter we include a couple of "diagram chasing" facts
from algebra, one of which can be used to compare different ho-
mology and cohomology groups, the other to construct long exact
sequences such as Mayer- Vietoris sequences. (Having proved this
once and for all, one does not have to keep doing the same sort of
manipulations we have done to define boundary and coboundary maps.)
Finally, we give proofs of the basic duality theorems between ho-
mology and De Rham cohomology on manifolds.
The sections involving higher De Rham cohomology on manifolds
are written for those with a working knowledge of differential forms
on differentiable manifolds. A reader without this background can
skip or skim this part (or stick to low dimensions and/or open sets
in ~n). The construction of higher homology groups and its appli-
cations to higher-dimensional analogues of the theorems we saw at
the beginning of the course do not depend on any of this, however,
and a reader who has mastered the earlier chapters should be able to
work through this without any gaps. We have included Borsuk's theo-
rem that maps of spheres that preserve antipodal pairs have odd de-
gree, since this allows generalizing all the results we proved about
winding numbers to higher dimensions.
A few remarks about other approaches may be in order. It is pos-
sible to define the degree of a mapping of a sphere to itself without
the notions of homology, and to prove many of its properties. Those
with a knowledge of differential topology can do this by approxi-
mating a continuous map by a differentiable one, and following the
pattern of Problem 3.32 for the winding number. (For a nice discus-
sion in the ~oo context, see Milnor (1965)). There are also elementary
approaches using simplicial approximations, although considerable care
is required to make the arguments rigorous. (In fact, the difficulties
in this approach seem to us much greater than those involved in de-
veloping general homology theory-not to mention the fact that, hav-
ing done the latter, one can apply it in many other situations.)
Part XI. Higher Dimensions 315
We might also mention that we have used cubes rather than the
simplices that are common in many other treatments. Simplices have
a slight advantage that one has no "degenerate" maps to ignore, but
cubes are simpler for homotopies and product spaces in general, and
they are more convenient for integrating differential forms. (In fact,
it is not hard-as we do in §24d-to use cubes to calculate the sim-
plicial homology of spaces that are triangulated.)
Finally, a word on terminology: here manifolds always are assumed
to have a countable basis for their topology.
CHAPTER 22
f"I
pdx + qdy + rdz = ia
b
(P('Y(t» dx + q('Y(t» dy + r('Y(t» dz) dt,
dt dt dt
where 'Y(t) = (x(t) , y(t), z(t». A 2-fonn can be integrated over a dif-
317
318 22. Toward Higher Dimensions
II
r
udydz + vdxdz + wdxdy =
and Green's theorem (for rectangles in the plane) gives II rdw = Iarw,
where the integral around the boundary of the rectangle is defined as
in Part 1. Finally, the differential of a 2-form is a 3-form:
Exercise 22.1. State and prove Stokes' theorem for a box, and define
the boundary of II as a sum and difference of the restrictions of II to
the six sides of the box, assigning correct signs to each so the above
formula holds.
Exercise 22.4. Use this 2-form w to define the engulfing number around
o of a differentiable map from S2 to ~3 \ {O}. Can you prove any an-
alogues of the winding number?
a I-form pdx + qdy + rdz can be identified with the vector field
pi + qj + rk, the 2-form udydz + vdxdz + wdxdy with the vector field
ui - vj + wk, and the 3-form hdxdydz with the function h. In this
language, the differential df of a function corresponds to the gradient
grad(f), the differential of a I-form to the curl of a vector field, and
the differential of a 2-form becomes the divergence of a vector field:
ox of of
grad(f) = -i+-j +-k;
ox oy oz
22b. Knots
A knot is a subset K of rR3 or the 3-sphere S3 that is homeomorphic
to a circle. Call two knots equivalent if there is a homeomorphism of
rR3 (or S3) with itself that takes one homeomorphic ally onto the other,
and is orientation-preserving. (For a precise definition of "orientation-
preserving," see §23c.) A weaker notion is similarity, which is the
same except ignoring orientation, so "mirror image" knots are always
similar. The generalized Jordan curve theorem, which we will prove
in the next chapter, implies that the complement of X is connected,
that its first homology group is infinite cyclic, and its other homology
groups vanish. In particular, these groups are the same for all knots.
However, the fundamental group 'iT I(S3 \ X) or 'iT I(rR 3 \ X) can some-
times be used to distinguish knots from each other. Note that these
fundamental groups are the same for similar knots, so they can be
used as a possible invariant.
22b. Knots 321
Exercise 22.8. Show that rl(z, w) has three points if and only if
4i + 27w2 ¥- o. If 4z3 + 27w2 = 0, but (z, w) ¥- (0,0), the inverse im-
age has two points, and for (z, w) = (0,0), the inverse image has one
point.
Let V C (:2 be the plane curve 4z3 + 27w2 = 0, which is the branch
locus of the above mapping f. Let K be the intersection of V with S3:
V = {(z,w):4z 3 +27w2 =0}, K = vns 3 •
We claim first that K is homeomorphic to a circle.
322 22. Toward Higher Dimensions
Exercise 22.9. Show that the mapping e2'frit ~ ( _ae4'frit, beMrit ), where
a is the positive solution to the equation 4a 3 + 27a 2 = 27 and
b = ~, is a homeomorphism of S I onto K.
Take x = (1, 0) as the base point in X, and y = (1, 0) as the base point
in Y. Note that p-I(X) = {(1, 0), (1, i), (1, -i)}.
Exercise 22.11. Find a path of the form <r(t) = (A(t), iJl.(t», O:s t:s 1,
with A(t) > 0 and Jl.(t);::: 0 for all t, that goes from (1,0) to (1, i) in Y.
For a knot of type (2,3), for example, one can see again that this
group is not abelian by mapping it onto the symmetric group @:i 3 on
three letters, sending a to the transposition (1 2) and b to the per-
mutation (1 2 3).
There are many knots that are not torus knots. For example, one
can take a torus knot, and take a small tube around it, which is ho-
meomorphic to another torus, and put a torus knot on this. Repeating
this construction arbitrarily often gives a class of knots which, re-
markably, are exactly the knots one gets from singularities of plane
curves. There are many other knots, however. Moreover, there are
some "wild" knots, such as "Antoine's necklace":
Exercise 22.14. (a) Show that these two definitions agree by showing
that Sk is homeomorphic to the space obtained by identifying all points
of the boundary of [k to a point. (b) Show that 'ITk(X, x) = 0 for all
k> 0 if X is contractible. (c) Show that a map f: X ~ Y determines
mapsf*: 'ITk(X,x)~'ITlY,f(x)), which are functorial, and that maps
that are homotopic through basepoint-preserving homotopies deter-
mine the same map on homotopy groups. (d) Show that 'ITk(Sn, so) = 0
for O<k<n.
The sets 'ITiX,x) can be made into groups, much as for the fun-
damental group. Using the definition by cubes, one can "multiply"
two maps f and A from [k to X, defining f· A by using the first
coordinate:
_ {f(2t l ' t2 , • • • ,tk), 0::5 II ::5 1/2,
f· A(t l , · · · , tk ) - 1
A(2t l -1,t2 , • • • ,tk ), /2::5t l ::51.
Exercise 22.15. (a) Show that this operation is well defined on ho-
motopy classes, and makes 'ITlX,x) into a group. (b) Show that the
maps f* of Exercise 22.14 are homomorphisms of groups.
Problem 22.16. Show that, for all k> 1, the group 'ITk(X,X) is abe-
lian.
Exercise 22.17. Identifying S3 with {(z, w) E C2: Izl2 + Iwl 2= I}, show
that the map that takes (z, w) to w / z E C C S2 determines a continuous
mapping from S3 to S2.
It is a fact that 'IT3(S2, so) =:; 7L, with generator given by the mapping
of the preceding exercise, which is called a Hop! mapping (see Hilton
(1961». We will show in the next chapter that the fibers of the Hopf
mapping are circles that are "linked" together in S3, which is at least
an indication of the nontriviality of the Hopf map. It should be pointed
out, however, that in spite of enormous effort, which have produced
calculations of many special cases, the groups 'ITlS n, so) are far from
known in general.
_
0 - HO(UuV) -4HoUeHoV ~ HO(UnV)
-4 HI(UuV) -4 HIUeHIV ~ HI(UnV) -4
... ...
-4 H"(UUV) -4 H"UeH"V ~ Hn(UnV) - 0
To calculate these groups, one needs in addition the
(xi + . . . + X~)"/2
328 22. Toward Higher Dimensions
is closed and gives a generator of Hn- 1(lR n \{O}). If f: sn-l---+ IRn \ {O}
is differentiable, this can be used to define a higher-dimensional winding
number, or "engulfing number": W(j,O) is the integral off*wn -l over
sn-l, divided by the integral of W n -l over Sn-l.
/~
H~(VUV) .
H~(V)
We want to define a coboundary map 8: H~(UU V)~H!+I(Vn V).
Given a class in H~(U n V), represent it by a closed k-form W with
compact supports. We can write W as a sum WI + Wz, with WI and W2
k-forms with compact supports in V and V, respectively. In fact, if
tVI + tVz = I is a partition of unity subordinate to V and V, then WI = tVI • W
and Wz = tVz· W are such forms. Let" be the (k + I)-form on V n V
that is (the restriction 00 dWI . From the equation 0 = dw = dWI + dW2,
we have dWI = -dwz on V n V, so the support of" is contained in
the intersection of the supports of WI and Wz. In particular, " has
compact support on V n V. Clearly" is closed. Set
8([wD = ["l.
It is not hard to verify that this is independent of the choice, and it
is the familiar (by now) argument (and see §24a) to prove the
o-
... _
m(Un V) ~ H~U E9 H~V --=--. H~(U UV)
~ H~(UnV) ~ H~UE9H~V --=--. H~(UUV) ~
Exercise 22.28. Calculate H~X, when X is 1Rn, Sn, and IRn \ {O}.
CHAPTER 23
Higher Homology
332
23a. Homology Groups 333
af = L(-li(a?f-a:f),
;=1
that
g*-!* = aoR+Roa
Exercise 23.13. Use (23.4), (23.7). (23.8), and (23.10) to prove this
proposition.
Exercise 23.16. Show that the complements of the south and north
poles (0, ... ,0, -1) and (0, ... ,0,1) satisfy the conditions for U
and V, and use Mayer-Vietoris to complete the proof of this calcu-
lation.
In fact the converses of (a) and (b) of the preceding exercise are
true, but more difficult.
Having the notion of degree, we can define the generalization of
winding number: the engulfing number W(f, P) of a continuous map
I: sn-I ~ IRn \ {P} around P. This can be defined to be the degree of
the map that follows f by projection onto a sphere around P, i.e.,
define W(f, P) to be the degree of the map
I(x) -P
x t-+ .
11/(x) - pil
340 23. Higher Homology
Exercise 23.19. (a) Show that this local degree is a continuous func-
tion of the point, so the notion of orientation preserving or reversing
is well defined. (b) Show that a homeomorphism of sn is orientation
preserving or reversing according as its degree is + 1 or -1. Show
that a homeomorphism of IR n extends to a homeomorphism of
Sn = IRn U {oo}, whose degree therefore determines whether the origi-
nal map is orientation preserving. (c) For a diffeomorphism, show
that the local degree is given by the sign of the determinant of the
Jacobian.
Problem 23.22. Show that the degree of the antipodal map from sn
to Sn is 1 if n is odd and -1 if n is even. In particular, the antipodal
map is not homotopic to the identity if n is even.
23c. Spheres and Degree 341
o ±I ±2
Exercise 23.32. (a) Show that the linking number of the two circles
in Exercise 22.7 is ± 1, and therefore the linking number of two fibers
of the Hopf mapping of Exercise 22.17 is ± 1. (b) Show that the
intersection of a small sphere S3 around a singUlarity of a plane curve
that is a node (see §20c) is two circles whose linking number is ± 1.
It is a fact (see §24c) that the top homology group HnX of an ori-
ented n-manifold X is Z (the orientation determining a choice of gen-
erator). It follows that any continuous map f: X --') Y between oriented
n-manifolds has a degree.
23d. Generalized Jordan Curve Theorem 343
The essential point of this theorem is the assertion that the ho-
mology of the complement is the same for all embeddings of Sm in
Sn. The proof follows the pattern for the Jordan Curve Theorem in
the plane very closely, using the full Mayer-Vietoris theorem. We
discuss only the new features, leaving details to the reader. First we
have the analogous result for embeddings of cubes in Sn.
Exercise 23.36. State and prove analogous results for X C ~" homeo-
morphic to a sphere.
Problem 23.41. Let U be an open subset of ~n. (a) Show that two
classes in Hn-IU are equal if and only if they map to equal classes
in H._I(~n \ {P}) for all P not in U. (b) Show that if the complement
of U in S· = ~. U {co} is a disjoint union of m + 1 compact connected
sets, then H.-l U is a free abelian group on m generators.
CHAPTER 24
Duality
!
A ' - - B' - - C' - - D' _ _ E'
of abelian groups, such that the rows are exact sequences, and all
the vertical maps but the middle one are isomorphisms, then the mid-
dle map from C to C' must also be an isomorphism.
346
24a. Two Lemmas from Homological Algebra 347
therefore comes from an element a' in A'. This element a' comes
from some element a in A, and this element a must map to b since
they have the same images in B'. Since a maps to 0 in C, and b maps
to c, c must be o.
Exercise 24.2. (a) Prove similarly that C ~ C' is surjective. (b) Show
that the five-lemma is also valid under the following weaker as-
sumptions, still assuming the rows are exact: (i) each square either
commutes or commutes up to sign, i.e., the composite going around
one way is plus or minus the composite going around the other way;
and (ii) the maps B~B' and D~D' are isomorphisms, A~A' is
surjective, and E ~ E' is injective.
If you like this diagram chasing, there is a general process that
constructs long exact sequences, which can be used to construct all
the Mayer-Vietoris sequences we have seen. For this, one has a com-
mutative diagram of abelian groups
where the rows are exact, and the composite of any two successive
maps in the columns is zero. One says that the columns are chain
complexes. The diagram is abridged to saying one has a short exact
sequence of chain complexes
o~ C*' ~ C* ~ C*" ~ o.
For each chain complex (column) one can form homology groups.
For the center column,
HiC*) = Zk(C*)/Bk(C*) ,
348 24. Duality
Exercise 24.3. Show that this element c' is a (k - I)-cycle, and its
homology class in Hk-I(C*') is independent of choices of the repre-
sentative z" and the element c that maps onto z".
is exact.
*'
maps denoted ih: Cc~ Ck- 1 and iJ/: Ck ' ~ Ck- 1', respectively. Define
a map of chain complexes f*: C *~ C to be a collection of homo-
morphisms.fk: Ck~C/ that commute with the boundary maps. Show
that such mapsh determines homomorphisms from HiC*) to Hk(C/).
Call two maps f* and g* chain homotopic if there is a collection of
maps, Hk: Ck~Ck+l' such that
gk-fk = iJk+loHk+Hk-loiJk
for all k. Show that f* and g* then determine the same maps from
Hk(C*) to Hk(C*') for all k.
as the differential of a (k - I)-form J.L, and evaluating J.L over the end-
points of the subdivided path. For k> 1, unless the restriction of the
k-cube to its boundary is differentiable, this will not work. A more
systematic procedure, that does work, is to show that the homology
HkX can be computed by using only differentiable cubes.
A cube f: /k ~ X is a «6" cube if it extends to a «6" mapping on
some neighborhood of the cube /k C lit. Define C;X to be the free
abelian group on the nondegenerate «6" k-cubes. The boundary afrom
the k-chains to the (k - i)-chains takes «600 cubes to «6" cubes, so we
can define the «6" homology groups H;X to be the quotient of the
closed «6" k-chains modulo the subgroup consisting of boundaries of
«6" (k + i)-chains. There is an obvious map
Ir w = Ll*(W),
where f*(w) is the pull-back form; a form on the cube can be written
f(x i> • • . , Xk) dx 1 /\ dx2 /\. • . /\ dxb
and the integral of such a form is the usual Riemann integral of the
continuous function f on the cube.
r dw
Jr
= r w.
Jar
From Stokes' theorem, it follows as in the case k = 1 that there is
a map
dx ~ Hom(H;X, IR),
Theorem 24.12. For any manifold X the natural maps lI';X ~ HkX
are isomorphisms.
Proof. Let us write "T(X)" for the statement that the maps from
lI';X to HkX are isomorphisms for all k. There are three tools:
(1) T(U) is true when U is an open rectangle in IRn.
(2) If U and V are open in a manifold, and if T(U), T(V), and T(U n V)
are true, then T(U U V) is true.
(3) If X is a disjoint union of open manifolds X a , and each T(Xa) is
true, then T(X) is true.
With what we have seen, each of these is easy to prove. (1) follows
from the fact that H;U and HkU vanish for k>O, and both are nat-
urally isomorphic to Z when k = 0, cf. Exercise 24.8. (2) follows
from the fact that we have Mayer-Vietoris exact sequences for each,
with compatible maps between them:
H;unV-H;UeH;V- H;UUV-H':.-lunV-H;_IUeH;Y
~ ~ ~ ~ ~
Hk U n V - Hk U e Hk V - Hk Uu V - Hk_1un V - Hk_1U e Hk_1V
Theorem 24.13. For any manifold X the natural maps from H"x to
Hom(H;X, ~) are isomorphisms.
Proof. The proof follows exactly the same format, with T(X) being
the statement that these maps are isomorphisms for all k. Once (1)-
(3) are proved, in fact, the proof is identical. The proof of (1) is the
same, and (3) follows from the fact that to specify a class of either
kind is equivalent to specifying a class on each Xa (i.e., HkX is the
direct product of the groups HkXa , and similarly for Hom(H;X, ~».
To prove (2), we need to compare the cohomology Mayer-Vietoris
sequence with the dual of the Mayer-Vietoris sequence in homology.
For brevity write H';X* in place of Hom(H;X, ~). We have a diagram
Problem 24.15. Show that for U open in ~n. two classes 'Tl and 'T2
in H n- 1 U are equal if and only if IT, w = IT2 w for all closed (n - 1)-
forms won U.
and
This duality theorem has several corollaries that were not obvious
before. For example, the simple fact that H~X = 0 whenever X is a
connected but not compact manifold implies the
Proof. Since HOX = IR, it follows from the theorem that H~X is one
dimensional, and we have seen that the map H~ ~ IR is not zero.
D
Problem 24.23. (a) Use this corollary to prove that dx is finite di-
mensional. (b) If n = 2m, with m odd, show that the dimension of
HmX is even, and deduce that the Euler characteristic
n
L(-ltdim(HkX)
k=O
must be even.
This is a bilinear pairing, satisfying (~, a) = (-IY"(n- p )(a, ~). The fact
that (a, ~) is always an integer, however, is not so obvious from this
definition, although it can often be verified directly by making con-
structions for representatives of Wa and wj3, as we did for surfaces in
Chapter 18.
(Note that this is not obvious from the definition of De Rham groups,
even for open sets in ~n.) (b) Show that H~X is the direct limit of
the H~Ui:
In fact, one can construct cohomology groups H\X; lL) for any space
X, which are finitely generated abelian groups for manifolds as in
Exercise 24.16, and one can find an analogue of the wedge product
24d. Simplicial Complexes 359
for these groups; after proving appropriate duality theorems, one has
a construction of the intersection pairing whose values are integers.
This could be a next chapter, if this book didn't end here. At least
now we can give a quick definition of these groups, or of cohomology
groups Hk(X; G) with coefficients in any abelian group G, general-
izing directly the discussion in §16c. Define a k-cochain to be an
arbitrary function that assigns to every nondegenerate k-cube in X an
element of G; these form a group Ck(X; G). If c is a k-cochain, define
the coboundary 8(c) of c to be the (k + l)-cochain defined by the
formula 8(c)(f) = c(af), where a cochain is extended linearly to be
defined on all chains. Then 8 0 8 = 0, so one can define
Hk(X; G) = Zk(X; G)/Bk(X; G), where Zk(X; G) is the group of k-co-
cycles (whose boundary is zero), and Bk(X; G) is the group of k-co-
boundaries (of (k - l)-cochains).
Exercise 24.27. Prove that these groups satisfy the same properties
as homology groups, but "dual." For example, maps f: X ~ Y deter-
mine (functorial) homomorphisms f*: Hky ~ HkX, homotopic maps
determine the same maps on cohomology groups. State and prove the
Mayer-Vietoris theorem for these groups. Construct homomorphisms
from Hk(X; G) to Hom(H kX, G), and show that these are isomor-
phisms if G = lIt
Exercise 24.30. Verify that the composite iJ 0 iJ: CnK ~ Cn- 2 K is zero.
Exercise 24.31. Suppose K has a vertex Vo with the property that for
every simplex a in K, the subset consisting of a and va is also in K;
24d. Simplicial Complexes 361
Proof. For (a), we must show that afa = L7=o(-IYf(vo ... ,~;, ... ,v ,where
n)
The proof of (b) will be by the (by now) familiar induction using
Mayer-Vietoris, as follows. If L J and L2 are subcomplexes of K, we
have a commutative diagram
These appendices collect some facts used in the text. The beginnings of
Appendices A, B, and C state definitions and basic results from point set
topology, calculus, and algebra that should be reasonably familiar, together
with proofs of a few basic results that may be slightly less so. Each of these
appendices ends with some more technical results that may be consulted as
the need arises. Appendix D contains two technical lemmas about vector
fields in the plane, as well as some basic definitions about coordinate charts
and differential forms on surfaces. Appendix E contains a proof of Borsuk's
general theorem on antipodal maps that was stated in Chapter 23.
367
368 Appendix A. Point Set Topology
sets {Ua: a E stl} such that K is contained in the union of the Ua, there is a
finite subset {a(I), ... , a(m)} of stl so that K is contained in the union
Ua(l) U ... U Ua(m). The following are some basic facts about compact spaces:
Problem A.S. Show that any compact, convex subset of ~. that contains a
nonempty open set is homeomorphic to the closed unit disk
D' = {(XI, ... ,x.):x/+ ... +x.2 ::;1}.
If aK is the boundary of K, i.e., aK is the set of points of K such that every
neighborhood contains points inside and outside K, show that there is a ho-
meomorphism from K to D n that maps aK homeomorphically onto the boundary
Sn-I = aD n •
Exercise A.14. Let XC 1R2 be the union of the points (0,0), (0,1), and the
lines {lin} x [0, 1], n = 1, 2, .... Show that these are the connected com-
ponents of X, but whenever X is written as the union of two open and closed
subsets, the points (0,0) and (0, 1) belong to the same subset.
Exercise A.IS. If X is locally connected, show that all the connected com-
ponents of X are open in X.
370 Appendix A. Point Set Topology
A3. Patching
If a topological space X is the union of two sets A and B, both open or both
closed, and f; A ~ Y and g; B ~ Y are continuous mappings from A and B
to a space Y, such that f and g agree on A n B, then there is a unique con-
tinuous mapping h from X to Y that agrees with f on A and with g on B.
If Y is a topological space, and R is any equivalence relation on Y, the
set Y /R of equivalence classes is given the quotient topology; a set U is
open in Y /R exactly when its inverse image in Y is open. If f; Y ~ Z is a
continuous mapping that maps all points in each equivalence class to the
same point, then f determines a continuous mapping 7: Y / R ~ Z so that the
composite Y~Y/R~Z isf.
Suppose Y I and Y2 are two spaces, with open subsets VI of Y I and V 2 of
Y2 , and a homeomorphism -It; UI ~ U2 is given between them. Then one can
patch (or glue, or clutch) the spaces Y I and Y2 together, to form a space Y.
There will be maps 'PI; Y I~ Y and 'P2; Y2~ Y; Y will be the union of the
open subsets 'PI(Y I) and 'Pz(Yz), each 'Pi will map Yi homeomorphic ally onto
'PI(Yi ), with 'PI(U I) = 'Pz(Uz), and -It will be the composite 'Pz -1 0 'PIon U I .
One can construct Yas the quotient space YlilYz!R, where R is the equiv-
alence relation consisting of pairs (UI ,-It(UI» for UI in U I , and of course the
symmetric pairs (-It(UI), UI), together with all pairs (YI ,YI) for YI in Y1 and
all pairs (Yz, yz) for Yz in Yz ·
A4. Lebesgue Lemma 371
Remark A.21. The lemma is true, with the same proof, when V is replaced
by any manifold whose. topology has a countable basis of open sets.
APPENDIX B
Analysis
ff(X)dx = F(b)-F(a).
- 1 Lb f(x) dx = f(x*).
b-a a
373
374 Appendix B. Analysis
Proposition B.6 (Green's Theorem for a Rectangle). Ifp and q are contin-
uously differentiable functions on a rectangle R = [a, b] x [c, d], then
f
R
- fp(X,d)~- q(a,y)dy.
II:~ ~dy
R
= f [J::~ dY]~ = f [p(x,d) - p(x, c)]~.
Green's theorem results by subtracting these two equations. o
Writing W = p(x,y)~ + q(x,y)dy, this says that
where 'VI> 'V2, 'V3, and "/4 are the four sides of the rectangles, as in
Chapter 1.
in a neighborhood of P.
Proof. We may assume P = (0,0). By the fundamental theorem of calculus
and the chain rule,
(We will construct these functions so that only finitely many <Pi are nonzero
in a neighborhood of any point of V, so the sum is a well-defined C(6"" func-
tion.)
Proof. There are several steps.
376 Appendix B. Analysis
Step 1. There is a '(6'" function f on IR that is zero on the negative half line
and positive on the positive half line. Such a function is
if x>O,
if x:s O.
Step 2. Given a bounded rectangle (a., b.) x ... x (an, bn), there is a '(6'"
function h in IRn that is positive on the rectangle, and zero outside the rect-
angle. In fact, the function g(x) = f(x) ·f(l - x) is positive on (0, 1) and zero
outside this interval, and this leads to the required function
I
, _ I,
) •
Step 3. If A is a compact subset of V, there are '(6'" functions (Ji so that the
closure of the support of (Ji is contained in Vi' and the sum 2~=. (Ji is every-
where positive on A. To construct them cover A by a finite number of rect-
angles Ra such that the closure of each Ra is contained in some Vi' and use
Step 2 to construct ha that are positive on Ra and zero outside. Take (J. to
be the sum of those ha such that Ra is contained in V., let (J2 be the sum
of those among the others such that the closure of the support is contained
in V2> and continue in this way until all ha are used; set the other (Ji equal
to zero.
'Pi
Exercise B.13. Extend these results on partitions of unity to the case where
U is any manifold that has a countable basis of open sets.
Exercise B.14. For 0 <'1 <'2 construct a ~oo function IjJ on the plane that
'1
vanishes on the disk of radius centered at the origin, and is identically 1
outside the disk of radius '2 centered at the origin, and takes values in the
interval (0,1) between the two circles.
APPENDIX C
Algebra
378
C 1. Linear Algebra 379
Exercise C.I. Show that the product GLzIR x GLzIR~GLzIR, A XB~A 'B,
and the inverse map GL21R~ GL21R, A ~ A -I, are continuous mappings.
380 Appendix C. Algebra
Lemma C.2.1f det(A) > 0, there is a path y. [a, b] ~ GL21R such that ')'(a) = A
and y(b) = [b ~J. If det(A) < 0, there is a path y: [a, b] ~ GL21R such that
')'(a)=Aand')'(b)=[b -~J.
Proof. We will find a sequence of paths, each taking the matrix to a simpler
one. For example, by multiplying a column of a matrix by t, with t varying
in [a, 13], for a and 13 positive, we can find a path changing the lengths of
the column. In particular, we can assume the first column of A is a unit
vector, so it can be written in the form (cos({}), sin({})) for some {} in [0, 2'IT].
Then the path
() = [ 1 (1 - t)b]
"(t 0 d '
to get to a matrix where the second column is (0, d). Changing the length
of the second column as at the beginning, we can get it either to (0,1) or
to (0, -1), as asserted. 0
Problem C.3. Generalize to GLn IR, showing that GLn IR has two connected
components for all n;::' 1.
<p = (j) 0 1T. If <p is surjective, then (j) is an isomorphism. More generally, if
N is any normal subgroup of G, a homomorphism from G/N to a group G'
determines a homomorphism from G to G' such that N is contained in its
kernel. The image <peG) of any homomorphism <p: G~ G' is a subgroup of
G', denoted Im(<p), and <p determines an isomorphism of G/Ker(<p) with
Im(<p). If NeG and N' C G' are normal subgroups, and <p: G~ G' is a ho-
momorphism such that <peN) eN', then <p determines a homomorphism
(j): G/N~G'/N'.
The set of homomorphisms from G to G' is denoted by Hom(G, G'). So
if N is a normal subgroup of G,
Hom(G/N,G') ~ {<pEHom(G,G'):<p(N)=ed.
An important normal subgroup of a group G is the commutator subgroup,
denoted [G, G]. This consists of all finite products
g,h,g,-'h,-' . g2h2g2 -lh2-I •...• g.h,.g. -'h. - I ,
If A and B are abelian groups, the direct sum A EB B is the set of pairs
(a, b), with a in A and b in B, with addition defined by
(a, b) + (a', b') = (a + a', b + b'). More generally, given any collection Aa
of abelian groups, the direct sum EBAa consists of collections faa}, with aa
in A a , with the condition that aa can be nonzero for only finitely many 0:.
Addition is defined component by component, as for two factors. For ex-
ample, l' is the direct sum of n copies of l. The same definition, but with-
out the restriction that only finitely many are nonzero, defines the direct
product, denoted IIAa.
Exercise C.6. For any collection A" of abelian groups, and any abelian
group B, construct an isomorphism
Hom(EElA" ,B) == II Hom(A" ,B) .
An abelian group A is a free abelian group, with basis {e a }, if every ele-
ment in the group has a unique expression in the form Lnaea , for some in-
tegers na, with only finitely many na nonzero. If the number of elements in
a basis is a finite number n, we say A is a free abelian group of rank n. As
we will see below, this number is independent of choice of basis.
Exercise C.7. (a) If A and B are free abelian groups, show that AEElB is
free abelian, and if the ranks are finite, rank(AEElB) = rank(A) + rank(B).
(b) If F is free abelian, and A is abelian, and Ij): A - F is a surjective ho-
momorphism, show that A is isomorphic to the direct sum of F and Ker(Ij)).
Exercise C.S. Show that the rank of the abelian group II) of rational numbers
is 1.
For any set X, the free abelian group on X, denoted F(X), can be defined
as the set of finite formal linear combinations Lnxx, with nx integers, the
sum over a finite subset of X. The addition is defined coordinate-wise:
Lnxx + Lmxx = L(nx + mx)x. More precisely, define F(X) to be the set of
functions from X to 1L. that are zero except on a finite subset of X. This is
an abelian subgroup of the abelian group of functions from X to 1L.. To the
function f: X -1L. is associated the expression 'i/(x)x. The element x cor-
responds to the function that takes x to I and all other elements of X to zero.
These elements form a basis for F(X).
For any abelian group A, and any function Ij) from a set X to A, there is
a unique homomorphism from F(X) to A that takes LnxX to Lnxlj)(x). In par-
ticular, if Ij): X - Y is any function, it determines a homomorphism from
C2. Groups; Free Abelian Groups 383
(C.Il)
with y in A, n not O.
Given f in Hom(A, IR), we define g in Hom(A', IR) by setting
1
g(x) = - (f(y)) ,
n
for any integer n;60 and yEA so that (C.Il) holds. To see that g is well
defined, suppose also
mx = ~m..x" + <p(z) ,
By (i), this element must be zero, and since q> is one-to-one, nz must be
equal to my. Therefore,
I 1 I 1 I
-(f(z» -(f(nz» -(f(my» -(mJ(y» -(f(y» ,
m mn mn mn n
as required.
The proof that g is a homomorphism is similar, for if x and x' are two
elements of A', write
I I I
g(x ± x') = - (f(my ± nz» = - J(y) ± - J(z) = g(x) ± g(x') .
mn n m
And, by definition, if x = q>(y), then g(x) = J(y) , so q>*(g) = J. D
Exercise C.13. Show conversely that if Hom(A, IR) has finite dimension n,
then A has rank n.
Given homomorphism q>: A~B and 1/1: B~C, one says that the sequence
A ~ B ~ C is exact, or exact at B if the image of q> is equal to the kernel
of 1/1. To say that the sequence O~ A ~ B is exact is the same as saying the
map from A to B is one-to-one, and to say that A~B~O is exact is the
same as saying the map from A to B is surjective.
C3. Polynomials; Gauss's Lemma 385
2: (-Ii rank(A;)
n
O.
;=1
Proof. Given F in K[X, Y], write F = ao(X) + al(X)Y + ... + an(X)y n, with
a;(X) in K[X]. The greatest common divisor of ao(X), ... , anCX) is called
the content of F, and denoted c(F). Call F primitive if c(F) = 1.
We show first that the product of two primitive polynomials is also
pnmltlve. To see this, suppose F = ao + al Y + ... + anyn and
G = bo + b l Y + ... + bmym are primitive. Suppose a nonconstant polyno-
mial p = p(X) divides all the coefficients of F· G. Take the minimal i and
j such that p does not divide a; and bj • Then the coefficient of yi+j in F· G
has the form
Since all the tenns but the first are divisible by p, and the first is not, this
is a contradiction.
It follows from this that for any two polynomials F and G in K[X, Y),
c(F' G) = c(F)' c(G). To see this, write F = c(F)· F l , G = c(G)' G l , with
Fl and G l primitive. Then F· G = c(F) . c(G)' Fl' G l , and Fl . G l is prim-
itive, from which it follows that the content of F· G is c(F)· c(G).
Given any nonzero G in K(X)[Y) , one can write G = g . G l , with g in
K(X) and G l a primitive polynomial in K[X, Y). Now suppose F is an ir-
reducible polynomial in K[X, Y), and that F factors in K(X)[Y) into G· H,
with both G and H of positive degree in Y. Write G = g' G l , H = h· HI,
with G l and HI primitive, and g = p/q, h = r/s, withp, q, r, s EK[X). Then
q·s·F=p·r·GI·H I in K[X,Y). It follows that q·s·c(F)=p·r. Hence
F = c(F)' Gl • HI, which contradicts the irreducibility of F in K[X, Y). D
Exercise C.tS. Show that, for any field K, K[X, Y) is a unique factorization
domain. Generalize to polynomials in n variables.
On Surfaces
au (P) au (P)]
J~.P =
[ ~~ ~~ ,
-(P) -(P)
ax oy
which we regard as a linear mapping from vectors in ~2 to vectors
in ~2 (see Appendix C). If V is a continuous vector field in U, the
vector field 'P* V in U' is defined by the formula
(<p*V)(P' ) = J~.p(V(P»,
Proof. There is no loss in generality by assuming that P and P' are the origin
0, that U is a disk containing the origin, and that V is not zero in U\{O}.
387
388 Appendix D. On Surfaces
This will reduce the problem to the easier case of a linear mapping. We
want to construct a homotopy from 'P to J. Define
Now H(Q x t) = (K, hey) gives a homotopy from J *V to 'P* V in the sense
of Exercise 7.3, and (D.2) follows from that exercise.
We are therefore reduced to showing that Indexo(J* V) = Indexo(V) for any
invertible linear mapping J. Now we use Lemma C.2 to know that there is
a path in the space of invertible matrices from J either to the identity matrix
I, or to the matrix I' = [~ ~I J. If such a path is given by a formula t ~ J"
a:5 t:5 b, then the homotopy H(Q x t) = (J,)*(V) gives a homotopy from
J*V to I*Vor to I'*V, and the same exercise shows that the index doesn't
change. Of course I*V= V, so all that remains is to prove that
IndeXo(I' *V) = IndeXo(V).
If Vex, y) = (p(x, y), q(x, y», then by the definition of I' *,
(I'*V)(x,y) = (p(x, -y), -q(x, -y».
Lemma D.4. Suppose V and Ware continuous vector fields with no sin-
gularities on an open set U containing a point ~ Let D CUbe a closed
disk centered at,.!'. Then there is a vector fieJd V with no singularities on
U such that (i) V and V agree on U \ D; (ii) V and Wagree on some neigh-
borhood of P.
Proof. Suppose first that the dot product V(P) . W(P) is positive. Shrinking
the disk, we may assume that V(Q) . W(Q) > 0 for all Q in D. As in Step 2
of the proof of Proposition B.lO (see Exercise B.14), there is a ~~ function
p that is identically 1 in a neighborhood of P, and identically 0 outside D,
and taking values in [0,1]. Let
-
V (Q) = (1 - p(Q»V(Q) + p(Q)W(Q).
Then V(Q)' V(Q) > 0 for all Q in U, so V has no singularities, and con-
ditions (i) and (ii) are clear.
For the general case, it therefore suffices to find a vector field VI with
no singularities that agrees with V outside D, and such that VI(P)' W(P) is
positive. This can be done by rotating V inside D. With the same func-
tion p, and -fr the angle from the vector V(P) to the vector W(P), we can
take
with Ua open in the plane [R2, and 'Pa(Ua) open in X; the a are in some index
set. The surface X should be the union of these open sets 'Pa(Ua). Let
Ua~ = 'Pa -1('Pa(Ua) n 'P~(U~». These charts determine change of coordi-
nate mappings 'P~a = 'P~ -I 0 'Po<' which are homeomorphisms from U0<13 to
U13a •
390 Appendix D. On Surfaces
qIOl
U~U~ _____________
qlP_Ol_________ ~~ ~.
°
If f is a '(6'" function on some open set in 1R3 , and X is the locus where
f(x,y, z) = and grad(f) ¥ 0, then X is a smooth surface. If for example
(aflaz)(p) ¥ 0, the implicit function theorem says that projection from X to
the xy-plane is locally one-to-one near P, and the inverse to this projection
provides a chart near P.
If X is a surface given by charts as above, a vector field V on X can be
defined as a compatible collection of vector fields Va in each of the coor-
dinate neighborhoods Ua' The compatibility means that
(CPJ3a)*(Valuap) = vJ3lup.'
where (CPJ3a)* is defined as in the preceding section. The vector field has a
singularity at a point P in X if, with some n such that CPa(Pa) = P, the cor-
responding Va has a singularity at Pa in Ua . By Lemma D.I the index of
Va at Pais independent of choice of coordinate chart. This index is defined
to be the index of V at P.
The surface X is orientable if it has an atlas of charts such that all the
determinants of the lacobians of the change of coordinate mappings are pos-
itive. An orientation is a choice of such an atlas, with two atlases defining
D3. Differential Fonns on a Surface 391
the same orientation if all changes of coordinates from one to the other have
positive detenninants of Jacobians. An orientable surface has two orienta-
tions, with two orientations defining the opposite orientation if all changes
of coordinates from one to the other have negative Jacobian detenninants.
auav auav)
'P*(hdxdy) = (h°'P). ( - - - - - dxdy.
axay ayax
Exercise D.6. (a) Verify that these formulas define I-forms and 2-forms on
X. (b) Verify that d is linear, i.e., d(riwi + r2w2) = rld(wl) + r2d(w2) for real
numbers rl and r2 and O-forms or I-forms WI and 002' (c) Verify that d(df) = O.
(d) Show that for k = 0, I, and 2, a k-form for one atlas determines a k-
form for any other atlas, and that this is compatible with the definition of
differential.
There is also a wedge product /\ that takes two I-forms 00 and IL and
produces a 2-form 00/\ IL. For an open set U in the plane, if 00 = fdx + gdy,
and IL = hdx + kdy, for f, g, h, and k C(&'" functions on U, then
w/\IL = (fdx+gdy)/\(hdx+kdy)=(f·k-g·h)dxdy.
If 00 and IL are I-forms on X given on Ua by Wa and lLa, respectively, then
00 /\ IL is the 2-form given on Ua by Wa /\ lLa, with Wa /\ lLa defined by the
displayed formula. Iffis a function and 00 is a I-form (or 2-form), then/' 00
(defined locally by fa' W a) is a I-form (or 2-form).
Exercise D.7. (a) Verify that W/\IL is a 2-form. (b) Verify the following
properties of the wedge product:
(i)
for 001,002, and IL I-forms, andfl andf2 functions;
(ii) IL/\W = -w/\IL
for IL and 00 I-forms; and
(iii)
for f a function and IL a I-form.
In fact, all the results of this appendix generalize from two to n dimen-
sions, leading to the notion of a smooth manifold of dimension n, a vector
field on a manifold, the index of a vector field, an orientation of a manifold,
k-forms on a manifold (0::::; k::::; n), with differential from k-forms to (k + 1)-
forms, wedge products of k-forms and I-forms being (k + I)-forms, with sim-
ilar properties.
APPENDIX E
393
394 Appendix E. Proof of Borsuk's Theorem
thing becomes a little easier, since one can ignore all signs entirely. Since
these are the only ones we will consider here, we denote them by RkX:
RkX = Hk(X; 1./21.).
Similarly, we denote by C~ the chain complex C*(X;1./2l.).
It follows from the isomorphism Hn(Sn)/2Hn(sn) == Rn(sn) that for any
continuous map f: Sn~sn, the degree of f is odd if the homomorphism
f*: Rn(sn) ~ Rn(sn) is not zero, and even if f* is zero. We denote the an-
tipodal map by
T: Sn ~ So.
Let 11": sn~ !RlIln be the two-sheeted covering map that identifies antipodal
points. We will prove Borsuk's theorem by using the chain complex and
homology of these spaces and maps with coefficients in 1./21.. For this we
need a general lemma.
Let 11": X ~ Y be any two-sheeted covering map, and let T: X ~ X be the
map which interchanges the two points in 11" -I(p) for each P in Y. The cor-
responding map 11"*: C~ ~ C*Y of chain complexes is surjective. In fact,
if f: Ik~ Y is a k-cube, there are exactly two k-cubes Al and A2 = To Al in
X with 11" 0 Aj = f. This is proved exactly as we proved the lifting of hom-
otopies in § lIb. The mapping f 1-+ Al + A2 determines a homomorphism
t*: C*Y~ C*X of chain complexes, called the transfer (see Problem 18.26).
A chain is in the kernel of 11"* exactly when each cube To A occurs with the
same coefficient as A. We therefore have an exact sequence of chain com-
plexes
(E.2)
Lemma E.3. (i) Lett X~X be a continuous map such thatfoT= Tof, and
let g: Y~ Y be the map determined by the condition go 7T = 7T Of. Then the
diagram
0 - c * y ~CX ~c*y - 0
*
g*! f.! g.!
0 - C . Y ~C*X ~cy - 0
commutes.
•
(ii) Let t X ~ X be a continuous map such that fo T = f, and let g: Y ~ Y
be the map determined by the condition g07T= 7T Of. Then the diagram
Appendix E. Proof of Borsuk's Theorem
0
395
~ C*X ~ c*y -0
01
-c*y
0- -0
f*l g*l
1 1
11
g* f*
- - t*
HnY~ Hn X ,
the right diagrams valid for i = I, ... , n. Since g*: HoY ~ Ho Y is an iso-
morphism, it follows from the right squares and induction on i that the ho-
momorphism g*:H;Y~H;Y is an isomorphism for every i=O, ... , n.
Then the left square implies thatf*: HnX ~ HnX is an isomorphism as well,
and this completes the proof.
Similarly, iff: sn~sn is a map withfoT= f, we have by (ii) of the lemma
a commutative diagram
396 Appendix E. Proof of Borsuk's Theorem
iif~HX
01 = 1·1
Hnf ~ .. H~.
This implies that f*: Iinx ~ Iinx is zero, which means that f has even de-
gree, and completes the proof of Theorem 23.24. 0
Hints and/or answers are given for some of the exercises and problems,
especially those used in the text, or those that are hard.
0.1. Hint: The answer depends only on the numbers of edges that emanate
from each vertex. What happens to these numbers when you travel, erasing
the edges as you travel over them? When do you get stuck at a vertex?
Answer: There is always an even number of vertices such that the number
of edges emanating from the vertex is odd (if an edge has both ends at a
vertex, it counts twice). If this number is greater than 2, the graph cannot
be traced. If the number is 2, it can be traced, but only by starting at one
of these, and (necessarily) ending at the other. If the number is 0, you can
start anywhere, and will end at where you start. To see that one can do it
under these conditions, one way is to make any trip, starting at an odd vertex
if there are two such, continuing until you get stuck. Then make another
trip, but adding a side trip along untraveled roads, until you (necessarily)
get back to the old route at the same point. Each trip becomes longer, until
the whole is traced.
0.2. See Chapter 8.
397
398 Hints and Answers
a point inside D, and look at the first time the arc hits the boundary of D
with inward pointing tangent; splice on to this arc (see §B2 for similar con-
structions) to get to any point inside D.
I. 13. See Chapter 9 for more general results.
1.20. For the challenge, use the law of cosines.
2.3. Show that the derivative of {}(t) must be
-y(t)x'(t) + x(t)y'(t)
X(t)2 + y(t)2
Or show that two such functions differ by a multiple of 271', which must be
o by continuity.
2.9. Consider neighborhoods given in polar coordinates by {}, < {} < {}2 and
r, <r<r2, with {}2-{}' <271'.
3.13. In the starshaped case, show that any closed path is homotopic to a
constant path, and use Exercise 3.7.
3.15. Use Problem 3.14 to construct a homotopy between the lifted paths.
3.22. Use Problem 3.21 and Problem 3.14.
3.23. Use a homotopy H(P x s) = (l - s)F(P) ± sP, which is a homotopy
from F to the mapping P~P or to P~ -P.
3.25. Part (d) uses Problem 3.22.
Hints and Answers 399
3.27. The degree of OoF is the sum of the degrees of F and O. For the
proof, use Problem 3.26.
3.29. Use the fact that the group GL2(1R) of two by two invertible matrices
has two connected components, cf. Appendix C.
3.30. Deform from the map to its linear approximation. See §D1.
3.31. See §19a for the local structure of general analytic mappings.
3.32. Compute the change in angle of F along the arcs between points in
r1(p').
5.13. Take U = 1R2 \ A, V = 1R2 \ B, and show that the image of & and the
kernel of & each have dimension at least 1.
5.14. Divide the rectangle in half, with the intersection an interval. Argue
as in Theorem 5.1, and use the fact (*) to know about the first cohomology
groups of the complements.
5.16. Write X = A U B, with A and B homeomorphic to circles, and A n B
a point or homeomorphic to an interval.
5.21. Induct on e. Let A be the union of the vertices and e - I ofthe edges,
and let B be the other (closed) edge, and set U = 1R2 \ A and V = 1R2 \ B,
arguing separately the cases when B has one endpoint or two, and, when
two, whether they are in the same component of A or not.
5.22. Analyze the connected components of the complement as the edges
are added.
5.23. Take V= 1R2\X, so UU V= 1R2 and un V= U\X.
5.~.~ Q
5.26. Look at the image of a circle around the band, and the image of its
complement.
5.27. For example, the situation should look locally-via a homeomor-
phism-like the two axes crossing at the origin.
5.28. Both follow from Corollary 5.18.
7.2. Consider (!R(x + iy)", ~(x + iyn and (!R(x + iy)", - ~(x + iy)"), where
!R and ~ denote the real and imaginary parts.
7.3. If 'Y is a path around P as usual, H°'Y gives a homotopy in Ilf\{O}
from Vo°'Y to VI°'Y.
7.4. In the first case, consider the homotopy
H(t, s) = s· V('Yr(t)) + (1 - s)· p('Ylt))· V('Yr(t)) ,
(~*V)(x, y) = [Y~~ 2
with (a, b) a nonzero vector, and where p(x,y) and q(x,y) approach zero as
Ixl and Iyl approach infinity. Restrict to a large circle, and do a homotopy
(see Appendix D), to deform [:::~~:~n first to [:], and then to [b].
7.16. See the first picture in this section.
7.17. Look at Yep) = f(P) - U(P)· P)P.
9.6. There is no homomorphism from 7L n ' onto 7L n if n > n', see Exercise
C.I4.
9.7. For (a), take a small circle "Ij around i for each iE N, and show that
any closed I-chain is homologous to a finite sum 2,n j"lj. The answer is the
same for (b), since the spaces are homeomorphic, for example by the map
z~ I/z from C \ {O} to C \ {O}.
9.9. The fact that the map is one-to-one follows from Theorem 6.11. For
surjectivity, one can produce I-cycles with arbitrary winding numbers around
each K j by Lemma 9.1, so the essential point is to show that the map from
HI(V \ K) to HI V is surjective. Take a grid so that no rectangle meets a point
of K and a point not in U. If "I is a I-cycle on V, we know "I is homologous
to a sum of the form 2,niaRi' Let "I' = 2,R;nK=On i aR i . Then "I' is a I-cycle on
V \ K that is homologous to "I on V. (See also Exercise 10.14.)
9.15. Use Corollary 9.12. If each "Ij is 't:"', so are all the constructions made
in the proof that "I is a boundary.
9.16. Show that 1R2 \ V is connected. Note that if V is any connected com-
ponent of [R2 \ X, then V C V U X and V meets X, so the union of any such
V with X is connected.
9.17. For (a), take a subdivision and rectangles V; as in the definition, but
with the additional properties that each side of each Vj is of length at most
1, and the closure of V; is contained in V. Let OJ be the point in the center
of Vj • Given a point to, and an E > 0, show that there is a 8 > 0 so that
Ip(x, y, t) - p(x, y, to)1 < E/2n and Iq(x, y, t) - q(x, y, to) I < E/2n
for It - tol < 8. For each such t, leth" be the function on Vj so that d(h,,) = w,
on V; and such that h"(O;) = O. Use the construction of Proposition 1.12,
with the fact that the integrals are taken over segments of length at most 112
(see Exercise B.8) to show that Ih,,(p) - h"o(p)1 < E/2n for all P in Vi' and
for all It - tol < 8. Deduce that for It - tol < 8,
n
2: ((hiPj) - h"o(P;)) -
i=l
(h"cP j-,) - h"oCPj-,))
:S 2n'(E/2n) = E.
For (b), note that integral-valued locally constant functions are constant, and
Hints and Answers 403
they vanish if they are small.
9.20. 53'IT.
9.21. Let Pi be any point in Ai' and set W = ~ ~iWPi' where wPi is the I-form
(1/2'IT)wp;.il that measures change in angle around Pi.
9.22. For (b), use the equation displayed after Corollary 9.19, with
(m\> m2) = (1,0) and (0, 1).
10.28. Take V = [R2 \ K, and use the isomorphism described after Exercise
9.21.
10.30. If not, use grids to find a closed path 'Y in [R2 \ au that has different
winding numbers about two points of au. Note that au c K. Since 'Y is
connected and does not meet au = V \ U, 'Y must be contained in U or in
[R2 \ V. If 'Y is contained in U, then'Y has the same winding number about
all points in K, since K is connected and contained in [R2 \ U; this contradicts
the fact that au c K. If 'Y does not meet V, since V is connected, the winding
number of 'Y is constant around points in V, contracting the fact that
aucV.
If K is closed and connected, the same is true. To see it, let K be the
closure of Kin S2 = [R2 U {oo}, let P be a point in U, and apply the preceding
case to KCS2\{P}=R2.
11.1. For (ii) you can use the identity exp(x + iy) = eX(cos(y) + i sin(y».
11.4. Show that the set in X where the cardinality is n is open and closed.
11.11. For (a), when X is locally connected, the evenly covered neighbor-
hoods N can be taken to be connected, and if p-I(N) is a disjoint union of
open sets Na , each mapping homeomorphically to N, then these Na are the
connected components of p-I(N). (b) follows, since Y' will be a union of
those Na that it meets.
11.13. For the triangulation, use the lifting propositions to lift any trian-
gulation of S to a triangulation of S'.
11.15. For (b), for n E l. and (r, -l1) in the right half plane, the action is
given by n' (r, -l1) = (r, -l1 + 2'ITn).
11.24. It's enough to look where the covering is trivial, as in the proof of
Lemma 11.5.
12.1. Use the same fonnulas as in the preceding displays, but for the second
variable s.
12.3. For (a),
H(t, s) T(4t-s-l),
12.5. To compute 'Tr1(SI, (1,0», see Problem 3.14, which is an easy con-
sequence of the propositions in Chapter 11.
12.6. Use the homotopy H(v, s) = sx + (1 - s)v.
12.8. Cut the path into a finite number pieces that map into hemispheres,
say, and replace each piece by a homotopic arc with the same endpoints,
for example an arc along a great circle.
12.10. If a and T are loops at e, consider the homotopy H(t, s) = a(t) . T(S).
12.12. Map (t,s) to
(0,1 - 2t),
{ ( 4t+2S-2
3s + 1 '
s) , 112(1 - s) ~ t ~ 1/4(S + 3),
(1, 4t - 3),
Follow this by h to achieve the homotopy.
12.15. (i), (ii), (iv), and (v) are equivalent; (iii), (vi), and (viii) are equiv-
alent; (vii) and (ix) are equivalent.
12.18. For Sl, let H«xi ,X2) x s) = rotation by s· 'Tr acting on (XI, X2). For
larger n, use the same fonnulas for each successive pair of the n + 1 co-
ordinates on Sn C IRn+ I .
12.20. Show that it has a circle SO(2) as a defonnation retract.
13.10. Take xc 1R2 to be the union of the lines L(n) = {lin} x [0, I], for
all positive integers n, and three lines L= [-1, 1] x {I}, M={-I} x [0, 1],
and N = [-1,0] x {OJ. Let X be the point (0,0). Take two copies XI and X2
of X, and denote by subscripts the corresponding lines and points in XI and
X2 • Take Y to be the disjoint union of XI and X2 , topologized as usual except
near the points XI and X2. For a disk U of radius E < 1 about (0,0) in the
plane, define a neighborhood U(Xi) in Xi by
U(XI) = (N I n U) u U (L(n)1 n U) u U (L(nh n U),
nodd neven
13.17. By Corollary 13.16, the answer to (a) is 7L/n7L. For (b), the fun-
damental group is the group of translations of the plane described in Exercise
11.25. The subgroup in (c) is generated by a and b2 •
13.21. For (1), note that -y. ex is homotopic to (-y.~). (!~-l. ex). For (3), if
-y. ex is homotopic to -y' .~, with ex and ~ paths in N from z to w, then ex. ~-l
is homotopic to Ez in X, so -y is homotopic to -y. (ex· ~-l), so to (-y. ex). ~-l,
so to (-y' . ~). ~-l, so to -y' . (~. ~-l), and so to -y'.
13.29. (r,{})~log(r)+H}.
14.5. If f and f' were two such groups, the universal property for each
would give maps from f to f' and from f' to f, and the two composites
f ~ f' ~ f and f' ~ f ~ f' would be the identity maps by the uniqueness
of such homomorphisms.
14.6. The subgroup of '1Tl(X,X) that is generated by these images has the
same universal property. It can be proved directly by subdividing the paths.
The map is the identity except on edges adjacent to the vertex the edge is
collapsed to. Send this vertex to the midpoint of the collapsing edge, and
send half of each edge adjacent to this vertex to half of the edge that was
collapsed, and spread the other half over the full edge. Check that the two
composites are homotopic to the identity maps on X and X' .
14.17. For one point in a torus, the complement has a figure 8 as a defor-
mation retract.
14.18. It is a free group on a countably infinite number of generators. Use
Theorem 14. 11.
14.19. The complement of an infinite discrete set in the plane is a covering
space of the complement of a point in a torus.
14.20. The sphere with two handles can be obtained by joining the com-
plements of disks in two tori. For another approach, see Chapter 17.
15.17. See Problem 9.7. The answer is the same for (b), and (c), see Prob-
lem 14.18.
15.19. See Chapter 24 for more general results.
16.5. Show that the set defined this way is open and closed.
16.6. With 00 = dfa on Va' trivialize the covering over Va, by mapping
POl -1(Ua)~ Va X IR by taking a germfat P to P X (f(P).,.. fa(P». Check that
ga~ =fa - fr, are transition functions for this covering. If 00' = 00 + dg, let
fa' = fa + g, and one obtains the same transition functions.
16.11. HOX ~ HO(X; IR) comes from the fact that a locally constant function
is a function on X with coboundary zero; H1X ~ Hl(X; IR) comes from the
fact that a closed I-form defines by integration a function on paths that is
a l-cocycle. It follows from Proposition 16.10 and Theorem 15.11 (and
Exercise 15.18) that these maps are isomorphisms.
16.12. Use the ideas of Lemma 10.2. (Caution: Proposition 16.10 and Mayer-
Vietoris for homology can be used directly for example when G = IR, but
not in general.) See §24a for the general story.
16.13. Since the given covering is locally isomorphic to the trivial G-cov-
408 Hints and Answers
ering, it suffices to prove that PT is a trivial covering when the given cov-
ering is the trivial G-covering. If the given covering is the projection from
the product X x G -+ X, there is a canonical mapping
YT = «X x G) x T)/G -+ XxT
determined by the map «x x g) x t)-x x g-I. t. To see that this is well
defined on orbits, note that, for h in G,
h· «x x g) x t) = «x x h· g) x h· t)
- xX(hg)-lh·t = xXg-1.t.
Check that this is a homeomorphism, with its inverse determined by sending
x x t to «x x e) x t).
16.14. For any y in Y and t in T, there is a unique element <I>(y, t) in T' so
that
f«y x t» = (y x <I>(y, t» for all y in Y and t in T.
For fixed t, the mapping y - <I>(y, t) from Y to T' is locally constant, since
it is constant on each piece of p-I(N), for N an evenly covered set in X.
But since Y is connected, a locally constant function is constant; therefore
<I>(y, t) = Ip(t) for some function Ip: T -+ T'. To see that Ip is a map of G-sets,
calculate:
(y x Ip(g' t» = f«y x g' t» = f«g-I . y x t»
= (g-l·yXIp(t» = (yXg'lp(t»,
from which the equation Ip(g' t) = g . <p(t) follows. By the definition, the
mapping from YT to YT' determined by Ip is f.
16.17. There is a mapping from Y/H to (Y x G /H)/G that takes the H-orbit
of a point y to the G-orbit of the point y x H. The inverse mapping from
(Y x G /H)/G-+ Y/H is given by sending the G-orbit of y x gH to the H-
orbit of g-I . y.
16.22. By Exercise 16.14, an isomorphism f Y(I/II)-+ Y(1/I2) is given by a
map Ip: G' -+ G' of G-sets. So
(i) f«z x g'» = (z X Ip(g'» for all z E Y and g' E G'; and
(ii) Ip(g' '1/I1(g-I» = Ip(g') 'I/Iz(g-I) for all g' E G' and g E G.
Since f preserves base points,
f«y x e» = (y X Ip(e» = (y x e),
so we must have Ip(e) = e. Since f is a mapping of G'-coverings, we must
have
f«z x g'» = f(g' . (z x e» = g' -j«z x e» = g'. (z X e) = (z X g').
Therefore Ip(g') = g' for all g', and applying (ii) with g' = e we see that
I/II(g -I) = 1/12(g-l) for all g in G, so 1/11 = 1/12'
Hints and Answers 409
17.10.
18.3. These integers are determined by writing the class of 'Y in terms of
the basis: b] = ~f=l(m;[a;] + n;[b;]).
410 Hints and Answers
The linearity is immediate from the definitions. For the opposite orientation,
one can use the same charts but with the x and y axes interchanged, so in
local coordinates the form v is expressed as -v"dydx, and all the integrals
get replaced by their negatives.
18.7. Since the I-forms a j and I3j form a basis for H'X, it suffices to prove
these formulas when w is one of the I-forms aj or I3j. Lemmas 18.1 and
18.6 imply these formulas. For example, (aj' a j) and faj aj are both 0, as
are (l3j , I3j) and h °
I3j, and (aj , 13;) and faj I3j are both 1 if i = j, and oth-
°
erwise. Finally, (l3j ,aj) = -(aj,l3j), and -(aj,l3j) and fbja j are both -1 if
i = j and otherwise.
18.8. By linearity, it is enough to do it for f..l = a j and f..l = 13;, and it then
follows from Exercise 18.7 and Lemma 18.1.
18.11. See Exercise 18.7 for (a).
18.12. Changing the aj and hj if necessary, one can assume they cross the
annulus transversally. Calculate for f..l = a j and I3j as above.
18.14. Use Problem 18.12.
18.15. It suffices to show that another choice of differentiable structure gives
the same intersection numbers for pairs taken from basis elements aj and hj •
18.20. Use a partition of unity, as in Lemma 5.5.
°
18.22. If H2U = and H2V = 0, it follows from this and the Mayer-Vietoris
sequence in § 16 that H2( U U V) = 0. Use Exercise 18. 18 and the fact that X
can be built from rectangles, see Lemma 24.10.
18.25. One can realize the surface by removing h disks from a sphere, and
gluing in h Moebius bands. Apply Mayer-Vietoris.
18.26. IfJis a finite covering, and g is a function on Y, defineJ*(g) to be
the function whose value at x is the sum of the values of g at the points of
J-'(x). A similar definition works for forms.
19.1. f'(z) = Ux + ivx = Vy - iuy, and the Jacobian determinant is uxvy - vxuy-
19.4. Apply Riemann's theorem on removable singularities (Exercise 9.25).
19.6. For (d), multiply the function by a suitable P2(Z)/P,(z) so that the
result has no poles, so is constant.
Hints and Answers 411
19.8. This follows from the fact that the map Z ~ z· from D to D is proper,
and the fact that only finitely many points are added.
19.17. (b) If A·(Z+b')CZ+b, A'T'==aT+b, A·I ==CT+d; the de-
terminant is ± 1 exactly when A' (Z + b') == Z + b, and it is positive if T
and T' are both in the upper half plane.
20.5. To prove that C is a Riemann surface near such a point, show that
one or the other projection to an axis is a local isomorphism.
20.6. The genus in each case is: (i) (m - 2)/2 if m is even, (m - 1)/2 if m
is odd; (ii) 0; (iii) 4; (iv) 1; and (v) (m - I)(m - 2)/2.
20.7. (c) With the notation of Exercise 19.12, the covering is given by
assigning each (Ij to the unique transposition (l 2).
20.12. The assumptions in (ii) guarantee that X has n distinct points over
00,all therefore with ramification index 1. To see this, set z' == I/z and w' = w/z;
they satisfy an equation G(z', w') = };7=ob;(z')(W,)"-1 = 0, where
bj(z') = (z'iall/z') is a polynomial in z' with constant term Aj; the n roots
r
to the equation };7=o Aj i = 0 give n points on X over 00.
Consider the zeros and poles of the meromorphic function h. To see what
happens at the points over 00, make the change of coordinates as above. A
calculation shows that h = (z,)I-nGw'(z', w'), so h must have pole of order
n - 1 at each of these n points. At the other points of X, i.e., the points of
C, h has no poles, so by Corollary 19.5 the sum of the orders of zeros of
h at the points of C must be n(n - 1). By Exercise 20.9, this sum is the
sum of e(P) - lover all ramification points of the mapping z: X ~ S2. Apply
Riemann-Hurwitz to prove (c).
The space of polynomials of degree at most n - 3 in Z and W has a basis
the monomials Zi Wi with i + j ~ n - 3, and the number of these is
(n-2)+(n-3)+ ... +2+ 1 = (n-I)(n-2)/2.
If we verify that g' dz/h is a holomorphic I-form for each g = ZiWi , it fol-
lows that we have produced gx holomorphic I-forms, showing at once that
these are all of the holomorphic I-forms, and that their dimension is gx. At
the points in C, the form dz/h is holomorphic, as follows from the equation
o= d(F(z,w» = F.(z,w)dz+Fw(z,w)dw,
so dz/h = -dw/F.(z, w), and one of the denominators is nonzero at each
point of C. At infinity, since dz = -(z,)-2dz',
.. dz
z'w1 - - -
Fw(z, w)
412 Hints and Answers
from which we see that these I-forms are also holomorphic at points over
00.
20.13. The proof is essentially the same, except that Fw(z, w) vanishes at
the 28 points of X lying over the nodes, as well as at the branch points.
Note that the space of polynomials of degree at most n - 3 vanishing at 8
points always has dimension at least (n - l)(n - 2)/2 - 8, so the construc-
tion produces at least gx independent holomorphic I-forms. But since
dim(OI,o) $ g, the inequalities are equalities-which shows, in fact, that
conditions to vanish at the nodes are all independent.
20.16. Compare the sum of the orders of f*oo with those of 00, for 00 a
meromorphic I-form on y,
20.17. See Exercise 9.26.
20.19. For (a), since the residue is linear, it is enough to prove it when
00= (z - a)m dz, a E C, mE 7L. (b) can be reduced to a local calculation, over
a disk in S2, where one has explicit formulas for the map z.
20.24. The point is that, up to periods, integrating from P to Q and then
from Q to R is the same as integrating from P to R,
Corollary 20.22 to show that there are unique complex numbers Aj so that
the integral of <p - ~Ajooj over the cycles ak and bk are all purely imaginary.
21.22, Take <p as in the preceding exercise, and take u to be an integral of
the real part of <po
21.23, An element in O( -2P) that is not in 0(0) must have a double pole,
since it cannot have a residue at P. Multiply by a scalar to get <p + dz/z 2
holomorphic near P, change <p by a holomorphic I-form to get all its periods
purely imaginary, and integrate the real part of <p to get u.
21.24. Consider the sequence C=L(O)CL(PI)CL(P I +P2 )C . .. ,with
Hints and Answers 413
22.1. See the proof of Green's theorem in Appendix B. For the correct
signs, see §23a.
22.2. Extend the definition of integral over continuous paths as in the plane,
and use the same arguments as in the planar case.
22.3. 4'Tr.
22.4. If F: S2~1R3\{O}, define W(F,O) to be (l/4'Tr)IIForW.
22.6. Use Van Kampen, with one open set a ball around the missing point.
22.14. For (a), construct a mapping from [0, It to Sk that maps the bound-
ary to So, and is a homeomorphism from the interior of the cube to the
complement of so. For (d), show that a map from Sk to sn, with k < n, is
homotopic to one that misses the south pole, say by triangulating Sk into
small simplices, and approximating the map by a "simplicial" map. See,
e.g., Hilton (1961).
22.16. Find homotopies that stretch and slide between the maps indicated
in the diagram:
r x x
r A r x A x x x
x x A
x x r
x x x A x r A r
A x x
For (b) show similarly thatfis homotopic to a map g with g(P*) = g(P) for
all P. (c) Any automorphism g without fixed points has degree - 1, so if g
and h are nontrivial automorphisms, since g . h has degree 1, g . h must be
the identity.
23.28. Lift to a map from sn to sn and apply Problem 23.27.
23.31. If m=n, HMmxs") is Z for k=O and k=n+m, and ZEeZ if
k = n, and 0 for other k. If m ¥- n, the answer is Z for k = 0, m, n, and
m + n, and 0 for other k. For the proof, induct on n, using sm x V and
Sm x V, with V and V as before.
23.36. Identify ~n with the complement of a point Pin sn, and use Mayer-
Vietoris for this open set and a small neighborhood of P.
23.37. See Proposition 5.17 and Corollary 5.18.
and the maps to the terms in the corresponding sequence with A and B re-
placed by Any and B n Y, and X replaced by Y.
23.41. Use n-dimensional grids, and generalize the arguments of Chapters
6 and 9.
2..1.5. The fact that C" is free abelian means that one can find a subgroup
C" of C that maps isomorphically onto C", and then C is the direct sum of
E" and the image of C'; and Hom( - ,G) preserves direct sums.
24.7. This amounts to an identity on [k, which is proved just as in the case
of Green's theorem for a rectangle by a calculation using Fubini's theorem,
as in Proposition B.6.
24.9. This is the higher-dimensional version ofreparametrization for paths.
Here, for any k-cube r, SoA(r) - r = aA, where
A(s, t l , • •• ,tk) = r(s '1X(2t l ) + (1 - s)· t l , • •• ,s '1X(2tk) + (1 - s)· tk),
noting that the other terms in the boundary are degenerate. Defining Sp and
Rp by the same formulas as in §23b, one calculates that
SP-l = aoRp+Rpoa+(SoA-J)oSp,
and the rest of the proof is the same as before.
24.14. This is clear except where the coboundary and dual of the boundary
are involved. Let W = WI - W2 be a closed (k - I)-form representing a class
[w] in H"-I(U n V), with WI and W2 (k - I)-forms on U and V, and let z = CI + C2
represent a class [z] in lI';(U U V), where CI and C2 are chains on U and V
respectively. Then
/)([w))([z)) = L + L = L. + L
dWI dw2 WI W2 = [w](a([z)).
a(c(vo .. . .. v) = 2: (-l)ic(vo .. . ..
;=0
Vi •. . .• v.)·
The existence of c(vo .. . .. v.) follows from the fact that the right side is an
(n - I)-cycle on Uvo U ... U Uv., and Hn-l(Uvo U ... U UvJ = 0 by Ex-
ercise 23.1S(b). This gives a map C*(N(au»~ C~. To see that the resulting
map on homology is an isomorphism, induct on the number of open sets;
take any V and construct subcomplexes LI and L2 as in the proof of Prop-
osition 24.33, and compare the corresponding Mayer-Vietoris sequence for
LI and L2 with that of the covering of X by Uvand Uv'>'v Uv'.
A.6. If not, each point has a neighborhood meeting only finitely many, and
K would be contained in a finite union of such neighborhoods.
A.8. Without loss of generality, one may assume K contains a neighbor-
hood of the origin. Map aK to sn-I by mapping P to P Illpll. This is contin-
uous and bijective, so a homeomorphism. Let f: Sn-I ~ aK be the inverse
map. Define F: D n ~ K by F(O) = 0, and F(P) = IIPII· j{P fllPll) for P "# O. Then
F is continuous and bijective, so a homeomorphism.
A.16. A connected and locally path-connected space is path-connected, as
seen by showing that the set of points that can be connected to a given point
by a path is open and closed.
B.12. Find a countable covering of U and so that each open set in the cov-
ering is contained in some Ua' and so that any point has a neighborhood
that only meets finitely many of the open sets.
B.14. With g as in Step (2), let hex) = f~g(t) dtl f6g(t) dt, and set
= her - rl)/r2 - rl), where r = II(x, y)ll.
$(x, y)
e e
C. 7. If {e a } is a basis for F, and \p( a ) = ea , these a generate a free abelian
subgroup F of A, and A is the direct sum of Ker(\p) and F by Exercise C.S.
C.IS. Let (l be the map from A to B, 13 the map from B to C, and let C'
be the image of 13, 13': B ~ C' the induced surjection . Iff in Hom(B, IR) maps
418 Hints and Answers
=
to 0 in Hom(A, IR), f vanishes on the image of a. Since B /Image(a) C' ,
there is a homomorphism g' from C' to IR such that g' 0 W= f By the lemma,
there is a homomorphism g from C to IR that restricts to g' on C'. Then
go f3 = f, which means that g in Hom( C, IR) maps to f.
C.16. Let B =A2/Al' and show that there are exact sequences
O-AI-A2-B-O and O-B-A3- ... -An-O.
References
Included in this list are books and articles that were referred to in the text.
They can be consulted for more on topics covered in this book.
419
420 References
421
422 Index of Symbols
425
426 Index
quaternions, 162
open mapping, 266 quotient space, 378
open rectangle in [Rn, 352 quotient topology, 370
orbit, 159
order of meromorphic function at ramification index, 265-267
point, 134, 267 ramification point, 265-267
orientable, 390 rank-nullity theorem, 378
orientation, 390 rank of abelian group, 382, 384
covering, 219, 357 rectangular I-chain, 85
of manifold, 219 reduced homology group, 145
preserving or reversing, 340 regular covering, 184, 190
of Riemann surface, 263 relative homology groups, 350
oriented surface, 115, 390 reparametrization of a path, 23, 40,
orthogonal matrix, 172 82
residue, 133-134,288,299
Residue Formula, 288
partition of unity, 66, 375-377 Residue Theorem, 134
patching spaces, 370 restriction maps in cohomology, 68,
patching coverings, 196-197, 207- 147,258
210 retract, retraction, 50, 340
path, 4, 36, 164 Riemann
path-connected space, 370 mapping theorem, 75
path integrals, 3-16 theorem on removable singulari-
peaks, valleys, passes, 101, 105, 113 ties, 133
perfect pairing, 254 Riemann-Hutwitz formula, 272-276,
period, 130-131 288
period matrix, 290 Riemann-Roch theorem, 303-306
period module, 130, 222, 250-251 Riemann's bilinear relations, 289
430 Index