DOCSLIB.ORG

Lectures on Differential Geometry Math 240BC

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Lectures on Differential Geometry Math 240BC Lectures on Differential Geometry Math 240BC John Douglas Moore Department of Mathematics University of California Santa Barbara, CA, USA 93106 e-mail: [email protected] June 5, 2009 Preface This is a set of lecture notes for the course Math 240BC given during the Winter and Spring of 2009. The notes evolved as the course progressed and are still somewhat rough, but we hope they are helpful. Starred sections represent digressions are less central to the core subject matter of the course and can be omitted on a first reading. Our goal was to present the key ideas of Riemannian geometry up to the generalized Gauss-Bonnet Theorem. The first chapter provides the foundational results for Riemannian geometry. The second chapter provides an introduction to de Rham cohomology, which provides prehaps the simplest introduction to the notion of homology and cohomology that is so pervasive in modern geometry and topology. In the third chapter we provide some of the basic theorem relating the curvature to the topology of a Riemannian manifold|the idea here is to develop some intuition for curvature. Finally in the fourth chapter we describe Cartan's method of moving frames and focus on its application to one of the key theorems in Riemannian geometry, the generalized Gauss-Bonnet Theorem. The last chapter is more advanced in nature and not usually treated in the first-year differential geometry course. It provides an introduction to the theory of characteristic classes, explaining how these could be generated by looking for extensions of the generalized Gauss-Bonnet Theorem, and describes applications of characteristic classes to the Atiyah-Singer Index Theorem and to the existence of exotic differentiable structures on seven-spheres. i Contents 1 Riemannian geometry 2 1.1 Review of tangent and cotangent spaces . 2 1.2 Riemannian metrics . 5 1.3 Geodesics . 9 1.3.1 Smooth paths . 9 1.3.2 Piecewise smooth paths . 13 1.4 Hamilton's principle . 14 1.5 The Levi-Civita connection . 20 1.6 First variation of J .......................... 24 1.7 Lorentz manifolds . 27 1.8 The Riemann-Christoffel curvature tensor . 30 1.9 Curvature symmetries; sectional curvature . 36 1.10 Gaussian curvature of surfaces . 39 1.11 Review of Lie groups . 42 1.12 Lie groups with biinvariant metrics . 45 1.13 Grassmann manifolds . 49 1.14 The exponential map . 53 1.15 The Gauss Lemma . 56 1.16 Curvature in normal coordinates . 57 1.17 Riemannian manifolds as metric spaces . 60 1.18 Completeness . 62 1.19 Smooth closed geodesics . 64 2 Differential forms 68 2.1 Tensor algebra . 68 2.2 The exterior derivative . 71 2.3 Integration of differential forms . 75 2.4 Theorem of Stokes . 80 2.5 de Rham Cohomology . 83 2.6 Poincar´eLemma . 85 2.7 Mayer-Vietoris Sequence . 90 2.8 Singular homology* . 94 2.8.1 Definition of singular homology* . 94 2.8.2 Singular cohomology* . 98 ii 2.8.3 Proof of the de Rham Theorem* . 102 2.9 The Hodge star . 106 2.10 The Hodge Laplacian . 112 2.11 The Hodge Theorem . 116 2.12 d and δ in terms of moving frames . 119 2.13 The rough Laplacian . 122 2.14 The Weitzenb¨ock formula . 123 2.15 Ricci curvature and Hodge theory . 125 2.16 The curvature operator and Hodge theory . 126 2.17 Proof of Gallot-Meyer Theorem* . 128 3 Curvature and topology 131 3.1 The Hadamard-Cartan Theorem . 131 3.2 Parallel transport along curves . 133 3.3 Geodesics and curvature . 134 3.4 Proof of the Hadamard-Cartan Theorem . 138 3.5 The fundamental group . 140 3.5.1 Definition of the fundamental group . 140 3.5.2 Homotopy lifting . 142 3.5.3 Universal covers . 145 3.6 Uniqueness of simply connected space forms . 147 3.7 Non simply connected space forms . 149 3.8 Second variation of action . 151 3.9 Myers' Theorem . 153 3.10 Synge's Theorem . 155 4 Cartan's method of moving frames 159 4.1 An easy method for calculating curvature . 159 4.2 The curvature of a surface . 163 4.3 The Gauss-Bonnet formula for surfaces . 167 4.4 Application to hyperbolic geometry . 171 4.5 Vector bundles . 177 4.6 Connections on vector bundles . 179 4.7 Metric connections . 183 4.8 Curvature of connections . 185 4.9 The pullback construction . 187 4.10 Classification of connections in complex line bundles . 189 4.11 Classification of U(1)-bundles* . 195 4.12 The Pfaffian . 196 4.13 The generalized Gauss-Bonnet Theorem . 197 4.14 Proof of the generalized Gauss-Bonnet Theorem . 200 iii 5 Characteristic classes 208 5.1 The Chern character . 208 5.2 Chern classes . 213 5.3 Examples of Chern classes . 215 5.4 Invariant polynomials . 217 5.5 The universal bundle* . 220 5.6 The Clifford algebra . 225 5.7 The spin group . 232 5.8 Spin structures and spin connections . 235 5.9 The Dirac operator . 240 5.10 The Atiyah-Singer Index Theorem . 243 5.10.1 Index of the Dirac operator . 243 5.10.2 Spinc structures* . 246 5.10.3 Dirac operators on general manifolds* . 248 5.10.4 Topological invariants of four-manifolds* . 252 5.11 Exotic spheres* . 253 Bibliography 257 1 Chapter 1 Riemannian geometry 1.1 Review of tangent and cotangent spaces We will assume some familiarity with the theory of smooth manifolds, as pre- sented, for example, in the first four chapters of [5]. Suppose that M is a smooth manifold and p 2 M, and that F(p) denotes the space of pairs (U; f) where U is an open subset of M containing p and f : U ! R is a smooth function. If φ = (x1; : : : ; xn): U ! Rn is a smooth coordinate system on M with p 2 U, and (U; f) 2 F(p), we define @ −1 i (f) = Di(f ◦ φ )(φ(p)) 2 R; @x p where Di denotes differentiation with respect to the i-th component. We thereby obtain an -linear map R @ i : F(p) −! R; @x p called a directional derivative operator, which satisfies the Leibniz rule, ! ! @ @ @ i (fg) = i (f) g(p) + f(p) i (g) ; @x p @x p @x p and in addition depends only on the \germ" of f at p, @ @ f ≡ g on some neighborhood of p ) (f) = (g): @xi p @xi p The set of all linear combinations n X i @ a @xi i=1 p 2 of these basis vectors comprises the tangent space to M at p and is denoted by 1 n TpM. Thus for any given smooth coordinate system (x ; : : : ; x ) on M, we have a corresponding basis ! @ @ 1 ;:::; n @x p @x p for the tangent space TpM. The notation we have adopted makes it easy to see how the components (ai) of a tangent vector transform under change of coordinates. If = (y1; : : : ; yn) is a second smooth coordinate system on M, the new basis vectors are related to the old by the chain rule, n j j @ X @x @ @x j −1 = (p) ; where (p) = Di(x ◦ )( (p)): @yi @yi @xj @yi p j=1 p The disjoint union of all of the tangent spaces forms the tangent bundle [ TM = fTpM : p 2 Mg; 1 n which has a projection π : TM ! M defined by π(TpM) = p. If φ = (x ; : : : ; x ) is a coordinate system on U ⊂ M, we can define a corresponding coordinate system φ~ = (x1; : : : ; xn; x_ 1;:::; x_ n) on π−1(U) ⊂ TM by letting 0 1 0 1 n n i X j @ i i X j @ i x @ a A = x (p); x_ @ a A = a : (1.1) @xj @xj j=1 p j=1 p For the various choices of charts (U; φ), the corresponding charts (π−1(U); φ~) form an atlas making TM into a smooth manifold of dimension 2n, as you saw in Math 240A. ∗ The cotangent space to M at p is simply the dual space Tp M to TpM. Thus ∗ an element of Tp M is simply a linear map α : TpM −! R: Corresponding to the basis ! @ @ 1 ;:::; n @x p @x p of TpM is the dual basis ! ( 1 n i @ i 1; if i = j, dx jp; : : : ; dx jp ; defined by dx jp j = δj = @x p 0; if i 6= j. 3 ∗ The elements of Tp M, called cotangent vectors, are just the linear combinations of these basis vectors n X i aidx jp i=1 Once again, under change of coordinates the basis elements transform by the chain rule, n X @yi dyij = (p)dxjj : p @xj p j=1 An important example of cotangent vector is the differential of a function at a point. If p 2 U and f : U ! R is a smooth function, then the differential of ∗ 1 n f at p is the element dfjp 2 Tp M defined by dfjp(v) = v(f). If (x ; : : : ; x ) is a smooth coordinate system defined on U, then n X @f dfj = (p)dxij : p @xi p i=1 Just as we did for tangent spaces, we can take the disjoint union of all of the cotangent spaces forms the cotangent bundle ∗ [ ∗ T M = fTp M : p 2 Mg; 1 n which has a projection π : TM ! M defined by π(TpM) = p. If φ = (x ; : : : ; x ) is a coordinate system on U ⊂ M, we can define a corresponding coordinate system ~ 1 n −1 φ = (x ; : : : ; x ; p1; : : : ; pn) on π (U) ⊂ TM by letting 0 1 0 1 n n i X j @ i X j x @ a A = x (p); pi @ ajdx jpA = ai: @xj j=1 p j=1 For the various choices of charts (U; φ), the corresponding charts (π−1(U); φ~) form an atlas making T ∗M into a smooth manifold of dimension 2n.
Load more

Recommended publications
  • When Is a Connection a Metric Connection?
    NEW ZEALAND JOURNAL OF MATHEMATICS Volume 38 (2008), 225–238 WHEN IS A CONNECTION A METRIC CONNECTION? Richard Atkins (Received April 2008) Abstract. There are two sides to this investigation: first, the determination of the integrability conditions that ensure the existence of a local parallel metric in the neighbourhood of a given point and second, the characterization of the topological obstruction to a globally defined parallel metric. The local problem has been previously solved by means of constructing a derived flag. Herein we continue the inquiry to the global aspect, which is formulated in terms of the cohomology of the constant sheaf of sections in the general linear group. 1. Introduction A connection on a manifold is a type of differentiation that acts on vector fields, differential forms and tensor products of these objects. Its importance lies in the fact that given a piecewise continuous curve connecting two points on the manifold, the connection defines a linear isomorphism between the respective tangent spaces at these points. Another fundamental concept in the study of differential geometry is that of a metric, which provides a measure of distance on the manifold. It is well known that a metric uniquely determines a Levi-Civita connection: a symmetric connection for which the metric is parallel. Not all connections are derived from a metric and so it is natural to ask, for a symmetric connection, if there exists a parallel metric, that is, whether the connection is a Levi-Civita connection. More generally, a connection on a manifold M, symmetric or not, is said to be metric if there exists a parallel metric defined on M.
    [Show full text]
  • A Mathematical Derivation of the General Relativistic Schwarzschild
    A Mathematical Derivation of the General Relativistic Schwarzschild Metric An Honors thesis presented to the faculty of the Departments of Physics and Mathematics East Tennessee State University In partial fulfillment of the requirements for the Honors Scholar and Honors-in-Discipline Programs for a Bachelor of Science in Physics and Mathematics by David Simpson April 2007 Robert Gardner, Ph.D. Mark Giroux, Ph.D. Keywords: differential geometry, general relativity, Schwarzschild metric, black holes ABSTRACT The Mathematical Derivation of the General Relativistic Schwarzschild Metric by David Simpson We briefly discuss some underlying principles of special and general relativity with the focus on a more geometric interpretation. We outline Einstein’s Equations which describes the geometry of spacetime due to the influence of mass, and from there derive the Schwarzschild metric. The metric relies on the curvature of spacetime to provide a means of measuring invariant spacetime intervals around an isolated, static, and spherically symmetric mass M, which could represent a star or a black hole. In the derivation, we suggest a concise mathematical line of reasoning to evaluate the large number of cumbersome equations involved which was not found elsewhere in our survey of the literature. 2 CONTENTS ABSTRACT ................................. 2 1 Introduction to Relativity ...................... 4 1.1 Minkowski Space ....................... 6 1.2 What is a black hole? ..................... 11 1.3 Geodesics and Christoffel Symbols ............. 14 2 Einstein’s Field Equations and Requirements for a Solution .17 2.1 Einstein’s Field Equations .................. 20 3 Derivation of the Schwarzschild Metric .............. 21 3.1 Evaluation of the Christoffel Symbols .......... 25 3.2 Ricci Tensor Components .................
    [Show full text]
  • Lecture 24/25: Riemannian Metrics
    Lecture 24/25: Riemannian metrics An inner product on Rn allows us to do the following: Given two curves intersecting at a point x Rn,onecandeterminetheanglebetweentheir tangents: ∈ cos θ = u, v / u v . | || | On a general manifold, we would again like to have an inner product on each TpM.Theniftwocurvesintersectatapointp,onecanmeasuretheangle between them. Of course, there are other geometric invariants that arise out of this structure. 1. Riemannian and Hermitian metrics Definition 24.2. A Riemannian metric on a vector bundle E is a section g Γ(Hom(E E,R)) ∈ ⊗ such that g is symmetric and positive definite. A Riemannian manifold is a manifold together with a choice of Riemannian metric on its tangent bundle. Chit-chat 24.3. A section of Hom(E E,R)isasmoothchoiceofalinear map ⊗ gp : Ep Ep R ⊗ → at every point p.Thatg is symmetric means that for every u, v E ,wehave ∈ p gp(u, v)=gp(v, u). That g is positive definite means that g (v, v) 0 p ≥ for all v E ,andequalityholdsifandonlyifv =0 E . ∈ p ∈ p Chit-chat 24.4. As usual, one can try to understand g in local coordinates. If one chooses a trivializing set of linearly independent sections si ,oneob- tains a matrix of functions { } gij = gp((si)p, (sj)p). By symmetry of g,thisisasymmetricmatrix. 85 n Example 24.5. T R is trivial. Let gij = δij be the constant matrix of functions, so that gij(p)=I is the identity matrix for every point. Then on n n every fiber, g defines the usual inner product on TpR ∼= R .
    [Show full text]
  • Laplacians in Geometric Analysis
    LAPLACIANS IN GEOMETRIC ANALYSIS Syafiq Johar syafi[email protected] Contents 1 Trace Laplacian 1 1.1 Connections on Vector Bundles . .1 1.2 Local and Explicit Expressions . .2 1.3 Second Covariant Derivative . .3 1.4 Curvatures on Vector Bundles . .4 1.5 Trace Laplacian . .5 2 Harmonic Functions 6 2.1 Gradient and Divergence Operators . .7 2.2 Laplace-Beltrami Operator . .7 2.3 Harmonic Functions . .8 2.4 Harmonic Maps . .8 3 Hodge Laplacian 9 3.1 Exterior Derivatives . .9 3.2 Hodge Duals . 10 3.3 Hodge Laplacian . 12 4 Hodge Decomposition 13 4.1 De Rham Cohomology . 13 4.2 Hodge Decomposition Theorem . 14 5 Weitzenb¨ock and B¨ochner Formulas 15 5.1 Weitzenb¨ock Formula . 15 5.1.1 0-forms . 15 5.1.2 k-forms . 15 5.2 B¨ochner Formula . 17 1 Trace Laplacian In this section, we are going to present a notion of Laplacian that is regularly used in differential geometry, namely the trace Laplacian (also called the rough Laplacian or connection Laplacian). We recall the definition of connection on vector bundles which allows us to take the directional derivative of vector bundles. 1.1 Connections on Vector Bundles Definition 1.1 (Connection). Let M be a differentiable manifold and E a vector bundle over M. A connection or covariant derivative at a point p 2 M is a map D : Γ(E) ! Γ(T ∗M ⊗ E) 1 with the properties for any V; W 2 TpM; σ; τ 2 Γ(E) and f 2 C (M), we have that DV σ 2 Ep with the following properties: 1.
    [Show full text]
  • Riemannian Geometry and the General Theory of Relativity
    University of Montana ScholarWorks at University of Montana Graduate Student Theses, Dissertations, & Professional Papers Graduate School 1967 Riemannian geometry and the general theory of relativity Marie McBride Vanisko The University of Montana Follow this and additional works at: https://scholarworks.umt.edu/etd Let us know how access to this document benefits ou.y Recommended Citation Vanisko, Marie McBride, "Riemannian geometry and the general theory of relativity" (1967). Graduate Student Theses, Dissertations, & Professional Papers. 8075. https://scholarworks.umt.edu/etd/8075 This Thesis is brought to you for free and open access by the Graduate School at ScholarWorks at University of Montana. It has been accepted for inclusion in Graduate Student Theses, Dissertations, & Professional Papers by an authorized administrator of ScholarWorks at University of Montana. For more information, please contact [email protected]. p m TH3 OmERAl THEORY OF RELATIVITY By Marie McBride Vanisko B.A., Carroll College, 1965 Presented in partial fulfillment of the requirements for the degree of Master of Arts UNIVERSITY OF MOKT/JTA 1967 Approved by: Chairman, Board of Examiners D e a ^ Graduante school V AUG 8 1967, Reproduced with permission of the copyright owner. Further reproduction prohibited without permission. V W Number: EP38876 All rights reserved INFORMATION TO ALL USERS The quality of this reproduotion is dependent upon the quality of the copy submitted. In the unlikely event that the author did not send a complete manuscript and there are missir^ pages, these will be noted. Also, if matedal had to be removed, a note will indicate the deletion. UMT Oi*MMtion neiitNna UMi EP38876 Published ProQuest LLQ (2013).
    [Show full text]
  • 2. Chern Connections and Chern Curvatures1
    1 2. Chern connections and Chern curvatures1 Let V be a complex vector space with dimC V = n. A hermitian metric h on V is h : V £ V ¡¡! C such that h(av; bu) = abh(v; u) h(a1v1 + a2v2; u) = a1h(v1; u) + a2h(v2; u) h(v; u) = h(u; v) h(u; u) > 0; u 6= 0 where v; v1; v2; u 2 V and a; b; a1; a2 2 C. If we ¯x a basis feig of V , and set hij = h(ei; ej) then ¤ ¤ ¤ ¤ h = hijei ­ ej 2 V ­ V ¤ ¤ ¤ ¤ where ei 2 V is the dual of ei and ei 2 V is the conjugate dual of ei, i.e. X ¤ ei ( ajej) = ai It is obvious that (hij) is a hermitian positive matrix. De¯nition 0.1. A complex vector bundle E is said to be hermitian if there is a positive de¯nite hermitian tensor h on E. r Let ' : EjU ¡¡! U £ C be a trivilization and e = (e1; ¢ ¢ ¢ ; er) be the corresponding frame. The r hermitian metric h is represented by a positive hermitian matrix (hij) 2 ¡(­; EndC ) such that hei(x); ej(x)i = hij(x); x 2 U Then hermitian metric on the chart (U; ') could be written as X ¤ ¤ h = hijei ­ ej For example, there are two charts (U; ') and (V; Ã). We set g = à ± '¡1 :(U \ V ) £ Cr ¡¡! (U \ V ) £ Cr and g is represented by matrix (gij). On U \ V , we have X X X ¡1 ¡1 ¡1 ¡1 ¡1 ei(x) = ' (x; "i) = à ± à ± ' (x; "i) = à (x; gij"j) = gijà (x; "j) = gije~j(x) j j For the metric X ~ hij = hei(x); ej(x)i = hgike~k(x); gjle~l(x)i = gikhklgjl k;l that is h = g ¢ h~ ¢ g¤ 12008.04.30 If there are some errors, please contact to: [email protected] 2 Example 0.2 (Fubini-Study metric on holomorphic tangent bundle T 1;0Pn).
    [Show full text]
  • Kähler Manifolds, Ricci Curvature, and Hyperkähler Metrics
    K¨ahlermanifolds, Ricci curvature, and hyperk¨ahler metrics Jeff A. Viaclovsky June 25-29, 2018 Contents 1 Lecture 1 3 1.1 The operators @ and @ ..........................4 1.2 Hermitian and K¨ahlermetrics . .5 2 Lecture 2 7 2.1 Complex tensor notation . .7 2.2 The musical isomorphisms . .8 2.3 Trace . 10 2.4 Determinant . 11 3 Lecture 3 11 3.1 Christoffel symbols of a K¨ahler metric . 11 3.2 Curvature of a Riemannian metric . 12 3.3 Curvature of a K¨ahlermetric . 14 3.4 The Ricci form . 15 4 Lecture 4 17 4.1 Line bundles and divisors . 17 4.2 Hermitian metrics on line bundles . 18 5 Lecture 5 21 5.1 Positivity of a line bundle . 21 5.2 The Laplacian on a K¨ahlermanifold . 22 5.3 Vanishing theorems . 25 6 Lecture 6 25 6.1 K¨ahlerclass and @@-Lemma . 25 6.2 Yau's Theorem . 27 6.3 The @ operator on holomorphic vector bundles . 29 1 7 Lecture 7 30 7.1 Holomorphic vector fields . 30 7.2 Serre duality . 32 8 Lecture 8 34 8.1 Kodaira vanishing theorem . 34 8.2 Complex projective space . 36 8.3 Line bundles on complex projective space . 37 8.4 Adjunction formula . 38 8.5 del Pezzo surfaces . 38 9 Lecture 9 40 9.1 Hirzebruch Signature Theorem . 40 9.2 Representations of U(2) . 42 9.3 Examples . 44 2 1 Lecture 1 We will assume a basic familiarity with complex manifolds, and only do a brief review today. Let M be a manifold of real dimension 2n, and an endomorphism J : TM ! TM satisfying J 2 = −Id.
    [Show full text]
  • Riemannian Geometry Learning for Disease Progression Modelling Maxime Louis, Raphäel Couronné, Igor Koval, Benjamin Charlier, Stanley Durrleman
    Riemannian geometry learning for disease progression modelling Maxime Louis, Raphäel Couronné, Igor Koval, Benjamin Charlier, Stanley Durrleman To cite this version: Maxime Louis, Raphäel Couronné, Igor Koval, Benjamin Charlier, Stanley Durrleman. Riemannian geometry learning for disease progression modelling. 2019. hal-02079820v2 HAL Id: hal-02079820 https://hal.archives-ouvertes.fr/hal-02079820v2 Preprint submitted on 17 Apr 2019 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Riemannian geometry learning for disease progression modelling Maxime Louis1;2, Rapha¨elCouronn´e1;2, Igor Koval1;2, Benjamin Charlier1;3, and Stanley Durrleman1;2 1 Sorbonne Universit´es,UPMC Univ Paris 06, Inserm, CNRS, Institut du cerveau et de la moelle (ICM) 2 Inria Paris, Aramis project-team, 75013, Paris, France 3 Institut Montpelli`erainAlexander Grothendieck, CNRS, Univ. Montpellier Abstract. The analysis of longitudinal trajectories is a longstanding problem in medical imaging which is often tackled in the context of Riemannian geometry: the set of observations is assumed to lie on an a priori known Riemannian manifold. When dealing with high-dimensional or complex data, it is in general not possible to design a Riemannian geometry of relevance. In this paper, we perform Riemannian manifold learning in association with the statistical task of longitudinal trajectory analysis.
    [Show full text]
  • An Introduction to Riemannian Geometry with Applications to Mechanics and Relativity
    An Introduction to Riemannian Geometry with Applications to Mechanics and Relativity Leonor Godinho and Jos´eNat´ario Lisbon, 2004 Contents Chapter 1. Differentiable Manifolds 3 1. Topological Manifolds 3 2. Differentiable Manifolds 9 3. Differentiable Maps 13 4. Tangent Space 15 5. Immersions and Embeddings 22 6. Vector Fields 26 7. Lie Groups 33 8. Orientability 45 9. Manifolds with Boundary 48 10. Notes on Chapter 1 51 Chapter 2. Differential Forms 57 1. Tensors 57 2. Tensor Fields 64 3. Differential Forms 66 4. Integration on Manifolds 72 5. Stokes Theorem 75 6. Orientation and Volume Forms 78 7. Notes on Chapter 2 80 Chapter 3. Riemannian Manifolds 87 1. Riemannian Manifolds 87 2. Affine Connections 94 3. Levi-Civita Connection 98 4. Minimizing Properties of Geodesics 104 5. Hopf-Rinow Theorem 111 6. Notes on Chapter 3 114 Chapter 4. Curvature 115 1. Curvature 115 2. Cartan’s Structure Equations 122 3. Gauss-Bonnet Theorem 131 4. Manifolds of Constant Curvature 137 5. Isometric Immersions 144 6. Notes on Chapter 4 150 1 2 CONTENTS Chapter 5. Geometric Mechanics 151 1. Mechanical Systems 151 2. Holonomic Constraints 160 3. Rigid Body 164 4. Non-Holonomic Constraints 177 5. Lagrangian Mechanics 186 6. Hamiltonian Mechanics 194 7. Completely Integrable Systems 203 8. Notes on Chapter 5 209 Chapter 6. Relativity 211 1. Galileo Spacetime 211 2. Special Relativity 213 3. The Cartan Connection 223 4. General Relativity 224 5. The Schwarzschild Solution 229 6. Cosmology 240 7. Causality 245 8. Singularity Theorem 253 9. Notes on Chapter 6 263 Bibliography 265 Index 267 CHAPTER 1 Differentiable Manifolds This chapter introduces the basic notions of differential geometry.
    [Show full text]
  • Riemannian Geometry and Multilinear Tensors with Vector Fields on Manifolds Md
    International Journal of Scientific & Engineering Research, Volume 5, Issue 9, September-2014 157 ISSN 2229-5518 Riemannian Geometry and Multilinear Tensors with Vector Fields on Manifolds Md. Abdul Halim Sajal Saha Md Shafiqul Islam Abstract-In the paper some aspects of Riemannian manifolds, pseudo-Riemannian manifolds, Lorentz manifolds, Riemannian metrics, affine connections, parallel transport, curvature tensors, torsion tensors, killing vector fields, conformal killing vector fields are focused. The purpose of this paper is to develop the theory of manifolds equipped with Riemannian metric. I have developed some theorems on torsion and Riemannian curvature tensors using affine connection. A Theorem 1.20 named “Fundamental Theorem of Pseudo-Riemannian Geometry” has been established on Riemannian geometry using tensors with metric. The main tools used in the theorem of pseudo Riemannian are tensors fields defined on a Riemannian manifold. Keywords: Riemannian manifolds, pseudo-Riemannian manifolds, Lorentz manifolds, Riemannian metrics, affine connections, parallel transport, curvature tensors, torsion tensors, killing vector fields, conformal killing vector fields. —————————— —————————— I. Introduction (c) { } is a family of open sets which covers , that is, 푖 = . Riemannian manifold is a pair ( , g) consisting of smooth 푈 푀 manifold and Riemannian metric g. A manifold may carry a (d) ⋃ is푈 푖푖 a homeomorphism푀 from onto an open subset of 푀 ′ further structure if it is endowed with a metric tensor, which is a 푖 . 푖 푖 휑 푈 푈 natural generation푀 of the inner product between two vectors in 푛 ℝ to an arbitrary manifold. Riemannian metrics, affine (e) Given and such that , the map = connections,푛 parallel transport, curvature tensors, torsion tensors, ( ( ) killingℝ vector fields and conformal killing vector fields play from푖 푗 ) to 푖 푗 is infinitely푖푗 −1 푈 푈 푈 ∩ 푈 ≠ ∅ 휓 important role to develop the theorem of Riemannian manifolds.
    [Show full text]
  • HARMONIC MAPS Contents 1. Introduction 2 1.1. Notational
    HARMONIC MAPS ANDREW SANDERS Contents 1. Introduction 2 1.1. Notational conventions 2 2. Calculus on vector bundles 2 3. Basic properties of harmonic maps 7 3.1. First variation formula 7 References 10 1 2 ANDREW SANDERS 1. Introduction 1.1. Notational conventions. By a smooth manifold M we mean a second- countable Hausdorff topological space with a smooth maximal atlas. We denote the tangent bundle of M by TM and the cotangent bundle of M by T ∗M: 2. Calculus on vector bundles Given a pair of manifolds M; N and a smooth map f : M ! N; it is advantageous to consider the differential df : TM ! TN as a section df 2 Ω0(M; T ∗M ⊗ f ∗TN) ' Ω1(M; f ∗TN): There is a general for- malism for studying the calculus of differential forms with values in vector bundles equipped with a connection. This formalism allows a fairly efficient, and more coordinate-free, treatment of many calculations in the theory of harmonic maps. While this approach is somewhat abstract and obfuscates the analytic content of many expressions, it takes full advantage of the algebraic symmetries available and therefore simplifies many expressions. We will develop some of this theory now and use it freely throughout the text. The following exposition will closely fol- low [Xin96]. Let M be a smooth manifold and π : E ! M a real vector bundle on M or rank r: Throughout, we denote the space of smooth sections of E by Ω0(M; E): More generally, the space of differential p-forms with values in E is given by Ωp(M; E) := Ω0(M; ΛpT ∗M ⊗ E): Definition 2.1.
    [Show full text]
  • General Relativity Fall 2019 Lecture 11: the Riemann Tensor
    General Relativity Fall 2019 Lecture 11: The Riemann tensor Yacine Ali-Ha¨ımoud October 8th 2019 The Riemann tensor quantifies the curvature of spacetime, as we will see in this lecture and the next. RIEMANN TENSOR: BASIC PROPERTIES α γ Definition { Given any vector field V , r[αrβ]V is a tensor field. Let us compute its components in some coordinate system: σ σ λ σ σ λ r[µrν]V = @[µ(rν]V ) − Γ[µν]rλV + Γλ[µrν]V σ σ λ σ λ λ ρ = @[µ(@ν]V + Γν]λV ) + Γλ[µ @ν]V + Γν]ρV 1 = @ Γσ + Γσ Γρ V λ ≡ Rσ V λ; (1) [µ ν]λ ρ[µ ν]λ 2 λµν where all partial derivatives of V µ cancel out after antisymmetrization. σ Since the left-hand side is a tensor field and V is a vector field, we conclude that R λµν is a tensor field as well { this is the tensor division theorem, which I encourage you to think about on your own. You can also check that explicitly from the transformation law of Christoffel symbols. This is the Riemann tensor, which measures the non-commutation of second derivatives of vector fields { remember that second derivatives of scalar fields do commute, by assumption. It is completely determined by the metric, and is linear in its second derivatives. Expression in LICS { In a LICS the Christoffel symbols vanish but not their derivatives. Let us compute the latter: 1 1 @ Γσ = @ gσδ (@ g + @ g − @ g ) = ησδ (@ @ g + @ @ g − @ @ g ) ; (2) µ νλ 2 µ ν λδ λ νδ δ νλ 2 µ ν λδ µ λ νδ µ δ νλ since the first derivatives of the metric components (thus of its inverse as well) vanish in a LICS.
    [Show full text]