Professional Documents
Culture Documents
Basic Riemannian Geometry: F.E. Burstall Department of Mathematical Sciences University of Bath
Basic Riemannian Geometry: F.E. Burstall Department of Mathematical Sciences University of Bath
F.E. Burstall
Department of Mathematical Sciences
University of Bath
Introduction
1 What is a manifold?
1
However, a moment’s thought reveals that differentiability is a completely
local matter so that all that is really required is that the domain and co-
domain be locally linear, that is, each point has a neighbourhood which is
homeomorphic to an open subset of some linear space. These ideas lead us
to the notion of a manifold : a topological space which is locally Euclidean
and on which there is a well-defined differential calculus.
We begin by setting out the basic theory of these spaces and how to do
Analysis on them.
1.1 Manifolds
xα ◦ x−1
β : xβ (Uα ∩ Uβ ) → xα (Uα ∩ Uβ )
is a C r diffeomorphism.
Each pair (Uα , xα ) called a chart.
Write xα = (x1 , . . . , xn ). The xi : Uα → R are coordinates.
1.1.1 Examples
2
4. An open subset of a manifold is a manifold in its own right with charts
(Uα ∩ U, xα |Uα ∩U ).
We now know what functions on a manifold are and it is our task to dif-
ferentiate them. This requires some less than intuitive definitions so let us
step back and remind ourselves of what differentiation involves.
Let f : Ω ⊂ Rn → R and contemplate the derivative of f at some x ∈ Ω.
This is a linear map dfx : Rn → R. However, it is better for us to take a
dual point of view and think of v ∈ Rn is a linear map v : C ∞ (M ) → R by
def
vf = dfx (v).
Now let M be a manifold. The preceding analysis may give some motivation
to the following
2
It requires a little machinery, in the shape of bump functions, to see that this is an
equivalent formulation.
3
Definition. A tangent vector at m ∈ M is a linear map ξ : C ∞ (M ) → R
such that
for all f, g ∈ C ∞ (M ).
Denote by Mm the vector space of all tangent vectors at m.
∂(f ◦ x−1 )
∂i|m f =
∂xi
p
vf = dfp (v)
for v ∈ Rn .
Mm = {v ∈ Rn : v ⊥ ∇fm }.
Now that we have got our hands on tangent vectors, the definition of the
derivative of a function as a linear map on tangent vectors is almost tauto-
logical:
4
We note:
for ξ ∈ Mm and f ∈ C ∞ (N ).
X|m ∈ Mp
5
where
The Lie bracket is interesting for several reasons. Firstly it equips Γ(T M )
with the structure of a Lie algebra; secondly, it, and operators derived from
it, are the only differential operators that can be defined on an arbitrary
manifold without imposing additional structures such as special coordinates,
a Riemannian metric, a complex structure or a symplectic form.
There is an extension of the notion of vector field that we shall need later
on:
X(m) ∈ Nφ(m) ,
6
1.4 Connections
We would like to differentiate vector fields but as they take values in differ-
ent vector spaces at different points, it is not so clear how to make difference
quotients and so derivatives. What is needed is some extra structure: a con-
nection which should be thought of as a “directional derivative” for vector
fields.
T M × Γ(T M ) → T M
(ξ, X) 7→ ∇ξ X
1. ∇ξ X ∈ Mm ;
3. ∇X Y ∈ Γ(T M ).
Tm : Mm × Mm → Mm
Rm : Mm × Mm × Mm → Mm
given by
T (ξ, η) = −T (η, ξ)
R(ξ, η)ζ = −R(η, ξ)ζ.
7
A connection ∇ on T N induces a similar operator on vector fields along a
map φ : M → N . To be precise, there is a unique bilinear map
T M × Γ(φ−1 T N ) → T N
(ξ, X) 7→ φ−1 ∇ξ X
1. φ−1 ∇ξ Y ∈ Nφ(m) ;
φ−1 ∇ is the pull-back of ∇ by φ. The first three properties just say that
φ−1 ∇ behaves like ∇, it is the last that essentially defines it in a unique
way.
A rich and useful geometry arises if we equip each Mm with an inner product:
m 7→ gm (X|m , Y|m )
is smooth.
A Riemannian manifold is a pair (M, g) with M a manifold and g a metric
on M .
8
2. Let S n ⊂ Rn+1 be the unit sphere. Then Sm n ∼ m⊥ ⊂ Rn+1 and so
=
gets a metric from the inner product on R n+1 .
Much of the power of Riemannian geometry comes from the fact that there
is a canonical choice of connection. Consider the following two desirable
properties for a connection ∇ on (M, g):
2. ∇ is torsion-free: ∇X Y − ∇Y X = [X, Y ]
This formula shows uniqueness and, moreover, defines the desired connec-
tion.
gij = g(∂i , ∂j )
9
(Recall that ∂1|m , . . . , ∂n|m form a basis for Mm .)
Now let (g ij ) be the matrix inverse to (gij ). Then the formula (2.1) for ∇
reads:
X
Γkij = 21 g kl (∂i gjl + ∂j gli − ∂l gij ) (2.2)
l
g(grad f, Y ) = Y f.
Finally, we put these together to introduce the hero of this volume: the
Laplacian of f ∈ C ∞ (M ) is the function
∆f = div grad f.
10
In particular, we conclude that
1 X √ ij X
∆f = √ ∂i ( gg ∂j f ) = g ij (∂i ∂j f − Γkij ∂k f ).
g
i,j i,j
(M, g) has a canonical measure dV on its Borel sets which we define in steps:
First let (U, x) be a chart and f : U → R a measureable function. We set
Z Z p
f dV = (f ◦ x−1 ) g ◦ x−1 dx1 . . . dxn .
U x(U )
Fact. The change of variables formula ensures that this integral is well-
defined on the intersection of any two charts.
1. supp(φα ) ⊂ Uα ;
P
2. α φα = 1.
Theorem. [6, Theorem 1.11] Any locally finite cover has a partition of
unity.
Armed with this, we choose a locally finite cover of M by charts {(Uα , xα )},
a partition of unity {φα } for {Uα } and, for measurable f : M → R, set
Z XZ
f dV = φα f dV.
M α Uα
11
2.3.2 The Divergence Theorem
√
Z Z
1
div X dV = √ ∂i ( gXi ) dV
M g
ZU
√
= (∂i gXi ) ◦ x−1 dx1 . . . dxn
x(U )
∂ √
Z
= i
( gXi ) ◦ x−1 dx1 . . . dxn = 0.
x(U ) ∂x
whence
h∆f dV = f ∆h dV.
M M
12
2. a Riemannian measure dA;
In particular
Z Z
∆f dV = νf dV.
Ω ∂Ω
13
Exercise. The length of a path is invariant under reparametrisation.
The key points here are the definiteness of d and the assertion about the
topologies. For this, it is enough to work in a precompact open subset of a
chart U where one can prove the existence of K1 , K2 ∈ R such that
X X X
K1 ξi2 ≤ gij ξi ξj ≤ K2 ξi2 .
1≤i≤n i,j 1≤i≤n
From this, one readily sees that, on such a subset, d is equivalent to the
Euclidean metric on U .
∇t : Γ(c−1 T M ) → Γ(c−1 T M )
by
∇t Y = (c−1 ∇)∂1 Y
for X, Y ∈ Γ(c−1 T M ).
14
Proposition. For c : [a, b] → M and U0 ∈ Mc(a) , there is unique parallel
vector field U along c with
U (a) = U0 .
If Y1 , Y2 are parallel vector fields along c, then all hYi , Yj i and, in particular,
|Yi | are constant.
∇t γ 0 = 0.
• |γ 0 | is constant.
γξ (0) = m
γξ0 (0) = ξ.
d2 γ
=0
dt2
and we conclude that geodesics are straight lines.
15
To get further, recall that |γξ0 | = |ξ| = 1 which implies:
γξ (t) = (cos t)m + (sin t)ξ.
A similar argument shows that the unique parallel vector field U along
γξ with U (0) = η ⊥ ξ is given by
U ≡ η.
16
3.3.2 The Gauss Lemma
expm : B(0, δ) ⊂ Mm → M
hc0 (t), c0 (t)i = (r0 )2 + r2 h(d expm )rξ ξ 0 , (d expm )rξ ξ 0 i + 2rr0 h(d expm )rξ ξ 0 , γξ0 i
= (r0 )2 + r2 h(d expm )rξ ξ 0 , (d expm )rξ ξ 0 i
L(γ) = d(m, p)
and
We have just seen that any geodesic is minimising on sufficiently small in-
tervals.
17
3.3.3 The Hopf–Rinow Theorem
In this situation, one can show that any two points of M can be joined by
a minimising geodesic.
Facts:
18
for all ξ, η ∈ Mm , m ∈ M . Since an isometry preserves the metric, it will
preserve anything built out of the metric such as the Levi–Civita connection
and its curvature. In particular, we have
K ◦ Φ̂ = K.
It is not too difficult to show that, for our canonical examples, the group of
all isometries acts transitively on G2 (T M ) so that K is constant. Thus we
arrive at the following examples of manifolds of constant curvature:
1. Rn .
2. S n (r).
4δij
gij = .
(1 − |z|2 /ρ2 )2
∇2t Y + R(γ 0 , Y )γ 0 = 0.
Once again we wheel out the existence and uniqueness theorems for ODE
which tell us:
Y (0) = Y0
(∇t Y )(0) = Y1
19
Let ∂t and ∂s denote the coordinate vector fields on I × (−, ) and set
D = h−1 ∇. Since each γs is a geodesic, we have
∂h
D∂t =0
∂t
whence
∂h
D∂s D∂t = 0.
∂t
The definition of the curvature tensor, along with the fact that [∂s , ∂t ] = 0,
allows us to write
∂h ∂h ∂h ∂h ∂h
0 = D∂s D∂t = D∂t D∂s + R( , ) .
∂t ∂t ∂t ∂s ∂t
Moreover, it follows from the fact that ∇ is torsion-free that
∂h ∂h
D∂s = D∂t
∂t ∂s
so that
∂h ∂h ∂h ∂h
0 = (D∂t )2 + R( , ) .
∂s ∂t ∂s ∂t
Setting s = 0, this last becomes
(∇t )2 Y + R(γ 0 , Y )γ 0 = 0.
= sinh tU (t)
20
whence
U + R(γ 0 , U )γ 0 = 0.
Take an inner product with U to get
K(γ 0 ∧ U ) = −1
and so conclude that (Dn , g) has constant curvature −1.
The same argument (that is, differentiate the image under expm of a fam-
ily of straight lines through the origin) computes Jacobi fields in normal
coordinates:
Theorem. For ξ ∈ Mm , the Jacobi field Y along γξ with
Y (0) = 0
(∇t Y )(0) = η ∈ Mm
is given by
Y (t) = (d exp)tξ tη.
Proof. Suppose that Y is a Jacobi field along some geodesic γ with Y (0) =
Y (t1 ) = 0. Then
Z t1
0= h∇2t Y + R(γ 0 , Y )γ 0 , Y i dt
0
Z t1 Z t1
=− 2
|∇t T | dt + K(γ 0 ∧ Y )|Y |2 dt
0 0
where we have integrated by parts and used Y (0) = Y (t1 ) = 0 to kill the
boundary term. Now both summands in this last equation are non-negative
and so must vanish. In particular,
∇t Y = 0
so that Y is parallel whence |Y | is constant giving eventually Y ≡ 0.
21
From this we see that, under the hypotheses of the theorem, each expm
is a local diffeomorphism and, with a little more work, one can show that
expm : Mm → M is a covering map. Thus:
Corollary. If (M, g) is complete and K ≤ 0 then
1. if π1 (M ) = 1 then M is diffeomorphic to Rn .
2. In any case, the universal cover of M is diffeomorphic to Rn whence
πk (M ) = 1 for all k ≥ 2.
Analysis of this kind is the starting point of one of the central themes of
modern Riemannian geometry: the interplay between curvature and topol-
ogy.
4.1 Ingredients
The Ricci tensor, being only bilinear, is much easier to think about than
the curvature tensor. On the other hand, being only an average of sectional
curvatures, conditions of the Ricci tensor say much less about the topology
of the underlying manifold. For example, here is an amazing theorem of
Lohkamp [4]:
22
Theorem. Any manifold of dimension at least 3 admits a complete metric
with Ric < 0 (that is Ric is neagtive definite).
Dm = expm Dm .
We have:
• M = Dm ∪ Cm is a disjoint union.
• expm : Dm → Dm is a diffeomorphism.
R
• Cm dV = 0.
Sκ00 + κSκ = 0
Sκ (0) = 0, Sκ0 (0) = 1
23
4.2 Bishop’s Theorem
4.2.1 Manifesto
Fix κ ∈ R and m ∈ Mm .
Let V (m, r) denote the volume of Bd (m, r) ⊂ M and Vκ (r) the volume of a
radius r ball in a complete simply-connected n-dimensional space of constant
curvature κ.
Suppose that Ric(ξ, ξ) ≥ (n − 1)κg(ξ, ξ) for all ξ ∈ T M . For each ξ ∈ Mm
of unit length, define aξ : (0, c(ξ)) → R by
a0ξ Sκ0
≤ (n − 1) .
aξ Sκ
V (m, r) ≤ Vκ (r)
Then
Here is a fast4 proof stolen from [3]: for U ⊂ S n−1 ⊂ Mm and [t, t + ] such
that
24
we have:
Z Z
∆r dV = (∆ ◦ expm )a drdξ.
Ωt, [t,t+]×U
The proof of this is an exercise (really!) but here are some hints to get you
started: the basic identity
XY f − Y Xf = [X, Y ]
25
along with the fact that ∇ is metric and torsion-free gives:
whence
1 2
2 ∆|grad f | = div ∇grad f grad f
X
= h∇ei ∇grad f grad f, ei i.
i
Now make repeated use of the metric property of ∇ and use the definition
of R to change the order of the differentiations . . .
As an application, put f = r. Thanks to the Gauss lemma, grad f = ∂r so
that |grad f | = 1 and the Lichnerowicz formula reads:
1
(n − 1)b00 /b + Ric(∂r , ∂r ) = − |∇ grad r|2 − (∆r)2 .
(4.2)
n−1
We now show that the right hand side of (4.2) has a sign: choose an or-
thonormal basis e1 , . . . , en of Mγξ (t) with e1 = ∂r . Then
X
∆r = h∇ei grad r, ei i
X
= h∇ei grad r, ei i
i≥2
26
Two applications of the Cauchy–Schwarz inequality give
2
X X
(∆r)2 ≤ |∇ei grad r| ≤ (n − 1) |∇ei grad r|2
i≥2 i≥2
so that
1
|∇ grad r|2 − (∆r)2 ≥ 0.
n−1
Thus (4.2) gives
(n − 1)b00 /b + Ric(∂r , ∂r ) ≤ 0
and, under the hypotheses of Bishop’s theorem, we have
b00 /b ≤ −κ.
We now make a simple comparison argument: b > 0 on (0, c(ξ)) so we have
b00 + κb ≤ 0
b(0) = 0, b0 (0) = 1.
On the other hand, set b̄ = Sκ so that
b̄00 + κb̄ = 0
b̄(0) = 0, b̄0 (0) = 1
We now see that, so long as b̄ ≥ 0, we have
b̄b00 − b̄00 b ≤ 0
or, equivalently,
(b0 b̄ − b̄0 b)0 ≤ 0.
In view of the initial conditions, we conclude:
b0 b̄ − b̄0 b ≤ 0. (4.3)
Let us pause to observe that at the first zero of b̄ (if there is one), b̄0 < 0
so that, by (4.3), b ≤ 0 also. Since b > 0 on (0, c(ξ)), we deduce that b̄ > 0
there also5 .
We therefore conclude from (4.3) that on (0, c(ξ)) we have
b0 /b ≤ b̄0 /b̄,
or, equivalently,
a0ξ /aξ ≤ (n − 1)Sκ0 /Sκ . (4.4)
5
For κ > 0, this reasoning puts an upper bound on the length of (0, c(ξ)) and thus,
eventually, on the diameter of M . This leads to a proof of the Bonnet–Myers theorem.
27
4.2.5 Baking the cake
ln(aξ /Sκn−1 )0 ≤ 0
aξ ≤ Sκn−1 .
Thus:
Z Z min(c(ξ),r)
V (m, r) = aξ drdξ
S n−1 0
Z Z min(c(ξ),r)
≤ Sκn−1 drdξ = Vκ (r).
S n−1 0
is decreasing also.
Integrating this over S n−1 , noting that the denominators are independent
of ξ, gives finally that V (m, r)/Vκ (r) is decreasing.
References
28
[3] S. Gallot, D. Hulin, and J. Lafontaine, Riemannian geometry, Springer-
Verlag, Berlin, 1987. 1, 1, 24
[4] J. Lohkamp, Metrics of negative Ricci curvature, Ann. of Math. (2) 140
(1994), no. 3, 655–683. 22
29