Master DG
Master DG
1
Version: 19 October 2023.
This is a transcript of the Differential Geometry lectures by Marco Zam-
bon1 at the KU Leuven Master program in Mathematics, in 2019–20.
The notes were taken and typeset by Gilles Castel, whom the lecturer
gratefully thanks, and were proofread by the lecturer.
The lectures mainly drew from the following two classical references:
1
Contents
1 Differentiable manifolds 4
1.0 Topological spaces . . . . . . . . . . . . . . . . . . . . . . . . 4
1.1 Differentiable manifolds . . . . . . . . . . . . . . . . . . . . . 6
1.2 Differentiable maps . . . . . . . . . . . . . . . . . . . . . . . . 8
1.3 Partition of unity . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.4 Submanifolds . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2 Tangent vectors 13
2.1 Tangent vectors, tangent spaces . . . . . . . . . . . . . . . . . 13
2.2 The derivative of a map . . . . . . . . . . . . . . . . . . . . . 15
2.3 The regular level set theorem . . . . . . . . . . . . . . . . . . 17
2.4 Tangent vectors as derivations at a point . . . . . . . . . . . . 20
3 Vector fields 22
3.1 Vector fields . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
3.2 Integral curves . . . . . . . . . . . . . . . . . . . . . . . . . . 22
3.3 The Lie bracket of vector fields . . . . . . . . . . . . . . . . . 24
3.4 Interpretation of the Lie bracket . . . . . . . . . . . . . . . . 27
4 Bundles 30
4.1 Fiber bundles . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
4.2 Vector bundles . . . . . . . . . . . . . . . . . . . . . . . . . . 32
2
7 De Rham Cohomology 48
7.1 Basic definitions . . . . . . . . . . . . . . . . . . . . . . . . . 48
7.2 Homotopic maps and cohomology . . . . . . . . . . . . . . . . 50
7.3 The Mayer–Vietoris theorem . . . . . . . . . . . . . . . . . . . 52
8 Foliations 54
8.1 Immersed submanifolds . . . . . . . . . . . . . . . . . . . . . 54
8.2 Distributions and involutivity . . . . . . . . . . . . . . . . . . 55
8.3 The Frobenius theorem . . . . . . . . . . . . . . . . . . . . . . 55
8.4 Foliations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
CONTENTS 3
Chapter 1
Differentiable manifolds
• ∅, X ∈ σ
4
Definition 1.5 (Continuous functions). A function f : X1 → X2 is called
continuous iff ∀U ∈ σ2 : f −1 (U ) ∈ σ1 .
Example. Endow R2 \ {0} with the equivalence relation given by the thick
lines and the two half lines in the following figure. That is:
(
x = x0 if x 6= 0
(x, y) ∼ (x0 , y 0 ) ⇔
yy 0 > 0 if x = 0.
X = R2 \ {0}
X
∼
Remark.
• Any subset of a Hausdorff space is Hausdorff
• Any subset of a C2 space is C2.
Recall that a map between open subsets of Rm is a diffeomorphism if it is
bijective, differentiable and the inverse is differentiable, where “differentiable”
means that all partial derivatives exist.
is a diffeomorphism.
φ1
φ2
V1
Rm V2
Rm
φ2 ◦ φ−1
1
M
f
U R
p
φ(U )
Rn
f ◦ ψ −1 = (f ◦ φ−1 ) ◦ (φ ◦ ψ −1 ) .
| {z } | {z }
C∞ C∞
• it is continuous
M N
UM f UN
p f (p)
φM
φN
φN ◦ f ◦ φ−1
M
Rm Rn
•
P
eα ≡ 1
Proof. We present the idea of the proof, assuming M compact. For all
q ∈ M , choose α ∈ A such that q ∈ Uα . Let ψq be a functiona such that
ψq (q) = 1 supported in Uα . This is always possible, since the manifold
locally looks like Rn .
Since M is compact, the open cover {(ψq )P >0 q∈M has a finite
−1 (R )}
m
subcover. So ∃q1 , . . . , qm ∈ M such that ψ = i=1 ψqi > 0 on M . Now,
ψ
define φi = ψqi , which satisfies φi = 1 and supp(φi ) = supp(ψqi ) ⊂ Uα
P
for some α ∈ A. Now, one can rearrange these functions such that they
are indexed by A.
a
Such functions are sometime called bump functions.
1.4 Submanifolds
Let N be a smooth manifold of dimension n.
p M {0} × Rn−m
φ
Rn φ(U )
Rm × {0}
Note that 0 is not included in either of the charts, but that is not a problem.
We have that φa (S 1 − {(1, 0)}) = (0, 2π) × {1} and φb (S 1 − {(−1, 0)}) =
(−π, π)×{1}. This is already flat, but per definition of submanifold, we need
to move this to zero. So instead of {φa , φb }, use {φa − (0, 1), φb − (0, 1)}.
0 2π
1 R2
φb
−π 0 π
Example. Consider the torus, S 1 × S 1 , where S 1 = {z ∈ C : |z| = 1}. Fix
α ∈ R. Now consider
Tangent vectors
13
V
U
p
φ
ψ
Dφ(p) (ψ ◦ φ−1 ) : Rm → Rm
Dφ(p) (ψ◦φ−1 )
(φ ◦ γ)0 (0) ∈ Rm (ψ ◦ γ)0 (0) ∈ Rm
(f∗ )p
[γ] ∈ Tp M Tf (p) N 3 [f ◦ γ]
As the two vertical maps are linear isomorphisms (as we saw in the
f g
Proposition 2.8 (Chain rule). If M → N → L are smooth maps, then
∀p ∈ M we have (g ◦ f )∗ p = (g∗ )f (p) ◦ (f∗ )p : Tp M → T(g◦f )(p) L.
Remark. Let p ∈ M and (U, φ) a chart around p. One can show that φ : U →
φ(U ) is a diffeomorphism of manifolds. (Notice that since U is an open set of
M and φ(U ) is an open set of Rm , both carry manifold structures). We have
a commutative diagram of isomorphisms, where the bottom isomorphism is
the one of the last remark.
[γ] ∈ Tp M
(φ∗ )p
(φ ◦ γ)0 (0) ∈ Rm ∼
= Tφ(p) (φ(U ))
In other words, the map Tp M → Rm from the proof of Proposition 2.4, under
the identification given in the previous remark, is (φ∗ )p . In particular
∂
∈ Tp M
∂xi p
∂
is basis of Tp U
∂xi p
Idea of the proof: this is a local statement, and by means of charts, locally
every manifolds can be identified with an open subset of Rn .
Example. Consider f : R → S 1 ⊂ C, t 7→ e2πit . This is not a diffeomor-
phism. But f∗ (t) is an isomorphism for all t ∈ R. So locally f restricts to a
diffeomorphism onto it image.
Given k ≥ n, we denote
π : Rn × Rk−n → Rn , (v, w) 7→ v.
f
Rn π
Figure 2.3: The submersion theorem. The dotted lines denote the preimages
of points of Rn under f and π.
origin
(D0 f )|Rn ×{0} ∗
D0 τ = .
0 IdRk−n
This matrix is invertible, because it is an upper block matrix, (D0 f )|Rn ×{0}
is invertible, and IdRk−n is invertible. This means that τ is a diffeomor-
phism near 0, by the inverse function theorem. We have π ◦ τ = f .
The first item states that the codimension is preserved when taking in-
verse images.
Example. Consider the “height function” f : S 2 → R : (x, y, z) 7→ z. Note
that −1 and 1 are not regular values. For all c ∈ (−1, 1), the preimage
f −1 (c) is a submanifold of S 2 , diffeomorphic to a circle.
Proof. Fix p ∈ f −1 (c). Take charts (U, φM ) near p, and (V, φN ) near
f (p) = c, chosen so that φN (c) = 0. We know that Dφ(p) (φN ◦ f ◦ φ−1
M):
R → R is surjective (because c is a regular value). We can assume
k n
that
Dφ(p) (φN ◦ f ◦ φ−1
M) n
R ×{0}
as
φN ◦ f ◦ (τ ◦ φM )−1 = π.
The situation is summarized by the following diagram:
f
U V 3c
τ ◦φM φN .
π
open ⊂ Rk open ⊂ Rn 3 0
For the second part, let p ∈ f −1 (c), and take a path γ : (−ε, ε) →
with φ(0) = p. Then
f −1 (c)
(f∗ )p [γ] = [f ◦ γ] = 0 ∈ Tc N
π
0
(τ ◦ φM )(f −1 (c) ∩ U )
Figure 2.5: The chart τ ◦ φM straightens out f −1 (c) (intersected with the
domain of the chart).
φ : Tp Rn −→ Derivations at p
X ∂f
v 7−→ f 7→ vi (p)
∂xi
i
• It is clearly linear.
• To P
show that it’s injective, we check that the kernel is 0. If for all
∂f
f , i vi ∂xi
(p) = 0, then it is particular true for the functions xj ,
P ∂x
so vj = 0 for all j. In formulae: vj = i vi ∂xji (p) = 0.
Vector fields
• X(p) ∈ Tp M
• X satisfies the following smoothness condition: for any chart (U, φ),
writing X(p) = i ai (p) ∂x ∂
, all the coefficients ai : U → R are
P
ip
smooth.
γ̇(t) = X|γ(t)
Remark. Here γ̇(t) is defined as (γ∗ )t (1), where (γ∗ )t : Tt (a, b) → Tγ(t) M ,
and Tt (a, b) ∼
= R, so using 1 as an input is valid. Another way to look at
it, in terms of tangent vectors as equivalence classes of curves: γ̇(t) equals
[s 7→ γ(s + t)].
22
Lemma 3.3. For all p ∈ M , there exists an ε > 0 and a unique integral
curve γp of X defined on (−ε, ε), starting at the point p.
F : U × (−ε, ε) → M
for all x. This holds by the fundamental theorem of ODE’s. (It says
that for each initial value x, there is a unique solution defined on a small
interval (−ε, ε), and the solution varies smoothly with x.)
• Fs ◦ Ft = Fs+t ∀s, t
• F0 = Id
Proposition 3.6. Assume, for the sake of simplicity, that the flow of X
is defined on M ×R. Then F is a 1-parameter group of diffeomorphisms.
X flow F as above
X given by X(q) = d
dt 0 Ft (q) F : M × R → M.
Φ : X(M ) −→ Derivations of C ∞ (M )
X 7−→ (f 7→ f∗ (X)).
Definition 3.9 (Lie bracket of vector fields). The Lie bracket of two vector
fields X, Y ∈ X(M ) is
[X, Y ] := X ◦ Y − Y ◦ X,
• [X, [Y, Z]] + [Y, [Z, X]] + [Z, [X, Y ]] = 0 Jacobi Identity
• If X = i ai ∂xi ,
∂
i bi ∂xi ,
∂
with ai , bi ∈ C ∞ (U ), then
P P
Y =
X X ∂bj !
∂aj ∂
[X, Y ] = ai − bi .
∂xi ∂xi ∂xj
j i
This
h canibe seen by applying [X, Y ] to the functions xi . In particular
∂xi , ∂xj = 0, because the ai and bi are constants here.
∂ ∂
Figure 3.1: Two p-related vector fields, where p : R2 → R is the first projec-
tion.
a) LX Y = 0
c) The flows of X and Y commute: FtX ◦ FsY = FsY ◦ FtX for all t, s.
Proof. • b) ⇒ a). LX Y = d X
dt |0 (F−t )∗ Y = d
dt |0 Y = 0.
X
= (F−t0 )∗ (LX Y )FtX (p) = 0,
0
Φ : (−ε, ε)k × Ω −→ Rn
(s1 , . . . , sk , sk+1 , . . . , sn ) 7−→ (θ1 )s1 ◦ · · · ◦ (θk )sk (0, . . . , 0, sk+1 , . . . , sn )T .
Then ∂
∂si is Φ-related to Vi for i ≤ k. Indeed for i ≤ k you can compute
that ∂
(D(s1 ,...,sn ) Φ) = Vi |Φ(s1 ,...,sn )
∂si
by using the curve ε 7→ (s1 , . . . , si + ε, . . . , sn ) and using the fact that
the flows θj commute by the last corollary. At the point p = 0 we clearly
have (D0 Φ)( ∂s∂ i ) = ∂x
∂
i
|0 for i > k. Hence d0 Φ is an isomorphism.
By the inverse function theorem, there exists a neighbourhood V of
0 such that Φ|V : V → Φ(V ) =: U is a diffeomorphism. The desired
chart is the inverse of this diffeomorphism.
(0, 0)
(0, 0, 0)
Bundles
π:E→B
E = S 1 × (−ε, ε)
π −1 (U )
π
B = S1
U
30
points e of E. Indeed: locally, the map π looks like the projection onto the
first factor π1 , as ψ is a diffeomorphism. So we can work with π1 , which is
a submersion.
Remark. For all x ∈ B, the fiber π −1 (x) is diffeomorphic to F . Indeed,
π −1 (x) ≈ π1−1 (x) = {x} × F ≈ F . So we have a family of manifolds (the
fibers) which all are diffeomorphic to F , and this family is parametrized by
B.
E is called the total space, B the base space and ψ a local trivilization.
A section is a smooth map f : B → E such that π ◦ f = IdB .
E = S 1 × (−ε, ε)
Image of a section
B = S1
CHAPTER 4. BUNDLES 31
Example. The first projection π1 : \ {0} → R, (x, y) 7→ x is not a fiber
R2
bundle. A reason is that not all fibers are diffeomorphic.
ψ
π −1 (U ) U × Rn
π
π1
U
CHAPTER 4. BUNDLES 32
Remark. Equivalently, a vector bundle of rank n is a fiber bundle s.t. each
fiber is an n-dimensional vector space and trivializations are linear in each
fiber.
Remark. • There exists a canonical section B → E, q 7→ (zero vector in Eq ).
It is called zero section.
ψ : (T B)|U −→ U × Rn
n
X ∂
ai 7−→ (p, ai ).
∂xi p
i=1
E1 ⊕ E2 → B
CHAPTER 4. BUNDLES 33
with fiber over p ∈ B given by (E1 ⊕ E2 )p = (E1 )p ⊕ (E2 )p . Trivialisations
are given by taking the direct sum of the trivializations of E1 and of E2 .
F
E1 E2
π1 π2
f
B1 B2
• and if for all p ∈ B1 , the map F |(E1 )p : (E1 )p → (E2 )f (p) is linear.
CHAPTER 4. BUNDLES 34
S2
CHAPTER 4. BUNDLES 35
Chapter 5
V1
Example. V∗ =V∗
V2
Example. V = bilinear maps V × V → R that are skew symmetric.
∗
36
Lemma 5.3. Suppose θ1 , · · · , θk ∈ V ∗ and v1 , . . . , vk ∈ V . We have
• 1 is a basis of 0 V ∗ = R
V
• {θ1 , θ2 , θ2 } is basis of 1 V ∗ = V ∗
V
• {θ1 ∧ θ2 , θ2 ∧ θ3 , θ1 ∧ θ3 } is a basis of 2 V ∗
V
• θ1 ∧ θ2 ∧ θ3 is a basis of 3 V ∗ .
V
where
(f ∗ ω)(v1 , . . . , vk ) = ω(f (v1 ), . . . , f (vk )).
Since xj ◦ φ−1 is the jth projection, this expression is the jth component
of ei , which is δij .
such that
Vk
• α(p) ∈ Tp∗ M for each p
where p ∈ M , vi ∈ Tp M .
Above Jac G denotes the Jacobian of G, i.e. the matrix representing the
derivative DG of G.
Proof. 1) We have
!
∗ ∂ ∂ X ∂Gk ∂ ∂Gi
G (dyi ) = dyi G∗ = dyi = .
∂xj ∂xj ∂xj ∂yk ∂xj
k
for all α, β.
Remark. Not all manifolds are orientable, e.g. the Möbius band and RP2 are
not.
Remark. Let V be vector space. On {ordered bases of V }, there is an equiv-
alence relation, given by: (v1 , . . . , vm ) ∼ (w1 , . . . , wm ) if the change of basis
has det > 0. An orientation of V is by definition a choice of one of the two
equivalence classes. An ordered basis of an oriented vector space is positive
if it belongs to the equivalence class that gives the orientation.
Now let M be a manifold. An orientation on M induces an orientation
on each tangent space Tp M .
Remark. If Ω is a volume form, then any other volume form looks like f Ω,
where f : M → R \ {0}.
where the right hand side is the multiple Riemann integral of the func-
tion f over φ(U ).
φ ψ
Rm
φ(U ) θ ψ(V )
Rm
finishing the proof. (The function on the right hand side equals g since
the absolute values can be removed, due to the fact that ψ and φ lie in
the oriented atlas of M .)
Uα .
Remark. One can show: this definition is independent of the choice of ori-
ented atlas and partition of unity.
d : Ωk (U ) −→ Ωk+1 (U )
43
Example.
d (x1 )2 dx1 ∧ dx2 = 0
i) d is R-linear
iii) d2 = 0.
2
Now dxi ∧ dxj is anti-symmetric in i and j, while ∂x∂i ∂x
g
j
is sym-
metric in i and j (partial derivatives commute!), so d = 0.
2
Remark. If one charts satisfies this property, all charts satisfy this property.
Example. Consider M = {v ∈ Rm : kvk ≤ 1}. Then the boundary of M is
∂M = {v ∈ Rm : kvk = 1}.
Remark. For all p ∈ ∂M , the tangent space Tp M is defined similarly to the
case of manifolds (without boundary), and has dimension m.
v1
e
using Stokes’ theorem in the second equality and in the inequality the
fact that ω is a volume form chosen as above.
De Rham Cohomology
We have
d0 d1 dm−1
0 Ω0 (M ) Ω1 (M ) ··· Ωm (M ) 0
Ωk−1 Ωk Ωk+1
exact
closed
dk−1 dk
48
Definition 7.3 (De Rham cohomology). The k-th de Rham cohomology
group of M is
Ker dk closed k-forms
H k (M ) := HdR
k
(M ) := = .
Im dk−1 exact k-forms
Ωk−1 Ωk Ωk+1
dk−1 dk
π
Hk
I : Ωm (M ) −→ R
Z
ω 7−→ ω.
M
H(f ) : H k (M ) −→ H k (N )
[ω] 7−→ [f ∗ ω].
K : Ω• (M ) → Ω•−1 (N ),
such that d ◦ K + K ◦ d = f ∗ − g ∗ .
d d
Ωk−1 (M ) Ωk (M ) Ωk+1 (M )
f ∗ −g ∗
K K
d d
Ωk−1 (N ) Ωk (N ) Ωk+1 (N )
f ∗ ω − g ∗ ω = d(Kω) + K(|{z}
dω )
=0
··· H k−1 (U ∩ V )
Ak Bk
H k (M ) H k (U ) ⊕ H k (V ) H k (U ∩ V )
δk
H k+1 (M ) ···
is a long exact sequence, i.e. the image of any arrow is the kernel of the
next one. Here,
1
∃p such that for all u ∈ U the line segment between u and p lies in U .
Sm = U ∪ V
• U ' {p},
• V ' {p},
• U ∩ V ' S m−1 ,
where ' means homotopic equivalent. Applying the theorem and doing some
diagram-chasing, we get
(
k m ∼ R if k = 0, m
H (S ) =
0 otherwise.
Foliations
Remark. In that case, for all p ∈ H, the map (i∗ )p is an isomorphism from
Tp H to (i∗ )p (Tp H) ⊂ Tp M .
Remark. All submanifolds are immersed submanifolds. Immersed submani-
folds are not necessarily submanifolds.
Remark. If H is an immersed submanifold, then for all p ∈ H, there exists
an open neighbourhood U in H (“open” w.r.t. the topology of H) such that
U is a submanifold of M .
Example. For all λ ∈ R consider F : R → S 1 × S 1 : t 7→ (e2πit , e2πiλt ). If
λ ∈ Q, then F (R) is a submanifold of S 1 × S 1 . If λ 6∈ Q, then F (R) is just
an immersed submanifold with the smooth structure given by the bijection
R∼= F (R) obtained from F . The topology on F (R) differs from the subspace
topology induced by S 1 × S 1 .
S1 × S1
F i
R F (R)
54
8.2 Distributions and involutivity
CHAPTER 8. FOLIATIONS 55
Definition 8.7 (Flat chart for D). A chart (U, φ) is flat for D if φ(U ) =
I1 × · · · × In ⊂ Rn and D = span ∂x∂ 1 , . . . , ∂x∂ k on U . Here, Ii are open
intervals.
Notice that the condition on the left is a local one, while the condition on
the right is an infinitesimal one (thus easier to check).
⇐ One can show that near every point p ∈ M , D has a frame of vector
fields X1 , . . . , Xk s.t. [Xi , Xj ] = 0. Then apply Prop. 3.18. (The
last proposition in §3.4, stating that there is a chart (U, (s1 , . . . , sn ))
centered at p such that Xi = ∂s∂ i for i = 1, . . . , k.)
8.4 Foliations
Let M n be a smooth manifold.
CHAPTER 8. FOLIATIONS 56
Definition 8.11 (Foliation). A rank k foliation is a collection {Lα }α∈A of
k-dimensional, connected, immersed submanifolds of M , called leaves,
such that
Rn−k
φ
M
Rk
CHAPTER 8. FOLIATIONS 57
Figure 8.2: Not a foliation.
The following theorem (sometimes called “Global Frobenius Theorem”)
gives a bijection between global objects on M and infinitesimal objects.
Proof. We show that both maps are well-defined. It is easy to see that
they are inverses of each other.
CHAPTER 8. FOLIATIONS 58
CHAPTER 8. FOLIATIONS 59
Chapter 9
is a Lie group. Here Mat(n, R) denotes the real n × n matrices. The set
GL(n, R) is open in the vector space Mat(n, R) ∼
2
= Rn , so it’s a manifold. It
is also a group, and the multiplication is smooth, because
X
(AB)ij = Ajk Bki
k
60
Example. We check that
is a Lie group.
The map det : Mat(n, R) → R is smooth, because det(A) is a polynomial
in the entries of A. We check that 1 ∈ R is a regular value of det, i.e. for all
A ∈ SL(n, R), the derivative dA det : TA Mat(n, R) = Mat(n, R) → T1 R = R
is surjective:
d d
(dA det) (t + 1)A = det((t + 1)A)
dt 0 dt 0
d
= (t + 1)n det A
dt 0
= n det(A) = n 6= 0.
Definition 9.3 (Left translation, left invariant vector field). Let G be a Lie
group. For all g ∈ G, the diffeomorphism
Lg : G → G : h 7→ gh
∀g ∈ G : (Lg )∗ X = X.
The idea is that if you have a left invariant vector field, then it is deter-
mined by its value at any point, for example e, so that Xg = [(Lg )∗ X]g =
((Lg )∗ )e (Xe ) ∈ Tg G.
It follows that:
G × Te G −→ T G
(g, v) 7−→ ((Lg )∗ )e v.
Example. Of all the spheres, only S 0 , S 1 , S 3 are Lie groups. (S 2 is not a Lie
group; for instance, the Hairy ball theorem implies that the tangent bundle
is not trivial.)
H is non-empty, as e ∈ H.
• an (abstract) subgroup of G
such that H becomes a Lie group with the induced group and manifold
structures.
Definition 9.9 (Lie algebra morphism). A map φ : (g, [·, ·]g ) → (h, [·, ·]h )
is a Lie algebra morphism if it preserves all the structure:
(Lg )∗ [←
−
v ,←
−] = [(L ) ←
w − ←− ←− ← −
g ∗ v , (Lg )∗ w ] = [ v , w ],
where in the first equation we used the naturality of the Lie bracket.
So X(G)L is a Lie algebra. Now use the above linear isomorphism to
transport this Lie algebra structure to Te G.
Example. Consider GL(n, R). Then Te (GL(n, R)) is all n × n matrices, i.e.
Mat(n, R). So Mat(n, R) has an induced Lie algebra structure. Its bracket
is
[A, B] = AB − BA.
de Φ := (Φ∗ )e : Te G → Te H
←−−−−
Proof. For all v ∈ Te G, the vector field ←
−
v is Φ-related to (de Φ)v. Indeed,
(dg Φ)((←
−
v )g ) = (dg Φ)((de Lg )(v)) = de (Φ ◦ Lg )(v) = de (LΦ(g) ◦ Φ)(v),
Proof. We know that the inclusion is Lie group morphism. Therefore, its
derivative Te H → Te G is a Lie algebra morphism by the last proposition.
Example. SL(n, R) is a Lie subgroup of GL(n, R), hence the Lie algebra of
SL(n, R) is a Lie subalgebra of GL(n, R). It turns out that the Lie algebra
of SL(n, R) are exactly the traceless matrices.
Notice: there are lots of curves γ with velocity γ 0 (0) = v, but by the lemma
there exists only one which is also a group homomorphism, i.e. γv (s)·γv (t) =
γv (s + t).
γ:R→G
The left hand side is just γ 0 (t0 ). Hence γ is the (unique) integral curve
of ←
−
v starting at e.
a
For t 7→ γ(s + t), it’s trivial. For t 7→ Lγ(s) γ(t), we have that this is an integral
curve of (Lγ(s) )∗ ←
−
v , which is the same as ← −
v.
Definition 9.15 (Exponential map). Let G be a Lie group with Lie alge-
bra g. The exponential map is
exp : g → G, v 7→ γv (1).
exp |U : U → exp(U )
Proof. a) The curves s 7→ γtv (s) and s 7→ γv (st) agree, as they are
both Lie group morphism (R, +) → G with the same velocity tv
at s = 0. Take s = 1.
We will show:
Remark. All other connected Lie groups integrating g are quotients of GSC
by discrete normal subgroups.
Example. Let g = (R, [·, ·] = 0). Then GSC = (R, +). Note that U (1) =
S 1 = R/Z is also a Lie group that integrates g.
Example. Let g = {A ∈ Mat(n, R) : A + AT = 0}. The Lie group SO(n)
integrates g.
Dg := (Lg )∗ h.
Since χ ◦ Φ and IdG1 are both Lie group morphisms with derivative
IdTe G1 , they must agree. Similarly, Φ◦χ = IdG2 . So Φ is an isomorphism.
We sketch the proof of the existence in Theorem (A), i.e.: given a Lie
algebra g, there exists a simply connected Lie group integrating it.