INTRODUCTION TO DIFFERENTIAL GEOMETRY
Joel W. Robbin Dietmar A. Salamon UW Madison ETH Z¨urich
12 January 2011 ii Preface
These are notes for the lecture course “Differential Geometry I” held by the second author at ETH Z¨urich in the fall semester 2010. They are based on a lecture course held by the first author at the University of Wisconsin– Madison in the fall semester 1983. In the present manuscript the sections are roughly in a one-to-one corre- spondence with the 26 lectures at ETH, each lasting two times 45 minutes. (Exceptions: Of Section 2.6 only the existence of a Riemannian metric was covered in one of the earlier lectures; Sections 1.9/1.10 together were two lectures, as well as 4.4/4.5; some of the material in the longer Sections like 1.6 and 2.4 was left as exercises.)
11 January 2011 Joel W. Robbin and Dietmar A. Salamon
iii iv Contents
1 Foundations 1 1.1 Manifolds ...... 1 1.1.1 Someexamples ...... 1 1.1.2 Recollections about smooth maps and derivatives . . . 2 1.1.3 Submanifolds of Euclidean space ...... 4 1.1.4 Examplesandexercises ...... 9 1.2 Tangent spaces and derivatives ...... 12 1.2.1 Tangent spaces ...... 12 1.2.2 Thederivative ...... 16 1.2.3 The inverse and implicit function theorems ...... 18 1.3 Submanifoldsandembeddings...... 19 1.4 Vectorfieldsandflows ...... 23 1.4.1 Vectorfields...... 23 1.4.2 The flow of a vector field ...... 26 1.4.3 Thegroupofdiffeomorphisms...... 28 1.5 TheLiebracket...... 29 1.6 Liegroups...... 35 1.6.1 Definition and examples ...... 35 1.6.2 The Lie algebra of a Lie group ...... 38 1.6.3 Liegrouphomomorphisms...... 40 1.6.4 Lie groups and diffeomorphisms ...... 44 1.6.5 Vector fields and derivations ...... 45 1.7 Vectorbundlesandsubmersions...... 47 1.7.1 Submersions ...... 47 1.7.2 Vectorbundles ...... 48 1.8 ThetheoremofFrobenius ...... 52 1.9 The intrinsic definition of a manifold ...... 59 1.9.1 Definition and examples ...... 59 1.9.2 Paracompactness ...... 64
v vi CONTENTS
1.9.3 Smooth maps and diffeomorphisms ...... 66 1.9.4 Submanifolds ...... 67 1.9.5 Tangent spaces and derivatives ...... 68 1.9.6 The tangent bundle and vector fields ...... 71 1.9.7 Leaves of a foliation ...... 73 1.9.8 Coordinate notation ...... 74 1.10 Partitionsofunity ...... 75 1.10.1 Definition and existence ...... 75 1.10.2 Embedding in Euclidean space ...... 79
2 Geodesics 81 2.1 Thelengthofacurve...... 81 2.2 Geodesics ...... 87 2.2.1 The orthogonal projection onto TpM ...... 88 2.2.2 The covariant derivative ...... 89 2.2.3 Thespaceofpaths ...... 90 2.2.4 Critical points of E and L ...... 92 2.3 Christoffelsymbols ...... 95 2.4 Thegeodesicflow...... 102 2.4.1 The second fundamental form ...... 102 2.4.2 The tangent bundle of the tangent bundle ...... 105 2.4.3 The exponential map ...... 105 2.4.4 Examples and exercises ...... 107 2.4.5 Geodesics minimize the length ...... 108 2.4.6 Convexity ...... 112 2.5 TheHopf–Rinowtheorem ...... 114 2.6 Riemannianmetrics ...... 122 2.6.1 Riemannian metrics ...... 122 2.6.2 Covariant derivatives ...... 128 2.6.3 Geodesics ...... 130
3 The Levi-Civita connection 133 3.1 Paralleltransport...... 133 3.2 Theframebundle...... 141 3.2.1 Frames of a vector space ...... 141 3.2.2 Theframebundle ...... 142 3.2.3 Theorthonormalframebundle ...... 144 3.2.4 The tangent bundle of the frame bundle ...... 144 3.2.5 Basic vector fields ...... 148 3.3 Motions and developments ...... 151 CONTENTS vii
3.3.1 Motion ...... 151 3.3.2 Sliding...... 153 3.3.3 Twisting and wobbling ...... 155 3.3.4 Development ...... 159
4 Curvature 163 4.1 Isometries ...... 163 4.2 TheRiemanncurvaturetensor ...... 171 4.2.1 Definition and Gauss–Codazzi ...... 171 4.2.2 The covariant derivative of a global vector field . . . . 173 4.2.3 Aglobalformula ...... 176 4.2.4 Symmetries ...... 178 4.2.5 Examples and exercises ...... 180 4.3 Generalized Theorema Egregium ...... 182 4.3.1 Pushforward ...... 182 4.3.2 TheoremaEgregium ...... 183 4.3.3 The Riemann curvature tensor in local coordinates . . 186 4.3.4 Gaussian curvature ...... 187 4.3.5 Gaussian curvature in local coordinates ...... 191 4.4 The Cartan–Ambrose–Hicks theorem ...... 192 4.4.1 Homotopy...... 193 4.4.2 The global C-A-H theorem ...... 194 4.4.3 The local C-A-H theorem ...... 200 4.5 Flatspaces ...... 203 4.6 Symmetricspaces...... 206 4.6.1 Symmetricspaces...... 207 4.6.2 The covariant derivative of the curvature ...... 209 4.6.3 Examples and exercises ...... 212 4.7 Constantcurvature...... 214 4.7.1 Sectional curvature ...... 214 4.7.2 Constant sectional curvature ...... 215 4.7.3 Examples and exercises ...... 218 4.7.4 Hyperbolicspace ...... 219 4.8 Nonpositive sectional curvature ...... 224 4.8.1 The theorem of Hadamard and Cartan ...... 225 4.8.2 Positive definite symmetric matrices ...... 231 viii CONTENTS Chapter 1
Foundations
In very rough terms, the subject of differential topology is to study spaces up to diffeomorphisms and the subject of differential geometry is to study spaces up to isometries. Thus in differential geometry our spaces are equipped with an additional structure, a (Riemannian) metric, and some important concepts we encounter are distance, geodesics, the Levi-Civita connection, and curvature. In differential topology important concepts are the degree of a map, intersection theory, differential forms, and deRham cohomology. In both subjects the spaces we study are smooth manifolds and the goal of this first chapter is to introduce the basic definitions and properties of smooth manifolds. We begin with (extrinsic) manifolds that are embedded in Euclidean space and their tangent bundles and later examine the more general (intrinsic) definition of a manifold.
1.1 Manifolds
1.1.1 Some examples
Let k,m,n be positive integers. Throughout we denote by
x := x2 + + x2 | | 1 n the Euclidean norm of a vector x = (x ,...,x ) Rn. The basic example of 1 n ∈ a manifold of dimension m is the Euclidean space M = Rm itself. Another example is the unit sphere in Rm+1:
Sm := x Rm+1 x = 1 . ∈ | | | 1 2 CHAPTER 1. FOUNDATIONS
In particular, for m = 1 we obtain the unit circle
S1 R2 = C. ⊂ ∼ The m-torus is the product Tm := S1 S1 = z = (z ,...,z ) Cm z = z = 1 . × × { 1 m ∈ | | 1| | m| } A noncompact example is the space M := x = (x ,...,x ) Rm+1 x2 + + x2 =1+ x2 . 0 m ∈ | 1 m 0 Other examples are the groups
n n n n T SL(n, R) := A R × det(A) = 1 , O(n) := A R × A A = 1l . ∈ | ∈ | Here 1l denotes the identity matrix and AT denotes the transposed matrix of A. An example of a manifold that is not (in an obvious way) embedded in some Euclidean space is the complex Grassmannian G (Cn) := E Cn E is a complex linear subspace of dimension k k { ⊂ | } of k-planes in Cn.
Figure 1.1: The 2-sphere and the 2-torus.
1.1.2 Recollections about smooth maps and derivatives To define what we mean by a manifold M Rk we recall some basic concepts ⊂ from analysis [12]. Denote by N = N 0 the set of nonnegative integers. 0 ∪ { } Let k,ℓ N and let U Rk and V Rℓ be open sets. A map f : U V ∈ 0 ⊂ ⊂ → is called smooth (or C∞) if all its partial derivatives ∂α1+ +αk f ∂αf = , α = (α ,...,α ) Nk, ∂xα1 ∂xαk 1 k ∈ 0 1 k exist and are continuous. For a smooth map f = (f ,...,f ) : U V and 1 ℓ → a point x U we denote by ∈ df(x) : Rk Rℓ → 1.1. MANIFOLDS 3 the derivative of f at x defined by d f(x + tξ) f(x) df(x)ξ := f(x + tξ) = lim − , ξ Rk. dt t 0 t ∈ t=0 → This is a linear map