Algebraic Topology A First Course Por Marvin J Greenberg y John R Harper
Algebraic Topology A First Course Por Marvin J Greenberg y John R Harper
min ily
ESE (Somme
Marvin J. Greenberg
John R. Harper
3/“er,
7 1’
(ad;
1981
Preface . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
ix
vii
viii Contents
Table of Symbols . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
301
Bibliography . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ..
303
Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
309
PREFACE
ix
x Preface
never again any need to subdivide, and, finally, it is easier to calculate once
the basic formulas (19.16—l9. 18) have been proved. Combinatorial
techniques are still very important in algebraic topology [36, 62, 70].
However, it is now recognized that algebraic topology encompasses at least
three different categories—topological, differential, and piecewise linear. In
this book wetreat primarily the first (references for the second are [15, 17,
41-44, 51, 55, 68, 71]). The classical applications of homology theory to
spheres are given in Sections 15, 16, and 18.
Sections 22-28 form Part III, the orientability and duality properties of
manifolds. This part has been greatly influenced by notes of Dold, Puppe,
and Milnor. No assumption of triangulabilityis needed in this treatment. The
correct cohomology theory for the duality is that of Alexander—Cech;
however, for brevity’s sake, we only describe the Alexander—Cech coho-
mology module of a subspace A as the inductive limit over the neighborhoods
of A of the singular cohomology modules. We show that this coincides with
the singular cohomology module when A is a compact ANR.
Finally in Part IV we develop the basic features of the theory of products in
cohomology. The applications include the Lefschetz fixed point theorem for
compact oriented manifolds and an introduction to intersection theory in
closed manifolds.
Each part is divided into several sections. These are the organizational
units of the text. There is considerable flexibility(especially in the latter
parts) in the order in which they may be studied. In Part II, many sections
conclude with material which may be skimmed or skipped at first reading.
Most sections end with sets of exercises. No theoretical development
depends on an exercise nor is further theoretical material given as exercises.
Most exercises concern calculation and, as the subject develops, geometric
applications are made. There are many cross—references among exercises.
Refinements of calculations available with developments of the theory are
offered. Similarly, improvements in geometric results are made in several
sections. This process imitates the way the subject actually developed, and
may help motivate the successive layers of abstraction through which the
subject passes. Some exercises are accompanied with suggestions for their
solution. These suggestions should not be taken too seriously. Most problems
can be solved in different ways, and one’s favorite solution may not receive
widespread approval. But it is discouraging to be totally “stuck” so sugges-
tions are offered to alleviate that condition.
Prerequisites for this book, besides the usual “mathematicalmaturity,” are
very few. In algebra, familiarity with groups, rings, modules, and their
homomorphisms is required. From Section 20 on, some basic results for
modules over principal ideal domains will be used. Only in Sections 29 and
30 is knowledge of the basic properties of the tensor product of two modules
needed. The language of categories and functors is used throughout the book,
Preface xi
although no theorems about categories are required. For all of this material,
see Lang [35].
In point—set topology, the reader is presumed to be familiarwith the basic
facts about continuity, compactness, connectedness and pathwise—
connectedness, product spaces, and quotient spaces. Only in the appendix to
Section 26* do we require a nontrivial result, Tietze’s extension theorem.
Section 7 uses some elementary results about the compact—open topology on
function spaces. For this material, see Dugundji [20] or Kelley [34].
I recommend the survey articles [44a, 62, and 75, pp. 227-31 and its
bibliography]to the reader seeking further information on the extraordinary
achievements in algebraic topology in recent years.
I thank M. Artin, H. Edwards, S. Lang, B. Mazur, V. Poenaru, H.
Rosenberg, E. Spanier, and A. Vasquez; also my students Berkovits, Perry,
and Webber, for helpful comments.
We are grateful to a number of people for helpful remarks concerning the
revision. The comments of D. Anderson, E. Bishop, G. Carlsson, M.
Friedman, T. Frankel, J. Lin, and K. Millett were helpful in deciding what to
include and what to leave out. As the work developed, valuable remarks were
made by M. Cohen, A. Liulevicius, R. Livesay, S. Lubkin, H. Miller, R.
Mandelbaum, N. Stein, and A. Zabrodsky.
The typing of the manuscript was expertly done by S. Agostinelli, R.
Colon, and M. Lind. Additional figures were drawn by D. McCumber.
Special thanks are extended to Doris, Jennifer, and Allison for not
overreacting to neglect endured during preparation and assembly of this
material.
Lastly, we thank Errett Bishop for suggesting that we collaborate on this
book.
MARVIN J. GREENBERG
JOHN R. HARPER
*(26.l7)
ALGEBRAIC TOPOLOGY
A First Course
Pan‘ 1
ELEMENTARYHOMOTOPY
THEORY
Introduction to Part I
(1) If Y =X and f =
identity, then F (f) identity,
=
(2) Ifg: Y —’
Z, then F(gf) =
F(g)F(f).
Illustration: Suppose we have a diagram of topological spaces and maps
Marvin J. Greenberg and John R. Harper, AlgebraicTopology: A First Course ISBN O—8053—3558~7( H)
ISBN O—8053—3557—9(Pbk)
Copyright © 1981 by Benjamin/Cummings Publishing Company, lnc., Advanced Book Program. All rights
reserved. No part ofthis publication may be reproduced, stored in a retrieval system, ortransmitted, in any form
or by any means, electronic, mechanical, photocopying, recording, or otherwise, withoutthe prior permission of
the publisher.
4 Elementary Homotopy Theory
E
fr /
//
/ P
/
/
Y X
and the problem is to findf such thatpf =f Applying the functorF we see
' ’
that a necessary condition for a solution to exist is thatF (f ) send F (Y) into
the subgroup F (p)(F(E)) of F (X). In certain cases later we will see this is
also sufficient (6.1).
Illustration: Suppose f 2 X Y is a homeomorphism. Then by func~
—-*
and our problem is to find a map r : X A such thatri is the identity map of
-+
Marvin J. Grecnbergandlohn R. Harper, AlgebraicTopology: A First Course ISBN 0-805 3-35 58—7( H)
ISBN 0—8053—3557—9(Pbk)
Copyright © 1931 by Benjamin/Cummings Publishing Company, lnc., Advanced Book Program. All rights
reserved. No pan ofthis publication may be reproduced, stored in a retrieval system, or transmitted, in any form
or by any means, electronic, mechanical, photocopying,recording, or otherwise, without the prior permission of
the publisher.
2. Homotopy of Paths
fza'z=l
C
dz
~—¢0
cz
What is the difference? We take the point of view that C can be “shrunk to a
point” within the domain of analyticity of 2 (i.e., the whole plane), hence
integrating around C is equivalent to integrating at a point, which gives 0. On
the contrary C cannot be “shrunk to a point” within the domain of 1/2.
More precisely, let 0, 1' bepaths in a space X (i.e., maps of theunit interval
I into X) with the same end points (i.e., 0(0) 1(0) x0, 0(1) 1:(1) x,).
= = = =
0=rrel(O, 1)
if there is a map F: I X I -* X such that
F,:0=-L’ rel(O,l)
Pictorially:
z'(s) =x0 for all s, and if 0: r rel (0, 1), we say that “0 can be shrunk to a
point,” or is homotopically trivial.
Then the correct statement of Cauchy’s Theorem is that ff (z)dz
C
= 0
(4) 09- 0’ re1(0, 1) and 1': 1" rel(O, 1) %> 01’: 0'1” rel (0, 1).
Proof: IfF, : 02 0’ rel (0, 1), G, : r—~— 1" rel (0, 1), then
Elementary Homotopy Theory
Thus we can multiply the class of 0 on the right by the class of r without
ambiguity, always supposing the end point of 0 equals the initial point of 1.
(2.1) Theorem. Let in (X, xo) be the set ofhomotopy classes of loops in X
at xo.If multiplication in 111 (X, x0) is defined as above, 7T1 (X, xo) becomes a
group, in which the neutral element is the class of the constant loop at x0
and the inverse of a class [0] is the class of the loop 0" defined by
a“(t)=a(1—t) osrsi
Proof We will prove that 00"‘ 2x0, where now x0 denotes also the
constant loop at the point x0. The homotopy is given by the following
diagram:
0 0
X0
0'(2S) 0 S 2s _<_ t
F(s,t)= o(t) tS2sS2—t
a"l(2s—1) 2-tS2sS2
Clearly these functions are continuous on each triangle and they agree on the
intersections, hence by an elementary argument F is continuous on the whole
square.
The proof that multiplication is associative (up to homotopy) can be done
similarly, as can the proof that the class of x0 is the neutral element.
Homotopy of Paths 9
4s
«H1 0SsSa(t+1)
1
0 (ZS)
Z
t+1
H-1
OSSSF
2
DefineF(s,t)=
1+1
x0 73:51
to establish that the constant path at x0 is the neutral element of the
fundamental group. I
Is there a relation between 11, (X, x0) and TT1 (X, x, )'.’ There certainly is not if
x0 and x, lie in different path—connected components ofX. However, we have
the following result.
an induced homomorphism
10 Elementary Homotopy Theory
Since paths are maps of I into X, we can try to replace I by any space Y
and define homotopy. Thus we no longer have end points but we can
substitute a subspace A C Y for the set {0, 1}.
Givenmapsf,g: Y—‘ Xsuchthatf|A=g IA, we say
f =
g rel A
F(x,t) = tx
1!
12 Elementary Homotopy Theory
(3.1) Exercise. X is_contractible if and only if for any space Y any two maps
of Y into X are homotopic. A contractible space is pathwise connected.
8
01 F 3
7
Then 8 =
of‘)/,6 rel (O, 1).
Proof: The proof is by juxtaposing 3 squares
where x0 =
8(0), x, =
8(1), and
x0 s£t
E (S’t)_ _
oz(l+t—s) sZt
G(S’t)_{x, __
B(t+s) 1—sZt
l—sSt I
Homotopy of Maps 13
a(t)=F(y0,t) t€I
m(Y,yo) f* m(X,xo>
>14, * 7T1(Xax1)
Proof: For any loop 0 at yo, we have
8 °0
(1 F(o(t),t) a
f°<T I
f ’f identity map of Y
2
1
(3.8) Exercise. Let CX X X I/XX {0}, be the cone on X. Regard X C
=
(3.10) Exercise. Letf,g : S" S" be maps such that for allx E S",f(x)
—>
(3.11) Exercise. Suppose X and Y have the same homotopy type. Show
that the are components of X and Y are in one—to-one correspondence.
We study the circle S ' via the line R. It turns out that the homotopy
class of a loop is determined by the number of times it “winds around,” the
number being negative if the “winding” is opposite to the given orientation
on S ‘.
More precisely, S ‘ is the group of complex. numbers of absolute value 1.
We have a continuous homomorphism <15 : R S 1 (R as additive group)
—>
given by
¢-(x)=e2’“i" x€ R
Moreover, the mapping <7) is an open mapping, as is easily verified. Hence <75
maps the open interval (-§, +%) on the line homeomorphically onto
S I {-1}; let it be its inverse on that set. We need two key lemmas.
—
Marvinl. Greenbcrgand.lohn R. Harper, Algebraic Topology: A First Course ISBN 0—8053—3 558-7(H)
ISBN 0-805 3—3557~9(Pbk)
Copyright © 1981 by Benjamin/Cummings Publishing Company. lnc., Advanced Book Program. All rights
reserved. No part ofthis publication may be reproduced, stored in a retrieval system. or transmitted. in any form
or by any means. electronic. mechanical, photocopying,recording, or otherwise, without the prior permission of
the publisher.
16
Fundamental Group of the Circle 17
uniformly continuous, so there exists 3 > 0 such that | y y’| < s %> —
f’(y)=¢ (fly)/f(—N—y>>
N—1
+l<f<~:;—v>//<%;—z>>
+°°°+¢(f(%,y>/f(0))
Thenf’ is continuous Y—* R,f’ (0) 0, and (p °f’ =f.
=
(4.3) Corollary. The end point of 0’ depends only on the homotopy class
of (7.
Define amapx: rr,(S', 1) Zbyx [0] o’(1). We havejust shownxis
-+ =
z”(s) r’(s) + m. Then go 1'” 1' also, so cr’r’ is the lifting of or with
= 0 =
initial point 0; its end point is m -1- n. Hence X([0'][’l']) x[a] + X[1'].
=
being contractible, 0’ 0 rel (0, 1), whence applying <73, 0 1 rel (0, 1), [0]
= 2
(4.4) Theorem.
1n(S ‘) E Z
1r1(G/H,1)%H
There is one detail to check: We must find an open neighborhood Vof 1 in
G which is mapped homeomorphically onto an open neighborhood of 1 in
G/H by (1) : G G/H, so that we can use x// as before. Since H is discrete,
-+
XXY
X
P/Y *’ Y
<.vx/ \<py>.
7T1(X,Xo) 7T1(Y> yo)
Fundamental Group of the Circle 19
so f i=
identity. Applying the fundamental group functor we get
Trl(S19‘1)l-:1‘7Tl(E2:(1s 0))£*nl(S]:§1)
identity
But this means Z -> 0 -+ Z is the identity, which is impossible. I
(4.11) Corollary. Any continuous map of the closed disc into itself has a
fixed point.
This is the case n 2 of theBrouwerFixed Point Theorem, to be proved
=
fixed point. For any x E E 2, joinx to f (x) by a line; move along this line in
the direction from f(x) to x until the point r (x) on S 1 is reached. Then r is a
retraction of E 2 on S 1, contradiction. I
(4.12) Exercise. Suppose the space X is the union of two open sets U and
V, such that U F) V is nonempty and pathwise connected, and U, V are each
simply connected. ThenX is simply connected. (This is a special case of Van
20 Elementary Homotopy Theory
ing the associated linear transformation with central projection onto T. Apply
(4.11).
Remark. Other results from linear algebra have topological proofs.
Material in chapter 16 can be used to show that every invertible linear
transformation of RM“ has an invariant one dimensional subspace.
(4.15) Exercise. Suppose A C X is a retract and 77, (A) is normal in 171 (X).
Show 77, (X) E 771 (A) X 11, (X)/77,(A). Referring to the figure in exercise
(12.12), show thatthe circle represented by are b is not a retract of the Klein
bottle. Suggestion: use (4.12)(b)to calculate the fundamental group of the
Klein bottle.
5. Covering Spaces
(5.1) Unique Lifting Theorem. Let (E, e0) 3* (X, x0) be a covering space
with base poz'nts,( Y, yo) -4 (X, x0) any map.Assume Yconnected.If there
is a map ( Y, yo) -f' (E, eo) such that pf’ f, it is unique. =
Pmfit&mw%fW(Ky0-%Ea&pf“=fLa
A={y€YlflU)=f%yN
Marvin J. Grcenberg and John R. Harper, AlgebraicTopology:A First Course ISBN 0—8053—3558»7(H)
ISBN 0»805 3—3557~9(Pbk)
Copyright © 1981 by Benjamin/CummingsPublishing Company. lnc.. Advanced Book Program. All rights
reserved. No part ofthis publication may be reproduced. stored in a retrieval system, or transmitted, in any form
3‘; Puagilisher.
9
by
y
means. electronic, mechanical, photocopying,recording, orotherwise, without the prior permission of
21
22 Elementary Homotopy Theory
D={y€ Yl f’(y)¢f"(y)}
Then Y is the disjoint union of A and D, and yo E A. We will show both sets
are open, so by the connectedness of Y, D is empty.
Given y, E Y. Let U be a neighborhood of f ( y,) evenly covered by p.
Ify1E A, f’(y,) f”(y,) lies on some sheet S ofp“(U). Hence
=
(5.2) Path Lifting Theorem. For (E, e0) 5* (X, x0) as above, ifa is apath
in X with initialpoint xo, there is a uniquepath ago in E with initalpoint e0
such thatp ago 0. =
desired lifting.
General case: By definition of covering space and compactness of I, we
can partition I by 0 to < t,= < t,, =1 in such a way that 0 maps the
° ° °
entire closed interval [ t,, t,-+1] into an evenly covered neighborhood of 0 ( t ,),
for all i. By Case 1, we can lift 0] [0, t,] to a map 0, 2 [0, t,] E such that —*
01(0) eo. Assume by induction we can lift 0| [0, t,-] to a map a, : [0, t,.] E
= -*
such that a,»(O) e0. Then by Case 1 we can lift 0| [t,-, t,-+1] to a map taking t,-
=
into or,-( t,~); combining this map with 11,- gives 0,-H. Then 0,, ago. = I
(5.3) Covering Homotopy Theorem. (E, e0) -P’ (X, xo) as above. Let
(Y, yo) be arbitrary and f: (Y, yo) (X, xo) a map which has a lifting
—+
f’ : (Y, yo) (E, eo). Then any homotopy F: Y>< I—+ X with F(y, 0)
-»
F'(y,0) f'(y)a1ly E Y-
=
(5.4) Corollary. Ifa, 1' are pat_hs_in X with initial point x0, and oz 1'
rel (O, 1), then
t,,
= 1 (depending on y) such that F maps Ny X [t,-,t,4+1] into an evenly
covered neighborhood of F ( y, t,-). By step 1 and the same inductive
argument as before, we can lift F on Ny X I to a map F’ : Ny X I E such
->
(5.7). Exercise. If E is pathwise connected, all the fibres have the same
cardinality.
For any covering space E 3* X, the group G of covering transformations is
the group of all homeomorphisms of E which preserve the fibres:
EJLE
p\ /D
X
p<z>=p
(5.8) Theorem. Given a covering space (E, e0) 5' (X1x0) with group of
covering transformations G. If E is simply connected and locallypathwise
connected, G is canonically isomorphic to 1r1(X1x0).
This achieves our objective of describingthe fundamental group in terms of
a simply connected covering space.
<i>(e)=e'[T"<7Tl
Since E is simply connected, gb depends only on [0]. Taking e eo we see =
thatX (¢>) [0], provided we show q) is continuous. Note that for any point
=
e1 E E, ifr’ is a path from e1 to e, ‘L'=p ° 1' ', then ¢(e) is the end point of the
path r’¢(,l, (lifting of 1' through ¢(e1)). Now there is an open pathwise
connected neighborhood U of x, p (e1) which is evenly covered. e1 is on
=
some sheet S1 over U and <z>(e1) on some sheet S 1. Fore E S1, we canjoin e,
to e by a path 1" in S1; then r(},(e1) will be a path in S 1. Hence its end point
<z>(e) is in S 1. Since <z>(e1) has arbitrarilysmall neighborhoods of type S 1, <1>
is continuous. I
Covering Spaces 25
covering space, G is its group of covering trnasformations, and p*rr, (E, eo) is
a normal subgroup of Ir, (X, x0) for all e0 E E. (Note that any finite group
operating without fixed points on a Hausdorff space operates properly
discontinuously.)
This exercise tells us that if we know a simply connected covering space E
of X and its group G of covering transformations, then not only do we know
771 (X) % G, but we also can recover X (up to homeomorphism) as E /G.
only (becauseS is connected, n > O), and since S" is simply connected for rt
”
2 2, we have
7T1(P")%Z/2 n22
and p : S" P" is defined in (5.11). Suggestion: Use (5.1) and (5.8).
—*
Unless otherwise stated, all spaces considered in this section are assumed
to be connected and locallypathwise connected.
(6.1) Theorem. Consider the situation
1 (E9 230)
J://
/
V
P
/
’
(Y, yo) <X,xo>
f'(y ) =
(f0)'e0(1)
The shows that this does not depend on the choice of 0.
hypothesis
Moreover, we can remove the dependence on yo: For any y, E Y, let
e, =f’(y1) and let 1' be any path from y, to y. Then
f’(y > =
(fr)'e1(1),
Marvin]. Grccnberg andJ0hn R. Harper. Algebraic Topology: A First Course ISBN 0-805 3—35 58—7(H)
ISBN 0—8053—3557-9(Pbk)
Copyright © 1981 by Benjamin/CummingsPublishing Company, lnc., Advanced Book Program. All rights
reserved. No part ofthis publication may be reproduced, stored in a retrieval system, or transmitted, in any form
or by any means, electronic, mechanical, photocopying, recording, or otherwise, without the prior permission of
the publisher.
26
A Lifting Criterion 27
(f(0it))’e0 (f<r1)'e0(fr)’el
=
space.
(6.5) Corollary. If(E,e0) —p> (X,x0), (E', e'0) -11 (Xaxo) are both
simply connected covering spaces ofX, then there is a unique homeomor-
phism §b:(E ', e’0) (E, eo) such thatpgb =p '.
—'
to equivalence. We call it the universal covering space of (X, xo), since all
other covering spaces lie “below it,” in the sense of (6.2) and (6.4).
The universal covering space need not exist, in general, for X is locally
homeomorphic to X, and so all “small” loops in X can be’shrunk to a point.
We thus have a necessary condition for the existence ofX : For any x E X,
there is a neighborhood U such that any loop in U based atx can be shrunk in
X to x. (In the process of shrinking the loop, we may have to go outside of U.)
A space X with this property is called semi-locally simply connected.
(6.6) Example: For any n > 0, let C,, be the circle with center (1/n, 0)
and radius 1/n, and let
X=UC,,
28 Elementary Homotopy Theory
Then X has no universal covering space, since the above condition does not
hold at the origin.
(C! ) be the equivalence class of or. Take X to be the set of all (oz )’s, and set
12 <a >= a(1)- N
Take as base for a topology on X the sets (CE, V), where V is an open
neighborhood of p (a ), consisting of all (afi ), [3 a path in V with initial
pointa(1). If (a")E (Ck, V)() (a', V’ ), then at”, V) (a, V), and =
<01”, VF) V’ )C (Cl, V)() (a’, V’), sothey do form a base. p is con-
tinuous and open, since p (tr, V) is the path component of V containing
P < 01 >-
Given x E X, take a pathwise connected open neighborhood V such that
any loop in V based at x can be shrunk to x in X. Then V is evenly
covered: p”(V) is the disjoint union of the (oz, V)’s such that p (01 ) E V,
andclearly p(a, V)= V. Ifp(aB )=p(af3' ), then B and B’ have the
same end point, whence by choice of V, B ’—”— /3' rel (0, 1), so (013) =
<04?’ >-
L~.et 370 be the class of the constant path c at x0. We can join any point < oz >
E X to $0 by a path (henceX is pathwise connected). Let
aS(t) =
a(st) all s, t E I
One checks easily thats < a, > is a path E in}? from 360 to < 01 >; moreover
—*
& lifts a. N
‘ ‘
oz ~
c, whence r is homotopicallytrivial. Thus X is simply connected. I
For letX X be the universal covering space, G the group of its covering
-+
(E9 e0)
H
(Flfo) G
Kl: 1
(Xax0)
(X X X9(x0s x0))
1 p
1:
I
(X! x0)
theorem. The criterion for its existence is m*( p X p)*1r,(E X E, (e0, e0))
CPJI, (E, eo). (See (6.1).) This means the following: For any loops 0, 1' at
xo, We can define a new loop 0* 1' by
(0 * r)(t) =
a(t)r(t) allt E I
the right side being multiplication in the group. We can also define
i'(t) =
‘r(t)”1 all t E I
30 Elementary Homotopy Theory
The criterion then says thatif [U], [1'] E p*7r, (E, e0) then [0 *’l'] €p*rr1 (E, eo).
Since p*7r1 (E, e0) is a subgroup of in (X, x0), this will follow from a lemma.
o'*1'=o1' rel(0,l)
o*1'=1'a rel(O,1)
%=~— 1" rel (0, 1)
0 * 1
x0 1' F (S, t ) =
a(s)r(st)
0
0 * 1'
x0 0 G(s, t ) =
a(st )1'(s)
1'
X0
x0 1' H(s, I ) =
1'(s)1'(st )4‘
1'
universal covering group being the group of spinors (cf. Chevalley [14],
Chap. 3). Another group of importance in physics is the proper Lorentz
group. Topologically it is P3 X R3, and its universal covering group is SL(2,
C), 2 X 2 complex matrices of determinant 1 (cf. Gelfand et al. [25]).
(6.13) Exercise. Prove SO(3) is not homotopicallyequivalent to S‘ X S 2.
the inner product (x, t(x) ) =0 for all x E S 2. We can assume t(x) is a
unit vector. Construct ¢:S ‘ X S2 SO(3) as follows. Let n(x) be the cross
—v
product of x and t(x). Then A(x) (x, t (x), n(x)) represents an element of
=
about the line x through an angle 0 measured from t(x) to n(x) and -
77 _<_
03 11. Show <1) is continuous, one-to—one and onto, hence a homeomor-
phism, to obtain a contradiction with (6.13).
7. Loop Spaces and Higher
Homotopy Groups
LetX’ be the set of all paths in X. IfX is a metric space withmetric d, we can
define a metric d * on X' by
d *(a, r) =
sup
16]
d(a(t ), ‘E(t ))
00) is continuous.
For the proof of this and the other purely point—set assertions below, see
Dugundji [20] or Kelley [34], or better, prove them yourself as exercises.
Note that the only property of I needed is local compactness in the strong
sense, i.e., for every t E I and open V containing 1‘, there is an open
neighborhood W of t whose closure is compact with W C V.
We will be concerned with the subspace Q XX 0 Ox 0 of X 1 consisting of
=
32
Loop Spaces and Higher Homotopy Groups 33
For a path f from 0' to 1' corresponds to a homotopy F:0 r rel (O, 1) by
=
the formula
f(s)(t)=F(S,t)
The factorization
I x 1 ifl’0,0 x 1 3 X
respectively.
(7.5) Lemma. LC (resp. RC) is homotopic to the identity map of OX0
relative to {C}.
Proof: We know Co 0 rel (0, 1) for every 0. Writing out explicitly the
=
homotopy Fa(s, t) used to show this, one sees that it is a continous function
of the pair (0, t), hence a homotopy of L C with the identity relative to
{C}. I
fat: g C
c f(s)g(st) c *5’ g
c
f*c
c c
f c
fa: g C
c f(st)g(s) f* c
c * g C
g c
7Tn(Xs x0) =
nn—l(nx0a
Loop Spaces and Higher Homotopy Groups 35
Q(f)I(Qx0» C) "
(Qxbs C’)
0(f)(<7)=f° 0
One can easily show Q(f) is continuous; hence, by induction we can define a
homomorphism
(f,.)nI1Tn(X,xo) **
7rn(X '9 X6)
(f.)., (Q(f),,)n—1
=
11 Z 2
(Exercise: Iff = g, but not relative to {xo}, what is the relation between (f;),,
and (g,,)n'-’)
is an isomorphismfor all n 2 2.
(E, eo) such thatpf f; since S is simply connected for n 2 2 (4.13), this
'
=
”
follows from (6.4). To say ( p*),, is injective means that if f’ lifts J", g’ lifts g,
and f g rel {so}, then f’
2
g’ rel {so}; this follows from the covering
3
(b) MS") % Z
(c) 1r,,(S"’) O forn > m.
=
Now (a) and (b) are true, (c) is false. One can prove (a) and (b) directly by
simplicial approximation (see Dugundji [20]) or one can first calculate the
homology groups of S (15.4) and then apply a theorem of Hurewicz. (One
’"
form of the Hurewicz theorem states that if n 2 2 and 1rq(X) O for all q < n,
=
then 7rq(X) E Hq(X) for all q S n; see Eilenberg [21].) Property (c) is
satisfied by the homology groups (15.5). H. Hopf gave the first example of a
map S
3 S 2 not homotopic to a constant (see Hu [33], Chap. 3). Although
—>
much has been discovered in recent years (cf. [33], last chapter), the
complete determination of the higher homotopy groups of spheres remains
one of the major unsolved problems in algebraic topology. A comprehensive
introduction to this subject was written by G. W. Whitehead [88].
Euclidean space stripped naked has neither coordinates, nor addition, nor
multiplication by scalars, as does R"; it has only points, lines, planes, etc.,
and when thought of this way, without any metric or vector space properties,
it is referred to as afline space. More precisely, an afiine space of dimension
n over R is a set E on which the additive group R" operates simply
transitively. Thus for each pair of points, P, Q in E there is a unique vector 1/
in R” from Q to P:
Q
We write 1/ P Q and P Q + 1/. However, the expression P + Q is
= — =
of all such points for all t E R is the line through P and Q (by definition).
More generally, given points P0, P, and real numbers ao,
. . . ,a, such . . .
,
that a0 + + a, .1, we can define the point
. .
=
2 a ,-P,-
i =0
S —
P0 = E a,-(P, —
P0).
i=1
Marvin}. Greenbcrgand John R. Harper, Algebraic Topology: A First Course ISBN O—805 3—3558—7(H)
C ISBN 0—8053—3557—9(Pbk)
(?pY"Eht ©
reserved.
_
1981 by Benjamin/Cummings Publishing Company, Inc.. Advanced Book Program. All rights
No pan oflhis publication may be reproduced. stored in a retrieval system, ortransmitted, in any form
a:Lb}'iItI)1lusher.
'
PU y means, electronic, mechanical, photocopying,recording, or otherwise, without the prior permission of
4]
42 Singular Homology Theory
. . .
,
~
= 1.
Given distinct P, Q, the points tP + (1 t )Q on the line throughP and Q -
all a,- Z 0, is the center of mass when we assign mass a, to the point P,. Taking
all a,- 1/(r + 1) gives the barycenter of the simplex.
=
map if
f(tP+(1‘f)Q)=U"(P)+(1—t)f(Q)
for allpoints P, Q and real numbers t. If f(P) ¢ f (Q), f sends the line
through P, Q into the line through f(P), f (Q), respecting barycentric
coordinates. One can show (exercise) that such a map f can always be
obtained as follows: Let ]‘be a linear transformation from the vector space
R” to R”. Choose a point 0 inE and a point 0’ in E ’. Then
is an affine map. Conversely, given j’, choose 0; for any vector 1/, set P =
E0=(0,0,...,0,...),
E,=(1,0,...,0,...),
E2=(0,l,...,0,...),etc.
We identify R” with the subspace having all components after the n-th
equal to O.We let, for any q 2 O, Aq denote the q-dimensional geometric
simplex spanned by E0, Eq, called the standard (geometric) q—simplex.
. . .
,
into P0, Eq into Pq. Thus (E0 Eq) is the identity map of Aq, which will
. . . , . . .
be denoted 8,].
Given a space X, asingular q-simplex inX is a map Aq X. Thus forq -> =
a (continuous) map of the standard triangle into X, etc. The affine map
(P0 .Pq) is a singular q-simplex in the affine space E.
. .
field). Precisely, define Sq(X) to be the free R-module generated by all the
singular q—simplexes. The elements of Sq(X) are formal linear combinations
212,0
0
where 0 runs through singular q—simplexes, and the coefficients v,, are from
Marvinl. Grcenberg andlohn R. Harper. AlgebraicTopology: A First Course ISBN 0805 335 58—7(H)
ISBN 0-805 3-355‘/»9(Pbk)
Copyright © 1981 by Benjamin/Cummings Publishing Company, lnc., Advanced Book Program. All rights
reserved. No pan ofthis publication may be reproduced, stored in a retrieval system, ortransmitted, in any form
or by any means, electronic, mechanical, photocopying. recording, or otherwise. without the prior permission of
the publisher.
44
singular Theory 45
R, (The only way such a sum can vanish is if all the coefficients are 0.) These
sums are called singular q-chains.
One should take care to recognize the distinction between singular q-
simplices (maps a:Aq X) and singular q—chains (formal linear combina-
->
°“)_
,
_{dm) 0StS%}
an %StSl
(E0...Ei...Eq)
where E, means “omit E”; in other words,
FiE
”(fl_ _{Q Q“
j<L
jza
For an arbitrary singular q—simplex 0 in a spaceX define the i—thface 0"’ of
<7 to be the singular (q l)—simplex 0° F :1. Thus F j, is the i—th face of ti], and
—
d”=U%H.R.HPJ
Diagramatically,q = 2 is shown:
Plus F
46 Singular Homology Theory
1)—chain
5(0) 2
.fi0(—1)"o(l')_
(In the previous diagram, 662 is the sum of the edges of the triangle with signs
chosen so that starting withE0 we travel around in a loop; however, 682 is not
a loop, but a formal sum with i signs of 3 paths!) In the special case 0 =
(P0 .Pq),
. .
6(P0...Pq) = _§“.(—1)I‘(P0
(=0
. . .P,. . . . Pq).
We extend (9 to a module homomorphism Sq(X) -’
Sqa,(X) by linearity; thus
6(21/G0) Zv,,0(<r).
=
For q =
O, the boundary of a 0—chain is defined to be 0.
(9.2) Proposition. 66 = 0.
Then
a(aa) =
I2:20(—1)’a(a<‘>)
.4"
£2
=,,=0<~1>' g<-1>J<a .
0 F :,> F4,-1
.
o
.
+
singular Theory 47
form a submodule Bq of the module Z,1 of cycles; the quotient module Zq/Bq
is called the q—th singular homology module of X, denoted
Hq(X; R)
or simply Hq(X) when the reference to R is understood.
a(aq):{ 81 o_ qeven>0,
qodd
0 qeven>0,
Zq_Bq—
__ _
Sq qodd 9
C =23kCk
Where ck is a singular q—chain on Xk. I
48 Singular Homology Theory
x —
c =
21/xx
X
c =
zxlvxx (Z vx)x0
— =
a(Zv,,a,,).
The converse is clear. Now every O—chain is a cycle. The map sending c onto
the sum of its coefficients is a homomorphism of S0 onto R with kernel B0,
hence
H0(X) E R.
This proposition is the key to all the connectedness theorems in algebraic
topology (see sections 18 and 27).
(9.7) Exercise. The reduced 0—th homology module H 3‘ (X) is obtained by
defining a different boundary operator on 0—chains:
6#( Ex vxx) =
Zxlvx.
Verify that d*6 0. Hf,’ (X) is the quotient of the kernel of 6* by the
=
simplex X, f
in 0 is
0
one inX ’. We obtain a homomorphism Sq( f ):Sq(X) —>
SAX ') by
S.,<f><Zv.,a> E‘/o(.fo o).
=
Clearly
(i) Sq(identity) identity,
=
Immediate from(f°o)°Ff,=f°(<7°Ff,). I
Hg is functor
a from the category of topological spaces to the category of R-
modules, for each q _>_ 0. Thus the homology modules are topological
invariants.
can be defined for all X using a single value P (8,) E Sq(Aq) by the equation
(911) PX
s,(X) _.s,(X)
Sq(.f) Sq(f)
s.,( Y>i+s.,(Y)
Y
commutes.
(9.13) Exercise. Regard the torus T and the Klein bottle K as quotients of
the affine space I X I obtained by identifications on opposite edges as
pictured:
Br—>j-[D B
’}' JD
’
A ______|_ C A r
C r
T K
Singular Theory 51
Let p, p’ : I X I -*
T, K be the identification maps. Define maps
01, 02 € S2(T)by<71=p°(A.B,D),<T2=19 (A. C. D); T1, 72 € S2(K) by
°
Cq+1aq+1 Cq—afl—rCq_1.
In most cases Cq 0 ifq < 0. An element of C, has dimension q.
=
fq
C4 Cq
(94 0,’,
Cq-1—Z:C ,'I_,
For example, a map of spaces fiX —* Y induces a chain map S( f ):S(X) —’
S( Y) (9.8).
Marvin J. Greenbcrgand John R. Harper, AlgebraicTopology: A First Course ISBN 0~805 3~355 8~7(H)
ISBN 0—8053—3557—9(Pbk)
Copyright © 1981 by Benjamin/Cummings Publishing Company. lnc.. Advanced Book Program. All rights
reserved. No pan ofthis publication may be reproduced, stored in a retrieval system, or transmitted, in any form
or by any means, electronic, mechanical, photocopying,recording, or otherwise, without the prior permission of
the publisher.
52
Chain Complexes 53
Zq(C)/Bq(C)-
By construction, Hq(C) is an R—module. If 2 E Zq(C) we write 2 for the
corresponding element in Hq(C).
A chain map f:C C sends cycles to cycles and boundaries to
—*
’
Hq(f)(2)=/,<z>.
Thus H defines a functor from the category of chain complexes over R and
chain maps to the category of R—modu1es and homomorphisms. The Verifica-
tion is an exercise; see the material following (9.8).
The motivation for the next definition will become apparent in the next
chapter.
(10.5) Definition. A chain homotopy between chain maps
f =
{ f;,:Cq ~* C "J }
andg={gq:C,] C[,} ~ is a sequenceD= {Dq:Cq —'
C[,H} of homomor-
phisms such that 0 j,+,Dq + Dq_,6q =fq —
gq.
We Write f=g. (If Cq = O for q < 0, the equation reads (9 ’,D0 =13 -go.)
This means im 6,,“ ker 6,, for all q (im 6. C0 if Cq 0 forq < 0). The
= = =
an epimorphism e:C0
R for C is R such that 36,
—>
0, =
al 8
C1 _’
C0 _’ R.
(9.7) asserts that the reduced homology of a space X is the homology of the
reduced singular complex S(X).
Hq(C) 0 forq > 0, then im 6,,“ ker dq forq > O. The projection £:C0
= = —’
Our next goal is to relate acyclicity with certain chain homotopies. Every
complex with augmentation £:C0 R has a (nonunique) right inverse n:R
—’ -’
coordinates of the form (1, x). Given f:S” X, define "+1 X by —’ —>
llv and an are from (O, O) to (1, sin 1) as pictured. Suggestion: use local
C0I1nectedness to show that the image of a sphere misses the nasty part.
56 Singular Homology Theory
178. Let Aq+1 Aq+, be the boundary. Then _Aq+1 is the union of q-
C
faces F;+,(Aq),
0 S 1' S q + 1. The pair (z_&q+,, Aq+,) is homeomorphic to
(EV1, ").
S SinceX is aspherical, any map Aq+1 X extends to a map A4“
-'
aF;‘;' ifj= 0,
=
ne(o'Ff,") ifq=l,j¢0,
Dq_2(0 Ff,"F{,Z} otherwise;
and
a1«‘;;'
_
ifj= 0,
Dq(cr) F{,HF§,"
. _
Dq_,(aF’q ‘) F; __ __ 1
otherwise,
aF;';1 ifj= 0,
=
ns(crF{f') ifq=1,j¢0,
Dq_2(a F{,"FfIZf otherwise.
These expressions are equal by the definition of 118 and (9.3). Hence we have
Dq(a):Aqfl X and Dq:Sq(X)
-*
q+1(X). We check that Dq is a chain
->
homotopy;
51Do(<T) 170(0) F?
= —
Do(<T) F} =
(1 ‘
118)(0),
q+l q
aq*1Dq(U) + Dq—laq(U) =
§(—1>‘Dq<a> Ff;+1 + Dq—l( _0<—1>"oF;>
q+l
=
a + i§(—.1)"Dq_.1(aF;';‘)
+ £(—1)’Dq_1(aFfI)
i=0
=
or
defined by: c’(0) 0 ifa € S'q(X), q 2 1, and c'(tr) 00 ifa E S0(X) where
= =
homotopic to S(c).
(10-15) Exercise. Prove 2 is an equivalence relation.
58 Singular Homology Theory
(11-4) Theorem. S(z'0) and S(i) are chain homotopic maps S(X) —*
S(X X 1).
Marvin]. Greenbergand John R. Harper, Algebraic Topology: A First Course ISBN 0—80S3—3558—7(H)
ISBN 0—8053—3557—9(Pbk)
C °pY“€ht © 1981
by Benjamin/CummingsPublishing Company, lnc., Advanced Book Program. All rights
,
r °S°”’°d-
No part ofthis publication may be reproduced, stored in a retrieval system, ortransmitted, in any form
gfebg 81:11)’ rlneans,
u
electronic, mechanical, photocopying, recording, or otherwise, withoutthe prior permission of
[S ier.
59
60 Singular Homology Theory
D0(a) 0 X id
=
oXid
A1=A0><I—’_'X><I.
holds for each 0'. Note that D0 is natural; if h:X -' X then
'
D0
S0(X) S1(X >< 1)
S0(h ) 1
Homotopy Invariance of Homology 61
Writing 0 =
Sq(a)(8q) and applying dq gives
dqor Sq-,(o)6q(8q).
=
Then
Dq_,8qor= Dq#,Sq-,(U)6q(8q)
Sq(a X z'd)Dq_,0q(8,,) by (b).
=
=
Sq(U >< id)(Sq(il) s,,<io>><6,,)
—
=
(Sq(il) Sq<io))Sq<o)<6q>
—
Remark. We have proved more than was stated: S(z'0) and S(i,) are chain
homotopic by a natural chain homotopy.
Here are some exercises to aid in digesting the ideas used in our proof.
(11.5) Exercise. To obtain Do for all spaces it is enough to construct
Do=So(Ao) S,(A0 X I) such that6,D0 sea.) S0(1'0).
—~ = —
62 Singular Homology Theory
implies S(X) is acyclic for all X. Assume for all X, ex has a right inverse
71X5R S000 and So(f)7lX TIY- Define Do3So(Ao) S1(Ao) by D0070)
“’ = " =
by(E0,.:.,Eq)andAq ><{1}by(E{,,...,E,}).ForeachqZ0,0SiSq,
define U;:Aq+1—> Aq X Ito be the affine map(E0, . . . ,E,-,E,5, , , ,, E4).
4
Given a singular q—simplex 0:Aq -* X define Dq(a) =
S(cr X I )({;:_:.)(—1)’U;)
E Sq+1(X X I ). Show by direct calculation that (0q+,Dq + Dq_16q )(O') =
which sends the homotopy class of a loop 7 into the homology class of the
singular 1—simplex 7. IfX is path connected, X is surjective, and its kernel is
the commutator subgroup.
A 2 other than E0, the line throughE0 and Q meets the edge opposite E0 in a
P0int Q’. We write
eFVed. No part ofthis publication may be reproduced, stored in a retrieval system, or transmitted, in any form
fgebggsly fktlicans.
IS er.
electronic, mechanical, photocopying,recording, or otherwise, withoutthe prior permission of
63
54 Singular Homology Theory
70
% E
N®=7—7’+m-
Since 70 is the boundary of the trivial 2—simp1ex at xo, we have y ~
y ', and X
is well defined.
To see that it is a homomorphism, use the diagram
This means that after collecting terms, all coefficients are 0. Choose a path
71,0 from xo to oz,-(O), a path n,~, from x0 to 04(1), and choose the paths to
depend only on the vertices, not on the indexing. Then, collecting terms,
0 =
2:1/i(77i‘i T
71.0)-
Relation Between 1r] and H1 65
Setting fit =
mo + 04- -
mi, we get
2 =
Ev,-B,-.
Now if y,- is the loop n,-oam,-",1, we see that
x[H7F"l = 2
and X is surjective.
Next we identify Ker X. The main difficulty is recognizing commutators
when they are expressed as products of paths. Suppose a loop y is expressed
Y: Hafi
where oz, are paths which are not necessarily distinct and e,- = i1. Write
exp( 01,) =
26]-
where the sum is over allj such that aj =
0z,».
Proof Choose paths 21,0 and 17,1 from x0 to the initial and terminal points of
01,- and choose the paths to depend only on the endpoints, not the indexing.
Then
7 =
Ha?"-‘ 1,_I(t1.-oer.-71.-T)" re1(0, 1).
Let 17 '1 be the quotient of in (X, x0) by its commutator subgroup and lety be
the coset of [y]. Then writing [3, 17,-0a,11,-‘,1 we have
=
T: _2£iBi : Z 3XP(0li)Bi = 0
7 = d(2v,~0,-).
Write 5(U,-) =
04,0 -
(124) 2 Vr(01ro ’
an + 092)
y occurs with coefficient 1, all other paths with coefficient 0. We again
choose paths 21,], j 0, 1, 2, from xo to 01,-2(0), a,-0(0), a,,(1) so as to depend
=
only on the vertices, not the indexing, and we choose the constant path to the
Vertex xo.
711‘)
fire =
71r101ro71 i2 ,
3n =
71zo01i171f2 9
3.1 =
?7r001i27171l-
Then
13:’ :
fiiOfli-l 13,2 2
77:": 04io01r'1 [$271,711 2
xo 1'e1(0, 1)-
Hence
Hlfirlv’ = 1-
1/(11,113.-"")"
satisfies (12.3). Thus [y] belongs to the commutator subgroup.
Since H, (X) is commutative, the kernel of X must contain the commutator
subgroup, and we are done. I
(12.6) Exercise. Show that any map( 14, 6I‘’) (X, x0) (here 6]" is in the
-*
functorial in the sense that a map fi(X, x0) ( Y, yo) induces a commutative
-e
diagram
X
77.,(X, xo)—>Hq(X)
lHq(.f)
(f.>qJyo)‘X"Hq(Y)
m,(Y,
by by
02 Cl
b2 b2
02
If‘we remove the interior of small disc,
a obtain W, an orientable surface
we
withboundary y, and W has the homotopy type of a bouquet of 2g circles.
Hence in Wis free on {01,, fi,~; 1 S is g} where 01,- [a,-], B,« [b,-]. Since [y]
= =
=
Hi, [01,-, /3,-], it follows that y is homologous to 0 in H1(W). More
generally have
we
We sketch the proof of (12.8) leaving details for an exercise. On the one
hand, iff has an extension, then regarded as a loop in W, x[y] 0. On the =
a in this statement).
A proof is given in Rolfsen [85], p. 19. The analogous results for the other
surfaces appear in Schafer, Canadian Math. Bull. 19 (1976); Meyerson,
Proc. Amer. Math. Soc. 61 (1976); Meeks and Patrusky, IllinoisJ. Math. 22
(1978).
[16] or Rolfsen [85]. Applying (12.1) results in H1(R3 K) ——“—’ Z (this will
—
also appear in chapter 18). IfJ .andK are nonintersecting circles in R3,
possibly knotted, then X[J ] €H,(R3 —K ) defines an integer called the
linking number ofJ and K. The precise definition depends on orientations.
This topological invariant was formulated by Gauss. It has been used by
W. R. Bauer, F. H. C. Crick, and J. H. White, Supercoiled DNA, Scientific
American 243 July (1980), l18—133, in the study of DNA.
&%
Show 6‘: 0 and 7, =
y2 + y; inH,.
(12.12) Exercise. Regard the Klein bottle K as the indentification space
pictured (the shaded part will enter later).
0
Leta =
[a], B =
[b]in 1r,(K). Show [(1, B] 75 1 in 171K. Find a map of a
punctured torus to K representing the commutator [a, [3]. Suggestion:
@
visualize the punctured torus
(12.13) Exercise. Show that the boundary of the Mobius strip is not a
retract. You can use the relation between 171 and H, to identify generators.
Calculations like (9.13) can be made to compute the map H,(6M ) ->
which actually map into A. We can then form the quotient module, and since
the boundary operator sends S,,(A) into Sq_,(A), it induces a homomorphism
5 which makes the diagram
Sq~l(X) —-
s.,_.(X>/s.g1<A)
commutative [i.e., if c E Sq(X), we define 3 (coset of c mod Sq(A)) coset of =
modules
Marvin J. Grcenberg and John R. Harper. Algebraic Topology: A First Course ISBN 0805 3-35 58—7( H)
ISBN 0-805 3-35 57—9( Pbk)
Copyright © 1981 by Benjamin/Cummings Publishing Company. lnc., Advanced Book Program. All rights
reserved. No part of this publication may be reproduced. stored in a retrieval system. or transmitted, in any form
0}l1'bpublisher.
t e )
any means. electronic. mechanical, photocopying, recording, or otherwise. withoutthe prior permission of
Relative Homology 7l
of the module (a) above. What is the pre—image of (b)? Clearly it is the
submodule Bq(X, A) of Sq(X) consisting of chains homologous to chains in
Sq(A); they are called relative q—boundarz'es on X mod A (write c c’ modA
~
if c c’ is a relative q—boundary).
~
(13.4) Example : IfX is the cylinder] X S’, A the subspace 1 X S‘, then
any horizontal loop s (t, eh”) is a relative 1-boundary, since it is
-'
(13.6) The relative homology modules are functorial in the pair (X, A).
Thus given another pair (X ’, A ’) (the word pair will henceforth mean two
topological spaces such that the second is a subspace of the first) and a
mfip fi(X, A) (X’, A’) [meaning fis a mapX X’ such that f(A) C
->
Sq(f)ISq(X) '*
SAX’)
sends Sq(A) into Sq(A’), hence Zq(X,A) into Zq(X’, A’) and Bq(X,A) into
Bq(X ’, A ’), hence induces by passage to the quotient a homorphism
Hq(f):Hq(X, A) -+
Hq(X’, A’)
As usual
Hq(A ’) -'
HqlX’) -*
Hq(X’, A ’)
are commutative (the vertical arrows are homomorphisms induced by a map
fi(X, A) (X', A’), the horizontal ones from 13.7).
-+
Hq(X9
Relative Homology 73
Proof. Just modify the proof of (9.5). Of course the subspacesAk need not
be path connected. I
chain on A. I
Iffl A =
g| A H|
= A X I then we writefzg rel A. The top and bottom
inclusions i0, i,:(X, A) (XX 1, A X I) are maps of pairs. Theorem (1 1.4)
-+
Dql DG D ‘l
0~ Sq+,(A x 1) ~
s,,.,(X>< I) ~
Sq+1(XX I)/Sq+,(A x 1) ~0.
Hence a map Dq is induced giving a natural chain homotopy of S(i0) with
S(i,) on the relative singular complexes. We then have
(13.14) Proposition. Homotopic maps ofpairs fl g:(X, A) -*
(Y, B)
induce equal maps on homology.
We leave the proof for an exercise. One reworks the argument of (11.2).
(13.5) Example. LetX= X’ be the closed disc E2, A the circle S‘, and A’
3 A the closed annulus defined byé S I 2| S 1. We claim thatthe inclusion
map fi(X, A) (X A’) is a homotopy equivalence, hence
—+
74 Singular Homology Theory
Hq(f)IHq(X, A) ‘*
Hq(X: A’)
is an isomorphism. Define g:(X, A’) —'
(X, A) by
22 Iz| _<_ -Q,
g(Z) =
e19
_
ifz=re’”with§SrS 1.
_
(1+t)z |zISl/1+1,
F,(z)=
e'”
_
ifz=re"’with(1/1+t)SrS 1.
_
Hq(X>
76 Singular Homology Theory
Exactness at H0(X, A) means the image of H0( j ) equals the kernel of the
zero homomorphism, i.e., H0( j ) is surjective. This has been proved above.
(14.3) Example: Exercise (13.12) can now be carried out as an easy
consequence of(l4.l). For ifA is a single point x0, Hq(A) = 0 for all q > 0.
Thus for all q 2 2,
Hq(J')
0 4
Hq(X)——~ Hq(X, x0) 4 0
6:Hq(E", S”’1) -*
Hq_,(S"")
is an isomorphism for all q 2 2. For q = 1 we get
0 _,
Hl(EI1’ S11-1) _,
H0(S:z—l) _,
H0(E:z) _, 0
Forn >1, S”" is path connected and we see H,(E", S”") 0. Forn =1, =
~
H.,(A> ~
H.,<X> ~
H.,<X,A> ~
H.,-.<A)~
1 1 1 1
~
H.,<A'> ~
H.,<X'> ~
H.<X'. A’) ~
H,,-.<A') ~
H.,<X.A>—"~ H.~«<A>
1 1
HM, A'>#H.,-.(A'>
is commutative; this is immediate from the fact that the chain homomor-
phisms Sq( f) commute with the boundary operator (9.8). I
(14.6) Suppose A C
Exercise. X C X’. Generalize the previous to obtain
an exact homology sequence
.—» Hq(X,A) ~
Hq(X’,A) —»
Hq(X’,X) ~
Hq_,(X,A) ~
. ..
which is functorial in the triple (X’ X, A). , Suggestion: One can establish a
short exact sequence of chain complexes
0 —>
S(X)/S(A) -
S(X’)/S(A) -+
S(X’)/S(X) —’ 0
Hq (X)
qt(X') \
-> H
1
Hq(X,A) -*
Hq(X’, A) -*
Hq(X’, X)
1 1
Hq—i(/1) _’
Hq—l(X) —’
q—1(X')
1 1
Hq_,(X, A) -*
Hq_1(X’, A).
Ladders of the sort occurring in ( 14.5) appear frequently in the subject. We
§hall develop a number of algebraic lemmas to handle them. The most
Important is known as the
.fl f2 f3 fix
A1‘:’A2‘j’A3‘*"/14*"/45
am t! in 61$!
B] j’B2 ""B3:—’B4—"-‘B5
81 32 83 84
such that the rows are exact (at joints 2, 3, 4) and the four outer
homomorphisms 01, B, 8, s are isomorphisms, then 7 is an isomorphism.
Proof. Show y is monic. If a E A3 and 7(a) 0 then 8f3(a)=O. Since 8 is
=
Z 12 -—’
Z 12 -—*'
Z
long exact sequence of the pair (X, A) where A is a retract has special
properties. Conversely, the impossibilityof A being a retract can sometimes
be proved by showing the incompatibilityof these properties with the values
of the homology modules. We first treat the relevant algebra.
The Exact Homology Sequence 79
monic, imi
ker j,=and j is epic. The Noether isomorphism theorem then
C imj 9- B/imi withA % im i. So, up to isomorphism, C is B/A.
says =
Among the short exact sequences, certain special cases are singled out.
Z
3,j(0, 1)
Z/2Z is
3),j(1,0X)2=
—’ —* ->
=
(b —
ik(b)) —
(b’ —
ik(b')) = b —
1;’ —
iki(a) = b —
b’ —
i(a) = 0.
and similarly for a’. Hence i(a + a’) b + b’ l]'(b + b’). By definition
= —
k(b + b’) a + a’ =
k(b) k(b').
+ = To check condition (a) we have
i(a) i(a) lji(a).
= -
Hence ki(a) a. = I
(14.12) Remark. The existence of k:B A such thatki id, implies that -> =
kl(J;'\.i‘.G
80 Singular Homology Theory
with im is =
kerjs, and ks an isomorphism for s =
1, 2. Then the com-
positions
i1@i2 v’
016902 ——. Goo ———>G
A h®h
G ——» G690 ——>G1®G2
are isomorphisms where V ’(g, g’) =
g+ g’, A(g) =
(g, g).
Proof. Since both ks are isomorphisms, then both is are monic and bothjs
are epic. To check V (il 63 i2) is monic, we note V °(i1 69 i2)(g, g’) 0
’ ° ’
=
g= V i2)(g",g’)-
’
°
(i! <43
We leave the proof that ( jl 6915) A is an isomorphism for an exercise.
0 I
A C
% II
.
A
u‘%B\~\‘C
Returning to spaces we have
(14.14) Proposition. If A C X is a retract then the long exact homology
sequenceof the pair (X, A) breaks into split short exact sequences
Hq(i)
0 ~+
Hq(A) I Hq(X) ->
Hq(X, A) -+ 0
HM
for all q 2 0. For q = 0 either ordinary or reduced homology may be used.
In particular Hq(X) is isomorphic to the direct sum Hq(A) 69 Hq(X, A).
Proof. Since ri id,, we have 1 Hq(r)Hq(i). Then (14.12) implies the
= =
long exact sequence breaks into short exact sequences which are split by
(14.10), I
The Exact Homology Sequence 81
sequences of triples, show that if the inclusion (X1 A) ‘-* (X, X2) induces an
,
isomorphism in homology then the same holds for the inclusion (X2, A) ‘-*
(X, X1).
( 14.16) Exercise. Verify that the sequence of reduced homology modules
(9.7) is also exact, where we define HEf(X, A) to be H0(X, A) if A is
nonempty, H 3‘(X 91>) H 3‘(X)
,
=
(14.17) Note. Ifxo E A C X, one can also define 1r,,(X, A,x0) for allq Z 1;
however, for q= 1 it is only a set with a distinguished element, not a group.
Forq > 1 it is a group, and forq > 2 it is commutative. Moreover, there is an
exact homotopy sequence completely analogous to the exact homology
sequence (cf. Hu [33], Chapter 4), or [88].
This states that certain subspaces U C A may be cut out or excised from
the space without affecting the relative homology modules. More precisely,
the inclusion map (X U, A U)
—
induces an isomorphism
Hq(X— U,A -
U) —~
Hq(X,A)
for all q.
V, A -
V). Then U
can be excised.
Proofof (15.2). Condition (ii) means that the identity map of
(X V, A V) — —
(X —
V, A V). By homotopy
—* the - —
82
The Excision Theorem 33
(E1, S”") *
(S",E,7)
is an excision.
U: {X E .S"lX,,+1< 0}.
We can’t apply (15.1) directly since its hypothesis is not satisfied. Thus we
proceed in 2 steps. Let
V= {x€ S"lx,.+1< “%}-
By (15.1) V can be excised. But (E,,+, S"") is a deformation retract of
(S” V, E; V) (move up along great circles), hence (15.2) applies. I
— -
0 n > 1,
H1(En, Sn-I) 2
R n == 1.
)~ 0 ’
ll
R q=n,
Hq(S”)E
0 gain,
R q=n,
Hq(E”, S”") -3-
O qsén.
(15.6) Corollary. S”"' is not a retract ofE”.
The argument is the same as in (4.9), using homology functors instead of
homotopy: If we had a map f:E" S”" whose restriction to S”“ is the
->
R —> O -> R
\_j_/
identity
which is ridiculous. (Exercise: do n =
1.) I
The Excision Theorem 85
(15.7) Brouwer’s Fixed Point Theorem. Any continuous map E" -* E"
has a fixed point.
Same proof as (4.11). I
corresponding to the integer 1, then for any map f:S" S”, H,,( f )(a)
-’
corresponds to some integer called the degree of the mapf. This can be
described explicitly (see Dugundji [20], Chapter XVI).
The proof of 15.1 involves some completely new ideas.
First, let 7: (V,) be a family of open sets which cover X. Call a singular
q—simplex small oforder 7 if it maps A4 into one of the V,-. A key fact we will
need follows:
Sd: Sq(X) —*
Sq(X)
which commute with the boundary operators. To be able to compare c and
Sdc, we will also need operators
T: S.,<X> ~
.+.(X>
(Which for q 2 corresponds to constructing a degenerate 3-dimensional
=
Thus it suffices to define these operators for the space X Ag and the =
singular q—simplex 8,1 (see 10.9). For q 0, set Sd8o 80, T80 0. = = =
Sd Bq =
BqSd aaq
T8, Bq(8,,
= —
Sd Bq —
T68q)
where Bq is the barycenter of Aq:
i$0q_——f———1—Ei
1
=
Bq
6Sd = Sdé
6T = Id —
Sd -
T6
functoriality to evaluate both sides of the equations on 8,]. Using (15.10) (and
dropping the subscripts q for simplicity) we get
6Sd 8 = (33 Sd68= Sd68 -
B6Sd68
but by inductive hypothesis
B6Sd68 = B Sd628 = 0
Similarly
6T8=6B(8 Sd8 T68) — —
=8—Sd8—T<98—B(68-6Sa’8—6T68)
=
8-Sd8—T88-B(68—Sd68—68+Sd68+T628)
=8—Sd8-T68 I
NOW let 0 =
(P0 . . .Pq) be an affine q—simplex in some affine space. The
‘mage 0(Aq) is a compact set, and we can consider its diameter d(o').
88 Singular Homology Theory
qd(0)
q+1
Proof: Exercise. I
there is an r > 0 such that Sd’ 8,, is a linear combinationof affine singular
simplexes of diameter < 3. But Sd’cr Sq(o)Sd" 8,].
= I
dropped from this expression without changing the homology class of 2 mod
A. Having omitted such 0'!‘ we see thatz can be regarded as a relative cycle on
X— U modA —
U. Thus
Hq(X— U,A —
U) —*
Hq(X,A)
is onto.
Suppose z is a relative cycle on X —
U mod A —
U such thatz ~ 0 on X
mod A.
Thus
z = z’ + dw
Sd’z -
we see
both sides are chains on A U, and solving for Sd‘z again shows
—
Sd’z~0 on X—UmodA—U
Thus Hq(X —
U, A —
U) a
Hq(X, U) is a monomorphism. I
and 2, the space X is the rectangle, A is the triangle below the diagonal, and
U is a disc inside A.
In figure 1 we have the image of a relative singular 2—simplex. In figure 2
we have subdivided to get a singular 2—chain. Throwing away the pieces in A
does not change the relative singular 2—chain. The result (shaded) is a relative
singular 2—chain of (X U,A U ). Regarded as an element of S2 (X)/S2(A),
— —
H3‘(X-U,A—U)=H0(X—U,A—U),
H3‘(X, A) H0(X, A) (we assume of courseA ;é gb). U= A can occur only
=
(15.16) Note. A stronger form of Theorem 15.9 will be needed later: Let
S(V) be the subcomplex of S(X) generated by all the simplexes small of
order '2’ Then the inclusion homomorphism S(7'’) S(X) is an equivalence
-’
ofchain complexes.
We shall establish (15.16) by the general method of algebraic mapping
cones. In order that submodules of free R—modules be free, we assume R is a
p.i.d. (see Lang [35]).
(15.17) Definition. Let f:C C —*
’
be a chain map of chain complexes. The
mapping cone Cf is the complex
(Cf)q =
C; 39 Cq-1s
a{1(-xsy ) =
The Excision Theorem 91
_.f;1~2aq*lyaaq—2aq—ly ) =
92 Singular Homology Theory
D8f= id. Then Dq:C,’, 6B Cq_, C,’,+1 ®Cq defines four maps Sq:C;
—> -+
§,+1,gq:C[I C,,,E,,_,:Cq_1
—’ -*
C,’,+,, Y},_1:Cq_, ->
Cq such that
Dq(x9y ) =
(Sq-x + Eq—lyagqx + Tq—1y
The Excision Theorem 93
EX Xx{-L}
O
(15.25) Exercise. Concoct an example where excision fails for reduced
homology, cf. (15.15).
(15.26) Exercise. Let Mq E A, X I be the point (Bq, %), cf. (15.10). Use
the join with Mq to prove (11.4). Suggestion: Consider T84 Mq(i18q
= —
i08q Tdoq). Draw some pictures comparing the chain homotopy T with
—
x, I—
Hn(r)IHn(S”)7’ HAS")
is multiplication by -1 for all n 2 1.
H,.<r>l l H,,-,(r>
H)I(Sn) -3» H:7:.<s"-‘)
(see 15.4). I
Proof. If A E S0(n + 1), there exists B such that BAB" has the form
[":1] 2 X 2 matrices of the form
< —
cos 0
sin 0
sin 0
cos 0
Marvin]. Greenbergand John R. Harper, Algebraic Topology: A First Course ISBN 0-805 3-35 58—7(H)
ISBN 0-8053-3557~9(Pbk)
Copyright © 1981 by Benjamin/CummingsPublishing Company, lnc.. Advanced Book Program‘ All rights
reserved. No pan ofthis publication may be reproduced, stored in a retrieval system. ortransmitted. in any form
or by any means, electronic, mechanical, photocopying,recording, or otherwise. without the prior permission of
the publisher.
94
Further Applications to Spheres 95
along the diagonal, 1 in the last diagonal place if n is even, and O elsewhere
(Halmos [28], p. 164). Replacing 0 by t0 gives a homotopy H, such thatH0 =
Proof. By (16.2) we may assume det g -1. But then rg and gr are =
g r.)—’= I
perpendicular to a(x) for all x E S ” (which makes sense because x and 1/(x)
are both vectors in (n + 1)-space; if a(x) is placed with its initial point at the
end point of x, it will be tangent to the sphere).
(16.5)
isodd.
Theorem. S" has a nowhere vanishing vectorfield ifand only ifn
Z/(X0, xl, . . .
, x2,,,+1) =
(—x,, x0, —x3, x2, . . .
, —x2,,,+,, x2,,,).
Now, as the diagram suggests, we can deform w(x) back to x, or in the other
direction to —x. To be precise,
F(x, t ) =
x cos tn + w (x) sin trr
defines a homotopy such that
F (x, 0) =
x
F (X, %) =
W (X)
F (x, 1) =
—x
Thus
Id 2 w ’—‘— a
but by (16.4) and the homotopy theorem, the antipodal map is not homotopic
to the identity map for n even.
Note. If n is odd, we have shown in the course of the proof that any field of
unit vectors w on S” is, when considered as a map S ” S ”, homotopic to the -+
identity map.
(16.6) Note. If I1 is odd, it is a difficult problem to determine the maximal
number of linearlyindependent nowhere vanishing vector fields on S”. This
problem was solved by Frank Adams [1].
(16.7) Exercise. Letf, g be maps S" S” such that f(x) ¢g (x) for all x
->
H,.(f) =
(‘1)"“Hn(g)
In particular, any map S" -> S” without fixed points is homotopic to the
antipodal map.
Further Applications to Spheres 97
map which is not onto. Then f has a fixed point and also a point x at
which f(x) =
—x (use (16.7)).
(16.9) Exercise. Any fiS2” —’-> S 2” either has a fixed point or sends some
point into its antipode.
(16.12) Exercise. Every fiP2" P2” has a fixed point. Suggestion: Use
->
(16.9) and the lifting theorem (6.1). Construct f:P2”+‘ P2"+' without —>
fixed points.
(16.13) Exercise. Prove that the covering projection S " —* P” is not null-
homotopic. Suggestion: The lifting theorem provides a set equivalence
[X, S”] [X, P"] for all simply connected X.
->
l deg gl ,
then f, g are orthogonal at some x.
17. Mayer-Vietoris Sequence
We now consider triads (X, X, X2), ordered triples of spaces such thatX,
,
and k2 are excisions, the triad is called exact (or “proper” in some books):
Thus
Hq(kr)3Hq(Xr'= Xi 0 X2) —’
Hq(X1 U X2» Xi)
is isomorphism for all q, (i, i’) (1, 2) or (2, 1). These isomorphisms are
an =
(17.1) Example. If X,, X2 are both open sets, then (X, X,, X2) is exact.
For we can assumeX= X, U X2. ForA X,, U= X, X, F) X2, thenX—
= —-
U =
X2, so U is a closed subset of X contained in the open A, and the
excision theorem applies.
(17.3)
-’
Hq(A) —’
Hq(Xl) "
Hq(X1>A)_’ Hq—l(A) "
H.,—1(Xi)"'
4 1 1 1 5
—
H.(X2> ~
H.,<X> ~
H.,(X, X2) ~
H.,-1(X2> ~
H.,-.<X)~ - --
in which all rectangles are commutative. A useful lemma for dealing withthis
set—up is
i7i+1 I011‘
100 Singular Homology Theory
*’
Hl(X) —'
H3‘(A) “‘
H§(Xi) @H3(X2) —*
H?1(X) "
0,
by remark (15.15).
(17.10) Relative Mayer—Vz'et0rz's sequence. Suppose (X, X1, X2) is an
exact triad but not necessarily X =
X, U X2. Let Y X, U X2 and =
A =
X, F) X2. Then there is a relative Mayer— Vietoris sequence which is
exact:
-‘* Hq(X, A) “*
Hq(X9 X1) @H.,(X,X2)"’Hq(X,Y)
q_,(X,A) ~
. ..
and functorial for maps of exact triads. The proof is to apply (17.4) to the
ladder obtained from the homology long exact sequence of triples ( 14.6) and
the diagram of inclusion maps
apm~cnm—wxXn
1 1 1
(Y,X2) ‘*
(X»X2) '*
(X, Y)
kl
S(A)—-S(Xi)—*S(Xi,A)
1: it 11>)
S(X2)—-*S(X)»~S(X,X2)
k
where 1' is the chain map induced by inclusion and j is a chain inverse,
ij id &D + D6, given by (15.16). First note, ifz E Zq+,(X) and
- =
kz'(w ) kz
~ in S(X, X2),
k,(c9w ) 0
=
so dw lies in Sq(A),
then 3-; P2. Furthermore a suitable w is one satisfying klw
= =
jkz, since
iklw =kz + ¢3Djkz kiw; and k1(6w ) dklw =jkdz
= = 0. =
the union of r topological circles having one point P in common (see Artin
[3], p. 49). So it suffices to compute the homology of G,.
Now G, S‘ and we know the answer. For r 2 2, G, S‘ U G,_, with
= =
,
S‘ m G,_1 {P}. Now (G,, G,_1, S‘) is an exact triad. The maps
=
kl:(Gr-la
102 Singular Homology Theory
smaller opens, we can apply the excision theorem; then a deformation retract
argument shows kl and k2 are excisions. Thus we can use the Mayer—Vietoris
sequence: For q > O,
0 =
H.,<P > ‘3 H.,(S‘) 69 H.,(G.—1)(2 H.,(G,) ‘3 H.,-.<P>
which gives
H.,(G,.) =0 q >1,
Hl(G,)%-R GER 69- - -
C-BR.
\
rcopies
(15.1) and (15.2) we observe that (A, 6A) C (T, A) induces an isomorphism
in homology. Hence using (17.7) we get an exact Mayer—Vietoris sequence
<1)
0 —*
H2(T) *
Hl(Cl +C2) -" H1(A) 69 H1(A)
"
Hl(T) —*
H3’(Ci + C2) 0- “*
By (9.5) and (15.5), H,(C, + C2) 2 R EBR, and by (9.7) H3*(C, + C2) e R.
Using the homotopy equivalences to identify H, (A) 69 H1 (A) R ®R, the =
matrix of (I), with respect to the natural basis is ({ { ). It follows that ker CD % R
generated by (1, -1) and im CD, % R generated by (1, 1). Then HZTE R and
H1(T) a R GBR.
(b) The torus can be regarded as S‘ X S‘. Let x0 6 S‘ be a point and write
S‘ V S‘ for the subspace S‘ X {xo} U {xo} X S‘. We use the long exact
sequence for the pair (S' X S‘, S‘ V S‘). Letp,~:S‘ X S‘ S‘ be projections,
->
H4(S1) HAS‘)
id H,,(S‘ v S‘) id
Hq(S1)
‘/Iq(Pi) ‘ I
104 Singular Homology Theory
their boundaries. Use the methodof ( 1 7.1 3)( a) to calculate H2(Mk) % R and
H,(M,,) % R 69 69R 2k—copies.
. . .
0000 D4
S "" V .
V S "T1 k—copies. Let M 2 be obtained by identifying two copies of
. .
,
values of q.
(17.16) Exercise. Let T* be the torus T with a small open disc removed.
Let C C T* be the boundary circle. Show thatthe inclusion C T* induces -*
H§*(XX Y)—>H;‘(XXY,XVY)-*0.
(17.18) Exercise. The join X =x< Y of two spaces X, Y is the space
obtained from X X I X Y by making identifications (x, l, y) (x ’, 1, y) ~
(17.19) Exercise. Regard the Klein bottle K as two copies of the Mobius
Mayer—Vietoris Sequence 105
connected.
4
Hq(A, B) 4
Hq(X1, B) EB Hq(X2, B) 4
Hq(X, B) 4
. ..
0 1 1a
(EL SW1) (S",E,l)
"
Suggestion: Use (16.14). Use this relation to obtain another proof of ( 1 6.4).
18. The Jordan-Brouwer
Separation Theorem
H;’(S" —
e,) = O forall q 2 0
e, is contractible.
Suppose r > O and the theorem true for r 1. Letz be a q—cycle in S e,.
—
” —
which doesn’t meet the compact set e ,1( I ); let 3, be the distance between
these sets, so that e, > 0. By uniform continuity, there is a 6, > 0 such that2
points in I less than 6, apart have images under (1) less than 5, apart. Let I,
’
be an open interval centered att oflength< 8,. Let e,( t) qb( I, X 1"‘ ), an =
open r—ce1l; then every point of e,( t ) has distance < 5, from e,_,( t), so that
e,.( t) doesn’t meet | w,| andz ow, in S” ,( t ).
,
= -
Now since I is compact and covered by the open intervals 1,, there is a p >
0 such that every closed interval of length< p is contained in some 1,. Choose
m > 0 so that 1/M < p, and consider the closed intervals
Man/in J. Greenbergand John R. Harper, AlgebraicTopology: A First Course ISBN 0-805 3-355 8—7(H)
ISBN 0-8053—3557—9(Pbk)
Copyright © 1981 by Benjamin/CummingsPublishing Company. Inc.. Advanced Book Program. All rights
reserved. No part oflhis publication may be reproduced, stored in a retrieval system. ortransmitted, in any form
or by any means, electronic, mechanical, photocopying, recording, or otherwise, without the prior permission of
the publisher.
106
The _]ordan—Brouwer Separation Theorem 107
10 =[0,1/m], I, =
[1/m, 2/m], . . .
, I,,,_, =
[(m -1)/m,1]
Let er, 1- be the image of X 1”‘. Then there is a chain wj in S " e,) 1- such -
that z =
ow]-. By induction on j, we are reduced to proving the following
sublemma.
Sublemma. Let], J2 be closed subintervals of I such thatJ1 (7 J2
,
=
{t }.
Let e’ gb(J1 X 1"‘), e” ¢>(J2 X 1''‘). Suppose there are (q + 1)—chains
= =
w’, w" in S ” e’, S ”— e” respectively such that ow’ 2 6w”. Then there
~ = =
= S" —
(e’ U e”). Since X,, X2 are open, (X, X,, X2) is an exact triad.
Moreover, since e’ U e” is contractibleand S is not, A is non—empty; thus "
bounds in A. I
e,) 0, contradiction. I
#
H215" ~s.>= : R
0
q=n—r—l
otherwise
so =
S”-{two points} is homotopically
equivalent to S "1. Thus
108 Singular Homology Theory
R q + r =
n —
1
Ht(S" —
s,> =
0 otherwise
~
H;*(S3 s,) H;*(s3) H;*(s3, S3
—
~ ~ —
s,) —»
T T I
~
H;*(R3 —s1)-r H;*(R3) H;*(R3, R3 ~ —
s.) a
H f;(R3 —
s1) =
[ R
0
q= 1,2
otherwise
In particular, the homology of the complement is the same for all knots.
However, the fimdamental group of the complement is definitely not the
same, and is an important invariant of the way the knot is imbedded (see
Crowell and Fox [16]).
,,_,) is isomorphic to R, S” —
xEACUfls,,_1
and s,,_1 —A is a closed (n 1)—cell e,,_1. By (18.1), H3‘(S” ,,-1) 0, so
— — =
5" s,,_,, 0 crosses s,,_1, and in fact, a F) s,,_1 C A. Since <7 D s,,,, is a
—
a F) A. Now all points of the part 0'; of 0' from y, to x, lie in K, (except x1)
and U meets 0'1 in a non—empty open subset of 0,, so U meets K1; similarly
U meets K2.
called the inside of s,,_,, the unbounded component (including the point at
infinity) the outside. Note that the case n 1 is quite different!
=
to prove this “intuitively obvious” fact is a good way to learn the difference
between mathematicsand drawing. For n 2, there is also a stronger result:
=
Proof: Let e,, f(E ”). Consider R" as S” minus a point. Then S” e,, is
= -
Path connected (any path through the point at infinity can be moved slightly
50 as to avoid that point). R" —
B =
,,_1 U A, where A is the inside.
Now
en
The Jordan-Brouwer Separation Theorem 111
image of S X
’
{0}. Show the inclusion S " -
,’k
—+ S" —~
s, induces an
isomorphism in homology.
(18.17) Exercise. We denote the homotopy classes of maps W X by —’
[W,X_]. Amap f:X Yinduces f#:[ W,X] [ W, Y], f#(g) =fg. Use
-* -*
mapped
homeomorphically to Y —
B is called a relative homeomorphism.
Proof. Sinceg"(Z —
Y) = X —
A, which is Y, Z Yis
open in Xll —
map such that D(a, t ) a for all a EA,D(b, 0) b for all b E B, D(b, 1) E
= =
z ifzE Y,
D(z,t)=
fa) (b, 1 )) ifz =f(b) with b E B —
A.
opens inX such thatx E U andA C V. Then the disjoint Z—opens Y U]"(V)
and ]’(U ) separate Y from 2. Thus condition (3) holds.
To prove Z Hausdorff, given distinct points 2, z2, there are three cases.
,
phic to X —
Case 2. One point is in Y, the other outside Y. This case follows from
condition (3).
from Y by adjoining an n—cell via ]’| S ’’_l. (Use the fact that is a closed
mapping-)
114 Singular Homology Theory
of two circles with the point P in common. Carrying out this operation (r 1) -
times (with the same point P) gives the r—leaved rose G, (17.12).
(19.8) Let Y= G2, denoting the two loops by (1 and fl. Regard E2 as 12, S‘
as the perimeter of the square. The diagram describes a map f which attaches
a 2—cell to G2:
value 1; the resulting quotient space is called CP"; note that the fibres of the
map f:S2”” CP” are circles. (Forn 1, CP' ~ S2, and fis the Hopf
—* =
by attaching a 2n—cell (resp. an n—cell) via the canonical map f :S 2"" —>
CPlI—l
116 Singular Homology Theory
dimensional manifolds using the Cayley numbers and obtain for n 1 the =
110.)
Suppose now Z is the adjunction space of a system X D A -f* Y, and
}”:X Z is the canonical extension ofJ’. Thenfinduces a homomorphism of
-*
the homology sequence of the pair (X, A) into that of the pair (Z, Y ).
Hq(f): H,,(X, A) —+
Hq(Z, Y)
is an isomorphism for all q.
Proof Let B be a collaring of A in X. Consider the commutative diagram
1'
H.,(X,A) —"
Hq(X> 3)
11] If.
H,(z, Y)—»H,(z, Y U]”(B))
J
where the horizontal homomorphisms are induced by inclusions and the
Construction of Spaces: Spherical Complexes ll7
vertical ones by
118 Singular Homology Theory
a
Hq(Y) ~
H,,(z) ~
Hf_,(S””‘) Hm) H,‘,*_,(Y)—*Hf,*_,(Z)_.
Since H 3‘ _,(S”" ) is zero except for q =
n, this sequence yields the following
formulas.
Corollary. We have
(19.16) H;‘(Z)%Hf(Y) f0rq¢nandq#r1-1
(19.17) H,‘f__,(Z)EH,*,‘_1(Y)/ImageH,,_1(f)
(19.18) an exact sequence
0 —»
H,‘f(Y) ~
Hf‘,*(Z) 1 Kernel H,,_1(f) ~ 0
right inverse to 1/1.) This happens forR Z or R a field, for example, since
= =
n.
This follows from the previous formulas by induction on the number of
cells attached. I
If we take
Construction of Spaces: Spherical Complexes 119
where Q is the circle of radius 1/i with center the origin, i > 0, and Q): the
origin, we get a compact Hausdorff space which is not a spherical complex,
since H0(Z) is not finitely generated.
><2
R——»R
1 Hn(f)
I
H,,(S”) H,,(P")
"—'-' commutes.
0 _’ I£i(Sn)£Hn(SlI9Sn‘])EH1—l(S,I_1) _’ O
The zeros are by (15.5) for the top row, (19.20) and induction on n for the
bottom left, and (15.5) for the bottom right. The vertical maps are induced
by f. The top line is split exact for algebraic reasons, but to compute f2 we
need a splitting compatible with induced maps. The idea is that collapsing
S "1 C S " to a point produces S ” V S”, each sphere mapped homeomor-
phically to P”/P” "1 Exact sequences formalize the notion. By the long exact
.
sequence of triples ( 14.6), excision (15.3) and the direct sum lemma ( 14.13),
we have a direct sum decomposition
Hn(S”,EI) H..(S”,E.7)
\ /
(19.25) % H,,(s'', 5"“) '=~
_ _
/ \ _
construction of Spaces: Spherical Complexes 121
(b)f2(K”)=(‘17’n-
fim7r=HU?MK)=HU?%XK)=t%VHHWXK)
(—1)”f2(K+), using (19.26) and (16.4).
=
= 0. Since j’ is monic, H,,( f) =fi is the zero map. When n is odd, we obtain
8’ 0 since f2 is epic and f3 H,,_,(f) 0. Hence j’ is an isomorphism
= = =
=uirw. I
1,
R q=0andq=rzzfnisodd
(where R2 is the submodule of R annihilated by multiplication by 2).
Thus the homology with coefficients in the field of rational numbers looks
quite different from the homology with coefficients in a field of characteristic
2.
Proof By induction on n, n =
0, 1 being trivial (Pl % S‘ ). From (19.16)
We have Hq(P”) E Hq(P”") for q S n —
2 q=0,
Hq(P2)% z/2 q=1,
0 qZ2,
Z q=0,
Z/2 q= 1,
Hq(P3)=~= 0 q=2,
Z q=3,
0 qZ4
and so on. For R =
Z/2 we get
0 q>n.
(19.29) Theorem. The homology of the torus T is
R q=0andq=2,
Hq(T)E R><R q=l,
0 q>2.
Proof. T is obtained from Y =
G2 by attaching a 2—cell via the map
indicated as
where the sides marked a, b are mapped onto the loops a, b of G2 (for we
know that the unit square I 2 maps onto T by
¢):(x,y ) _,
(e2TIi.\" e2fli_1')
with the identifications indicated). Now H,(G2) is the free R—module
generated by the homology classes 01, [3 of the loops <;b-a, qb-b (17.12), and
the adjoining map f :S' G2 sends the generator of H, (S') onto cv + [3 a
—> —
We can think of this as follows. Cut out a small open 2—ce1l from each of two
copies of the toms, then paste these together along the circles which are the
frontiers of those open 2—cel1s. Now the torus with the open 2—ce1l removed
can be described by
identifying sides of the pentagon as indicated, the loop cl being the frontier of
the cut—out cell. In pasting another copy, the c’s will cancel and we are left
with
R q=0andq=2,
Hq<Tg>% R23 q=1,
0 q>2.
The numberg is called the genus of
Construction of Spaces: Spherical Complexes 125
—>
Hq(A) ->
Hq(X) —>
Hq(X/A) ->
H;‘_1(A) Hf_,(X) ->.
->
Hq*l(X) q > 09
Hq(SX) 2
R q = O.
Hq(XvY)% {Hq(X)
R c+d—1
C-BHq(Y) q >
q :
0,
0,
where X has c path components and Y has d.
(19.39) Example. Suppose a Hausdorff space Z is the union of two closed
subspaces X and Y, and suppose that (X, A ) is a collared pair, where A =
products by induction on k.
( 19.41) Exercise. Use the topologists sine curve, exercise prior to (10.13)
and Theorem (10.13) to construct an example of a relative homeomorphism
(X, A) (X/A, pt ) which does not induce an isomorphism in homology.
-’
The next two exercises use (19.23) to derive some facts about maps of
spheres.
(19.42) Exercise. If f:S" S" satisfies f(-x) =f(x) for all
->
x E S”,
then degf is even, in particular, if n is even then degf 0. =
Use(19.42).
Remark. A theorem of Borsuk asserts that f( —x) =
-f (x)for all x E S ”
implies degfis odd (26.25). The partial converse to (19.42) can be proved
using (26.25) and a construction similar to (19.43).
(19.44) Exercise. Show Pk is not a retract of P" if either 11 is odd and
H E
k even, or it even and n k odd. Could this be done using results only
-
for R Z/2Z?
=
x(X)= §(-Iva,
when this sum is finite. These numbers are of course topological invariants.
(20.1) Example: For S", (30 :
B" Q
1, all other Bq =
0, and we get
0 it odd
X (S") =
2 it even
and we get
X(Gr)=1—r
(20.3) Example: For CP" (19.21), we have [3q= 0 forq odd or q > 2n, Bq
= 1 for q even such that O S q 5 2n. Hence
Marvin J. Greenbergand John R. Harpcr. AlgebraicTopology: A First Course ISBN 0-8053-3558-7(H)
ISBN 0—8053-3S57—9(Pbk)
Copyright © 1981 by_ BenJa‘min_/Cummings Publishing Company, lnc.. Advanced Book Program. All rights
_ , _
reserved. No pan ofthis publication may be reproduced, stored in a retrieval system, ortransmitted, in any form
grebgjtglysrggfns,
electronic, mechanical, photocopying,recording. or otherwise. without the prior permission
128
Betti Numbers and Euler Characteristic 129
x(CP")=n+l
(20.4) Example: For P" (19.23), we have [30 =
1, [in = 1 ifn is odd, and
fiq 0 in all other cases. Thus
=
1 n even
x(1’") =
0 n odd
(20.5) Example:
For the g—fold torus TL, (19.27), [30 [32 = =
1, [31 =
2g,
andBq=0q> Thus
2.
x(Tg)=2~2g
(20.6) Example: For the surfaces Uh (19.22),fio =
1, [3, = h —
1, Bq = 0
for q 2 2. Thus
X(Uh):2_h
We can also define in a similar manner the relative Betti numbers and
relative Euler characteristic X (X, A) for a pair (X, A).
1‘ i 1;-
O—>A,—3A2—+2...—~IA,—+0
then
rankA1—rankA2 + . . .
+ (—1)’+‘ rank A,= 0
Proof: By induction on r: The cases r =
1, 2 are trivial. For r =
3, let A,-
be the quotient group of A, by its torsion subgroup. We get induced
homomorphisms l1, l2, hence an induced sequence of free Abelian groups
ll ?'2
0-A,-> A2-v A3->0
_ _ _
130 Singular Homology Theory
Proof: Exercise.
Hence rank/11 = rank (Kernel 72). Now the exact sequence of free Abelian
groups
0 -*
Kerneliz —>/-12 -*}l3 -+ 0
splits, so that 212 % 213 63 Kernel i2, whence rank /-12 rank /-13 + =
rank (Kernel i2). Since rank A, rank 171,- by definition, the lemma is proved
=
for r 3.
=
0—>A,-+A2—>Imi2-*0
0->Imi2->A3->...-+A,—>0
Since each sequence contains fewer than r terms, we are done by
induction.
x(Z)=x(Y) +(—1)”
Proof: By (19.14), Hq(Z, Y) % Hq(E”, S"“) for all q, so by the lemma,
we need only compute x(Z, Y) x(E”, S ”"). Applying the lemma again,
=
X(En,Srz—I)=l +(__1)rz-l]:(__1)ri‘ I
x (X) =
%<—1>‘Ia.,
This follows from (20.10) by induction on 23:1,].
(20.12) Exercise. The q-th Betti numberof X is equal to the dimension of
the vector space Hq(X; Q) over the rational numbers. ( Show that if 2,, zfi . . .
,
Betti Numbers and Euler Characteristic 131
arecycles with integer coefficients whose homology classes form a basis for
Hq(X; Z ) modulo torsion, then the homology classes of these same cycles
form a basis of Hq(X; Q).)
(20.13) Remark. Consider the following special case of (20.11). Take a
regular polyhedron in 3—space, (homeomorphicto S 2 ). Divide its surface into
triangles (or quadrilaterals, etc.) so that if two of them meet, they meet in a
common edge or a common vertex. Let F be the number of faces, E the
number of edges, V the number of vertices. Then always
V-E+F=2.
This is an old theoremof Euler. See Proofs and Refutations by I. Lakatos for
the fascinatinghistory of this formula and its implications for understanding
mathematicaldiscovery.
X(X>< Y)=X(X)X(Y)-
Thus for example
x(S2><S2)=4,
)((P2 X P2)=1,
etc. Numerical results like these suffice to deduce that certain spaces are
homotopically inequivalent, e.g., S 2 X S 2 and S 4.
x(X)+x(Y) nodd,
x(X+Y)=
x(X)+x(Y)-2 rzeven.
1 n even
Thus for compact surfaces, only the torus and Klein bottle have them
(construct them explicitly-exercise).
If X is odd—dimensional compact, it always admits one (see (26.10)).
Differential—geometric techniques show that if X is non-compact, it always
admits one.
Betti Numbers and Euler Characteristic 133
(2) A more general kind of Euler characteristic plays the key role in the
Riemann—Roch Theorem for non-singular projective algebraic varieties (see
Hirzebruch [31]).
dimension, and j ranges over some index set Jq) with the following proper-
ties: Let
The sets cf —f7 are therefore open q—cells for q > 0 and their disjoint union
o\;er all q, j is Z (note thatis empty, so c? is closed O—cell. The map
q.‘>~ is called the characteristic map of C7; clearly Z is obtained from
(Z —'c:-7) U
Construction of Spaces: Cell Complexes and more AdjunctionSpaces 135
P"=c°Uc‘Uc2...Uc"
CP”=c°Uc2Uc4...Uc2”
HP"=c°Uc4U ...Uc4"
S” c°Uc"
E" c°Uc””Uc” n22
Y;,=c°Ucl U...Uc§gUc2
U,,=c°Uc{ U...Uc},Uc2
(Of course, these are not disjoint unions!)
(21.3) Example: Consider S 2 as obtained from its north pole by attaching
a 2—cell via the constant map of S 1 onto the north pole. Let x be a point other
than the north pole, and attach a 1—cell to S 2 via the constant map of S 0 on x.
The resulting spherical complex Z is not a finite cell complex because the
frontier f2 of its c2 consists of x and the north pole, hence c2 f2 is not an
—
open 2—cell.
One advantage of finite cell complexes over spherical complexes is that we
can prove the following nice result:
X(E ) =
dX(X)
(We say p is cellular ifp maps the q—skeleton of E into the q—skeleton of X,
for all q 2 0.)
Proof: Given any point e € E, letx =p (e). Thenx € c" —fl for uniquely
determined q,j; Lety =
(<z>j’)"‘(x),so thaty € E“ — S"’{.
Since E‘? is con-
tractible, the lifting theorem (6.1) tells us there is a unique map 1,//J‘7:E" E
-—>
t0—one onto cf -17; since p is open, 111;’ maps E " S 4*‘ homeomorphically
—
shall denote them by 1,/ 7_, where the index 1' runs from 1 to d. It is clear that
,
the entire system of maps 1//‘fjj $3)/' depends only on gbf, not on the point
, . . .
x.
Let cj7J~ be the image of E "
under 111?). Clearly these closed subsets give a
representation of E as a finite cell complex for which p is a cellular map.
Moreover, for each q, the numberof sets cfl_,~ is d times the numberof sets cf.
Hence (20.11), x(E) dx(X). = I
Note. The formula x(E ) dx(X) can be proved without assuming thatXis
=
a finite cell compex, but the proof requires spectral sequences. (See Spanier
[52], Chapter 9.)
(21.5) Note. In the theory of Rie ann surfaces, one is usually concerned
with branched covering spaces E X: Roughly, over an open U C X,
-*
p "(U ) U is a covering space, but over X—U (the branch locus) there may
-r
the two points 0, °°, and outside this set we have a 2-fold (unramified)
covering space. Thus formula (21.4) no longer holds for branched covering
spaces; however one can subtract a correction term from the right side which
is a function of the “ramification indices” to get a correct formula (for the
speical case X S2, see Springer [54], p. 275).
=
(a) (b)
between the path components of Z and those of X, and (ii) for every
2 E Z, q > 0, the induced homomorphism
(f*)q?7Tq(Z,Z) “’
Trq(X,f(Z))
is an isomorphism. (Such maps f are called weak homotopy equivalences.)
This reduces the problem of detennining the homotopy groups of X to the
same problem for a C W-complex; for the latter, some powerful techniques
are available (see Spanier [52], Chapters 7 and 8).
(21.8) Note. Let X =
U,,X" be a cell complex with X” the n—skeleton.
Define C,, =
H,,(X", X”") forn Z 1, C0 =
H0(X°) and 6,,:C,, C,,_, as the
—*
Composition
for q =
n. By (19.20), H,,(X”") 0 and H,,(X””) % H,,(X). We embed
=
3'
_.Hn+1(Xr1+l,XI1)~_H’1(X:1);/.H’1(XII,XI1 I)“ "¥1(Xr1 ])_.H’1_l(X/1 l,Xn 2)_.
,
_ 2 _
l "
1
H,,<X"““> —- 0 H21-l(X’I) ——- o
The path from O in the upper left corner to O in the lower right corner is part of
one long exact sequence. Define q§:H,,(X”+') ker 8,,/im 6,,“ by <1) =jk_‘.'
-'
have ker 6,, ker 6 im j. Since k is epic, it follows that q.’> is epic, hence an
= =
isomorphism. I
aq+]
Construction of Spaces: Cell Complexes and more AdjunctionSpaces 139
given the structure of an abelian group and turns out to satisfy a), b), c).
However¢1{(pt) consists of equivalence classes of manifolds. For example
1l2/(pt ) has two equivalence classes, S 2, p2. The reader is referred to Conner
and Floyd [15] and G. W. Whitehead [88].
(1)0 "
Ln(A) —’
LAX) —’
Ln(X9 A) —* 0
g:X Z and lz:Y Z such thatg(a) hf(a) for all a E A, there exists a
-* -* =
g_1L}z
X_1LY —>z
I /
XU Y
k
vertex
X
Figure 4. CX
construction of Spaces: Cell Complexes and more Adjnnction Spaces 141
Given f:X ~
Y, we obtain]’:CX —»
CY, ]"(x, r) =
(f(x), t).
(21.13) Lemma. The vertex is a strong deformation retract of CX.
is constant. I
space CX Uf
Y. Y is embedded as a closed subset of Cf, we write the
embedding e:Y C]; and CX X is an open subset, Dugundji [20], p. 128.
-> —
(21.16) ef:X -+
Cfis nuIl—lzomotopic.
Given a commutative diagram
f
X-—~Y
al I/3
Xv—"—ly«
the extension principle (21.12) provides a unique 7 :Cf —>
Cf’ such that
6
Y—-Cf CX--Cf
fll lv évl Iv
Y’——-,~Cf’
6
CX’—~Cf’
commute.
CX
Figure 5. Cf
Remark. Later applications of (21.17) will show certain maps are not
null—homotopic by arguing that the cup product structure of the cohomology
of Cf is incompatible with a retraction to Y.
The problem of extending maps to mapping cones has a useful fomiulation.
f e
X—‘*Y—~Cf
l lgl
X——~Z = Cgf. I
gf
Remark. h depends on the null-homotopy, and in general is not unique,
even up tohomotopy. The further analysis will not concern us, but is a
standard part of general homotopy theory.
H(f)
‘I
—*Hq(X) —.
Hq(Y) ——--Hq(Cf)——>Hq_,(X) ~
. ..
Hq(a)
144 Singular Homology Theory
(a(x),2t) OS tS%,
(x,t)i——>
e'H(x,2t—1) %St£l,
€(y) i-—> €'l3(y),
and picture y in figure 6.
6?
___i___X/[—3»*
H
I
f
Figure 6.
f
(CX, X) —'
(Cfl Y)
or 7
Then K (x, z, 0) =
yf(x, 2) and K (x, z, 1 ) =f'&(x, z). I
(x, 2t ) O5 tS 5,
19(x, t ) =
H(x,2t—1) §srs1,
0! Y = id
(x,4t) 05:51,
¢0(x,t)= H(x,4t—1) an‘SIS;
Specifically, K is given by
4t 3s+l
x, OSIS ,
3s+l 4
3s+1 s+l
K(x,t,s)= H(x,3s+2—4t) 4
SIS
2 ,
s+l
H(x,2t—l) 2
Stfil,
K|Y=id.
Similarly for 0://. I
the disc, hence this space (called the dunce cap ) has the homotopy type of a
point. Another example is shown in figure 7. Twotori are interlocked so their
surfaces are mutually tangent along the subspaces S 1 V S '. The resulting
space has the homotopy type of (S X S ‘)V S 2. (Prove this: consider the
‘
attaching map of one torus on the other and make use of the argument
following 21.17.)
Figure 7.
Construction of Spaces: Cell Complexes and more AdjunctionSpaces 147
1Acknowledgement. This discussion is based on the exposition of Rolfsen [85], to which the
reader is referred for further, interesting material.
143 Singular Homology Theory
Figure 8.
Of course MM =
,u.l L = id.
(21-24) (0 1)
Hr(>\)= <1 1)
1 1
, H1(.u)=
1 0
,
H3)» l=(‘§>-
The inverse homeomorphisms are given by }\"(e“’, e""’) =
(e’'“’‘‘’’), e"”) and
similarly for ,u"‘. We have
(21.25) H1<A">=
Construction of Spaces: Cell Complexes and more AdjunctionSpaces 149
det =
product of the four matrices (21.24), (21.25), [89].1 The
1 is a
interchange map i :S‘ X S‘ S‘ X S‘, i(x,y ) (y, x) switches m with]
- =
O 1
H,(z )=
,
I O
.
Summarizing,
It is not obvious that this description is the same as (19.12). See M. Cohen
[78] for details. The image h(M ) is called a (p, q) torus knot. There are
topological relations among the L (p, q). If ir qi’ mod p, then L (p, q) is
E
homeomorphic to L (p, r). This can be proved by cutting and pasting, see
Hilton and Wylie [30] or Rolfsen [85]. Furthermore L(1, q) E S3 and
L(0, 1) % S2 X S‘. The former derives from the decomposition S 2 %
a(E2 >< E2) E2 x S’ u S‘ x E2 (note the switch of positions for E2),
=
Z, H2 0, H, % Z/pl, H0 % Z.
=
I
——
Let S =
150 Singular Homology Theory
H1(E2 X S‘)
H1(J/ \
0—*H2(L)—>H1(S‘XS‘) GB H1(L)—~0
construction of Spaces: Cell Complexes and more AdjunctionSpaces 151
h;S 1 X S 1 6X. This process is called surgery and its elaboration has led to
->
rr1( Q) turns out to be a finite group of order 120 known as the binary
icosahedral group. Thus Q is not homeomorphic to S 3 The space Q can also
.
Manifolds are the main geometric topic of part III. A new theoretical tool,
cohomology, is introduced. Cup and cap products are introduced by means of
the Alexander—Whitney map. The cup product endows cohomology with
more algebraic structure than was availablefor homology in chapter 19. The
cap product from cohomology to homology is used for the duality theorems.
The first topic is orientability of manifolds. This discussion illustrates a
new use of homology as a means of piecing together “local information” to
obtain a grasp on a global property. Orientation is a global property of a
manifold M which manifests itself locally in distinctions between “left—
handedness” and “right—handedness”. This distinction can be described in
terms of choosing generators for certain
homology modules. The presence of
an orientation manifests itself as a coherent system of such choices.
Our treatment of cohomology is divided between this part and part IV.
Here we develop material analogous to homology and prove one of the
universal coefficient theorems. This theorem is often useful for calculations.
Next, products are introduced. We delay a more theoretical treatment of
products to part IV. Enough material is developed to prove the duality
theorems for manifolds.
Our proof of Poincare duality follows Milnor [41] (see also [84]). This
argument uses Mayer—Vietoris sequences to effect passage from local infor-
mation to global information.
The Alexander duality theorem of chapter 27 brings to fruition the ideas
nascent in chapter 18. The Lefshetz duality theorem of chapter 28 completes
the triumvirate of duality theorems.
155
22. Orientation of Manifolds
x) E R
H,,(U, U —
x) 1'» H,,(X, X —
x)
Since U is contractible, the exact homology sequence of the pair (U, U —
x)
gives
H..(U, U—x) 1" H7f—i(U— 96)
But U —
x) -3- R. I
cyclic group, namely the ones corresponding to loops winding once around x
in opposite directions. Choosing one of these generators corresponds
intuitively to “choosing an orientation about the point x.”
For n > 2, one has to determine the possible generators of H,,_1(U x) % —
H,,_,(S”"). Regard S ”"' as the frontier of the geometric simplex A". One
can then show the generators are idb", where 6” is the identity singular
Simplex on A” (see Wallace [59], p. 178), and (22.40).
Marvin]. Greenbergand John R. Harper, Algebraic Topology: A First Course ISBN 0-805 3—3558—7(H)
ISBN 0-805 3—3557—9(Pbk)
Copyright © 1981 by Benjamin/CummingsPublishing Company, Inc., Advanced Book Program. All rights
.
reserved. No part of this publication may be reproduced, stored in a retrieval system, ortransmitted, in any form
:’}'1"ebY
158 Orientation and Duality on Manifolds
S={(s,t)ER2[OSsS1,0<t<1}
identify (0, t) with (1, l t). (The quotient space is a 2—dimensional
—
j,f'(oz), where
J'.5"IH,,(X, X‘ U) "*
H,.(X, X— x)
is the canonical homomorphism induced by inclusion.
Proof: Leta be a relative cycle representing ax. Then the support I 6a] of
6a is a compact subset ofX contained inX— x, so that U= X —
I 6a] is an
open neighborhood of x. Take a E H,,(X, X —
This lemma tells us we can obtain elements at). E H,,(X, X y ) for y near
—
point.
(22.3) Coherence Lemma. Ifozx generates H,,(X, X x), then Uand a
—
1"’ :S,,2, —* V— U
Sn*l
Hence H,,_1(1') =
H,,_1(1' ’)H,,_,(1"’)" is an isomorphism.
Defirzition. Given a subspace U C X. An element a E H,,(X, X U) —
such that j(a) generates H,,(X, X y ) for eachy E U will be called a local
—
R-orierztation of X along U.
(iii) ll/‘(ail =
.)lcj['(ai')
In this case a local R-orientation is unambiguouslydefined at each point x by
Proof: (a) Let (U,-, oz,~) be an R—orientation system for X. For any x E V,
let fix E H,,( V, V x) correspond to ax via the excision isomorphism
—
contained in the interior of X Vx. Then for any y E VX, the diagram
—
Hn(V,V‘y):’Hn(X.X‘y)
1 1 \ HI1(‘X’X— U,-)
/
Hn(V, V‘ Vx) 3" Hn(X,X’ V.V)
shows that the local R—orientation of V at y induced by BX equals
162 Orientation and Duality on Manifolds
R—orientable.
x. =
Consider pairs (U, (IU), where U is open inX and org is a local orientation
of X along U. Let
<U9 aU ) Z
{(xa a,\‘)ix E U9 ax
Orientation of Manifolds 163
Proof to Corollary. The corollary follows from the fact thatp*7r1 (E, eo)
has index 2 in -rrl (X, x0). I
Piecing together two such withthe second turned upside down gives the torus
b b
Set p(x, a,.) x. For any open U C X, define< U, av > exactly as before.
=
These sets form a basis for a topology on X0 such that p:X° X is a —'
(22.19) Lemma. Forq > 0,1/_1(q )is open in X0 and v"‘(q ) Xis a 2- ~*
being the disjoint union of the 1/"(q)’s, is never connected. I/"(l) is our
previous E.
(22.20) Exercise. For general rings R, define an equivalence relation a ~
S(X) =
(X, S'(x))
Let TA denote the set of all sections over A. If s1 s2 E
, FA, then
x —*
(x, si(x) + s§(x)) x E A
x ->
(x, }\s’(x)) x E A
x-’(x,0) xEA
p*‘(/1)?» A><R
\/
is commutative. If this is the case, PA is isomorphic to the module of all
continuous maps A R; ifA has k connected components k < 00, then FA
—~
§ R‘.
ofH,,(X, X —
¢>(x, ax) =
(x, AX) x E A
j,,:H,,(X, X —
A) - FA
such that V C U and such that jf(a) has a unique continuation ay over V
(22.4). Since au induces an/,jA(a) maps V F) A into ( V, ay ), but sets ofthe
latter type form a basis of neighborhoods of (x, j§.'(a)) in X0.)
If B C A, we have the commutative diagram
j/4
H,,(X, X —
A) - PA
-A
J3 "
H,,(X,X—B) j- PB
J3
where the right vertical arrow r is defined by restricting sections overA to the
subset B.
jA:HIz(XaX~
Orientation of Manifolds 167
in R” (assume n 2 2).
A)
3 n-1(R” —A)- I
R IfX is R—orientable
Hr1(X) E
0 otherwise
for all x E X, where s(x) (x, s'(x)). The hypothesis on R implies that
=
Use (2212). I
Orientable Non—Orientable
P" n odd
CP” all 11
HP” all n
Step 1. If the theorem holds for the closed subsets A1, A2 and A 1 F) A2,
then it holds forA A, U A2.=
0"H,,(X,X*A)"Hn(X,X*A1)©1{,,(X,X‘A2)—'H,,(X,X—A1F)/12)
Step 2.
A is compact, connected, and contained in a coordinate neighbor-
hood which is evenly covered by p. By excision, we may replace X by E ”.
and (ii) follows from (22.5) and (22.22), since A is connected and E” is R-
orientable.
J};
H,,(X,X—A) a FA 33
since jj./(oz ’) =jj;‘(a) 0 for allx E A, (22.4) tells us there is an open V’.
=
thatA C A’ C V’ H U. Then
.1./I4/'(<1') = 0
For q =
n we have the commutative diagram
z'(s)| A =
s
i (s) = 0 outside K
(we identify U° with p"(U)). From this diagram we see that j,, is an
isomorphism.
commutative diagram
Hn(Us U —A,) H
Hrz(XsX —
Orientation of Manifolds 171
H,.(X,X—x) “'
Hn(Us U‘x)‘* H,,(V, V—y)r Hn(Y> Y—y)
f is said to be 0rientatz'0n—preserving if for each x, this isomorphism takes the
local orientation at x onto the local orientation at y.
Let (X, Q’ Y be the fundamental homology classes for the orientations. Then
H,,( f)( 4’ X) is a multiple of 4’ Y; this multiple is called the degree of f. Then f
is orientation—preserving if and only if its degree is positive; in that case,
degree (f) m. Use the diagram
=
let c 21 be the interiors ofc, d, and lets, t be their respective frontiers (so thats
and t are homeomorphs of S "-1). In the disjoint union X —
e ii Y [1, —
classes of frames.
Marvin J. Greenbergand John R. Harper. AlgebraicTopology: A First Course ISBN 0-805 3-35 58—7(H)
ISBN 0-805 3—3557-9(Pbk)
Copyright © 1981 by Benjamin/Cummings Publishing Company, Inc., Advanced Book Program. All rigllls
reserved. No part ofthis publication may be reproduced, stored in a retrieval system, ortransmitted, in any {Om
0k:by any means. electronic. mechanical, photocopying.recording, orothcrwise, withoutthe prior permission Of
1 e publisher.
174
Singular Cohomology 175
For q =
I, suppose we are given a vector field 1/ on X. We assign a 1-
cochain c‘(z2) to 2/ as follows: Let 0' be a singular l—simplex. If 0 is
differentiable, define
io,c‘<v>J=fn‘(z»>
where the right side is the line integral over the path 0 of the differential 1-
form 0 ‘(z2) z/,dx + zzzdy + 1/3dz associated to 2/ (12 1, 1/2, v3); otherwise
= =
For q =
2, associate to 2/ the differential 2—form
Q2(v)= 2/, dy dz +2/2 dz dx+ I/3 dx dy
Define a 2—cochain c2(z/) on differentiable singular 2—simplexes 0 by
[<T,C2(I/)1 =fQ2(I/)
where the right side is the surface integral of the normal component of v.
For q 3, start with a continuous function ¢ and associate the differential
=
singular 3—simplexes (T by
[2, S"(f)C] =
lSq(.f)Z9 6']
for any q—chain z, q—cochain c. In casez is a singular q—simplex 0, the formula
becomes
[0, S”(f)C] =
[f° 0, C]
In other words, S"(f) is the transpose S,,(f) of Sq(f).
’
S"+‘(X) satisfying
[62, c] =
[2, 8c]
for all (q + 1)—chains z and q—cochains c. Iff :X —’ Y is any map, then
3S"(f) S"+'(f)3
=
Moreover,
88 = 0
¢>(01(Eo))
On the other hand, we can associate to the function gb its gradient veCt0’
field Vqb (so that Q ‘(V¢>) d¢>); then=
Singular Cohomology 177
/:flQl(V¢) 2:
¢(°'1(E1))_ ¢(0'1(E0))
Hence
3c°(¢) =
c‘(V<z>)
So on these cochains, 6 corresponds to taking the gradient.
We can associate to the vector field 2/ its curl V X 1/ (so that Q2(\7 X 2/)
= dQ1(v)). By Stokes’ Theorem,
[Q2(VXv)=L7Q‘(v)
Hence
[3 n3(v '1/)=j:73.Q2(z/)
Hence
some (15, div z/ = 0 iff 1/ curl u for some u). This corresponds to the fact that
=
i0lsc1(¢)i:f "1
qbdz
[02, 6c‘(a>)1 =
<23 dz = 0
832
0 ~
Sq(A) 1» S,,(X) 3 Sq(X)/Sq(A) ~ 0
I II‘
0 ~
S‘‘?(X,A) 1’ S‘?(X) ~
S‘?(A) ~ 0
Proof. First show that‘i is onto. Let S q(X A) be the submodule of S q(X)
,
Sq(X) =
Sq(A) EB Sq(X, A).
Hence any linear functional on S q(A) can be extended to S ,,(X) by setting it
equal to zero on S q(X A). The remaining steps do not depend on special
,
coboundary operator on S q (X). The relative cocycles Z “(X A) are then all ,
cochains which annihilate Sq(A) and 134 (X), i.e., Z 4 (X, A) is the armihilator
of Bq(X, A). Clearly the realtive coboundaries B7(X, A) are contained in the
annihilator of Zq(X, A), but the reverse inclusion is not generally valid. In
any case, we do get a canonical homomorphism
(23.7) oz:H"(X,A) -
Hq(X,A)*.
Put another way, we have a bilinearpairing (called the Kroneckerproduct)
(23.8) Hq(X,A)><H"(X,A)-*R
given by the formula
180 Orientation and Duality on Manifolds
[2, E] =
[2, C]-
(23.9) Proposition. If R is a principal ideal domain (PID) then oz is an
epimorphism.
R = Z and R =
a field are the main examples of PID’s we have in mind.
Proof. We have Hq(X, A) Zq(X, A)/Bq(X, A), where Z, p (Zq),
= =
PID, Bq is a free module for all q (Lang [35], p. 387). Hence the exact
sequence
(23.10) 0 ~
Zq(X,A) L Sq(X)/Sq(A) Q Bq_-,(X,A) ~ 0
0 -+
Z"(X,A) —>
Sq(X,A)
1 1 t,-
O -
Hq(X, A)* —>
Zq(X, A)*
1 1
O O
with exact rows and columns, and from this the suijectivity of a follows. I
0 -+
Eq(X, A) —*
H"(X, A) -*
Hq(X, A)*
I TH"(f) 1‘H‘,(/>
0 -+
E"(Y,B ) -
H"(Y,B)-+ Hq(Y, B )*
so that if E"(f) denotes the restriction of H"(f) to E"(Y, B ), we see that
E 4 becomes a contrafunctor.
8:H"(A) ~
Hq“(X, A).
Consider the exact commutative diagram
ti
0 -+
S"(X,A) -*
S"(X) —*S"(A) -+ 0
18 16 16
O -+
S"+‘(X,A) S“+'(X) —+ —>
Sq“(A) -* 0.
8?: = 87.
(23.13) Theorem. The singular cohomology modules have thefollowing
properties:
(1) Contrafunctoriality.
(2) Commutative diagrams
H‘7(A) is H‘1+‘(X,A)
H"(f)T TH"“(f)
H<I(B)—6» H‘1“(Y,B).
(3) Exact cohomology sequence
0-+H°(X,A) ~ - - -
->H"(X)->Hq(A) -8» H‘1“(X,A)-" ~
'-
U, A —
U) an isomorphism.
(6) For a single point P
182 Orientation and Duality on Manifolds
R q=0,
H"(P)%
0 q>O.
Proof. (l)—(3) are exercises. (4) follows since homotopic maps induce
chain homotopic maps of the singular complex (11.4), (13.13), hence chain
homotopic maps of the co—chain complex (change in indices reversed) which
induce the same map in cohomology. (5) follows by the same argument using
(15.23) to obtain the chain homotopy equivalence of S(X U, A U) C — —
E"(f)=E"(g)T T T’H.,(f)=’Hq(g)
0 4
E‘7(Y, B) 4
H"(Y, B) a
Hq(Y,B)* -» 0.
(5) follows from the excision theorem in homology theory (15.1), (23.15),
the above commutative diagam with (X, A) in place of (Y, B) and
(X U, A U) in place of (X, A) and the five lemma (19.15). (6) follows
— —
from the homology of a point, the fact that E "(P) O for all q (23.12), and
=
(23.14) Remark. From the basic properties, many others can be deduced.
We list some below and leave the verification as an exercise.
(7) Define augmented cohomology modules for X nonempty by
H°#(X) = Cokernel H°(P) -+
H°(X)
where X -* P is the constant map on a point P. For A nonempty, set
H°#(X, A) =
H°(X,A).
Then the augmented cohomology sequence is exact.
(8) Exact cohomology sequence for a triple (X ’, X, A)
-4
H"(X’,X) —»
H‘?(X',A) 4
H"(X,A) 4
Singular Cohomology 183
Hq<X) ~
HHq(Xk)
k
H °(X) =
R,
H°(X, A) = 0 (A nonempty).
(Note: These statements do not follow from basic properties (1)—(6), since
they are false for Cech—Alexander cohomology.)
(23.16) By the same arguments used in homology theory,
6:H"#(S”") H"+'(E", S”") isomorphism,
-*
R q =
n,
Hq#(Sr1) §
0 otherwise.
1,
(2) H”"(Z) E Kernel H”“(f),
0 —»
CokernelH”“(f) ~
H”(Z ) —~
H"(Y) ~ 0.
a:H"(X, A) -*
H,,(X, A)*.
Example.The projective plane is obtained by attaching a 2—ce1l to S ‘ by a
mapfiS‘ S‘ of degree 2. Using (23.17) we have H2(P2; Z) % Z/2Z_
~*
O->A’—>A—~A"—~0
M’, there is a chain map {£4}, )2 : Cg C}, such that s'f0 =f£
—>
fo
C0.-——~ C’
8
M
18'
M’
m d;,. l'henj¢,:Cq C,', such that6% =jf1_,6q exists since Cq is free. Given
-*
q. For q O,
=
£'(jB go) 0. Since im 6; ker e’ and C0 is free, D0:C0
— = =
—~
Ci exists such that 6’, D0 =f0 go. For the inductive step we have
-
complex, and we never used freeness of Cf]. In this form (23.19) is one of the
fundamental lemmas of homological algebra.
HomR( ,N ) H =
( ) for the moment, to simplify notation. Let C be a
resolution ofM. Form the co—chain complex C* {H(Cq ), (3,’,";., :H(Cq)
= -*
H (CqJ_l)}. Then the derived functors are the homologies of C*. More
precisely
(23.21) Definition. The q—th derivedfunctor Ext§( , N) of HomR( N) ,
is given by
Ext7\»(M, N) =
ker{a(;l‘+l:H(Cq) H (Cq+1)l
T’
im{a;;<:H(C,,-,) H(C,,)}
'
Ext§(M’, N) ~
Ext‘,$(M, N).
Step 2. Chain homotopic maps in step 1 induce the same map.
l86 Orientation and Duality on Manifolds
Est‘1g(M, N)
f":Ext‘}7z(M', N) —>
such that ( gf)“ =f”g‘7 and (id)" id. Thus Ext"R( ,N) is a
=
contra—functo;.
a
(2322) Remark. Application of H( ) to C, -5 CO 3 M 0 produces a
0 H(M) 51: H(C0) 6-: H(C,) which is exact, i.e., 5* is monic and ker
—*
Hence ker 6}‘ can be identified with HomR(M, N) and we use the Ext
notation only for q 2 1. For the case of abelian groups, we obtain Ext‘? 0 =
notation then is Ext (M, N) deleting q and Z. The Ext notation arises
because Ext (M, N) also classifies short exact sequences (extensions) of
abelian groups
O->N-+E~+M—*0.
0 —>
S(A) —*
S(X) —>
S(X, A) -> 0.
_C,,”. The projection e:C0 A has the form e(x,y )= is’(X) +]'( y ) for some
--
Amp. 0
inductively for eq. The verification that s is epic and im a, ker 6,1,1 is an =
O—~C;,—>C0-+C{,’—*0
8'1 at ls"
0—~A’—i+A 1¥A"—»0
commutes. Thus 0 -> C’ -* C -> C” —* 0 is a short exact sequence of
resolutions.
0 ~
(C")* —» C* —»
(c')* ~ 0.
Proof. The only nonformal part is the epimorphism on the right, which
follows from the R—splitting C -+ C’. I
188 Orientation and Duality on Manifolds
0 —>
HomR(A", N) —'
HomR(A, N) —*
§>Ext7;(A”,N)—*Exti;(A,N) —*
Ext';§(A', N) g Ext§+'(A”,N)-*.
Naturality refers to maps of short exact sequences.
Proof. By (23.20) normal extensions may be used to compute
Ext‘,’{(A, N). The connecting homomorphism is constructed as in the
topological case and the proof of exactness of the long exact sequence
follows the topological arguments. The noncanonical construction of normal
extensions introduces a complication for naturality not present in the
topological case.
Sub lemma. Let
0~AiAiA”~0
(1/1 oz‘ o/'1
O—~B’—~B—>B"—~0
0—*C’-*C—~C”—>O
with data {I}, 1;} be normal extensions over the rows. Given chain maps
F’:C' D ', F”:C” D over at’, at", there is a chain map F:C D over
—> —+
”
—~
01 such that
0~o~c~c~~o
Fll
Singular Cohomology 189
commutes. Furthermore any two such triples ( F’, F, F”),(G ', G, G”) are
chain homotopic via a chain homotopy F 1 G compatible with given chain
homotopies F’ 2 G, F” 3 G.
Proofof Sublemma. The requiredF has the form
F(x,y)= (F7 +>\qy,Fq"y)
for some }\,,:C 2,’ —*
Dfz. The condition thatF be a chain map translates to
i’s’>\0 + I_cF()’ =
ct}
and
and these are solved inductively for {A4}. The part concerning chain homo-
topies is proved similarly. I
We apply the theory to the problem of ker oz. Until further notice, we
restrict ourselves to abelian groups (R Z). =
0 *
Ext(H,,—1(X,A; Z), G) "
H”(X,A; G) gH0m(Hn(X9 A; Z), G) " 0
0—>B,,—~Z,,—>H,,—>0,
0-Z,,—+S,,—->B,,_1—>0,
H0m(Sn+;, G)
t a;.F+i I’,
/
/
0 —*
Hom(H,,, G) ->
Hom(Z,,, G) ,-’>/ Hom(B,,,G)—> Ext(H,,,G) —> O
/
1
Singular Cohomology 191
with the desired exact sequence along the bottom. Naturality is a con-
sequence (23.27) and the naturality of the constructions in the proof. In
of
particular, the epimorphism from F 0 is natural and does not require splitting
for its construction. Splitting occurs because a splitting B,,_, S,, splits the —*
R q =
0,
H4<G,)%H.,(G.)*% R’ q=1.
0 q > 1.
R q even and S n,
Hq(CP ”) %
0 otherwise.
Next consider the nonorientable compact surfaces U ,,. Let p be the charac-
teristic of the domain R. There are two cases:
Case 1. p = 2. Then 2R =
O, R 2 =
R, all the homology modules are free,
and we get
R q = O and q =
2,
H‘I<U.>%H.,<U,.)*e R” q=1,
0 q > 2.
192 Orientation and Duality on Manifolds
R q=O,
RIz—1 q:1,
Hq<U,.>%
R/2 q=2,
0 q>2.
Similarly, for real projective space, if R has characteristic 2,
R qSn,
H"(P")%
0 q>n.
(23.30) Exercise. Map P2 S 2 by pinching the bottom cell to a point.
—>
Compute the induced map on integral and mod 2 cohomology. Use the
results to show the splitting in (23.28) is not natural.
> 0 where F Q forF Z/pl, asp runs over all primes, then Hq(X; Z) O.
= = =
0 ~
S(X) 14 S(X) —» Z/nZ ca S(X) « 0.
Step 2. Give [X, S1] the structure of an abelian group so that ‘I’ is a
homomorphism;
a) Let m:S1 X S‘ -> S1 be complex multiplication and c:S‘ S1 ->
classes, and c,,. is multiplication by -1. The latter fact uses m(l X c)A 0 =
Step 4. To prove ‘I’ is epic, we use the hypothesis on X for the first time.
Using (4.12) show X 2 C X induces an isomorphism in Tr, by induction over
the skeleta. The cell decompositionX2 (S1 V. V S‘) U e2 U U e2
=
. . . . .
S'(X)= §0S"(X)
q_
}\p:Ap —>
Ap+q
pq:Aq _’
A1I+q
givenby }\p= (E0...Ep),pq=(EpEp+1...Ep+q).Set
[0, c U d] =
[a>\p, c][<7pq, d]
Marvin J. Greenbergand John R. Harper, AlgebraicTopology: A First Course ISBN 0-805 3-355 8—7( H)
ISBN 0-805 3-355'I»9(Pbk)
Copyright © 1981 by Benj amin/ Cummings Publishing Company, Inc., Advanced Book Program. All rights
reserved. No part of this publication may be reproduced, stored in a retrieval system, or transmitted, in any form
311‘ atnly
by means, electronic, mechanical, photocopying,recording, or otherwise, withoutthe prior permission of
E pu isher.
I95
196 Orientation and Duality on Manifolds
where the right side is the product of two scalars in R. (Thus we let c operate
on the “front” p—face of 0, and let a’ operate on the “back” q—face, then
multiply the resuls.) If c Z‘. pcp’ d Z qdq are arbitrary elements of S '(X),
= =
we have by definition
cUd=ZcpUdq P9‘?
has as identity element the 0—cochain 1 defined by [x, 1] 1 for every point =
x in X
[0, 8c U d ] =
[6(o}\p+1), c][op q, d]
p+l
E(—1)‘[(0>\p+1)"’,cllapq,d1
i=0
I V
P
=
g(—1>‘{a<‘)xp,c1{opq,d1
+ (—1)”+1[o>\p, c][opq, d]
[0, c U 8d ] =
[a>\p, c][6(0pq+1), d]
p+q+l
=
1‘ :1)
(-1-)i_p[o'>\p9 c][(apq+l)(i—p)9 d]
=
I0)», Clivpqtdl
Cup and Cap Products 197
p+q+1
+(—1>P__2
z—p+1
(—1)"[a>\,,, c][0(i)pq9d]
If we multiply this last by (-1 )1’ and add to the first, the term [a)\p, c][opq, d]
,
occurs with opposite signs and cancels, while the remaining terms add up
to
p+q+l
E (—1)"[o<">>\,,,c][o<">pq, d] =
[0, 6(c u d )1 I
[=0
S"(X) for all q, hence a homomorphism S '0‘): S '(Y) S (X) defined by '
->
S'<f>(§c,,) =
A:-7S"(f)(c,,)
Similarly we have a module homomorphism H (f):H (Y ) ' '
-> H '(X).
[0, S”‘“"(f)(c U d )l =
[fin c U d]
=
[(f<r)>\p, cH(.f0)pqa d 1
=[f(a>\,,),cl[f(apq), d]
=
[0, S”(f)(c) U S"(f)(d )1 I
H °(P ) =
R, a generator being the cohomology class 1 of the cocycle 1. Since
1 U 1 =
1, we see that H '(P) is ring—isomorphic to R.
(24.7) Note. The ring S '(X) does not in general have any good commuta-
tivity properties. For example, take X to be the unit interval A 1, and define 0-
cochains c, d by
1 x=E0,
[Inc]:
0 otherwise,
1 x=E1,
[x,d]=
0 otherwise.
However,
as an affine map Ap A], by sending the vertexE ,- into E,,( ,-). Then for any
—~
(pemutation operator).
2. Ifio, .iq areq + 1 integers between0 andp, let(z'0 iq) denote the
. .
, . . .
. . .
3. Clearly the boundary operator sends C(o) 4 into C(o)q_,. Hence the
sequence of these submodules forms an algebraic chain complex, denoted
C(o), and we can consider its homology modules HqC( 0) obtained by taking
the kernel of 6 on C(o) q modulo the image of 6 on C(o)q+,.
O(o(i0 . . . z;,)) =
o(0i0 . . . iq)
This is just 0 composed withthe join of E 0 to (£0 . . . z'q)(l5.l0). Hence for q
> 0 and any 2 E C(o)q, we have
6(0z) =
z —
0(dz)
so that ifz is a cycle, 2 =
¢9(0z). I
4. For any p, let 0}, be the permutation of [0, 1, p ] which reverses the . . .
,
by
0(2) =
(-1) %P<P+1>z0,,
for any 2 E Sp(X). For brevity let sp (—) %(”+" be the sign of 0p. We =
6l(6o) =
p_1':Q0(—l)’o(p . .
.2. .0) .
200 Orientation and Duality on Manifolds
£p(_1)p_i €p—1(_1)i
=
which is easy. I
Id—0=z9J+J6
Proof: One can, if one likes, write out explicitly the complicated expres-
sion for J. Instead we use step 5, the technique of acyliccarriers. Note first
that for any p—simplex 0, both (Id )(o) and 0(0) are in C(o)p (C “carries”
both Id and 0). Moreover, 0 Id on S 0 X). We can therefore apply the
=
C(r). It then suffices to define ’J(U) and verify these conditions when 0 is a
simplex of dimension p. Now
J0aU,~C(a“’) C C(a)
(1)06 C(o)
so ¢>o' —
1,
(<1) —
6] )6a=J66a= 0
Since p > 0 and C(0) is acyclic, there exists z€C(a)p+1 such that
62 =
(150 —
J60
So we set Jo =
z and conclude the induction. I
[2, 0'0] =
[02, c]
0’ commutes withthe coboundary operator, hence induces an endomorphism
of H '(X) which must be the identity (just transpose (24.11)). One verifies
easily the formulas
0p+q>‘ :
9110;?
0p+qpq =
>‘q 04
For c E S”(X), d E S"(X), we compute 0’(c U d):
[0, 0’(c U d )] ll
[l9o',cUd]
=
sp+q[o'0p+q, c U d]
8p+q[a0p+q>‘p> c][a0p+q pg:
202 Orientation and Duality on Manifolds
so that
0’(c U d ) =
(—1)P"0’d U 0’c
aUb=(—1)1"1bUa I
0’(¢W)= ¢>Q‘(I/)
Q2(1/X w)= n‘(u) A n1(w)
This product does not correspond to the cup product on the cochain level,
e.g., c2(v X W) 75 cl (:2) U c’(w ) in general; but the two products do
correspond on the level of cohomology (see Goldberg [26], Appendix B).
H2(T) ~
H2(T, 02) ~
H2(E2, S‘) 9 Has‘)
Thus it suffices to exhibit a relative 2-cycle on (E 2, S‘) whose boundaI'Y
represents a generator of H1(S1). From the diagram
Cup and Cap Products 203
we see that
Z =
(A0/113:) —
(A0303!)
is such cycle. If (b: I 2 T is the quotient mapping, then S 2(¢)(z) is a 2-
a -+
01, B are generators of H 1(T). Let a*, 3* be the dual basis of H ‘( T), so that
lC,a*U01*l=[C,3*UB*l=0+0=0-
Now the isomorphism H 2(T) R is given by sending a class y€H2(T)
->
(a=z<)2 = 0 :
(B*)2’ asxefiae =
_l3=t<a*_
(24.17) Exercise. By making explicit a generator of H 2 as above, deter-
mine the cohomology algebras of all the compact surfaces 1;, Uh with
Coefficients in a PID R (19.30—l9.31).
S 7
S 4, S 15
-+ S 8 obtained by regarding the image spheres as projective
-’
H”(f)(n)€H”(S2"“)=7 0
(n at least 2), there is
an (n l)—cochainx on S2"_1 such that S'(f)( y )
—
=
8x. Nowx U S'(f)( y ) and S’ (f)(u) are both (211 1)—cochains on S2”"‘, —
3(xUS'(f)(y)—S‘(f)(u))=3(xU3x)'S'(f)(yUy)
=3xU3x—S'(f)(y)US'(f)(y)=0
Hence the cohomology class of this cocycle is a multiple yg’ of Q’, for a
uniquely determined integer 3/. It can be shown that 7 is independent of all the
choices we made (except that changing the orientation on S 2"” changes the
sign of y), and this integer is the Hopf invariant of f. It turns out to depend
only on the homotopy class of f, and the assignment f y( f) induces a -'
homomorphism
Y I 7T2n—l(Sn) —* Z
such that
(i) 71 odd 9 y = 0
(ii) n even 2€Image(y)
%> ‘
(iii) ifn 2, 4, 8 and fis the Hopf map, then )/(f) 1 (see Hilton and
= =
Wylie [30], pp. 379-387, for the proofs). Work of Adem and Frank
Adams settles the converse question: Up to homotopy, the Hopf maps are the
only ones of Hopf invariant 1. This implies the purely algebraic theorem that
C, H, and the Cayley numbers are the only non—trivial division algebras over
R! (For a slick treatment of these results using “extraordinary” cohomologYa
see [6], p. 136-7, after (29.37) see [87].)
We next introduce the adjoint operation, the cap product. For each p, 4
this will be a bilinearpairing
Cup and Cap Products 205
0 (7 c =
[o}\p, c]opq
and extend to arbitrary (p + q )—chains by linearity. Then (24.19) follows
from the bilinearityof the Kronecker product and the definition of the cup
product. Using a further extension by linearity, we get a pairing
fl:S.(X)>< S'(X) —>
S.(X).
Remark. There are several variants of the definition of cap product, for
example 0 F) c =
(—1)""[o}\p, c]opq or [opp, c]a>\q. In addition some authors
write the evaluation pairing with homology on the right. The end result is
considerable Variation in signs appearing in formulas relating different kinds
of products. A systematic approach to all this is offered by J. F. Adams [62].
z F) 6c].
Proof. It suffices to show that the Kronecker product of each side with an
arbitrary cochain gives the same Value; this follows from (24.20) and
(24.1). I
a E HP+q(X), b E HP(Y).
Proof. One verifies the same formula on the chain—cochain level by taking
the Kronecker product of each side with an arbitrary q—cochain on Y and
using (23.3), (24.4) and (24.19). I
(24.25) Products in the relative case. All the previous results on cup and
cap products generalize to the relative case. Thus H (X, A) becomes a skew-
'
H”(X,A) -*
H"(X)
lafl lafl
Hq(X) —’
Hq(X,A)
is commutative (where at) means cap product with a).
(24.29) Note. There are other cohomology operations such as the Steenrod
squares) that have important applications to homotopy theory (see Moshef
and Tangora [69]).
and 0 otherwise.
1 Sm I I
0 ~
s'(s") ~——
S'(Cf) ~
S'(Cf, S") ~ 0
S'(i)
to calculate 3.
25. Algebraic Limits
(25.1) Example: Let K be a subset of a set X, and let I be the set of those
subsets of X which contain K. Define VS V to mean V 3 V. Then for any
V, V, the set V F) V fulfills the directedness condition. (This is the example
of most interest in topology.)
(25.2) Example: Let I be the set of non-zero integers. Let 1' S i’ meani
divides 1''. Then for any i, i’, the least common multiple fulfills the condition.
(This example and its generalizations are of interest in number theory.)
(25.3) Example: Let I be the set of all covering spaces with base points
(E, e0; p) of a pointed space (X, xo), Define (E, e0; p) S (E ’, ef,;p’) when
there is a map f:(E ’, e5) (E, e0) such that pf p’. To satisfy the
-* =
where E ”
has the topology induced as a subspace of E X E ’. (The analogue
Marvin J. Greenbergand John R. Harper, Algebraic Topology: A First Course ISBN 0805 3» 35 5 8—7(Hl
ISBNo—so53.35s7—9(_1’b1‘l
Copyright © 1981 by Benjamin/Cummings Publishing Company, lnc., Advanced Book Program, All rights
,
by
any.f°"“".
reserved. No part of this publication may be reproduced, stored in a retrieval system, ortransmitted, in
electronic, mechanical, photocopying,recording, or otherwise, withoutthe prior permission‘)
0}: anly rrriieans,
t e pub is er.
208
Algebraic Limits 209
of this example in algebraic geometry has been used to construct the 'etale
cohomolgy [5].)
(25 .4) Definition. Suppose (Ill,-),-Qis a family ofR—modules indexed by the
directed set I, and that for i S i’ we are given a homomorphism
¢i',i5Mi "
Mi’
such that
<l5z"',i'¢>z",z' =
¢i",i if is 1” 5 in
<p,~, - =
identity
Call this set—up a direct (inductive) system of modules. A direct (inductive)
limit of this system is a module M together with a family of homomorphisms
<l5i3Mi " M
¢>i'¢i',i =
<25,‘ if is 1.’
and such that this collection is universal with respect to the following
property. For any module N and any family of homomorphisms
¢i3M1‘ " N
satisfying
¢i'¢i',i =
‘pi if 1' S 1"
T (pi =
W951‘
for all i.
it is clear from this universal property that any two inductive limits M, N are
lsomorphic by a unique isomorphismsatisfying condition 1‘ So we can safely .
Iim M,
and limit. Construct the projective limit as a submodule of the direct product
of the M.
We will need later some basic lemmas about inductive limits.
that
‘W/1': ¢il Ni: PP.‘ :
¢’il Pi
Then ¢/ 69 p:N ®P —+ M is an isomorphism.
Proof: We construct the inverse. Given x E M, choose x,- E M, such that
x =
q5,~(x,-)(25.7). Write x,- y,- + z, uniquely, withy,- E N,, z,- E P,-. Define
=
Secondly, there is an important case in which one need not look at all the
M,~‘s in order to obtain M. A subset J C I is called final (sometimes
“cofinal”)if J is a directed set under the induced ordering from I and if for
any i E I, there is aj E J such thati S j. We can then form the inductive limit
over the set J, and we get a canonical homomorphism
}\:li_r.n
212 Orientation and Duality on Manifolds
<15 EL)’/a,/<
where ykxk € Mk. By definition of (pf: we must have
(i) xi =
k,§_¢i,k)’i,k k§)’k',i Z
while for h # i,
(h) 0 =
k,§h¢)h,kyh,k k>;hyk.,, ~
Choose an index 1" greater than all k’ which occur. Apply <15,-.3,» to equation (i),
and qf>,-3,, to each equation (h) which is non—empty, and add; one gets
all (A ,k)
,
Mlek _.
Ml, _.
M?k*
N P.‘
such that the sequence is exact and such that for i _<_ i’ the diagram
>‘i Pi
Mfr _.
Mi ..
MI§k*
<z>7“.zl <z>,~.,-J l<z>:*?!‘;
>\r' Pi’
M,-.* —*
M,’ -'
M,~**
is commutative. Passing to the limit gives homomorphisms
Algebraic Limits 213
M*_,M_.M**
X p
X)
j.
x E U open
is an isomorphism.
Remark. The analogue of (25.14) for projective limits is false, i.e., a
projective limit of exact sequences need no longer be exact (see Eilenberg
and Steenrod [23], p. 225). It becomes true when we assume thatR is afield.
(25.18) Exercise. The analogues of (25.10, 25.11, and 25.16) hold for
projective limits.
26. Poincare Duality
K.
215
216 Orientation and Duality on Manifolds
Then f maps X —
f "(L) into Y —
H”(Y, Y‘ L) "
H"(X,X‘f '(L)) —’
H‘!(X)
As L varies, these homormorphisms are compatible with those induced by
inclusion, hence passing to the limit gives an induced homomorphism
HZ(f):HZ(Y) H§’(X). IfX is a subspace of Yand fis the inclusion map,
—*
H‘c’(U) —’
H2’(X)
(Note that this homomorphism goes in the opposite direction to the one in
(26. 1).) Namely, for any compactK C U, we have the inverse of the excision
isomorphism H "(U, U K ) H"(X, X K ). Since these are compatible
—
-’ —
H"(S", S" —
K) 1‘ H‘'#(S’')
is an isomorphism (23.2l.7). Hence (25.11)
H2’(R") 3 H”#(5")
is an isomorphism. This isomorphism generalizes to the one—poir1t*
compactification of any manifold (see (27.4)).
Now for any compact K C X, consider the homomorphism from relative
cohomology to absolute homology
Poincare Duality 217
4jKfl;H"(X, X —
K) —'
H,,_q(X)
given by the cap product 7 —>
{K07 with 4’K(24.26). If K C K ’, the diagram
H 4 (X, X —
K )
Hn—q(X)
H 4 (X, X —
K ’
)
is commutative. Passing to the limit gives a homomorphism
DIH?(X) —'
Hn—q(X)
(Note that for q > n, D is the zero homomorphism.)
(26.4) Exercise. Let U be open in X, and give U the induced R—orientation.
Then the diagram
mmgmmm
I I
HWUBEAW
in commutative.
mm3,4m
mad |m4n
Hq(Y) fig) Hn—q(Y)
is commutative (22.33 and 24.24).
(26.6) Poincare Duality Theorem. If X is an R—orierzted rz—dz'merzsional
manifold, the homomorphism
Dmm~m¢m
218 Orientation and Duality on Manifolds
H"(X,X—K)=>H‘/(W,
2
W—K)€Kn H,,—q(W)
where W is open and the inclusion (W, W K) (X, X K) is an—
—> —
diagram
-—H”“(B,B-—KflL)-—H"(Y,Y—KUL)v—H"(U,U—K)H”(V,V— L) ~
H”(B,B— rm L) *
combined with excisions of the form (W, W S) C (Y, Y S). The bottom
— —
Hq+1(Bs B —
K F) L) §KuL 0
cm I 0
F
IIn—q—l(-B) ‘—__
Hn—q(Y
220 Orientation and Duality on Manifolds
Furthermore
Ckrmfl 503 =
CK H 803 =
(_1)q+la(C1< (7 (13) Z
(_1)qHa(CI< max),
1': 4, 5.
On the other hand
CK (7 04 CKUL (7 (C + 3B0) CKUL O C 1‘ a(CKuL 0 DC)-
: =
in S(B) which are equal (up to sign) in S(X). But S(B) S(X) is -*
injective. I
Returning to the proof of step 1, we observe that every compact in Y has
the form K U L. Passing to the limit gives a sign—commutative diagram
*HZ“(B) “
H3(Y) ‘—
H‘Z(U) G3H2’(V) ‘—
H‘£(B)‘—
D D DC-DD D
‘—
Hn—q4l(B)‘_ Hrz~q(Y) ‘_
Hr:-q(U) @Hn~q(V) ‘_
H22-q(B) ‘-
in which the rows are exact and all vertical arrows except those involving Y
are given to be isomorphisms (25.10 and 25.14). by the five lemma (14.7),
the theorem is true for Y.
Step 2.Let ( U,«) be a system of open sets totally ordered by inclusion, and
let U be their union. If the theorem is true for all the U, then the theorem is
true for U.
This amounts to verifying the isomorphisms
lal,l:l_i_r£‘Hn—q(l]i) Hn—q(U):
_)
1imH‘1(E",
222 Orientation and Duality on Manifolds
For example,
if n =
3, knowledge of ,B1 and the number of connected
components of X determines all the Betti numbers.
Of course (23.28) tells us about the torsion in the homology as well: If Tq is
the torsion subgroup of Hq(X; Z ), then
[UW,vl=l€,7U7l
generates R. Hence 72 7 U y generates the module H 4. Thus y
=
generates
the R-algebra H '. A more general statement is possible.
Poincare Duality 223
Proof2 Any such map would induce by passage to the quotient a map
f :P” P’" making the diagram
-e
s gs“
pi in
P”I>P’"
commutative (the vertical arrows are the double coverings).
other element of H ‘ ).
Let i:P‘ P”, j :P‘
-> P’" be the inclusions obtained by setting all but
-*
f ’p’(x) or g(—x) f ’p'(x) f 'p'( -x). Thusf’p’ and g are two liftings offin’
= =
which agree at a point. By (5.1),f ‘p’ g. But g(x) ¢ g(—x) —g(x), while
= =
H’§(X) X H2’(X) A
H’Z+"(X)
hence the direct sum HC'(X) becomes an R—algebra (without an identity
element unless X is compact) which is contravariantlyfunctorial with respect
to proper maps. Using the duality isomorphisms, we can transport this
multiplication to construct the homology algebra H. (X), 50 thatthe resulting
“intersection product” of a p—dimensional class and a q—dimensional class
has dimension p + q n. This algebra is not covariantly functorial with
—
H.( Y). (See Dold [64], p. 335ff. and p. 196.) A special case is treated in
chapter 31. ,
f:U~S”—P
f(X-U)={P}
Proof: Choose a coordinate neighborhood V of x and a coordinate
neighborhood U C V of x such that U C V. Let g:U ~ E” be a
homeomorphism sending U ontoE ”, h:E” S the quotient map identifying -> "
P x’EX—U
f(x’)=
hg(x') x’ E U I
f:X—»S"><S”><--~><S"
by f (x) (fi(x), ,fi(x)). Then the restriction of f to V is injective.
=
. . .
has the following universal property: For any normal space Y and any
map f :B X of a closed subspace B of Y into X, f extends to a map of Y
->
into X. Tietze’s extension theorem states that the closed unit interval is an
AR; since a cartesian product of AR’s is an AR, E " is an AR (see Dugundji
[20], Chap. VII, No. 5). If in the above definition we require only thatf
extend to an open neighborhood of B, then X is called an ANR absolute =
i= 1,2,0. Then
f(Bo) C X10 X2
Since X] 0 X2 is an ANR, fl B0 can be extended to a map g0 on a
neighborhood U0 in Y0 (U0 is relatively open in Y0). Then U0 0 B B0, sof =
Then U0 =
Y0 Wis closed and U0 C U0.
—
isclosedinU’, UU’2=U,i=1,2,and
U(’,=U’,flU§
(exercise). Hence we can define a map F:U X to be G, on U}, i
—*
1, 2, =
F:XXXXI—*RN
F(x,x’,t)=(1—t)x+tx’.
Then F maps VX I into U (by definition of V). Let
There is a finite cell complex C such thatKC C C U (see the proof of 22.24,
case 3), so thatK is a retract of C. Hence
228 Orientation and Duality on Manifolds
torsion subgroup of H,, ,, (M; Z/2Z) is cyclic of order 2, and H, (M; Z/2Z) 75
0.
(26.23) Exercise. Note that (26.12) and (26.14) combined with exercise
(24.32) gives maps S 3 S 2, S 7 S 4 with Hopf invariant one. Prove that
-+ —>
S2n—l S»
Sn
-1! I4
S21:-—l ——»
Sn
with the antipodal map thenfhas odd degree. Suggestion: Do the case n odd
first, then extend to n even using composition of the suspension Zf with
reflection of S "+1 through the equatorial S". Unlike (26.23) this is not a
homotopy—theoreticresult; indeedfa = afregardless, since homotopy theory
proves that homotopy classes of maps of S are classified by their degree.
"
morphism
iIH2’(U) —’
HZ(X)
when cohomology with compact supports. We aim to imbed this
we use
homomorphism in a long exact cohomology sequence, and for this purpose
we must consider another cohomology theory for the subspace A.
Consider the family of all open neighborhoods Vof A, directed by reverse
inclusion ( VS V’ means V’ C V). The inclusion homomorphisms make the
modules H"(V) into an inductive system. We define
reserved. No part of this publication may be reproduced, stored in a retrieval system, or transmitted, in any form
or by any means, electronic, mechanical, photocopying,recording, or otherwise, without the prior permission Of
the publisher.
230
Alexander Duality 231
i:A -> V the inclusion. Then H"(ri) identity shows that H‘7(i) is an
=
i(Vl V) 21'
so that H‘1(j) =
Hq(r| V)H"(i). Thus we have a factorization
H"(f/) ——*
H;’(A)
H"(U’) mu/)
\ /
H"(/1)
so that any class in H "( U ) going to zero in H "(A) goes to zero in H "( V );
thus K is a monomorphism
One the closed subset(U’ X 0) U (A X I) U (U’ X 1) of U’ X 1, set
x ift=0 and x€ U’
F(x,t)= r(x) ift=l and x€ U’
x ifx€A
(see Note below). That neighborhood contains a set of type V>< I where V is ,
The homomorphism
8:FI‘?(A) a
Hz+‘(U)
(27.3) Theorem. Assume X is compact. Then the sequence
-~
Hz(U> 11 Hq<X>’¥H"<A) ‘5Hz”<U) ~ ~-
A.
H‘1(X,X—K)—> H‘?(X) a
H"(X—K)
implies that Kernel j Image i.
=
H‘7(X) ~
H‘7(X) a
H‘7+’(X, X) =
H4+‘(U, U)
is zero,so 8/' 0. Conversely, any class in the kernel of 8 is represented by
=
an element of H"(V) sent to zero in H‘7+‘(X, V), for some V; but that
element is in the image of H"(X) H "(V), hence Kernel 6 Image j.
—> =
H‘7(U, U -
H"(K, L) a
H,,,q(X —
L, X —
K)
Which in case K = X yields an isomorphism
H"(X, L) 4
H,,_,,(X L) —
H4(1<, L) =
_1i_n1 H‘7(U, V)
(U, V)
234 Orientation and Duality on Manifolds
where (U, V) runs through the directed set of pairs of open sets containing
(K, L). Derive the exact cohomology sequence
~
H""(L) ~
H"(K, L) a
Hq(1<) « I:1"(L)—’
by passing to the limit the exact cohomology sequences of the pairs (U, V)_
Step 2. Define a cap product
H,,(X,X—K)><H‘7(U, V) -*
H,,_q(X—L,X—K)
as follows: Let Z,,(X, X K), c E Z"(U, V). Let 7 be the open
2 E —
covering {V, X K, —
This cap product is compatible with passage to smaller (U, V); hence,
passage to the limit gives a cap product
H,,(X, X— K) x H"(K, L) a
H,,_,,(X L, X— K)
—
~
H""‘(L) ~
I‘-I"(K, L) ~
FI"(K) ~
H"(L) -
K) -°
H,,_q(X,X— K) -
H,,_q(X,X-L) —'
L, X —
K) e
I'1,,_.,(1<,L>
where the module on the right is the projective limit
lim H"_q(U, V)
(U, V)
This is not in general an isomorphism: LetX P3, K P2, L empty, R Z- = = =
caused by torsion in the homology groups. One can prove that this duality
does hold When R is a field by an argument similar to the proof of (22.24),
using the fact that projective limits commute with exact sequences of vector
spaces.
H"(/1) E Hf—q—1(R" —
A)
for all q < n and H”(A) = 0 (hence dim A < n).
Proof: By (26.17), we may identify H"(A) =
H"(A). Regarding R” as
S”—point, we have the isomorphisms
H"(A)
D, H,,_,,(S",
—~
S" —
A) ~
H,,_,,(R”, R"—A)aHf
a ,,,,(R"— A)
I
holds for any coefficient ringl). But A non—orientable implies H,,(A; Z) has
rank less than k (22.28). I
—>
pictured
The following exercises are based on Steenrod and Epstein [87], p. 35.
(27.15) Exercise. Let M be a connected closed (n 1)—manifold
—
subsets with closures A and B such thatA U B S ". Prove that no proper
:
(27. 16) Exercise. Use (27.15) to prove a theorem of Hopf. The inclusions
i:M A and j :M
—* -> B induce a representation of H” (M ) as a direct sum
where 1*, 1* are monomorphisms (z* H‘? (1') an abbreviation). Show that
=.
H’(A ) 0= =
H’(B) for r 2 n 1. Taking coefficients in a field F, prove
—
4414
Those points in
238 Orientation and Duality on Manifolds
\/
<:'x—>
/\
Hence I-I,,(X,_X —
Hence a:H,,(X, X —
V) «
H,,V1(X —
V, X —
V) is an isomorphism.
(4) ‘Suppose x’ E 6V. Then X —
V is a strong deformation retract of
X -
V —
x’.
C X V x’, hence X
— —
V may be excised. Combiningthis isomorphism
—
rav ——>
’\/
H,,_,(X— V,X—V)
31 Ir
H,,_,(6X,6X~x’):H,,_,(6X,6X—¢9V)?» H,,_1(X —
V, X V—x’) —
(the left vertical isomorphism being the evaluation of sections at the point
X’ [(9V is an open (11 l)—cell in 6x]).
—
X.J1 (aX><1)J1 X2
Then identify any x’ E 6X1 with (x', 0), and identify any x’ E 6X2 with
(x', 1). Let 2X be the quotient space. Then each X, is mapped homeo-
morphically onto a closed subspace of 2X. Clearly 2X is an n—dimensional
manifold, compact if X is.
(28.11) Examples: 2(Mobius) = Klein bottle
2 " =
S”
2(S‘ ><I)=Torus
(28.12) Exercise. If is R—0riented, then_ there is a unique R-orientation
of 2X inducing the given R—orientation on X 1 and X2.
Let Y1 X1 U (6X>< [0, 1)), Y2 (6X>< (0, 1]) U X2 (identifying with
= =
Y, Y2
F) = 6X X (0, 1) homotopically equivalent
is to 6X. Since each Y, is
open in 2X, (2X, Y1, Y2) an
is exact triad. Applying (20.8) to the Mayer-
Vietoris sequence, we get
X(2X) =
x(Y:)+ X(Y2) x(Yu —
(7 Y2)
01'
x(2X) =
2x(X) —
x(<9X)
where the Euler characteristic may be taken relative to any PID R.
Then there is a unique homology class 4’ E H,,(X, 6X) such thatfor any x E
X ,
S(x) =
j if (C)
Proof: There is a canonical homomorphismj :H,,(X, 6X) —’ FX given by
j (0r)(x) =
J'§(a)
(verify j ((1) is continuous). We claim j is an isomorphism: Identify X X1, =
H,,(X, X —
X) J
\ n
1 FX
H.,< Y. Y —
X) [ r
1
H,,(Y, Y— X) L PX
(28.17) Example: Let X be the (closed) Mobius band, <p:I2 -> X the
quotient map, so that <p(0, t ) <p(1, 1 t) for all t. The loops
= —
0(3) :
<25(S, %)
¢>(2s, 0) s I/\ 1
2
7(5) =
¢(2s —
1, 1) s 2%
Fu(¢(Ss t )) =
<l>(S,% 4' u(t —
%))
Since For 02, we see that 1' is homotopic to 02. It follows that H2(X) 0,
= =
identify these modules with R. The exact homology sequence then shows that
H2(X, 8X) 0 when R Z, so thatX is indeed non-orientable.
= =
g F) 1 (65) F) 1 { F) I l
=
n~q+l(X9 ax) 5» H.,.,<aX> ~
H.-.,(X) ~
H,,-.,(X, 6X) ~
H,,_q(X, 6X), the other isomorphism will follow from the 5—1emma (14.7)-
Identify X with X] C 2X (29.3). Then excision and deformation retract10I1
give isomorphisms
HIl‘q(X9
Lefschetz Duality 243
and under this isomorphism the fundamental class in H,,(X, 6X) (28.15)
corresponds the
to fundamental class in H,,(2X, 2X X) (28.12, 22.21,—
22.24). But by Alexander Duality (27.5), cap product with the fundamental
class gives an isomorphism
H"(X) 3 H,,_,(2X, 2X X) —
computed by Dold [19] as follows: Write q + 1== 2’ (2s + 1). Then xq is the
class of P(2’ —
The algebra Q 6-) Q over the rational numbers was determined by Thom; it
is a free—skew—commutative algebra generated by the classes of even-
dimensional complex projective spaces CP2". Thus if q is not divisible by 4,
0,1 is a torsion group. The torsion part of Q has been determined by Wall
[58] and Milnor [40]. For small values of q we have
0 q=2,3
04: Z q=4
Z/2 q=5
For any pair ( Y, B), by considering all maps (X, 6X) (Y, B ) for all X, a
rr
new homology theory for (Y, B ) is constructed, called bordism. This theory
satisfies all the Eilenberg—Steenrodaxioms except that the bordism groups of
a point are non—trivial (see Conner and Floyd [15]). A survey of recent
developments is given by R. J. Milgram in Proc. Symp. Pure Math. Vol. 32
(1978) 79-89.
(28.22) Note. For a deeper study of the material in sections 26-30, see
Dold [64]. For the generalization of the duality theorems to extraordinary
homology theories, see Adams [74] or Gray [76].
(28.23) Exercise. If M is compact, 6M is not a retract of M.
_
‘ISBN
1981 by Benjamin/CummingsPublishing Company, Int... Advanced
0—8053—3557»9(Pbkl
Book Program. All rights
reserved. No pan ofthis publication may be reproduced, stored in a retrieval system, or transmitted. in any form
fgcby ati)1‘)_'ifr‘ieans,clectronic,
pu is er.
mechanical, photocopying, recording, or otherwise, withoutthe prior permission of
249
250 Products and Lefschetz Fixed Point Theorem
study of manifolds and also in homotopy theory. The utility of the products
introduced in chapter 29 reflects itself in the theorems of this section.
In chapter 31, a brief introduction to intersection theory is given. The
Poincare duality isomorphism receives a more geometric interpretation in the
case where homology classes are represented by embedded submanifolds.
Relaxing the manner in which homology is represented would lead to the
geometric view of Poincare duality afforded by the combinatorial approach
[86]. We do not carry this out in general, but content ourselves with a
discussion of the lens spaces.
29. Products
We have seen (7.11) that the n”‘ homotopy group of a product of pointed
spaces is canonicallyisomorphic to the product of the n"‘ homotopy groups of
the factors. However, the behavior of the homology modules with respect to
products is more complicated. For example, H2(S1 X S 1) E R, while
H2(S‘) X H2(S‘) 0. =
The analysis breaks into two parts. First is the geometric step relating
S(X X Y) with S(X) ® S(Y). Second is the algebraic step relating
H.(C (8 C ’) with H.(C) ® H.(C ’). In the case when R is afield, thegraded
homology module H.(X X Y) is isomorphic to the tensor product
H.(X) ® H.(Y).
Every singular n—simplex w in X X Y is uniquely expressible in the form
(0, r), where 0 pxw, 1' pyw (pX,py the projections ofX X Yon X, Y).
= =
For each integer p with 0 S p S n, we can associate to (0, 17) the element
0%,, ® rp,,_p of the tensor product Sp(X) ® S,,sp(Y ) (front p—face of 0
tensored with the back (n p)—face of I; see Section 24). Extending by
—
Marvin]. Grccnberg and John R. Harper, AlgebraicTopology: A First Course ISBN 0—8053—3558—7(H)
ISBN 0—8053»3557—9(Pbk)
Copyright © 1981 by Benjamin/CummingsPublishing Company, Inc., Advanced Book Program. All rights
‘
reserved. No part of this publication may be reproduced, stored in a retrieval system, or transmitted, in any form
3:’by any means, electronic, mechanical, photocopying, recording, or otherwise, withoutthe prior permission of
8 publisher.
251
252 Products and Lefschetz Fixed Point Theorem
(29.2) We now make the sequence of modules [S(X) ® S(Y )],, into an
algebraic chain complex by defining a boundary operator. In general, let C,
C’ be algebraic chain complexes, and set
21 ; H,,(X>< Y) ~
H,,(S(X) <3 S(Y))
(29.4) Eilenberg—ZilberTheorem. 171 is an isomorphism. In fact, A is £1
Products 253
chain equivalence of the chain complex S(X X Y) with the chain complex
S(X) S(Y ).
®
To say that A is a chain equivalence means that there is a chain
homomorphism B:S(X) 69 S( Y) S(X X Y) such thatAB and BA are both
—*
we obtain a homomorphism
iIlH(X) <3’ H(Y)l,. —'
H.,(S(X) <3’ S(Y ))
given by
Clearly 1' is functorial in the pair (X, Y). The image of an element 4’ ® in
under the composite homomorphism
Complex. Let
254 Products and Lefschetz Fixed Point Theorem
[C®C’l,,= ea cpcacg,
p+q=II
where and q may take on negative values, and define the boundary
now 1)
operator for the complex C 69 C’ as in (29.2). We obtain the canonical chain
homomorphism
i:H(C) <8 H(C ’) ->
H(C (81 C’)
as before. We determine the kernel and cokemel of 1' under the assumptions
that R is a PID and C is free [i.e., all C,, are free modules, satisfied by
C» =
Sn(X)]'
Let Z, B be the complexes of cycles and boundaries of C. Let B be the ‘
complex given by
(29.5) O—+Z—>C(iB’—>0
Since B’ is free by our assumptions, this sequence splits, hence tensoring
with C’ gives another exact sequence of chain complexes
0-*Z®C’->C®C’—’B’®C'—*0
(29.6) -»
H,,(Z ca C’) a
H,,(C ca C’) —»
H,,(B" <22: C’)
*
n—l(Z 63* C’) e
hence, the proof of the sublemma comes down to showing thatthe sequence
Products 255
0-»Zp®Bj,—>Zp®Z[,—+Zp®Hq(C’)-r0
is exact, which follows from the fact that Z,, is free. I
->
[B (X H(C’)],, ->
[Z (35 H(C’)],, ->
H,,(C (X C’)
"
[B Q9 H(C ’)]n—i “'
To determine Coker qS,, and Ker <1>,,_,, we use the exact sequence
(29.8) 0 ~
Bpiezp ~
H,,(C) -» 0
which need not split. Tensoring with H,,_,,(C ’) gives an exact sequence
® 1
H,,_,,(C’)J"———+
'
® H,,_,,(C’)
->
H,,(C) (Bi H,,_p(C’) -* 0
where the left arrow needn’t be a monomorphism; in fact, since (29.8) is a
free resolution of Hp(C)(Zp is free), its kernel is by definition
Tor (Hp(C), H,,_,,(C ’)).
Adding these sequences for all p gives the exact sequence (since)
(1),, =
E99]; (29 1).
0 ~ 69 Tor(H,,(C), H._,,(C '» e
[B <3 H(C '>1,, 9"
P
9' [Z ® H<C')1. ~
[H(C) ® H(c'>1,, ~ 0
which gives us Ker (75,, and Coker q>,,. We state the result.
(29.10) The KimnethExact Sequence. Assume R is a PID and C is free.
For all rz, we have the exact sequence
0 a
C-BH,,(C)
P
<3 H,,_,,(C’) ~
H,,(C «X C’)
~ 69
P
Tor<H,,(C). H.-,,-.<c '>> ~ 0
256 Products and Lefschetz Fixed Point Theorem
Composing these with the quotient homomorphisms 1//:C H(C), tfi ’:C -*
’
—>
Zilber theorem to substitute for H,,(S(X) ® S(Y )) and obtain the homology
of X X Y.
Hn(X x Y) E
go Hp<X> 09 H,.g,,<Y)
Proof: In that case (29.9) is exact with a zero on the left, hence
Tox<1z,(X),H...-1<Y)) = 0. I
issplit exact.
For example, if R Z/ 2, Tor(H,,_, X; Z), Z/ 2) is the subgroup of
=
a*
0 —> R —- R —> R/a -’ 0
63 R/a,-, 63 R/bj
I J
and d,-j =
gcd(a,~, bj), then
Tor(M, N) %
258 Products and Lefschetz Fixed Point Theorem
Z n=0
Z/2 n=l
Z n=2
H,,(P3><S2;Z)% zcbz/2 n=3
0 n=4
Z n=5
0 n=6
774(CP.3) E 774(S7) : 0
(29.16) Remark. In the realtive case, (29.10) yields the exact sequence
0 -’
6?
11-0
H,,(X,A) <3‘ H.,—,,(Y,B) "
Hr1(S(XaA) ‘3’ S(Y, B )) "
11-1
" 39
p=0
T0F(Hp(X,A),Hn—p—:(Y, B )) * 0
Products 259
(29.17) Cup and cross products. The basis for using the previous material
to study cup products is their description (due to Lefschetz) as compositions.
The cup product c U d of cochains c E S”(X), d E S” (X) is the composite
0 otherwise.
Then c X d =
’Ar(c (8 d).
(29.17.2) Lemma. 8(c X a’) = 8c X d + (-1)”c X 8 a’.
c U d=H'(A)(cX d)
for c, d E H '(X). This is often used as a definition for the cup product.
A useful relation is given by
=
[a>\,, <3 ‘tpq, r(c <3 d )1
=
[UM Cllrpq, d l,
[(0, T), S'(Px)c U S'(py)dJ =
lPx(‘7a T)>\,,,cl[Py(<7,1')Pq,dl
=[a}\p,c][1'p,],d|. I
Proof. Unlike (29.17.3) this relation does not hold for cochains. We begin
the proof here. It will be completed by an appeal to the acyclic model
theorem (29.25). The followingdiagram contains routes to define the various
products.
S(XX Y) 44:. S(X)®S(Y)
sum)
cu Sm X An (9 Sm.) <2 s<Ay>
.41
S(X>< Y)®S(X><
© l A ®A
Y)AE;4S(X)®S(Y)®S(X)®S(Y)l(EXlS(X)®S(X)®S(Y)® S(Y)
a (85 b ~>
a X b =
H'(pX)(a) U H'(py)(b)
fora E H'(X),b E H'(Y)(p,\»,p,v being the projections ofX>< YonX, Y).
(29.17.6) Exercise (R a PID). Assume all the homology modules of X are
finitely generated. Then there is an exact sequence
0 ~
[H' (X) ®H‘(Y)|”>—<>H”(X><Y) ~
p+q=nl
69
I
Tor(H"(X),H"(Y))—> 0
so that if, in addition, the homology modules of X or Y are all torsion—free, the
cross product is an isomorphism. (Show S(X) is chain homotopically
equivalent to a subcomplex C such that each C’, is free finitely generated.
Then C” C 3‘ is free for all p and C is cochain homotopicallyequivalent to
=
'
negating the indices, and apply the Kilnnethexact sequence (29.10). Finally,
use the fact that C,, is free finitely generated to note that r: C” (8 S"(X) —v
S3
H'(S‘ V S2 V S3), 1;’ generate H2(S‘ V V S3), and put
a’ :
H'(f)(a”), b’ =
H2(f)(b”).
Then a" U b" E H3(Sl V S2) =
0, so that a’ U b’ =
H3(f)(a" U b") =
0.
Thus H'(S' X S2) and H'(S' V S2 V S3) are not isomorphic as rings.
(29.19) Another useful operation on X X Y is the slant product (division
by chains), a bilinearpairing
H”+"(X X Y) X Hp(X) a
H"(Y)
(7, or) *
7/0<
which satisfies the formula
[it 7/04 =
la X 13,71
for /3 E H,,(Y).
First suppose c E [S(X) ® S(Y)];,‘;q, w E S,,(X). Define c/w to be the
q—cochain on Y given by
[z, c/w] :
[w (3 z, c]
for allz E Sq(Y). Then
[2, 6(c/w)| =
|8z, c/w]
=
|w (3 dz, C]
=
(—1)”|6(w ® 2) —
6w (86 z, c]
=
(—l)”|z, 5c/w —
c/6w]
264 Products and Lefschetz Fixed Point Theorem
so that 8(c/w) =
(—1)”(8c/w c/dw). Hence passage to the quotient gives a
—
slant product
If}, n U {7/an 6] =
[B F) n, 7/00 €J
=I(0rf)€)><(l3fln).7I
=
(—l)’“ "’l(a >< I3) 0 (5 X 11), 7l(29-17.8)
=
(—1)"“’”’la X 3, (€>< n) U 7]
=t4W”MJKXmUflml
(32% <:xnVa=1m:m
using (29.20).
Given mapsf:/Y —~
X’, g: Y —*
Y’, the slant product satisfies the formula
(29-23) H”"’(f>< g)(Y ')/01 =
H"(f)(7 '/H,,(g)(0<))-
(Exercise.)
Products 265
C,—‘3C0—‘>R
is zero; the augmentation of S(X X Y) is 6* (9.7), while that of
S(X) (8 S( Y ) is
at ca a#:S(,(X) ca S(,(Y) ~ R ca R 31¢
S(X’) ® S(Y’)).
Moreover, Alexander—Whitney gives us a morphism (natural transforma-
tion) of functors
A:F-*F’
A:S(,(X X Y) —>
S(,(X) <8 S(,(Y)
preserves the augmentations (exercise). The Eilenberg—Zilbertheorem can
be rephrased to state that A is a chain equivalence of functors: This means
that there exists a morphism of functors
B:F’—>F
266 Products and Lefschetz Fixed Point Theorem
F morphisms of functors, we say (I) and ‘I’ are chain homotopic if for every
’
equivalence.
Given a categoryiQ/ with a distinguished set of objects .//4 We say that the
pair (.31/,/X ) is a category with models, the models being the objects in./% Let
FM *> 6 be any functor. For each :1 Z 0 we have a functor Fq from.2/ to the
category of R—modules which assigns to anyX in.5a/ the q”‘ component of the
chain complex F (X). We say Fq has a basis (relative to ,%) if there is an
indexed family [a} E Fq(M,-)},»€,, where the
Products 267
{C0
Kernel s
q>0
q = 0
for every model M E ./fl all the augmented homology modules of the chain
complex F (M ) are zero.
is acyclic. We also have Hf[S(A") ® S(A‘1)] 0 for all n,p, and q: Let R
=
for all j E J0. Hence there is a unique zj E H0(F ’(.MJ-)) such that
€'(Z,~) =
€(dj)
for allj E J0.
morphism of functors ¢»:H0(F ) H0(F ’) preserving
There is a unique -
‘1’(Y)F(/I) =
F'(/l)<1>(X)
(resp. D(Y )F(/2) = F ’(h)D(X))
Forq Z 0, let {dj E Fq(ll/lJ»)}J-C-14 be a basis for Fq. Once we know the values
<1>q(1V[_,»)(a}) (resp. Dq(MJ-)(d,-)) then for any X we are forced to define
q3.,(X)F.,(l4)(d,-) F[,(ll)‘1’r,(M,—)(d_,)
=
(reSp' Dr[(X)Fr/(u)(d/) :
270 Products and Lefschetz Fixed Point Theorem
6<I>q(X) c1>,,_,(X)a
=
Assume q > 1 and CI)’, defined for p < q so as to commute with 6. Note that
<I>q,,(M,-)(a}) is a cycle; since Hq_,(F’(1l/I]-)) 0, we can define CI)q(Mj)(dj)
=
<9‘1>l,(M,-)(d,-) CD1/—l(A4j)(dj)
=
‘Dc: (M/*)(d/‘) “
‘Yq(Mj)(dj) Dq\x(M/)(5d/)
‘
C®C®Cn£ydC®C
id®m m
C®C ———» C
C@C®C@~QC®R:c
® n #
CflC®C%—flR®C3C
#®-
diagram
C®Ch—~®h C’®C’
ml Tm’
c —”- C’
is commutative. Then the functor X S(X) actually takes its values in the
->
c®C'@§VC®C®c®c7M®1§mC®C'®c®C
where T is the interchange operator defined in (29.28). This makes C ® C’
272 Products and Lefschetz Fixed Point Theorem
C®C’
id®£'[ \e®id
C®R R®C’
11 11
C C’
(h, /1’) =
(p ®p’)(id ® TX id)(m (X m’)(h, h’)
=
(p 09 p')l(h, /1') <2» 0:, /mm"
=
(/2 <81 h’)m"
Now h (8 /2’ is a morphism in 9, but m” is not, unless the diagram
T
C"®C" a C"®C”
m7I\ / mm
C H
H”(X,A)®H"(Y,B)Z<-'H"+"(X><Y,A><YUXXB)
compatible with the cross product in the absolute case and satisfizing the
analogues of functoriality, associativity, and behavior under the inter-
change map (29.29) which hold jbr the cross product.
274 Products and Lefschetz Fixed Point Theorem
(X,AUB)—*(X><X,A><XUX><B)
and hence a pairing
H”(X, A) (3! H"(X, B) —> HP+"(X, A U B ).
(29.36) Proposition. IfX UL, U,- where U,- are open and contractiblein =
are 0 in H (X).
'
»
\
XVX.
class has intimate connections with the fundamental class ( and is used to
construct an inverse to the Poincare duality isomorphism.
LetX be an n—dimensional manifold (withoutboundary). In Section 22 we
have defined the R—orientation sheaf X0 X of X whose fibre over a pointx
->
i.e., given a section s:H X0 such that for each x, s(x) generates
-*
I-121: X X)’ —
Consider now the dual sheaf X°* X, whose fibre over x is the local
->
for all x E X.
Suppose U is open in X. Denote by I*Uthe module of sections over U of
the dual sheaf. If A is the diagonal of X X X,
U’x:(X,X—x) -*
(XX U,XX U—A)
will be the map given by
Ulx(x’) =
(x', x), x’ E X
M arvin J. Greenbergand John R. Harper, AlgebraicTopology: A First Course ISBN O—805 3—35 5 8»7( H)
ISBN 0-805 3»3557—9(Pbk)
Copyright © 1981 by Benjamin/CummingsPublishing Company, Inc, Advanced Book Program. All rights
reserved. No part ofthis publication may be reproduced, stored in a retrieval system, ortransmitted, in any form
by electronic, mechanical, photocopying,recording, orotherwise, without the prior permission Of
0}:t pualnly |'}1;l€anS,
e 15 er.
276
Thom Class and Lefschetz Fixed Point Theorem 277
J"§I(X,X* U) -*
(X,X—x)
is the inclusion map.
A) -> F*Usuch
that
¢>(l3)(x) =
Hn(Uix)(B)
forallfl €H"(X>< U,X>< U- A),x € U.
H"(j):H"(X>< X,X><X— A) -+
H"(X>< X)
be the homomorphism induced by inclusion, and let ,u' = H "( j )(}L). Then
M’/Z,’ = 1
A), define a
set—theoretic section q5([3): U X°* by
—*
¢>(l3)(x) =
H"(uix)([3) X E U
Thus to verify that the homomorphism 95 actually takes its values in the
module l"*U of (continuous) sections, it suffices to consider the following
special case:
f:(_R"><U,(R”-0)><U)':>(R”><U,R”><U-A)
given by f( y, x) =
(y + x, x), and for each x E U a commutative diagram
Thom Class and Lefschetz Fixed Point Theorem 279
.5
(R"X U,(R"—0)X U)—*(R"X U,R"X U—A)
I id Xjx Uix
(R" ><0,(R” —0)><o)
I
(R", R" —
0) —+
A:
(R", R" —x)
fx
where fi(y) =
x + y, and jx is the map of the point 0 onto x. We may
assume 0 E U.
—*
H"(X>< Y, Y’) -l+H"(X>< U, U')@ H"(X>< V, V’)
k
£H%XxnBu~HWmXxnYq~
'
r&XXB)fi&XXU)@&XXV)
MR) av) MV)
'
given by i(Z) =
(Z, Z), and the chain epimorphism
”_&XXU)®flXXV)fi&XXU)+&XXV)
mu» aw) mUq+mVq
let 1/ be the sum of those v,,o,, such that I a,,| meets A; then 12 is equal to the
chain defined in the same way using w instead of 2, since 2 w E S(U ’) ‘l’ —
S(V’), so that i(z7) (Z, w). Thus we have an exact sequence of chain
=
Thom Class and Lefschetz Fixed Point Theorem 281
complexes. Since all these complexes are free, dualizing gives an exact
sequence of cochain complexes, hence an infinite exact cohomology
sequence
a
H‘1(C/C’) —l~H‘1(X>< U, U’) EBH"(X>< V, V’)
1» H‘1(X x B, B’) 5 H"+'(C/C') a
subspaces for each of which the theorem holds, thenthe theoremholds for U.
The restriction homomorphism I‘*U F *U,- give a representation of
—>
I‘ *U = lim I‘ *U,-
1'
Cq(X>< U, U’) =
U Cq(X>< U,-, U;)
since each chain has compact support and the U, are totally ordered. Taking
annihilators, we see that
C"(X>< U, U’) =
lim C‘1(X>< U,, Uf)
I.
for C = S or Z. We verify it for C 8d, with
= B: Ifc =
A) is the inclusion.
Proof. By (26.17.7), there is an open neighborhood Vof A inX X X and
retraction of r:V A such that ir x k, where i:A X X X, k: V X X X
-* -* -*
(V, V—A)->(XXX,XXX—A)
by k’, and note thatk’ is an excision. The following diagram is commutative:
I3 c
7 U [3
H‘1(i) H4(X x X) —+
H1’*‘1(X x X, X X X —
A)
H‘1(A) 1 H"(k) 1: HP+‘?(k’)
\
Hm) H‘1(V) ~
H1’+"(V,V—A)
5 ~
HP<k')<y>u<
where we are using the mixed cup products of absolute and relative
cohomology.
Letp,~:XX X-+ X, i= 1, 2, be the projections. Then 1 X 11 H°(p1)(l)U =
7 U H"(P;)(n) =
H"+"(k')"(H”(k')(7)U H"(P.-ir)(n))
=
H”+"(k')_‘(H”(k')(Y)U H"(pr)(17))
for both i = 1 and i = 2. By definition of the mixed cup product,
H”(J' )(7) U H"(P;)(77) =
H”+"(7 U H"(P.-)(11))
284 Products and Lefschetz Fixed Point Theorem
In case X is compact, we can use the Thom class it (or rather its image it’
in H "(X X X)) to make explicit the inverse to the Poincare duality
isomorphism.
(30.6) Theorem. Let X be a compact R—oriented n—dimensional manifold
withfundamental class 5 E H"(X). Then for any p S n, the inverse to the
Poincare duality isomorphism H”(X) 3 H,,_p(X) is given by
oz —>
(—1)”",u'/oz, an E H,,_p(X).
Proof Ifn E H"(X), then { H 11 is its image in H,,_p(X), and
M74“ n=1U{.u'/€fl7:}
=
{(11 X 1) U it}/4 (29.21)
=
{(1 X n) U M}/C (30-5)
=
(—1)P"(—1)°n U {#7: r) 1} (29.21)
=
(—1)”"n U (M4)
=
(—1)P"n U 1 (30.2)
=(_1)”"7I~ I
XX X A
/ll‘
—
X><X?’X><X
f><id
where i is the inclusion. Since H"(i)H"(j) = 0 and ,u}( =
H"(j )(,u.X), ,uf=
H”(f>< id )(p.jY) 0. = I
H"(f, id)(,u’) =
H"(A)(p.f) E H"(X), and define the Lefschetz number by
Af: [C2 Lf] :
[Cs
286 Products and Lefschetz Fixed Point Theorem
n). Then
Af: §.3c,-Ac, H'(f, id )(a,« X oz,-)1
ll
§c,,.[;, H'(f)(a,-) U 02,] (29.17.7)
2 Czyakzykj :
Thom Class and Lefschetz Fixed Point Theorem 287
X (X; R ) =
[4, H"(d )M’l
where d : X -> X X X is the diagonal map.
(30.11) Exercise. If R =
Q, then Af is actually an integer.
(30.12) Corollary. Iff: S" S” has degree d 75 (—1)”“, thenfhas a
->
(30.14) Note. In case f has only finitely many fixed points x, x,, there
, . . .
Af= §11(x,)
(see Brown [11, 63]). The Lefschetz formula has very interesting analogues
in differential geometry (Bott and Atiyah [8]) and in algebraic geometry
(Weil [60]).
(30.15) Exercise. Let X, Y be R—oriented manifolds of dimensions n, m
respectively, not necessarily compact. Then for each point (x, y ) E X X Y,
we have a canonical isomorphism (29.16)
CXXY =
{X X {Y
where 4‘ denotes the fundamental class for the R—orientation.
Suppose X is compact R—oriented and ,uXXX is the Thorn class for the
manifold X X X in the product R—orientation, ,u}(XX its image in
H2"(X X X X X X X). What is the relation between ,u/QXX and (1.3; X ,u§(?
Let ,u}(’ be the Poincare dual of H,,(A)((’X),i.e.,
1 i =
J,
[(2 bf U
Thom Class and Lefschetz Fixed Point Theorem 239
(30.21) Exercise. Derive (30.10) from (30.18). This is easy but worth
knowing.
(30.22) Exercise. Let f:X Yas in (30.9) and define g:X XX Yby
-+ —>
[C X 4’, ,u.’ U ,u.f] follows from (30.15). In the next chapter, we can interpret
this formula as the “intersection number” of the diagonal and the graph.
31. Intersection numbers
and cup products.
Using (24.30) to calculate, the nonzero and zero values among cup products
of different elements in the dual basis for H1 correspond to nonempty or
empty intersections among the representative circles. We use the Thorn class
to develop the relation between intersection numbers and cup products. Our
account is introductory. A fuller account is given in Dold [64] and a .
geometric treatment in Seifert and Threlfall [86]. The basic ideas for this
treatment come from Dold’s book and Milnor [82]. The basic paper is Thom
[57]. Throughout coefficients are either a field or the integers.
Let V be a closed n—manifold with submanifolds M, N of dimensions r, s
respectively.
Basic assumption, r + s = n and M F) N (if nonempty) is a finite set of
points.
(31.1) Definition. M intersects N transversally at a point x if there is a
Marvin J. Greenbergand John R. Harper, AlgebraicTopology: A First Course ISBN 0-805 3»3558—7( H)
ISBN 0-805 3»3557—9(Pbk)
Copyright © 1981 by Benjamin/Cummings Publishing Company, Inc., Advanced Book Program. All rights
reserved. No part of this publication may be reproduced, stored in a retrieval system, ortransmitted, in any form
or by any means, electronic, mechanical, photocopying,recording, or otherwise, without the prior permission of
the publisher.
290
Intersection numbers and cup products 291
x) E (Rr+.r, Rr+s _
292 Products and Lefschetz Fixed Point Theorem
Proof. This follows from the corresponding property for cross products
_
(29.29). I
Then M -
N =
Z2,-[K.£, X 53;, H"(k),u.], where ,u. is the Thorn class and
(jig X 5.} is regarded as an element of H,,(V: V x). —
M><N—>(M><N,M><N-AIMHN)
1 ll
V><V
j (V><V,V>< V—A).
X
H,(M)®Hs(N)—*H,+x(M><N)-' ,+x(M><N,M><N—A]MflN)
l 1 lH(l)
Hr(V) ®Hs(V) §Hr+s(VX V) HG) Hr+s(VX V, VX V—A)-
[a X 1%, M] =
{a><fi,H‘<j>u1={H.<j)(a X /3), M
=
[H.(I>(<M >< c~>,u1= .§2m2>< c;;,H'<k>u1
=M -
N. I
Proof. By (30.6), 5 H a =
(—1)"‘a. Hence
[4, 0 U bl =
[U7asb]=(—1)"‘[<1sM'/B]=(—1)"‘[/3><CW3]
=<—1>*[a><m'1=<—1>xM-N. I
294 Products and Lefschetz Fixed Point Theorem
PI
P3
Exercise. Use (31.8) to calculate the cohomology rings of compact
surfaces, and P", CP", HP”.
Exercise. Let f 2 X ” Y" be a _map of closed manifolds with deg f k.
—’ =
Show kx(Y) [F, pf] where I‘ is defined in (30.22). Use (31.6) and (30.22)
=
that [1/M, TM] 1. In the case of the diagonal A C V>< V, we have ‘CA E ‘U, E
=
CVXV fl .U-M><1v =
9*(CM X (N) =
0! X .3-
Cvxv (7 M =
e*(€A) (30-15)-
Then writing (31.7) in this notation, we have
Before proving this, we first recall the main features of the spaces L(p, q)
and introduce the models to be used. Next we discuss the extension of (3 1 .7)
to these models. After this, the proof will be calculation.
Recall L(p, q) (E2 X S‘) U,,(E§ X S‘) where h is a homeomorphismof
=
8(E§ X S‘). The integers (p, q) are coprime. For models we form E2 X S‘
by identifying (x, 0) with (x, 1) in E2 X I. We write M 6E =
2 X {§} for the
circle whose image under h is the (p, q) torus knot. For suitable h, h(M ) is
represented by p helicial arcs on 8E2 X I with the top of the are displaced
from the bottom by rotation through 21rq/p radians.
Here is a picture for L(5, 2).
1 ,Q‘V
E?xI Egxl
We orient L(p, q) with the right hand orientation on each block E X I and
take h to be orientation reversing, and choose h to map M in the indicated
direction.
We have calculated the integral and mod p cohomology groups by Mayer-
Vietoris sequences (combine (21.28) and (23.28)). AbbreviatingL(p, q) to
L, the results are H"(L; Z/pl) % Z/pl, 0 S q S 3 and with integer
coefficients H 2 % Z, H2 % Z/pl, H1 0. For the mod p cohomology ring,
=
P=s1u,,e2.
The abstract pseudo—projective plane P may be visualized as a regular 1)-
sided polygon with identifications on the boundary. We embed P in L by
describing the pieces in the blocks E X 1. One piece is the disc E? X {§}
bounding M. The other piece consists of flanges from thep helicial arcs to the
core axis of E g X I. The pieces are pictured in figure 10. A Mayer—Vietoris
calculation shows the inclusion P L induces isomorphisms of H1, H2 with
—>
x; Z/pZ).
(Prove this and also see what happens when integer coefficients are used.)
Thus we can identify a generator of H2(P, P x) with an orientation and,
—
with mod p coefficients, pull this class back to H2(P; Z/pl). In figure 10 an
orientation of the preimage of P is indicated along with the corresponding
orientation of P in L. The orientation of P depends on the choice of h.
The key step in the proof of (31.7) is the factorizationof the map H(l) (in
the notation of (3 1 .7)). For this only local transversality is required. We shall
use the extension of (31.7) to the current situation without formal statement.
Next we look for a generator of H1 having transverse intersection withP.
The Mayer—Vietoris calculations shows the core axis of E 3 X I represents a
generator of H1 after identificationof its end points. The core axis is oriented
pre-image of P E, x I Ezx I
Figure 10.
298 Products and Lefschetz Fixed Point Theorem
null”
~Ig|in.1|
ll!
3. [7 X 17, ,u.’] =
—q where p.’ E H 3(L X L; Z/pl) is the restriction of the
Thom class and
4. [377 =
7 where ,B:H;,_ ->
H, is the Bockstein.
Proof Item 3 is proved in the preceding discussion. For item 4, consider
the short exact sequence of chain complexes
0 ~
S(L) <3 Z/pl 3 S(L) <22 Z/p2Z ~
S(L) <2: Z/pl ~ 0.
We can now complete the proof of (31.9). Let y E H ‘(L; Z/pZ) satisfy
[7, y] 1- Then [77, fly] [Bmyl hay] 1- Since ‘(I [7 X W, M]
= = = = = =
qzleiy U By] =
(—1)(-q) =
q
=
if since 4’ is the reduction of an integral class. Let x, x’ be the classes in
H1 ofL(p, q), L(p, q’) given by (31.8). Then H’ (f)x’ mx for some modp =
integer m. Calculating
iq' =
lic’, x’ u fix'l =
[4, H'(f)(x’ U fix’)]
=
mm: x U fix] =
mzq
where the equations hold in Z/pl. I
Note.Perhaps the most important examples are pairs of lens spaces which
are homotopy equivalent but not homeomorphic. For arbitrary spaces, such
examples are common place, but for closed manifolds the issue is much more
subtle. Recall thatthere are no such examples for n S 2, and the solution of
the generalized Poincaré conjecture asserts that a manifold of the homotopy
type of S is homeomorphic to S” for n 2 5 (see note (19.12)). The lens
”
0": rre1.(0,1)
m(X, X0), [0]
£1.
f =1;
ago
P"
X’
axe
WAX, xo)
6
A9"]
E0, E1, E2, . ..
(Po .Pq)
. .
R
S,,(X)
F2’ 0-0‘)
6
21 ~22
Zq(X)9 Bq(X):
302
H (X)
'
1 97 r
2 F) c 205 y/oz
li_m 11/1, 2 10 A
{K 215 s*(x), I“‘U
H 2 (X) 2 15 U ‘x
D 217 .11., pt’
ANR 225 pf
H " (A) 230
BIBLIOGRAPHY
BIBLIOGRAPHY
44 J. Munkres,
. Elementary Differential Topology, Princeton Univ.
Press, Princeton, N.J. (1963).
44a. S. P. Novikov, “New ideas in algebraic topology,” Russian Math.
Surveys, 20, 37-62 (1965). I
45. J. H. Poincare, Analysis situs, J. de l’Ecole Polytechnique, Paris
(1895).
46. D. Puppe, Topologie II, Bonn, 1960.
47. V. A. Rohlin, “New results in the theory of 4—dimensional manifolds,”
(Russian) Doklady 84, 221-224 (1952).
48. J. Schwartz, “De Rham’s theorem for arbitrary spaces,” Amer. J.
Math., 77, 29-44 (1955).
49. J.—P. Serre, Corps Locaux, Hermann, Paris (1962).
50. J.—P. Serre, Cohomologie Galoisienne, Springer, Berlin (1964).
51. S. Smale, “A survey of recent results in differential topology,” Bull.
Amer. Math. Soc., 69, 131-145 (1963).
5 la. S. Smale, “On the structure of 5—manifolds,” Ann. Math., 75, 38-46,
(1962).
52. E. Spanier, Algebraic Topology, McGraw—Hill (1966).
53. M. Spivak, Calculus on Manifolds, Benjamin, New York (1965).
54. G. Springer, Introduction to Riemann Surfaces, Addison—Wesley,
Reading, Massachusetts (1957). _
309
310 Index
H—space, 33 Pair, 71
Homogeneous, 115 Path, 6
Homologous, 47 Poincare homology sphere, 150
Homology module, 47, 53 Pointed topological space, 9
Homology sequence, 75 Polyhedron, 136
Homotopy, 7, 11, 73 Prism operator, 62
Homotopy equivalence, 13 Product orientation, 287
Homotopy groups, 34 Projective limit, 210
Hopf invariant, 204, 207, 274 Projective space, 25, 36, 114, 222, 243, 294
Proper map, 215
Independent points, 42 Properly discontinuous, 25
Index, 243
Induced homomorphism, 9, 48, 53 Quatemionic projective space, 116
Inductive limit, 209
Inside, 109 Rank, 128
Intersection number, 291 Reduced chain complex, 54
Invariance of domain, 1 10 Reduced homology, 48
Relative boundary, 71
Join, 85 Relative cohomology, 179
Join (of spaces), 104 Relative cup product, 206, 273
Relative cycle, 71
Klein bottle, 50, 104, 127, 172 Relative Eilenberg—Zilbertheorem, 273
Knot, 68, 108 Relative homeomorphism, 1 13
Kronecker product, 179 Relative homology, 70
Kunneth exact sequence, 255, 262 Relative Mayer—Vietoris sequence, 100, 105
Index 311