DOCSLIB.ORG

Differential Geometry Mikhail G. Katz∗

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Differential Geometry Mikhail G. Katz∗ Differential geometry Mikhail G. Katz∗ M. Katz, Department of Mathematics, Bar Ilan Univer- sity, Ramat Gan 52900 Israel Email address: [email protected] Abstract. Lecture notes for course 88-826 in differential geom- etry on differentiable manifolds via coordinate charts and tran- sition functions, systoles, exterior differential complex, de Rham cohomology, Wirtinger inequality, Gromov’s systolic inequality for complex projective spaces. Contents Chapter1. Differentiablemanifolds 9 1.1. Definitionofdifferentiablemanifold 9 1.2. Metrizability 11 1.3. Hierarchy of smoothness of manifold M 11 1.4. Opensubmanifolds,Cartesianproducts 12 1.5. Circle, tori 13 1.6. Projective spaces 15 1.7. Derivations,Leibnizrule 17 Chapter 2. Derivations, tangent and cotangent bundles 19 2.1. Thespaceofderivations 19 2.2. Tangentbundleofasmoothmanifold 20 2.3. Vectorfieldasasectionofthebundle 22 2.4. Vectorfieldsincoordinates 22 2.5. Representingavectorbyapath 23 2.6. Vectorfieldsinpolarcoordinates 23 2.7. Source,sink,circulation 24 2.8. Dualityinlinearalgebra 25 2.9. Polar,cylindrical,andsphericalcoordinates 26 2.10. Cotangentspaceandcotangentbundle 28 Chapter3. Metricdifferentialgeometry 31 3.1. Isometries, constructing bilinear forms out of 1-forms 31 3.2. Riemannianmetric,firstfundamentalform 32 3.3. Metric as sum of squared 1-forms; element of length ds 33 3.4. Hyperbolic metric 34 3.5. Surface of revolution in R3 35 3.6. Coordinate change 37 3.7. Conformalequivalence 38 3.8. Lattices,uniformisationtheoremfortori 39 3.9. Isothermalcoordinates 41 3.10. Tori of revolution 42 3.11. Standard fundamental domain, conformal parameter τ 42 3.12. Conformalparameterofrectangularlattices 43 3 4 CONTENTS 3.13. Conformal parameter of standard tori of revolution 44 Chapter 4. Differential forms, exterior derivative and algebra 49 4.1. Differential 1-form as section of cotangent bundle 49 4.2. Fromfunctiontodifferential1-form 50 4.3. Space Ω1(M) of differential 1-forms, exterior derivative 51 4.4. Gradient & exterior derivative; musical isomorphisms 51 4.5. Exterior product and algebra, alternating property 53 4.6. Exterioralgebraoveradim1vectorspace 55 4.7. Areasintheplane;signedarea 55 4.8. Algebraiccharacterisationofsignedarea 56 4.9. Vector product, triple product, and wedge product 57 4.10. Anticommutativityofthewedgeproduct 58 4.11. The k-exterior power; simple/decomposable multivs 58 4.12. Basisanddimensionofexterioralgebra 59 Chapter5. Exteriordifferentialcomplex 61 5.1.Rankofamultivector 61 5.2. Rankof2-multivectors;matrixofcoefficients 61 5.3. Constructionofthetensoralgebra 62 5.4. Constructionoftheexterioralgebra 64 5.5. Exteriorbundleandexteriorderivative 64 5.6. Exteriordifferentialcomplex 66 5.7. Antisymmetricmultilinearfunctions 67 5.8. Case of 2-forms 68 Chapter6. Normsonforms,Wirtingerinequality 71 6.1. Norm on 1-forms 71 6.2. Polarcoordinatesanddualnorms 72 6.3. Dual bases and dual lattices in a Euclidean space 73 6.4. Shortestnonzerovectorinalattice 73 6.5. Euclidean norm on k-multivectors and k-forms 74 6.6. Comass norm 74 6.7. Symplecticformfromacomplexviewpoint 75 6.8. Hermitian product 76 6.9. Orthogonaldiagonalisation 78 6.10. Wirtinger inequality 79 6.11. ProofofWirtingerinequality 80 Chapter 7. Complex projective spaces; de Rham cohomology 85 7.1. Celldecompositionofrealprojectivespace 85 7.2. Complex projective line CP1 86 7.3. Complex projective space CPn 87 CONTENTS 5 7.4. Unitary group, projective space as quotient by action 87 7.5. Hopf bundle 88 7.6. Flags and cell decomposition of CPn 88 7.7. Closure of cells produces compact submanifolds 89 7.8. g, α, and J inacomplexvectorspace 90 7.9. RelationtoHermitianproduct 91 7.10. Explicit formula for Fubini–Study 2-form on CP1 92 7.11. Exteriordifferentialcomplexrevisited 93 7.12. DeRhamcocyclesandcoboundaries 94 7.13. De Rham cohomology of M,Bettinumbers 94 Chapter8. DeRhamcohomologyandtopology 97 8.1. De Rham cohomology in dimensions 0 and n 97 8.2. deRhamcohomologyofacircle 98 8.3. Fubini–Study form and the area of CP1 99 8.4. 2-cohomologygroupofthetorus 100 8.5. 2-cohomologygroupofthesphere 102 8.6. Fubini–Study form and volume form on CPn 104 8.7. Cup product, ring structure in de Rham cohomology 105 8.8. Cohomologyofcomplexprojectivespace 106 8.9. Abelianisationingrouptheory 107 8.10. The fundamental group π1(M) 108 Chapter9. Homologygroups;stablenorm 111 9.1. 1-cyclesonmanifolds 111 9.2. Orientationonamanifold 112 9.3. Interior product y ofaformbyavector 113 9.4. Induced orientation on the boundary ∂M 113 9.5. Surfacesandtheirboundaries 114 9.6. Restriction h⇂∂Σg and1-homologygroup 115 9.7. Lengthofcyclesand1-homologyclasses 116 9.8. Length in 1-homology group of orientable surfaces 117 9.9. Stable norm for higher-dimensional manifolds 118 9.10. Systoleandstable1-systole 119 9.11. 2-homologygroupand2-systole 120 9.12. Stablenormin2-homology 121 Chapter 10. Gromov’s stable systolic inequality for CPn 123 10.1. Pu’sinequalityforrealprojectiveplane 123 10.2. Integrationover1-cyclesandover2-cycles 124 10.3. Duality of homology and de Rham cohomology 126 10.4. VolumeformonRiemannianmanifolds 127 k k 10.5. Comass norm in Ω (M) and in HdR(M) 128 6 CONTENTS 10.6. Dualityofcomassandstablenorm 129 10.7. Fubini–Study metric on complex projective line 129 10.8. Fubini–Study metric on complex projective space 131 10.9. Gromov’s inequality for complex projective space 132 10.10. Homology class C and cohomology class ω 133 10.11. Comass and application of Wirtinger inequality 134 10.12. ProofofGromov’sinequality 134 Chapter11. Loewner’sinequality 137 11.1. Eisensteinintegers,Hermiteconstant 137 11.2. Standardfundamentaldomain 138 11.3. Loewner’storusinequality 139 11.4. Expectedvalueandvariance 140 11.5. Application of computational formula for variance 141 11.6. Flattorusaspencilofparallelgeodesics 142 11.7. ProofofLoewner’storusinequality 143 11.8. Boundary case of equality in Loewner’s inequality 144 11.9. Rectangularlattices 145 Chapter12. Pu’sinequalityandgeneralisations 147 12.1. StatementofPu’sinequality 147 12.2. Tangent map 148 12.3. Riemanniansubmersions 148 12.4. A Stiefel manifold 149 12.5. AmetricontheStiefelmanifold 150 12.6. Adoubleintegration 151 12.7. Aprobabilisticinterpretation 152 12.8. Fromthespheretotherealprojectiveplane 152 12.9. AgeneralisationofPu’sinequality 153 Chapter13. AlternativeproofofPu’sinequality 155 13.1. Hopf fibration h 155 13.2. HopffibrationisaRiemanniansubmersion 156 13.3. Hamiltonquaternions 156 13.4. Complex structures on the algebra H 157 13.5. Fromcomplexstructuretofibration 158 13.6. Lie groups 159 13.7. Lie group SO(3) as quotient of S3 160 13.8. Unitspheretangentbundle 161 13.9. 2-sphereasahomogeneousspace 161 13.10. Geodesicflowonthetangentbundle 162 13.11. Dual real projective plane and its double cover 163 13.12. Apairoffibrations 164 CONTENTS 7 13.13. Double fibration of T uS2, integral geometry on S2 165 Chapter 14. Gromov’s inequality for essential manifolds 169 14.1. Essentialmanifolds 169 14.2. Gromov’sinequalityforessentialmanifolds 169 14.3. Fillingradiusofaloopintheplane 169 14.4. The sup-norm 171 14.5. Riemannian manifolds as spaces with a distance function171 14.6. Kuratowskiembedding 171 14.7. Homologytheoryforgroups 171 14.8. Relativefillingradius 172 14.9. Absolutefillingradius 172 14.10. Systolic freedom 172 Bibliography 173 CHAPTER 1 Differentiable manifolds (1) Course site http://u.math.biu.ac.il/~katzmik/88-826.html (2) The final exam is 90% of the grade and the targilim 10%. (3) The first homework assignment is due on 7 april ’21. 1.1. Definition of differentiable manifold An n-dimensional manifold is a set M possessing certain addi- tional properties. A formal definition appears below as Definition 1.1.2. Here M is assumed to be covered by a collection of subsets (called coor- dinate charts or neighborhoods), typically denoted A or B, and having the following properties. For each coordinate neighborhood A M we have an injective map u: A Rn whose image ⊆ → u(A) Rn ⊆ is an open set in Rn. A coordinate chart is the pair (A, u). The maps are required to satisfy the following compatibility condition. Let u: A Rn, u =(ui) , (1.1.1) → i=1,...,n and similarly v : B Rn, v =(vα) (1.1.2) → α=1,...,n be a pair of coordinate charts. Whenever the overlap A B is nonempty, it has a nonempty image v(A B) in Euclidean space.∩ Both u(A) and u(A B), etc., are assumed∩ to be open subsets of Rn. ∩ 1 Definition 1.1.1. Let v− be the inverse map of the map v of (1.1.2). 1 n Thus v− is a map from the image (in R ) of the injective map v back to M. Restricting to the subset v(A B) Rn, we obtain a one-to-one map ∩ ⊆ 1 n φ = u v− : v(A B) R (1.1.3) ◦ ∩ → from an open set v(A B) Rn to Rn. ∩ ⊆1 n n Similarly, the map v u− from the open set u(A B) R to R is one-to-one. We can now◦ state the formal definition.∩ ⊆ 9 10 1.DIFFERENTIABLEMANIFOLDS Definition 1.1.2. A smooth n-dimensional manifold M is a union M = α I Aα, ∪ ∈ n where I is an index set, together with injective maps uα : Aα R , satisfying the following compatibility condition: the map φ of→ (1.1.3) is differentiable for all choices of coordinate neighborhoods A = Aα and B = A (where α, β I) as above. β ∈ 1 1 Definition 1.1.3. The map φ = u v− is called a transition map. The collection of coordinate charts as◦ above is called an atlas for the manifold M. Definition 1.1.4. A 2-dimensional manifold is called a surface. Note that we have not said anything yet about a topology on M. We define a topology on M as follows. Definition 1.1.5. The coordinate charts induce a topology on M by imposing the usual conditions: n 1 (1) If S R is an open set then v− (S) M is defined to be open;⊆2 ⊆ (2) arbitrary unions of open sets in M are open; (3) finite intersections of open sets are open. Remark 1.1.6. We will usually assume that M is connected. Given the manifold structure as above, connectedness of M is equivalent to path-connectedness3 of M.
Load more

Recommended publications
  • A Guide to Symplectic Geometry
    OSU — SYMPLECTIC GEOMETRY CRASH COURSE IVO TEREK A GUIDE TO SYMPLECTIC GEOMETRY IVO TEREK* These are lecture notes for the SYMPLECTIC GEOMETRY CRASH COURSE held at The Ohio State University during the summer term of 2021, as our first attempt for a series of mini-courses run by graduate students for graduate students. Due to time and space constraints, many things will have to be omitted, but this should serve as a quick introduction to the subject, as courses on Symplectic Geometry are not currently offered at OSU. There will be many exercises scattered throughout these notes, most of them routine ones or just really remarks, not only useful to give the reader a working knowledge about the basic definitions and results, but also to serve as a self-study guide. And as far as references go, arXiv.org links as well as links for authors’ webpages were provided whenever possible. Columbus, May 2021 *[email protected] Page i OSU — SYMPLECTIC GEOMETRY CRASH COURSE IVO TEREK Contents 1 Symplectic Linear Algebra1 1.1 Symplectic spaces and their subspaces....................1 1.2 Symplectomorphisms..............................6 1.3 Local linear forms................................ 11 2 Symplectic Manifolds 13 2.1 Definitions and examples........................... 13 2.2 Symplectomorphisms (redux)......................... 17 2.3 Hamiltonian fields............................... 21 2.4 Submanifolds and local forms......................... 30 3 Hamiltonian Actions 39 3.1 Poisson Manifolds................................ 39 3.2 Group actions on manifolds.......................... 46 3.3 Moment maps and Noether’s Theorem................... 53 3.4 Marsden-Weinstein reduction......................... 63 Where to go from here? 74 References 78 Index 82 Page ii OSU — SYMPLECTIC GEOMETRY CRASH COURSE IVO TEREK 1 Symplectic Linear Algebra 1.1 Symplectic spaces and their subspaces There is nothing more natural than starting a text on Symplecic Geometry1 with the definition of a symplectic vector space.
    [Show full text]
  • Book: Lectures on Differential Geometry
    Lectures on Differential geometry John W. Barrett 1 October 5, 2017 1Copyright c John W. Barrett 2006-2014 ii Contents Preface .................... vii 1 Differential forms 1 1.1 Differential forms in Rn ........... 1 1.2 Theexteriorderivative . 3 2 Integration 7 2.1 Integrationandorientation . 7 2.2 Pull-backs................... 9 2.3 Integrationonachain . 11 2.4 Changeofvariablestheorem. 11 3 Manifolds 15 3.1 Surfaces .................... 15 3.2 Topologicalmanifolds . 19 3.3 Smoothmanifolds . 22 iii iv CONTENTS 3.4 Smoothmapsofmanifolds. 23 4 Tangent vectors 27 4.1 Vectorsasderivatives . 27 4.2 Tangentvectorsonmanifolds . 30 4.3 Thetangentspace . 32 4.4 Push-forwards of tangent vectors . 33 5 Topology 37 5.1 Opensubsets ................. 37 5.2 Topologicalspaces . 40 5.3 Thedefinitionofamanifold . 42 6 Vector Fields 45 6.1 Vectorsfieldsasderivatives . 45 6.2 Velocityvectorfields . 47 6.3 Push-forwardsofvectorfields . 50 7 Examples of manifolds 55 7.1 Submanifolds . 55 7.2 Quotients ................... 59 7.2.1 Projectivespace . 62 7.3 Products.................... 65 8 Forms on manifolds 69 8.1 Thedefinition. 69 CONTENTS v 8.2 dθ ....................... 72 8.3 One-formsandtangentvectors . 73 8.4 Pairingwithvectorfields . 76 8.5 Closedandexactforms . 77 9 Lie Groups 81 9.1 Groups..................... 81 9.2 Liegroups................... 83 9.3 Homomorphisms . 86 9.4 Therotationgroup . 87 9.5 Complexmatrixgroups . 88 10 Tensors 93 10.1 Thecotangentspace . 93 10.2 Thetensorproduct. 95 10.3 Tensorfields. 97 10.3.1 Contraction . 98 10.3.2 Einstein summation convention . 100 10.3.3 Differential forms as tensor fields . 100 11 The metric 105 11.1 Thepull-backmetric . 107 11.2 Thesignature . 108 12 The Lie derivative 115 12.1 Commutator of vector fields .
    [Show full text]
  • Lusternik-Schnirelmann Category and Systolic Category of Low Dimensional Manifolds
    LUSTERNIK-SCHNIRELMANN CATEGORY AND SYSTOLIC CATEGORY OF LOW DIMENSIONAL MANIFOLDS1 MIKHAIL G. KATZ∗ AND YULI B. RUDYAK† Abstract. We show that the geometry of a Riemannian mani- fold (M, G) is sensitive to the apparently purely homotopy-theoretic invariant of M known as the Lusternik-Schnirelmann category, denoted catLS(M). Here we introduce a Riemannian analogue of catLS(M), called the systolic category of M. It is denoted catsys(M), and defined in terms of the existence of systolic in- equalities satisfied by every metric G, as initiated by C. Loewner and later developed by M. Gromov. We compare the two cate- gories. In all our examples, the inequality catsys M ≤ catLS M is satisfied, which typically turns out to be an equality, e.g. in dimen- sion 3. We show that a number of existing systolic inequalities can be reinterpreted as special cases of such equality, and that both categories are sensitive to Massey products. The comparison with the value of catLS(M) leads us to prove or conjecture new systolic inequalities on M. Contents Introduction 2 1. Systoles 3 2. Systolic categories 4 3. Categories agree in dimension 2 6 4. Essential manifolds and detecting elements 7 arXiv:math/0410456v2 [math.DG] 20 Dec 2004 5. Inessential manifolds and pullback metrics 8 6. Manifolds of dimension 3 9 1Communications on Pure and Applied Mathematics, to appear. Available at arXiv:math.DG/0410456 Date: August 31, 2018. 1991 Mathematics Subject Classification. Primary 53C23; Secondary 55M30, 57N65 . Key words and phrases. detecting element, essential manifolds, isoperimetric quotient, Lusternik-Schnirelmann category, Massey product, systole.
    [Show full text]
  • MAT 531 Geometry/Topology II Introduction to Smooth Manifolds
    MAT 531 Geometry/Topology II Introduction to Smooth Manifolds Claude LeBrun Stony Brook University April 9, 2020 1 Dual of a vector space: 2 Dual of a vector space: Let V be a real, finite-dimensional vector space. 3 Dual of a vector space: Let V be a real, finite-dimensional vector space. Then the dual vector space of V is defined to be 4 Dual of a vector space: Let V be a real, finite-dimensional vector space. Then the dual vector space of V is defined to be ∗ V := fLinear maps V ! Rg: 5 Dual of a vector space: Let V be a real, finite-dimensional vector space. Then the dual vector space of V is defined to be ∗ V := fLinear maps V ! Rg: ∗ Proposition. V is finite-dimensional vector space, too, and 6 Dual of a vector space: Let V be a real, finite-dimensional vector space. Then the dual vector space of V is defined to be ∗ V := fLinear maps V ! Rg: ∗ Proposition. V is finite-dimensional vector space, too, and ∗ dimV = dimV: 7 Dual of a vector space: Let V be a real, finite-dimensional vector space. Then the dual vector space of V is defined to be ∗ V := fLinear maps V ! Rg: ∗ Proposition. V is finite-dimensional vector space, too, and ∗ dimV = dimV: ∗ ∼ In particular, V = V as vector spaces. 8 Dual of a vector space: Let V be a real, finite-dimensional vector space. Then the dual vector space of V is defined to be ∗ V := fLinear maps V ! Rg: ∗ Proposition. V is finite-dimensional vector space, too, and ∗ dimV = dimV: ∗ ∼ In particular, V = V as vector spaces.
    [Show full text]
  • INTRODUCTION to ALGEBRAIC GEOMETRY 1. Preliminary Of
    INTRODUCTION TO ALGEBRAIC GEOMETRY WEI-PING LI 1. Preliminary of Calculus on Manifolds 1.1. Tangent Vectors. What are tangent vectors we encounter in Calculus? 2 0 (1) Given a parametrised curve α(t) = x(t); y(t) in R , α (t) = x0(t); y0(t) is a tangent vector of the curve. (2) Given a surface given by a parameterisation x(u; v) = x(u; v); y(u; v); z(u; v); @x @x n = × is a normal vector of the surface. Any vector @u @v perpendicular to n is a tangent vector of the surface at the corresponding point. (3) Let v = (a; b; c) be a unit tangent vector of R3 at a point p 2 R3, f(x; y; z) be a differentiable function in an open neighbourhood of p, we can have the directional derivative of f in the direction v: @f @f @f D f = a (p) + b (p) + c (p): (1.1) v @x @y @z In fact, given any tangent vector v = (a; b; c), not necessarily a unit vector, we still can define an operator on the set of functions which are differentiable in open neighbourhood of p as in (1.1) Thus we can take the viewpoint that each tangent vector of R3 at p is an operator on the set of differential functions at p, i.e. @ @ @ v = (a; b; v) ! a + b + c j ; @x @y @z p or simply @ @ @ v = (a; b; c) ! a + b + c (1.2) @x @y @z 3 with the evaluation at p understood.
    [Show full text]
  • Optimization Algorithms on Matrix Manifolds
    00˙AMS September 23, 2007 © Copyright, Princeton University Press. No part of this book may be distributed, posted, or reproduced in any form by digital or mechanical means without prior written permission of the publisher. Index 0x, 55 of a topology, 192 C1, 196 bijection, 193 C∞, 19 blind source separation, 13 ∇2, 109 bracket (Lie), 97 F, 33, 37 BSS, 13 GL, 23 Grass(p, n), 32 Cauchy decrease, 142 JF , 71 Cauchy point, 142 On, 27 Cayley transform, 59 PU,V , 122 chain rule, 195 Px, 47 characteristic polynomial, 6 ⊥ chart Px , 47 Rn×p, 189 around a point, 20 n×p R∗ /GLp, 31 of a manifold, 20 n×p of a set, 18 R∗ , 23 Christoffel symbols, 94 Ssym, 26 − Sn 1, 27 closed set, 192 cocktail party problem, 13 S , 42 skew column space, 6 St(p, n), 26 commutator, 189 X, 37 compact, 27, 193 X(M), 94 complete, 56, 102 ∂ , 35 i conjugate directions, 180 p-plane, 31 connected, 21 S , 58 sym+ connection S (n), 58 upp+ affine, 94 ≃, 30 canonical, 94 skew, 48, 81 Levi-Civita, 97 span, 30 Riemannian, 97 sym, 48, 81 symmetric, 97 tr, 7 continuous, 194 vec, 23 continuously differentiable, 196 convergence, 63 acceleration, 102 cubic, 70 accumulation point, 64, 192 linear, 69 adjoint, 191 order of, 70 algebraic multiplicity, 6 quadratic, 70 arithmetic operation, 59 superlinear, 70 Armijo point, 62 convergent sequence, 192 asymptotically stable point, 67 convex set, 198 atlas, 19 coordinate domain, 20 compatible, 20 coordinate neighborhood, 20 complete, 19 coordinate representation, 24 maximal, 19 coordinate slice, 25 atlas topology, 20 coordinates, 18 cotangent bundle, 108 basis, 6 cotangent space, 108 For general queries, contact [email protected] 00˙AMS September 23, 2007 © Copyright, Princeton University Press.
    [Show full text]
  • SYMPLECTIC GEOMETRY and MECHANICS a Useful Reference Is
    GEOMETRIC QUANTIZATION I: SYMPLECTIC GEOMETRY AND MECHANICS A useful reference is Simms and Woodhouse, Lectures on Geometric Quantiza- tion, available online. 1. Symplectic Geometry. 1.1. Linear Algebra. A pre-symplectic form ω on a (real) vector space V is a skew bilinear form ω : V ⊗ V → R. For any W ⊂ V write W ⊥ = {v ∈ V | ω(v, w) = 0 ∀w ∈ W }. (V, ω) is symplectic if ω is non-degenerate: ker ω := V ⊥ = 0. Theorem 1.2. If (V, ω) is symplectic, there is a “canonical” basis P1,...,Pn,Q1,...,Qn such that ω(Pi,Pj) = 0 = ω(Qi,Qj) and ω(Pi,Qj) = δij. Pi and Qi are said to be conjugate. The theorem shows that all symplectic vector spaces of the same (always even) dimension are isomorphic. 1.3. Geometry. A symplectic manifold is one with a non-degenerate 2-form ω; this makes each tangent space TmM into a symplectic vector space with form ωm. We should also assume that ω is closed: dω = 0. We can also consider pre-symplectic manifolds, i.e. ones with a closed 2-form ω, which may be degenerate. In this case we also assume that dim ker ωm is constant; this means that the various ker ωm fit tog ether into a sub-bundle ker ω of TM. Example 1.1. If V is a symplectic vector space, then each TmV = V . Thus the symplectic form on V (as a vector space) determines a symplectic form on V (as a manifold). This is locally the only example: Theorem 1.4.
    [Show full text]
  • 3. Introducing Riemannian Geometry
    3. Introducing Riemannian Geometry We have yet to meet the star of the show. There is one object that we can place on a manifold whose importance dwarfs all others, at least when it comes to understanding gravity. This is the metric. The existence of a metric brings a whole host of new concepts to the table which, collectively, are called Riemannian geometry.Infact,strictlyspeakingwewillneeda slightly di↵erent kind of metric for our study of gravity, one which, like the Minkowski metric, has some strange minus signs. This is referred to as Lorentzian Geometry and a slightly better name for this section would be “Introducing Riemannian and Lorentzian Geometry”. However, for our immediate purposes the di↵erences are minor. The novelties of Lorentzian geometry will become more pronounced later in the course when we explore some of the physical consequences such as horizons. 3.1 The Metric In Section 1, we informally introduced the metric as a way to measure distances between points. It does, indeed, provide this service but it is not its initial purpose. Instead, the metric is an inner product on each vector space Tp(M). Definition:Ametric g is a (0, 2) tensor field that is: Symmetric: g(X, Y )=g(Y,X). • Non-Degenerate: If, for any p M, g(X, Y ) =0forallY T (M)thenX =0. • 2 p 2 p p With a choice of coordinates, we can write the metric as g = g (x) dxµ dx⌫ µ⌫ ⌦ The object g is often written as a line element ds2 and this expression is abbreviated as 2 µ ⌫ ds = gµ⌫(x) dx dx This is the form that we saw previously in (1.4).
    [Show full text]
  • Symbol Table for Manifolds, Tensors, and Forms Paul Renteln
    Symbol Table for Manifolds, Tensors, and Forms Paul Renteln Department of Physics California State University San Bernardino, CA 92407 and Department of Mathematics California Institute of Technology Pasadena, CA 91125 [email protected] August 30, 2015 1 List of Symbols 1.1 Rings, Fields, and Spaces Symbol Description Page N natural numbers 264 Z integers 265 F an arbitrary field 1 R real field or real line 1 n R (real) n space 1 n RP real projective n space 68 n H (real) upper half n-space 167 C complex plane 15 n C (complex) n space 15 1.2 Unary operations Symbol Description Page a¯ complex conjugate 14 X set complement 263 jxj absolute value 16 jXj cardinality of set 264 kxk length of vector 57 [x] equivalence class 264 2 List of Symbols f −1(y) inverse image of y under f 263 f −1 inverse map 264 (−1)σ sign of permutation σ 266 ? hodge dual 45 r (ordinary) gradient operator 73 rX covariant derivative in direction X 182 d exterior derivative 89 δ coboundary operator (on cohomology) 127 δ co-differential operator 222 ∆ Hodge-de Rham Laplacian 223 r2 Laplace-Beltrami operator 242 f ∗ pullback map 95 f∗ pushforward map 97 f∗ induced map on simplices 161 iX interior product 93 LX Lie derivative 102 ΣX suspension 119 @ partial derivative 59 @ boundary operator 143 @∗ coboundary operator (on cochains) 170 [S] simplex generated by set S 141 D vector bundle connection 182 ind(X; p) index of vector field X at p 260 I(f; p) index of f at p 250 1.3 More unary operations Symbol Description Page Ad (big) Ad 109 ad (little) ad 109 alt alternating map
    [Show full text]
  • M7210 Lecture 7. Vector Spaces Part 4, Dual Spaces Wednesday September 5, 2012 Assume V Is an N-Dimensional Vector Space Over a field F
    M7210 Lecture 7. Vector Spaces Part 4, Dual Spaces Wednesday September 5, 2012 Assume V is an n-dimensional vector space over a field F. Definition. The dual space of V , denoted V ′ is the set of all linear maps from V to F. Comment. F is an ambiguous object. It may be regarded: (a) as a field, (b) vector space over F, (c) as a vector space equipped with basis, {1}. It is always important to bear in mind which of the three objects we are thinking about. In the definition of V ′, we use (c). The distinctions are often pushed into the background, but let us keep them in clear view for the remainder of this paragraph. Suppose V has basis E = {e1,e2,...,en}. ′ If w ∈ V , then for each ei, there is a unique scalar ω(ei) such that w(ei) = ω(ei)1. Then w = ω(e1) ω(e2) · · · ω(en) . (1) {1}E The columns (of height 1) on the right hand side are the coefficients required to write the images of the basis elements in E in terms of the basis {1}. (The definition of the matrix of a linear map that we gave in the last lecture demands that each entry in the matrix be an element of the scalar field, not of a vector space.) The notation w(ei) = ω(ei)1 is a reminder that w(ei) is an element of the vector space F, while ω(ei) is an element of the field F. But scalar multiplication of elements of the vector space F by elements of the field F is good old fashioned multiplication ∗ : F × F → F.
    [Show full text]
  • A Mathematica Package for Doing Tensor Calculations in Differential Geometry User's Manual
    Ricci A Mathematica package for doing tensor calculations in differential geometry User’s Manual Version 1.32 By John M. Lee assisted by Dale Lear, John Roth, Jay Coskey, and Lee Nave 2 Ricci A Mathematica package for doing tensor calculations in differential geometry User’s Manual Version 1.32 By John M. Lee assisted by Dale Lear, John Roth, Jay Coskey, and Lee Nave Copyright c 1992–1998 John M. Lee All rights reserved Development of this software was supported in part by NSF grants DMS-9101832, DMS-9404107 Mathematica is a registered trademark of Wolfram Research, Inc. This software package and its accompanying documentation are provided as is, without guarantee of support or maintenance. The copyright holder makes no express or implied warranty of any kind with respect to this software, including implied warranties of merchantability or fitness for a particular purpose, and is not liable for any damages resulting in any way from its use. Everyone is granted permission to copy, modify and redistribute this software package and its accompanying documentation, provided that: 1. All copies contain this notice in the main program file and in the supporting documentation. 2. All modified copies carry a prominent notice stating who made the last modifi- cation and the date of such modification. 3. No charge is made for this software or works derived from it, with the exception of a distribution fee to cover the cost of materials and/or transmission. John M. Lee Department of Mathematics Box 354350 University of Washington Seattle, WA 98195-4350 E-mail: [email protected] Web: http://www.math.washington.edu/~lee/ CONTENTS 3 Contents 1 Introduction 6 1.1Overview..............................
    [Show full text]
  • Arxiv:1412.2393V4 [Gr-Qc] 27 Feb 2019 2.6 Geodesics and Normal Coordinates
    Riemannian Geometry: Definitions, Pictures, and Results Adam Marsh February 27, 2019 Abstract A pedagogical but concise overview of Riemannian geometry is provided, in the context of usage in physics. The emphasis is on defining and visualizing concepts and relationships between them, as well as listing common confusions, alternative notations and jargon, and relevant facts and theorems. Special attention is given to detailed figures and geometric viewpoints, some of which would seem to be novel to the literature. Topics are avoided which are well covered in textbooks, such as historical motivations, proofs and derivations, and tools for practical calculations. As much material as possible is developed for manifolds with connection (omitting a metric) to make clear which aspects can be readily generalized to gauge theories. The presentation in most cases does not assume a coordinate frame or zero torsion, and the coordinate-free, tensor, and Cartan formalisms are developed in parallel. Contents 1 Introduction 2 2 Parallel transport 3 2.1 The parallel transporter . 3 2.2 The covariant derivative . 4 2.3 The connection . 5 2.4 The covariant derivative in terms of the connection . 6 2.5 The parallel transporter in terms of the connection . 9 arXiv:1412.2393v4 [gr-qc] 27 Feb 2019 2.6 Geodesics and normal coordinates . 9 2.7 Summary . 10 3 Manifolds with connection 11 3.1 The covariant derivative on the tensor algebra . 12 3.2 The exterior covariant derivative of vector-valued forms . 13 3.3 The exterior covariant derivative of algebra-valued forms . 15 3.4 Torsion . 16 3.5 Curvature .
    [Show full text]