Exampl
Exampl
ANDREAS STRÖMBERGSSON
Contents
1. Problems 1
2. Solution suggestions 45
References 244
1. Problems
1
2 ANDREAS STRÖMBERGSSON
(b) Prove that given any C ∞ function f : [a, b] → R, there is ε > 0 and a
C ∞ function g : M → R such that a < s − ε < s + ε < b and g(c(t)) = f (t)
for all t ∈ (s − ε, s + ε).
Solution:
p. 69. Problem 13. [Details in the definition of tangent space.]
In the following all references are to Lecture #2:
(a). In Definition 3, verify that ∼ is an equivalence relation.
(b). On p. 4 (below Definition 3): Prove that for any fixed chart (U, x) with
p ∈ U , the map u 7→ [(U, x, u)] is indeed a bijection from Rd onto Tp M .
(c). On p. 5: Verify the claim that if M is a ((connected)) open subset of a
finite dimensional vector space V over R, then there is a natural identifica-
tion “Tp M = V ”, for every p ∈ M .
(d). On p. 7: Verify that dfp is well-defined.
(e). On p. 7: Verify the chain rule d(g◦f )p = dgf (p) ◦dfp , when f : M1 → M2
and g : M2 → M3 are C ∞ maps between C ∞ manifolds.
(f). On p. 8–9: Verify the three facts stated here!
Solution:
p. 70.
PROBLEMS; “RIEMANNIAN GEOMETRY” 7
1I think the group which Jost calls “O(n, 1)” is more appropriately called “O(1, n)”, in
view of the definition of h·, ·, i.
PROBLEMS; “RIEMANNIAN GEOMETRY” 9
Problem 21. [The maximal domain for exp, and the geodesic flow.]
The goal of this problem is to prove Theorem 2 in Lecture #4. Note that
the proof basically just consists in squeezing as much information as possible
out of the local ODE existence and uniqueness result (Theorem 1).
(a). For each p ∈ M and v ∈ Tp M there is a uniquely determined open
interval Iv ⊂ R containing 0 such that (i) there exists a geodesic cv : Iv → M
with cv (0) = p, ċv (0) = v and (ii) given any open interval J ⊂ R containing
0 and any geodesic γ : J → M with γ(0) = p, γ̇(0) = v, then J ⊂ Iv and
γ ≡ cv|J .
We call the above curve cv the (unique) maximal geodesic starting at
v ∈ Tp M .
(b). Set W = {(t, v) ∈ R×T M : t ∈ Iv } and define the map θ : W → T M
by θ(t, v) := ċv (t). Prove that for all v ∈ T M and s ∈ Iv we have θ(0, v) = v,
Iθ(s,v) = Iv − s, 2 and θ(θ(s, v), t) = θ(t + s, v) (∀t ∈ Iθ(s,v) ).
(c). There exist an open subset D ⊂ T M and a C ∞ map exp : D → M
such that for each p ∈ M and v ∈ Tp M , Iv := {t ∈ R : tv ∈ D} is an
an open interval containing 0, and the curve t 7→ exp(tv), Iv → M , is the
unique maximal geodesic starting at v. (Note that it is obvious that D and
exp are uniquely determined by the required properties.)
(d). Note that by (c), the set W in part (b) equals
W = {(t, v) ∈ R × T M : tv ∈ D},
and that this is an open subset of R × T M . For t ∈ R, set
Wt := {v ∈ T M : (t, v) ∈ W }
Prove that for each t ∈ R, Wt is an open subset of T M , and the map θ(t, ·)
is a C ∞ diffeomorphism of Wt onto W−t with inverse θ(−t, ·).
(The map θ : W → T M is called the geodesic flow on T M .)
Solution:
p. 90.
3By this we mean: X is a Riemannian manifold and d is the metric on X which comes
from the Riemannian structure.
12 ANDREAS STRÖMBERGSSON
and γ 1∗ , . . . , γ n3 ∗ ∈ ΓE3|U
∗
[Comment: Note that “µ|U = β j∗ ⊗ γk ⊗ µkj ” means that if we use the given
bases to identify E2|U with U × Rn2 and E3|U with U × Rn3 , then µ|U is
represented by the matrix
1
µ1 · · · µ1n2
..
(µkj ) = ... .
µn1 3 · · · µnn32
(wherein each entry is an r-form). Similarly “η|U = αj∗ ⊗βk ⊗ηjk ” means that
η|U is represented by the matrix (ηjk ) and “(µ ◦ η)|U = αi∗ ⊗ γk ⊗ (µkℓ ∧ ηiℓ )”
means that (µ ◦ η)|U is represented by the matrix (µkℓ ∧ ηiℓ )k,i . Hence when
r = s = 0, the formula gives back the usual formula for matrix product;
(µ ◦ η)|U = (µkℓ · ηiℓ )k,i , as it should.]
Solution:
p. 158.
22 ANDREAS STRÖMBERGSSON
(b). Let E1 and E2 be vector bundles over M . Prove that using the iden-
tification in part (a), the wedge product s1 ∧ s2 (cf. Problem 49(a)) of any
s1 ∈ Ωr (E1 ) and s2 ∈ Ωs (E2 ) is given by
(s1 ∧ s2 )(X1 , . . . , Xr+s )
1 X
= sgn(σ) s1 (Xσ(1) , . . . , Xσ(r) ) ⊗ s2 (Xσ(r+1) , . . . , Xσ(r+s) ),
r!s!
σ∈Sr+s
∀X1 , . . . , Xr+s ∈ Γ(T M ),
where Sr+s is the group of all permutations of {1, . . . , r + s}. Prove also a
e
similar formula for the product “s1 · s2 ∈ Ωr+s (E)”, in the case when there
e (cf. Problem 49(c)).
is given a multiplication rule from E1 , E2 to E
Solution:
p. 159.
PROBLEMS; “RIEMANNIAN GEOMETRY” 23
for each h ∈ (−ε, ε); let us write P∗γ,h for the dual of that map; this is a
∗
linear isomorphism Eγ(h) ∗ . Prove that for any µ ∈ ΓE ∗ ,
→ Eγ(0)
∗
P∗γ,h (µ(γ(h))) − µ(γ(0))
Dγ̇(0) (µ) = lim in Eγ(0) .
h→0 h
(b). Let (U, ϕ) be a fixed bundle chart for E; let d be the corresponding
naive connection on E|U and set A = D − d ∈ Ω1 (End E|U ), as usual. Prove
that for any µ ∈ Ωp (E|U ),
Dµ = dµ + A ∧ µ in Ωp+1 (E|U ),
where d is the naive exterior covariant derivative Ωp (E|U ) → Ωp+1 (E|U )
coming from the given bundle chart, and A ∧ µ is the image of A and µ un-
der the combined vector-wedge-product (cf. Problem 49(c)) Ω1 (End E|U ) ×
Ωp (E|U ) → Ωp+1 (E|U ) coming from the standard contraction (“evaluation”)
Γ(End E|U ) × ΓE|U → ΓE|U .
e be vector bundles over M , each equipped with a con-
(c). Let E1 , E2 , E
nection “D”. Assume given a multiplication rule from E1 , E2 to E,e i.e. a
∞
C (M )-linear map Γ(E1 ⊗ E2 ) → Γ(E). e We write s1 · s2 ∈ ΓEe for the
product of s1 ∈ ΓE1 , s2 ∈ ΓE2 , and we write “∧” for the corresponding
vector-wedge-product as in Problem 49(c). Assume that the connections
respect the multiplication rule, in the sense that
D(s1 · s2 ) = (Ds1 ) ∧ s2 + s1 ∧ (Ds2 ), ∀s1 ∈ ΓE1 , s2 ∈ ΓE2 .
Prove that then for any r, s ≥ 0,
D(µ1 ∧ µ2 ) = (Dµ1 ) ∧ µ2 + (−1)r µ1 ∧ Dµ2 , ∀µ1 ∈ Ωr (E1 ), µ2 ∈ Ωs (E2 ),
where “∧” is the vector-wedge-product as in Problem 49(c).
(d). Addendum to (c): Let m be the multiplication rule in (c), i.e. a C ∞ (M )-
linear map Γ(E1 ⊗ E2 ) → Γ(E). e By Problem 43(c), the multiplication rule
can be identified with a section m ∈ Γ(Hom(E1 ⊗ E2 , E)). e Prove that the
e
given connections on E1 , E2 , E respect the multiplication rule iff
Dm = 0.
e induced by the given con-
(Here D is the connection on Hom(E1 ⊗ E2 , E)
e
nections on E1 , E2 , E.)
Solution:
p. 175.
PROBLEMS; “RIEMANNIAN GEOMETRY” 27
∂ j
Aji;k = A − Γℓki · Ajℓ + Γjkℓ · Aℓi in U.
∂xk i
(b). Generalize the above to the case of a tensor field A ∈ Γ(Tsr M ), for any
r, s ≥ 0.
Solution:
p. 191.
30 ANDREAS STRÖMBERGSSON
∂
(a). For d = 2, prove that the vector field y 1 on U can not be extended
∂y 1
to a (C ∞ ) vector field on S 2 .
(b). For d = 3, prove that the vector field
∂ 1 ∂ 1 − (y 1 )2 − (y 2 )2 + (y 3 )2 ∂
(y 1 y 3 − y 2 ) + (y 2 3
y + y ) +
∂y 1 ∂y 2 2 ∂y 3
on U can be extended to a (C ∞ ) vector field on S 3 .
(c). Prove that for d = 2, the section
1
1 2 2 2 4
dy 1 ⊗ dy 1 + dy 2 ⊗ dy 2
(1 + (y ) + (y ) )
of T20 (U ) has a unique extension to a (C ∞ ) section of T20 (S 2 ). Prove also
that the above section defines a Riemannian metric on U , but its extension
to T20 (S 2 ) does not define a Riemannian metric on S 2 .
(d). Let d = 2 and set V = S 2 \ {(0, 0, 1)} (recall U = S 2 \ {(0, 0, −1)}). Fix
an integer m, and define the function µ : U ∩ V → GL2 (R) by
cos(m α(y)) − sin(m α(y))
µ(y) = , where α(y) := arg(y 1 + iy 2 ).
sin(m α(y)) cos(m α(y))
(Thus α(y) is the argument of the complex number y 1 + iy 2 ; note that this
number is non-zero for all points in U ∩ V .) Prove that there exists a vector
bundle E of rank 2 over S 2 which has bundle charts (U, φ) and (V, ψ) with
transition function µ, that is, so that ψp = µ(p) · φp : Ep → R2 for every
p∈U ∩V. (Hint: Problem 36 may be useful.)
Solution:
p. 192.
PROBLEMS; “RIEMANNIAN GEOMETRY” 31
appearing in the proof of Lemma 1 in Lecture #16 (and also in Jost, [12, p.
206 (line -4 to -3)]).
∂
Here gij,kℓ(x) := gij (x).
∂xk ∂xℓ
[Some hints/suggestions: For symmetry reasons we may assume i, j ∈ {1, 2}
and then it suffices to study gij (x) for x = (x1 , x2 , 0, . . . , 0). One can show
that Jost’s [12, Thm. 1.4.5] (⇔ Problem 23) implies thatpat any point
x = (x1 , x2 , 0, . . . , 0) the vector x1 ∂x∂ 1 + x2 ∂x∂ 2 has length x21 + x22 , and
is orthogonal to the vector −x2 ∂x∂ 1 + x1 ∂x∂ 2 . Now investigate carefully what
these facts imply for the functions gij (x1 , x2 , 0, . . . , 0) for i, j ∈ {1, 2}.]
Solution:
p. 214.
Problem 80. [A formula for sectional curvature.]
Let M be a Riemannian manifold, let p ⊂ M , and let Π be a plane in
Tp M (viz., a 2-dimensional linear subspace of Tp M ). Let Dr ⊂ Tp M be
the open disc of radius r in the plane Π, centered at 0. For r sufficiently
small, we know (by Theorem 3 in Lecture #4) that expp (Dr ) is an embedded
2-dimensional submanifold of M ; call its area Ar . Prove that
πr 2 − Ar
K(Π) = lim 12 .
r→0+ πr 4
(The Riemannian metric on expp (Dr ) is the one induced from M ; cf. Prob-
lem 18. Also the “area” of expp (Dr ) is the same as its “volume”; cf. p. 1 in
Lecture #12.) [Hint: The results from Problem 79 may be useful.]
Solution:
p. 216.
PROBLEMS; “RIEMANNIAN GEOMETRY” 37
here should not be confused with the exterior covariant derivative defined
in Proposition 4 in Lecture #10.)
(Hint: The formula can be proved either by expressing everything in local
coordinates using Christoffel symbols, or by working through the definitions
expressing all “∇” appearing in terms of the original Levi-Civita connection
∇ : Γ(T M ) → Ω1 (T M ).)
Solution:
p. 223.
Problem 83. [Basic fact on existence of variations of a curve.]
Let M be a C ∞ manifold, let c : [0, 1] → M be a C ∞ curve, and let Y be a
vector field along c.
(a). Prove that there exists a variation of c with c′ = Y , and that if Y (0) =
0 = Y (1) then this variation can be taken to be proper.
(b). Prove that if γ0 , γ1 : (−ε′ , ε′ ) → M are C ∞ curves with γ0 (0) = c(0),
γ̇0 (0) = Y (0), γ1 (0) = c(1), γ̇1 (0) = Y (1), then there exists a variation of c
with c′ = Y such that c(0, s) = γ0 (s) and c(1, s) = γ1 (s) for all small s.
Solution:
p. 225.
PROBLEMS; “RIEMANNIAN GEOMETRY” 39
(Comment: As explained in Lecture #17, the above fact can be used to prove
Cor. 3 in Lecture #17, which is [12, Cor. 5.2.4] with a modified criterion for
equality.)
(c). Prove the following alternative criterion for equality in #17, Cor. 3:
“If equality holds, and there does not exist a point conjugate to c(0) along
c, then γ must be a reparametrization of the curve t 7→ tv (t ∈ [0, 1]).”
Solution:
p. 226.
40 ANDREAS STRÖMBERGSSON
2. Solution suggestions
6we will discuss these notions in Lecture #6, and the product path in question will be
denoted “γ1 · γ 2 ”; however it should hopefully be clear already at this point how the curve
in question is constructed; just draw a picture!
46 ANDREAS STRÖMBERGSSON
Problem 2:
(a). First assume that M has a countable atlas A. For each chart (U, x) ∈
A, since x(U ) (an open subset of Rd ) is second countable, we can choose a
base U = U(U,x) for the topology of x(U ). Then set
U ′ = U(U,x)
′
:= {x−1 (V ) : V ∈ U(U,x) }.
This is a countable family of open subsets of U . Next let U ′′ be the union
′
of all families U(U,x) as (U, x) runs through A. This is a countable family of
open subsets of M . We claim that U ′′ is a base for the topology of M . In
order to prove this, let Ω be an arbitrary open set in M , and let p ∈ Ω. Take
a chart (U, x) ∈ A with p ∈ U . Then Ω ∩ U is an open set in U containing
p, and so x(Ω ∩ U ) is an open subset of x(U ) and x(p) ∈ x(Ω ∩ U ). Hence,
since U(U,x) is a base for x(U ), there is V ∈ U(U,x) such that
x(p) ∈ V ⊂ x(Ω ∩ U ).
Then x−1 (V ) ∈ U ′ ⊂ U ′′ and
p ∈ x−1 (V ) ⊂ Ω ∩ U ⊂ Ω.
This proves that U ′′ is a base for the topology of M . Done!
We now prove the opposite implication. Thus assue that M is second
countable; let U be a countable base for the topology of M . Also let A be
the family of all charts on M ; this is an atlas for M . Set
U ′ := {U ∈ U : there is some x : U → Rd s.t. (U, x) ∈ A}.
We claim that U ′ covers M , i.e. ∪U ∈U ′ U = M . To prove this, take an
arbitrary point p ∈ M . Then there is some chart (U, x) ∈ A with p ∈ U ,
and since U is a base for M there is V ∈ U such that p ∈ V ⊂ U . Now
(V, x|V ) is also a chart for M (since the restriction of a homeomorphism to
an open subset is itself a homeomorphism onto its image), i.e. (V, x|V ) ∈ A,
and thus V ∈ U ′ . Hence U ′ indeed covers M . It follows that if for each
U ∈ U ′ we choose one map xU : U → Rd such that (U, xU ) ∈ A, then
{(U, xU ) : U ∈ U ′ }
is an atlas for M . This atlas is countable since U ′ is countable (since U ′ ⊂ U ).
Done!
(b). By the notes to Lecture #1, this is clear from part (a).
PROBLEMS; “RIEMANNIAN GEOMETRY” 47
and
(10) y ◦ z −1 : z(V ∩ W ) → y(V ∩ W )
are diffeomorphisms. Now set
Ω := x(U ∩ V ∩ W ).
This is an open subset of x(U ), since U ∩ V ∩ W is an open subset of U and x
is a homeomorphism. Restricting the diffeomorphisms in (9) and (10) to the
open subsets Ω and z(U ∩ V ∩ W ), respectively, we obtain diffeomorphisms
(11) z ◦ x−1 : Ω → z(U ∩ V ∩ W )
and
(12) y ◦ z −1 : z(U ∩ V ∩ W ) → y(U ∩ V ∩ W ).
It follows that the composition of these two maps is also a diffeomorphism,
from Ω onto y(U ∩ V ∩ W ). But this composition equals (y ◦ x−1 )|Ω . Hence
we have proved, in particular, that (y ◦ x−1 )|Ω is C ∞ . This completes the
proof that A′ is a C ∞ atlas.
It is immediate from the construction of A′ that A′ is C ∞ structure, i.e. a
maximal C ∞ atlas. (Indeed, suppose that A′′ is any C ∞ atlas with A′′ ⊃ A′ .
Let (U, x) ∈ A′′ . By definition of “atlas”, (U, x) is compatible with every
chart in A′′ ; and A ⊂ A′ ⊂ A′′ ; hence (U, x) is compatible with every chart
in A, and therefore (U, x) ∈ A′ , by the definition of A′ . Hence we have
proved that A′′ ⊂ A′ , and so in fact A′′ = A′ .)
It remains to prove that A′ is the only C ∞ structure on M with A ⊂ A′ .
Thus assume that A′′ is an arbitrary C ∞ structure on M with A ⊂ A′′ .
Since A′′ is a C ∞ atlas, every chart (U, x) ∈ A′′ is compatible with every
chart in A′′ ; in particular (U, x) is compatible with every chart in A, and
thus (U, x) ∈ A′ , by the definition of A′ . Hence A′′ ⊂ A′ . But this implies
that A′′ = A′ , since A′′ is a maximal C ∞ atlas. This completes the proof.
PROBLEMS; “RIEMANNIAN GEOMETRY” 49
Problem 5:
(a) One simple way to construct such a set H is as follows. Given any
real number 0 < t < 2, let
tr if r ∈ (0, 41 ]
ft : (0, 1) → (0, 1), ft (r) := 12 (t − 1) + (2 − t)r if r ∈ ( 41 , 12 ]
r if r ∈ ( 21 , 1).
One verifies that ft is continuous, strictly increasing, and bijective, with
inverse
−1
t r if r ∈ (0, 4t ]
−1 −1
ft : (0, 1) → (0, 1), ft (r) := (2 − t)−1 (r + 12 (1 − t)) if r ∈ ( 4t , 21 ]
r if r ∈ ( 12 , 1)
which is also continuous and strictly increasing. (These facts are most easily
verified by simply drawing the graph of ft ; this graph is a union of three
line segments: one from (0, 0) to ( 41 , 14 t), one from ( 41 , 14 t) to ( 21 , 12 ), and one
from ( 12 , 12 ) to (1, 1).) Hence ft is a homeomorphism of (0, 1) onto itself.
Next define ht : B1 (0) → B1 (0) through
0 if x = 0
ht (x) = ft (kxk)
x if x 6= 0.
kxk
Note that
kht (x)k = ft (kxk), ∀x ∈ B1 (0) \ {0};
and recall ft (r) ∈ (0, 1) for all r ∈ (0, 1); hence ht is indeed a map into
B1 (0). Clearly ht is continuous in B1 (0) \ {0}; but we also have kht (x)k → 0
(i.e. ht (x) tends to the origin) as x → 0, since ft (r) → 0 as r → 0+ ; therefore
ht is continuous in all B1 (0). Similarly one verifies that
0 if x = 0
e −1
ht (x) = ft (kxk)
x if x 6= 0.
kxk
defines a continuous map e ht : B1 (0) → B1 (0) satisfying ke
ht (x)k = ft−1 (kxk)
for all x ∈ B1 (0) \ {0}. Now we have
ht (e
ht (x)) = e
ht (ht (x)) = x, ∀x ∈ B1 (0).
(Proof: This is immediate for x = 0. Now assume x 6= 0. Then
ft (ke
ht (x)k) e ft (ft−1 (kxk)) e kxk e
ht (e
ht (x)) = ht (x) = −1 ht (x) = −1 ht (x) = x.
e
kht (x)k f t (kxk) f t (kxk)
(Remark: The whole lemma can be seen as obvious. Namely, (M, Aϕ ) can
be seen as “what one gets from (M, A) after changing names on all points
according to ϕ”. Viewed in this way, ϕ “is identity map”!)
52 ANDREAS STRÖMBERGSSON
Proof. Let T be the family of all charts on the topological manifold M . Note
that for any (V, y) ∈ T we have (ϕ−1 (V ), y ◦ ϕ) ∈ T ; hence we have a map
Φ:T →T, Φ(V, y) := (ϕ−1 (V ), y ◦ ϕ).
In fact Φ is a bijection, with Φ−1 (V, y) = (ϕ(V ), y ◦ ϕ−1 ). Note that
(14) Aϕ = {Φ(V, y) : (V, y) ∈ A}.
Next we note that for any two charts (V, y), (W, z) ∈ T , we have the
equivalence
[(V, y) and (W, z) are C ∞ compatible]
(15) ⇔ [Φ(V, y) and Φ(W, z) are C ∞ compatible].
Indeed, by definition (V, y) and (W, z) are C ∞ compatible iff the map
(16) z ◦ y −1 : y(V ∩ W ) → z(V ∩ W )
is a diffeomorphism (it is always a homeomorphism), and similarly Φ(V, y)
and Φ(W, z) are C ∞ compatible iff the map
(17) z ◦ ϕ ◦ (y ◦ ϕ)−1 : (y ◦ ϕ)(ϕ−1 (V ) ∩ ϕ−1 (W ))
→ (z ◦ ϕ)(ϕ−1 (V ) ∩ ϕ−1 (W ))
is a diffeomorphism. However, ϕ−1 (V ) ∩ ϕ−1 (W ) = ϕ−1 (V ∩ W ), and now
by inspection one verifies that the two maps in (16) and (17) are the same.
Hence the equivalence in (15) holds.
Clearly the charts in Aϕ cover M , since the charts in A cover M . Note
also that any two charts in Aϕ are C ∞ compatible; this follows from (14)
and (15) and the fact that A is a C ∞ atlas. Hence Aϕ is a C ∞ atlas. In fact
(14) and (15) show that for any chart (V, y) ∈ T , if (V, y) is C ∞ compatible
with Aϕ then Φ−1 (V, y) is C ∞ compatible with A; hence Φ−1 (V, y) ∈ A
since A is a maximal C ∞ atlas, and so (V, y) ∈ Aϕ . Hence Aϕ is a maximal
C ∞ atlas on M , i.e. Aϕ is a C ∞ structure on M .
It remains to prove that ϕ is a diffeomorphism of (M, Aϕ ) onto (M, A).
For this, our task is to verify that for any (V, y) ∈ Aϕ and any (W, z) ∈ A,
the map
z ◦ ϕ ◦ y −1 : y(V ∩ ϕ−1 (W )) → z(V ∩ ϕ−1 (W ))
is a diffeomorphism. However (V, y) ∈ Aϕ means that (V, y) = Φ(Ve , ye) =
(ϕ−1 (Ve ), ye ◦ ϕ) for some (Ve , ye) ∈ A, and so
z ◦ ϕ ◦ y −1 = z ◦ ϕ ◦ (e
y ◦ ϕ)−1 = z ◦ ye−1
on the set
y(V ∩ ϕ−1 (W )) = ye(ϕ(V ∩ ϕ−1 (W ))) = ye(ϕ(V ) ∩ W ) = ye(Ve ∩ W ).
Thus, our task is to verify that z ◦ϕ◦y −1 is a diffeomorphism from ye(Ve ∩ W )
onto z(Ve ∩ W ), and this holds since (Ve , y) and (W, z) are charts in A.
PROBLEMS; “RIEMANNIAN GEOMETRY” 53
(b), (c) ... we leave this to the reader ... (Note that the first part of (c)
is immediate from (b), since f|U = f ◦ i.)
7In the literature it varies whether one defines a “manifold” to always be connected.
However recall that in our course, we do require every manifold to be connected!
8(In fact one can show that A is itself a C ∞ structure on U .)
|U
PROBLEMS; “RIEMANNIAN GEOMETRY” 55
Problem 7:
(a) Let W = M \ supp(f ); this is an open subset of M , and W ∪ U = M .
We have f|U ∈ C ∞ (U ) by assumption. also f|W ≡ 0; hence f|W ∈ C ∞ (W ).
(Cf. Problem 6 regarding the fact that U and W are C ∞ manifolds; hence
the function spaces “C ∞ (U )” and “C ∞ (W )” are defined.) Hence every point
in M has an open neighbourhood in which f is C ∞ . Hence by Problem 6(c),
f ∈ C ∞ (M ).
(b) Let K = supp(f ); by assumption this is a compact subset of U .
We claim that supp(fe) = K; if we prove this then the desired statement
fe ∈ C ∞ (M ) follows from part (a). Note that K is a compact subset of M
(since “compactness is an absolute property”; for example, use the fact that
the inclusion map i : U → M is continuous, and the image of any compact
set under a continuous map is compact). Hence K is a closed subset of M .
Also note that {p ∈ M : fe(p) 6= 0} ⊂ K, by the definitions of fe and K.
Hence supp(fe), being the closure of {p ∈ M : fe(p) 6= 0} in M , is contained
in K. The opposite inclusion is obvious; hence supp(fe) = K. Done!
(c). This is a special case of part (d).
(d). Let {(Uα , xα )} be a C ∞ atlas on M . Let (Vβ )β∈B together with
(ϕβ )β∈B be a partition of unity subordinate to (Uα ), as in [12, Lemma 1.1.1].
For each β ∈ F we write Kβ := supp ϕβ ; this is a compact set contained in
Vβ .
Let us start by noticing that for each β ∈ B, there exists a C ∞ function
fβ : Vβ → [0, 1] which has compact support contained in Vβ ∩ U and which
satisfies fβ|K∩Kβ ≡ 1. Indeed, since (Vβ )β∈B is a refinement of (Uα ), for our
given β ∈ F there exists some α such that Vβ ⊂ Uα . Using now the chart
(Uα , xα ) to translate the problem into Euclidean coordinates, we are reduced
to proving that for any compact set K e and open set U e with K e ⊂U e ⊂ Rd ,
there is a C ∞ function f : Rd → [0, 1] with compact support contained in U e
and which satisfies f|Ke ≡ 1. For this, cf., e.g., [10, Thm. 1.4.1] (one considers
the convolution of the characteristic function of K e and a “bump” function
with sufficiently small support).
For any β ∈ B such that K ∩ Vβ = ∅ we may of course choose the above
function fβ to be identically zero; from now on we require this to hold.
Next for each β ∈ F we define feβ : M → R by feβ ≡ fβ in Vβ and feβ = 0
outside Vβ ; by part (a) we then have feβ ∈ C ∞ (M ). We next set
X
f := ϕβ feβ .
β∈B
Clearly
P f ∈ C ∞ (M ). Also for every p ∈ M we have f (p) ≥ 0 and f (p) ≤
β∈F ϕβ (p) ≤ 1.
56 ANDREAS STRÖMBERGSSON
P
Fix an arbitrary point p ∈ K. We have β∈B ϕβ (p) = 1 by the defining
property ot (ϕβ ). Also feβ (p) = 1 for every β ∈ B with p ∈ Kβ (since we
are assuming p ∈ K), and thus feβ (p) = 1 for every β ∈ B with ϕβ (p) 6= 0.
P P
Hence f (p) = β∈B ϕβ (p)feβ (p) = β∈B ϕβ (p) = 1. We have thus proved
that f|K ≡ 1.
In order to prove that f has compact support, we will use the requirement
from above that fβ ≡ 0 (and so feβ ≡ 0) whenever K ∩ Vβ = ∅. This means
that the sum defining f may just as well be restricted to the following subset
of B:
F := {β ∈ B : K ∩ Vβ 6= ∅}.
Now since (Vβ ) is locally finite, F is a finite set. (This is a standard fact; here
is a detailed proof: Since (Vβ ) is locally finite, for every p ∈ M we can choose
– using the axiom of choice – an open set Up ⊂ M such that p ∈ Up and
#{β ∈ B : Vβ ∩Up 6= ∅} < ∞. Since K is compact, there exists a finite subset
F ′ ⊂ K such that K ⊂ ∪p∈F ′ Up . NowPfor every β ∈ F there is some p ∈ F ′
such that Vβ ∩ Up 6= ∅; hence #F ≤ p∈F ′ #{β ∈ B : Vβ ∩ Up 6= ∅} < ∞.
Done!)
P P
It follows from f (p) = β∈B ϕβ (p)feβ (p) = β∈F ϕβ (p)feβ (p) that
[ [
supp(f ) ⊂ supp(feβ ) = supp(fβ )
β∈F β∈F
(for the inclusion one uses the fact that ∪β∈F supp(feβ ) is a closed subset of
M ; for the equality see part (b)). The last set is a finite union of compact
sets, hence itself compact. Also by construction, supp(fβ ) ⊂ U for each
β ∈ F . Hence supp(f ) ⊂ U , and also since supp(f ) is closed and contained
in a compact set, supp(f ) is itself compact.
Hence the function f has all the desired properties.
Problem 8.
(a). We endow M × N with the product topology (viz., a subset of M × N
is open iff it can be written as a union of sets of the form U × V with U ⊂ M
and V ⊂ N ). Then M ×N is Hausdorff and connected. (We leave the details
to the reader...) We will verify at the end that M × N is also paracompact
(according to Wikipedia the product of to general paracompact topological
spaces need not be paracompact; thus we need to make use of the fact that
M, N have more structure).
Let the dimensions of M and N be d and d′ , respectively. Let A be a
C∞ structure on M and let B be a C ∞ structure on N . For any charts
(U, x) ∈ A and (V, y) ∈ B, U × V is an open set in M × N , and we write
(x, y) 9 for the map
′ ′
(x, y) : U × V → Rd × Rd = Rd+d , (x, y)(p, q) := (x(p), y(q)).
This map (x, y) is in fact a homeomorphism from U × V onto x(U ) × y(V )
′
(which is an open subset of Rd × Rd ).
[Outline of proof: (x, y) is clearly a bijection from U ×V onto x(U )×y(V ).
We leave it to the reader to verify – or recall from basic point set topology
– that (x, y) is continuous. Similarly the inverse map, (x, y)−1 = (x−1 , y −1 )
is continuous since x−1 and y −1 are continuous.]
Hence for any charts (U, x) ∈ A and (V, y) ∈ B, we have that (U ×V, (x, y))
is a chart on M × N . Now set
C := {(U × V, (x, y)) : (U, x) ∈ A, (V, y) ∈ B}.
This is clearly an atlas on M × N .
Let us now verify that M × N is paracompact. By the notes to Lecture
#1, with reference to math.stackexchange.com/questions/527642, it suffices
to prove that M ×N is second countable, and this is a simple consequence of
the fact that M and N are second countable. Indeed, let UM be a countable
base for M and let UN be a countable base for N , and set
U = {U × V : U ∈ UM , V ∈ UN }.
9Note that there is a glitch between this notation “(x, y)” and the notation “(f, g)”
used in part (c). Let us discuss this carefully in the abstract setting of maps between
sets: Thus if A, B1 , B2 are three sets and α : A → B1 and β : A → B2 are maps, then we
define the map “(α, β) : A → B1 × B2 ” by (α, β)(p) := (α(p), β(p))”. This is the notation
which we use in part (c), and it is also the standard notation for “category theoretical
product”; cf. wikipedia. On the other hand if A1 , A2 , B1 , B2 are sets and γ : A1 → B1
and δ : A2 → B2 are maps then we define the map [γ, δ] : A1 × A2 → B1 × B2 by
[γ, δ](p, q) := (γ(p), δ(q)). The “(x, y)” which we use here in our solution to part (a) is
this constructions; we use the notation “[·, ·]” in this footnote for clarity, but in practice
there is no problem to use “(·, ·)” for both, and it is also quite standard. Note that the
two constructions are related by the simple relation [γ, δ] = (γ ◦ pr1 , δ ◦ pr2 ); indeed see
part (d) of the present problem.
58 ANDREAS STRÖMBERGSSON
(b). Let the C ∞ atlases A, B, C be as in part (a). In order to prove that pr1
is C ∞ we have to prove that for any charts (W, z) ∈ A and (U ×V, (x, y)) ∈ C
(with (U, x) ∈ A and (V, y) ∈ B), the map
z ◦ pr1 ◦(x, y)−1 : (x, y) (U × V ) ∩ pr−1 1 (W ) → z(W ) ⊂ Rd
(d). This is immediate from parts (b) and (c) since the map in question
equals
(21) (f ◦ pr1 , g ◦ pr2 ),
where we use the “(·, ·)” notation from part (c), and pr1 , pr2 are the projec-
tion maps pr1 : M1 × M2 → M1 and pr2 : M1 × M2 → M2 .
[Detailed explanation (cf. also footnote 9 above): Write M := M1 × M2 ;
then f ◦ pr1 is a C ∞ map M → N1 , by part (b) and since any composition
of C ∞ maps is C ∞ . Similarly g ◦ pr2 is a C ∞ map M → N2 . Hence by part
(c), (f ◦ pr1 , g ◦ pr2 ) is a C ∞ map M → N1 × N2 . And this is indeed the
map which we are interested in, since for every (p, q) ∈ M1 × M2 = M we
have:
(f ◦ pr1 , g ◦ pr2 )(p, q) = (f ◦ pr1 (p, q), g ◦ pr2 (p, q)) = (f (p), g(q)).
Done!]
60 ANDREAS STRÖMBERGSSON
Problem 9.
(a). ∼ is reflexive since Id ∈ Γ. To see that ∼ is symmetric, assume
p ∼ q; then there is γ ∈ Γ s.t. γ(p) = q; but then γ −1 ∈ Γ and γ −1 (q) = p;
hence q ∼ p. Finally let us prove that ∼ is transitive. Assume p ∼ q and
q ∼ r. Then there exist γ, γ ′ ∈ Γ such that γ(p) = q and γ ′ (q) = r. Then
γ ′ γ(p) = r, and γ ′ γ ∈ Γ. Hence ∼ is transitive. Done!
(b). The fact that the definition gives a topology on Γ\M is immediate
if we note that “π −1 respects intersections and unions of sets”, i.e. for any
family {Uα } of subsets Uα ⊂ Γ\M we have π −1 (∪α Uα ) = ∪α π −1 (Uα ) and
π −1 (∩α Uα ) = ∩α π −1 (Uα ). (This is in fact a property of the inverse of any
map. Here we use it for finite intersections and arbitrary unions.) We also
use the fact that π −1 (∅) = ∅ and π −1 (Γ\M ) = M , both of which are open
in Γ\M .
Note also that it is immediate from the definition of the topology on Γ\M
that the projection map π : M → Γ\M is continuous.
We next prove that Γ\M is Hausdorff. This is considerably more difficult.
Thus consider two distinct, arbitrary points in Γ\M , say [p] and [q], where
p, q ∈ M . Since M is locally Euclidean we can choose open sets U, V ⊂ M
such that p ∈ U , q ∈ V , and U and V are compact. Now since Γ acts
properly discontinuously, the set
F := {γ ∈ Γ : γ(U ) ∩ V 6= ∅}
(22) ∀γ ∈ Γ : γ(U1 ) ∩ V1 = ∅.
These are open subsets of Γ\M ! (Proof: One verifies that π −1 (U2 ) =
∪γ∈Γ γ(U2 ); and this is a union of open sets, hence open (in M ). There-
fore U2 is open in Γ\M . Similarly U2 is open in Γ\M .) Furthermore, (22)
implies that U2 ∩ V2 = ∅. Hence we have proved that Γ\M is Hausdorff.
Next we prove that Γ\M is connected; in fact we prove that Γ\M is path-
connected (this trivially implies connectedness). Consider any two points
in Γ\M , say [p] and [q] with p, q ∈ M . Since M is path-connected (cf.
Problem 1), there is a curve γ : [0, 1] → M with γ(0) = p and γ(1) = q. But
then π ◦ γ : [0, 1] → Γ\M is a curve from π(p) = [p] to π(q) = [q]. Hence
Γ\M is path-connected.
Next we will prove that Γ\M is locally Euclidean. We say that a subset
U ⊂ M is injectively embedded in Γ\M if the restriction π|U is injective.
Let I be the family of open sets in M which are injectively embedded in
Γ\M . Let us prove:
(24)
∀U ∈ I : π(U ) is open and π|U is a homeomorphism from U onto π(U ) .
Take U ∈ I. Clearly π|U is a bijection of U onto π(U ). We have also noted
that π is continuous. Furthermore π is an open map, i.e. maps any open
subset of M to an open subset of Γ\M ; this is shown by the argument
below (23). Using these facts it follows that π(U ) is open and π|U is a
homeomorphism from U onto π(U ), i.e. (24) is proved. Next we claim:
[
(25) I cover M ; that is, U = M.
U ∈I
Problem 10:
(a) If V is open (in M ) then V ∩ Uα is open in Uα for every α by definition
of the subspace topology of Uα .
Conversely, assume that V ∩ Uα is open in Uα for every α. By definition
of the subspace topology of Uα , this means that for each α there exists an
open set W ⊂ M such that V ∩ Uα = W ∩ Uα , and hence V ∩ Uα is open as
a subset of M . Now V = ∪α (V ∩ Uα ) since M = ∪α Uα ; thus V is a union
of open subsets of M and therefore V is itself an open subset of M .
(b) Let T be the family of all “open” sets in a given “C ∞ fold” M . We
have to prove that (i) ∅ ∈ T , (ii) M ∈ T , and that T is closed under (iii)
arbitrary unions and under (iv) finite intersections:
(i) For every α ∈ A we have xα (∅ ∩ Uα ) = ∅ and this is an open subset of
Rd . Hence ∅ ∈ T .
(ii) For every α ∈ A we have xα (M ∩ Uα ) = xα (Uα ), which is an open
subset of Rd by our assumptions. Hence M ∈ T .
(iii) Let {Vβ }β∈B be an arbitrary family of sets in T . Then for every
α ∈ A,
xα ∪β∈B Vβ ∩ Uα = xα ∪β∈B Vβ ∩ Uα = ∪β∈B xα Vβ ∩ Uα ,
and here xα Vβ ∩ Uα is an open subset in Rd for every β ∈ B, since Vβ ∈ T .
Hence xα ∪β∈B Vβ ∩ Uα , being a union of open subsets of Rd , is itself an
open subset of Rd . This is true for every α ∈ A; hence ∪β∈B Vβ ∈ T .
(iv) Let {Vβ }β∈B be a finite family of sets in T . Then for every α ∈ A,
xα ∩β∈B Vβ ∩ Uα = xα ∩β∈B Vβ ∩ Uα = ∩β∈B xα Vβ ∩ Uα .
(The last equality holds since xα is injective.) Here xα Vβ ∩ Uα is an open
subset in Rd for every β ∈ B, since Vβ ∈ T . Hence xα ∩β∈B Vβ ∩ Uα ,
being a finite intersection of open subsets of Rd , is itself an open subset of
Rd . This is true for every α ∈ A; hence ∩β∈B Vβ ∈ T .
This completes the proof that T is a topology.
fold.
Now fix any point p ∈ U \ U ′ not lying in the interior of U \ U ′ ; such a
point certainly exists. (Indeed we can find such a point on any line segment
between a point in U ′ and a point in U \ U ′ .) Then every open subset V of
U containing p has nonempty intersection with U ′ . Now consider the two
points (p, 1) and (p, 2) in M . Let W1 , W2 be any two open subsets of M
such that (p, 1) ∈ W1 and (p, 2) ∈ W2 . Then for both j = 1, 2 we have
that xj (Wj ∩ Uj ) is an open subset of xj (Uj ) = U containing xj ((p, j)) = p.
Hence also x1 (W1 ∩ U1 ) ∩ x2 (W2 ∩ U2 ) is an open subset of U containing p,
and as we noted above this implies that this set has nonempty intersection
with U ′ , i.e. there exists a point
q ∈ U ′ ∩ x1 (W1 ∩ U1 ) ∩ x2 (W2 ∩ U2 ).
By the definitions of x1 , x2 it then follows that q ∈ W1 ∩ W2 . Thus we have
proved that for any two open subsets W1 , W2 of M subject to (p, 1) ∈ W1
and (p, 2) ∈ W2 , it holds that W1 ∩ W2 6= ∅. Hence M is not Hausdorff.
(Compare Boothby [1, p. 59, Exc. 5]; note that the above shows that the
answer to that question is NO.)
(c) Assume that the stated criterion holds. Let p, q be two distinct points
in M . By assumption there is α ∈ A such that p, q ∈ Uα . Now xα (p) 6= xα (q)
since xα is a bijection, and hence (since Rd is Hausdorff) there exist two
disjoint open subsets W, W ′ ⊂ xα (Uα ) such that xα (p) ∈ W , xα (q) ∈ W ′ .
Then x−1 −1 ′ −1 −1
α (W ) and xα (W ) are disjoint, and p ∈ xα (W ), q ∈ xα (W ).
′
where ϕ := xα ◦ x−1
β : xβ (Uα ∩ Uβ ) → Rd . (We have that ϕ is a bijection
of xβ (Uα ∩ Uβ ) onto xα (Uα ∩ Uβ ).) By assumption ϕ is C ∞ , in particu-
lar continuous; hence since W is open also ϕ−1 (W ) is open, and we have
thus completed the proof that x−1 α (W ) is open in M . Of course the same
argument shows that xα−1 (W ′ ) is open in M . Done!
Problem 11.
(a). By [12, Lemma 1.1.1] there exists a locally finite refinement V =
∞
P of U and C0 functions ψβ : M → [0, 1] with supp ψβ ∈ Vβ (∀β ∈ B)
(Vβ )β∈B
and β∈B ψβ (x) = 1 (∀x ∈ M ). Now since V is a local refinement of U ,
we can choose (using the axiom of choice, in general), for each β ∈ B, some
α(β) ∈ A so that Vβ ⊂ Uα(β) . Having made such a choice, we define, for
each α ∈ A:
X
ϕα := ψβ .
β∈B
(α(β)=α)
(The sum is taken over all β ∈ B which satisfy α(β) = α.) We claim that
these functions ϕα satisfy all the requirements in the problem formulation!
To prove this, let p be an arbitrary point in M . Then there is an open
neighborhood Ω ⊂ M of p such that the set
BΩ := {β ∈ B : Vβ ∩ Ω 6= ∅}
is finite. Now for p ∈ Ω we have
X
ϕα (p) = ψβ (p) (p ∈ Ω).
β∈BΩ
(α(β)=α)
In other words:
X
(27) ϕα|Ω = ψβ|Ω
β∈BΩ,α
where BΩ,α = {β ∈ BΩ : α(β) = α}. This says that, for every α ∈ A, ϕα|Ω
is a finite sum of C ∞ functions; hence ϕα|Ω is itself a C ∞ function. Since
every point p ∈ M has such a neighborhood Ω, we conclude that ϕα is C ∞
(∀α ∈ A).
Furthermore, from P the definition of ϕα , and the fact that each ψβ takes
values in [0, 1] and β∈B ψβ ≡ 1, it follows that ϕα (p) ∈ [0, 1] for all p ∈ M .
We also note that for every p ∈ M we have
X X X X
(28) ϕα (p) = ψβ (p) = ψβ (p) = 1.
α∈A α∈A β∈B β∈B
(α(β)=α)
of p as above, i.e. so that the set BΩ is finite. Recall the formula (27). For
each β ∈ BΩ,α we have supp ψβ ⊂ Vβ ⊂ Uα(β) = Uα . Hence also
[
F := supp ψβ ⊂ Uα .
β∈BΩ,α
Also supp ψβ is a closed (even compact) subset of M for every β; hence since
BΩ,α is finite, the set F is also a closed subset of M . Hence
Ω′ := Ω \ F
is an open subset of M . Note that p ∈ Ω′ since p ∈ Ω, F ⊂ Uα and
p∈ / Uα . Also, by (27) and our definition of F , we have ϕα (q) = 0 for all
q ∈ Ω′ . Hence, since Ω′ is open, Ω′ is disjoint from supp ϕα , and in particular
p∈ / supp ϕα . To sum up, we have proved that every point p ∈ M \ Uα lies
outside supp ϕα . Hence supp ϕα ⊂ Uα , and we are done!
Problem 12.
(a) [We leave it to the reader to sort out certain details in the proof below,
hidden in phrases such as “passing to local coordinates”; “translation and
rotation”; etc; what we are doing there is creating a new C ∞ chart by
composing by appropriate diffeomorphism(s)...]
Passing to local coordinates we may assume M = Rn . After a rotation
and a scaling we may also assume ċ(s) = e1 := (1, 0, . . . , 0). Let us write
c(t) = (c1 (t), . . . , cn (t)); then c′1 (s) = 1 and c′j (s) = 0 for j ≥ 2. It follows
that there is ε > 0 such that c1 restricted to (s − ε, s + ε) is a diffeomorphism
onto an open interval I ⊂ R. Let α1 : I → (s − ε, s + ε) be the inverse
diffeomorphism. Then α1 (c1 (t)) = t for all t ∈ (s − ε, s + ε). Define
α : I × Rn−1 → (s − ε, s + ε) × Rn−1 ;
α(x1 , . . . , xn ) := (α1 (x1 ) − s, x2 , . . . , xn ).
Then α is a diffeomorphism of I × Rn−1 onto (−ε, +ε) × Rn−1 , and α(c(t)) =
(t−s, ∗, . . . , ∗) for all t ∈ (s−ε, s+ε). Hence after composing our coordinate
chart with α, we have c1 (t) = t−s for all t ∈ (s−ε, s+ε). Finally we consider
the map
β : (−ε, ε) × Rn−1 → (−ε, ε) × Rn−1
β(x1 , . . . , xn ) = (x1 , x2 − c2 (s + x1 ), . . . , xn − cn (s + x1 )).
Note that β is a C ∞ diffeomorphism of (−ε, ε) × Rn−1 onto (−ε, ε) × Rn−1 ;
indeed β is C ∞ and the inverse map is
(x1 , . . . , xn ) 7→ (x1 , x2 + c2 (s + x1 ), . . . , xn + cn (s + x1 )),
which is also C ∞ . Then
β(c(t)) = (t − s, 0, . . . , 0), ∀t ∈ (−ε, ε).
Hence by composing our coordinate chart with β, we obtain a coordinate
chart with the desired property!
(b) Take ε > 0 and a chart (U, x) as in part (a). After possibly shrinking
U , we may assume that s + x1 (p) ∈ (a, b) for all p ∈ U . Define
h : U → R, h(p) := f (s + x1 (p)).
Then h is a C ∞ function and h(c(t)) = f (s + x1 (c(t))) = f (t) for all t ∈
(s − ε, s + ε). Now fix any open neighborhood U1 ⊂ U of c(s) having
compact closure U 1 in U . Then by Problem 7(d), there exists a C ∞ function
g : M → R which satisfies g|U1 ≡ h|U1 . By shrinking ε, we may assume that
c(t) ∈ U1 for all t ∈ (s − ε, s + ε). Then g(c(t)) = h(c(t)) = f (t) for all
t ∈ (s − ε, s + ε), and we are done.
70 ANDREAS STRÖMBERGSSON
Problem 13:
(a). Recall that for a given C ∞ manifold M and a point p ∈ M , we
consider the set
(30)
S := {(U, x, u) : (U, x) is a chart on M with p ∈ U , and u ∈ Tx(p) (x(U ))},
(where Tx(p) (x(U )) := Rd ) and define the relation ∼ on S by
def
(U, x, u) ∼ (V, y, v) ⇔ u = d(x ◦ y −1 )y(p) (v).
(b). Injectivity: Assume that u, v ∈ Rd give [(U, x, u)] = [(U, x, v)]. This
means that (U, x, u) ∼ (U, x, v), i.e. u = d(x ◦ x−1 )x(p) (v). But d(x ◦ x−1 )x(p)
is the identity map on Rd ; hence u = v. This proves that the given map is
injective.
Surjectivity: Consider an arbitrary element in Tp M ; we can always rep-
resent it as [(V, y, v)] for some (V, y, v) ∈ S (cf. (30)). Set
u = d(x ◦ y −1 )y(p) (v) ∈ Tx(p) (x(U )) = Rd .
Then
d(y ◦ x−1 )x(p) (u) = d(y ◦ x−1 )x(p) ◦ d(x ◦ y −1 )y(p) (v) = d1y(p) (v) = v,
and thus (U, x, u) ∼ (V, y, v), i.e. [(U, x, u)] = [(V, y, v)]. In other words, the
image of u under the given map equals [(V, y, v)]. This proves that the given
map is surjective.
72 ANDREAS STRÖMBERGSSON
(d). Recall from Definition 4 (in Lecture #2) that we assume that f :
M → N is a C ∞ map between C ∞ manifolds, and p ∈ M . (Set d = dim M
and d′ = dim N .) Then dfp is defined to be the linear map from Tp M to
Tf (p) N which wrt any chart (U, x) on M with p ∈ U and (V, y) on N with
f (p) ∈ V is given by
dfp = d(y ◦ f ◦ x−1 )x(p) : Tx(p) (x(U )) → Ty(f (p)) (y(V )).
For this to make sense, recall that once the chart (U, x) is given, we can
identify Tp M with Tx(p) (x(U )) = Rd via the bijection v 7→ [(U, x, v)] from
Tx(p) (x(U )) onto Tp M (cf. p. 4 in Lecture #2 and part b of this problem);
′
similarly we can identify Tf (p) N with Ty(f (p)) (y(V )) = Rd . Thus the above
definition of dfp can be reformulated as saying that
dfp [(U, x, v)] := [(V, y, d(y ◦ f ◦ x−1 )x(p) (v))], ∀v ∈ Tx(p) (x(U )) = Rd .
This certainly makes dfp (α) defined for every vector α ∈ Tp M since every
α ∈ Tp M can be expressed as α = [(U, x, v)] for some v ∈ Tx(p) (x(U )). The
key issue is now to verify that dfp (α) does not depend on the above choice
of the charts (U, x) and (V, y)!
Thus assume that (Û , x̂) is also a chart on M with p ∈ Û and that (V̂ , ŷ)
is a chart on N with f (p) ∈ V̂ . Consider a fixed vector α ∈ Tp (M ); assume
that α is represented by v ∈ Rd wrt (U, x), and by d(x̂ ◦x−1 )x(p) (v) ∈ Rd wrt
(Û , x̂). Now the above definition says that dfp (α) is the vector in Tf (p) (N )
which is represented by
(32) d(y ◦ f ◦ x−1 )x(p) (v) ∈ Rd
wrt the chart (V, y), but also that dfp (α) is the vector in Tf (p) (N ) which is
represented by
(33) d(ŷ ◦ f ◦ x̂−1 )x̂(p) ◦ d(x̂ ◦ x−1 )x(p) (v) ∈ Rd
wrt the chart (V̂ , ŷ). Thus we have to prove that (32) and (33) represent
the same vector in Tf (p) (N ), i.e. that
d(y ◦ ŷ −1 )ŷ(f (p)) ◦ d(ŷ ◦ f ◦ x̂−1 )x̂(p) ◦ d(x̂ ◦ x−1 )x(p) (v)
= d(y ◦ f ◦ x−1 )x(p) (v).
However this is clear by the chain rule for the differential (for C ∞ maps
between vector spaces over R), using the fact that
(y ◦ ŷ −1 ) ◦ (ŷ ◦ f ◦ x̂−1 ) ◦ (x̂ ◦ x−1 ) = y ◦ f ◦ x−1 .
Done!
74 ANDREAS STRÖMBERGSSON
Problem 14: Once one has gotten used to the machinery which we
have introduced, this problem is “completely obvious”. However, as a step
towards reaching such familiarity, it may be useful to work out a solution in
pedantic detail.
We have defined ċ(t) := dct (1). Furthermore, for any t ∈ I with c(t) ∈ U ,
the differential dct is, by definition, the map from Tt (I) = R to Tc(t) M which
with respect to the trivial chart (I, 1I ) on I and the chart (U, x) on M , is
represented by the linear map
d(x ◦ c ◦ 1−1 d
I )1I (t) : R → R .
This map equals d(x ◦ c)t , and so we get that ċ(t) := dct (1) is the vector in
Tc(t) M which with respect to the chart (U, x) is represented by
(35) d(x ◦ c)t (1) ∈ Rd .
But by the definition in the problem formulation,
x ◦ c(t) = (c1 (t), . . . , cd (t))
for all t ∈ I with c(t) ∈ U , and hence d(x ◦ c)t is the linear map given by
the (Jacobi) matrix
1
∂c
∂t
.
.. .
∂cd
∂t
Of course “∂” can just as well be written “d” since each cj depends on
d j
only one variable; i.e. the entries of the above matrix are dt c (t) = ċj (t)
for j = 1, . . . , d. Applying the above linear map to the vector 1 ∈ R (so as
to evaluate the expression in (35)) we find10 that with respect to the chart
(U, x), ċ(t) is represented by
(36) (ċ1 (t), . . . , ċd (t)) ∈ Rd
∂
Next we turn to the right hand side of the desired formula, i.e. “ċj (t) j ”.
∂x
∂
Recall that by definition, at any point p ∈ U , is the tangent vector in
∂xj
Tp M which with respect to the chart (U, x) is represented by the standard
unit vector ej = (0, . . . , 1, . . . , 0) ∈ Rd (where the “1” is in the jth position).
∂
Hence, with respect to the chart (U, x), the tangent vector ċj (t) j ∈ Tc(t) M
∂x
is represented by
ċj (t)ej (t) = (ċ1 (t), 0, . . . , 0) + · · · + (0, . . . , 0, ċd (t)) = (ċ1 (t), . . . , ċd (t)).
10also recalling our convention that column matrices are identified with vectors
PROBLEMS; “RIEMANNIAN GEOMETRY” 77
∂
This agrees with (36), i.e. we have proved that ċ(t) and ċj (t)
are repre-
∂xj
sented by the same vector in Rd (wrt (U, x)); hence they are equal, i.e. we
have proved the desired formula,
∂
ċ(t) = ċj (t) j ∈ Tp M.
∂x
Finally in order to verify that the two definitions of “tangent vector of a
curve” in Lecture #2 are consistent with each other, let us apply the above
to the special case M = an open subset of Rd . In this case we have the con-
vention that Tp M is identified with Rd for every p ∈ Rd , namely through the
representation of tangent vectors via the identity chart, (M, 1M ). Applying
the formula which we have proved above (in the form (36)) we conclude that
ċ(t) = (ċ1 (t), . . . , ċd (t)) in Tc(t) M = Rd .
Note that we have proved this formula starting from the general definition of
“tangent vector of a curve on a manifold”, and we now see that the formula
agrees with the concrete definition of “tangent vector of a curve in Rd ” which
we gave in Lecture #2 (p. 2).
78 ANDREAS STRÖMBERGSSON
Problem 15:
(a). Cf., e.g., Boothby [1, Ch. 4.1] or Fieseler [5, Sec. 3]...
(b). Cf., e.g., Helgason, [8, Ch. 1.2.1]...
We here only give the easy part of the solution of part b: For any vector
field X ∈ Γ(T M ) and any f ∈ C ∞ (M ) we define Xf ∈ C ∞ (M ) by
(Xf )(p) = X(p)f, ∀p ∈ M.
In other words, by definition of directional derivative:
(Xf )(p) = dfp (X(p)) ∈ Tp R = R.
By definition of the differential df : T M → T R = R × R, the above formula
can also be expressed:
Xf = pr2 ◦ df ◦ X : M → R.
and this shows (via Problem 17(a)) that we indeed have Xf ∈ C ∞ (M ).
Let us note that for any X ∈ Γ(T M ), the map which we have now defined,
f 7→ Xf, C ∞ (M ) → C ∞ (M ),
is a derivation. (This is immediate from “Fact #3” on p. 9 in Lecture #2;
we prove this fact in Problem 13(f), and this fact also plays a crucial role in
part a of the present problem.)
Now it remains to prove that every derivation of C ∞ (M ) is obtained in
this way from some X ∈ Γ(T M ), and that any two distinct vector fields
yield distinct derivations....
PROBLEMS; “RIEMANNIAN GEOMETRY” 79
in T M going from v to w. The fact that such a curve exists for any two
v, w ∈ T M implies that T M is path-connected, and hence connected!
Finally we prove that T M is paracompact. Note that by what we have
already proved, T M is locally Euclidean and Hausdorff (cf. the solution to
Problem 10(d)), and the set A above is an atlas on T M . By Problem 2
it suffices to prove that T M has a countable atlas. Now fix any countable
atlas A′ on M (this exists by Problem 2). Then the following subset of A is
a countable atlas on T M :
{(T U, ϕx ) : (U, x) ∈ A′ }.
We now turn to the last part of the problem, i.e. to prove that the map
π : T M → M is C ∞ . For this it suffices to prove that for any C ∞ chart
(V, y) on M and any (T U, ϕx ) ∈ A (thus: (U, x) is a C ∞ chart on M ), the
map
(37) y ◦ π ◦ ϕ−1
x : ϕx (T (U ∩ V )) → Rd
is C ∞ . However, the definition of ϕx says that, for any p ∈ U and w ∈
Tp U ⊂ T U :
ϕx (w) = (x(p), dxp (w)),
and thus
π ◦ ϕ−1
x x(p), dxp (w) = π(w) = p.
Hence
π ◦ ϕ−1 −1
x (z, v) = x (z), ∀(z, v) ∈ ϕx (T U ) = x(U ) × Rd ,
or, equivalently,
π ◦ ϕ−1
x =x
−1
◦ pr : x(U ) × Rd → M,
where pr is the projection pr : x(U ) × Rd → x(U ). Hence the map in (37)
equals y ◦ x−1 ◦ pr, and here y ◦ x−1 : x(U ∩ V ) → Rd is C ∞ since (U, x) and
(V, y) are C ∞ charts on M , and pr is obviously C ∞ . Hence the map in (37)
is C ∞ , and we are done.
Problem 17:
(a). (When showing that df is C ∞ the key step is to verify that if U ⊂ Rd
′
is open and g : U → Rd is a C ∞ map, then the map (x, y) 7→ (g(x), dgx (y)),
′ ′
from U × Rd to Rd × Rd , is C ∞ .)
(b). Let p = π(X) ∈ M so that X ∈ Tp M ; then df (X) ∈ Tf (p) N . By our
definition of directional derivative,
But d(ϕ ◦ f ) = dϕ ◦ df by the chain rule, and so the two expressions are
equal.
(c). This is immediate from Problem 13(e). (Indeed, take v ∈ T M1 . Set
p := π(v); then v ∈ Tp M1 and now
d(g ◦ f )(v) = d(g ◦ f )p (v) = dgf (p) ◦ dfp (v) = dgf (p) (df (v)) = dg(df (v)),
where we used the formula from Problem 13(e) in the second equality.)
Problem 18:
(a). Using the fact that (in the right hand side) h·, ·i is a scalar product
(viz., a positive definite symmetric bilinear form) on Tf (p) N , and dfp is a
linear map from Tp M to Tf (p) N , it follows that h·, ·i is a symmetric bilinear
form on Tp M which is positive semidefinite (viz., hv, vi ≥ 0 for all v ∈ Tp M ).
But using also the assumption that f is an immersion, i.e. dfp is injective for
each p, it follows that h·, ·i is in fact positive definite, i.e. a scalar product
on Tp M .
It remains to prove that h·, ·i depends smoothly on M . We leave the
details of this to the reader.
(b). By definition
Z b
(38) L(f ◦ γ) = k(f ◦ γ)′ (t)k dt
a
(with the understanding that the integral has to be “splitted at each point
where γ is not C ∞ ). But here (f ◦ γ)′ (t) = d(f ◦ γ)t (1) = dfγ(t) ◦ dγt (1)
(where we used the def of directional derivative of a curve, and then the
82 ANDREAS STRÖMBERGSSON
Problem 19:
(a). Let p, q ∈ M be given. By Problem 1 there exists a (continuous)
curve γ : [0, 1] → M with γ(0) = p and γ(1) = q. Let F be the family of
open subintervals I ⊂ [0, 1] 12 such that c(I) is contained in some C ∞ chart
on M . Note that F covers I. Hence since I is compact, there is a finite
subfamily F1 ⊂ F which covers I. In particular some I ∈ F1 must contain 0;
among all such intervals I ∈ F1 we pick the one which has the largest right
end-point; it is either [0, 1] or [0, t1 ) for some t1 ∈ (0, 1). In the latter case,
the point t1 must be contained in some interval in F1 not yet considered;
among all intervals in F1 containing t1 we pick the one which has the largest
right end-point; this interval is either of the form (t′1 , 1] or (t′1 , t2 ), for some
t′1 ∈ (0, t1 ) and t2 ∈ (t1 , 1). If it is of the form (t′1 , t2 ) then we consider all
intervals in F1 which contain t2 , etc. This process must eventually finish,
since F1 is finite, and this means that we have found a set of n ≥ 1 intervals
[0, t1 ), (t′1 , t2 ), (t′2 , t3 ), . . . , (t′n−1 , 1] in F1 ,
where 0 < t1 < t2 < . . . < tn−1 and 0 < t′j < tj for each j ∈ {1, . . . , n − 1}.
(If n = 1 then [0, 1] is in F1 and our set consists of this single interval.) By
the construction of F1 , there exist C ∞ charts (Uj , xj ) on M such that
γ([0, t1 )) ⊂ U1 , γ((t′1 , t2 )) ⊂ U2 , . . . , γ((t′n−1 , 1]) ⊂ Un .
Now for ε > 0 sufficiently small, if we set e t0 = 0, etj = tj − ε for j ∈
{1, . . . , n − 1}, and e
tn = 1, then
0=et0 < et1 < · · · < e
tn−1 < e
tn = 1
and t′j < e
tj < tj for j ∈ {1, . . . , n − 1}, so that
γ([e
tj−1 , e
tj ]) ⊂ Uj for j ∈ {1, . . . , n}.
Now we can define c : [0, 1] → M by letting, for each j ∈ {1, . . . , n}, c|[etj−1 ,etj ]
be the curve from γ(e tj−1 ) to γ(e
tj ) which in the chart (Uj , xj ) is represented
by a straight line segment from xj (γ(e tj−1 )) to xj (γ(e
tj )) (parametrized by
a constant times arc length, say). Then c is a continuous curve, and each
restriction c|[etj−1 ,etj ] is C ∞ ; thus c is a piecewise continuous curve, and it has
c(0) = p and c(1) = q. Done!
12Here by “open” we mean wrt the topology of [0, 1] induced by the topology of R; in
particular [0, x) and (x, 1] are open subintervals of [0, 1] for any x ∈ (0, 1), and also [0, 1]
itself is an open subinterval of [0, 1].
84 ANDREAS STRÖMBERGSSON
Problem 20:
(a). Note that we can cover the whole of H n with one natural C ∞ chart
(H n , y), namely by letting y(x) := (x1 , . . . , xn ) for x = (x0 , x1 , . . . , xn ) ∈
H n . Then y(H n ) = Rn and the inverse map is
p
y −1 (x1 , . . . , xn ) = 1 + (x1 )2 + · · · + (xn )2 , x1 , . . . , xn ,
∀x = (x1 , . . . , xn ) ∈ Rn .
Note that this map y −1 gives the embedding map i : H n → Rn+1 , expressed
wrt our selected chart on H n and the standard chart on Rn+1 . Hence wrt
these charts, for each p = (x0 , x1 , . . . , xn ) ∈ H n , dip : Tp H n → Tp Rn+1 is
the linear map with matrix
∂ p 1 2 n 2
∂ p 1 2 n 2
∂x1 1 + (x ) + · · · + (x ) · · · ∂xn
1 + (x ) + · · · + (x )
∂ 1 ∂ 1
x ··· x
∂x1 ∂x n
.. ..
. .
∂ n ∂ n
1
x ··· x
1 0 ∂x ∂xn
x /x x2 /x0 · · · xn /x0
1 0 ··· 0
··· 0
= 0 1 .
.. ..
. .
0 0 ··· 1
P j
This map takes an arbitrary vector ξ = (ξ1 , . . . , ξn ) in Rn to ( nj=1 xx0 ξj , ξ1 , . . . , ξn )
Pn ∂
in Rn+1 . (In other words, dip maps n
j=1 ξj ∂xj in Tp H to the vector
Pn x j P
( j=1 x0 ξj ) ∂x∂ 0 + nj=1 ξj ∂x∂ j in Tp Rn+1 .) Hence our first task is to prove
j
that for any ξ ∈ Rn , ( xx0 ξj , ξ1 , . . . , ξn ) is orthogonal to p wrt the form h·, ·i,
i.e. that
n
X xj
− ξj · x0 + ξ1 · x1 + · · · + ξn · xn = 0.
x0
j=1
and ξ ∈ Rn \ {0}:
X
xj ∂ ∂ X xj ∂
n n
X n n
X ∂
I ξj + ξj j , ξj + ξj j
x0 ∂x0 ∂x x0 ∂x0 ∂x
j=1 j=1 j=1 j=1
Xn
xj 2 n
X
(42) =− ξj + ξj2 .
x0
j=1 j=1
Let O+ (1, n) be the set of those R ∈ O(1, n) satisfying “(+)”. One verifies
immediately that O + (1, n) is closed under multiplication and inverses; thus
O + (1, n) is a subgroup of O(1, n). Next note that there exists R ∈ O(1, n)
PROBLEMS; “RIEMANNIAN GEOMETRY” 87
It remains to prove R ∈ O+ (1, n). Let us first note that for any x ∈ Rn+1 ,
using (46) and (45) we have
hx, pi
hP (x) − x, pi = hp, pi + 0 − hx, pi = 0
hp, pi
and similarly hP (x) − x, vi; hence P (x) − x is orthogonal to p and v and
hence to all Π = SpanR {p, v}. In particular hP (x) − x, P (x)i = 0, since
P (x) ∈ Π. Therefore,
hRx, Rxi = hP (x) + (P (x) − x), P (x) + (P (x) − x)i
= hP (x), P (x)i + hP (x) − x, P (x) − xi
= hP (x) − (P (x) − x), P (x) − (P (x) − x)i
= hx, xi.
This holds for all x ∈ Rn+1 ; hence R ∈ O(1, n). Finally note that R(p) = p,
since p ∈ Π, and p ∈ H n ; hence in the notation of part (c) R cannot satisfy
“(−)” and so it must satisfy “(+)”, i.e. R ∈ O + (1, n).
(d). Consider arbitrary p, v as in (c), but now also assume kvk = 1 (i.e.
hv, vi = 1). Let c : R → H n be the geodesic with c(0) = p, ċ(0) = v. (The
fact that c is defined on all R follows from the Theorem of Hopf-Rinow, since
H n is complete.) Take R ∈ O + (1, n) as in part (c); this is an isometry of
H n onto H n by part (b); hence also R ◦ c : R → H n is a geodesic on H n .
d
But R preserves p and v; hence R(c(0)) = p and dt R(c(t))|t=0 = v, and so
by [12, Thm. 1.4.2], R(c(t)) = c(t) for all t ∈ R. Also the set of fixed points
of R is Π; hence
c(t) ∈ Π, ∀t ∈ R.
Hence there are (uniquely determined) C ∞ functions x : R → R and y :
R → R such that
c(t) = x(t)p + y(t)v, ∀t ∈ R.
It follows from c(0) = p and ċ(0) = v that
x(0) = 1, ẋ(0) = 0; y(0) = 0, ẏ(0) = 1.
We also have c(t) ∈ H n and thus hc(t), c(t)i = −1, for all t ∈ R. Using
hp, pi = −1, hp, vi = 0 and hv, vi = 1, this translates into:
(48) −x(t)2 + y(t)2 = −1, ∀t ∈ R.
We also have kċ(t)k = 1, i.e. hċ(t), ċ(t)i = 1 for all t ∈ R, by [12, Lemma
1.4.5]; and this similarly translates into:
(49) −ẋ(t)2 + ẏ(t)2 = 1, ∀t ∈ R.
Equation (48) implies |x(t)| ≥ 1, and since
p x(0) = 1 and x is continu-
ous, it follows that x(t) ≥ 1 and x(t) = y(t)2 + 1 for all t ∈ R. Hence
PROBLEMS; “RIEMANNIAN GEOMETRY” 89
y(t)ẏ(t)
ẋ(t) = p , and inserting this in (49) and simplifying we get
y(t)2 + 1
p
ẏ(t) = 1 + y(t)2 ∀t ∈ R.
Separating variables etc, this implies y(t) = sinh(C + t), ∀t ∈ R, where C is
a fixed real constant,
p and in fact C = 0 since y(0) = 0. Hence y(t) = sinh t
2
and so x(t) = y(t) + 1 = cosh t, i.e.
c(t) = (cosh t)p + (sinh t)v, ∀t ∈ R.
90 ANDREAS STRÖMBERGSSON
Problem 21:
Remark: The results which we prove here are special cases of correspond-
ing results on (maximal) integral curves of a vector field; cf. [1, Thm. IV.4.5].
Indeed, the geodesics are simply projections of the integral curves of a cer-
tain vector field on T M ; cf. [1, Thm. 7.1] as well as [12, Thm. 2.2.3 and Def.
2.2.3].
(a). Let p ∈ M and v ∈ Tp M be given. Let I, J ⊂ R be any two open
intervals containing 0 and let f : I → M and g : J → M be two geodesics
both satisfying f (0) = p, f˙(0) = v, g(0) = p, ġ(0) = v. Let
I ∗ = {t ∈ I ∩ J : f (t) = g(t) and f˙(t) = ġ(t)}.
We claim that I ∗ = I ∩ J. Note that this implies that f and g together
define a geodesic on the interval I ∪ J!
[Proof of I ∗ = I ∩ J: Take any s ∈ I ∗ . Using I ∗ ⊂ I ∩ J and the
fact that I ∩ J is open, it follows that there exists some δ > 0 such that
(s − δ, s + δ) ⊂ I ∩ J, and so we have two well-defined geodesics
f1 , g1 : Iδ → M ; f1 (t) := f (s + t), g1 (t) := g(s + t).
(Here Iδ := (−δ, δ).) These satisfy f1 (0) = f (s) = g(s) = g1 (0) and f˙1 (0) =
f˙(s) = ġ(s) = ġ1 (0). Hence by the local uniqueness theorem for geodesics
(Theorem 1’ on p. 2 in Lecture #4), there is some δ′ ∈ (0, δ] such that
f1 (t) = g1 (t) for all t ∈ Iδ′ , and so f (t) = g(t) and f˙(t) = ġ(t) for all
t ∈ (s − δ′ , s + δ′ ), i.e. (s − δ′ , s + δ′ ) ⊂ I ∗ . The fact that I ∗ contains such
a neighborhood around every point s ∈ I ∗ implies that I ∗ is open. But also
I ∗ is a closed subset of I ∩ J; this follows from the definition of I ∗ and the
fact that f, f˙, g, ġ are continuous. Hence I ∗ is either empty or a connected
component of I ∩ J, i.e. I ∗ = ∅ or I ∗ = I ∩ J. However 0 ∈ I ∗ , i.e. I ∗ is
non-empty. Therefore I ∗ = I ∩ J.]
Using the property just proved, it follows that if we let I be the union of
the domains of all geodesic curves such as f and g above, then there is a
well-defined geodesic cv : I → M with cv (0) = p, ċv (0) = v, and it has the
desired property!
PROBLEMS; “RIEMANNIAN GEOMETRY” 91
that D contains the zero vector from every tangent space Tp M ). We have
thus proved that for every v ∈ T M ,
(54) Iv = {t ∈ R : tv ∈ D}.
Also by (53),
cv (t) = ctv (1) = exp(tv), ∀t ∈ Iv .
Hence it “only” remains to prove that D is open and that our map exp is
C ∞.
A crucial ingredient for the remaining part of the proof is to translate the
formula “θ(θ(s, v), t) = θ(t + s, v)” from part (b) into a composition formula
for exp. Thus take any v ∈ T M and s ∈ Iv , and write q = cv (s) = exp(sv)
and w := θ(s, v) = ċv (s) ∈ Tq (v). By (54), the formula Iw = Iv − s proved
in part (b) can be equivalently expressed as
(55) ∀v ∈ T M : ∀s ∈ Iv : ∀t ∈ R : t · ċv (s) ∈ D ⇔ (t + s)v ∈ D .
For any s, t satisfying the condition in (55), by part (b) we have θ(w, t) =
θ(t + s, v), i.e. ċw (t) = ċv (t + s). Applying the projection T M → M this
implies cw (t) = cv (t + s), i.e. exp(tw) = exp((t + s)v). Hence:
(56) ∀v ∈ T M : ∀s ∈ Iv : ∀t ∈ Iv − s : exp(t · ċv (s)) = exp((t + s)v).
Let D ′ be the set of all v ∈ T M with the property that v has an open
neighborhood Ω ⊂ D and exp is C ∞ on Ω. Clearly D ′ is an open subset of
the interior of D, and exp|D′ is C ∞ . Our task is to prove that D ′ = D! The
local existence theorem for geodesics (Theorem 1 in Lecture #4) implies
that D ′ contains the zero section in T M , i.e. D ′ contains the zero vector
from every tangent space Tp M (p ∈ M ).
Next we claim that, as a consequence of (56), D ′ has the following prop-
erty:
∀v ∈ T M : ∀s ∈ Iv : ∀t ∈ Iv − s :
(57) If sv ∈ D ′ and t · ċv (s) ∈ D ′ then (t + s)v ∈ D ′ .
[Proof: Fix s ∈ Iv , t ∈ Iv − s and assume sv ∈ D ′ and t · ċv (s) ∈ D ′ . Since
exp is C ∞ on D ′ , the function
d
u 7→ ċu (s) = exp(tu)
dt |t=s
done!
(d). (This is now more or less straightforward; cf., e.g., [1, Thm. 3.12].)
94 ANDREAS STRÖMBERGSSON
Problem 22:
Fix a chart (U, x) on M containing p; then (T U, dx) is a C ∞ chart on T U
(cf. Problem 16 and the end of Lecture #2); dx maps T U onto x(U ) × Rd .
Set DU := T U ∩ D and V = dx(DU ); this is an open subset of x(U ) × Rd .
Of course, (U × U, (x, x)) is a chart on M × M ; cf. Problem 8.
Let us write x0 := x(p); then 0p is represented by (x0 , 0) ∈ V ⊂ Rd × Rd
in our chart (T U, dx).
In the local coordinates described above, the function
G := (π, exp) : DU → M × M
takes the form
(58) V → Rd × Rd ; (x, v) 7→ (x, F (x, v)),
(b). Set
G
U ′ := Br (0p ) ⊂ T M ;
p∈U
this is an open subset of T M (as is easy to verify from the definition of the
topology of T M ; cf. Problem 16), and by assumption we have U ′ ⊂ D. As
in part (a) let us consider the C ∞ map G := (π, exp), but this time with U ′
as domain of definition:
G := (π, exp) : U ′ → M × M.
Note that G(U ′ ) = V and it follows from our assumptions that G is a
bijection from U ′ to V and G−1 : V → U ′ is exactly the map (p, q) 7→
exp−1
p (q) which we are interested in. Hence if we can prove that G is a
diffeomorphism onto an open subset of M × M then we are done; and in
fact it suffices to prove that every point in U ′ has an open neighbourhood in
U ′ on which G restricts to a diffeomorphism onto an open subset of M × M .
By the Inverse Function Theorem, this will be ensured if we can prove that
dG is non-singular at every point in U ′ .
Thus consider an arbitrary point v ∈ U ′ ; set q := π(v) ∈ U so that
v ∈ Br (0q ) ⊂ Tq M . Working with local coordinates of the same type as in
part (a)13, dGv is expressed by a 2d × 2d matrix which again is naturally
viewed as a 2 × 2 block matrix where each block is a d × d matrix: The
upper left block is the d × d identity matrix and the upper right block is the
d × d zero matrix; also the lower right block is a non-singular d × d matrix,
since (d expq )v : Tv Tq M = Tq M → Texp(v) M is non-singular (this holds since
v ∈ Br (0q ) and expq|Br (0q ) is a diffeomorphism by assumption). This implies
that dGv is non-singular, and we are done.
and recalling
x
(67) (y 1 , . . . , y d ) = kxk, ϕ ; thus x = y 1 · ϕ−1 (y 2 , . . . , y d ),
kxk
and writing
z = ϕ−1 (y 2 , . . . , y d ) ∈ S 1 ⊂ Rd ,
we get:
(68) h11 (y) = z k z ℓ gkℓ (x) (∀y ∈ Ω).
But (65) implies that h11 (y) equals a constant as y 1 varies in (0, r) while
(y 2 , . . . , y d ) is kept fixed; now (69) says that this constant must be 1, and
so we have proved
(70) h11 (y) = 1, ∀y ∈ Ω.
Inserting this in (64), for k = j ≥ 2, we get
∂
(71) h1j (y) = 0, ∀y ∈ Ω, j ∈ {2, . . . , d}.
∂y 1
Next, using (67) and the analogue of (66) for h1j (y) (j ≥ 2), we have
∂ −1 2
h1j (y) = z k y 1 wℓ · gkℓ (x), with w = ϕ (y , . . . , y d ) ∈ Rd .
∂y j
If we fix (y 2 , . . . , y d ) ∈ ϕ(V ) and let y 1 → 0+ then z, w are fixed while
gkℓ (x) → δkℓ ; hence
lim h1j (y) = 0, ∀(y 2 , . . . , y d ) ∈ ϕ(V ) (fixed), j ∈ {2, . . . , d}.
y 1 →0+
Note also that since we know that (hij (y)) is positive definite for every y ∈ Ω,
it follows that the (d − 1) × (d − 1) matrix
h22 (y) · · · h2d (y)
.. ..
. .
hd2 (y) · · · hdd (y)
is positive definite for every y ∈ Ω.
(Here we used the fact that t2 > t for all t > j ≥ 1.) This proves that
(75) holds, and (75) in turn implies that p1 , p2 , . . . is a Cauchy sequence in
Rd equipped with the Riemannian metric in (74). On the other hand the
sequence p1 , p2 , . . . does not converge to any point in Rd . (Recall here that
“convergence” is a topological notion, i.e. it depends only on the topology of
Rd and not on the metric metrizing it; cf. here also Lemma 2 in Lecture #3.)
Hence Rd equipped with the Riemannian metric in (74) is not complete.
100 ANDREAS STRÖMBERGSSON
Problem 26:
(a). Let us first note that this is not an immediate consequence of the fol-
lowing fact from basic point set topology: “Every closed subset of a complete
metric space is itself a complete metric space”. Namely, in that statement
it is understood that the subset is endowed with the metric which is simply
the restriction of the metric on the larger space. This is not the case in our
situation; we typically have dM (p, q) 6= dN (p, q) for p, q ∈ M ; cf. Problem
18(c)!
However, as we’ll see, the completeness of M is still easy to prove...
Let p1 , p2 , . . . be a Cauchy sequence in (M, dM ). By Problem 18(c) we
have dN (pj , pk ) ≤ dM (pj , pk ) for any j, k; hence p1 , p2 , . . . is also a Cauchy
sequence in (N, dN ). Therefore, since N is complete there exists a (unique)
limit point p := limj→∞ pj in N . Recall that the last limit relation by
definition means that
(76) lim dN (pj , p) = 0.
j→∞
Since M is closed in N we have p ∈ M . But since M is an embedded
submanifold of N , the topology of M equals the subspace topology of M as
a subset of N ; therefore limj→∞ dN (pj , p) = 0 implies limj→∞ dM (pj , p) = 0,
14
i.e. p = limj→∞ pj in M .
This proves that M is complete.
14Some further explanation: Here we are using the fact that the relation “p =
limj→∞ pj ” (⇔ “pj → p”) only depends on the topology of the space which we are working
in, and not on the choice of metric metrizing that topology. For example, pj → p in N
holds iff for every open neighborhood U ⊂ N of p, there exists J ∈ Z+ such that pj ∈ U for
all j ≥ J (and this is equivalent to (76) holding for any metric metrizing N ’s topology).
Now in our situation we wish to prove that limj→∞ dM (pj , p) = 0, or equivalently that for
every open set U in M with p ∈ U , there exists J ∈ Z+ such that pj ∈ U for all j ≥ J.
Let such an open set U ⊂ M be given. Since M has the subspace topology as a subset
of N , there is an open set V in N such that U = M ∩ V . Next, since pj → p in N there
exists J ≥ Z+ such that pj ∈ V for all j ≥ J. But the points p1 , p2 , . . . all lie in M ; hence
pj ∈ V ∩ M = U for all j ≥ J. Therefore pj → p in M .
PROBLEMS; “RIEMANNIAN GEOMETRY” 101
Problem 27:
(a). This continuity is clear from
(77) |d(p, q) − d(p′ , q ′ )| ≤ d(p, p′ ) + d(q, q ′ ), ∀p, p′ , q, q ′ ∈ X.
[Proof of (77): By the triangle inequality we have
|d(p, q) − d(p′ , q)| ≤ d(p, p′ ) and |d(p′ , q) − d(p′ , q ′ )| ≤ d(q, q ′ ).
Hence
|d(p, q) − d(p′ , q ′ )| ≤ |d(p, q) − d(p′ , q)| + |d(p′ , q) − d(p′ , q ′ )| ≤ d(p, p′ ) + d(q, q ′ ).
Done!]
(b). Take any q ∈ X. If d(p, q) < r then setting s = r−d(p, q) > 0 we have
Bs (q) ⊂ Br (p) (by the triangle inequality) and so q ∈/ ∂Br (p). If d(p, q) > r
then setting s = d(p, q) − r > 0 we have Bs (q) ∩ Br (p) = ∅ (again by the
triangle inequality) and so q ∈ / ∂Br (p). This proves the stated inclusion.
The set ∂Br (p) is closed since the boundary of any set (in any topological
space) is closed. The fact that the set {q ∈ X : d(p, q) = r} is closed is an
immediate consequence of the fact that the metric d is continuous.
Next assume that (X, d) is a Riemannian manifold. Take any q ∈ X
with d(p, q) = r. By the definition of “d”, there exists a sequence of pw
C ∞ curves γ1 , γ2 , . . . on X such that each γj starts at p and ends at q,
and ℓj := L(γj ) < r + j −1 ; also ℓj ≥ r. We may assume that each γj is
parametrized by arc length, and has domain [0, ℓj ] where ℓj = L(γj ). Take
J ∈ Z+ so large that J −1 < r, and for each j ≥ J set
qj := γj (r − j −1 ).
Note that γj|[0,r−j −1] is a curve of length r−j −1 from p to qj ; hence d(p, qj ) ≤
r − j −1 and qj ∈ Br (p). On the other hand γj|[r−j −1,ℓj ] is a curve of length
≤ ℓj − (r − j −1 ) < (r + j −1 ) − (r − j −1 ) = 2j −1
from qj to q; hence d(qj , q) < 2j −1 . Hence qj → q as j → ∞. This shows
that q is in the closure of the set Br (p). Also q ∈
/ Br (p) since d(p, q) = r.
Hence q ∈ ∂Br (p). We have thus proved that {q ∈ X : d(p, q) = r} ⊂ Br (p),
and we are done.
(Remark: If r is so small that there exists some r ′ > r such that Br′ (0p ) ⊂
Dp and exp|Br′ (0p ) is a diffeomorphism onto an open set, then the identity
∂Br (p) = {q ∈ X : d(p, q) = r} is a trivial consequence of Theorem 4
in Lecture #4. This is the only situation which occurs in the proof of the
Hopf-Rinow Theorem.)
102 ANDREAS STRÖMBERGSSON
Problem 28: The fact that every distance d(p, q) < R is realized by a
geodesic is proved by more or less exactly the same proof as the “key fact”
in the proof of the Hopf-Rinow Theorem; cf. Lecture #5, pp. 9–11. Indeed,
assume q ∈ M and r := d(p, q) < R. Now the proof in Lecture #5, pp. 9–11
applies to our situation, word by word. The only difference is that now the
geodesic
c(t) := expp (tV )
(introduced in the last line of p. 9) is not guaranteed to be defined for all
t ∈ R, but it is certainly defined for all t with |t| < R, since BR (p) ⊂ Dp ;
in particular c(t) is defined for all t ∈ [0, r], and these are the only t-values
which are ever considered in the proof.
Finally, BR (p) = expp (BR (0p )) is indeed an immediate consequence of
the above fact. Indeed, the above fact implies BR (p) ⊂ expp (BR (0p )). On
the other hand for every v ∈ BR (0p ), the geodesic t 7→ exp(tv), t ∈ [0, 1], is
a curve of length kvk from p to expp (v), so that d(p, expp (v)) ≤ kvk < R, i.e.
expp (v) ∈ BR (p). Hence also the opposite inclusion, expp (BR (0p )) ⊂ BR (p),
holds. Done!
PROBLEMS; “RIEMANNIAN GEOMETRY” 103
Problem 29:
(Note that Jost mentions this generalization in the beginning of his proof
of [12, Thm. 5.8.1].)
The proof in the two cases (fixed endpoints versus closed curves) is very
similar, and we treat here only the first case. Thus let c : I → M be a curve.
Set p = c(0) and q = c(1), and let F be the family of all pw C ∞ curves
homotopic to c. Then pick a minimizing sequence (γn ) for arc length in F
Thus each γn is a pw C ∞ curve, and
lim L(γn ) = L0 := inf L(c0 ).
n→∞ c0 ∈F
Wlog, assume also
L(γn ) ≥ L0 + 1, ∀n.
Set R := L0 + 2 and
K := BR (p).
Note that by construction, all the curves γ1 , γ2 , . . . are contained in K. By
the Hopf-Rinow Theorem (Theorem 5:3, (1) ⇒ (2)), K is compact. Hence
the proof of Cor. 4.1 (an immediate application of Thm. 4.3’) extends to show
that there exists some r0 > 0 such that for every point p′ ∈ K, expp′ |Br0 (0p′ )
is a diffeomorphism onto an open set in M . By shrinking r0 if necessary, we
may assume r0 < 1.
We have already remarked that all curves γ1 , γ2 , . . . are contained in K;
in fact they are even contained in the smaller ball BL0 +1 (p), and hence since
r0 < 1 and R = L0 + 2, it follows that the whole neighborhood Br0 (p′ ) is
contained in K, for all p′ ∈ γn , any n. Hence all points ever considered in
the proof of Theorem 1 in Lecture #5 lie in K, and so the proof carries over
to our situation!
104 ANDREAS STRÖMBERGSSON
Problem 30:
(a). Consider the C ∞ map
f : R3 → R, f (x, y, z) = y 2 + z 2 − e2x .
One verifies immediately that S = f −1 (0). Furthermore
df(x,y,z) = −2e2x 2y 2z ,
which has rank 1 for all (x, y, z) ∈ R3 . Hence by [12, Lemma 1.3.2] (with
the slightly more precise formulation in the notes to Lecture #2; note that
this is what Jost’s proof actually gives), every connected component of S in
R3 is a closed differentiable submanifold of R3 . Hence if we prove that S is
connected then it follows that S itself is a differentiable submanifold of R3 .
However the connectedness is clear from the parametrization of S given in
the statement of the problem. Indeed, set
g(x, α) := (x, ex cos α, ex sin α).
Then g is a continuous (even C ∞ ) function from R2 to S. 15 Consider two
arbitrary points in S; these can be expressed as g(x, α) and g(x′ , β) for some
x, x′ , α, β ∈ R. Then
c : [0, 1] → S, c(t) = g((1 − t)x + tx′ , (1 − t)α + tβ)
is a curve in S from g(x, α) to g(x′ , β). This proves that S is path-connected,
and thus connected. This completes the proof that S is a differentiable
submanifold of R3 .
Note also that S is closed; for example this follows from S = f −1 (0) and
the fact that f is continuous.
(b). Set p1 := (x0 , −ex0 , 0) ∈ S, and let γ be the following C ∞ curve (half
circle) on S:
γ : [0, π] → S, γ(t) = (x0 , ex0 cos t, ex0 sin t).
This is a curve from p0 to p1 , and L(γ) = πex0 (by Problem 18(b)). Hence
d(p0 , p1 ) ≤ πex0 . By the Hopf-Rinow Theorem there exists a geodesic c from
p0 to p1 with
L(c) = d(p0 , p1 ) ≤ πex0 .
We can take c to be parametrized by arc length; thus kċk ≡ 1 and the domain
of c is the interval [0, L(c)]. Now let R be the reflection map (x, y, z) 7→
(x, y, −z). This is an isometry of R3 onto itself, and R(S) = S; hence R is
also an isometry of S onto itself. Therefore R maps any geodesic in S to a
geodesic in S, and in particular the curve
c := R ◦ c : [0, L(c)] → S
e
is a geodesic in S, with kėck ≡ 1 and L(ec) = L(c). We have R(p0 ) = p0 and
c is a geodesic from p0 to p1 , just like c. Take v, ve ∈ Tp0 S
R(p1 ) = p1 ; hence e
so that c(t) = expp0 (tv) and e v ) for t ∈ [0, L(c)]. Note that
c(t) = expp0 (te
kvk = ke
v k = 1,
since kck ≡ kė
ck ≡ 1. Furthermore,
v 6= ve,
since c 6≡ e
c. [Proof of c 6≡ e c: The second coordinate of c(t) is a continuous
function of t starting at ex0 and ending at e−x0 ; hence for some t ∈ (0, L(c))
this coordinate must equal 0. For this t we have c(t) = (x, 0, z) ∈ S for
some x, z ∈ R, and from the definition of S it follows that z 6= 0 and so
R(c(t)) 6= c(t), i.e. e
c(t) 6= c(t) for this t.] Now
expp0 (L(c)v) = c(L(c)) = p1 = e
c(L(c)) = expp0 (L(c)e
v ),
and L(c)v 6= L(c)e v , kL(c)vk = kL(c)e v k = L(c) ≤ πex0 . This proves that
x
for every r > πe , the function expp0 is non-injective on the open ball
0
Problem 31:
The following solution is sketchy and leaves out several details.
By [7, Prop. 1.5] we are free to choose the basepoint x0 . Let us choose x0
so that it does not lie on any line between two points in {p1 , . . . , pn }. Let
rej be the ray starting at x0 and going through pj ; it follows from our choice
of x0 that the n rays re1 , . . . , ren are distinct. After renaming the points
p1 , . . . , pn we may assume that the rays re1 , . . . , ren are ordered in positive
direction. Now choose rays r1 , . . . , rn with startpoint x0 such that r1 lies
en
between ren and re1 , and rj for j ∈ {2, . . . , n} lies between rej−1 and rej . Let A
be the infinite open wedge between rn and r1 coontaining ren \{x0 }; similarly
ej be the infinite open wedge between rj and rj+1
for j ∈ {1, . . . , n − 1} let A
containing rej . Take ε > 0 small. (Specifically, ε should be smaller than the
distance between x0 and rj for each j.) Let Aj be the open ε-neighborhood
of A ej (viz., the set of points in R2 which have distance < ε to some point in
Aj ), but with the point pj removed. The reader is adviced to draw a picture
of the situation!
Now A1 , . . . , An are open and path-connected subsets of
X := R2 \ {p1 , . . . , pn }
with X = ∪nj=1 Aj , and Aj ∩ Ak is path-connected for all j, k ∈ {1, . . . , n};
hence van Kampen’s theorem can be applied with A1 , . . . , An ; in particular
the natural homomorphism
Φ : π1 (A1 , x0 ) ∗ · · · ∗ π1 (An , x0 ) → π1 (X, x0 )
is surjective. Note also that for any j 6= k ∈ {1, . . . , n}, the set Aj ∩ Ak
is simply connected (proof?) i.e. π1 (Aj ∩ Ak ) = {e}. Hence van Kampen’s
theorem implies that Φ is an isomorphism. Finally each Aj is homotopy
equivalent with S 1 (proof?); hence π1 (Aj ) ∼
= Z, and so we conclude that
π1 (X, x0 ) is a free group with n generators.
Generators: [γ1 ], . . . , [γn ], where γj is a loop that is contained in Aj and
goes one time around pj .
108 ANDREAS STRÖMBERGSSON
Problem 32:
(a). Let us first prove that Mf is Hausdorff. Let p and q be two distinct
points in Mf. Then π(p), π(q) ∈ M . If π(p) 6= π(q), then since M is Haus-
dorff, there exist disjoint open sets U, V ⊂ M with π(p) ∈ U and π(q) ∈ V .
f, and p ∈ π −1 (U ) and
Then π −1 (U ) and π −1 (V ) are disjoint open sets in M
q ∈ π −1 (V ). On the other hand if π(p) = π(q), then by the definition of
“covering space” there is an open neighborhood U of π(p) = π(q) in M such
that π −1 (U ) can be written as a union π −1 (U ) = ⊔j∈J Uj , where for each
j ∈ J, Uj is an open set in M f and π|U is a homeomorphism of Uj onto
j
U , and the sets Uj (j ∈ J) are pairwise disjoint. Now p, q ∈ π −1 (U ) and
hence there are unique i, j ∈ J such that p ∈ Ui and q ∈ Uj . If i = j then
π(p) = π(q) and the fact that π|Ui is injective imply p 6= q, contrary to our
assumption. Therefore i 6= j, and now Ui and Uj are two disjoint open sets
in Mf with p ∈ Ui and q ∈ Uj . This proves that M f is Hausdorff.
(In this connection, here’s an issue which for a moment had me confused: One might
think that the “obvious” map π from the Long Line L (cf. wikipedia) to the circle S 1 ≃ R/Z
makes L a covering space of S 1 ; but L is not second countable! The resolution to this
seeming paradox is that the map π : L → S 1 is in fact not continuous, and hence not a
covering map; this is discussed here.)
110 ANDREAS STRÖMBERGSSON
But π(Ue ) = U , and we see that the last map is simply the identity map on
x(U ) ⊂ Rd , which of course is a C ∞ map. Hence π is C ∞ locally near p,
f, the map π is C ∞ .
and since this is true for all p ∈ M
Next we prove that every point p ∈ M has an open neighborhood with
the stated property. Let p ∈ M be given. We know that p has an open
neighborhood U in M such that π −1 (U ) is a union of disjoint open sets in
f, each of which is mapped homeomorphically onto U by π. We will prove
M
e be any one of the open sets
that any such U is in fact ok for us. Thus let U
f with the property that π e is a homeomorphism of U
in M e onto U . We claim
|U
e onto U . We proved above that π
that π e is in fact a diffeomorphism of U
|U
is C ∞ ; hence π|Ue is C ∞ , and it remains to prove that (π|Ue )−1 : U → U e is
e . Take (Ve , y ◦ π) ∈ Ae
C ∞ . Take any point q ∈ U and set qe := (π e )−1 (q) ∈ U
|U
with qe ∈ Ve , and set V := π(Ve ) so that (V, y) ∈ A. Set W := U ∩ V ; then
PROBLEMS; “RIEMANNIAN GEOMETRY” 111
(y ◦ π) ◦ (π|Ue )−1 −1
◦ (y|W ) f ).
: y(W ) → y ◦ π(W
One verifies that this is simply the identity map on y(W ) ⊂ Rd , which of
course is a C ∞ map. Note also that q ∈ W . The fact that every point
q ∈ U has such an open neighborhood W in which (π|Ue )−1 is C ∞ , implies
f
that (π e )−1 is C ∞ . This completes the proof that our C ∞ structure on M
|U
has all the desired properties.
Finally we prove that the above C ∞ structure on M f is uniquely deter-
mined by the stated requirements. (This is more or less obvious, but it
becomes somewhat technical to write out the details – at least in the way
I’ve done it. I think it is the least important part of this problem...) Thus
let B be any C ∞ structure on the topological manifold M f which satisfies the stated re-
quirements; our task is then to prove that B is compatible with the C ∞ atlas M f. Let
e e e
(U , ϕ) be any chart in B and let (V , y ◦ π) be any chart in A; then our task is to prove
that the map
e ∩ Ve ) → y ◦ π(U
(y ◦ π) ◦ ϕ−1 : ϕ(U e ∩ Ve )
is a diffeomorphism,
Set V := π(Ve ) so that (V, y) ∈ A and π|Ve is a homeomorphism of Ve onto V . Set
f
W =U e ∩ Ve and W = π(W f ); then W
f is an open subset of Ve , W is an open subset of V ,
and π|W f
f is a homeomorphism of W onto W . (For nontriviality, assume W 6= ∅.) Also
f f , π◦y|W ) ∈ A.
(W , ϕ f ) ∈ B and (W, y|W ) ∈ A (since B and A are maximal); hence also (W e
|W
Our task is to prove that the map
(78) f ) → y(W )
(y ◦ π) ◦ ϕ−1 : ϕ(W
is a diffeomorphism, i.e. that both the map (78) and its inverse,
(79) f ),
ϕ ◦ (y ◦ π)−1 : y(W ) → ϕ(W
are C ∞ .
−1
Let p ∈ W and set pe := (π|W f) (p). By the requirement which we have imposed on
B, there is an open neighborhood Ω′ of p in M such that π −1 (Ω′ ) is a union of disjoint
f, each of which is mapped diffeomorphically (wrt B) onto Ω′ by π. Among
open sets in M
f, let Ω
these open sets in M e ′ be the one which contains pe. Then set Ω
e := Ω
e′ ∩ W
f ; it follows
e f
that Ω is an open subset of W which contains pe and which is mapped diffeomorphically
(wrt B) by π onto Ω := π(Ω e′ ∩ W
f ) which is an open subset of W containing p. The
last statement (together with (W f , ϕ f ) ∈ B and (W, y|W ) ∈ A) implies that both the
|W
maps y ◦ π ◦ ϕ −1 e
: ϕ(Ω) → y(Ω) and ϕ ◦ π −1 ◦ y −1 : y(Ω) → ϕ(Ω) e are C ∞ . Those
maps are restrictions of the maps (78) and (79), and the fact that any point p has such a
neighborhood Ω in W now implies that the two maps (78) and (79) are C ∞ , and we are
done.
112 ANDREAS STRÖMBERGSSON
Problem 33:
WLOG we assume U = M . (To see that this is really no loss of generality,
note that if we prove (a) ⇔ (b) ⇔ (c) in the special case U = M , then
the general case follows by applying that statement to the vector bundle
(E|U , π, U ).)
Thus our task is to prove that the following statements are equivalent:
(a) E is trivial;
(b) there is some ϕ such that (M, ϕ) is a bundle chart for E;
(c) there is a basis of sections in ΓE, i.e. sections s1 , . . . , sn ∈ ΓE such that
s1 (p), . . . , sn (p) is a basis of Ep for every p ∈ M .
Here (a) ⇔ (b) is immediate by inspecting the definitions. Indeed, by
definition E is trivial iff there is a bundle isomorphism ϕ : E → M × Rn , i.e.
a C ∞ diffeomorphism ϕ : E → M × Rn with pr1 ◦ϕ = π such that ϕx = ϕ|Ex
is a vector space isomorphism Ex → {x} × Rn for each x ∈ M . But this is
the same as saying that (M, ϕ) is a bundle chart for E.
(b) ⇒ (c): Let ϕ be such that (M, ϕ) is a bundle chart for E. Let
e1 , . . . , en be the standard basis of Rn . For each j ∈ {1, . . . , n} we define the
function sj : M → E by sj (x) = ϕ−1 (x, ej ); then sj is C ∞ and π ◦ sj = 1M ;
hence sj ∈ Γ(E). Now for each x ∈ M , since e1 , . . . , en is a basis for Rn
and ϕ−1 n
x is a vector space isomorphism {x} × R → Ex , it follows that
s1 (x), . . . , sn (x) is a basis of Ex . Hence s1 , . . . , sn form a basis of sections of
E.
(c) ⇒ (b): Assume that s1 , . . . , sn is a basis of sections of E. Let us
define the map ψ : M × Rn → E by
n
X
ψ(x, (c1 , . . . , cn )) := cj · sj (x) ∈ Ex .
j=1
where pr2 is the projection map U × Rn → Rn . Now for each y ∈ α(U ), the
vectors
(82) e 1 (α−1 (y)))), . . . , pr2 (ϕ(s
pr2 (ϕ(s e n (α−1 (y))))
form a basis of Rn , since s1 (α−1 (y)), . . . , sn (α−1 (y)) form a basis of Eα−1 (y) .
Let T (y) be the real n × n matrix formed by the columns of the vectors in
(82). It follows that this matrix is invertible for every y ∈ α(U ), and that
the map in (81) is given by
(83) (y, c) 7→ y, T (y) · c .
(Remember that we represent vectors in Rn as column matrices.) It follows
that ϕ, which is the inverse of ψ, with respect to the two charts above is
represented by the inverse of (83), i.e. by the map
α(U ) × Rn → α(U ) × Rn , (y, c) 7→ (y, T (y)−1 · c).
Our task is to prove that this map is C ∞ (it is a map from an open subset
of Rd × Rn = Rd+n to Rd+n ). However this is clear from the formula of
the inverse matrix T (y)−1 in terms of the adjunct of T (y); cf. here. (In-
deed, every entry of T (y) is a C ∞ function of y since it is a composition of
C ∞ functions, and using the formula for T (y)−1 we see that each of the n
coordinates of
T (y)−1 · c
equals a certain polynomial in the entries of T (y) and the coordinates of c,
divided by det(T (y)), and det(T (y)) is a nowhere vanishing, C ∞ function of
y ∈ α(U ).)
This completes the proof that (U, ϕ) is a bundle chart for E, and thus of
the implication (c) ⇒ (b).
16Of course, “(α, 1)” here stands for the map U × Rn → α(U ) × Rn , (x, v) 7→ (α(x), v).
Cf. footnote 9 above – in the (pedantic) language of that footnote, we would write “[α, 1]”
in place of “(α, 1)”.
PROBLEMS; “RIEMANNIAN GEOMETRY” 115
Problem 34:
The fact that there exist unique functions α1 , . . . , αn ∈ C ∞ (U ) satisfying
s = αj sj is clear from the fact that s1 (p), . . . , sn (p) is a basis of Ep for every
p ∈ U . The fact that each function αj is C ∞ is clear from the proof of “(c)
⇒ (b)” in Problem 33.
Problem 35:
(a) In fact we can achieve this for any open set V ⊂ U whose closure in U
is compact. (This clearly suffices for us, since every point p ∈ U is contained
in such a set V .) Indeed, take any such set V . Let K be the closure of V
in U ; thus K is compact by our assumption. Now by Problem 7(d), there
exists a C ∞ function f : M → [0, 1] which has compact support contained
in U , and which satisfies f|K ≡ 1. Let us define the function s′ : M → E by
(
′ f (p)s(p) (∈ Ep ) if p ∈ U
s (p) =
0 (∈ Ep ) if p ∈
/ U.
Then π ◦ s′ = 1M by construction. Also s′ is C ∞ . [Proof: Let C be the
support of f ; this is a compact set contained in U . Let U ′ = M \C; this is an
open set. Now s′|U = f|U · s is C ∞ , and s′|U ′ is C ∞ , since it is identically zero.
Also U ∪ U ′ = M . Hence every point p ∈ M has an open neighbourhood in
which s′ is C ∞ ; this implies that s′ is C ∞ throughout M .] Hence s′ ∈ Γ(E).
Also for every p ∈ V we have s′ (p) = f (p)s(p) = s(p); hence s′|V = s|V .
Done!
(b) Let p ∈ M be given. Let (U, ϕ) be a bundle chart with p ∈ U , and
let eb1 , . . . , ebn be the corresponding basis of sections of E|U (cf. Problem 33;
thus ebj (y) = ϕ−1 (y, ej ), ∀y ∈ U ). Now by part (a) there exist an open
subset V ⊂ U with p ∈ V and global sections b1 , . . . , bn ∈ Γ(E) such that
bj|V = ebj|V for j = 1, . . . , n. In other words bj (y) = ebj (y) for all y ∈ V ,
j = 1, . . . , n, and thus b1 (y), . . . , bn (y) is a basis of Ey for each y ∈ V .
Hence b1|V , . . . , bn|V form a basis of sections of E|V .
(c) Given p, we choose V, b1 , . . . , bn as in part (b). Now also let v ∈ Ep be
given. Since b1 (p), . . . , bn (p) is a basis of Ep , there exist (unique) c1 , . . . , cn ∈
R such that v = cj · bj (p). Set s = cj bj ∈ ΓE. Then s(p) = v.
116 ANDREAS STRÖMBERGSSON
Problem 36:
Cf., e.g., Lee, [15, Lemma 10.6].
If (V, x) is any chart for M and α ∈ A is such that Uα ∩ V 6= ∅, then we
let σx,α be the map
σx,α : π −1 (Uα ∩ V ) → Rd × Rn ,
σx,α(v) = (xα ◦ pr1 ◦ϕα (v), pr2 ◦ϕα (v))
= (xα ◦ π(v), pr2 ◦ϕα (v))
This is a bijection from π −1 (Uα ∩ V ) onto x(Uα ∩ V ) × Rn , which is an open
subset of Rd × Rn . Clearly E can be covered by sets of the form π −1 (Uα ∩ V )
as above. Hence we see from Problem 10 (parts b and d) that the family of
all (π −1 (Uα ∩ V ), σx,α ) as above generate a (unique!) C ∞ manifold structure
on E, 17 provided that we can only prove (1) C ∞ compatibility and (2) that
the topology generated by the family of all (π −1 (Uα ∩ V ), σx,α ) is Hausdorff,
connected and paracompact.
We first prove C ∞ compatibility. Specifically, we have to prove that for
any charts (V, x) and (W, y) for M and any α, β ∈ A subject to Uα ∩ Uβ ∩
V ∩ W 6= ∅,
(84) σx,α (π −1 (Uα ∩ Uβ ∩ V ∩ W ))
is an open subset of Rd × Rn , and the map σy,β ◦ σx,α
−1 from the set (84) to
d n ∞
R × R is C . However by parsing the definitions we see that the set in
(84) equals
xα (Uα ∩ Uβ ∩ V ∩ W ) × Rn ,
which is indeed an open subset of Rd × Rn . Also the map σx,α
−1 on this set is
given by
−1
σx,α (z, w) = ϕ−1 −1
α (xα (z), w),
and hence
−1
σy,β ◦ σx,α (z, w) = xβ ◦ pr1 ◦ϕβ ◦ ϕ−1
α (x −1
α (z), w), pr 2 ◦ϕβ ◦ ϕ−1 −1
α (x α (z), w)
= xβ ◦ x−1 −1 −1
α (z), pr2 ◦ϕβ ◦ ϕα (xα (z), w) ,
half of the solution to Problem 2(a)). Now for each Ω ∈ U ′ we choose one
chart (V, x) for M and one α ∈ A such that Ω ⊂ Uα ∩ V , and then set
ψΩ := (σx,α )|π−1 (Ω) . It follows from what we have proved above, and (the
solution to) Problem 10, that σx,α is a homeomorphism of π −1 (Uα ∩ V ) onto
x(U ∩ V ) × Rn , and hence also ψΩ is a homeomorphism of π −1 (Ω) onto an
open subset of Rd × Rn . Hence
{(π −1 (Ω), ψΩ ) : Ω ∈ U ′ }
is a (topological) atlas for E. This atlas is countable, since U ′ ⊂ U and U is
countable. Hence we have proved that E is paracompact!
Now we have verified all conditions necessary for Problem 10 (parts b
and d) to apply. Hence we have now provided E with a structure of a C ∞
manifold.
Now the map π : E → M is immediately verified to be C ∞ . Indeed, for
any (V, x) and α as above, using the chart (π −1 (Uα ∩ V ), σx,α ) for E and
the chart (V, x) for M , the map π is represented by the identity map on
xα (Uα ∩ V ).
Now it only remains to verify that for every α ∈ A, the bijection ϕα from
π −1 (Uα ) onto Uα × Rn is in fact a diffeomorphism. For this, it suffices to
verify that for every chart (V, x) for M (with Uα ∩ V 6= ∅), the restriction
of ϕα to π −1 (Uα ∩ V ) is a diffeomorphism onto (Uα ∩ V ) × Rn . However
this is clear since ϕα|π−1 (Uα ∩V ) equals the composition of σx,α with the dif-
feomorphism (z, v) 7→ (x−1 (z), v) from x(Uα ∩ V ) × Rn onto (Uα ∩ V ) × Rn ,
and σx,α is a diffeomorphism since (π −1 (Uα ∩ V ), σx,α ) is a chart in our C ∞
atlas for E (by Problem 10(d)). Done!
PROBLEMS; “RIEMANNIAN GEOMETRY” 119
Problem 37:
(a). Let E be the Möbius bundle over S 1 , defined as in Lecture #7,
p. 2. Assume that E is trivial, i.e. there is a bundle chart (E, ϕ). (This
will lead to a contradiction.) Then by Problem 33 there is a global basis
of sections s ∈ ΓE, in other words a section s ∈ ΓE which is everywhere
non-zero. Let us identify S 1 with [0, 1]/≈ (where ≈ stands for identifying
the points 0 and 1 in [0, 1]) in the standard way, i.e. by mapping x ∈ [0, 1]/≈
to (cos(2πx), sin(2πx)). By definition s is a C ∞ function from [0, 1]/≈ to
E = [0, 1] × R/∼ such that pr1 (s(x)) = x for all x ∈ [0, 1]/≈ . In particular
there is some y ∈ R such that
s(0) = (0, y) = (1, −y) in E.
Note that y 6= 0, since s is everywhere non-zero. Now x 7→ pr2 (s(x))
is a C ∞ function from (0, 1) to R satisfying limx→0+ pr2 (s(x)) = y and
limx→1− pr2 (s(x)) = −y; hence by the intermediate value theorem there is
some x ∈ (0, 1) for which pr2 (s(x)) = 0, contradicting the fact that s is
everywhere non-zero.
Hence E is not trivial.
Lemma 2. If (U, ϕ) and (V, ψ) are bundle charts for E such that U and
V are open arcs on S 1 and also U ∪ V is an open arc, then there exists a
bundle chart for E of the form (U ∪ V, η).
Note that this map is “over-defined”, since both options apply whenever
π(w) ∈ (v1 , u′ ); however using (89) and (90) one verifies that in this case
both options give the same value for η(w). It follows from this that η is C ∞ ,
since ϕ is C ∞ on π −1 ((0, u′ )) and w 7→ (π(w), Te(π(w)) · pr2 (ψ(w))) is C ∞
on π −1 ((v1 , v2 )). Also, by inspection, pr1 ◦ η = π, and for every p ∈ (0, v2 ),
ηp := pr2 ◦ η|Ep is a linear bijection from Ep onto Rn . Furthermore one
verifies that η is a bijection from π −1 (U ∪ V ) onto (U ∪ V ) × Rn , with
inverse given by:
(
−1 ϕ−1 (p, x) if p ∈ (0, u′ )
η (p, x) =
ψ −1 p, Te(p)−1 · x if p ∈ (v1 , v2 ).
18Of course, “(0, u)” here stands for the arc {[x] : x ∈ (0, u)} in S 1 = R/∼ . We will
employ this type of mild abuse of notation several times in the following...
122 ANDREAS STRÖMBERGSSON
Applying the above lemma a finite number of times to our family of arcs
U1 , . . . , Uk , 19 we reduce to the case k = 2! Let us then write (U, ϕ) :=
(U1 , ϕ1 ) and (V, ψ) := (U2 , ϕ2 ). Thus now U, V are open arcs which cover
S 1 , and (U, ϕ) and (V, ψ) are bundle charts for E. With notation as in the
proof of Lemma 2, we may now assume U = (0, u) and V = (v1 , v2 ) where
0 < v2 − 1 < v1 < u < 1 < v2 < v1 + 1.
Thus U ∩ V is the union of the two disjoint open arcs (v1 , u) and (1, v2 ). As
in the proof of Lemma 2, let T : U ∩ V → GLn (R) be the transition map
between (U, ϕ) and (V, ψ), so that
(91)
ϕ ◦ ψ −1 (p, x) = (p, T (p) · x), ∀p ∈ U ∩ V = (v1 , u) ∪ (1, v2 ), x ∈ Rn .
Note that both T|(v1 ,u) and T|(1,v2 ) are C ∞ curves on the manifold GLn (R).
Note that GLn (R) has two connected components, namely
GL+
n (R) := {B ∈ GLn (R) : det B > 0}
and
GL−
n (R) := {B ∈ GLn (R) : det B < 0}.
Of course each of T|(v1 ,u) and T|(1,v2 ) is contained in a single connected com-
ponent.
Case I: T|(v1 ,u) and T|(1,v2 ) lie in the same connected component. Then
using the same technique as in Problem 19(b), one shows that, given any
ε > 0 so small that
0 < ε < v2 − 1 < v1 < u − ε < u < 1 < 1 + ε < v2 < v1 + 1,
19each application reduces the number of arcs by one, and we stop whenever we find
two arcs which together cover S 1
PROBLEMS; “RIEMANNIAN GEOMETRY” 123
As in the proof of Lemma 2 one verifies that this map is well-defined, and
is an isomorphism of vector bundles over S 1 . Hence we conclude that E is
isomorphic to the trivial vector bundle En = S 1 × Rn !
Case II: T|(v1 ,u) and T|(1,v2 ) lie in the different connected component. Then
the curve p 7→ Jn · T (p) for p ∈ (1, v2 ) lies in the same connected component
as T|(v1 ,u) , and hence, using the same technique as in Problem 19(b), one
shows that, given any ε > 0 so small that
0 < ε < v2 − 1 < v1 < u − ε < u < 1 < 1 + ε < v2 < v1 + 1,
there exists a C ∞ curve Te : (v1 , v2 ) → GLn (R) such that
(
T (p) ∀p ∈ (v1 , u − ε)
Te(p) =
Jn · T (p) ∀p ∈ (1 + ε, v2 ).
∼ e
Then Te can be used to define an isomorphism of vector bundles E −
→E n.
We leave out the details.
124 ANDREAS STRÖMBERGSSON
Problem 39:
(a) Recall that as a set, we defined E1 ⊗ E2 to be
G
E1 ⊗ E2 = E1,p ⊗ E2,p ,
p∈M
20– with the same U ! Note that the family of such open sets U certainly cover M , i.e.
for each p ∈ M there exist U, ϕ1 , ϕ2 such that p ∈ U and (U, ϕj ) is a bundle chart for Ej
for j = 1, 2! (Proof?)
PROBLEMS; “RIEMANNIAN GEOMETRY” 125
is C ∞ . But
(93)
τep ◦ τp−1 = (ψ1,p ⊗ ψ2,p ) ◦ (ϕ1,p ⊗ ϕ2,p )−1 = (ψ1,p ◦ ϕ−1 −1
1,p ) ⊗ (ψ2,p ◦ ϕ2,p ),
where the last equality holds since ⊗ is a bifunctor which is covariant in
both arguments (cf. Sec. 7.2 of the lecture notes). Furthermore we know
that the two maps
(p, v) 7→ ψ1,p ◦ ϕ−1
1,p (v), (U ∩ V ) × Rm → Rm
and
(p, v) 7→ ψ2,p ◦ ϕ−1
2,p (v), (U ∩ V ) × Rn → Rn
are C ∞ . By using charts on U ∩ V we see that we will be done if we can
prove the following: Given any open set Ω ⊂ Rd and maps α : Ω → Mm (R)
and β : Ω → Mn (R) 21 such that the two maps
(x, v) 7→ α(x) · v, Ω × Rm → Rm
and
(x, v) 7→ β(x) · v, Ω × Rn → Rn
are C ∞ , then also the map
(94) (x, v) 7→ (α(x) ⊗ β(x)) · v, Ω × (Rm ⊗ Rn ) → (Rm ⊗ Rn )
is C ∞ . However the assumption about α and β is easily seen to be equivalent
to the statement that each matrix entry of α(x) is a C ∞ function of x ∈ Ω,
and similarly for β. Now in (94), by a (hopefully) obvious abuse of notation,
α(x) ⊗ β(x) stands for the matrix of the linear map from Rm ⊗ Rn = Rmn to
itself which is the “tensor product” of the two linear maps v 7→ α(x) · v and
v 7→ β(x) · v. This matrix is the Kronecker product of the matrices α(x) and
β(x); cf. wikipedia, and from the explicit formula for the Kronecker product
we immediately see that each of the (nm)2 matrix entries of α(x) ⊗ β(x) is
a C ∞ function of x ∈ Ω; hence it follows that the map in (94) is C ∞ , and
we are done!
(b) This is very similar to part (a) and we here only describe the set-up:
We define
Hom(E1 , E2 ) := ⊔p∈M Hom(E1,p ⊗ E2,p ),
and if (U, ϕ1 ) is a bundle chart for E1 and (U, ϕ2 ) is a bundle chart for
E2 then we postulate a corresponding bundle chart for Hom(E1 , E2 ) to be
(U, τ ), where τ is given by (analogue of (92)):
τ : π −1 (U ) → U × Hom(Rn1 , Rn2 )
(95) τ (v) := p, Hom(ϕ−1 1,p , ϕ2,p )(v) , ∀p ∈ U, v ∈ Hom(E1,p , E2,p ),
Cf. (96) below regarding the def of “Hom(ϕ−1 1,p , ϕ2,p )”; thus for each p ∈ M
−1
we get τp = Hom(ϕ1,p , ϕ2,p ); this is an R-linear map from Hom(E1 , E2 )p =
Hom(E1,p , E2,p ) to Hom(Rn1 , Rn2 ). The reason that we have to use “ϕ−1 1,p ”
is that Hom is contravariant in its first argument; cf. the discussion below,
especially footnote 23.
Instead of giving further details, we discuss the problem from a more
general point of view. The key property that is used in parts (a), (b), (c)
is that both “⊗” and “Hom” and “dual” are smooth (=C ∞ ) functors on
the category C of finite dimensional vector spaces over R. More specifically,
⊗ is a bifunctor covariant in both arguments (cf. Sec. 7.2 of the lecture
notes); Hom is a bifunctor which is contravariant in the first argument and
covariant in the second argument, and “dual” is a contravariant functor of
one variable. It is a general fact that given any smooth functor F of k
variables on C 22 then for any vector bundles E1 , . . . , Ek over M one can
define in a natural way a vector bundle “F(E1 , . . . , Ek )” over M . Cf. [16,
1.34 – 1.39]. Each of (a), (b), (c) is a special case of this fact.
Let us explain in some detail what it means to say that Hom is a “smooth
bifunctor on C”. Recall that C is the category of finite dimensional vector
spaces over R; thus “A ∈ ob(C)” means that A is a finite dimensional vector
space over R. For any two A, B ∈ ob(C), Hom(A, B) ∈ ob(C) is the vector
space of R-linear maps A → B. Furthermore given any A, A′ , B, B ′ ∈ ob(C)
and R-linear maps h : A′ → A and f : B → B ′ we define an R-linear map
“Hom(h, f )”:
(96)
Hom(h, f ) : Hom(A, B) → Hom(A′ , B ′ ); Hom(h, f ) (g) := f ◦ g ◦ h.
One immediately verifies that Hom(1A , 1B ) = 1Hom(A,B) for all A, B ∈ ob(C),
and that for any A, A′ , A′′ , B, B ′ , B ′′ ∈ ob(C) and any R-linear maps
h′ h f f′
A′′ −→ A′ −
→ A and → B ′ −→ B ′′
B−
we have:
(97) Hom(h′ , f ′ ) ◦ Hom(h, f ) = Hom(h ◦ h′ , f ′ ◦ f ).
The relations which we have here pointed out, mean exactly that Hom is a
bifunctor C × C → C, contravariant in the first argument23 and covariant in
the second argument.
Next, the smoothness of the bifunctor Hom consists in the following: Note
that for any A, A′ , B, B ′ ∈ ob(C), the operation of taking any pair of lin-
ear maps h : A′ → A and f : B → B ′ to the linear map Hom(f, g) :
22Thus for “⊗” and “Hom” we have k = 2, and for “dual” we have k = 1.
23contravariant – because of the switch of order between A and A′ in (96) versus in
“h : A′ → A”, and the corresponding switch of order between h′ and h in the left versus
the right hand side of (97).
PROBLEMS; “RIEMANNIAN GEOMETRY” 127
(c) This is also covered by the general discussion above; viz., it is a special
case of [16, 1.38].
(In fact (c) can be obtained as a special case of (b); namely we have
E1∗ = Hom(E1 , E2 ) when E2 is the trivial vector bundle E2 = M × R. But
alternatively one could also deduce (b) as a consequence of (a) and (c),
namley for any vector bundles E1 and E2 we can identify Hom(E1 , E2 ) =
E1∗ ⊗ E2 .)
128 ANDREAS STRÖMBERGSSON
24In many situations in mathematics, such a phenomenon is a clear warning sign that
one does not really have a complete proof – and so there is good reason to carefully work
out the details. But for the task at hands it seems that there is not so much to worry
about...
PROBLEMS; “RIEMANNIAN GEOMETRY” 129
We now continue with the solution. Let H be the set of bundle homo-
morphisms E1 → E2 . Then above we have constructed a map
(101) Γ(Hom(E1 , E2 )) → H, “s 7→ f ”.
We next construct the inverse map. Thus let f be a bundle homomorphism
E1 → E2 . Then by definition, for each p ∈ M , fp = f|E1,p is an R-linear map
from E1,p to E2,p , i.e. fp ∈ Hom(E1,p , E2,p ) = Hom(E1 , E2 )p ⊂ Hom(E1 , E2 ).
Let us define the map s : M → Hom(E1 , E2 ) by s(p) := fp . Clearly π ◦ s =
1M , and one verifies that s is C ∞ using bundle charts in a manner very
similar to what we did above. Hence s ∈ Γ(Hom(E1 , E2 )), and so we have
constructed a map
(102) H → Γ(Hom(E1 , E2 )), “f 7→ s”.
It is immediate from our definitions (in particular using “s(p) = fp ”) that
the two maps (101) and (102) are inverses to each other. Hence we the two
maps are in fact bijections.
25
Here one could expand and give many more details! :-)
130 ANDREAS STRÖMBERGSSON
Problem 41:
(a) If (U, ϕ) is any bundle chart for E such that ϕ(π −1 (U )∩E ′ ) = U ×Rm ,
then Ep ∩E ′ is an m-dimensional subspace of Ep for every p ∈ U . [Proof: for
any p ∈ U the restriction of ϕ to Ep = π −1 ({p}) is a linear isomorphism from
Ep onto {p} × Rn , and ϕ(π −1 (U ) ∩ E ′ ) = U × Rm implies that ϕ(Ep ∩ E ′ ) =
{p} × Rm ; hence Ep ∩ E ′ is indeed an m-dimensional subspace of Ep .]
By assumption the bundle charts for E with the special property above
cover M ; hence for every p ∈ M the intersection Ep ∩ E ′ is a linear subspace
of Ep . Set µ(p) := dim(Ep ∩E ′ ); then µ is a function from M to {0, 1, . . . , n}.
It is clear from the previous discussion that µ is locally constant. (Indeed,
given p ∈ M , let (U, ϕ) be a bundle chart for E such that p ∈ U and
ϕ(π −1 (U ) ∩ E ′ ) = U × Rm for some m ≤ n; then we saw in the previous dis-
cussion that µ(q) = m for all q ∈ U .) Hence µ−1 ({m}) is an open subset of M
for each m ∈ {0, 1, . . . , n}. But the sets µ−1 ({0}), . . . , µ−1 ({n}) form a par-
tition of M ; furthermore M is connected (since M is a manifold), and thus
M cannot be represented as a union of two or more disjoint nonempty open
subsets. It follows that all except one of the sets µ−1 ({0}), . . . , µ−1 ({n}) are
empty. In other words there is m ∈ {0, . . . , n} such that µ−1 ({m}) = M ,
i.e. dim(Ep ∩ E ′ ) = m for all p ∈ M . Done!
(b) Let F be the family of all bundle charts for E satisfying (1), i.e.
ϕ(E ′ ∩ π −1 (U )) = U × Rm . (By part (a) we know that m is a fixed integer,
0 ≤ m ≤ n, independent of (U, ϕ) ∈ F.) For each (U, ϕ) ∈ F we set
ϕ
e := ϕ|E ′ ∩π−1 (U ) .
We wish to prove that (E ′ , π|E ′ , M ) together with the family
{(U, ϕ)
e : (U, ϕ) ∈ F}
satisfy all the conditions required in Problem 36. For each p ∈ M we set
Ep′ = E ′ ∩ Ep ; we noted in part (a) that Ep′ is an m-dimensional subspace
of Ep . Also for each (U, ϕ) ∈ F, it holds by our assumptions that ϕ e is
′ −1 m
a bijection from E ∩ π (U ) onto U × R , and for each p ∈ U we have
e|Ep′ = ϕ|Ep′ and this is a linear isomorphism of Ep′ onto {p} × Rm . Also
ϕ
the sets U cover M as (U, ϕ) runs through F, by assumption. Hence it only
remains to prove that if both (U, ϕ), (V, ψ) ∈ F, then the map ψe ◦ ϕe−1 from
(U ∩ V ) × Rm onto itself is C ∞ . However that map is equal to the restriction
of the map
ψ ◦ ϕ−1 : (U ∩ V ) × Rn → (U ∩ V ) × Rn
to the set (U ∩ V ) × Rm , and from this the desired smoothness is clear.
[Let us discuss the very last step in some detail: By Problem 8(c) it
suffices to prove that both the maps pr1 ◦ψe ◦ ϕ
e−1 and pr2 ◦ψe ◦ ϕ
e−1 ; however
the first of these equals pr1 : (U ∩ V ) × R → U ∩ V which we know is C ∞ ;
m
PROBLEMS; “RIEMANNIAN GEOMETRY” 131
(c) This is more or less immediate from our assumptions about existence
of bundle charts satisfying (1), together with the following criterion for being
a differentiable submanifold which we pointed out in the notes to lecture #2
(here formulated with notation adapted to our setting): If E is any d + n
dimensional C ∞ manifold and E ′ is an arbitrary subset of E, then E ′ has
a (uniquely determined) structure of a differentiable submanifold of E of
dimension d + m if and only if for every x ∈ E ′ there is a C ∞ chart (V, ψ)
of E such that x ∈ V , ψ(x) = 0, ψ(V ) is an open cube (−ε, ε)d+n , and
(103) ψ(V ∩ E ′ ) = (−ε, ε)d+m × {0}n−m .
(Cf., e.g., [1, Sec. III.5, esp. Lemma 5.2].)
Details: Let x ∈ E ′ be given. Set p = π(x) ∈ M . Then by assumption
there is a bundle chart (U, ϕ) for E such that p ∈ U and (1) holds, i.e.
ϕ(E ′ ∩ π −1 (U )) = U × Rm . Now choose also any C ∞ chart (W, τ ) for M
with p ∈ W . Of course we may assume W ⊂ U (otherwise just replace W by
W ∩ U ) and τ (p) = 0 (otherwise just compose τ with a translation of Rd ).
Then τ (W ) is an open set in Rd containing 0; hence there is some ε > 0
such that (−ε, ε)d ⊂ τ (W ). Now we may replace W by the smaller open set
τ −1 ((−ε, ε)d ); after doing this we have τ (W ) = (−ε, ε)d . Now the map
ψ := (τ, 1Rn ) ◦ ϕ|π−1 (W )
26The conclusion here has the following generalization: Let S, N be C ∞ manifolds, let
f : S → N be a C ∞ map, and let M ⊂ N be a differentiable submanifold of N . Assume
that f (S) ⊂ M . Then f is C ∞ also as a map S → M . Cf., e.g., [15, Cor. 5.30]. The proof
of this fact basically reduces to what we have already done, if one uses charts as in [12,
Lemma 1.3.1]. Note that if we merely assume that M is an immersed submanifold of N ,
then the corresponding statement is false in general! (Can you give an example?)
132 ANDREAS STRÖMBERGSSON
Problem 42:
(a). Recall that as a set, f ∗ E is defined to be
(104) f ∗ E := {(p, v) : p ∈ M, v ∈ Ef (p) } ⊂ M × E,
and we define the projection map π e : f ∗ E → M to be simply π
e := pr1 ,
∗
e(p, v) := p for all (p, v) ∈ f E. Also for any bundle chart (U, ϕ) for
i.e. π
(E, π, N ) we have specified that if ϕe is the map
(105) ϕ e−1 (f −1 (U )) → f −1 (U ) × Rn
e :π (n := rank E);
ϕ(p,
e v) := (p, pr2 (ϕ(v)))
then (f −1 (U ), ϕ)
e is a bundle chart for f ∗ E.
In order to prove that (f ∗ E, π e, M ) is a vector bundle, we now verify
e : f ∗ E → M with the above proposed bundle charts satisfy all the
that π
conditions required in Problem 36. Firstly, π e is obviously surjective, and for
every p ∈ M , the set (f ∗ E)p := π
e−1 (p) is seen to be
(f ∗ E)p := π
e−1 (p) = {p} × Ef (p) “= Ef (p) ”
(the last equality is our usual identification), and this set carries the struc-
ture of an n-dimensional real vector space since (E, π, N ) is a vector bundle.
Next let (U, ϕ) be any bundle chart for (E, π, N ). Then f −1 (U ) of course is
an open subset of M . Also
e−1 (f −1 (U )) = {(p, v) : p ∈ f −1 (U ), v ∈ Ef (p) },
π
and for any fixed p ∈ f −1 (U ), we know that pr2 ◦ϕ|Ef (p) is a linear isomor-
phism of Ef (p) onto Rn ; hence from the definition of ϕ,e (105), it follows that
∗
e to the set (f E)p = {p} × Ef (p) is a linear isomorphism
the restriction of ϕ
onto {p} × Rn . In particular ϕ e restricts to a bijection of {p} × Ef (p) onto
{p} × R , and using this fact for every p ∈ f −1 (U ) it follows that
n
S ϕ e is a
e−1 (f −1 (U )) onto f −1 (U ) × Rn . Furthermore, M = f −1 (U )
bijection of π
when the union is taken over all bundle charts (U, ϕ) for (E, π, N ), since the
family of such sets U cover N .
Now the only condition from Problem 36 which remains to be verified
is that if (U, ϕ) and (V, ψ) are any two bundle charts for (E, π, N ), then
ψe ◦ ϕ
e−1 is a C ∞ map from (f −1 (U ) ∩ f −1 (V )) × Rn to itself. To prove this,
first note that f −1 (U ) ∩ f −1 (V ) = f −1 (U ∩ V ). Next, by parsing the maps
one finds that
(106) ψe ◦ ϕ
e−1 (p, w) = p, pr2 (ψ(ϕ−1 (f (p), w))) ,
∀(p, w) ∈ f −1 (U ∩ V ) × Rn .
and applying ψe to this relation and again using (105), we obtain (106)!]
Clearly (106) implies that ψe ◦ ϕ
e−1 is a C ∞ map from f −1 (U ∩ V ) × Rn
to itself (using the fact that the maps ψ, ϕ−1 , f are C ∞ , and also using
Problem 8(b),(c)).
Hence all the conditions from Problem 36 are satisfied, and so Problem 36
implies that (f ∗ E, π
e, M ) is a vector bundle, and that for any bundle chart
(U, ϕ) for (E, π, N ), (f −1 (U ), ϕ)
e is a bundle chart for f ∗ E.
27Here we are sweeping a lot of details under the carpet; however we have discussed
similar things many times previously...
PROBLEMS; “RIEMANNIAN GEOMETRY” 135
by comparing the C ∞ charts provided in each case. – but would take some
effort to write out.)
Problem 43:
(a). This is very direct: We map any (s1 , s2 ) ∈ Γ(E1 ) ⊕ Γ(E2 ) to the
section s ∈ Γ(E1 ⊕ E2 ) defined by
s(p) := (s1,p , s2,p ) ∈ E1,p ⊕ E2,p = (E1 ⊕ E2 )p .
One verifies that this map (s1 , s2 ) 7→ s is an isomorphism of C ∞ M -modules.
We leave out the details...
Φh = 0. Then Φh,s = 0 for all s ∈ ΓE1 , and so h(p)(s(p)) = 0 for all s ∈ ΓE1
and p ∈ M . Hence by Problem 35(c), for every p ∈ M we have h(p)(v) = 0,
∀v ∈ E1,p , i.e. h(p) = 0 in Hom(E1,p , E2,p ) = Hom(E1 , E2 )p . Since this is
true for every p ∈ M , we conclude that h = 0, as desired. This completes
the proof that the map in (108) is injective.
It remains to prove surjectivity. Thus take an arbitrary element Φ ∈
Hom(ΓE1 , ΓE2 ), i.e. a C ∞ (M )-linear map Φ : ΓE1 → ΓE2 . Let us start by
proving that Φ is “local” in the following sense:
Lemma 3. For any open set U ⊂ M and any s1 , s2 ∈ ΓE1 , if s1|U = s2|U
then Φ(s1 )|U = Φ(s2 )|U .
Proof. Assume s1|U = s2|U . Now our task is to prove that Φ(s1 )(p) =
Φ(s2 )(p) for every p ∈ U . Thus fix a point p ∈ U . By Problem 7(c) there is
a function f ∈ C ∞ (M ) which has compact support contained in U and which
satisfy f (p) = 1. Using s1|U = s2|U and f (p) = 0 for all p ∈ M \ U it follows
that f s1 = f s2 in ΓE1 ; thus Φ(f s1 ) = Φ(f s2 ). But Φ is C ∞ (M )-linear and
thus f Φ(s1 ) = f Φ(s2 ), and in particular f (p)Φ(s1 )(p) = f (p)Φ(s2 )(p), and
since f (p) 6= 0 this implies Φ(s1 )(p) = Φ(s2 )(p). Done!
Let V be the family of open sets V ⊂ M such that there exist sections
b1 , . . . , bn ∈ ΓE1 and c1 , . . . , cm ∈ ΓE2 , such that b1|V , . . . , bn|V form a basis
of sections of E1|V and c1|V , . . . , cm|V form a basis of sections of E2|V . By
Problem 35(b), V covers M . Now take any V ∈ V, and choose sections
b1 , . . . , bn ∈ ΓE1 and c1 , . . . , cm ∈ ΓE2 with the property just mentioned.
For each j ∈ {1, . . . , n}, Φ(bj )|V ∈ Γ(E2|V ); hence (by Problem 34) there are
unique gjk ∈ C ∞ (V ) (k = 1, . . . , m) such that
For each q ∈ V , let h(q) be the linear map E1,q → E2,q which has matrix
(gjk (q)) with respect to the bases b1 (q), . . . , bn (q) and c1 (q), . . . , cm (q); that
is,
(110) h(q) αj bj (q) = αj gjk (q)ck (q), ∀α = (αj )j=1,...,n ∈ Rn .
s|U = (fej bj )|U , and so by Lemma 3, Φ(s)|U = Φ(fej bj )|U , and in particular
Φ(s)(q) = Φ(fej bj )(q) = fej (q)Φ(bj )(q) = f j (q)gjk (q)ck (q) = h(q) f j (q)bj (q)
= h(q)(s(q)).
(In the second equality we used the assumption that Φ is C ∞ (M )-linear;
in
the third equality we used (109); in the fourth equality we used (110), and
in the last equality we used s|V = f j bj|V .)
Lemma 5. h(q) depends only on Φ and q, and not on V or b1 , . . . , bn or
c1 , . . . , cm .
28Apply Problem 38 to both E and E ; then consider the common refinement of the
1 2
two open covers, i.e. the family of pair-wise intersections of the open sets.
PROBLEMS; “RIEMANNIAN GEOMETRY” 139
{1, . . . , m}, k ∈ {1, . . . , n}}), form a basis of the R-linear space E1,p ⊗ E2,p .
Hence
is a basis of sections in Γ(E1 ⊗ E2 )|Uℓ . (Here the notation “bj ⊗ b′k ” is the
one introduced above in (113), but applied for the vector bundles E1|Uℓ and
E2|Uℓ .) This means that for every section s ∈ Γ(E1 ⊗ E2 )|Uℓ there exists a
unique choice of functions g jk ∈ C ∞ (Uℓ ) such that
X n
m X m X
X n
jk
s= g · bj ⊗ b′k = (gjk bj ) ⊗ b′k .
j=1 k=1 j=1 k=1
Similarly define
(ℓ)
τej ∈ ΓE2
(ℓ) (ℓ)
by τej (p) = ϕℓ (p)τj (p) for p ∈ Uℓ and zero elsewhere. Now
mn X
X r
(ℓ) (ℓ)
ej ⊗ τej
σ ∈ ΓE1 ⊗ ΓE2 ,
j=1 ℓ=1
140 ANDREAS STRÖMBERGSSON
Problem 44:
(a). (Cf. Poor, [16, Prop. 1.60].)
We start by proving that there is a natural bijection between Γf ∗ E and
Γf E. Remeber from Problem 42 that f ∗ E is a differentiable submanifold of
M × E, and we know from Problem 8 that pr2 : M × E → E is a C ∞ map.
Now if s ∈ Γf ∗ E then pr2 ◦s is a C ∞ map from M to E. Also π ◦ pr2 ◦s = f ,
since pr2 (s(p)) ∈ Ef (p) for all p ∈ M . Hence pr2 ◦s ∈ Γf E. Thus we have
constructed a map
(115) Γf ∗ E → Γf E; s 7→ pr2 ◦s.
We next construct the inverse map. Given σ ∈ Γf E, we define the map
b : M → f ∗ E;
σ σ
b(p) := (p, σ(p)).
Note that for any p ∈ M we have σ(p) ∈ Ef (p) and hence
b(p) ∈ {p} × Ef (p) = (f ∗ E)p .
σ
This relation implies in particular σb(p) ∈ f ∗ E, i.e. σ
b is indeed a well-defined
∗
map from M to f E, and it also implies that π e(bσ (p)) = p; thus πe◦σ b = 1M .
In order to prove that σb is C ∞ , it suffices to prove that ϕ e◦σb|f −1 (U ) is C ∞
for every bundle chart (U, ϕ) for (E, π, N ). 29 Now for every p ∈ f −1 (U ),
ϕ(b
e σ (p)) = ϕ(p,
e σ(p)) = (p, pr2 (ϕ(σ(p)))),
and the last expression is clearly a C ∞ function of p ∈ f −1 (U ) (using Prob-
lem 8(d) and the fact that any composition of C ∞ maps is a C ∞ map).
b ∈ Γf ∗ E. Thus we have constructed a map
Hence σ
(116) Γf E → Γf ∗ E; σ 7→ σ
b.
Next we prove that the two maps (115) and (116) are inverses to each
other. For every σ ∈ Γf E we have, for every p ∈ M ,
pr2 ◦b
σ (p) = pr2 (p, σ(p)) = σ(p).
σ = σ. Next, for every s ∈ Γf ∗ E we have, for every p ∈ M ,
Hence pr2 ◦b
p\
r2 ◦s(p) = (p, pr2 (s(p))) = (e
π (s(p)), pr2 (s(p))) = (pr1 (s(p)), pr2 (s(p)))
= s(p).
Hence p\
r2 ◦s = s. Done!
Hence we have proved that the map (115) is a bijection of Γf ∗ E onto Γf E,
with inverse given by (116). Hence there is a unique C ∞ M -module structure
on Γf E which such that (115) is an isomorphism of C ∞ M -modules!
29Here we use the notation from the solution of Problem 42(a); thus ϕ e is the C ∞
diffeomorphism of π e −1 (f −1 (U )) onto f −1 (U ) × Rn given by ϕ(p,
e v) := (p, pr2 (ϕ(v))); then
(f −1 (U ), ϕ)
e is a bundle chart for (f ∗ E, π e , M ).
142 ANDREAS STRÖMBERGSSON
(The sum over j is takenPover all j ∈ {1, . . . , r} for which f (x) ∈ Uj .) The
last equality holds since rj=1 ρj (f (x))2 = 1 and ρj (f (x)) = 0 for all j with
f (x) ∈
/ Uj . Hence we have expressed s as a finite sum of the desired form.
Problem 45:
(a). The solution to Problem 40 is generalized to the present situation
without any new difficulties arising (apart from a little extra amount of
book-keeping):
Let us write nj = rank Ej (j = 1, 2) and let π be the projection map
π : Hom(E1 , f ∗ E2 ) → M .
Let s ∈ Γ(Hom(E1 , f ∗ E2 )). Then for each p ∈ M ,
s(p) ∈ Hom(E1 , f ∗ E2 )p = Hom(E1,p , E2,f (p) ),
and so s gives rise to a map
h : E1 → E2 , h(x) := s(π1 (x))(x) (x ∈ E1 ).
By construction this map h satisfies π2 ◦ h = f ◦ π1 , and furthermore for
each p ∈ M ,
hp := h|E1,p = s(p) ∈ Hom(E1,p , E2,f (p) ),
i.e. hp is a linear map from E1,p to E2,f (p) . Hence if we can only prove that
h is C ∞ then h is a bundle homomorphism E1 → E2 along f .
To prove that h is C ∞ is a local problem, and by passing to appropriate
charts and bundle charts it is seen to follow from the basic fact pointed
out around (99), (100) in the solution of Problem 40. (We leave out the
details...)
Hence, writing H for the set of bundle homomorphisms E1 → E2 along
f , then above we have constructed a map
(119) Γ(Hom(E1 , f ∗ E2 )) → H, “s 7→ h”.
We next construct the inverse map. Thus let h be a bundle homomorphism
E1 → E2 along f . Then by definition, for each p ∈ M , hp = h|E1,p is an
R-linear map from E1,p to E2,f (p) , i.e.
hp ∈ Hom(E1,p , E2,f (p) ) = Hom(E1 , f ∗ E2 )p .
Let us define the map s : M → Hom(E1 , f ∗ E2 ) by s(p) := hp . Clearly
π ◦ s = 1M , and one verifies that s is C ∞ by passing to local coordinates
(we again leave out the details). Hence s ∈ Γ(Hom(E1 , f ∗ E2 )), and so we
have constructed a map
(120) H → Γ(Hom(E1 , f ∗ E2 )), “h 7→ s”.
It is immediate from our definitions (in particular using “s(p) = hp ”) that
the two maps (119) and (120) are inverses to each other. Hence we the two
maps are in fact bijections.
PROBLEMS; “RIEMANNIAN GEOMETRY” 145
Problem 46:
Let (U, ϕ) be a bundle chart for E with c(t0 ) ∈ U . Take ε > 0 so small
that c(t) ∈ U for all t ∈ (t0 − ε, t0 + ε). Then via (U, ϕ), the section
s|(t0 −ε,t0 +ε) is identified with a C ∞ map from (t0 − ε, t0 + ε) to Rn , where
n := rank E. Let sj be the j:th coordinate of this function; thus sj is a C ∞
map from (t0 − ε, t0 + ε) to R, for j = 1, . . . , n. By Problem 12(b), for each
j there exists some εj ∈ (0, ε) and a C ∞ function gj : U → R such that
gj (c(t)) = sj (t) for all t ∈ (t0 − εj , t0 + εj ). Let g : U → Rn be the function
whose jth coordinate is gj ; this is a C ∞ function from U to Rn , and via our
bundle chart (U, ϕ), g defines a section se ∈ ΓE|U satisfying se(c(t)) = s(t) for
all t ∈ (t0 − ε′ , t0 + ε′ ), where ε′ := min(ε1 , . . . , εn ). Now by Problem 35(a),
there exists some s1 ∈ ΓE and an open set V ⊂ U containing c(t0 ) satisfying
s1|V = se|V . Now take ε′′ ∈ (0, ε′ ] so that c(t) ∈ V for all t ∈ (t0 − ε′′ , t0 + ε′′ ).
Then we have s1 (c(t)) = s(t) for all t ∈ (t0 − ε′′ , t0 + ε′′ ). Done!
Problem 47:
(a). The map
(121) f 7→ X(Y (f )) − Y (X(f )), C ∞ (M ) → C ∞ (M ),
is clearly R-linear, since X and Y are (or give) R-linear maps on C ∞ (M )
(cf. Problem 15(b)). Furthermore for any f, g ∈ C ∞ (M ), using the fact that
X and Y are derivations we have
X(Y (f g)) = X (Y f ) · g + f · (Y g)
= (X(Y f )) · g + (Y f ) · (Xg) + (Xf ) · (Y g) + f · (X(Y g)).
Similarly,
Y (X(f g)) = (Y (Xf )) · g + (Xf ) · (Y g) + (Y f ) · (Xg) + f · (Y (Xg)),
and subtracting the two we get
X(Y (f g)) − Y (X(f g)) = X(Y (f )) − Y (X(f )) · g + f · X(Y (g)) − Y (X(g)) .
Hence the map in (121) is a derivation of C ∞ (M ). Hence by Problem 15(b)
there is a unique vector field Z on M such that
Z(f ) = X(Y (f )) − Y (X(f )), ∀f ∈ C ∞ (M ).
Done.
(b). ...
(d). ...
148 ANDREAS STRÖMBERGSSON
Problem 48:
(a). The task is to prove that if (V, y) is any other C ∞ chart on M , with
respect to which
X
ω|V = eI dy I
ω
I
f = x ◦ y −1 : y(U ∩ V ) → x(U ∩ V ).
31very convenient!
PROBLEMS; “RIEMANNIAN GEOMETRY” 149
(b). Strictly speaking, we need to prove this formula first in the special
′
case when M and N are open subsets of Rd and Rd , since we make use of this
fact in the proof that the general exterior derivative d : Ωr (M ) → Ωr+1 (M )
is well-defined; cf. part (a) above!
Thus assume that M is an open subset of Rd and N is an open subset
′ ′
of Rd (and f : M → N is a C ∞ map). Let us write x = (x1 , . . . , xd ) for
a variable point in N and y = (y 1 , . . . , y d ) for a variable P
point in M . Let
ω ∈ Ω (N ), and take functions ωI ∈ C (N ) so that ω = I ωI dxI . Then
r ∞
Let us first note that both sides of (130) are alternating in X0 , . . . , Xr , i.e. if
we replace X0 , . . . , Xr by Xσ(0) , . . . , Xσ(r) for some σ ∈ Sr+1 (the group of
permutations of {0, 1, . . . , r}) then the effect is that the expressions on both
sides of (130) get multiplied by sgn σ. [Detailed proof: For the left hand side
this holds since dω is alternating by definition. Now consider the right hand
side. It suffices to study what happens when Xi and Xi+1 are switched for
some i ∈ {0, 1, . . . , r − 1}, since Sr+1 is generated by such transpositions.
Then for each j ∈ / {i, i + 1} the corresponding term in the sum is negated,
since ω(X0 , . . . , X̂j , . . . , Xr ) gets negated by the transposition. Furthermore
the contribution from j ∈ {i, i + 1} to the sum after the transposition is
(−1)i Xi+1 ω(X0 , . . . , X̂i+1 , . . . , Xr ) + (−1)i+1 Xi ω(X0 , . . . , X̂i , . . . , Xr ) ,
and this is again equal to −1 times the contribution from j ∈ {i, i+ 1} in the
original sum. Hence we conclude that the whole expression in the right hand
side of (130) gets negated when switching Xi ↔ Xi+1 , and this completes
the proof of the claim.]
It follows that it suffices to prove (130) in the special case
(131) ℓ0 < ℓ1 < · · · < ℓr .
(Note in particular that if any two of the ℓj ’s are equal then the alternating
property proved above implies that both sides of (130) equal zero and so
the equality holds.)
∞ (U ) so that ω =
P I
Now P take ω I ∈ C I ωI dx (notation as before). Then
dω = I dωI ∧ dxI , and recalling I = (i1 , . . . , ir ) and the definition of wedge
product, we get:
X
[dω](X0 , . . . , Xr ) = (dωI ∧ dxI )(X0 , . . . , Xr )
I
X X r
Y
(132) = (sgn σ) · dωI (Xσ(0) ) · dxij (Xσ(j) ).
I σ∈Sr+1 j=1
Recalling (129), we see that the last product equals one if I = (i1 , . . . , ir ) =
(ℓσ(1) , . . . , ℓσ(r) ), otherwise zero. Recalling now (131) and the fact that I
runs through all r-tuples with 1 ≤ i1 < i2 < · · · < ir ≤ d, it follows
PROBLEMS; “RIEMANNIAN GEOMETRY” 153
that σ ∈ Sr+1 contributes to the last sum iff σ(1) < σ(2) < · · · < σ(r).
There exist exactly r + 1 such permutations σ, namely one for each choice of
a := σ(0) ∈ {0, 1, . . . , r + 1}; explicitly the unique admissible permutation
σ = σa with σa (0) = a is given by σa (j) = j − 1 for 1 ≤ j ≤ a and
σa (j) = j for a < j ≤ r. Note also that this permutation σ can be obtained
as a product of a transpositions i ↔ i + 1; hence sgn(σa ) = (−1)a . Given
σ = σa , we get contribution from I = (ℓσa (1) , . . . , ℓσa (r) ) and no other I, and
P
using ω = I ωI dxI we get for I = (ℓσ(1) , . . . , ℓσ(r) ):
and thus
dωI (Xσa (0) ) = Xa ω(X0 , . . . , X̂a , . . . , Xr ) .
i.e. (130) is proved! Recall that this was under the assumption that Xj =
∂
ℓj for j = 0, . . . , r; cf. (129).
∂x
Next, let us call the right hand side of the general formula which we wish
to prove “F (X0 , . . . , Xr )”. That is:
r
X
F (X0 , . . . , Xr ) := (−1)j Xj ω(X0 , . . . , X̂j , . . . , Xr )
j=0
X
(133) + (−1)j+k ω([Xj , Xk ], X0 , . . . , X̂j , . . . , X̂k , . . . , Xr ).
0≤j<k≤r
F (f X0 , X1 , . . . , Xr ) = f · F (X0 , X1 , . . . , Xr ).
In the second sum, each term with 0 < j < k ≤ r gets multiplied by f ,
whereas each term with 0 = j < k ≤ r becomes (−1)0+k times
ω([f X0 , Xk ], X1 , . . . , X̂k , . . . , Xr )
= ω f [X0 , Xk ] − (Xk f )X0 , X1 , . . . , X̂k , . . . , Xr
= f · ω([X0 , Xk ], X1 , . . . , X̂k , . . . , Xr ) − (Xk f ) · ω(X0 , . . . , X̂k , . . . , Xr ).
(Cf. Problem 47(d).) Hence in total we get:
F (f X0 , X1 , . . . , Xr ) =f · F (X0 , X1 , . . . , Xr )
r
X
+ (−1)j (Xj f ) · ω(X0 , . . . , X̂j , . . . , Xr )
j=1
Xr
+ (−1)k −(Xk f ) · ω(X0 , . . . , X̂k , . . . , Xr )
k=1
= f · F (X0 , X1 , . . . , Xr ).
Hence the C ∞ (M )-multilinearity is proved.
Now the proof of the formula in the general case is easily completed:
Again let (U, x) be an arbitrary C ∞ chart on M ; it suffices to prove that the
desired formula holds in U . Hence from now on we may just as well assume
M = U . We keep the notation “F ” from (133) (but now with M = U ). We
have proved above that F is C ∞ (U )-multilinear, and also that
(134) [dω](X0 , . . . , Xr ) = F (X0 , . . . , Xr )
when each Xj is of the form Xj = ∂ℓj (indeed, cf. (130) and again recall that
∂x
for such X0 , . . . , Xr , all Lie brackets [Xj , Xk ] vanish). But every X ∈ Γ(T U )
∂ ∞ (U ); hence
can be expressed as X = fℓ ∂x ℓ for some (unique) f1 , . . . , fd ∈ C
it follows that (134) holds for arbitrary X1 , . . . , Xr ∈ Γ(T U ). This is the
desired formula!
PROBLEMS; “RIEMANNIAN GEOMETRY” 155
Problem 49:
(a). By the definition
Vr of tensor product (of C ∞ (M )-modules), every ele-
ment in Γ(E1 )⊗Γ( M ) can V be written as a finite sum of pure tensors µ1 ⊗ω1
(where µ1 ∈ ΓE1 , ω1 ∈ Γ( r M ) = ΩrV (M )). Hence by Problem 43(d), the
same is true for any section in Γ(E ⊗ r M ) = Ωr (E ). The analogous fact
Vs 1 1
of course also holds for Γ(E2 ⊗ M ) = Ωs (E2 ). Hence the stated formula,
(135) (µ1 ⊗ ω1 ) ∧ (µ2 ⊗ ω2 ) = (µ1 ⊗ µ2 ) ⊗ (ω1 ∧ ω2 ),
∀µ1 ∈ Γ(E1 ), ω1 ∈ Ωr (M ), µ2 ∈ Γ(E2 ), ω2 ∈ Ωs (M ),
together with the requirement that ∧ should be a C ∞ (M )-bilinear map
Ωr (E1 ) × Ωs (E2 ) → Ωr+s (E1 ⊗ E2 ), certainly makes s1 ∧ s2 uniquely deter-
mined for any s1 ∈ Ωr (E1 ), s2 ∈ Ωs (E2 ). Hence it remains to prove that
such a C ∞ (M )-bilinear map exists.
For the existence proof, we start by considering the map
F : Γ(E1 ) × Ωr (M ) × Γ(E2 ) × Ωs (M ) → Ωr+s (E1 ⊗ E2 ),
F (µ1 , ω1 , µ2 , ω2 ) = (µ1 ⊗ µ2 ) ⊗ (ω1 ∧ ω2 ).
This map is immediately verified to be C ∞ (M )-multilinear. Hence by the
definition of tensor product, there exists a unique C ∞ (M )-linear map
Fe : Γ(E1 ) ⊗ Ωr (M ) ⊗ Γ(E2 ) ⊗ Ωs (M ) → Ωr+s (E1 ⊗ E2 )
satisfying
Fe(µ1 ⊗ ω1 ⊗ µ2 ⊗ ω2 ) = (µ1 ⊗ µ2 ) ⊗ (ω1 ∧ ω2 ),
(136) ∀µ1 ∈ Γ(E1 ), ω1 ∈ Ωr (M ), µ2 ∈ Γ(E2 ), ω2 ∈ Ωs (M ).
V
Using Problem 43(d) and Ωr (M ) = Γ( r M ), Fe becomes identified with a
C ∞ (M )-linear map
Fe : Ωr (E1 ) ⊗ Ωs (E2 ) → Ωr+s (E1 ⊗ E2 ).
Composing Fe with the canonical map (s1 , s2 ) 7→ s1 ⊗s2 from Ωr (E1 )×Ωs (E2 )
to Ωr (E1 ) ⊗ Ωs (E2 ) (which is C ∞ (M )-bilinear by the definition of tensor
product), we obtain a C ∞ (M )-bilinear map
Ωr (E1 ) × Ωs (E2 ) → Ωr+s (E1 ⊗ E2 )
which maps µ1 ⊗ ω1 , µ2 ⊗ ω2 to (µ1 ⊗ µ2 ) ⊗ (ω1 ∧ ω2 ) for all µ1 , ω1 , µ2 , ω2 as
in (136). This map satisfies all requirements imposed on “∧”, i.e. we have
proved the (unique) existence of such a map “∧”!
As an addendum, let us note that the wedge product s1 ∧ s2 ∈ Ωr+s (E1 ⊗
E2 ) of any two sections s1 ∈ Ωr (E1 ) and s2 ∈ Ωs (E2 ) can be computed
“fiber by fiber”:
(s1 ∧ s2 )(p) = s1 (p) ∧ s2 (p), ∀p ∈ M,
156 ANDREAS STRÖMBERGSSON
where in the right hand side, the “∧” 32 denotes the unique R-bilinear map
V V V
(E1,p ⊗ r (Tp∗ (M ))) × (E2,p ⊗ s (Tp∗ (M ))) → (E1,p ⊗ E2,p ) ⊗ r+s (Tp∗ (M ))
satisfying
(v1 ⊗ ϕ1 ) ∧ (v2 ⊗ ϕ2 ) = (v1 ⊗ v2 ) ⊗ (ϕ1 ∧ ϕ2 ),
V V
(137) ∀v1 ∈ E1,p , ϕ1 ∈ r (Tp∗ (M )), v2 ∈ E2,p , ϕ2 ∈ s (Tp∗ (M )).
Indeed, this is clear by parsing through the identifications in the above proof
(in particular see equation (113) in the solution to Problem 43(d)). Note also
that the fact that there indeed exists a unique R-bilinear map “∧” satisfying
(137) is proved by an argument completely similar to what we did above.
(b). This is quite immediate from the corresponding formulas for the
“standard” wedge product on Ω(M ). Indeed, for the associativity relation,
by C ∞ (M )-multilinearity and the argument at the beginning of our solution
to part (a), it suffices to prove the identity s1 , s2 , s3 of the form sj = µj ⊗ ωj
(j = 1, 2, 3), where µj ∈ Γ(Ej ) and ω1 ∈ Ωr (M ), ω2 ∈ Ωs (M ), ω3 ∈ Ωt (M ).
But in that case we have
s1 ∧ (s2 ∧ s3 ) = (µ1 ⊗ ω1 ) ∧ (µ2 ⊗ ω2 ) ∧ (µ3 ⊗ ω3 )
= (µ1 ⊗ ω1 ) ∧ (µ2 ⊗ µ3 ) ⊗ (ω2 ∧ ω3 )
= (µ1 ⊗ µ2 ⊗ µ3 ) ⊗ (ω1 ∧ (ω2 ∧ ω3 ))
= (µ1 ⊗ µ2 ⊗ µ3 ) ⊗ ((ω1 ∧ ω2 ) ∧ ω3 )
= ···
= (s1 ∧ s2 ) ∧ s3 .
In the fourth equality we used the fact that the wedge product on Ω(M ) is
associative.
Similarly for any s1 , s2 as above we have
(−1)rs · J(s2 ∧ s1 ) = (−1)rs · J((µ2 ⊗ µ1 ) ⊗ (ω2 ∧ ω1 ))
= (−1)rs · (µ1 ⊗ µ2 ) ⊗ (ω2 ∧ ω1 )
= (µ1 ⊗ µ2 ) ⊗ (ω1 ∧ ω2 )
= s1 ∧ s2 .
In the third equality we used the fact that ω1 ∧ ω2 = (−1)rs ω2 ∧ ω1 .
(c). This is immediate from the second relation in part (b); indeed note
e
that m′ = m ◦ J : Ωr+s (E2 ⊗ E1 ) → Ωr+s (E).
32Note that we are now using “∧” in quite a few different ways; however it will always
be clear from the type of the two arguments which “∧” is used in each instance.
PROBLEMS; “RIEMANNIAN GEOMETRY” 157
(d). Similarly, this is fairly immediate from the first relation in part (b);
we leave out a detailed discussion. (One has to change order between certain
operations and this becomes somewhat tedious to spell out.) Instead we give
a direct proof by mimicking the proof of the first relation in part (b): For
any s1 , s2 , s3 of the form sj = µj ⊗ ωj (j = 1, 2, 3), where µj ∈ Γ(Ej ) and
ω1 ∈ Ωr (M ), ω2 ∈ Ωs (M ), ω3 ∈ Ωt (M ), we have (note carefully that now
certain “∧” have a different meaning than in part (b)...):
s1 ∧ (s2 ∧ s3 ) = (µ1 ⊗ ω1 ) ∧ (µ2 ⊗ ω2 ) ∧ (µ3 ⊗ ω3 )
= (µ1 ⊗ ω1 ) ∧ (µ2 · µ3 ) ⊗ (ω2 ∧ ω3 )
= (µ1 · (µ2 · µ3 )) ⊗ (ω1 ∧ (ω2 ∧ ω3 ))
= ((µ1 · µ2 ) · µ3 ) ⊗ ((ω1 ∧ ω2 ) ∧ ω3 )
= ···
= (s1 ∧ s2 ) ∧ s3 .
Done!
158 ANDREAS STRÖMBERGSSON
Problem 51:
(a). To start, by the definition of tensor product, there is a natural
bijection between the C ∞ (M )-multilinear maps Γ(T M )(r) → ΓE and the
C ∞ (M )-linear maps from
· · ⊗ T M}) = Γ(T0r M )
| M ⊗ ·{z
Γ(T M ) ⊗ · · · ⊗ Γ(T M ) = Γ(T
| {z }
r times r times
33Indeed, using standard bundle charts, this boils down to the local fact that U ×
Vr
((Rn )∗ ) is a subbundle of U × (Rn ⊗ · · · ⊗ Rn )∗ (for U open ⊂ M ).
34General fact (complement to Problems 39(a) and 41): If E , E , F are vector bundles
1 2
over M and E1 is a subbundle of E2 , then E1 ⊗ F is a subbundle of E2 ⊗ F .
160 ANDREAS STRÖMBERGSSON
Hence, by also using (138) and Problem 35(c) (applied to the vector bundle
T M ) we see that it suffices to prove the following:
V For every p ∈ M and
every z ∈ Ep ⊗ Tr0 (M )p , we have z ∈ Ep ⊗ r (Tp∗ M ) iff
Cp (z ⊗ (vσ(1) ⊗ · · · ⊗ vσ(r) )) = (sgn σ) · Cp (z ⊗ (v1 ⊗ · · · ⊗ vr )),
(140) ∀σ ∈ Sr , v1 , . . . , vr ∈ Tp M.
Proof of the last claim: Let b1 , . . . , bP n be a basis of Ep . Then every z ∈
Ep ⊗Tr0 (M )p can be expressed as z = nj=1 bj ⊗ηj with uniquely determined
V V
η1 , . . . , ηn ∈ Tr0 (M )p , and we have z ∈ Ep ⊗ r (Tp∗ M ) iff ηj ∈ r (Tp∗ M ) for
all j. It now follows from the definition of Cp , (139), that
n
X
Cp (z ⊗ α) = ηj (α) · bj , ∀α ∈ T0r (M )p .
j=1
(b). The expressions on both sides in the given formula clearly depends
C ∞ (M )-linearly on s1 and C ∞ (M )-linearly on s2 . Hence, by the argument
at the beginning of the solution to Problem 49(a), it suffices to prove the
stated formula when sj = µj ⊗ ωj (j = 1, 2), with µj ∈ Γ(Ej ) and ω1 ∈
Ωr (M ), ω2 ∈ Ωs (M ). In this case we get by (141):
1 X
sgn(σ) s1 (Xσ(1) , . . . , Xσ(r) ) ⊗ s2 (Xσ(r+1) , . . . , Xσ(r+s) )
r!s!
σ∈Sr+s
1 X
= sgn(σ) ω1 (Xσ(1) , . . . , Xσ(r) ) · µ1 ⊗ ω2 (Xσ(r+1) , . . . , Xσ(r+s) ) · µ2 ,
r!s!
σ∈Sr+s
X
1
= sgn(σ) ω1 (Xσ(1) , . . . , Xσ(r) ) · ω2 (Xσ(r+1) , . . . , Xσ(r+s) ) · µ1 ⊗ µ2 .
r!s!
σ∈Sr+s
Problem 52:
(a). This was proved in the lecture.
(b). We first prove that the connection D|U , if it exists, is unique. Let
s ∈ Γ(E|U ) be given. We claim that if V is any open subset of U and
s′ ∈ Γ(E) is such that s′|V = s|V , then
′ = f ′
that f|V |V and s|V = s|V for some open set V ⊂ U containing p. Then
also (f ′ s′ )|V = (f s)|V , and now
(D|U (f s))|V = (D(f ′ s′ ))|V = (s′ ⊗ df ′ + f ′ Ds′ )|V = s′|V ⊗ d(f|V
′ ′
) + f|V (Ds′ )|V
= s|V ⊗ d(f|V ) + f|V (D|U s)|V = (s ⊗ df + f D|U s)|V ,
as desired! Hence we have proved (145), and so D|U is a connection on E|U .
(c) The requirement on D is that
(146) (Ds)|Uα = Dα (s|Uα ), ∀s ∈ Γ(E), α ∈ A.
Let s ∈ Γ(E) be given. Since ∪α∈A Uα = M , the condition (146) determines
Ds uniquely (if it exists at all). To prove that there really exists a section
Ds ∈ Γ(E ⊗ T ∗ M ) which satisfies (146), it suffices to verify that for any
two α, β ∈ A with V := Uα ∩ Uβ 6= ∅, we have (Dα (s|Uα ))V = (Dβ (s|Uβ ))V .
However this is immediate from our assumption that (Dα )|V = (Dβ )|V .
Hence we have shown that our requirement on D implies that D is a
uniquely defined map from Γ(E) to Γ(E ⊗ T ∗ M ). Clearly this map is R-
linear. In order to prove that D is a connection, it remains to verify that
D(f s) = s ⊗ df + f Ds for all f ∈ C ∞ (M ), s ∈ Γ(E). Thus let f ∈ C ∞ (M )
and s ∈ Γ(E) be given. Since ∪α∈A Uα = M , it suffices to prove that
(D(f s))|Uα = (s ⊗ df + f Ds)|Uα for every α ∈ A. Thus let α ∈ A be given.
Then
(D(f s))|Uα = Dα ((f s)|Uα ) = s|Uα ⊗ df|Uα + f|Uα Dα (s|Uα )
= (s ⊗ df + f Ds)|Uα ,
as desired!
Remark 1. The following (apriori) stronger version of part (b) is actually technically
slightly more direct to prove:
Let (Uα )α∈A be an open covering of M , and for each α ∈ A let Dα be a connection
on E|Uα . Assume that (Dα (s|Uα ))|Uα ∩Uβ = (Dβ (s|Uβ ))|Uα ∩Uβ for all s ∈ ΓE and all
α, β ∈ A. Then there exists a unique connection D on E such that (Ds)|Uα = Dα (s|Uα )
for all s ∈ ΓE and α ∈ A.
Proof. Given any s ∈ ΓE, the section Ds ∈ Γ(T ∗ M ⊗ E) is clearly uniquely determined
(if it exists) by the given requirement, since M = ∪α∈A Uα . On the other hand the given
compatibility assumption easily implies that Ds is indeed as well-defined (C ∞ !) section
of T ∗ M ⊗ E! Hence we obtain a well-defined map from Γ(E) to Γ(T ∗ M ⊗ E). The rest
is as above!
164 ANDREAS STRÖMBERGSSON
(cf. Problem 44(b) and Problem 34), and we now define the map
e : Γf ∗ E → Γ(f ∗ E ⊗ T ∗ M )
D
by setting
n
X
(150) e
D(σ) := αj · Ddf (·) (sj ) + (sj ◦ f ) ⊗ dαj .
j=1
n
X
g·σ = (g · αj ) · (sj ◦ f ),
j=1
e
and so by our definition of D,
n
X
(151) e ◦ f) =
D(s (βj ◦ f ) · Ddf (·) (sj ) + (sj ◦ f ) ⊗ d(βj ◦ f ) .
j=1
PROBLEMS; “RIEMANNIAN GEOMETRY” 167
X
n
Ddf (v) (s) = Ddf (v) βj sj
j=1
n
X
= βj (f (p)) · Ddf (v) (sj ) + [dfp (v)](βj ) · sj (f (p)) .
j=1
Here
(by the chain rule), and hence by comparing the last two formulas we see
e ◦ f ) = Ddf (·) (s). Hence we have proved that the connection D
that D(s e
∗ ∗
satisfies the relation required for f D, (149). This proves that f D exists,
namely f ∗ D = D! e
We have thus proved that the pullback of any connection on a trivial
vector bundle exists; and it is unique since we have noted that the pullback
of any connection is unique if it exists.
Finally we will prove that the pullback connection f ∗ D exists for an arbi-
trary vector bundle (E, π, N ). Fix an open covering (Vα )α∈A of N such that
E|Vα is trivial for each α ∈ A. Let Uα = f −1 (Vα ); then (Uα )α∈A is an open
covering of M . Now f|Uα is a C ∞ map of manifolds Uα → Vα , and D|Vα is a
connection on the trivial vector bundle E|Vα (cf. Problem 52); hence by what
we have proved above, there exists a uniquely defined pullback connection
De α := f ∗ (D|V ) on f ∗ (E|V ) = (f ∗ E)|U . 35 Let us prove that these
|Uα α |Uα α α
e
connections Dα (α ∈ A) are compatible in the appropriate sense. Thus let
α, β ∈ A and set U ′ := Uα ∩ Uβ ; assume U ′ 6= ∅. Note that U ′ = f −1 (V ′ )
where V ′ := Vα ∩ Vβ . We claim that
(Here in the right hand side, “D” really stands for “D|U ′ ”; we will use this
type of mild abuse of notation several times in the discussion below.) To
prove (152), let s′ ∈ ΓE|V ′ be given, and take p ∈ U ′ . By Problem 35(a),
there is a section s ∈ ΓE|Vα such that s|V ′′ = s′|V ′′ for some open set V ′′ ⊂ V ′
containing f (p). Then s ◦ f|Uα and s′ ◦ f|U ′ have the same restrictions to
U ′′ := f −1 (V ′′ ), i.e. (s ◦ f|Uα )|U ′′ = (s′ ◦ f|U ′ )|U ′′ . Note also that p ∈ U ′′ .
Now we get:
e α|U ′ (s′ ◦ f|U ′ )|U ′′
D
e α (s ◦ f|U ))|U ′′ since (s ◦ f|Uα )|U ′′ = (s′ ◦ f|U ′ )|U ′′ ; cf. the
=(D α
solution to Problem 52(b).
=(Ddf|Uα (·) (s))|U ′′ eα.
by the defining condition for D
indeed for every v ∈ T (U ′′ ) we have df (v) ∈
T (V ′′ ) and thus Ddf (v) (s) = Ddf (v) (s′ ), since
=(Ddf|U ′ (·) (s′ ))|U ′′ .
D(s)|V ′′ = D(s′ )|V ′′ (cf. the solution to Prob-
lem 52(b)).
Since every p ∈ U ′ has such a neighborhood U ′′ , it follows that (152) holds!
But (152) says exactly that D e α|U ′ is the f|U ′ -pullback of D|V ′ (which we
know is unique if it exists). Changing the roles of α and β, it also follows
that D e β|U ′ is the f|U ′ -pullback of D|V ′ . Hence by the uniqueness of “the
f|U ′ -pullback of D|V ′ ”, we conclude:
(153) e α|U ′ = D
D e β|U ′ .
De α ((s ◦ f )|U ) = D
e α (s|V ◦ f|U ) = Ddf (·) (s|V ) = Ddf (·) (s)|U , where
α α α |Uα α α
each step is justified by arguments similar to those in the proof of (152).
The fact that (D(s e ◦ f ))|U = Ddf (·) (s)|U for each α ∈ A implies that
α α
e ◦ f ) = Ddf (·) (s). Done!)
D(s
e satisfies the re-
The relation (154) says exactly that the connection D
quirements on the pullback bundle f D; hence we have proved that f ∗ D
∗
exists!
(b). Let us first prove that the connection f ∗ D defined in part (a) indeed
satisfies the stated condition. Thus let s ∈ Γf ∗ E = Γf E and let c : (−ε, ε) →
M be a C ∞ curve; also let s1 ∈ ΓE, and assume that s1 (f (c(t))) = s(c(t))
for all t ∈ (−ε, ε). The assumption means that the two sections s1 ◦ f and
s in Γf ∗ E are equal along the curve c. Hence by Problem 53,
(f ∗ D)ċ(0) (s) = (f ∗ D)ċ(0) (s1 ◦ f ).
PROBLEMS; “RIEMANNIAN GEOMETRY” 169
(c). Let V ⊂ N be an open set containing q such that there exists a basis
of sections s1 , . . . , sn ∈ ΓE|V . Set U = f −1 (V ) ⊂ M . Then, given s ∈ Γf ∗ E,
there exist unique α1 , . . . , αn ∈ C ∞ (U ) such that
X n
s|U = αj · (sj ◦ f|U )
j=1
(cf. Problem 44(b) and Problem 34). Now by the definition of f ∗ D (cf. part
a),
n
X
(f ∗ D)(s)|U = (sj ◦ f|U ) ⊗ dαj + αj · Ddf (·) (sj ) in Γ((f ∗ E ⊗ T ∗ M )|U ).
j=1
In particular,
n
X
(f ∗ D)ċ(0) (s) = (αj ◦ c)′ (0) · sj (q) + αj (c(0)) · Ddf (ċ(0)) (sj ) .
j=1
On the other hand we have s(c(t)) = αj (c(t)) · sj (q) for all t ∈ (−ε, ε), and
d
hence the right hand side of (155) equals the tangent vector ( dt (s ◦ c)(t))|t=0
in Ts(c(0)) (Eq ) = Eq . Done!
PROBLEMS; “RIEMANNIAN GEOMETRY” 171
Problem 58: The general structure of the following proof is very similar
to the solution to Problem 57(a).
The requirement on D is
(156) D(µ ⊗ ν) = (D1 µ) ⊗ ν + µ ⊗ (D2 ν), ∀µ ∈ ΓE1 , ν ∈ ΓE2 .
By the definition of tensor product (of C ∞ (M )-modules), every element in
Γ(E1 ) ⊗ Γ(E2 ) can be written as a finite sum of pure tensors µ1 ⊗ µ2 (µ1 ∈
ΓE1 , µ2 ∈ ΓE2 ); hence by Problem 43(d), the same is true for any section in
Γ(E1 ⊗ E2 ). (Note that a main portion of the solution to Problem 43(d) was
spent on proving exactly this fact.) Hence the formula (156), together with
the requirement that D should be R-linear (or merely additive) certainly
makes the connection D uniquely defined, if it exists at all.
Thus it remains to prove that there exists such a connection D. Let us
first prove the existence of D in the special case when both E1 and E2 are
trivial vector bundles. Then fix a basis of sections µ1 , . . . , µn ∈ ΓE1 and a
basis of sections ν1 , . . . , νm ∈ ΓE2 (cf. Problem 33; we set n = rank E1 and
m = rank E2 ). Then {µi ⊗ νj } (with i ∈ {1, . . . , n}, j ∈ {1, . . . , m}) is a
basis of sections in Γ(E1 ⊗ E2 ), and so for any s ∈ Γ(E1 ⊗ E2 ) there exist
unique ’coefficient functions’ αi,j ∈ C ∞ (M ) such that
n X
X m
(157) s= αi,j µi ⊗ νj ,
i=1 j=1
by setting36
m
n X
X
D(s) := µi ⊗ νj ⊗ dαi,j + αi,j (D1 µi ) ⊗ νj + αi,j µi ⊗ (D2 νj ) .
i=1 j=1
36Note that this definition of D apriori depends on the choice of the bases of sections
µ1 , . . . , µn and ν1 , . . . , νn ; however we will soon prove that D is a connection satisfying
(156), and then it follows that our D is in fact independent of the choices of µ1 , . . . , µn and
ν1 , . . . , νn , since we noted from start that there exists at most one connection satisfying
(156)!
172 ANDREAS STRÖMBERGSSON
= f · D(s) + s ⊗ df.
This proves that D is a connection! We next prove that D satisfies (156).
Thus let µ ∈ ΓE1 and ν ∈ P
ΓE2 be given. Then there exist unique α1 , . . . , αn ∈
n
C ∞ (M ) such that µ = Pm i=1 αi µi , and there exist unique β1 , . . . , βm ∈
∞
C (M ) such that ν = j=1 βj νj . Then
n X
X m
µ⊗ν = αi βj µi ⊗ νj ,
i=1 j=1
this; but cf. the solution to Problem 57 where we give a detailed proof of the
same kind of compatibility in a different situation.) Hence by Problem 52(c),
there exists a unique connection D on Γ(E1 ⊗ E2 ) satisfying D|Uα = Dα for
all α ∈ A. One easily proves that this connection D satisfies (156). This
completes the proof.
174 ANDREAS STRÖMBERGSSON
Problem 59: (a). By the now familiar argument (cf., e.g., the beginning
of the solution to Problem 58), any section in Γ(E1 ⊗ E2 ) can be written as
a finite sum of pure tensor sections s1 ⊗ s2 with s1 ∈ ΓE1 and s2 ∈ ΓE2 .
The analogous fact holds for Γ(E1∗ ⊗ E3 ). Hence, by R-linearity, it suffices
to prove the desired formula when α = s1 ⊗ s2 and β = u ⊗ s3 for some
s1 ∈ ΓE1 , s2 ∈ ΓE2 , u ∈ ΓE1∗ , s3 ∈ ΓE3 . In this case,
(α, β) = (s1 ⊗ s2 , u ⊗ s3 ) = (s1 , u) · s2 ⊗ s3 ,
and hence
D(α, β) = s2 ⊗ s3 ⊗ d(s1 , u) + (s1 , u) · D(s2 ⊗ s3 )
= s2 ⊗ s3 ⊗ (Ds1 , u) + (s1 , Du) + (s1 , u) · (Ds2 ) ⊗ s3 + s2 ⊗ (Ds3 )
= (Ds1 ) ⊗ s2 + s1 ⊗ (Ds2 ) , u ⊗ s3
+ s1 ⊗ s2 , (Du) ⊗ s3 + u ⊗ (Ds3 )
= (Dα, β) + (α, Dβ).
Done!
Problem 60:
(a). The general structure of the following proof is again similar to the
solutions of Problems 57(a) and 58.
The requirement on D : Ωp (E) → Ωp+1 (E) is R-linearity and
(159) D(µ ⊗ ω) = (Dµ) ∧ ω + µ ⊗ dω, ∀µ ∈ ΓE, ω ∈ Ωp (M ).
We call such a map an exterior covariant derivative
V with respect to the
connection D. It follows from Ωp (E) = Γ(E ⊗ p M ) = Γ(E) ⊗C ∞ M Ωp (M )
(cf. Problem 43(d)) that every s ∈ Ωp (E) can be written as a finite sum
of pure tensors s ⊗ ω (s ∈ Γ(E), ω ∈ Ωp (M )). Hence, since D is required
to be R-linear (in particular additive), the condition (159) certainly makes
D : Ωp (E) → Ωp+1 (E) uniquely determined, if it exists at all.
Thus it remains to prove that there exists such an exterior covariant
derivative. We start by proving three lemmata:
Lemma 6. Let (Uα )α∈A be an open covering of M , and for each α ∈ A let
Dα : Ωp (E|Uα ) → Ωp+1 (E|Uα ) be an exterior covariant derivative wrt the con-
nection D|Uα on E|Uα . Assume that (Dα (s|Uα ))|Uα ∩Uβ = (Dβ (s|Uβ ))|Uα ∩Uβ
for all s ∈ Ωp (E) and all α, β ∈ A. Then there exists a unique R-linear map
D : Ωp (E) → Ωp+1 (E) satisfying (Ds)|Uα = Dα (s|Uα ) for all s ∈ Ωp (E) and
α ∈ A, and this map is an exterior covariant derivative wrt D.
Hence all assumptions of Lemma 6 are fulfilled and now that lemma proves
the existence of an exterior covariant derivative Ωp (E) → Ωp+1 (E) wrt D.
Done!
PROBLEMS; “RIEMANNIAN GEOMETRY” 177
37This merely captures the fact that the map Γ(End E) × ΓE → ΓE is C ∞ (M )-linear
in its second argument (in fact it is also C ∞ (M )-linear in its first argument).
178 ANDREAS STRÖMBERGSSON
(d). The statement that the given connections respect the multiplication
rule can be expressed as:
(164)
D m(s1 ⊗ s2 ) = m(Ds1 ⊗ s2 ) + m(s1 ⊗ Ds2 ) (∀s1 ∈ ΓE1 , s2 ∈ ΓE2 ),
where in the right hand side, “m(α)” for α ∈ Ω1 (E1 ⊗ E2 ) is the output of
the vector-wedge-product
e × Ω1 (E1 ⊗ E2 ) → Ω1 (E)
ΓHom(E1 ⊗ E2 , E) e
which extends the standard evaluation map
e × Γ(E1 ⊗ E2 ) → Γ(E).
ΓHom(E1 ⊗ E2 , E) e
However by Problem 59(c) and Problem 58 we have:
D m(s1 ⊗ s2 ) = (Dm)(s1 ⊗ s2 ) + m(Ds1 ⊗ s2 ) + m(s1 ⊗ Ds2 ),
for any s1 ∈ ΓE1 , s2 ∈ ΓE2 . Hence (164) is equivalent with:
(165) (Dm)(s1 ⊗ s2 ) = 0 (∀s1 ∈ ΓE1 , s2 ∈ ΓE2 ).
But every section in Γ(E1 ⊗ E2 ) can be written as a finite sum of sections
of the form s1 ⊗ s2 ; hence (165) is equivalent with (Dm)(s) = 0 for all
s ∈ Γ(E1 ⊗ E2 ). This is equivalent with Dm = 0 in Ω1 (Hom(E1 ⊗ E2 , E))e
(via Problem 35(c)).
180 ANDREAS STRÖMBERGSSON
Problem 61:
It suffices to prove the stated formula when s = µ ⊗ ω (µ ∈ Γ(E), ω ∈
Ωr (M )), since an arbitrary section in Ωr (E) can be expressed as a finite sum
of such “pure tensor” sections. Now when s = µ ⊗ ω, we find that the right
hand side of the stated formula equals
Xr
(−1)j DXj ω(X0 , . . . , X̂j , . . . , Xr ) · µ
j=0
X
+ (−1)j+k ω([Xj , Xk ], X0 , . . . , X̂j , . . . , X̂k , . . . , Xr ) · µ.
0≤j<k≤r
Xr
= (−1)j Xj ω(X0 , . . . , X̂j , . . . , Xr ) · µ
j=0
r
X
+ (−1)j ω(X0 , . . . , X̂j , . . . , Xr ) · DXj µ
j=0
X
+ (−1)j+k ω([Xj , Xk ], X0 , . . . , X̂j , . . . , X̂k , . . . , Xr ) · µ.
0≤j<k≤r
Here “(Dµ)(Xj )” stands for the contraction of the form part of Dµ ∈ Ω1 (E)
against Xj ; thus (Dµ)(Xj ) = DXj µ. Hence the last expression equals our
previous expression for the right hand side of the stated formula. Hence the
stated formula is proved!
Problem 62:
By Problem 59, for each j ∈ {0, . . . , r} we have
∇]
[D se (X0 , . . . , X̂j , . . . , Xr )
Xj
Xj−1
= DXj s(X0 , . . . , X̂j , . . . , Xr ) − s X0 , . . . , ∇Xj Xk , . . . , X̂j , . . . , Xr
k=0
Xr
− s X0 , . . . , X̂j , . . . , ∇Xj Xk , . . . , Xr
k=j+1
Xj−1
= DXj s(X0 , . . . , X̂j , . . . , Xr ) − (−1)k s ∇Xj Xk , X0 , . . . , X̂k , . . . , X̂j , . . . , Xr
k=0
Xr
− (−1)k−1 s ∇Xj Xk , X0 , . . . , X̂j , . . . , X̂k , . . . , Xr ,
k=j+1
where in the last step we used the fact that the form part of s is alternating.
Using the above it follows that
r
X
(−1)j [ D
∇] se (X0 , . . . , X̂j , . . . , Xr )
Xj
j=0
r
X
= (−1)j DXj s(X0 , . . . , X̂j , . . . , Xr )
j=0
X
− (−1)j+k s ∇Xj Xk , X0 , . . . , X̂k , . . . , X̂j , . . . , Xr
0≤k<j≤r
X
+ (−1)j+k s ∇Xj Xk , X0 , . . . , X̂j , . . . , X̂k , . . . , Xr .
0≤j<k≤r
where in the last step we used the assumption that ∇ is torsion free. By
Problem 61, the above equals [Ds](X0 , . . . , Xr ). Hence we have proved the
desired formula.
PROBLEMS; “RIEMANNIAN GEOMETRY” 183
Problem 63:
(a). Let (U, ϕ) be any bundle chart for E, and let s1 , . . . , sn ∈ ΓE|U be
the corresponding basis of sections. Then we get a corresponding bundle
e for End E by mapping any B ∈ End Ep (p ∈ U ) to the matrix
chart (U, ϕ)
for B with respect to the basis s1 (p), . . . , sn (p) of Ep .
(Then ϕ e is a C ∞ diffeomorphism from End E|U onto U × Mn (R); pedan-
tically for this to be a bundle chart we also need to fix an identification
2
of Mn (R) with Rn . Furthermore: The bundle chart described here is the
same as the one which we give in the solution to Problem 39, after identifying
Hom(Rn , Rn ) with Mn (R) in the obvious way.)
Now if (U, ϕ) is a metric bundle chart then the image of AdE|U under ϕe is
exactly U ×o(n) where o(n) is the set of skew-symmetric matrices in Mn (R).
Hence since o(n) is a linear subspace of Mn (R) 39, and since (E, π, M ) can
be covered with metric bundle charts [12, Thm. 2.1.3], it follows that AdE
is a vector subbundle of End E.
Remark: Recall that we write gl(E) for the vector bundle End E equipped
with its standard Lie algebra bundle structure. Similarly we write gln (R)
for Mn (R) equipped with its standard Lie algebra structure; and o(n) is in
fact a Lie subalgebra of gln (R). Also for each p ∈ U , ϕ
ep is in fact a Lie
∼
algebra isomorphism gl(Ep ) − → gln (R) which maps AdEp onto o(n). Hence
AdE is a Lie algebra subbundle of gl(E).
39and so we can fix a linear isomorphism M (R) = Rn2 under which o(n) becomes
n
2
identified with Rk = {(∗, · · · , ∗, 0, · · · , 0)} ⊂ Rn for some k. (In fact k = n(n − 1)/2.)
184 ANDREAS STRÖMBERGSSON
(b). Assume s ∈ Γ(AdE). Let (U, ϕ) be any metric bundle chart for
E, and let µ1 , . . . , µn be the corresponding basis of sections in ΓE|U . With
respect to (U, ϕ) we write D|U = d + A with A = (Akj ) ∈ Ω1 (End E); thus
each Akj is in Ω1 (U ) and D(µj ) = A(µj ) = µk ⊗ Akj for all j ∈ {1, . . . , n}; cf.
#9, p. 6. Then Akj = −Ajk for all j, k ∈ {1, . . . , n}, by Lemma 2 in #11.
Let µ1∗ , . . . , µn∗ be the basis of sections in ΓE|U
∗ which is dual to µ , . . . , µ ;
1 n
j∗
then {µ ⊗ µk : j, k ∈ {1, . . . , n}} is a basis of sections in Γ End E. Take
akj ∈ C ∞ (U ) for j, k ∈ {1, . . . , n} so that s|U = akj µj∗ ⊗ µk . This means that
for any p ∈ U , (akj (p)) is the matrix for s(p) ∈ End Ep with respect to the
basis for Ep which comes from (U, ϕ); hence by the definition of AdE (Cf.
#11, Def. 2) we have akj = −ajk throughout U , for all j, k ∈ {1, . . . , n}.40
Now we have
(Ds)|U = ds + [A, s].
(This was seen in the proof of the second Bianchi identity; cf. #11, p. 6.)
Here since A and s have the matrices (Akj ) and (akj ), respectively, we find
that [A, s] has the matrix (Akj aji − akj Aji )i,k . 41 Hence:
(Ds)|U = ds + [A, s] = µi∗ ⊗ µk ⊗ daki + aji Akj − akj Aji .
Using now the fact that akj = −ajk and Akj = −Ajk throughout U (∀j, k) it
follows that daki = −daik and aji Akj − akj Aji = −(ajk Aij − aij Ajk ) throughout
U (∀i, k). Hence (Ds)|U is represented by a skew-symmetric matrix wrt
the basis coming from (U, ϕ), and therefore (Ds)|U ∈ Γ(AdE|U ). Since this
holds for any metric bundle chart (U, ϕ) for E, it follows that s ∈ Γ(AdE).
Done!
40Here’s a more explicit version of exactly the same argument: By the definition of
AdE we have hs(µi ), µℓ i = −hµi , s(µℓ )i throughout U , for all i, ℓ ∈ {1, . . . , n}. But
hs(µi ), µℓ i = haki µk , µℓ i = aℓi and similarly hµi , s(µℓ )i = aiℓ . Hence aℓi = −aiℓ throughout
U.
41Details: We have [A, s] = A ◦ s − s ◦ A since A ∈ Ω1 (End E ) and s ∈ Ω0 (End E);
|U
cf. #11, p. 7. Now
[A, s] = A ◦ s − s ◦ A
= (µj∗ ⊗ µk ⊗ Akj ) ◦ (aℓi µi∗ ⊗ µℓ ) − (akj µj∗ ⊗ µk ) ◦ (µi∗ ⊗ µℓ ⊗ Aℓi )
= µi∗ ⊗ µk ⊗ (aji Akj − akj Aji ).
PROBLEMS; “RIEMANNIAN GEOMETRY” 185
Now assume s ∈ Γ(AdE). Then hs(Z1 ), Z2 i = −hZ1 , s(Z2 )i for any two
sections Z1 , Z2 ∈ ΓE. This implies that more generally
(169) hs(µ1 ), µ2 i = −hµ1 , s(µ2 )i, ∀µ1 ∈ Ωp (E), µ2 ∈ Ωq (E).
[Indeed, if µ1 = Z1 ⊗ ω1 and µ2 = Z2 ⊗ ω2 with Z1 , Z2 ∈ ΓE, ω1 ∈ Ωp (M ),
ω2 ∈ Ωq (M ), then
hs(µ1 ), µ2 i = hs(Z1 ) ⊗ ω1 , Z2 ⊗ ω2 i = hs(Z1 ), Z2 i · ω1 ∧ ω2
= −hZ1 , s(Z2 )i · ω1 ∧ ω2 = −hµ1 , s(µ2 )i,
i.e. (169) holds. The general case follows by R-(bi)-linearity.] Applying (169)
it follows that the right hand side of (167) equals the negative of the right
hand side of (168). Hence:
(170) h(Ds)(X), Y i = −hX, (Ds)(Y )i in Ω1 (M ).
The fact that this holds for all X, Y ∈ ΓE implies that
(171) Ds ∈ Ω1 (AdE).
Done!
[Detailed proof that (170) implies (171): Let (U, x) be any C ∞ chart
for M ; then dx1 , . . . , dxd is a basis of sections in ΓT ∗ U . Hence there exist
unique β1 , . . . , βd ∈ Γ End E|U such that Ds|U = βj ⊗ dxj , and now the
above relation says that
hβj (X), Y i · dxj = −hX, βj (Y )i · dxj in Ω1 (U ),
and therefore
hβj (X), Y i = −hX, βj (Y )i in C ∞ (U ), ∀j.
Using Problem 35(c) and the definition of AdE, this implies that βj (p) ∈
AdEp , ∀p ∈ U , i.e. βj ∈ Γ(AdE|U ), for all j. Therefore Ds|U ∈ Ω1 (AdE|U ).
Since M can be covered by C ∞ charts, it follows that Ds ∈ Ω1 (AdE).]
186 ANDREAS STRÖMBERGSSON
Problem 64:
V
(a). First assume that the statement in r (V ) holds. Note that v1 ∧ · · · ∧
vr 6= 0 implies that v1 , . . . , vr are linearly independent. (Proof: exercise!)
Hence r ≤ n := dim V and we can choose vr+1 , . . . , vn ∈ V so that v1 , . . . , vn
is a basis for V . Then we know (cf., Vr e.g., “Prop. 3” in Sec. 7.2 in the lecture
notes) that (vI )I∈I is a basis for (V ), where I is the family of all r-tuples
I = (i1 , . . . , ir ) ∈ {1, . . . , n}r with i1 < · · · < ir , and
vI := vi1 ∧ · · · ∧ vir .
Vr
(Thus dim (V ) = #I = nr .) Also since v1 , . . . , vn is a basis for V , there
exist unique constants ckj ∈ R (j ∈ {1, . . . , r}, k ∈ {1, . . . , n}) such that
wj = ckj vk for j = 1, . . . , r. Then
w1 ∧ · · · ∧ wr = (ck11 vk1 ) ∧ (ck22 vk2 ) ∧ · · · ∧ (ckr r vkr )
= ck11 ck22 · · · ckr r · vk1 ∧ vk2 ∧ · · · ∧ vkr .
Note that the last expression is a sum over all (k1 , . . . , kr ) ∈ {1, . . . , n}r ,
and for each such (k1 , . . . , kr ) there exist a unique I ∈ I and a unique
permutation σ ∈ Sr such that
(k1 , . . . , kr ) = (iσ(1) , . . . , iσ(r) ).
Hence:
X X i i i
w1 ∧ · · · ∧ wr = c1σ(1) c2σ(2) · · · crσ(r) · viσ(1) ∧ viσ(2) ∧ · · · ∧ viσ(r)
I∈I σ∈Sr
X X i i i
= (sgn σ)c1σ(1) c2σ(2) · · · crσ(r) · vI
I∈I σ∈Sr
X i
= det(cℓj ) · vI .
I∈I
(In the second equality we made repeated use of the rule u1 ∧ u2 = −u2 ∧ u1 ,
i
∀u1 , u2 ∈ V . In the last line (cℓj ) is an r × r-matrix; ℓ, j ∈ {1, . . . , r}.) Now
from our assumption v1 ∧ · · · ∧ vr = c · w1 ∧ · · · ∧ wr and the fact that (vI )I∈I
V i
is a basis for r (V ), it follows that c 6= 0, det(cℓj ) = c−1 for I = (1, . . . , r)
i
(in other words: det(cjℓ ) = c−1 ), while det(cℓj ) = 0 for all I ∈ I \{(1, . . . , r)}.
In other words, in the r × n matrix
1 2
c1 c1 · · · cn1
.. .. .. ,
. . .
cr cr · · · cnr
1 2
the r × r minor which is furthest to the left equals c−1 6= 0, while all
other r × r minors vanish! This implies that the first r columns of the
above matrix (viewed as vectors in Rr ) form a basis for Rr . Furthermore,
it follows that every other column vanishes, i.e. ciℓ = 0 for all i > r and
ℓ ∈ {1, . . . , r}. (Proof: Suppose that there is some i > r such that the
PROBLEMS; “RIEMANNIAN GEOMETRY” 187
ith column is not 0. Then there exists a subset of r − 1 among the first
r columns which together with the ith column form a basis for Rr . This
implies that the corresponding r × r minor is non-zero, a contradiction.)
Therefore wℓ = ckℓ vk ∈ Span{v1 , . . . , vr } for each ℓ ∈ {1, . . . , r}; furthermore
since the matrix (ckℓ )ℓ,k∈{1,...,r} is invertible we get vℓ ∈ Span{w1 , . . . , wr }
for each ℓ ∈ {1, . . . , r}; hence Span{v1 , . . . , vr } = Span{w1 , . . . , wr }, as we
wanted to prove!
Conversely, now assume that v1 , . . . , vr are linearly independent and v1 , . . . , vr
and w1 , . . . , wr span the same r-dimensional linear subspace of V . This
means that wℓ = ckℓ vk for some constants ckℓ ∈ R (ℓ, k ∈ {1, . . . , r}) such
Vr
that the r × r matrix (ckℓ ) is non-singular. ThenVr v 1 ∧ · · · ∧ vr 6
= 0 in (V ),
since v1 ∧ · · · ∧ vr can be part of a basis for (V ) by “Prop. 3” in Sec. 7.2
in the lecture notes. Let (γij ) := (ckℓ )−1 ∈ Mr (R); then vk = γkℓ wℓ and so
v1 ∧ · · · ∧ vr = (γ1ℓ1 wℓ1 ) ∧ · · · ∧ (γrℓr wℓr ) = det(γkℓ ) · w1 ∧ · · · ∧ wr ,
and det(γkℓ ) 6= 0. Done!
(b).
Problem 65:
(a). (i) ⇒ (ii): Let A be an oriented atlas for M . By a simple modifi-
cation of the standard C ∞ charts for T M (cf. Lecture #2, pp. 10–11, and
Problem 16), one proves that for any C ∞ chart (U, x) for M , (U, ηx ) is a
bundle chart for (T M, π, M ), where ηx is the map
ηx : T U → U × Rd ;
ηx (w) = (π(w), dxπ(w) (w)).
In particular the following is an atlas of bundle charts for (T M, π, M ):
A′ := {(U, ηx ) : (U, x) ∈ A}.
We claim that A′ makes (T M, π, M ) an oriented vector bundle. To prove
this consider any two charts (U, x), (V, y) ∈ A, and any point p ∈ U ∩ V .
Our task is to prove that the linear map
−1
ηy,p ◦ ηx,p : Rd → Rd
is in GL+d (R). However ηx,p = dxp and ηy,p = dyp (both are linear maps
−1 = dy ◦ dx−1 = d(y ◦ x−1 )
from Tp (M ) to Rd ); hence ηy,p ◦ ηx,p p p x(p) . However
−1
y ◦ x : x(U ∩ V ) → y(U ∩ V ) is the chart transition map between (U, x)
and (V, y); hence by our assumption on A, det d(y ◦ x−1 )x(p) > 0, i.e.
−1
ηy,p ◦ ηx,p = d(y ◦ x−1 )x(p) ∈ GL+
d (R).
Hence A′ indeed makes (T M, π, M ) an oriented vector bundle.
PROBLEMS; “RIEMANNIAN GEOMETRY” 189
Now let us fix a non-singular linear map R ∈ GLd (R) with det R < 0 (e.g.
a reflection). For any (U, x) ∈ A2 we define
(
x if (U, x) has sign +1 wrt A′
x
b :=
R ◦ x if (U, x) has sign −1 wrt A′ .
42some more details: we have to prove that det(dx ◦ ϕ−1 ) is a continuous function
p p
of p ∈ U . But we know that α := dx ◦ ϕ−1 |T U is a C
∞
diffeomorphism from U × Rd onto
d
T (x(U )) = x(U ) × R , and for any m, n ∈ {1, . . . , d}, the (m, n)-entry of the matrix
representing the linear map dxp ◦ ϕ−1 p equals em · pr2 (α(p, en )), where em is the mth
standard unit vector in Rd , · is the standard scalar product on Rd , and pr2 : x(U ) × Rd →
Rd is the projection onto the second factor. From this we see that each matrix entry of
(the matrix representing) dxp ◦ϕ−1 p depends continuously on p; hence also the determinant
of dxp ◦ ϕ−1
p depends continuously on p.
190 ANDREAS STRÖMBERGSSON
(b). Let A be any C ∞ atlas for M ; then we know from Lecture #2, pp.
10–11 (cf. also Problem 16) that the family
A′ := {(T U, dx) : (U, x) ∈ A}
is a C ∞ atlas for T M . Let us prove that A′ is an oriented atlas! Thus
fix any two charts (U, x), (V, y) ∈ A. Set W := U ∩ V and η := y ◦ x−1 ;
then η is a C ∞ diffeomorphism from x(W ) onto y(W ). We have to prove
that the diffeomorphism dy ◦ (dx)−1 = dη from T (x(W )) = x(W ) × Rd onto
T (y(W )) = y(W ) × Rd has everywhere positive Jacobian determinant. For
any (p, v) ∈ x(W ) × Rd we have
dη(p, v) = (η(p), dηp (v)).
Hence the Jacobian matrix of dη at (p, v) has a block decomposition
dηp 0
,
∗ dηp
where “dηp ”, “0” and “∗” are d × d matrices (here ∗ stands for a matrix
which we don’t care exactly what it is; note also that the bottom right d × d
matrix equals dηp since the differential of a linear map at any point equals
the map itself). The determinant of the above 2d × 2d-matrix is (det(dηp ))2 ,
which is everywhere positive. Done!
PROBLEMS; “RIEMANNIAN GEOMETRY” 191
Problem 66:
(a). Let us use the short-hand notation
∂
∂i := ∈ Γ(T U ).
∂xi
By definition we have
Aji;k = (∇∂k A)(∂i ⊗ dxj ),
where the right hand side stands for the contraction of ∇∂k A ∈ Γ(T11 U )
against ∂i ⊗ dxj ∈ T11 U . This gives, via Problem 59:
Aji;k = ∂k A(∂i ⊗ dxj ) − A (∇∂k ∂i ) ⊗ dxj − A ∂i ⊗ (∇∂k (dxj ))
= ∂k Aji − A (Γℓki ∂ℓ ) ⊗ dxj − A ∂i ⊗ (−Γjkℓ dxℓ )
Problem 67:
We first make some computations useful for all parts of the problem: As
in [12, p. 3, Ex. 1]), we also introduce the chart (V, z) on S d , with
x xd
1
V = S d \ {(0, . . . , 0, 1)}; z(x) = ,...,
1 − xd+1 1 − xd+1
Note that both y and z are diffeomorphism onto all of Rd . We compute that
the inverse map of y is given by
2y 2yd 1 − kyk2
1
x= , · · · , , , ∀y ∈ Rd .
1 + kyk2 1 + kyk2 1 + kyk2
Here kyk is the standard Euclidean norm; thus kyk2 = y12 + · · · yd2 . Similarly,
the inverse map of z is given by
2z 2zd kzk2 − 1
1
x= , · · · , , , ∀z ∈ Rd .
1 + kzk2 1 + kzk2 kzk2 + 1
Note also that U ∩ V = S d \ {(0, . . . , 0, ±1)} and
y(U1 ∩ U2 ) = z(U1 ∩ U2 ) = Rd \ {0},
and so y ◦ z −1 is a diffeomorphism from Rd \ {0} onto itself. We compute
that y ◦ z −1 is explicitly given by
2zj
kzk2 +1 zj
yj = kzk2 −1
= 2
(z ∈ Rd \ {0}, j = 1, . . . , d).
1+ 2 kzk
kzk +1
Note also that
kzk2 1
kyk2 = 4
= ,
kzk kzk2
and hence
yj
zj = kzk2 yj = (y ∈ Rd \ {0}, j = 1, . . . , d).
kyk2
(Note that y ◦ z −1 and z ◦ y −1 are in fact the same map from Rd \ {0} onto
Rd \ {0}. Geometrically this map is inversion in the sphere S d−1 ⊂ Rd .)
Next we compute, for all y ∈ Rd \ {0}:
∂zk ∂ yk δjk kyk2 − yk · 2yj
= = = δjk kzk2 − 2zk zj (j, k ∈ {1, . . . , d}).
∂yj ∂yj kyk2 kyk4
Hence
∂ ∂zk ∂ ∂ ∂
(173) = = kzk2 − 2zj zk (j ∈ {1, . . . , d}).
∂yj ∂yj ∂zk ∂zj ∂zk
(The last relation is an equality between vector fields on U ∩ V ⊂ S d .)
PROBLEMS; “RIEMANNIAN GEOMETRY” 193
(a). Assume the opposite, i.e. that there exists a vector field X ∈ Γ(T S 2 )
∂
such that X|U = y1 (wrt the chart (U, y)). Then there exist unique
∂y1
∞
functions α1 , α2 ∈ C (V ) such that
∂ ∂
X|V = α1 + α2
∂z1 ∂z2
(wrt the chart (V, z)). However by (173) we have on U ∩ V :
∂ ∂ ∂ ∂ ∂ ∂
= kzk2 − 2z12 − 2z1 z2 = −z12 + z22 − 2z1 z2 ,
∂y1 ∂z1 ∂z1 ∂z2 ∂z1 ∂z2
and y1 = z1 /kzk2 . Hence we must have
z1 −z12 + z22 2z12 z2
α1 (z) = , α2 (z) = − ,
kzk2 kzk2
for all z ∈ R2 \ {0}. We will now prove that the above formula implies
that α2 cannot be extended to a smooth function on all of R2 ; this gives
a contradiction against α2 ∈ C ∞ (V ) and so the solution to part a will be
complete.
The above formula implies
∂α2 4z1 z23 4z1 z23
=− = − , ∀z ∈ R2 \ {0},
∂z1 kzk4 z12 + z22
and the limit of this function as z → 0 in R2 does not exist! (Indeed, for
4ab3
z = t(a, b) 6= 0 the above expression equals − 2 , and for any fixed
(a + b2 )2
4ab3
(a, b) ∈ R2 \ {0} this tends to − 2 as t → 0. Now one immediately
(a + b2 )2
4ab3
verifies that − 2 can take different values for different choices of
(a + b2 )2
∂α2
(a, b) ∈ R2 \ {0}. This shows that has different limits as z approaches
∂z1
2
the origin along different lines in R , and therefore the ’full 2-dim limit’
∂α2
of as z → (0, 0) does not exist.) This proves that we cannot have
∂z1
α2 ∈ C 1 (R2 ), and hence, afortiori, we cannot have α2 ∈ C ∞ (R2 ). (In fact
∂αj
the same argument applies to any of the partial derivatives , j, k ∈ {1, 2},
∂zk
and in particular we cannot have α1 ∈ C ∞ (R2 ) either.)
194 ANDREAS STRÖMBERGSSON
(b). In U ∩ V we have
(174)
∂ ∂ 1 − y12 − y22 + y32 ∂
(y1 y3 − y2 ) + (y2 y3 + y1 ) +
∂y1 ∂y2 2 ∂y3
z1 z3 − z2 kzk 2 z2 z3 + z1 kzk2 ∂
2 ∂ ∂ 2 ∂
= · kzk − 2z z
1 k + · kzk − 2z z
2 k
kzk4 ∂z1 ∂zk kzk4 ∂z2 ∂zk
4 2 2
kzk − z1 − z2 + z3 2 ∂ ∂
+ 4
· kzk2 − 2z3 zk
2kzk ∂z3 ∂zk
1 2 ∂ 2 ∂ kzk4 − z12 − z22 + z32 ∂
= (z1 z3 − z2 kzk ) + (z2 z3 + z1 kzk ) +
kzk2 ∂z1 ∂z2 2 ∂z3
1 2 2 4 2 2 2
∂
+ 4
−2z1 (z1 z3 − z2 kzk ) − 2z2 (z2 z3 + z1 kzk ) − z3 kzk − z1 − z2 + z3 zk
kzk | {z } ∂zk
(∗)
(c). In U ∩ V we have
∂yj δjk kzk2 − 2zj zk
dyj = dzk = dzk ,
∂zk kzk4
i.e.
z22 − z12 2z1 z2
dy1 = dz1 − dz2
kzk4 kzk4
and
2z1 z2 z12 − z22
dy2 = − dz1 + dz2 .
kzk4 kzk4
Hence:
1
dy1 ⊗ dy1 = 4 z22 − z12 dz1 − 2z1 z2 dz2 ⊗ z22 − z12 dz1 − 2z1 z2 dz2
η
1 2
= 4 z22 − z12 dz1 ⊗ dz1 − 2z1 z2 z22 − z12 dz1 ⊗ dz2 + dz2 ⊗ dz1
η
2
+ 4(z1 z2 ) dz2 ⊗ dz2 .
The formula for dy2 ⊗ dy2 is exactly the same except that all z1 ’s and z2 ’s
are swapped. Hence, noticing also
2 2
z22 − z12 + 4(z1 z2 )2 = z22 + z12 = kzk4
and
1 1 1 1 1
· = = = ,
(1 + y12
+ y22 )4 kzk8 2 4
(1 + kyk ) kzk8 −2 4
(1 + kzk ) kzk8 (1 + kzk2 )4
we obtain:
1
dy1 ⊗ dy1 + dy2 ⊗ dy2
(1 + y12 + y22 )4
kzk4
(176) 2
=4
dz1 ⊗ dz1 + dz2 ⊗ dz2 .
(1 + kzk )
Recall that this computation was performed in the set U ∩ V ; however the
last expression clearly defines a (C ∞ ) section of all of T20 (V ). Hence we can
define the (C ∞ ) section
m ∈ Γ(T20 (S 2 ))
to be given by the expression in the left hand side of (176) in U , and by the
expression in the right hand side of (176) in V ; the above equality (which
is valid in U ∩ V ) shows that this section in m is well-defined.
For each p ∈ S 2 , m(p) is a vector in T20 (S 2 )p = Tp∗ (S 2 ) ⊗ Tp∗ (S 2 ) and
can thus be viewed as a bilinear form on Tp (S 2 ). We see by inspection in
(176) that this bilinear form is symmetric at every p ∈ S 2 . Furthermore it
is positive definite at every p ∈ U , since its matrix with respect to the basis
∂ ∂ 2 −4 times the 2 × 2 identity
∂y1 , ∂y2 equals the positive number (1 + kyk )
196 ANDREAS STRÖMBERGSSON
(d). Such a vector bundle can in fact be constructed for any given C ∞
function µ : U ∩ V → GL2 (R); and similarly a rank n vector bundle over S 2
can be constructed having any given C ∞ function µ : U ∩ V → GLn (R) as
transition function; there is simply no obstruction present!
The easiest solution is to simply refer to Jost’s [12, Thm. 2.1.1]. How-
ever that theorem is not very clearly formulated; let us attempt to give an
alternative, more precise statement here:
Theorem. Let M be a C ∞ manifold, let (Uα )α∈A be a covering of M by
open sets, and for any α, β ∈ A let ϕβα be a C ∞ function from Uα ∩ Uβ to
GL(n, R). Assume that for all α, β, γ ∈ A, the following holds:
ϕαα (x) = idRn , ∀x ∈ Uα ;
ϕαβ (x)ϕβα (x) = idRn , ∀x ∈ Uα ∩ Uβ ;
ϕαγ (x)ϕγβ (x)ϕβα (x) = idRn , ∀x ∈ Uα ∩ Uβ ∩ Uγ .
Then there exists a vector bundle E over M (unique up to isomorphism of
vector bundles over M ) which has a bundle atlas {(Uα , ϕα )}α∈A for which
the transition functions are given by the above ϕβα ’s.
Using the above theorem, the existence of the desired vector bundle E
over S 2 is immediate; simply take A = {1, 2}; U1 = U , U2 = V , ϕ12 ≡ µ
and ϕ21 ≡ µ−1 in U ∩ V , ϕ11 ≡ idR2 in U and ϕ22 ≡ idR2 in V . One verifies
that these ϕαβ ’s satisfy all conditions in the above theorem; and the vector
bundle which the theorem gives has the desired property!
Exercise: Prove the above theorem, e.g. using Problem 36! (Cf. also [15,
Exc. 10-6].)
Now π : E → M toghether with the family {(U, φ), (V, ψ)} is easily seen
to satisfy all the assumptions of Problem 36. (In particular ψ ◦ φ−1 (p, v) =
(p, µ(p) · v) and φ ◦ ψ −1 (p, v) = (p, µ(p)−1 · v) for all (p, v) ∈ (U ∩ V ) × R2 ,
from which we see43 that both the maps ψ ◦ φ−1 and φ ◦ ψ −1 are C ∞ maps
from (U ∩ V ) × R2 onto itself.)
Hence by Problem 36, E possesses a unique C ∞ manifold structure such
that (E, π, M ) is a vector bundle of rank 2 and (U, φ) and (V, ψ) are bundle
charts. Note that the transition function from (U, φ) to (V, ψ) equals µ by
construction!
43Of course here it is crucial to note that µ is a C ∞ map from U ∩ V to GL (R). This
2
is clear from the formula defining µ, if we view α(y) = arg(y 1 + iy 2 ) as a C ∞ function
from R2 \ {0} to the circle R/2πZ and then use the fact that both cos(mα) and sin(mα)
are well-defined C ∞ functions on R/2πZ.
PROBLEMS; “RIEMANNIAN GEOMETRY” 199
Problem 68:
e k we have
(a). By the definition of Γ ij
e kij · (sk ◦ f ) = (f ∗ D)
Γ ∂ (sj ◦ f ) in Γ(f ∗ E)|V ,
∂y i
for all i ∈ {1, . . . , d′ } and j ∈ {1, . . . , n}. Let us evaluate the above at an
arbitrary point p ∈ V , using the identity from Problem 57(a); this gives:
(177) e kij (p) · sk (f (p)) = Dv (sj ),
Γ
where v := dfp ( ∂y∂ i ) ∈ Tf (p) N . We have
∂f ℓ ∂
v= (p) · ℓ (f (p)).
∂y i ∂x
(Here we write f ℓ := xℓ ◦ f , as usual.) Hence the right hand side of (177)
can be evaluated as
∂f ℓ
Dv (sj ) = (p) · Γkℓj (f (p)) · sk (f (p)).
∂y i
Comparing with (177), and using the fact that s1 (f (p)), . . . , sn (f (p)) is a
basis of Ef (p) , we conclude:
ℓ
e k (p) = ∂f (p) · Γk (f (p)).
Γ ij ℓj
∂y i
This can also be expressed as:
ℓ
ekij = ∂f · (Γk ◦ f ).
Γ ℓj
∂y i
200 ANDREAS STRÖMBERGSSON
44The way one initially finds out that this formula (179) should/must hold, is by a
computation similar to (180), but “in the other direction”.
45The fact that f ∗ (s) is C ∞ can also be seen as follows: Decompose s in some way as
a finite sum s = µ1 ⊗ ω1 + · · · + µm ⊗ ωm with µ1 , . . . , µm ∈ ΓE
Pmand ω1 , . . . , ωm ∈ Ωr (N ).
Then similarly as in the computation (180) we have f (s) = j=1 (µj ◦ f ) ⊗ f ∗ (ωj ), and
∗
∗
Proof of the formula involving df D . We now turn to the second task
of the problem, i.e. to prove that for any s ∈ Ωr (E) we have
∗D
(183) (df )(f ∗ (s)) = f ∗ (dD s).
We first prove the auxiliary result that the map f ∗ : Ωr (E) → Ωr (f ∗ E)
respects wedge product, i.e.
(184)
f ∗ (σ ∧ η) = f ∗ (σ) ∧ f ∗ (η) in Ωr+s (E), ∀σ ∈ Ωr (E), η ∈ Ωs (N ).
By R-linearity in σ it suffices to prove (184) for σ = σ1 ⊗ η1 with σ1 ∈ ΓE
and η1 ∈ Ωr (N ). In this case,
f ∗ (σ ∧ η) = f ∗ (σ1 ⊗ (η1 ∧ η)) = (σ1 ◦ f ) ⊗ f ∗ (η1 ∧ η)
= (σ1 ◦ f ) ⊗ f ∗ (η1 ) ∧ f ∗ (η) = f ∗ (σ) ∧ f ∗ (η),
where in the third equality we used the fact that f ∗ : Ω(N ) → Ω(M ) respects
wedge product (cf. #8, p. 9). Hence (184) is proved.
Now we prove (183). In the case r = 0 (i.e., s ∈ ΓE and dD = D and
∗
df D = f ∗ D) we see that (183) is equivalent with the identity in Prob-
lem 57(a) if we can only prove that
(185) Ddf (·) (s) = f ∗ (Ds),
P
and assuming Ds = m j=1 µj ⊗ ωj with µ1 , . . . , µm ∈ ΓE and ω1 , . . . , ωm ∈
1
Ω (N ) we have, for every p ∈ M and X ∈ Tp M :
m
X m
X
f ∗ (Ds) (X) = (µj ◦ f ) ⊗ f ∗ (ωj ) (X) = ωj (df (X)) · µj (f (p)
j=1 j=1
= (Ds)(df (X)) = Ddf (X) (s).
Hence (185) holds, and so we have proved that (183) holds when r = 0.
Finally we prove (183) for r ≥ 1. By R-linearity, it is enough to check
that (183) holds when s = µ ⊗ ω for some µ ∈ ΓE, ω ∈ Ωr (N ). Then:
f ∗ (dD s) = f ∗ (dD (µ ⊗ ω))
= f ∗ (Dµ ∧ ω + µ ⊗ dω)
[1]
= f ∗ (Dµ) ∧ f ∗ (ω) + (µ ◦ f ) ⊗ f ∗ (dω)
[2]
= (f ∗ D)(µ ◦ f ) ∧ f ∗ (ω) + (µ ◦ f ) ⊗ d f ∗ (ω)
∗
= (df D ) (µ ◦ f ) ⊗ f ∗ ω
∗
= (df D ) f ∗ (µ ⊗ ω)
∗D
= (df )(f ∗ (s)).
(Here equality [1] holds by R-linearity and (184), and equality [2] holds by
[(183) for r = 0].) Hence we have proved that (183) holds for any r ≥ 0.
PROBLEMS; “RIEMANNIAN GEOMETRY” 203
Problem 70: Let ∇ be the Levi-Civita connection for (M, h·, ·i). Then
∇ is metric also wrt [·, ·], since for any vector fields X, Y ∈ Γ(T M ) we have
d[X, Y ] = d(chX, Y i) = c · dhX, Y i = c · h∇X, Y i + c · hX, ∇Y i
= [∇X, Y ] + [X, ∇Y ]
in Ω1 (M ). Also ∇ is torsion free (recall that this notion is independent of
the Riemannian metric). Hence, by the uniqueness in Theorem 1 in #13, ∇
is the Levi-Civita connection also for (M, [·, ·]).
Hence (M, h·, ·i) and (M, [·, ·]) also have the same curvature tensor, R =
∇ ◦ ∇ ∈ Ω2 (End T M ). (However the tensor field “Rm” – cf. p. 1 in Lecture
#14 – is not the same for (M, h·, ·i) and (M, [·, ·]), since its definition involves
the inner product.) Now from Definition 1 in #15 it follows that, if K and
Ke denote sectional curvature on (M, h·, ·i) and on (M, [·, ·]), respectively,
then for any p ∈ M and any linearly independent X, Y ∈ Tp M ,
e [R(X, Y )Y, X] c hR(X, Y )Y, Xi
K(X ∧Y) = = 2 = c−1 K(X ∧ Y ).
[X ∧ Y, X ∧ Y ] c hX ∧ Y, X ∧ Y i)
Example: Let (M, h·, ·i) be the standard unit sphere S d in Rd+1 , and
let [·, ·] be the Riemannian metric obtained by instead using the embedding
x 7→ Rx of S d into Rd+1 , for some fixed R > 0 (still using the standard
Riemannian metric on Rd+1 ). In other words (M, [·, ·]) is the sphere of
radius R in Rd+1 . Then [·, ·] = R2 h·, ·i and thus
e
K(X ∧ Y ) = R−2 K(X ∧ Y )
for any X, Y as above. This agrees with the fact that the sphere of radius
R has constant sectional curvature R−2 .
204 ANDREAS STRÖMBERGSSON
Γ( d−1
2 ) Γ( 23 )Γ( d−2
2 )
=√ d−2
· d+1
π Γ( 2 ) Γ( 2 )
1
= .
d−1
206 ANDREAS STRÖMBERGSSON
R(X, Z, W, Y ) + R(X, W, Z, Y )
= R(X, Z + W, Z + W, Y ) − R(X, Z, Z, Y ) − R(X, W, W, Y )
= 21 K(X + Y, Z + W ) − K(X, Z + W ) − K(Y, Z + W )
1
− 2 K(X + Y, Z) − K(X, Z) − K(Y, Z)
1
− 2 K(X + Y, W ) − K(X, W ) − K(Y, W ) .
2R(X, Z, W, Y ) =2R(W, X, Z, Y )
(186) + K(X + Y, Z + W ) − K(X, Z + W ) − K(Y, Z + W )
− K(X + Y, Z) − K(X, Z) − K(Y, Z)
− K(X + Y, W ) − K(X, W ) − K(Y, W ) .
2R(W, X, Z, Y ) =2R(Z, W, X, Y )
(187) + K(W + Y, X + Z) − K(W, X + Z) − K(Y, X + Z)
− K(W + Y, X) − K(W, X) − K(Y, X)
− K(W + Y, Z) − K(W, Z) − K(Y, Z) .
2R(W, X, Z, Y ) =2R(X, Z, W, Y )
(188) − K(X + Y, Z + W ) − K(X, Z + W ) − K(Y, Z + W )
+ K(X + Y, Z) − K(X, Z) − K(Y, Z)
+ K(X + Y, W ) − K(X, W ) − K(Y, W ) .
PROBLEMS; “RIEMANNIAN GEOMETRY” 207
Now add (187) and (188) and add an extra 2R(W, X, Z, Y ) on both sides,
and then use the first Bianchi identity in the right hand side. This gives:
6R(W, X, Z, Y ) = K(W + Y, X + Z) − K(W, X + Z) − K(Y, X + Z)
− K(W + Y, X) − K(W, X) − K(Y, X)
− K(W + Y, Z) − K(W, Z) − K(Y, Z)
− K(X + Y, Z + W ) − K(X, Z + W ) − K(Y, Z + W )
+ K(X + Y, Z) − K(X, Z) − K(Y, Z)
+ K(X + Y, W ) − K(X, W ) − K(Y, W )
(189) = K(W + Y, X + Z) − K(W, X + Z) − K(Y, X + Z)
− K(W + Y, X) + K(Y, X)
− K(W + Y, Z) + K(W, Z)
− K(X + Y, Z + W ) + K(X, Z + W ) + K(Y, Z + W )
+ K(X + Y, Z) − K(X, Z)
+ K(X + Y, W ) − K(Y, W ).
This is an explicit formula for R in terms of K! Changing letters (W → X,
X → Y , Y → W ) the formula reads:
6 · R(X, Y, Z, W ) = K(X + W, Y + Z) − K(X, Y + Z) − K(W, Y + Z)
− K(X + W, Y ) + K(W, Y )
− K(X + W, Z) + K(X, Z)
− K(Y + W, Z + X) + K(Y, Z + X) + K(W, Z + X)
+ K(Y + W, Z) − K(Y, Z)
+ K(Y + W, X) − K(W, X),
which is exactly the formula which Jost states in his [12, Lemma 4.3.3],
except for the factor “6” in the left hand side.
208 ANDREAS STRÖMBERGSSON
Problem 73: Cf., e.g., [13, p. 292, Thm. 1] or [14, Prop. 7.8].
Assume that there is a function c : M → R such that (wrt any C ∞ chart
(U, x) on M ):
(190) Rik = c · gik .
(Cf. the note on p. 5 in Lecture #15.)
Fix a point p ∈ M and assume that (U, x) are normal coordinates around
p. Then by the second Bianchi identity,
∂h Rijkℓ + ∂k Rijℓh + ∂ℓ Rijhk = 0 at p.
(Here ∂h := ∂x∂ h .) Multiply the above relation with gik gjℓ and add over all
i, k, j, ℓ; this gives:
g ik gjℓ · ∂h Rijkℓ + gik g jℓ · ∂k Rijℓh + gik gjℓ · ∂ℓ Rijhk = 0 at p.
However we have ∂h gik = 0 at p, for all h, i, k; hence the above relation is
equivalent with:
(191) ∂h gik g jℓ Rijkℓ + ∂k gik gjℓ Rijℓh + ∂ℓ gik gjℓ Rijhk = 0 at p.
Recall now that gjℓ Rijkℓ = Rik , by definition. Hence using also (190) we get
gik gjℓ Rijkℓ = gik Rik = gik · c · gik = c · δii = d · c,
where d := dim M . Also
gik gjℓ Rijℓh = −gik gjℓ Rijhℓ = −g ik Rih = −gik · c · gih = −δhk · c.
and
gik gjℓ Rijhk = −g ik gjℓ Rjihk = −g jℓ Rjh = −g jℓ · c · gjh = −δhℓ · c
Substituting these relations in (191) we obtain, at p:
0 = d · ∂h c − ∂h c − ∂h c = (d − 2)∂h c.
Hence since we are assuming d ≥ 3, we conclude that ∂h c = 0 at p. This is
true for all h; hence dcp = 0. This is true for all p ∈ M ; hence c is constant,
qed.
PROBLEMS; “RIEMANNIAN GEOMETRY” 209
Problem 76:
(a) By Problem 35(c), every vector in Ef (p) can be obtained as s(f (p))
for some s ∈ ΓE; hence it suffices to prove that for any s ∈ ΓE:
e ◦ f )(X1 , X2 ) = (Rs)(df (X1 ), df (X2 ))
R(s in (f ∗ E)p = Ef (p) ,
∀p ∈ M, X, Y ∈ Tp (M ).
Using (for r = 2) the map f∗
: Ωr (E)
→ Ωr (f ∗ E) defined in Problem 68(b),
the above relation can be expressed:
e ◦ f ) = f ∗ (Rs)
R(s in Ω2 (f ∗ E).
By the definition of f ∗ : Ω0 (E) → Ω0 (f ∗ E), this can also be expressed
(slightly more nicely?) as
(192) e ∗ (s)) = f ∗ (Rs)
R(f in Ω2 (f ∗ E).
Problem 78: (Cf. [14, Prop. 10.9].) Recall that the fact that the chart
(U, x) gives normal coordinates means that there is some r > 0 such that
expp|Br (0) is a diffeomorphism onto U , where Br (0) is the open ball of radius
r about the origin in Tp (M ) (wrt the Riemannian metric h·, ·i); also we fix
an identification Tp (M ) = Rd which carries h·, ·i on Tp (M ) to the standard
scalar product on Rd ; thus Br (0) is now the open ball of radius r about
the origin in Rd ; and finally x := (expp|Br (0) )−1 : U → Rd , with image
x(U ) = Br (0).
Now fix a point x ∈ Br (0) \ {0}. Set T := kxk ∈ (0, r) and consider the
geodesic
c : [0, T ] → M, c(t) = expp tkxk−1 x .
Note that c is parametrized by arc length, i.e. kċ(t)k = 1 for all t ∈ [0, T ].
Using the chart (U, x) to identify U and Br (0), the map expp : Br (0) → U
becomes simply the identity map on Br (0); the geodesic c becomes c(t) = tx,
and also for any w ∈ Br (0) the differential of expp : Tp (M ) → M at w,
(194) (d expp )w : Tw (Tp (M )) = Rd → Texpp (w) (M ) = Rd ,
gets47 identified with the identity map on Rd . Hence by Cor. 1 in Lec-
ture #17, for any v ∈ Rd the formula
(195) X(t) := t · v ∈ Tc(t) (M ) = Rd (t ∈ [0, T ])
defines a Jacobi field along c.
The Riemannian metric h·, ·i on U carries over to a Riemannian metric
h·, ·i on Br (0), which is given by
hv, wi = gij (x)v i wj
for any x ∈ Br (0) and v, w ∈ Rd .
Let us first assume that the vector v in (195) satisfies v · x = 0. Since
gij (0) = δij (by Lemma 1 in #4), this implies that v and kxk−1 x are orthog-
onal when viewed as tangent vectors in Tp (M ). Note also ċ(0) = kxk−1 x;
hence by “Gauss’ Lemma” (Cor. 2 in Lecture #17), hX(t), ċ(t)i = 0 for all
t ∈ [0, T ], i.e. X is a normal Jacobi field along c. Hence by the discussion
on pp. 5–6 in Lecture #17 we have
(196) X(t) = sρ (t) · X1 (t), ∀t ∈ [0, T ],
where X1 (t) is a parallel vector field along c, and
−1/2 sin(ρ1/2 t)
ρ if ρ > 0
sρ (t) = t if ρ = 0
−1/2 1/2
|ρ| sinh(|ρ| t) if ρ < 0.
47In (194), the last identification “T d
expp (w) (M ) = R ” of course comes from using the
∂
basis of sections ∂x1
, . . . , ∂x∂ d ∈ Γ(T U ), at the point expp (w) ∈ U .
212 ANDREAS STRÖMBERGSSON
Using X(t) = t · v and gij (0) = δij we see that ht−1 X(t), t−1 X(t)i → kvk2
as t → 0+ . Combining this with (196) and t−1 sρ (t) → 1 as t → 0+ we
conclude that hX1 (t), X1 (t)i → kvk2 as t → 0+ . However hX1 (t), X1 (t)i is
independent of t since X1 is parallel along c; hence
sin2 (ρ1/2 kxk)
if ρ > 0
ρ kxk2
hv, vi = T −2 sρ (T )2 kvk2 = 1 2
if ρ = 0 · kvk .
sinh2 (|ρ|1/2 kxk)
if ρ < 0.
|ρ| kxk2
hv, vi = kvk2 .
(v · x)2
kwk2 = kvk2 − .
kxk2
PROBLEMS; “RIEMANNIAN GEOMETRY” 213
Problem 79:
For symmetry reasons we may assume i = 1, j = 2. Since (U, x) gives
normal coordinates, we know that x(U ) is an open ball in Rd centered at
the origin; take R > 0 so that x(U ) = BR (0). As usual we identify U and
BR (0) via x. Let us furthermore introduce the short-hand notation “(x, y)”
for (x, y, 0, . . . , 0) ∈ Rd .
Given a point (x, y) with 0 < k(x, y)k < R, we consider the two tangent
∂ ∂ ∂ ∂
vectors x +y and −y +x in T(x,y) (M ). We note that for an
∂x ∂y ∂x ∂y
arbitrary choice of polar coordinates (r, θ1 , . . . , θd−1 ) on Rd 48, these two
vectors are given by
X d−1
∂ ∂ ∂ ∂ ∂ ∂
(197) x +y =r , and −y +x = αj
∂x ∂y ∂r ∂x ∂y ∂θj
j=1
for some α1 , . . . , αd−1 ∈ R (which depend on (x, y) and on the choice of polar
∂ ∂
coordinates). The first formula in (197) follows from the fact that x ∂x + y ∂y
is the tangent vector of the curve c(t) := (tx, ty, 0, . . . , 0) at t = 1, and in
polar coordinates this curve is given by c(t) = (tr, θ1 , . . . , θd−1 ) for some fixed
θ1 , . . . , θd−1 . Similarly the second formula in (197) follows from the fact that
∂ ∂
−y ∂x + x ∂y is the tangent vector of the curve γ(t) = (r cos t, r sin t) at a
p
certain t = t0 , where r := k(x, y)k = x2 + y 2 , and in polar coordinates
this curve takes the form γ(t) = (r, θ1 (t), . . . , θd−1 (t)) where r = k(x, y)k is
fixed and θ1 (t), . . . , θd−1 (t) are some smooth real-valued functions of t.
It follows from (197) and Problem 23 that, for any point (x, y) in the
punctured disc 0 < k(x, y)k < R,
D ∂ ∂ ∂ ∂ E
(198) x + y ,x +y = r 2 = x2 + y 2
∂x ∂y ∂x ∂y
and
D ∂ ∂ ∂ ∂ E
(199) x + y , −y +x = 0,
∂x ∂y ∂x ∂y
as stated in the hint to the problem. Note that (198) and (199) are also
valid at (x, y) = (0, 0), by inspection (or by continuity). [Remark on no-
tation: In (198) and (199), “h·, ·i” denotes the Riemannian scalar product
on T(x,y) (M ), whereas we use “k(x, y)k” to denote the standard Euclidean
p
norm, x2 + y 2 .]
48by this we mean: We have fixed a chart (V, ϕ) on S d−1 and we then consider the
corresponding chart (R+ V, (r, θ1 , . . . , θd−1 )) on Rd , where r(z) = kzk (standard Euclidean
length of the vector z) and (θ1 (z), . . . , θd−1 (z)) = ϕ(kzk−1 z) for all z in the open cone
R+ V . This is just as in Problem 23, but with different variable names. Of course, we
assume that the given point (x, y) = (x, y, 0, . . . , 0) lies in the cone R+ V .
PROBLEMS; “RIEMANNIAN GEOMETRY” 215
Problem 80:
(See wikipedia; Bertrand-Diquet-Puiseux Theorem.)
Let the chart (U, z) on M be normal coordinates centered at p such that
X := ∂z∂ 1 (p) and Y := ∂z∂ 2 (p) form an ON-basis of Π. (Such a chart is easily
obtained by choosing the identification between Tp M and Rd appropriately
in the construction of normal coordinates.) As usual, we will identify U with
the open ball z(U ) ⊂ Rd (via z). In particular the submanifold expp (Dr )
gets identified with
Dr = {(x, y, 0, . . . , 0) : x2 + y 2 < r 2 }.
From now on we will write “(x, y)” as a short-hand for “(x, y, 0, . . . , 0)”
(denoting either a point in Rd = Tp M or a point in M ).
Let the Riemannian metric be represented by (gij (z)) with respect to
(U, z). Then the induced Riemannian metric on the submanifold expp (Dr )
is represented by the 2 × 2 matrix function
g11 (x,y) g12 (x,y)
g21 (x,y) g22 (x,y)
, ∀(x, y) ∈ Dr .
(this is immediate from the definition of the induced Riemannian metric; cf.
Problem 18). Hence by the definition of the volume measure on a Riemann-
ian manifold (cf. #12, p. 1), we have
Z p
(202) Ar = g11 (x, y)g22 (x, y) − g12 (x, y)2 dx dy.
Dr
Recall that gij (0) = δij and gij,k (0) = 0 for all i, j, k ∈ {1, . . . , d} (cf. Lemma
1 in Lecture #4). Hence we have the Taylor expansion
gij,11 (0) 2 gij,22 (0) 2
gij (x, y) = δij + x + gij,12 (0)xy + y + O((x2 + y 2 )3/2 )
2 2
for all (x, y) near (0, 0). This gives
where all the gij,kl ’s in the right hand side are evaluated at 0. Multiplying
out and using g11,11 (0) = g22,22 (0) = 0 (cf. Problem 79), we get
From this, using the formula for the Christoffel symbols of the Levi-Civita
connection,
we compute:
while all other functions Γijk are identically zero. Suppose now that c(t) =
(x(t), α(t)) is a C ∞ curve on S and s(t) is a vector field along c; we write
∂ ∂
(203) s(t) = a1 (t) + a2 (t) .
∂x ∂α
PROBLEMS; “RIEMANNIAN GEOMETRY” 219
Then by the formula for ṡ(t) in local coordinates (cf. Lecture #9, p. 8):
∂ ∂ ∂ ∂
ṡ(t) = ȧ1 (t) + ȧ2 (t) + ċj (t)ak (t) Γ1jk (c(t)) + Γ2jk (c(t))
∂x ∂α ∂x ∂α
∂ ∂ f ′ f ′′ ∂ f ′ ∂ ff′ 2 ∂
= ȧ1 + ȧ2 + 2 ẋa 1
+ ẋa 2
+ α̇a1
− 2 α̇a
∂x ∂α 1 + f ′ ∂x f ∂α 1 + f ′ ∂x
(204)
f ′ f ′′ ff′ f′ 2 ∂
2 ∂
= ȧ1 + ẋa 1
− α̇a + ȧ2
+ ẋa + α̇a 1
.
1 + f ′2 1 + f ′2 ∂x f ∂α
(a). The equation for c being a geodesic is ∇ċ ċ = 0. But the vector field
s(t) = ċ(t) is given by (203) with a1 = ẋ and a2 = α̇. Hence the equation
becomes (cf. (204)):
f ′ (x)f ′′ (x) 2 f (x)f ′ (x) 2
ẍ + ẋ − α̇ = 0
1 + f ′ (x)2 1 + f ′ (x)2
(205)
f ′ (x)
α̈ + 2 ẋα̇ = 0.
f (x)
To prove that f (x(t))2 α̇(t) remains constant along any geodesic, we simply
note that
d
f (x)2 α̇ = 2f (x)f ′ (x)ẋα̇ + f (x)2 α̈ = 0,
dt
where the last equality holds by the second equation in (205).
Remark: The fact that f (x)2 α̇ remains constant around any geodesic is
called Clairaut’s relation. Note that f (x(t))α̇(t) = kċ(t)k sin ψ(t), where
ψ(t) is the angle between ċ(t) and the meridians of S. Hence (since kċ(t)k
is constant along any geodesic) an equivalent formulation of the relation is
to say that f (x) sin ψ remains constant along any geodesic.
From (205) we see that the geodesics with x ≡ constant are exactly the
curves c(t) = (k1 , k2 + k3 t) with k1 , k2 , k3 ∈ R, and [k3 = 0 or f ′ (k1 ) = 0].
Any curve c(t) = (k1 , k2 + k3 t) with k3 6= 0 is called a parallel of S, and
what we have just shown is that a parallel of S is a geodesic iff its x-value
satisfies f ′ (x) = 0.
Finally, let us consider a curve with α ≡ constant, i.e. c(t) = (x(t), α).
By (205), this is a geodesic iff
f ′ (x)f ′′ (x) 2
(206) ẍ + ẋ ≡ 0.
1 + f ′ (x)2
We may note that the function x(t) satisfies (206) iff
C
(207) ẋ(t) ≡ p for some constant C ∈ R.
1 + f ′ (x(t))2
220 ANDREAS STRÖMBERGSSON
(b). The equation for parallel transport along a given curve c(t) =
(x(t), α(t)) is ṡ(t) = 0, i.e., by (204):
1 f ′ (x)f ′′ (x) 1 f (x)f ′ (x) 2
ȧ + ẋa − α̇a = 0
1 + f ′ (x)2 1 + f ′ (x)2
2 f ′ (x) 2
ȧ + ẋa + α̇a1 = 0.
f (x)
We should consider this for the curve c(t) = (x, t), t ∈ [0, 2π]. Then the
above equation becomes:
1 f (x)f ′ (x) 2
ȧ − a =0
1 + f ′ (x)2
(208)
′
ȧ2 + f (x) a1 = 0.
f (x)
If f ′ (x) = 0 then the equation implies that both a1 and a2 are constant.
Now assume f ′ (x) 6= 0. Then differentiating the first equation and sub-
stituting the second into the result gives:
f ′ (x)2
ä1 (t) = − a1 (t).
1 + f ′ (x)2
f ′ (x)2
Here − < 0; hence the general solution is
1 + f ′ (x)2
1 f ′ (x)
a (t) = C1 sin C2 + p t
1 + f ′ (x)2
PROBLEMS; “RIEMANNIAN GEOMETRY” 221
f ′′ (x)
Answer: The sectional curvature at (x, α) is − .
f (x)(1 + f ′ (x)2 )2
Problem 82:
(Cf. [14, p. 128, Problem 7-3].)
We have
(∇2 η)(X, Y, Z) = (∇Z (∇η))(X, Y )
= Z (∇η)(X, Y ) − (∇η)(∇Z X, Y ) − (∇η)(X, ∇Z Y )
= Z (∇Y η)(X) − (∇Y η)(∇Z X) − (∇∇Z Y (η))(X)
= Z Y (η(X)) − η(∇Y X) − Y η(∇Z X) + η(∇Y ∇Z X)
− (∇Z Y )(η(X)) + η(∇∇Z Y X).
(In the above computation, in the first and the third equalities we used the
r (M ) given in the problem formulation,
definition of ∇ : ΓTsr (M ) → ΓTs+1
while in the second and the fourth equalities we used the formula from Prob-
lem 59(a).) Subtracting the corresponding expression for (∇2 η)(X, Z, Y )
from the above expression, and using
Z(Y (η(X))) − Y (Z(η(X))) − (∇Z Y )(η(X)) + (∇Y Z)(η(X))
= [Z, Y ] − ∇Z Y + ∇Y Z (η(X)) = 0,
we obtain:
(∇2 η)(X, Y, Z) − (∇2 η)(X, Z, Y )
= η ∇Y ∇Z X − ∇Z ∇Y X + ∇∇Z Y X − ∇∇Y Z X
= η ∇Y ∇Z X − ∇Z ∇Y X − ∇[Y,Z]X
= η R(Y, Z)X .
Done!
224 ANDREAS STRÖMBERGSSON
Alternative: It suffices to prove that the two functions (∇2 η)(X, Y, Z)−
(∇2 η)(X, Z, Y ) and η(R(Y, Z)X) have the identical restrictions to the set
U for any chart (U, x). Given such a chart, by expanding each of X, Y, Z
in the basis of sections ∂x∂ 1 , . . . , ∂x∂ d ∈ Γ(T U ), and using the fact that both
(∇2 η)(X, Y, Z)−(∇2 η)(X, Z, Y ) and η(R(Y, Z)X) are C ∞ (M )-linear in each
of X, Y, Z, we see that it suffices to prove that, for any i, j, k,
(211)
∂ ∂ ∂ ∂ ∂ ∂ ∂ ∂ ∂
(∇2 η) , , − (∇ 2
η) , , = η R , .
∂xi ∂xj ∂xk ∂xi ∂xk ∂xj ∂xj ∂xk ∂xi
∂
From now on let us use the short-hand notation ∂i := ∂x i . Take η1 , . . . , ηd ∈
∞
C (U ) so that
η|U = ηl dxl .
Then in U we have
∇η = ∇(ηl dxl ) = dxl ⊗ dηl + ηl ∇(dxl ) = dxl ⊗ (∂m ηl )dxm − ηl Γlab dxb ⊗ dxa
= (∂a ηb − ηl Γlab ) dxb ⊗ dxa ,
where we used [12, (4.1.22)]. It follows that, for any k,
l b a
∇∂k (∇η) = ∇∂k (∂a ηb − ηl Γab ) dx ⊗ dx
= ∂k (∂a ηb − ηl Γlab ) dxb ⊗ dxa + (∂a ηb − ηl Γlab ) ∇∂k (dxb ) ⊗ dxa
+ (∂a ηb − ηl Γlab ) dxb ⊗ ∇∂k (dxa )
= ∂k ∂a ηb − (∂k ηl )Γlab − (∂k Γlab )ηl dxb ⊗ dxa
− (∂a ηb − ηl Γlab ) Γbkc dxc ⊗ dxa − (∂a ηb − ηl Γlab ) Γakc dxb ⊗ dxc
= ∂k ∂a ηb − (∂k ηl )Γlab − (∂k Γlab )ηl − (∂a ηc ) Γckb + ηl Γlac Γckb
− (∂c ηb ) Γcka + ηl Γlcb Γcka dxb ⊗ dxa .
This means that
(∇2 η) ∂i , ∂j , ∂k = ∇∂k (∂η) ∂i , ∂j
= ∂k ∂j ηi − (∂k ηl )Γlji − (∂k Γlji )ηl − (∂j ηc ) Γcki + ηl Γljc Γcki − (∂c ηi ) Γckj + ηl Γlci Γckj .
Subtracting the corresponding expression with j and k swapped (and using
Γckj = Γcjk , which holds since the Levi-Civita connection is torsion free; cf.
Lemma 2 in #13), we obtain
(∇2 η) ∂i , ∂j , ∂k − (∇2 η) ∂i , ∂k , ∂j = −∂k Γlji + Γljc Γcki + ∂j Γlki − Γlkc Γcji ηl .
Comparing with the formula for R on p. 3 in Lecture #11, we get
l
= Rijk ηl = η(R(∂j , ∂k )∂i ).
l ∂ and η = η dxl .) Hence
(The last equality holds since R(∂j , ∂k )∂i = Rijk l l
we have proved (211)!
PROBLEMS; “RIEMANNIAN GEOMETRY” 225
Problem 83:
(a). One simple construction is as follows: Equip M with an arbitrary
Riemannian metric. This is possible by [12, Thm. 1.4.1]. Let exp : D → M
be the corresponding exponential map with its maximal domain D (an open
subset of T M ). By a simple compactness argument (using the fact that
0p ∈ D for all p ∈ M ), there exists some ε > 0 such that s · Y (t) ∈ D for all
t ∈ [0, 1] and all s ∈ (−ε, ε). Now define
(212) c(t, s) := exp(s · Y (t)), (t ∈ [0, 1], s ∈ (−ε, ε)).
This is easily verified to be a smooth variation of the given curve c with
c′ = Y , which is furthermore proper if Y (0) = 0 = Y (1).
Problem 85:
(a). Identify Tp M with Rd by some fixed linear map respecting the inner
product. Let γ1 and γ2 be the following C ∞ curves in Tp M = Rd :
γ1 (t) = te1 , t ∈ [0, π],
where e1 = (1, 0, . . . , 0), and
γ2 (t) = (π cos t, π sin t, 0, 0, . . . , 0), t ∈ [0, a],
where a is any fixed positive constant. Then set:
γ = γ1 · γ2 · γ2 .
In order to fit into the problem formulation, this product path should be
understood to be reparametrized in some way so that the domain of γ is
[0, 1].
Note then that
γ(1) = γ1 (π) = πe1 .
Also kγ2 (t)k = π and thus expp (γ2 (t)) = −p for all t ∈ [0, a]! Hence
L(expp ◦γ) = L(expp ◦γ1 ) = kγ1 (π)k = kγ(1)k,
where the second equality holds since t 7→ expp ◦γ1 (t) = expp (te1 ) is a
geodesic. However γ is certainly not a reparametrization of the curve t 7→
t · γ(1) = t · πe1 (t ∈ [0, 1]), since the image of γ in Rd contains points outside
the line Re1 .
PROBLEMS; “RIEMANNIAN GEOMETRY” 227
50Recall that we saw in (215) that kwk > 0 for all w ∈ W ; thus the statements (217)
and (218) make sense.
228 ANDREAS STRÖMBERGSSON
Problem 86: As stated in the lecture notes, this is clear from Cor. 1
in Lecture #17. Indeed, after possibly shrinking and reparametrizing the
geodesic, and possibly changing its direction, we may assume t0 = a = 0,
t1 = b = T > 0. Set also p = c(0) and q = c(T ). Then our task is to prove
that c(0) and c(T ) are conjugate along c iff
(d expp )T ·ċ(0) : Tp (M ) → Tq (M )
is singular. By Cor. 1 in #17, for every v ∈ Tp (M ) we have that (d expp )T ·ċ(0) (v)
equals X(T ) when X is the unique Jacobi field along c with X(0) = 0,
Ẋ(0) = v. 51 Hence, since also Tp (M ) and Tq (M ) have the same dimension,
(d expp )T ·ċ(0) is singular iff there is some v 6= 0 in Tp (M ) with such that the
unique Jacobi field along c with X(0) = 0 and Ẋ(0) = v satisfies X(T ) = 0.
In other words, (d expp )T ·ċ(0) is singular iff there is some Jacobi field X 6≡ 0
along c with X(0) = 0 and X(T ) = 0, i.e. iff c(0) and c(T ) are conjugate
along c.
51The fact that there indeed exists a unique such Jacobi field is provided by Lemma 1
in #17.
230 ANDREAS STRÖMBERGSSON
Finally one can use a partition of unity argument, creating fknew weighting
appropriately between fk and f , to also ensure fk (t) = f (t) for all k and all
t ∈ [a, b] \ ∪m−1
j=1 (tj − ε, tj + ε) (while (220) remains true).
Problem 89: We are assuming that expp is defined and injective on the
open ball Br (0) in Tp (M ). We claim that (d expp )v is non-singular for every
v ∈ Br (0). Assume the opposite, i.e. assume that v ∈ Br (0) is such that
(d expp )v is singular. Take b > 1 so that bv ∈ Br (0), and let c be the geodesic
c : [0, b] → M ; c(t) := expp (tv).
Our assumption that (d expp )v is singular implies that the point c(1) is
conjugate to c(0) along c (by Problem 86). Hence by Theorem 1 in Lecture
#18, c is not a local minimum for L among pw C ∞ curves from p to q :=
c(b). This implies in particular that d(p, q) < L(c). Now by Problem 28
there is a geodesic from p to q realizing the distance d(p, q), i.e. there is
some w ∈ Tp (M ) such that q = expp (w) and kwk = d(p, q). Of course
w ∈ Br (0) and w 6= bv, since kwk = d(p, q) < L(c) = kbvk < r. Now
we have expp (bv) = q = expp (w), contradicting the fact that expp|Br (0) is
injective. This completes the proof that (d expp )v is non-singular for every
v ∈ Br (0).
From the non-singularity just proved it follows, via the Inverse Func-
tion Theorem, that expp|Br (0) is a local diffeomorphism and that U :=
expp (Br (0)) is an open subset of M . Since expp|Br (0) is injective, this map
is a bijection of Br (0) onto U . Let f : U → Br (0) be the inverse map. The
fact that expp|Br (0) is a local diffeomorphism implies that f is C ∞ in all U .
Hence expp|Br (0) is a diffeomorphism onto the open set U .
232 ANDREAS STRÖMBERGSSON
Problem 90: Let (U, x) and (V, y) be two charts with p ∈ U , p ∈ V , and
assume that
∂ ∂
(221) · · · jr f = 0 at p,
∂xj1 ∂x
for any 1 ≤ r ≤ k and any j1 , . . . , jr ∈ {1, . . . , d}. We know that
∂ ∂
= ϕji (∀i ∈ {1, . . . , d})
∂y i ∂xj
(equality of vector fields in ΓT (U ∩ V )), where
∂xj
ϕji := ∈ C ∞ (U ∩ V ).
∂y i
Now take any r ∈ {1, . . . , k} and i1 , . . . , ir ∈ {1, . . . , d}. Then in U ∩ V we
have
∂ ∂ j1 ∂ jr ∂
· · · ir f = ϕi1 · · · ϕir f,
∂y i1 ∂y ∂xj1 ∂xjr
and this can be expanded as a sum where each term is of the form “A · B”
where each “A” is a product of partial derivatives of some of the functions
∂ ∂
ϕjill , and each “B” equals jl(1) · · · f for some 1 ≤ l(1) < l(2) < · · · <
∂x ∂xjl(s)
l(s) ≤ r (with 1 ≤ s ≤ r). Evaluating this sum at p, each B-factor vanishes,
because of (221) (and since s ≤ r ≤ k). Hence
∂ ∂
i
· · · ir f = 0 at p.
∂y 1 ∂y
PROBLEMS; “RIEMANNIAN GEOMETRY” 233
Problem 91:
(a). Let (U, x) be any chart on S d and let (gij (x)) give the standard
Riemannian metric h·, ·i with respect to (U, x). Then the Riemannian metric
[·, ·] is given by (hij (x)) where52
hij (x) = f (x) · gij (x), ∀i, j ∈ {1, . . . , d}, x ∈ x(U ).
52As usual, “x” denotes two things, namely a map from U to Rd and also a general
point in x(U ); also “f (x)” really stands for “f (x−1 (x))”.
234 ANDREAS STRÖMBERGSSON
Recall that by definition, X is a Jacobi field iff “Ẍ + R(X, ċ)ċ ≡ 0”;
hence it now only remains to prove that “R(X, ċ)ċ ” stands for the same
thing in S d and Sfd . However, if (U, x) is an arbitrary chart on M , and
J := {t ∈ [0, π] : c(t) ∈ U }, and if X is represented by the functions
a1 , . . . , ad ∈ C ∞ (J) (viz., X(t) = aj (t) · ( ∂x∂ j )c(t) , ∀t ∈ J), then
∂
k
R(X(t), ċ(t))ċ(t) = Rjim (c(t)) · ai (t) ċm (t) ċj (t) , ∀t ∈ J.
∂xk c(t)
Hence it suffices to prove that “Rjim k (c(t))” is the same for S d and S d , for
f
all t ∈ J. In view of the formula
k
∂Γkmj ∂Γkij
Rjim = − + Γkil Γlmj − Γkml Γlij (valid in all U ),
∂xi ∂xm
∂
it suffices to prove that “Γkmj ” and “ ∂x k
i Γmj ” are the same for S
d and S d ,
f
at every point c(t), t ∈ J (and for all m, j, k, i ∈ {1, . . . , d}). For Γkmj this
53Indeed, let (U, x) be an arbitrary chart on M and set J := {t ∈ [0, π] : c(t) ∈ U };
then there exist unique functions a1 , . . . , ad ∈ C ∞ (J) such that
∂
X(t) = aj (t) · , ∀t ∈ J.
∂xj c(t)
Then if Γljk ∈ C ∞ (x(U )) are the Christoffel symbols for the Levi-Civita connection, we
have
∂
Ẋ(t) = ∇ċ(t) X(t) = ȧl (t) + ċj (t) ak (t) Γljk (c(t)) , ∀t ∈ J.
∂xl c(t)
Cf. Lecture # 9, p. 8.
PROBLEMS; “RIEMANNIAN GEOMETRY” 235
was proved in the solution to part (a). In order to prove it also for the
∂ k
derivative “ ∂x i Γmj ”, we see from the formula (223) that it suffices to prove
that gjl (x) and all its first and second derivatives “are the same” for S d and
Sfd , at every point c(t) (t ∈ J), and also that the corresponding thing holds
for gil (x) and all its first derivatives. We already know this fact for gjl (x)
and gil (x) themselves, and also for all the first derivatives of gjl (x); cf. part
(a). Thus, in the notation from the solution to part (a), what remains to
prove is that, for any k, i, l, j ∈ {1, . . . , d},
∂ il ∂ il
(224) k
g (x) = h (x)
∂x ∂xk
and also
∂2 ∂2
(225) gjl (x) = hjl (x)
∂xi ∂xk ∂xi ∂xk
for all x along c. Note that hil (x) = f (x)−1 · gil (x) throughout x(U ), and
also that for every x along c we have f (x)−1 = 1 and ∂x∂ k (f (x)−1 ) =
−f (x)−2 ∂x∂ k f (x) = 0; with these observations, (224) follows in the same
way as (222). On the other hand, (225) follows from
∂2 ∂2 ∂ ∂
gjl (x) = f (x) · gjl (x) + f (x) · gjl (x)
∂xi ∂xk ∂xi ∂xk ∂xi ∂xk
∂ ∂ ∂2
+ f (x) · gjl (x) + f (x) · i k gjl (x),
∂xk ∂xi ∂x ∂x
∂2 ∂
and the fact that if x lies on c then f (x) = 1 and ∂xi ∂xk
f (x) = ∂xi f (x) =
∂
∂xk f (x) = 0 (since f ∈ F2 ). Done!
(c). Take t1 ∈ [0, π] so that q := c(t1 ) lies in U . Then also c(t) ∈ U for
all t in some neighborhood of t1 in [0, π]. Hence we may assume from start
that t1 ∈ (0, π). Now take r > 0 so small that Bq (r) ⊂ U , where Bq (r) is
the open ball in Sfd of radius r about the point q. Let c1 : [0, π] → Sfd be any
pw C ∞ curve with c1 (0) = c(0) and c1 (π) = c(π) and df (c1 (t), c(t)) < r,
∀t ∈ [0, π]. We then claim that Lf (c1 ) ≥ Lf (c) with equality only if c1 is
a reparametrization of c. Here and in the following we write df and Lf for
the metric and length of curves in Sfd , and we will write d and L for the
corresponding things in S d .
Note that [v, w] ≥ hv, wi for all p ∈ S d , v, w ∈ Tp S d , since f ≥ 1 every-
where. Hence
Z πp Z πp
(226) Lf (c1 ) = [ċ1 (t), ċ1 (t)] dt ≥ hċ1 (t), ċ1 (t)i dt = L(c1 )
0 0
≥ L(c) = Lf (c),
236 ANDREAS STRÖMBERGSSON
(d). Take t1 ∈ (0, π) and r as in part (c). Let c1 : [0, π] → S d be any great
circle from c(0) to c(π), parametrized by arc length, not equal to c itself and
satisfying df (c1 (t1 ), c(t1 )) < r. We will then prove that Lf (c1 ) < Lf (c).
Since such curves c1 can be chosen with supt∈[0,π] df (c1 (t), c(t)) arbitrarily
small54 this will complete the proof that c is not a local minimum for L in
Sfd among pw C ∞ curves with fixed endpoints (in fact it even follows that
there exists a proper variation c(t, s) of c such that L(cs ) < L(c) for all s 6= 0
near 0).
We have:
Z π p Z π p
Lf (c1 ) = [ċ1 (t), ċ1 (t)] dt < hċ1 (t), ċ1 (t)i dt = L(c1 ) = π
0 0
= L(c) = Lf (c).
The “<” in the above computation holds since f ≤ 1 throughout S d and
since by an argument as in part (c) we have
[ċ1 (t), ċ1 (t)] < hċ1 (t), ċ1 (t)i
for all t in some neighborhood of t1 . Hence we have proved Lf (c1 ) < Lf (c),
as desired!
54Indeed, note that d (p, q) ≤ (sup d √f ) · d(p, q), ∀p, q ∈ S d , and we can make
f S
supt∈[0,π] d(c1 (t), c(t)) arbitrarily small.
PROBLEMS; “RIEMANNIAN GEOMETRY” 237
The analogous formula holds for kd(expp0 )x (v)k, and hence, in order to prove
(227), it suffices to prove the corresponding inequality with w in place of v.
In other words, it suffices to prove (227) under the extra assumption that
v · x = 0. We impose this assumption from now on.
Set
x̂ := kxk−1 x and v̂ := kxk−1 v.
Let γ : [0, kxk] → M be the geodesic γ(t) = expp (tx̂); note that γ is
parametrized by arc length, i.e. kγ̇(t)k = 1 for all t, since kx̂k = 1. Set
J(t) := (d expp )tx̂ (tv̂) for t ∈ [0, kxk].
Then by Corollary 1 (and Lemma 1) in Lecture #17, J is a Jacobi field
along γ with J(0) = 0, J(0) ˙ = v̂. Note that J tan (0) = 0, and J˙tan (0) = 0
since v̂ · x̂ = 0, i.e. hv̂, x̂i = 0 in Tp M . Also J tan is a Jacobi field along γ by
Lemma 3 in Lecture #17; hence J tan ≡ 0 by Lemma 1 in Lecture #17.
Similarly if we also set γ0 (t) = expp0 (tx̂) and
J0 (t) := (d expp0 )tx̂ (tv̂) for t ∈ [0, kxk]
then γ0 is a geodesic in M0 and J0 is a Jacobi field along γ0 with J0 (0) = 0,
J˙0 (0) = v̂ and J0tan ≡ 0.
238 ANDREAS STRÖMBERGSSON
Problem 93:
Assume that τ ∈ (a, b) and that c(τ ) is a focal point of γ along c. Let X
be a nontrivial Jacobi field along c satisfying X(τ ) = 0 and
(229) X(a) ∈ Span(γ̇(0)) and hẊ(a), γ̇(0)i = 0 in Tc(a) (M ).
It follows that X tan (a) = 0 (since hċ(a), γ̇(0)i = 0) and X tan (τ ) = 0; hence
by Lemmata 2,3 in Lecture #17 we must have X tan ≡ 0. Define the pw C ∞
vector field Y along c by
(
X(t) if t ∈ [a, τ ]
Y (t) =
0 if t ∈ [τ, b].
(Note in particular that Y is a well-defined and continuous function, since
X(τ ) = 0.) We have:
Z τ
1 1
I(Y, Y ) = I(X , X ) = hẊ, Ẋi − hR(ċ, X)X, ċi dt
a
Z τ
d
= hẊ, Xi − hẌ + R(X, ċ)ċ, Xi dt
a dt
= hẊ(τ ), X(τ )i − hẊ(a), X(a)i = 0,
where the last equality holds since X(τ ) = 0 and because of (229).
◦
Consider any Z ∈ V c (viz., Z ∈ Γc (T M ) with Z(a) = 0 = Z(b)). Write
Z 1 for the restriction of Z to [a, τ ]. Then
I(Y + Z, Y + Z) = I(Y, Y ) + 2 · I(X 1 , Z 1 ) + I(Z, Z)
= 2 · I(X 1 , Z 1 ) + I(Z, Z),
and here
Z τ
1 1
I(X , Z ) = hẊ, Żi − hR(ċ, X)Z, ċi dt
a
Z τ
d
= hẊ, Zi − hẌ + R(X, ċ)ċ, Zi dt
a dt
= hẊ(τ ), Z(τ )i − hẊ(a), Z(a)i
= hẊ(τ ), Z(τ )i.
◦
As in the proof of Theorem 1 in #18 we now fix a vector field Z ∈ V c which
is normal and which satisfies Z(τ ) = −Ẋ(τ ).55 Applying the above formulas
with ηZ (η ∈ R) in place of Z gives
I(Y + ηZ, Y + ηZ) = −2 · kẊ(τ )k2 · η + I(Z, Z) · η 2 .
55To see that this can be done, note that −Ẋ(τ ) is normal against ċ(τ ); hence we can
simply set Z equal to the parallel transport of −Ẋ(τ ) along c, multiplied by some smooth
function f : [a, b] → R with f (τ ) = 1 and f (a) = f (b) = 0.
240 ANDREAS STRÖMBERGSSON
Here kẊ(τ )k > 0 since X is nontrivial and X(τ ) = 0 (cf. Lemma 1 in #17).
Hence for η > 0 small enough we have
I(Y + ηZ, Y + ηZ) < 0.
Fix such an η. Note that Y + ηZ is a normal pw C ∞ vector field along c,
and by Problem 88 there is a C ∞ vector field U along c which also satisfies
I(U, U ) < 0, as well as U (t) = Y (t) + ηZ(t) for all t near a or b; in particular
U (a) = X(a) ∈ Span(γ̇(0)) and U (b) = 0. Using the fact that Y + ηZ is
normal along c and inspecting the solution to Problem 88, we see that we
can also take U to be normal along c.
Take k ∈ R so that U (a) = k · γ̇(0). Now by Problem 83(b) there exists
a C ∞ variation c : [a, b] × (−ε, ε) → M of c satisfying c′ ≡ U as well as
c(a, s) = γ(ks) and c(b, s) = c(b) for all s ∈ (−ε, ε). Set L(s) := L(cs ). By
Lemma 1 in #16 (and a remark on p. 3 of #16, and using hU (a), ċ(0)i = 0
and U (b) = 0) we have L′ (0) = 0. Next we apply Theorem 1 in #16. Note
that c′ ⊥ ≡ c′ since U is normal along c. Note also that ∇ ∂ c′ = 0 at t = a
∂s
and at t = b, since c(a, s) = γ(ks) (a geodesic) and c(b, s) = c(b) for all
s ∈ (−ε, ε). Hence Theorem 1 in #16 says:
1
L′′ (0) = I(U, U ).
kċk
Hence by what we proved above, L′′ (0) < 0. This means that after shrinking
ε if necessary, we have L(s) < L(0) for all s ∈ (−ε, ε) \ {0}. Done!
(Remark: An alternative solution, which is perhaps a bit simpler and
even closer to the proof of Theorem 1 in #18, is to construct the vector field
U without insisting that U is normal – but with all the other properties
required above. Then we use Theorem 1 in #16 to deduce E ′′ (0) < 0
in place of L′′ (0) = 0. We also have E ′ (0) = 0; and then the argument
in the notes for #18 applies and lets us conclude what we want, i.e. that
L(s) < L(0) for all s 6= 0 sufficiently near 0.)
PROBLEMS; “RIEMANNIAN GEOMETRY” 241
given explicitly in Problem 78. Hence the map expp ◦ exp−1 q is an isometry
of H onto M , and we are done!
56We obtain H n (|ρ|) by replacing the Riemannian metric h·, ·i on the standard hyper-
bolic n-space, H n , by the Riemannian metric [·, ·] := |ρ|−1 h·, ·i. Cf. Problem 70. Note
that there’s a misprint in Jost, [12, p. 228 (line -1)]; his “ρ” should be “ρ−1 ”.
242 ANDREAS STRÖMBERGSSON
Next fix any q ′ ∈ S \ {q, −q} and set p′ := Φ(q ′ ) ∈ M . Then by repeating
the above discussion we obtain a local isometry
(230) e := expp′ ◦ exp−1
Φ ′ q
Proof. First assume that q ∈ N is such that there exists a geodesic from p to
q, say c(t) = expp (tv), t ∈ [0, T ], for some v ∈ Tp (M ). (Thus expp (T v) = q.)
Then since ϕ and ψ are local isometries, both ϕ ◦ c and ψ ◦ c are geodesics
in Ne . These two geodesics have ϕ ◦ c(0) = ϕ(p) = ψ(p) = ψ ◦ c(0) and
(ϕ ◦ c)˙(0) = (dϕp )(ċ(0)) = (dψp )(ċ(0)) = (ψ ◦ c)˙(0);
hence by uniqueness of geodesics, ϕ ◦ c(t) = ψ ◦ c(t) for all t ∈ [0, T ], and in
particular
ϕ(q) = ϕ ◦ c(T ) = ψ ◦ c(T ) = ψ(q).
It follows from the above that if U is any open subset of N such that
every point q ∈ U can be reached by a geodesic from p, then ϕ|U = ψ|U .
Now let q be an arbitrary point in N . By Problem 1 there is a curve
c : [0, 1] → M with c(0) = p, c(1) = q. Consider the set
F := {t ∈ [0, 1] : ϕ(c(t)) = ψ(c(t)) and dϕc(t) = dψc(t) }.
This is a closed subset of [0, 1], since ϕ, ψ, dϕ, dψ are all continuous. Also
0 ∈ F , since ϕ(p) = ψ(p) and dϕp = dψp by assumption. Let us prove that F
is also an open subset of [0, 1]. Thus take any t ∈ F . Then ϕ(c(t)) = ψ(c(t))
and dϕc(t) = dψc(t) . By Theorem 3 in #4 there exists an open neighborhood
U of c(t) in N such that every point in U can be reached by a geodesic from
PROBLEMS; “RIEMANNIAN GEOMETRY” 243
c(t). Now by the above argument applied to the point c(t) in place of p,
ϕ|U = ψ|U , and hence ϕ(q) = ψ(q) and dϕq = dψq for all q ∈ U . Hence F
contains the set {t′ ∈ [0, 1] : c(t′ ) ∈ U }, and this is an open neighborhood
of t in [0, 1]. Since every point t ∈ F has such an open neighborhood, it
follows that F is open in [0, 1]. Hence F is connected, being both open and
closed. This together with 0 ∈ F implies F = [0, 1]. In particular 1 ∈ F ,
and thus ϕ(q) = ψ(q). Since q was arbitrary, this completes the proof that
ϕ ≡ ψ.
References
1. W. M. Boothby, An introduction to differentiable manifolds and riemannian geometry,
Academic Press, 1986.
2. Jeff Cheeger and David G. Ebin, Comparison theorems in Riemannian geometry,
AMS Chelsea Publishing, Providence, RI, 2008, Revised reprint of the 1975 original.
MR 2394158
3. Lawrence Conlon, Differentiable manifolds, second ed., Birkhäuser Advanced Texts:
Basler Lehrbücher. [Birkhäuser Advanced Texts: Basel Textbooks], Birkhäuser
Boston, Inc., Boston, MA, 2001. MR 1821549
4. Anton Deitmar and Siegfried Echterhoff, Principles of harmonic analysis, second ed.,
Universitext, Springer, Cham, 2014. MR 3289059
5. Karl-Heinz Fieseler, Riemannian geometry, lecture notes; from his www, 2015.
6. Gerald B. Folland, Real analysis, second ed., Pure and Applied Mathematics (New
York), John Wiley & Sons Inc., New York, 1999, Modern techniques and their appli-
cations, A Wiley-Interscience Publication. MR 1681462 (2000c:00001)
7. Allen Hatcher, Algebraic topology, Cambridge University Press, Cambridge, 2002.
8. Sigurdur Helgason, Differential geometry, lie groups, and symmetric spaces, Academic
Press, 1978.
9. Witold Hurewicz and Henry Wallman, Dimension theory, Princeton Univ. Press,
Princeton, NJ, 1948.
10. L. Hörmander, The analysis of linear partial differential operators i, Springer-Verlag,
1990.
11. Jürgen Jost, Riemannian geometry and geometric analysis, fourth ed., Universitext,
Springer-Verlag, Berlin, 2005.
12. Jürgen Jost, Riemannian geometry and geometric analysis, sixth ed., Universitext,
Springer, Heidelberg, 2011. MR 2829653
PROBLEMS; “RIEMANNIAN GEOMETRY” 245
13. Shoshichi Kobayashi and Katsumi Nomizu, Foundations of differential geometry. Vol.
I, Wiley Classics Library, John Wiley & Sons, Inc., New York, 1996, Reprint of the
1963 original, A Wiley-Interscience Publication. MR 1393940
14. John M. Lee, Riemannian manifolds, Graduate Texts in Mathematics, vol. 176,
Springer-Verlag, New York, 1997, An introduction to curvature. MR 1468735
15. , Introduction to smooth manifolds, second ed., Graduate Texts in Mathemat-
ics, vol. 218, Springer, New York, 2013. MR 2954043
16. Walter A. Poor, Differential geometric structures, McGraw-Hill Book Co., New York,
1981. MR 647949