Professional Documents
Culture Documents
Victor Guillemin Multilinear Algebra and Differential Forms For Beginners Fall 2010 MIT Notes PDF
Victor Guillemin Multilinear Algebra and Differential Forms For Beginners Fall 2010 MIT Notes PDF
Contents
CHAPTER 1
Multilinear algebra
1.1 Background . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Quotient spaces and dual spaces . . . . . . . . . . . . . . . 4
1.3 Tensors . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.4 Alternating k-tensors . . . . . . . . . . . . . . . . . . . . . . 17
1.5 The space, k (V ) . . . . . . . . . . . . . . . . . . . . . . . 26
1.6 The wedge product . . . . . . . . . . . . . . . . . . . . . . . 31
1.7 The interior product . . . . . . . . . . . . . . . . . . . . . . 35
1.8 The pull-back operation on k . . . . . . . . . . . . . . . . 39
1.9 Orientations . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
CHAPTER 2
Differential forms
CHAPTER 3
Integration of forms
CHAPTER 4
Forms on Manifolds
CHAPTER 5
Cohomology via forms
CHAPTER B
The implicit function theorem
This is page 1
Printer: Opaque this
CHAPTER 1
MULTILINEAR ALGEBRA
1.1 Background
We will list below some definitions and theorems that are part of
the curriculum of a standard theory-based sophomore level course
in linear algebra. (Such a course is a prerequisite for reading these
notes.) A vector space is a set, V , the elements of which we will refer
to as vectors. It is equipped with two vector space operations:
Vector space addition. Given two vectors, v 1 and v2 , one can add
them to get a third vector, v1 + v2 .
Scalar multiplication. Given a vector, v, and a real number, , one
can multiply v by to get a vector, v.
These operations satisfy a number of standard rules: associativ-
ity, commutativity, distributive laws, etc. which we assume youre
familiar with. (See exercise 1 below.) In addition well assume youre
familiar with the following definitions and theorems.
1. The zero vector. This vector has the property that for every
vector, v, v + 0 = 0 + v = v and v = 0 if is the real number, zero.
(1.1.1) Rk V , (c1 , . . . , ck ) c1 v1 + + ck vk
is 1 1.
B :V V R
and
B(v, w) = B(v, w) .
B(v, w) = B(w, v) .
B(v, v) 0 .
B(w, v) = B(w, v)
and
B(w, v1 + v2 ) = B(w, v1 ) + B(w, v2 ) .
The items on the list above are just a few of the topics in linear al-
gebra that were assuming our readers are familiar with. Weve high-
lighted them because theyre easy to state. However, understanding
them requires a heavy dollop of that indefinable quality mathe-
matical sophistication, a quality which will be in heavy demand in
the next few sections of this chapter. We will also assume that our
readers are familiar with a number of more low-brow linear algebra
notions: matrix multiplication, row and column operations on matri-
ces, transposes of matrices, determinants of n n matrices, inverses
of matrices, Cramers rule, recipes for solving systems of linear equa-
tions, etc. (See 1.1 and 1.2 of Munkres book for a quick review of
this material.)
4 Chapter 1. Multilinear algebra
Exercises.
(a1 , . . . , an ) = (a1 , . . . , an ) .
(a) Commutativity: v + w = w + v.
(b) Associativity: u + (v + w) = (u + v) + w.
(c) For the zero vector, 0 = (0, . . . , 0), v + 0 = 0 + v.
(d) v + (1)v = 0.
(e) 1v = v.
(f) Associative law for scalar multiplication: (ab)v = a(bv).
(g) Distributive law for scalar addition: (a + b)v = av + bv.
(h) Distributive law for vector addition: a(v + w) = av + aw.
is an inner product.
v = c 1 e1 + + c n en ci R .
Let
(1.2.5) ei (v) = ci .
ei (v + v 0 ) = ci + c0i = ei (v) + ei (v 0 ) .
Claim: ei , i = 1, . . . , n is a basis of V .
A : W V
A (`1 + `2 ) = A `1 + A `2
and that
A ` = A ` ,
i.e., that A is linear.
Proof. Let
X
A fi = cj,i ej .
Then X
A fi (ej ) = ck,i ek (ej ) = cj,i
k
so ai,j = cj,i .
8 Chapter 1. Multilinear algebra
Exercises.
(a) Show that the W -cosets are the lines, x 2 = a, parallel to the
x1 -axis.
(b) Show that the sum of the cosets, x 2 = a and x2 = b is the
coset x2 = a + b.
(c) Show that the scalar multiple of the coset, x 2 = c by the
number, , is the coset, x2 = c.
W = {` V , `(w) = 0 if w W } .
: (V ) (W )
: V (W ) .
Show that this map is onto and that its kernel is W . Conclude from
exercise 8 that there is a natural bijective linear map
: V /W (W )
Ker A = (Im A)
and
Im A = (Ker A) .
10 Chapter 1. Multilinear algebra
Show that
X
1 j=k
(1.2.12) ai,j ai,k =
6 k
0 j=
(c) Let A be the matrix [ai,j ]. Show that (1.2.12) can be written
more compactly as the matrix identity
(1.2.13) AAt = I
where I is the identity matrix.
1.2 Quotient spaces and dual spaces 11
1.3 Tensors
T :Vk R
is said to be linear in its ith variable if, when we fix vectors, v1 , . . . , vi1 ,
vi+1 , . . . , vk , the map
Exercise.
Then for v = c1 e1 + cn en
X
T (v1 , . . . , vn1 , v) = ci Ti (v1 , . . . , vn1 ) ,
and that the left and right distributive laws are valid: For k 1 = k2 ,
(1.3.6) (T1 + T2 ) T3 = T1 T3 + T2 T3
14 Chapter 1. Multilinear algebra
and for k2 = k3
(1.3.7) T1 (T2 + T3 ) = T1 T2 + T1 T3 .
A particularly interesting tensor product is the following. For i =
1, . . . , k let `i V and let
(1.3.8) T = ` 1 `k .
Thus, by definition,
(1.3.9) T (v1 , . . . , vk ) = `1 (v1 ) . . . `k (vk ) .
A tensor of the form (1.3.9) is called a decomposable k-tensor. These
tensors, as we will see, play an important role in what follows. In
particular, let e1 , . . . , en be a basis of V and e1 , . . . , en the dual basis
of V . For every multi-index, I, of length k let
eI = ei1 eik .
Then if J is another multi-index of length k,
1, I = J
(1.3.10) eI (ej1 , . . . , ejk ) =
0 , I 6= J
by (1.2.6), (1.3.8) and (1.3.9). From (1.3.10) its easy to conclude
Theorem 1.3.2. The eI s are a basis of Lk (V ).
Proof. Given T Lk (V ), let
X
T0 = TI eI
where the TI s are defined by (1.3.2). Then
X
(1.3.11) T 0 (ej1 , . . . , ejk ) = TI eI (ej1 , . . . , ejk ) = TJ
by (1.3.10); however, by Proposition 1.3.1 the T J s determine T , so
T 0 = T . This proves that the eI s are a spanning set of vectors for
Lk (V ). To prove theyre a basis, suppose
X
CI eI = 0
for constants, CI R. Then by (1.3.11) with T 0 = 0, CJ = 0, so the
eI s are linearly independent.
A T : V k R
to be the function
Its clear from the linearity of A that this function is linear in its
ith variable for all i, and hence is k-tensor. We will call A T the
pull-back of T by the map, A.
Proposition 1.3.3. The map
(1.3.13) A : Lk (W ) Lk (V ) , T A T ,
is a linear mapping.
We leave this as an exercise. We also leave as an exercise the
identity
(1.3.14) A (T1 T2 ) = A T1 A T2
(1.3.15) (AB) T = B (A T )
for all T Lk (W ).
Exercises.
3. Verify (1.3.14).
4. Verify (1.3.15).
16 Chapter 1. Multilinear algebra
A (`1 `k ) = A `1 A `k .
Now compare (`1 `2 )(v1 , v2 ) and (`2 `1 )(v1 , v2 ).) Conclude that if
dim V 2 the tensor product operation isnt commutative, i.e., its
usually not true that `1 `2 = `2 `1 .
Permutations
P
Let k be the k-element Pset: {1,P 2, . . . , k}. A permutation of order k
is a bijective map, : k k . Given two permutations, 1 and
2 , their product, 1 2 , is the composition of 1 and 2 , i.e., the map,
i 1 (2 (i)) ,
Check:
(i) = j
(1.4.1) (j) = i
(`) = ` , ` 6= i, j .
= ik (ik )
(1.4.3) (1) = 1 .
1.4 Alternating k-tensors 19
Claim:
For , Sk
Proof. By definition,
Y x (i) x (j)
(1) = .
xi x j
i<j
and
Y x (i) x (j)
(1.4.6)
x (i) x (j)
i<j
For i < j, let p = (i) and q = (j) when (i) < (j) and let p = (j)
and q = (i) when (j) < (i). Then
(i.e., if (i) < (j), the numerator and denominator on the right
equal the numerator and denominator on the left and, if (j) < (i)
are negatives of the numerator and denominator on the left). Thus
(1.4.6) becomes
Y x(p) x(q)
= (1) .
p<q
x p x q
Alternation
3. T = (T ) .
(`1 `k ) (v1 , . . . , vk )
= `1 (v1 (1) ) `k (v1 (k) ) .
Setting 1 (i) = q, the ith term in this product is `(q) (vq ); so the
product can be rewritten as
or
(`(1) `(k) )(v1 , . . . , vk ) .
The proof of 2 well leave as an exercise.
We claim
Proposition 1.4.6. For T Lk (V ) and Sk ,
1. (Alt T ) = (1) Alt T
2. if T Ak (V ) , Alt T = k!T .
3. Alt T = (Alt T )
4. the map
Alt : Lk (V ) Lk (V ) , T Alt (T )
is linear.
Proof. To prove 1 we note that by Proposition (1.4.4):
X
(Alt T ) = (1) (T )
X
= (1) (1) T .
But as runs over Sk , runs over Sk , and hence the right hand
side is (1) Alt (T ).
Proof of 2. If T Ak
X
Alt T = (1) T
X
= (1) (1) T
= k! T .
Proof of 3.
X X
Alt T = (1) T = (1) (1) T
= (1) Alt T = (Alt T ) .
22 Chapter 1. Multilinear algebra
eI = ei1 eik
and
I = Alt (eI ) .
Proposition 1.4.8. 1. I = (1) I .
2. If I is repeating, I = 0.
I = I r = (1) I = I .
1.4 Alternating k-tensors 23
Proof of 3: By definition
X
I (ej1 , . . . , ejk ) = (1) eI (ej1 , . . . , ejk ) .
But by (1.3.10)
1 if I = J
(1.4.9) eI (ej1 , . . . , ejk ) = .
0 if I 6= J
Since
k!T = Alt (T )
1 X X
T = aJ Alt (eJ ) = bJ J .
k!
We can discard all repeating terms in this sum since they are zero;
and for every non-repeating term, J, we can write J = I , where I
is strictly increasing, and hence J = (1) I .
Conclusion:
Claim.
I = (i1 , . . . , ik )
I = 0
(1.4.13) Ak = {0} .
Exercises.
(i) = i + 1 , i = 1, . . . , k 1
I 1 (V ) = {0} .
(1.5.1) T = (1) T + S
where S is in I k .
1.5 The space, k (V ) 27
Corollary. If T Lk , the
(1.5.2) Alt (T ) = k!T + W ,
where W is in I k .
P
Proof. By definition Alt (T ) = (1) T , and by Proposition 1.5.4,
T = (1) T + W , with W I k . Thus
X X
Alt (T ) = (1) (1) T + (1) W
= k!T + W
P
where W = (1) W .
28 Chapter 1. Multilinear algebra
with W I k .
1
T2 = k! W.
so T1 = 0, and hence T2 = 0.
Let
(1.5.3) k (V ) = Lk (V )/I k (V ) ,
(1.5.4) : L k k , T T + Ik
Exercises.
1 and by the author of these notes in his book with Alan Pollack, Differential Topol-
ogy
30 Chapter 1. Multilinear algebra
: k Ak
(i1 , . . . , in ) (i1 + 0, i2 + 1, . . . , ik + k 1)
Claim.
This wedge product is well defined, i.e., doesnt depend on our choices
of T1 and T2 .
(T10 T2 ) = (T1 T2 ) .
(1.6.2) 1 2 3 = (1 2 ) 3 = 1 (2 3 ).
32 Chapter 1. Multilinear algebra
(1.6.3) (1 2 ) = (1 ) 2 = 1 (2 )
(1.6.4) (1 + 2 ) 3 = 1 3 + 2 3
and
(1.6.5) 1 (2 + 3 ) = 1 2 + 1 3 .
(1.6.6) 1 (V ) = V = L1 (V ).
(1.6.7) `1 `k = (T ) k (V ) .
(1.6.9) (T ) = (1) (T ) .
(1.6.10) `1 `2 = `2 `1
1.6 The wedge product 33
(1.6.11) `1 `2 `3 = `2 `1 `3 = `2 `3 `1 .
More generally, its easy to deduce from (1.6.8) the following result
(which well leave as an exercise).
Theorem 1.6.1. If 1 r and 2 s then
(1.6.12) 1 2 = (1)rs 2 1 .
Exercises:
= e 1 f1 + + e k fk
k = k!e1 f1 ek fk .
(1.7.2) v T = v1 T + v2 T ,
and if T = T1 + T2
(1.7.3) v T = v T1 + v T2 ,
and we will leave for you to verify by inspection the following two
lemmas:
Lemma 1.7.1. If T is the decomposable k-tensor ` 1 `k then
X
(1.7.4) v T = (1)r1 `r (v)`1 br `k
where the cap over `r means that its deleted from the tensor prod-
uct ,
and
Lemma 1.7.2. If T1 Lp and T2 Lq
(1.7.6) v (v T ) = 0 .
v (`1 `k ) = v (T `)
= v T ` + (1)k1 `(v)T
by (1.7.5). Hence
But by induction the first summand on the right is zero and the two
remaining summands cancel each other out.
(1.7.7) v1 v2 = v2 v1 .
0 = v v = (v1 + v2 )(v1 + v2 )
= v1 v1 + v1 v2 + v2 v1 + v2 v2
= v1 v2 + v2 v1
v T = v T1 ` ` T 2
+(1)p T1 v (` `) T2
+(1)p+2 T1 ` ` v T2 .
1.7 The interior product 37
However, the first and the third terms on the right are redundant
and
v (` `) = `(v)` `(v)`
by (1.7.4).
(1.7.8) v = (v T ) .
(1.7.12) v1 v2 = v2 v1 .
Exercises:
(1.7.15) : V n1 , v v ,
V V V
by setting
e1 e 2 = e 3
(1.7.17) e2 e 3 = e 1
e3 e 1 = e 2 .
A T = A `1 A `k
(1.8.2) A = (A T ) .
Claim:
(A T 0 ) = (A T ) .
A : k (W ) k (V ) ,
(i) If i ki (W ), i = 1, 2, then
(1.8.3) A (1 2 ) = A 1 A 2 .
(1.8.4) B A = (AB) .
A : n (V ) n (V ) ,
(1.8.5) A = det(A)
(AB) = det(AB)
= B (A ) = det(B)A
= det(B) det(A) ,
A = B IW
is in n (W ) it is zero.
and since IW
A (f1 fn ) = A f1 A fn
X
= (a1,k1 ek1 ) (an,kn ekn )
ki = (i) i = 1, . . . , n
But
(e1 en ) = (1) e1 en
so we get finally the formula
where
X
(1.8.8) det[ai,j ] = (1) a1,(1) an,(n)
summed over Sn . The sum on the right is (as most of you know)
the determinant of [ai,j ].
Notice that if V = W and ei = fi , i = 1, . . . , n, then = e1
en = f1 fn , hence by (1.8.5) and (1.8.7),
Exercises.
1.9 Orientations
L1 = {v > 0}
and
L2 = {v, < 0} .
Then by (1.7.7)
f1 fn = det[ai,j ]e1 en
so we conclude:
Proposition 1.9.2. If e1 , . . . , en is positively oriented, then f1 , . . . , fn
is positively oriented if and only if det[a i,j ] is positive.
Corollary 1.9.3. If e1 , . . . , en is a positively oriented basis of V , the
basis: e1 , . . . , ei1 , ei , ei+1 , . . . , en is negatively oriented.
Now let V be a vector space of dimension n > 1 and W a sub-
space of dimension k < n. We will use the result above to prove the
following important theorem.
Theorem 1.9.4. Given orientations on V and V /W , one gets from
these orientations a natural orientation on W .
Remark What we mean by natural will be explained in the course
of the proof.
Exercises.
8. A key step in the proof of Theorem 1.9.4 was the assertion that
the matrix A expressing the vectors, e i , as linear combinations of the
vectors, fi , had to have the form (1.9.2). Why is this the case?
B : V /W V /W
with property
A = B ,
being the projection of V onto V /W .
(b) Assume that V , W and V /W are compatibly oriented. Show
that if A is orientation-preserving and its restriction to W is orien-
tation preserving then B is orientation preserving.
vol = e1 en n (V )
and bi,j = B(vi , vj ), the matrices A = [ai,j ] and B = [bi,j ] are related
by: B = A+ A.
(b) Show that if is the volume form, e 1 en , and A is orien-
tation preserving
1
A = (det B) 2 .
n (V )
= An (V ) .
CHAPTER 2
DIFFERENTIAL FORMS
The identification
(2.1.2) T p Rn R n , (p, v) v
(p, v) = (p, v) .
Df (p) : Rn Rm
50 Chapter 2. Differential forms
dfp : Tp Rn Tq Rm
to be the map
Its clear from the way weve defined vector space structures on T p Rn
and Tq Rm that this map is linear.
Suppose that the image of f is contained in an open set, V , and
suppose g : V Rk is a C 1 map. Then the base-pointed version
of the chain rule asserts that
(2.1.5) p Rn (p, v)
is a vector field. Vector fields of this type are constant vector fields.
p U f (p)v(p) .
Exercise.
(2.1.9) Lv (f1 f2 ) = f1 Lv f2 + f1 Lv f2 .
is an integral curve.
Theorem 2.1.5 (Smooth dependence on initial data). Let v be a
C -vector field, on an open subset, V , of U , I R an open interval,
a I a point on this interval and h : V I U a mapping with the
properties:
(i) h(p, a) = p.
p : I U p (t) = h(p, t)
is an integral curve of v.
Then the mapping, h, is C .
2.1 Vector fields and one-forms 53
(2.1.11) c : Ic U , c (t) = (t + c)
is an integral curve.
We recall that a C 1 -function : U R is an integral of the system
(2.1.11) if for every integral curve (t), the function t ((t)) is
constant. This is true if and only if for all t and p = (t)
d d
0 = ((t)) = (D)p = (D)p (v)
dt dt
where (p, v) = v(p). But by (2.1.6) the term on the right is L v (p).
Hence we conclude
Theorem 2.1.7. C 1 (U ) is an integral of the system (2.1.11) if
and only if Lv = 0.
Well now discuss a class of objects which are in some sense dual
objects to vector fields. For each p R n let (Tp R) be the dual vec-
tor space to Tp Rn , i.e., the space of all linear mappings, ` : T p Rn
R.
Definition 2.1.8. Let U be an open subset of R n . A one-form on U
is a function, , which assigns to each point, p, of U a vector, p ,
in (Tp Rn ) .
Some examples:
(2.1.12) dfp : Tp Rn Tc R
Tc R = {c, R} = R
54 Chapter 2. Differential forms
Exercise.
: [0, b) U ,
i. b = +
or
ii. |(t)| + as t b
or
{(t) , 0 t, b}
Hence if we can exclude ii. and iii. well have shown that an integral
curve with (0) = p exists for all positive time. A simple criterion
for excluding ii. and iii. is the following.
56 Chapter 2. Differential forms
Lemma 2.1.9. The scenarios ii. and iii. cant happen if there exists
a proper C 1 -function, : U R with Lv = 0.
Example.
Let U = R2 and let v be the vector field
v = x3 y .
y x
supp v = q U , v(q) 6= 0} ,
d
0 (t) = 0 = v(p) ,
dt
so it is an integral curve of v. Hence if (t), a < t < b, is any
integral curve of v with the property, (t 0 ) = p, for some t0 , it has
to coincide with 0 on the interval, a < t < a, and hence has to be
the constant curve, (t) = p, on this interval.
Now suppose the support, A, of v is compact. Then either (t) is
in A for all t or is in U A for some t0 . But if this happens, and
2.1 Vector fields and one-forms 57
ft : U U
(2.1.19) ft fa = ft+a .
Writing
n
X
v = vi , vi C k (U )
xi
i=1
and
m
X
w = wj , wj C k (V )
yj
j=1
: I U1
(2.1.23) f L v2 = L v1 f .
(To see this note that if f (p) = q then at the point p the right hand
side is
(d)q dfp (v1 (p))
by the chain rule and by definition the left hand side is
dq (v2 (q)) .
Moreover, by definition
(2.1.24) (q) : Tq Rm R
dfp : Tp Rn Tq Rn
q dfp : Tp Rn R ,
q dfp = dq dfp = d( f )p
i.e.,
(2.1.25) f = d f .
Exercises.
(2.1.250 ) f d = df .
t R (r cos(t + ) , r sin(t + ))
is the unique integral curve of v passing through the point, (r cos , r sin ),
at t = 0.
62 Chapter 2. Differential forms
P
(b) Let U = Rn and let v be the constant vector field: ci /xi .
Show that the curve
t R a + t(c1 , . . . , cn )
(a) ft : R R , ft (x) = x + t
(b) ft : R R , ft (x) = et x
(c) f t : R2 R2 , ft (x, y) = (cos t x sin t y , sin t x + cos t y)
t2 2 t3 3
exp tA = I + tA + A + A +
2! 3!
converges and defines a one-parameter group of diffeomorphisms of
Rn .
a
x(t) =
a at
2.1 Vector fields and one-forms 63
for all C (U ).
9. The vector field w in exercise 8 is called the Lie bracket of
the vector fields v1 and v2 and is denoted [v1 , v2 ]. Verify that Lie
bracket satisfies the identities
[v1 , v2 ] = [v2 , v1 ]
and
[v1 [v2 , v3 ]] + [v2 , [v3 , v1 ]] + [v3 , [v1 , v2 ]] = 0 .
Hint: Prove analogous identities for L v1 , Lv2 and Lv3 .
P
10. Let v1 = /xi and v2 = gj /xj . Show that
X
[v1 , v2 ] = gi .
xi xj
f w = (f1 w) .
f Lw = L f w f .
Hint: (2.1.26).
64 Chapter 2. Differential forms
ft : U U , < t < .
L[v,w] = Lw
where
d
w = f w |t=0 .
dt t
Hint: Differentiate the identity
ft Lw = Lwt ft
Lw + Lw (Lv ) .
16. Let
x1 dx2 x2 dx1
= 1 (R2 {0}) ,
x21 + x22
and let : [0, 2] R2 R{0} be the closed curve, t (cos t, sin t).
Compute the line integral, , and show that its not zero. Conclude
that cant be d of a function, f C (R2 {0}).
2.2 k-forms
(2.2.1) k (Tp Rn ) , k = 1, 2, 3, . . . , n
(2.2.2) 1 (Tp Rn ) = Tp Rn
Example 1.
66 Chapter 2. Differential forms
Example 2.
Let fi , i = 1, . . . , k be a real-valued C function on U . Letting
i = dfi we get from (2.2.3) a k-form
(2.2.4) df1 dfk
whose value at p is the wedge product
(2.2.5) (df1 )p (dfk )p .
Since (dx1 )p , . . . , (dxn )p are a basis of Tp Rn , the wedge products
(2.2.6) (dxi1 )p (dx1k )p , 1 i1 < < i k n
are a basis of k (Tp ). To keep our multi-index notation from getting
out of hand, well denote these basis vectors by (dx I )p , where I =
(i1 , . . . , ik ) and the Is range over multi-indices of length k which
are strictly increasing. Since these wedge products are a basis of
k (Tp Rn ) every element of k (Tp Rn ) can be written uniquely as a
sum X
cI (dxI )p , cI R
and every k-form, , on U can be written uniquely as a sum
X
(2.2.7) = fI dxI
where dxI is the k-form, dxi1 dxik , and fI is a real-valued
function,
fI : U R .
Definition 2.2.2. The k-form (2.2.7) is of class C r if each of the
fI s is in C r (U ).
Henceforth well assume, unless otherwise stated, that all the k-
forms we consider are of class C , and well denote the space of
these k-forms by k (U ).
We will conclude this section by discussing a few simple operations
on k-forms.
2.2 k-forms 67
2. Given i k (U ), i = 1, 2 we define 1 + 2 k (U ) to be
the k-form
p U (1 )p + (2 )p k (Tp Rn ) .
(Notice that this sum makes sense since each summand is in k (Tp Rn ).)
Exercises.
(a) 1 2 .
(b) 2 3 .
(c) 3 1 .
(d) 1 2 3 .
= dx1 dxn .
j1 i 1 , . . . , j k i k .
(2.3.1) d : k (U ) k+1 (U ) .
(2.3.3) d(d) = 0 .
(2.3.4) d(df ) = 0
as claimed.)
70 Chapter 2. Differential forms
Hence (2.3.7) implies (2.3.6) for all multi-indices I. The same argu-
ment shows that for any sum over indices, I, for length k
X
fI dxI
(As above we can ignore the repeating Is, since for these Is, dx I =
0, and by (2.3.8) we can make the non-repeating Is strictly increas-
ing.)
Suppose now that 1 k (U ) and 2 ` (U ). Writing
X
1 = fI dxI
and
X
2 = gJ dxJ
2.3 Exterior differentiation 71
or
X X X
dfI dxI gJ dxJ + (1)k dgJ dxJ ,
or finally:
d1 2 + (1)k 1 d2 .
Thus the d defined by (2.3.7)
P has Property II. Lets now check that
it has P
Property III. If =
fI dxI , fI C (U ), then by definition,
d = dfI dxI and by (2.3.6) and (2.3.2)
X
d(d) = d(dfI ) dxI ,
so by (2.3.7)
n
X
f
d(df ) = d dxj
xj
j=1
n n
!
X X 2f
= dxi dxj
xi xj
j=1 i=1
X 2f
= dxi dxj .
xi xj
i,j
2f 2f
=
xi xj xj xi
so the (i, j) term cancels the (j, i) term, and the total sum is zero.
Exercises:
much sense for zero forms since there arent any 1 forms. However, if f C (U )
and df = 0 then f is constant on connected components of U . (See 2.1, exercise 2.)
2.3 Exterior differentiation 73
(2.3.13) = dt +
d X d
= fI (x, t) dxI
dt dt
and !
n
X X
dU = fI (x, t) dxi dxI .
xi
I i=1
Show that
d
d = dt + dU .
dt
(c) Let be the form (2.3.13). Show that
d
d = dt dU + dt + dU
dt
and conclude that is closed if and only if
d
(2.3.14) = dU
dt
dU = 0.
d
(2.3.15) = .
dt
P P
Hint: Let = fI (x, t) dxI and = gI (x, t) dxI . The equa-
tion (2.3.15) reduces to the system of equations
d
(2.3.16) gI (x, t) = fI (x, t) .
dt
Let c be a point on the interval, A, and using freshman calculus show
that (2.3.16) has a unique solution, g I (x, t), with gI (x, c) = 0.
2.4 The interior product operation 75
(2.3.17) d
is reduced.
(f) Let X
= hI (x, t) dx)I
be a reduced k-form. Deduce from (2.3.14) that if is closed then
d
= 0 and dU = 0. Conclude that hI (x, t) = hI (x) and that
dt
X
= hI (x) dxI
(2.4.1) (v(p))(p) .
linear in v:
(2.4.6) (v)((v)) = 0 .
(2.4.7) = 1 k ,
then
k
X
(2.4.8) (v) = (1)r1 ((v)r )1
br k .
r=1
We will also leave for you to prove the following two assertions, both
of which are special cases of (2.4.8). If v = /x r and = dxI =
dxi1 dxik then
k
X
(2.4.9) (v) = (1)r iir dxIr
r=1
where
(
1 i = ir
iir = .
0, i 6= ir
2.4 The interior product operation 77
P
and Ir = (i1 , . . . , bir , . . . , ik ) and if v = fi /xi and = dx1
dxn then
X
(2.4.10) (v) = b r dxn .
(1)r1 fr dx1 dx
(2.4.12) dLv = Lv d
(2.4.13) Lv ( ) = Lv + Lv
By (2.4.13)
k
X
Lv dxI = dxi1 Lv dxir dxik ,
r=1
and by (2.4.12)
Lv dxir = dLv xir
78 Chapter 2. Differential forms
L v x ir = g ir
and
X fI
Lv fI = gi .
xi
We will leave the verification of (2.4.12) and (2.4.13) as exercises,
and also ask you to prove (by the method of computation that weve
just sketched) the divergence formula
X gi
(2.4.14) Lv (dx1 dxn ) = dx1 dxn .
xi
Exercises:
2. Show that if is the k-form, dxI and v the vector field, /xr ,
then (v) is given by (2.4.9).
3. P that if is the n-form, dx1 dxn , and v the vector
Show
field, fi /xi , (v) is given by (2.4.10).
dLv = Lv d
and
v Lv = L v v .
Hint: Deduce the first of these identities from the identity d(d) = 0
and the second from the identity (v)((v)) = 0 .)
5. Given i ki (U ), i = 1, 2, show that
Lv (1 2 ) = Lv 1 2 + 1 Lv 2 .
f (1 + 2 ) = f 1 + f 2 .
In other words
(2.5.7) f 1 2 = f 1 f 2 .
Thus if is in k (W )
(2.5.8) f (g ) = (g f ) .
so
d dxI = f dxi f dxik
by (2.5.7), and by (2.5.6)
f dxi = df xi = dfi
(2.5.12) d f = f d .
= f d .
2.5 The pull-back operation on forms 83
In other words
fi
(2.5.13) f dx1 dxn = det dx1 dxn .
xj
f1 : U U , f (p) = p ,
84 Chapter 2. Differential forms
f0 : U U , f0 (p) = p0 .
From the theorem above its easy to see that the Poincare lemma
holds for contractable open subsets of R n . If U is contractable every
closed k-form on U of degree k > 0 is exact. (Proof: Let be such a
form. Then for the identity map f0 = and for the constant map,
f0 = 0.)
Exercises.
(a) = x2 dx3
(b) = x1 dx1 dx3
(c) = x1 dx1 dx2 dx3
(i.e., none of the summands involve dt). For a reduced form, , let
Q ` (U ) be the form
X Z 1
(2.5.15) Q = fI (x, t) dt dxI
0
(2.5.18) = dt +
(a) Prove
Theorem 2.5.4. If the form (2.5.18) is closed then
(2.5.19) 0 1 = dQ .
(2.5.20) 0 1 = dQ .
(2.5.21) f0 f1 = dQ
{x Rn , kxk < 1} .
U 1 U 2 R n = R n1 R n2
d
(2.5.22) f = Lv .
dt t
Here is a sketch of a proof:
2.5 The pull-back operation on forms 87
(a) Let (t) be the curve, (t) = ft (p), and let be a zero-form,
i.e., an element of C (U ). Show that
ft (p) = ((t))
and by differentiating this identity at t = 0 conclude that (2.4.40)
holds for zero-forms.
(b) Show that if (2.4.40) holds for it holds for d. Hint: Differ-
entiate the identity
ft d = dft
at t = 0.
(c) Show that if (2.4.40) holds for 1 and 2 it holds for 1 2 .
Hint: Differentiate the identity
ft (1 2 ) = ft 1 ft 2
at t = 0.
(d) Deduce (2.4.40) from a, b and c. Hint: Every k-form is a sum
of wedge products of zero-forms and exact one-forms.
(2.5.26) Qt = ft (v) .
Hint: Formula (2.4.11).
88 Chapter 2. Differential forms
(b) Let
Z 1
Q = ft (v) dt .
0
(2.5.27) f1 f0 = dQ + Q d .
(v)f = f (w) .
the operations (2.6.1), and from the point of view of general covari-
ance, this formulation is much more satisfactory: the only symmetries
of R3 which preserve div and curl are translations and rotations,
whereas the operations (2.6.1) admit all diffeomorphisms of R 3 as
symmetries.
To describe how grad, div and curl are related to the opera-
tions (2.6.1) we first note that there are two ways of converting vector
fields into P
forms. The first makes use of the natural inner product,
B(v, w) = vi wi , on Rn . From this inner product one gets by 1.2,
exercise 9 a bijective linear map:
(2.6.2) L : Rn (Rn )
with the defining property: L(v) = ` `(w) = B(v, w). Via the
identification (2.1.2) B and L can be transferred to T p Rn , giving one
an inner product, Bp , on Tp Rn and a bijective linear map
(2.6.3) Lp : Tp Rn Tp Rn .
The second way of converting vector fields into forms is via the
interior product operation. Namely let be the n-form, dx 1
dxn . Given an open subset, U of Rn and a C vector field,
X
(2.6.8) v= fi
xi
on U the interior product of v with is the (n 1)-form
X
(2.6.9) (v) = b r dxn .
(1)r1 fr dx1 dx
(2.6.10) v d(v) .
Moreover, by (2.4.11)
d(v) = Lv
and by (2.4.14)
Lv = div(v)
where
n
X fi
(2.6.11) div(v) = .
xi
i=1
for some vector field w, and the left-hand side of this formula de-
termines w uniquely. Now let U be an open subset of R 3 and v a
2.6 Div, curl and grad 91
(2.6.14) curl v = w ,
(2.6.16) curl v = g1 + g2 + g3
x1 x2 x3
where
f2 f3
g1 =
x3 x2
f3 f1
(2.6.17) g2 =
x1 x3
f1 f2
g3 = .
x2 x1
To summarize: the grad, curl and div operations in 3-dimensions
are basically just the three operations (2.6.1). The grad operation
is the operation (2.6.1) in degree zero, curl is the operation (2.6.1)
in degree one and div is the operation (2.6.1) in degree two. How-
ever, to define grad we had to assign an inner product, B p , to the
next tangent space, Tp Rn , for each p in U ; to define div we had to
equip U with the 3-form, , and to define curl, the most compli-
cated of these three operations, we needed the B p s and . This is
why diffeomorphisms preserve the three operations (2.6.1) but dont
preserve grad, curl and div. The additional structures which one
needs to define grad, curl and div are only preserved by translations
and rotations.
92 Chapter 2. Differential forms
(2.6.18) div vE = q
(2.6.19) curl vE = vM
t
(2.6.20) div vM = 0
(2.6.21) c2 curl vM = w+ vE
t
where vE and vM are the electric and magnetic fields, q is the scalar
charge density, w is the current density and c is the velocity of light.
(To simplify (2.6.25) slightly well assume that our units of space
time are chosen so that c = 1.) As above let = dx 1 dx2 dx3
and let
(2.6.22) E = (vE )
and
(2.6.23) M = (vM ) .
(2.6.180 ) dE = q
and
(2.6.200 ) dM = 0 .
where the 1-forms, v]E and v]M , are obtained from vE and vM by
the operation, (2.6.4).
These equations can be written more compactly as differential
form identities in 3 + 1 dimensions. Let M and E be the 2-forms
(2.6.24) M = M v]E dt
and
(2.6.25) E = E v]M dt
(2.6.26) = q + (w) dt .
We will leave for you to show that the four equations (2.6.18)
(2.6.21) are equivalent to two elegant and compact (3+1)-dimensional
identities
(2.6.27) dM = 0
and
(2.6.28) dE = .
Exercises.
(See 1.6, exercise 5.) Hence since these are exactly n! non-repeating
multi-indices
i.e.,
1 n
(2.7.4) =
n!
where
(2.7.7) ft = .
Lets see what such vector fields have to look like. Note that by
(2.5.23)
d
(2.7.8) f = ft Lv ,
dt t
hence if ft = for all t, the left hand side of (2.7.8) is zero, so
ft Lv = 0 .
Lv = d(v) + (v) d .
96 Chapter 2. Differential forms
But by (2.7.2) d = 0 so
Lv = d(v) .
(2.7.9) (v) = dH
But
(
1 i=i
dxj =
xi 0 i 6= j
and
dyj = 0
xi
Thus since
X H H
dH = dxi + dyi
xi yi
we get from (2.7.9)(2.7.11)
H H
(2.7.12) fi = and gi =
yi xi
so v has the form:
X H H
(2.7.13) v= .
yi xi xi yi
In particular if (t) = (x(t) , y(t)) is an integral curve of v it has
to satisfy the system of differential equations
dxi H
(2.7.14) = (x(t) , y(t))
dt yi
dyi H
= (x(t) , y(t)) .
dt xi
The formulas (2.7.10) and (2.7.11) exhibit an important property of
the Darboux form, . Every one-form on U can be written uniquely
as a sum X
fi dyi gi dxi
with fi and gi in C (U ) and hence (2.7.10) and (2.7.11) imply
Theorem 2.7.3. The map, v (v), sets up a one-one correspon-
dence between vector field and one-forms.
In particular for every C function, H, we get by correspondence
a unique vector field, v = vH , with the property (2.7.9).
We next note that by (1.7.6)
Lv H = (v) dH = (v)((v)) = 0 .
Thus
(2.7.15) Lv H = 0
98 Chapter 2. Differential forms
(2.7.16) ft =
The first set of equation are essentially just the definitions of mo-
menta, however, if we plug them into the second set of equations we
get
d2 xi V
(2.7.20) mi 2
=
dt xi
and interpreting the term on the right as the force exerted on the i th
point-mass and the term on the left as mass times acceleration this
equation becomes Newtons second law.
Exercises.
n
X H1 H2 H2 H1
(2.7.23) H= .
xi yi xi yi
i=1
{H1 , H2 } = {H2 , H1 }
2.7 Symplectic geometry and classical mechanics 101
6. Show that
(a) {H1 , H2 } = 0.
(b) H1 is an integral of motion of v2 .
(c) H2 is an integral of motion of v1 .
Tt (x1 , . . . , xn ) = (x1 + t, . . . , xn + t) .
(a) Show that the function (2.7.18) is invariant under the group of
diffeomorphisms
t (x, y) = (Tt x, y) .
10. Let Rti : R2n R2n be the rotation which fixes the variables,
(xk , yk ), k 6= i and rotates (xi , yi ) by the angle, t:
H
(c) Conclude that if Hr = yr then Hr has to satisfy the equation
n
X
yi Hr = 0 .
yi
i=1
(d) Conclude that Hr has to be constant along the rays (x, ty),
0 t < .
(e) Conclude finally that Hr has to be a function of x alone, i.e., doesnt
depend on y.
CHAPTER 3
INTEGRATION OF FORMS
3.1 Introduction
Z
(y) dy
V
Z
f (x)| det Df (x)| dx
U
exists, and if these integrals exist they are equal. Proofs of this can
be found in [?], [?] or [?]. This chapter contains an alternative proof
of this result. This proof is due to Peter Lax. Our version of his
proof in 3.5 below makes use of the theory of differential forms;
but, as Lax shows in the article [?] (which we strongly recommend as
collateral reading for this course), references to differential forms can
be avoided, and the proof described in3.5 can be couched entirely
in the language of elementary multivariable calculus.
The virtue of Laxs proof is that is allows one to prove a version
of the change of variables theorem for other mappings besides dif-
feomorphisms, and involves a topological invariant, the degree of a
mapping, which is itself quite interesting. Some properties of this in-
variant, and some topological applications of the change of variables
formula will be discussed in 3.6 of these notes.
[a1 , b1 ] [an , bn ] .
(the hat over the dxi meaning that dxi has to be omitted from the
wedge product). Then
n
X fi
d = (1)i1 dx1 . . . dxn ,
xi
i=1
Then Z Z Z
= f (x, t) dx dt =
Rn1 Rn Rn
108 Chapter 3. Integration of forms
by (3.2.1). Thus
Z
(3.2.2) u(x, t) dt = 0 .
= d( + ) .
Since and are both in cn1 (U A) this proves that is in
d cn1 (U A) and hence that U A has property P .
is compactly supported.
f
(x, y) , i = 1, . . . , k ,
xi
is of class C 1 and
Z
g f
(x) = (x, y) dy .
xi xi
fi (x + h, y) fi (x, y) = Dx fi (c)h
Lemma 3.2.5. Given > 0 there exists a > 0 such that for |h|
is of class C r .
is in ck1 (U ).
(c) Show that if d = 0, then d = 0. Hint: By (3.2.4)
X Z fI
d = (x, t) dt dxi dxI
I,i A xi
Z
= (dU ) dt
A
d
and by (??) dU = .
dt
3.2 The Poincare lemma for compactly supported forms on rectangles 111
d = dt ( (t)) +
X
= dt ( uI (x, t) dxI ) +
I
where
Z
uI (x, t) = fI (x, t) (t) fI (x, t) dt .
A
d = d dU .
(3.2.5) {(x1 , . . . , xn ) ; x1 0}
112 Chapter 3. Integration of forms
where the right hand side is the usual Riemann integral of f over
Hn . (This integral makes sense since f is compactly supported.) Show
that if = d for some cn1 (Rn ) then
Z Z
(3.2.7) =
Hn Rn1
(x2 , . . . , xn ) (0, x2 , . . . , xn ) .
P ci dxn . Mimicking the (b)
Hint: Let = i fi dx1 dx
(a) part of the proof of Theorem 3.2.1 show that the integral (3.2.6)
is the integral over Rn1 of the function
Z 0
f1
(x1 , x2 , . . . , xn ) dx1 .
x1
1 2
Q0
set is open and that its complement is open; so, by the connectivity
of U , U = A.
c0 c0 cN =
f cf 0 = f d = d f ,
= deg(g) deg(f ) .
W
is a proper C mapping.
2. Let U and V be open subsets of Rn and Rk and let f : U V
be a proper continuous mapping. Prove:
Theorem 3.4.2. If B is a compact subset of V and A = f 1 (B)
then for every open subset, U0 , with A U0 U , there exists an
open subset, V0 , with B V0 V and f 1 (V0 ) U0 .
f (x1 , . . . , xn ) = (x1 + x2 , x2 , . . . , xn ).
f (x1 , . . . , xn ) = (x1 , x2 , . . . , xn )
Show that
X
BACe1 = bj ej
and
n
X
BACei = = (aj,i + ci bj )ej + ci b1 e1
j
for i > 1.
(b)
n
X
(3.4.7) Lei = `j,i ej , i = 1, . . . , n .
j=1
`j,1 = bj
`1,i = b1 ci
`j,i = aj,i + ci bj
for i, j > 1.
(c) Suppose L is invertible. Conclude that A, B and C are invertible
and verify that Theorem 3.4.1 holds for B and C using the previous
exercises in this section.
(d) Show by an inductive argument that Theorem 3.4.1 holds for
A and conclude from (3.4.3) that it holds for L.
(a) Prove Theorem 3.4.1 for linear mappings which are orthogonal,
i.e., satisfy Lt L = I.
Hints:
i. Show that L (x21 + + x2n ) = x21 + + x2n .
ii. Show that L (dx1 dxn ) is equal to dx1 dxn or
dx1 dxn depending on whether L is orientation preserving
or orinetation reversing. (See 1.2, exercise 10.)
iii. Let be as in exercise 4 and let be the form
= (x21 + + x2n ) dx1 dxn .
Show that L = if L is orientation preserving and L = if
L is orientation reversing.
(b) Prove Theorem 3.4.1 for linear mappings which are self-adjoint
(satisfy Lt = L). Hint: A self-adjoint linear mapping is diagonizable:
there exists an intervertible linear mapping, M : R n Rn such that
(3.4.8) M 1 LM ei = i ei , i = 1, . . . , n .
(3.5.2) g 2 f g1
has the same degree as f , so it suffices to prove the theorem for this
mapping. Notice however that this mapping maps the origin onto
the origin. Hence, replacing f by this mapping, we can, without loss
of generality, assume that 0 is in the domain of f and that f (0) = 0.
Next notice that if A : Rn Rn is a bijective linear mapping the
theorem is true for A (by exercise 9 of 3.4), and hence if we can
prove the theorem for A1 f , (3.4.1) will tell us that the theorem
is true for f . In particular, letting A = Df (0), we have
1
Lemma 3.5.3. There exists a > 0 such that |g(x)| 2 |x| for
|x| .
gi
(0) = 0 ;
xj
3.5 The change of variables formula 121
1 1
|gi (x)| sup |xi | = |x| ,
2 2
so
1
|g(x)| = sup |gi (x)| |x| .
2
e 1
(3.5.6) |f(x)| |x| .
2
e
Indeed, by (3.5.4), |f(x)| |x| for |x| , and for |x|
e
|f(x)| |x| (x)|g(x)|
1 1
|x| |g(x)| |x| |x| = |x|
2 2
122 Chapter 3. Integration of forms
by Lemma 3.5.3.
Now let Qr be the cube, {x Rn , |x| r}, and let Qcr = Rn Qr .
From (3.5.6) we easily deduce that
for all r, and hence that fe is proper. Also notice that for x Q ,
3
|fe(x)| |x| + |g(x)| |x|
2
by Lemma 3.5.3 and hence
Set Z
(x) = (y x)(y) dy .
and hence
Z
(x) = (x)(y x) dy
so
Z
(x) (x) = ((x) (y))(y x) dy
and
124 Chapter 3. Integration of forms
Z
|(x) (x)| |(x) (y)| (y x) dy .
|(x) (x)| .
Thus
Z Z
( )(y) dy | |(y) dy
V Z V
| |(xy) dy
VZ
2c (y) dy 2
so
Z Z
(3.5.12) (y) dy (y) dy 2 .
V V
and hence
Z Z
(y) dy = f (x)| det Df (x)| dx .
Hint: Interpret the left and right hand sides of this formula as im-
proper integrals over U Int Hn and V Int Hn .
5. The boundary of Hn is the set
bHn = {(0, x2 , . . . , xn ) , (x2 , . . . , xn ) Rn }
so the map
: Rn1 Hn , (x2 , . . . , xn ) (0, x2 , . . . , xn )
in exercise 9 in 3.2 maps Rn1 bijectively onto bHn .
The main result of this section is a recipe for computing the de-
gree of f by counting the number of pi s above, keeping track of
orientation.
Theorem 3.6.4. For each pi f 1 (q) let pi = +1 if f : Ui W is
orientation preserving and 1 if f : U i W is orientation reversing.
Then
N
X
(3.6.1) deg(f ) = pi .
i=1
3.6 Techniques for computing the degree of a mapping 129
Since f : Ui W is a diffeomorphism
Z Z
f = = +1 or 1
Ui W
(3.6.2) f (x) = y
(3.6.3) F] : U A V A
ft : U V , ft (x) = Ft (x)
is proper.
Now let U and V be open subsets of Rn .
Theorem 3.6.8. If f0 and f1 are properly homotopic, their degrees
are the same.
Proof. Let
= (y) d y1 d yn
be a compactly supported n-form on X whose integral over V is 1.
The the degree of ft is equal to
Z
(3.6.4) (F1 (x, t), . . . , Fn (x, t)) det Dx F (x, t) dx .
U
{x Rn , kxk 1} .
(3.6.5) k(x)k 1
(3.6.6) (x) = x
= (1 ) + (1 ) 0
= 0 .
132 Chapter 3. Integration of forms
f(x)
x
(x)
Figure 3.6.1.
We will prove
Theorem 3.6.11. The mapping, p, is proper and deg(p) = n.
Proof. For t R
g : R R2 R2 , z pt (z)
C = sup{|ai | , i = 0, . . . , n 1} .
{z C , aC|z|n1 R} ,
and this shows that g is a proper homotopy. Thus each of the map-
pings,
pt : C C ,
is proper and deg pt = deg p1 = deg p = deg p0 . However, p0 : C C
is just the mapping, z z n and an elementary computation (see
exercises 5 and 6 below) shows that the degree of this mapping is n.
134 Chapter 3. Integration of forms
p(z) = z n + an1 z n1 + + a0 ,
has two distinct real roots, s+ (x) and s (x), with s+ (x) > s (x).
Prove that s+ and s are functions of class C r .
Hint: What are the roots of the quadratic polynomial: as 2 +bs+c?
f (x) + s0 (x f (x))
Argue from figure 1 that this polynomial has to have two distinct
real roots.
3.6 Techniques for computing the degree of a mapping 135
3. Show that the Brouwer fixed point theorem isnt true if one
replaces the closed unit ball by the open unit ball. Hint: Let U be
the open unit ball (i.e., the interior of B n ). Show that the map
x
h : U Rn , h(x) =
1 kxk2
is a diffeomorphism of U onto Rn , and show that there are lots of
mappings of Rn onto Rn which dont have fixed points.
4. Show that the fixed point in the Brouwer theorem doesnt have
to be an interior point of B n , i.e., show that it can lie on the bound-
ary.
Df (z) = nz n1 .
(z + h)n z n nz n1 h
|h|
(3.6.8) f0 f1 = d
Q = {(x1 , . . . , xn ) S n1 ; xi 0}
into itself.
(b) Its easy to prove that Q is homeomorphic to the unit ball
B n1 ,i.e., that there exists a continuous map, g : Q B n1 which is
invertible and has a continuous inverse. Without bothering to prove
this fact deduce from it Frobenius theorem.
(3.7.6) W f (Cf] A) .
fi
To prove Theorem 3.7.1 let Ui,j be the subset of U where 6= 0.
xj
Then [
U= Ui,j Cf] ,
f1
(3.7.7) (p) 6= 0 for all p U }
x1
Then
(3.7.9) g x1 = f x1 = f1 (x1 , . . . , xn )
and
f1
(3.7.10) det(Dg) = 6= 0 .
x1
Thus, by the inverse function theorem, g is locally a diffeomorphism
at every point, p U . This means that if A is a compact subset of
U we can cover A by a finite number of open subsets, U i U such
that g maps Ui diffeomorphically onto an open subset W i in Rn . To
conclude the proof of the theorem well show that R n f (Cf Ui A)
is a dense subset of Rn . Let h : Wi Rn be the map h = f g 1 .
To prove this assertion it suffices by Remark 3.7.4 to prove that the
set
Rn h(Ch )
is dense in Rn . This we will do by induction on n. First note that for
n = 1, Cf = Cf] , so weve already proved Theorem 3.7.1 in dimension
one. Now note that by (3.7.8), h x1 = x1 , i.e., h is a mapping of the
form
(3.7.11) h(x1 , . . . , xn ) = (x1 , h2 (x), . . . , hn (x)) .
Thus if we let Wc be the set
(3.7.12) {(x2 , . . . , xn ) Rn1 ; (c, x2 , . . . , xn ) Wi }
and let hc : Wc Rn1 be the map
(3.7.13) hc (x2 , . . . , xn ) = (h2 (c, x2 , . . . , xn ), . . . , hn (c, x2 , . . . , xn )) .
Then
(3.7.14) det(Dhc )(x2 , . . . , xn ) = det(Dh)(c, x2 , . . . , xn )
and hence
(3.7.15) (c, x) Wi Ch x Chc .
Now let p0 = (c, x0 ) be a point in Rn . We have to show that every
neighborhood, V , of p0 contains a point p Rn h(Ch ). Let Vc
Rn1 be the set of points, x, for which (c, x) V . By induction V c
contains a point, x Rn1 hc (Chc ) and hence p = (c, x) is in V by
definition and in Rn h(Cn ) by (3.7.15).
Q.E.D.
3.7 Appendix: Sards theorem 141
f (x) = A(x) + x0
5. Verify (3.7.1).
This is page 142
Printer: Opaque this
This is page 143
Printer: Opaque this
CHAPTER 4
FORMS ON MANIFOLDS
4.1 Manifolds
Some examples:
144 Chapter 4. Forms on Manifolds
f = {(x, y) Rn Rn , x U , y = f (x)}
X1 X2 = {(x1 , x2 ) ; xi Xi }
is an n-dimensional submanifold of R N where n = n1 + n2 and
R N = R N1 R N2 .
We will leave for you to verify this fact as an exercise. Hint: For
pi Xi , i = 1, 2, there exists a neighborhood, V i , of pi in RNi , an
open set, Ui in Rni , and a diffeomorphism : Ui Xi Vi . Let
U = U1 U2 , V = V1 V2 and X = X1 X2 , and let : U X V
be the product diffeomorphism, ((q 1 ), 2 (q2 )).
6. The unit n-sphere. This is the set of unit vectors in R n+1 :
S n = {x Rn+1 , x21 + + x2n+1 = 1} .
(4.1.2) f g =
RN = R k R n R k , (x, y) x .
Some examples:
f : Rn+1 R
4.1 Manifolds 147
be the map,
Then
Df (x) = 2(x1 , . . . , xn+1 )
so, if x 6= 0 f is a submersion at x. In particular f is a submersion
at all points, x, on the n-sphere
S n = f 1 (0)
f = {(x, y) Rn Rk , y = g(x)} .
Proof. Let
f : R n Rk Rk
be the map, f (x, y) = y g(x). Then
Df (x, y) = [Dg(x) , Ik ]
10. Let Mn be the set of all n n matrices and let S n be the set
of all symmetric n n matrices, i.e., the set
Sn = {A Mn , A = At } .
The map
gives us an identification
2
Mn
= Rn
148 Chapter 4. Forms on Manifolds
such that
(4.1.4) g = ,
(4.1.5) : U0 U0 RN n , x (x, 0) .
(4.1.6) gi = 0 , i = n + 1, . . . , N .
Let ` = N n, let
: R N = Rn R` R`
(x1 , . . . , xN ) = (xn+1 , . . . xN )
(4.1.7) Vp X = f 1 (0) .
f : (Vp , p) (R` , 0)
(4.1.8) fi (x) = ai , i = 1, . . . , k
Exercises.
x21 + + x2n = 1
and
x1 + + x n = 0
is an n 2-dimensional submanifold of R n .
Xa = {x S n1 , x1 + + xn = a} .
X = {(x, v) S n1 Rn , x v = 0}
is a 2n 2-dimensional
P submanifold of R n Rn . (Here x v is the
dot product, xi vi .)
f (A) = At A = I .
f (A + B) = At A + (At B + B t A) + 2 B t B .
(*) B M n At B + B t A .
(1.1) V W = {0} ,
152 Chapter 4. Forms on Manifolds
X
(1.2) v i = ei + bi,j ek+j , i = 1, . . . , k ,
j=1
where ` = n k.
(b) Let Gk be the set of k-dimensional subspaces of R n having the
property (1.1) and let Mk,` be the vector space of k ` matrices.
Show that one gets from the identities (1.2) a bijective map:
(1.3) : Mk,` Gk .
(1.4) : G k Sn , V V
(1.5) : Mk,` Sn , =.
Prove that is C .
Hints:
(a) ek .
Show that if the matrix A = [ai,j ] is invertible, V is in G
(b) Let O G ek be the set of all V s for which A is invertible.
1
Show that : O Mk,` is the map
1 (V ) = B = A1 C
where C = [ci,j ].
KA (B) = ABA1 .
Show that
KA : Mk,` Sn
maps a neighborhood of 0 in Mk,` diffeomorphically onto a neigh-
borhood of V in G(k, n).
154 Chapter 4. Forms on Manifolds
The Grassmannnian Theorem: The set (Gr(k, n)) (a.k.a. the Grass-
mannian of k-dimensional subspaces of R n ) is a k`-dimensional sub-
n(n+1)
manifold of Sn = R 2 .
Our goal in this section is to define the notion of the tangent space,
Tp X, to X at p and describe some of its properties. Before giving
our official definition well discuss some simple examples.
Example 1.
X = graph f
p0
x
y y0 = a(x x0 )
Tp0 X = {(p0 , v0 ) , R} .
Example 2.
{p0 + v ; v R3 , v p0 } .
{(p0 , v) ; v R3 , v p0 }
: (U, q) (X V, p)
: (U, q) (V, p)
(4.2.1) (d)q : Tq Rn Tp RN
is injective.
Definition 4.2.2. The tangent space, T p X, to X at p is the image
of the linear map (4.2.1). In other words, w T p RN is in Tp X if
and only if w = dq (v) for some v Tq Rn . More succinctly,
dfp : Tp RN T0 Rk
From the proof above one can extract a slightly stronger result:
Theorem 4.2.3. Let W be an open subset of R ` and h : (W, q)
(RN , p) a C map. Suppose h(W ) is contained in X. Then the image
of the map
dhq : Tq R` Tp RN
is contained in Tp X.
(4.2.7) g ) p : T p R N T y0 R m
(de
1. Is the space
(de
gp )(Tp X)
contained in Ty0 Y ?
2. Does the definition depend on ge?
To show that the answer to 1. is yes and the answer to 2. is no, let
: (U, x0 ) (X V, p)
(4.2.8) gp dx0 ,
dhx0 = de
so by (4.2.2)
(4.2.9) gp )(Tp X) Tp Y
(de
and
dfp : Tp X Tq Y , q = f (p) ,
0 : (U0 , p0 ) (U, p)
and
0 : (V0 , q0 ) (V, q)
g : (U0 , p0 ) (V0 , q0 )
Since (d0 )q0 and (d0 )p0 are bijective its clear from this identity
that if dfp is bijective the same is true for (dg) p0 . Hence by the inverse
function theorem for open subsets of R n , g maps a neighborhood of
p0 in U0 diffeomorphically onto a neighborhood of q 0 in V0 . Shrinking
U0 and V0 we assume that these neighborhoods are U 0 and V0 and
hence that g is a diffeomorphism. Thus since f : U V is the map
0 g 1
0 , it is a diffeomorphism as well.
dfp : Tp X Tq Y , q = f (p) ,
0 : (U0 , 0) (U, p)
and
0 : (V0 , 0) (V, q)
160 Chapter 4. Forms on Manifolds
0 : (U0 , p0 ) (U, p)
and
0 : (V0 , q0 ) (V, q)
dfp : Tp X Tq Y , q = f (p)
0 : (U0 , 0) (U, p)
and
4.2 Tangent spaces 161
0 : (V0 , 0) (V, q)
f
U V
x x
0
0
U0 V0
Proof. The proof is identical with the proof of Theorem 4.2.6 except
for the last step. In the last step one converts g into the canonical
immersion via a map 1 : (V1 , 0) (V0 , 0) with the property g 1 =
and then replaces 0 by 0 1 .
Exercises.
X 1 X 2 R N1 R N2
and let p = (p1 , p2 ). Show that Tp X is the vector space sum of the
vector spaces,Tp1 X1 and Tp2 X2 .
162 Chapter 4. Forms on Manifolds
dfp : Tp X Tq Y
(4.3.3) f (g ) = (g f ) ,
(4.3.4) (g f ) v = g (f v) .
{p X , v(p) 6= 0} .
We will now review some of the results about vector fields and the
differential forms that we proved in Chapter 2 and show that they
have analogues for manifolds.
1. Integral curves
Let I R be an open interval and : I X a C curve. For t0 I
we will call ~u = (t0 , 1) Tt0 R the unit vector in Tt0 R and if p = (t0 )
we will call the vector
dt0 (~u) Tp X
Proof. Its not hard to prove this by the same argument that we
used to prove this theorem for vector fields on R n , but well give a
4.3 Vector fields and differential forms on manifolds 167
simpler proof that derives this directly from the R n result. Suppose
X is a submanifold of RN . Then for p X,
Tp X Tp RN = {(p, v) , v RN } ,
(4.3.5) f v : X RN
Proof. If p
/ supp v then w(p) = 0 so if (t) = p, (t) is the constant
curve, = p, and theres nothing to prove. Thus we are reduced to
showing that the set
is both open and closed. Since supp v is compact this set is clearly
closed. To show that its open suppose (t 0 ) supp v. By local exis-
tence there exist an interval ( + t 0 , + t0 ) and an integral curve,
1 (t), of v defined on this interval and taking the value 1 (t0 ) = (t0 )
at p. However since v and w are -related 1 is also an integral curve
of w and so it has to coincide with on the interval ( + t 0 , + t0 ).
In particular, for t on this interval, (t) supp v, so the set (4.3.6)
is open.
168 Chapter 4. Forms on Manifolds
(4.3.7) d = (1
0 ) d0 .
d0 = d 1 = d1
= 0 (1
1 ) d1
hence
(1 1
0 ) d0 = (1 ) d1
4.3 Vector fields and differential forms on manifolds 169
as in 2.4, by setting
((v))p = (vp )p
(4.3.10) Lv = k (X)
by setting
Its easily checked that these operations satisfy the identities (2.4.2)
(2.4.8) and (2.4.12)(2.4.13) (since, just as in 2.4, these identities
are deduced from the definitions (4.3.9) and (4.3.1) by purely formal
manipulations). Moreover, if v is complete and
ft : X X , < t <
Exercises.
f1 = x21 + x22 1 = 0
f2 = x23 + x24 1 = 0 .
X i
fi = vj
xj
(4.3.13) Lv = (v) d
Lw = (v) d = (v) d = 0
4.4 Orientations
for every q U .
Remark 4.4.3. If were given an orientation of X we can define
another orientation by assigning to each p X the opposite orien-
tation to the orientation we already assigned, i.e., by switching the
labels on n (Tp )+ and n (Tp ) . We will call this the reversed ori-
entation of X. We will leave for you to check as an exercise that
if X is connected and equipped with a smooth orientation, the only
smooth orientations of X are the given orientation and its reversed
orientation.
Hint: Given any smooth orientation of X the set of points where
it agrees with the given orientation is open, and the set of points
where it doesnt is also open. Therefore one of these two sets has to
be empty.
Note that if n (X) is a non-vanishing n-form one gets from
a smooth orientation of X by requiring that the labeling rule
above satisfy
Example 1.
Open subsets, U of Rn . We will usually assign to U its standard
orientation, by which we will mean the orientation defined by the
n-form, dx1 dxn .
Example 2.
Let f : RN Rk be a C map. If zero is a regular value of f , the
set X = f 1 (0) is a submanifold of RN of dimension, n = N k, by
Theorem ??. Moreover, for p X, Tp X is the kernel of the surjective
map
dfp : Tp RN To Rk
so we get from dfp a bijective linear map
(4.4.3) Tp RN /Tp X To Rk .
Example 3.
A special case of example 2 is the n-sphere
Example 4.
Let X be an oriented submanifold of R N . For every p X, Tp X
sits inside Tp RN as a vector subspace, hence, via the identification,
Tp RN RN one can think of Tp X as a vector subspace of RN . In
particular from the standard Euclidean inner product on R N one
gets, by restricting this inner product to vectors in T p X, an inner
product,
Bp : T p X T p X R
176 Chapter 4. Forms on Manifolds
p X p .
In the exercises at the end of this section well sketch a proof of the
following.
Theorem 4.4.4. The form, X , is C and hence, in particular, is a
volume form. (We will call this form the Riemannian volume form.)
by gluing the ends together in the wrong way, i.e., by gluing (1, y)
to (0, y) . It is easy to see that the Mobius strip cant be oriented
by taking the standard orientation at p = (1, 0) and moving it along
the line, (t, 0), 0 t 1 to the point, (0, 0) (which is also the point,
p, after weve glued the ends of the rectangle together).
Well next investigate the compatibility question for diffeomor-
phisms between oriented manifolds. Let X and Y be n-dimensional
manifolds and f : X Y a diffeomorphism. Suppose both of these
manifolds are equipped with orientations. We will say that f is ori-
entation preserving if, for all p X and q = f (p) the linear map
dfp : Tp X Tq Y
dfp : Tp X Tq Y , q = f (p) ,
4.4 Orientations 177
Examples.
whose boundary
(4.4.8) {(x1 , . . . , xn ) Rn , x1 = 0}
We will show that every bounded domain looks locally like this
example.
Theorem 4.4.7. Let D be a smooth domain and p a boundary point
of D. Then there exists a neighborhood, U , of p in X, an open set,
U0 , in Rn and a diffeomorphism, : U0 U such that maps
U0 Hn onto U D.
(4.4.9) : U0 U
(4.4.11) x U Z (x) = 0
and
(4.4.12) dp 6= 0 .
i. 1 (U D) = (Rn BdHn ) U0 .
n
ii. 1 (U D) = (Rn H ) U0 .
or
iii. 1 (U D) = Hn U0 .
f1
(4.4.16) (0, x2 , . . . , xn ) = 0 , i>1
xi
fi gi
(4.4.17) (0, x2 , . . . , xn ) = (x2 , . . . , x1 )
xj xj
Exercises.
182 Chapter 4. Forms on Manifolds
(4.4.21) B = At A
and conclude that det B = (det A)2 . (In particular conclude that
det B > 0.)
N
X k k
(4.4.24) i,j = 1 i, j n .
xi xj
k=1
4.4 Orientations 183
X = {(x, f (x)) , x R}
is a submanifold of R2 and
Hint: Exercise 3.
X = {(x, f (x)) , x Rn }
n
X !1
f 2 2
(4.4.27) = 1+ dx1 dxn .
xi
i=1
Hints:
L : V Rk
(4.4.28) V /W RK
(4.4.29) ` 1 `k = .
`1 ` k = 0
n+1
(a) Prove that S+ is a smooth domain.
n+1
(b) Show that the boundary of S+ is S n .
(c) Show that the boundary orientation of S n agrees with the
orientation of S n in exercise 8.
where W0 = 1
0 (U W ). Notice that if = f dx1 dxn ,
then, by assumption, f is in C0 (U0 ). Hence since
Z Z
0 = f dx1 . . . dxn
W0 W0
0 = 1 .
W1 = (W0 ) = 1
1 (U W )
We will next show how to define the integral (4.5.1) for any com-
pactly supported n-form. This we will do in more or less the same
way that we defined improper Riemann integrals in Appendix B: by
using partitions of unity. Well begin by deriving from the partition
of unity theorem in Appendix B a manifold version of this theorem.
188 Chapter 4. Forms on Manifolds
(4.5.6) U = {U , I}
(a) i 0.
(4.5.7) U = O X
XZ
i .
i W
Hence
XZ XZ
0j = i ,
i W i W
the definitions (4.5.2) and (4.5.8) that the effect R of doingR this is to
change the sign of the integral, i.e., to change X to X .
In the definition of the integral (4.5.1) weve allowed W to be an ar-
bitrary open subset of X but required to be compactly supported.
This integral is also well-defined if we allow to be an arbitrary
element of n (X) but require the closure of W in X to be compact.
To see this, note that under this assumption the sum (4.5.7) is still
a finite sum, so the definition of the integral still makes sense, and
the double sum on the right side of (4.5.9) is still a finite sum so its
still true that the definition of the integral doesnt depend on the
choice of partitions of unity. In particular if the closure of W in X
is compact we will define the volume of W to be the integral,
Z
(4.5.12) vol(W ) = vol ,
W
Exercise.
Show that if f : X 0 X is orientation reversing
Z Z
(4.5.15) f = .
W0 W
by Theorem 3.3.1.
Exercises.
XU = (U )
(a) U Int D.
(b) U Ext D.
(4.6.2) : U0 U .
P
Replacing by the finite sum i it suffices to prove (4.6.1) for
each i separately. In other words we can assume that the support
of itself is contained in a parametrizable open set, U , of type (a),
(b) or (c). But if U is of type (a)
Z Z Z
d = d = d
D U X
(4.6.3) : U0 BdHn U Z
and
(4.6.4) Z = Rn1
Rn1 : Rn1 , Rn
are the inclusion maps of Z into X and BdH n into Rn . (Here were
identifying BdHn with Rn1 .) Thus
Z Z Z
d = d = d
D Hn Hn
and by (4.6.4)
Z Z
Z = Z
Z Rn1
Z
= Rn1
Rn1
Z
= Rn1 .
BdHn
Then
X fi
d = dx1 dxn
xi
and
Z XZ fi
d = dx1 dxn .
Hn Hn xi
i
4.6 Stokes theorem and the divergence theorem 195
On the other hand the dx1 integration ranges over the integral,
< x1 < 0 and
Z 0
f1
dx1 = f (0, x2 , . . . , xn ) .
x 1
Z Z
(4.6.6) Rn1 = f (0, x2 , . . . , xn ) dx2 . . . dxn .
Hence the two sides, (4.6.5) and (4.6.6), of Stokes theorem are equal.
X vi
(4.6.8) div(v) = .
xi
The right hand side of this identity can be interpreted as the flux
of the vector field, v, through the boundary of D. To see this let
f : Rn R be a C defining function for D, i.e., a function with
the properties
This second condition says that zero is a regular value of f and hence
that Z = BdD is defined by the non-degenerate equation:
p Z f (p) = 0 .
(4.6.12) (w) df = 1 .
4.6 Stokes theorem and the divergence theorem 197
! 1
X f 2 2
f f
~n = , ,
xi x1 xn
and
~v = (v1 , . . . , vn )
we have
198 Chapter 4. Forms on Manifolds
Lv Z = (~n ~v )Z
and hence
Z Z
(4.6.16) div(v) dx = (~n ~v )Z .
D Z
idS n1 : S n1 S n1
f : B n S n1 .
Exercises.
is closed and prove directly that Stokes theorem holds for the annulus
a < x21 + + x2n < b by showing that the integral of over the
sphere, x21 + + x2n = a, is equal to the integral over the sphere,
x21 + + x2n = b.
where is in C0 (Rn ).
Weve already verified the assertion (b) (a) (see Theorem ??),
so what is left to prove is the converse assertion. The proof of this
is more or less identical with the proof of the (a) (b) part of
Theorem 3.2.1:
(b) 1 2 .
Its clear from the formula (4.7.1) that the degree of f is indepen-
dent of the choice of 0 . (Just apply this formula to any nc (Y )
having integral over Y equal to one.) Its also clear from (4.7.1) that
degree behaves well with respect to composition of mappings:
Theorem 4.7.4. Let Z be an oriented, connected n-dimensional
manifold and g : Y Z a proper C map. Then
is not bijective.
Well denote by Cf the set of all critical points of f , and well call
a point q Y a critical value of f if it is in the image, f (C f ), of
Cf and a regular value if its not. (Thus the set of regular values
is the set, Y f (Cf ).) If q is a regular value, then as we observed
in 3.6, the map (4.7.5) is bijective for every p f 1 (q) and hence
by Theorem 4.2.5, f maps a neighborhood U p of p diffeomorphically
onto a neighborhood, Vp , of q. In particular, Up f 1 (q) = p. Since f
is proper the set f 1 (q) is compact, and since the sets, U p , are a cov-
ering of f 1 (q), this covering must be a finite covering. In particular
the set f 1 (q) itself has to be a finite set. As in 2.6 we can shrink
the Up s so as to insure that they have the following properties:
(4.7.7) F : X [0, 1] Y
is compact. Let
ft : X Y
be the map: ft (x) = F (x, t). By our assumptions on F , f t is a proper
C map. Moreover, for all t the n-form, f t is a C function of t
and is supported on the fixed compact set (4.7.8). Hence its clear
from the Definition 4.6.8 that the integral
Z
ft
X
Exercises.
A : R 2 R2 , (x, y) (y, x)
the eigenvalues of A are 1.) However, if n is odd it is a standard
linear algebra fact that there exists a vector, v R n {0}, and a
v
R such that Av = v. Moreover replacing v by |v| one can
assume that |v| = 1. This result turns out to be a special case of a
much more general result. Let S n1 be the unit (n 1)-sphere in Rn
and let f : S n1 Rn be a C map.
Theorem 4.8.2. There exists a vector, v S n1 and a number
R such that f (v) = v.
4.8 Applications of degree theory 209
is non-zero. Let
g(v)
(4.8.2) h(v) = .
|g(v)|
(4.8.3) t : S n1 S n1 , 0t1
be the map
{(v, w) ; w Rn , v w = 0} ,
210 Chapter 4. Forms on Manifolds
(4.8.6) g(v) v = 0
(4.8.8) p : X S n1
be the map
xp
(4.8.9) p (x) = .
|x p|
Exercise 1.
Let U be a connected component of Rn X. Show that if p0 and
p1 are in U , W (X, p0 ) = W (X, p1 ).
Hints:
qi , i = 1, . . . , N , qi U ,
Exercise 2.
Show that Rn X has at most two connected components.
Hints:
qi , i = 1, . . . , N , q i Rn X ,
Exercise 3.
For v S n1 , show that x X is in p1 (v) if and only if x lies
on the ray
Exercise 4.
Let x X be a point on this ray. Show that
(4.8.11) (dp )x : Tp X Tv S n1
(4.8.12) p : X Rn {0} , x x p,
and
y
(4.8.13) : Rn {0} S n1 , y .
|y|
Exercise 5.
From exercises 3 and 4 conclude that v is a regular value of p if
and only if the ray (4.8.10) intersects X in a finite number of points
and at each point of intersection is not tangent to X at that point.
4.8 Applications of degree theory 213
Exercise 6.
In exercise 5 show that the map (4.8.11) is orientation preserving
if the orientations of Tx X and v are compatible with the standard
orientation of Tp Rn . (See 1.9, exercise 5.)
Exercise 7.
Conclude that deg(p ) counts (with orientations) the number of
points where the ray (4.8.10) intersects X.
Exercise 8.
Let p1 Rn X be a point on the ray (4.8.10). Show that if
v S n1 is a regular value of p , it is a regular value of p1 and
show that the number
Exercise 8.
Let x X be a point on the ray (4.8.10). Suppose x = p + tv.
Show that if is a small positive number and
p = p + (t )v
then
W (X, p+ ) = W (X, p ) 1 ,
and from exercise 1 conclude that p+ and p lie in different compo-
nents of Rn X. In particular conclude that Rn X has exactly two
components.
Exercise 9.
Finally show that if p is very large the difference
p
p (x) , xX,
|p|
is very small, i.e., p is not surjective and hence the degree of p is
zero. Conclude that for p Rn X, p is in the unbounded compo-
nent of Rn X if W (X, p) = 0 and in the bounded component if
W (X, p) = 1 (the depending on the orientation of X).
214 Chapter 4. Forms on Manifolds
Figure 4.9.2.
: X S n1
4.8 Applications of degree theory 215
(4.8.14) ( )p = K(p)(X )q
Figure 4.9.3.
216 Chapter 4. Forms on Manifolds
Figure 4.9.4.
This is page 217
Printer: Opaque this
CHAPTER 5
Then as above Bck (X) is a vector subspace of Zck (X) and the vector
space quotient
(5.1.12) H 0 (S n ) = H n (S n ) = R .
(5.1.13) H k (S n ) = {0} .
(5.1.14) 1 = d
: Rn S n {p}
220 Chapter 5. Cohomology via forms
(5.1.15) = d( + (1 ) )
(5.1.16) f : Z k (Y ) Z k (X)
and
(5.1.17) f : B k (Y ) B k (X)
(5.1.18) Z k (Y ) H k (X) .
(5.1.19) f ] : H k (Y ) H k (Y ) ,
(5.1.20) f ] [] = [f ] .
(g f ) = f g
5.1 The DeRham cohomology groups of a manifold 221
(5.1.21) (g f )] [] = f ] (g ] []) .
(5.1.23) fi : X Y , i = 0, 1
F : X [0, 1] Y
with the property F (p, 0) = f0 (p) and F (p, 1) = f1 (p) for all p X.
We will prove:
Theorem 5.1.1. If the maps (5.1.23) are homotopic then, for the
maps they induce on cohomology
is a homotopy between f0 and f1 , and well show that for this ho-
motopic pair (5.1.24) is true. Recall that for k (X)
d
f (t = 0) = Lv = (v) d + d(v)
dt t
and more generally for all t
d d
f = f (s = 0)
dt t ds s+t
d
= (fs ft ) (s = 0)
ds
d d
= f f (s = 0) = ft f (s = 0)
ds t s ds s
= ft Lv
= ft (v) d + dft (v) .
Thus if we set
(5.1.25) Qt = ft (v)
(5.1.27) f1 f0 = dQ + Q d
where
Q : k (Y ) k1 (X)
is the operator
Z 1
(5.1.28) Q = Qt dt .
0
f1 f0 = dQ
and
5.1 The DeRham cohomology groups of a manifold 223
Q.E.D.
Well now describe how to extract from this result a proof of The-
orem 5.1.1 for any pair of homotopic maps. Well begin with the
following useful observation.
Proposition 5.1.2. If fi : X Y , i = 0, 1, are homotopic C
mappings there exists a C map
F :X RY
G : X [0, 1] Y
t (x, a) = (x, a + t)
(5.1.30) 1 0 = d + d
where
Z 1
(5.1.31) = t dt .
0 t
F :X RY
(5.1.32) 1 F 0 F = dF + F d
i.e.,
(5.1.33) F 1 = f1
and
(5.1.34) F 0 = f 0 .
5.1 The DeRham cohomology groups of a manifold 225
Thus
(1 F 0 F ) = f1 f0
and on the other hand by (5.1.31)
(1 F 0 F ) = d F + F d .
Letting
(5.1.35) Q : k (Y ) k1 (X)
be the chain homotopy operator
(5.1.36) Q = F
we can write the identity above more succinctly in the form
(5.1.37) f1 fc = dQ + Q d
and from this deduce, exactly as we did earlier, the identity (5.1.24).
This proof can easily be adapted to the compactly supported set-
ting. Namely the operator (5.1.36) is defined by the integral
Z 1
(5.1.38) Q = t F dt .
0 t
Hence if is supported on a set, A, in Y , the integrand of (5.1.37)
at t is supported on the set
(5.1.39) {p X , F (p, t) A}
and hence Q is supported on the set
(5.1.40) (F 1 (A) X [0, 1])
where : X [0, 1] X is the projection map, (p, t) = p. Suppose
now that f0 and f1 are proper mappings and
G : X [0, 1] Y
a proper homotopy between f0 and f1 , i.e., a homotopy between f0
and f1 which is proper as a C map. Then if F is the map (5.1.30) its
restriction to X [0, 1] is also a proper map, so this restriction is also
a proper homotopy between f0 and f1 . Hence if is in kc (Y ) and
A is its support, the set (5.1.39) is compact, so Q is in ck1 (X).
Therefore all summands in the chain homotopy formula (5.1.37)
are compactly supported. Thus weve proved
226 Chapter 5. Cohomology via forms
(5.1.41) c1 c2 = [1 2 ] .
d(1 2 ) = d1 2 + (1)k1 1 d2 = 0 ,
10 2 = 1 2 + d1 2 .
d1 2 = d(1 2 ) + (1)k1 1 d2
= d(1 2 )
so
10 2 = 1 2 + d(1 2 )
(5.1.42) c1 c2 = [1 2 ]
in Hck1 +k2 (X). Well leave for you to check that this is intrinsically
defined. Well also leave for you to check that (5.1.42) is intrinsically
defined if the roles of c1 and c2 are reversed, i.e., if c1 is in H k1 (X)
and c2 in Hck2 (X) and that the products (5.1.41) and (5.1.42) both
satisfy
(5.1.43) c1 c2 = (1)k1 k2 c2 c1 .
f (1 2 ) = f 1 f 2
(5.1.44) f ] (c1 c2 ) = f ] c1 f ] c2 .
Exercises.
tx + (1 t)p , t>0
: S n {p} Rn , x (x)
is a diffeomorphism.
Qt : k (Y ) k1 (X)
228 Chapter 5. Cohomology via forms
= dQ + Q d
where
Z 1
dt
Q = t (v) .
0 t
then
X Z
k1 r1
(5.1.46) Q = t (1) xir aI (tx) dt dxIr
I,r
where
dxIr = c i dxi .
dxi1 dx r k
5.1 The DeRham cohomology groups of a manifold 229
L
R R
is just the map, t R deg(f )t.
5. Let X and Y be manifolds and let idX and idY be the identity
maps of X onto X and Y onto Y . A homotopy equivalence between
X and Y is a pair of maps
f :X Y
and
g:Y X
H k (X) H k (Y ) .
p0 : pt X , pt p0
and
p1 : pt X , pt p1
(d) Let
Z k = {a C k ; da = 0}
and
B k = {a C k ; a dC k1 }
(5.2.4) H k (C) = Z k /B k .
is an exact sequence if, for each i, the kernel of i+1 is equal to the
image of i .
For example the sequence (5.2.1) is exact if Z i = Bi for all i, or,
in other words, if H i (C) = 0 for all i. A simple example of an exact
sequence that well encounter a lot below is a sequence of the form
(5.2.6) {0} V1 1 V2 2 V3 {0} ,
a five term exact sequence whose first and last terms are the vector
space, V0 = V4 = {0}, and hence 0 = 3 = 0. This sequence is
exact if and only if
1. 1 is injective,
3. 2 is surjective.
i.e., assume that in the left hand squares, di = id, and in the right
hand squares, dj = jd.
The MayerVictoris theorem addresses the following question: If
one has information about the cohomology groups of two of the three
complexes, (5.2.8), what information about the cohomology groups
of the third can be extracted from this diagram? Lets first observe
that the maps, i and j, give rise to mappings between these cohomol-
ogy groups. Namely, for r = 1, 2, 3 let Z rk be the kernel of the map,
d : Crk Crk+1 , and Brk the image of the map, d : Crk1 Crk . Since
id = di, i maps B1k into B2k and Z1k into Z2k , therefore by (5.2.4) it
gives rise to a linear mapping
i] : H k (C1 ) H k (C2 ) .
Similarly since jd = dj, j maps B2k into B3k and Z2k into Z3k , and so
by (5.2.4) gives rise to a linear mapping
j] : H k (C2 ) H k (C3 ) .
is exact.
5.2 The MayerVictoris theorem 235
(5.2.13) ck+1
1 Z1k+1 .
(ck+1 k+1 k
1 )new = (c1 )old + dc1 .
236 Chapter 5. Cohomology via forms
Moreover, if ck3 is in B3k , i.e., ck3 = dc3k1 for some c3k1 C3k1 , then
by the exactness of (5.2.8) at level k 1, c 3k1 = j(c2k1 ) for some
c2k1 C2k1 and hence ck3 = j(dc2k2 ). In other words we can take
the ck2 above to be dc2k1 in which case the ck+1 1 in equation (5.2.12)
k
is just zero. Thus the map (5.2.14) maps B 3 to zero and hence by
Proposition 1.2.2 gives rise to a well-defined map
d(ck2 i(ck1 )) = 0
(5.2.17) i(ck+1 k
1 ) = dc2
def
(5.2.18) ck3 = j(ck2 )
5.2 The MayerVictoris theorem 237
(5.2.19) [ck+1 k
1 ] = [c3 ] .
In other words the kernel of the map, i ] : H k+1 (C1 ) H k+1 (C2 ) is
contained in the image of the map : H k (C3 ) H k+1 (C1 ). We will
leave it as an exercise to show that this argument can be reversed to
prove the converse assertion and hence to prove
Proposition 5.2.4. The image of the map : H k (C1 ) H k+1 (C1 )
is equal to the kernel of the map i] : H k+1 (C1 ) H k+1 (C2 ).
Putting together the Propositions 5.2.25.2.4 we obtain the main
result of this section: the MayerVictoris theorem. The sequence of
cohomology groups and linear maps
i] j] i]
(5.2.20) H k (C1 ) H k (C2 ) H k (C3 ) H k+1 (C1)
is exact.
Remark 5.2.5. In view of the s this sequence can be a very
long sequence and is commonly referred to as the long exact se-
quence in cohomology associated to the short exact sequence of com-
plexes (2.5.9).
Before we discuss the applications of this result, we will introduce
some vector space notation. Given vector spaces, V 1 and V2 well
denote by V1 V2 the vector space sum of V1 and V2 , i.e., the set of
all pairs
(u1 , u2 ) , ui Vi
with the addition operation
(u1 , u2 ) = (u1 , u2 ) .
defined by
defined by
We claim
Theorem 5.2.6. The sequence
(5.2.25)
i j
{0} k (U1 U2 ) k (U1 ) k (U2 ) k (U1 U2 ) {0}
and let
5.2 The MayerVictoris theorem 239
(
1 on U 1 U2
(5.2.27) 2 =
0 on U 2 U1 U2 .
and its easy to see that i and j commute with the ds:
(5.2.32) di = id and dj = jd .
240 Chapter 5. Cohomology via forms
(5.2.41) = 1 |U1
and
(5.2.42) 2 = 2 |U2 .
Exercises
In this section we will show that for compact manifolds (and for lots
of other manifolds besides) the DeRham cohomology groups which
we defined in 5.1 are finite dimensional vector spaces and thus, in
principle, computable objects. A key ingredient in our proof of this
fact is the notion of a good cover of a manifold.
Definition 5.3.1. Let X be an n-dimensional manifold, and let
U = {U , I}
Tp RN = {(p, v) , v RN }
we get a map
Tp X , Tp RN RN , (p, x) p + x ,
Lp
p p (x)
(5.3.1) U I = U i1 U i k
i I , i = 1, . . . , N
U i = U i ,
S
that covers C, hence letting U = Ui , weve proved
Theorem 5.3.9. If X is an n-dimensional manifold and C a com-
pact subset of X, then there exists an open neighborhood, U , of C in
X having finite topology.
We can in fact even strengthen this further. Let U 0 be any open
neighborhood of C in X. Then in the theorem above we can replace
X by U0 to conclude
Theorem 5.3.10. Let X be a manifold, C a compact subset of X
and U0 an open neighborhood of C in X. Then there exists an open
neighborhood, U , of C in X, U contained in U 0 , having finite topol-
ogy.
We will justify the term finite topology by devoting the rest of
this section to proving
Theorem 5.3.11. Let X be an n-dimensional manifold. If X has
finite topology the DeRham cohomology groups, H k (X), k = 0, . . . , n
and the compactly supported DeRham cohomology groups, H ck (X),
k = 0, . . . , n are finite dimensional vector spaces.
246 Chapter 5. Cohomology via forms
(5.3.2) V 1 V2 V3
k
X
(v) = ci (vi ) ci R
i=1
k
X
(5.3.4) v0 = v ci vi
i=1
U = {Ui , i = 1, . . . , N }
i]
H k1 (U1 U ) H k (X) H k (U1 ) H k (U )
by MayerVictoris. Since the right hand and left hand terms are finite
dimensional it follows from Lemma 5.3.12 that the middle term is
also finite dimensional.
The proof works practically verbatim for compactly supported co-
homology. For N = 1
so all the cohomology groups of H k (X) are finite in this case, and
the induction N 1 N follows from the exact sequence
j]
Hck (U1 ) Hck (U ) Hck (X) Hck+1 (U1 U ) .
Exercises.
: U [0, )
1 1
Ui = xU, < d(x) < .
i+1 i2
: U R, (0) = 1 ,
(x) (y)
C1
(x) = + C0 .
d(x)
1
Sub-hint: In part (b) take to be equal to 2 d(x)/|x|.
Ui = {(x1 , x2 , x3 ) S 2 , xi > 0}
i = 1, 2, 3 and
11. Let X and Y be manifolds. Show that if they both have finite
topology, their product, X Y , does as well.
H k (X R) = H k (X) .
(5.3.6) H k (X R` ) = H k (X)
(5.4.1) B :V W R
252 Chapter 5. Cohomology via forms
(5.4.2) `w : V R , v B(v, w)
(5.4.3) `v : W R , w B(v, w)
(5.4.4) LB : W V , w `w
and since `w1 + `w2 (v) = B(v, w1 + w2 ) = `w1 +w2 (v), this map is
linear. Well say that (5.4.1) is a non-singular pairing if (5.4.4) is
bijective. Notice, by the way, that the roles of V and W can be
reversed in this definition. Letting B ] (w, v) = B(v, w) we get an
analogous linear map
(5.4.5) LB ] : V W
and in fact
Thus if
(5.4.7) : V (V )
(v)(`) = `(v)
(5.4.8) LB ] = (LB )
Proof. To verify this there is very little to check. The vector spaces,
H k (Rn ) and Hcnk (Rn ) are zero except for k = 0, so all we have to
check is that the pairing
The proof of this will be very similar in spirit to the proof that
we gave in the last section to show that if X has finite topology its
DeRham cohomology groups are finite dimensional. Like that proof,
it involves MayerVictoris plus some elementary diagram-chasing.
The diagram-chasing part of the proof consists of the following
two lemmas.
Lemma 5.4.3. Let V1 , V2 and V3 be finite dimensional vector spaces,
and let V1 V2 V3 be an exact sequence of linear mappings. Then
the sequence of transpose maps
V3 V2 V1
is exact.
W2 = {` V2 ; `(w) = 0 for w W } .
Lemma 5.4.4 (the five lemma). Let the diagram below be a com-
mutative diagram with the properties:
a3 3 (b3 ) = 2 (a2 )
Thus finally
a3 = 3 (b3 + 2 (b2 )) .
Since a3 was any element of A3 this proves the surjectivity of 3 .
One can prove the injectivity of 3 by a similar diagram-chasing
argument, but one can also prove this with less duplication of effort
by taking the transposes of all the arrows in Figure 5.4.1 and noting
that the same argument as above proves the surjectivity of 3 : A3
B3 .
Figure 5.4.2
256 Chapter 5. Cohomology via forms
(5.4.11) H k (U ) Hcnk (U )
U 0 U 00 = U1 UN UN 1 UN
Exercises.
(5.4.14) f] : H mk (X) H nk (Y )
(5.4.16) f : k+1
c (U R) kc (U )
(5.4.19) [f ] = f] []
(5.4.20) f : ck+` (U R` ) kc (U )
df = f d .
(5.4.22) f] [] = [f ]
f :X Y Y
m (X Y )
and p Y , let
Z
(5.4.23) f (p) = p
X
[f ] = f] []
where f] : H n (X Y ) H 0 (Y ) is the map (5.4.13).
is a bijection.
9. Let X and Y be as in exercise 1. Show that the push-forward
operation (5.4.13) satisfies
f] ; (c1 f ] c2 ) = f] c1 c2
One way that linear functions like this arise in practice is by in-
tegrating forms over submanifolds of X. Namely let Y be a closed,
oriented k dimensional submanifold of X. Since Y is oriented, we
have by (5.1.8) an integration operation in cohomology
IY : Hck (Y ) R ,
(5.5.5) TY = L1 k
B (`Y ) Hc (X)
for c Hck (X). Lets see what this defining property looks like at the
level of forms. Let Y nk (X) be a closed k-form representing
TY . Then by (5.4.9), the formula (5.5.6), for c = [], becomes the
integral formula
Z Z
(5.5.7) Y = Y .
X Y
In other words, for every closed form, cnk (X) the integral of
over Y is equal to the integral over X of Y . A closed form,
Y , with this reproducing property is called a Thom form for Y .
Note that if we add to Y an exact (n k)-form, dnk1 (X),
we get another representative, Y + , of the cohomology class, TY ,
and hence another form with this reproducing property. Also, since
the formula (5.5.7) is a direct translation into form language of the
5.5 Thom classes and intersection theory 261
`Y : H k (X) R
TY = L1 nk
B (`Y ) Hc (X) .
Lets see what Thom forms actually look like in concrete examples.
Suppose Y is defined globally by a system of ` independent equations,
i.e., suppose there exists an open neighborhood, O, of Y in X, a C
map, f : O R` , and a bounded open convex neighborhood, V , of
the origin in Rn such that
(i) The origin is a regular value of f .
(5.5.10) (ii) f 1 (V ) is closed in X .
(iii) Y = f 1 (0) .
Then by (i) and (iii) Y is a closed submanifold of O and by (ii) its
a closed submanifold of X. Moreover, it has a natural orientation:
For every p Y the map
dfp : Tp X T0 R`
is surjective, and its kernel is Tp Y , so from the standard orientation
of T0 R` one gets an orientation of the quotient space,
Tp X/Tp Y ,
and hence since Tp X is oriented, one gets, by Theorem 1.9.4, an
orientation on Tp Y . (See 4.4, example 2.) Now let be an element
of `c (X). Then f is supported in f 1 (V ) and hence by property
(ii) of (5.5.10) we can extend it to X by setting it equal to zero
outside O. We will prove
Theorem 5.5.2. If
Z
(5.5.11) = 1,
V
f is a Thom form for Y .
To prove this well first prove that if f has property (5.5.7) for
some choice of it has this property for every choice of .
Lemma 5.5.3. Let 1 and 2 be forms in `c (V ) with the property
(5.5.11). Then for every closed k-form, kc (X)
Z Z
f 1 = f 2 .
X X
5.5 Thom classes and intersection theory 263
(f 1 f 2 ) = df = d(f ) .
for all closed forms kc (X). Hence to prove that f has the
property (5.5.7) it suffices to prove
Z Z
(5.5.14) Limt0 f t = Y .
Y
Proof. The canonical form theorem for submersions (see Theorem 4.3.6)
says that for every p Y there exists a neighborhood U p of p in Y ,
a neighborhood, W of 0 in Rn , and an orientation preserving diffeo-
morphism : (W, 0) (Up , p) such that
(5.5.15) f =
Z
(5.5.17) hI (0, . . . , 0 , x`+1 , . . . , xn ) dx`+1 dxn .
In particular
Well next indicate how one computes I(Y, Z) when Y and Z in-
tersect non-tangentially, or, to use terminology more in current
usage, when their intersection is transversal. Recall that at a point
of intersection, p Y Z, Tp Y and Tp Z are vector subspaces of Tp X.
Definition 5.5.6. Y and Z intersect transversally if for every p
Y Z, Tp Y Tp Z = {0}.
Since n = k + ` = dim Tp Y + dim Tp Z = dim Tp X, this condition
is equivalent to
(5.5.23) T p X = Tp Y Tp Z ,
(5.5.25) Vp Y = f 1 (0)
and
(5.5.26) vp Z = g 1 (0) .
Moreover, by (4.3.4)
Tp Y = (dfp )1 (0)
and
Tp Z = (dgp )1 (0) .
(f, g) : Vp R` Rk = Rn .
f : O R`
Y = p (Y )f
Exercises.
I(Y, Z) = I(Y1 , Z) .
Y1 = f 1 (q1 )
I(Y , Z) = I(Y, Z) .
I(f, Z) = deg(f ) .
and its obvious that these maps are inverses of each other and hence
diffeomorphisms. We will orient f by requiring that f and be
orientation-preserving diffeomorphisms.
An example of a graph is the graph of the identity map of X onto
itself. This is the diagonal in X X
(5.6.4) = {(x, x) , x X}
and its intersection with f is the set
(5.6.5) {(x, x) , f (x) = x} ,
which is just the set of fixed points of f . Hence a natural way to
count the fixed points of f is as the intersection number of f and
in X X. To do so we need these three manifolds to be oriented,
but, as we noted above, f and acquire orientations from the
identifications (5.6.2) and, as for X X, well give it its natural
orientation as a product of oriented manifolds. (See 4.5.)
Definition 5.6.1. The global Lefshetz number of X is the intersec-
tion number
(5.6.6) L(f ) = I(f , ) .
In this section well give two recipes for computing this number:
one by topological methods and the other by making transversality
assumptions and computing this number as a sum of local intersec-
tion numbers a la (5.5.24). Well first show what one gets from the
transversality approach.
Definition 5.6.2. The map, f , is a Lefshetz map if f and in-
tersect transversally.
Lets see what being Lefshetz entails. Suppose p is a fixed point of
f . Then at q = (p, p) f
(5.6.7) Tq (f ) = (df )p Tp X = {(v, dfp (v)) , v Tp X}
and, in particular, for the identity map,
(5.6.8) Tq () = {(v, v) , v Tp X} .
Therefore, if and f are to intersect transversally, the intersection
of (5.6.7) and (5.6.8) inside Tq (X X) has to be the zero space. In
other words if
(5.6.9) (v, dfp (v)) = (v, v)
5.6 The Lefshetz theorem 273
(5.6.11) (I dfp ) : Tp X Tp X
Now set
vi = (ei , 0) Tq (X X)
and
wi = (0, ei ) Tq (X X) .
(5.6.13) v 1 , . . . , v n , w1 , . . . , w n
(5.6.15) v 1 + w1 , . . . , v n + wn
Lets summarize what weve shown so far.
Theorem 5.6.4. The map, f : X X, is a Lefshetz map if and
only if, for every fixed point, p, the map
() I dfp : Tp X Tp X
L(f ) = If ( T )
(5.6.18) L(f ) = IX (f T ) .
(5.6.20) 2 f = f .
Lemma 5.6.5. If 1 and 2 are in n (X) then
Z Z Z
(5.6.21) 1 1 2 2 = 1 2 .
XX X X
ki , i = 1, . . . , dk
j` , j = 1, . . . , d`
of H ` (X) satisfying
(5.6.24) IX (ki j` ) = ij .
(5.6.25) 1] r` 2] ks , k+`=n
X dk
X
(5.6.26) T = (1) `
1] ki 2] i .
k+`=n i=1
(5.6.27) IXX (T c) = I (] c)
: X X X , x (x, x)
5.6 The Lefshetz theorem 277
c = 1] r` 2] ks .
(1)` 1] ki 2] i` ,
0 0 0
(5.6.29) k 0 + `0 = n ,
1] ki r` 2] ks i` .
0 0
(1)k` 1] ki r` 2] k3 i` .
2
(Exercise: Check this. Hint: (1)` (1)` = 1.) Thus
X ]
T c = (1)k` 1 ki r` 2] ks i`
i
since
1 = 2 = idX .
So
]
IX ( c) = IX (r` ks ) = (1)k` rs
by (5.6.24). Thus the two sides of (5.6.27) are equal.
Thus by (5.6.24)
X X
IX (f] T ) = (1)` `
fji IX (ki j` )
X X
= (1)` `
fji ij
n
!
X X
= (1)` fii` .
`=0 i
5.6 The Lefshetz theorem 279
P `
But i fi,i is just the trace of the linear mapping (5.6.30) (see ex-
ercise 12 below), so we end up with the following purely topological
prescription of L(f ).
Theorem 5.6.9. The Lefshetz number, L(f ) is the alternating sum
X
(5.6.31) (1)` Trace (f ] )`
f ] : H ` (X) H ` (X) .
Exercises.
I(, ) = IXX (T , T ) .
has only one fixed point, namely the origin, and in particular has no
fixed points on the boundary.
(5.6.34) Lv (p) : Tp X Tp X
(dft0 )p = (dfa )N
p .
trace AB = trace BA .
:X Y X
:X Y Y
5.7 The Kunneth theorem 283
j` , 1 j dim H ` (Y )
v V1 B(v1 , v2 )
v V2 B(v1 , v) .
284 Chapter 5. Cohomology via forms
1 B1 + 2 B2 : V 1 V 2 W
(5.7.2) ` 1 `2 : V1 V2 R
by setting (`1 `2 )(v1 , v2 ) = `1 (v1 )`2 (v2 ). In other words one has a
tensor product map:
(5.7.3) V1 V2 V1 V2
(5.7.5) V (V ) .
5.7 The Kunneth theorem 285
(5.7.6) L : V 1 V2 W
` L : V 1 V2 R
(5.7.7) L] : W V1 V2 .
Well now define a notion of tensor product for the vector spaces
V1 and V2 themselves.
Definition 5.7.5. The vector space, V 1 V2 is the vector space dual
of V1 V2 , i.e., is the space
(5.7.8) V1 V2 = (V1 V2 ) .
(5.7.9) V 1 V2 V1 V2 .
(5.7.10) L # : V1 V2 W
H k (X) H ` (Y ) H m (X Y )
(5.7.12) H k (X) H ` (Y ) H m (X Y ) .
Let X
H1m (X Y ) = H k (X) H ` (Y ) .
k+`=m
(5.7.13) H1m (X Y ) H m (X Y )
H2m (U ) = H m (U Y ) .
: H1m (U ) H2m (U ) .
5.7 The Kunneth theorem 287
Exercises.
3. Show that the diagram below commutes. (This looks hard but
is actually very easy: just write down the definition of each arrow in
the language of forms.)
H2m (U )H2m (U1 ) H2m (U2 )H2m (U1 U2 )H2m+1 (U )
x x x x
k k k k
H1m (U )H1m (U1 ) H1m (U2 )H1m (U1 U2 )H1m+1 (U )