DOCSLIB.ORG

Chapter 12 Connections on Manifolds

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Chapter 12 Connections on Manifolds Chapter 12 Connections on Manifolds 12.1 Connections on Manifolds Given a manifold, M,ingeneral,foranytwopoints, p, q M,thereisno“natural”isomorphismbetween 2 the tangent spaces TpM and TqM. Given a curve, c:[0, 1] M,onM as c(t)moveson ! M,howdoesthetangentspace,Tc(t)M change as c(t) moves? n n If M = R ,thenthespaces,Tc(t)R ,arecanonically n n n isomorphic to R and any vector, v Tc(0)R ⇠= R ,is simply moved along c by parallel transport2 ,thatis,at n c(t), the tangent vector, v,alsobelongstoTc(t)R . 595 596 CHAPTER 12. CONNECTIONS ON MANIFOLDS However, if M is curved, for example, a sphere, then it is not obvious how to “parallel transport” a tangent vector at c(0) along a curve c. Awaytoachievethisistodefinethenotionofparallel vector field along a curve and this, in turn, can be defined in terms of the notion of covariant derivative of a vector field. Assume for simplicity that M is a surface in R3.Given any two vector fields, X and Y defined on some open sub- set, U R3,foreveryp U,thedirectional derivative, ✓ 2 DXY (p), of Y with respect to X is defined by Y (p + tX(p)) Y (p) DXY (p)=lim − . t 0 ! t If f : U R is a di↵erentiable function on U,forevery p U,the!directional derivative, X[f](p) (or X(f)(p)), of2f with respect to X is defined by f(p + tX(p)) f(p) X[f](p)=lim − . t 0 ! t We know that X[f](p)=df p(X(p)). 12.1. CONNECTIONS ON MANIFOLDS 597 It is easily shown that DXY (p)isR-bilinear in X and Y , is C1(U)-linear in X and satisfies the Leibniz derivation rule with respect to Y ,thatis: Proposition 12.1. The directional derivative of vec- tor fields satisfies the following properties: DX1+X2Y (p)=DX1Y (p)+DX2Y (p) DfXY (p)=fDXY (p) DX(Y1 + Y2)(p)=DXY1(p)+DXY2(p) DX(fY)(p)=X[f](p)Y (p)+f(p)DXY (p), for all X, X ,X ,Y,Y ,Y X(U) and all f C1(U). 1 2 1 2 2 2 Now, if p U where U M is an open subset of M,for 2 ✓ any vector field, Y ,definedonU (Y (p) TpM,forall p U), for every X T M,thedirectionalderivative,2 2 2 p DXY (p), makes sense and it has an orthogonal decom- position, D Y (p)= Y (p)+(D ) Y (p), X rX n X where its horizontal (or tangential) component is Y (p) T M and its normal component is (D ) Y (p). rX 2 p n X 598 CHAPTER 12. CONNECTIONS ON MANIFOLDS The component, XY (p), is the covariant derivative of Y with respect torX T M and it allows us to define 2 p the covariant derivative of a vector field, Y X(U), with 2 respect to a vector field, X X(M), on M. 2 We easily check that XY satisfies the four equations of Proposition 12.1. r In particular, Y ,maybeavectorfieldassociatedwitha curve, c:[0, 1] M. ! A vector field along a curve, c, is a vector field, Y ,such that Y (c(t)) Tc(t)M,forallt [0, 1]. We also write Y (t)forY (c(2t)). 2 Then, we say that Y is parallel along c i↵ c0(t)Y =0 along c. r 12.1. CONNECTIONS ON MANIFOLDS 599 The notion of parallel transport on a surface can be de- fined using parallel vector fields along curves. Let p, q be any two points on the surface M and assume there is a curve, c:[0, 1] M,joiningp = c(0) to q = c(1). ! Then, using the uniqueness and existence theorem for ordinary di↵erential equations, it can be shown that for any initial tangent vector, Y T M,thereisaunique 0 2 p parallel vector field, Y ,alongc,withY (0) = Y0. If we set Y = Y (1), we obtain a linear map, Y Y , 1 0 7! 1 from TpM to TqM which is also an isometry. As a summary, given a surface, M,ifwecandefineano- tion of covariant derivative, : X(M) X(M) X(M), satisfying the properties of Propositionr ⇥ 12.1, then! we can define the notion of parallel vector field along a curve and the notion of parallel transport, which yields a natural way of relating two tangent spaces, TpM and TqM,using curves joining p and q. 600 CHAPTER 12. CONNECTIONS ON MANIFOLDS This can be generalized to manifolds using the notion of connection. We will see that the notion of connection induces the notion of curvature. Moreover, if M has a Riemannian metric, we will see that this metric induces auniqueconnectionwithtwoextraproperties(theLevi- Civita connection). Definition 12.1. Let M be a smooth manifold. A connection on M is a R-bilinear map, : X(M) X(M) X(M), r ⇥ ! where we write XY for (X, Y ), such that the follow- ing two conditionsr hold: r Y = f Y rfX rX (fY)=X[f]Y + f Y, rX rX for all X, Y X(M)andallf C1(M). The vector 2 2 field, XY ,iscalledthecovariant derivative of Y with respectr to X. AconnectiononM is also known as an affine connection on M. 12.1. CONNECTIONS ON MANIFOLDS 601 Abasicpropertyof is that it is a local operator. r Proposition 12.2. Let M be a smooth manifold and let be a connection on M. For every open subset, r U M, for every vector field, Y X(M), if ✓ 2 Y 0 on U, then XY 0 on U for all X X(M), that⌘ is, is a localr operator.⌘ 2 r Proposition 12.2 implies that a connection, ,onM, r restricts to a connection, U,oneveryopensubset, U M. r ✓ It can also be shown that ( Y )(p)onlydependson rX X(p), that is, for any two vector fields, X, Y X(M), if X(p)=Y (p)forsomep M,then 2 2 ( Z)(p)=( Z)(p)foreveryZ X(M). rX rY 2 Consequently, for any p M,thecovariantderivative, ( Y )(p), is well defined2 for any tangent vector, ru u TpM,andanyvectorfield,Y ,definedonsomeopen subset,2 U M,withp U. ✓ 2 602 CHAPTER 12. CONNECTIONS ON MANIFOLDS Observe that on U,then-tuple of vector fields, @ ,..., @ ,isalocalframe. @x1 @xn ⇣ ⌘ We can write n @ k @ @ = Γij , r@xi @xj @xk ✓ ◆ Xk=1 k for some unique smooth functions, Γij,definedonU, called the Christo↵el symbols. We say that a connection, ,isflat on U i↵ r @ =0, for all X X(U), 1 i n. rX @x 2 ✓ i◆ 12.1. CONNECTIONS ON MANIFOLDS 603 Proposition 12.3. Every smooth manifold, M, pos- sesses a connection. Proof. We can find a family of charts, (U↵,'↵), such that U is a locally finite open cover of M.If(f )isa { ↵}↵ ↵ partition of unity subordinate to the cover U↵ ↵ and if ↵ { } is the flat connection on U↵,thenitisimmediately verifiedr that = f ↵ r ↵r ↵ X is a connection on M. Remark: AconnectiononTM can be viewed as a lin- ear map, : X(M) Hom (X(M), X(M)), r ! C1(M) such that, for any fixed Y X(M), the map, 2 Y : X XY ,isC1(M)-linear, which implies that rY is a7! (1, 1) r tensor. r 604 CHAPTER 12. CONNECTIONS ON MANIFOLDS 12.2 Parallel Transport The notion of connection yields the notion of parallel transport. First, we need to define the covariant deriva- tive of a vector field along a curve. Definition 12.2. Let M be a smooth manifold and let γ :[a, b] M be a smooth curve in M.Asmooth vector field along! the curve γ is a smooth map, X :[a, b] TM,suchthat⇡(X(t)) = γ(t), for all t [a, b](!X(t) T M). 2 2 γ(t) Recall that the curve, γ :[a, b] M,issmoothi↵γ is the restriction to [a, b]ofasmoothcurveonsomeopen! interval containing [a, b]. Since a vector X field along a curve γ does not neces- sarily extend to an open subset of M (for example, if the image of γ is dense in M), the covariant derivative ( γ0(t0) X)γ(t0) may not be defined, so we need a propo- sitionr showing that the covariant derivative of a vector field along a curve makes sense. 12.2. PARALLEL TRANSPORT 605 Proposition 12.4. Let M be a smooth manifold, let be a connection on M and γ :[a, b] M be a r ! smooth curve in M. There is a R-linear map, D/dt, defined on the vector space of smooth vector fields, X, along γ, which satisfies the following conditions: (1) For any smooth function, f :[a, b] R, ! D(fX) df DX = X + f dt dt dt (2) If X is induced by a vector field, Z X(M), 2 that is, X(t0)=Z(γ(t0)) for all t0 [a, b], then DX 2 (t )=( Z) . dt 0 rγ0(t0) γ(t0) 606 CHAPTER 12. CONNECTIONS ON MANIFOLDS Proof. Since γ([a, b]) is compact, it can be covered by a finite number of open subsets, U↵,suchthat(U↵,'↵)isa chart. Thus, we may assume that γ :[a, b] U for some ! chart, (U,'). As ' γ :[a, b] Rn,wecanwrite ◦ ! ' γ(t)=(u (t),...,u (t)), ◦ 1 n where each ui = pri ' γ is smooth. Now, it is easy to see that ◦ ◦ n dui @ γ0(t0)= . dt @xi i=1 γ(t0) X ✓ ◆ If (s1,...,sn)isaframeoverU,wecanwrite n X(t)= Xi(t)si(γ(t)), i=1 X for some smooth functions, Xi.
Load more

Recommended publications
  • Connections on Bundles Md
    Dhaka Univ. J. Sci. 60(2): 191-195, 2012 (July) Connections on Bundles Md. Showkat Ali, Md. Mirazul Islam, Farzana Nasrin, Md. Abu Hanif Sarkar and Tanzia Zerin Khan Department of Mathematics, University of Dhaka, Dhaka 1000, Bangladesh, Email: [email protected] Received on 25. 05. 2011.Accepted for Publication on 15. 12. 2011 Abstract This paper is a survey of the basic theory of connection on bundles. A connection on tangent bundle , is called an affine connection on an -dimensional smooth manifold . By the general discussion of affine connection on vector bundles that necessarily exists on which is compatible with tensors. I. Introduction = < , > (2) In order to differentiate sections of a vector bundle [5] or where <, > represents the pairing between and ∗. vector fields on a manifold we need to introduce a Then is a section of , called the absolute differential structure called the connection on a vector bundle. For quotient or the covariant derivative of the section along . example, an affine connection is a structure attached to a differentiable manifold so that we can differentiate its Theorem 1. A connection always exists on a vector bundle. tensor fields. We first introduce the general theorem of Proof. Choose a coordinate covering { }∈ of . Since connections on vector bundles. Then we study the tangent vector bundles are trivial locally, we may assume that there is bundle. is a -dimensional vector bundle determine local frame field for any . By the local structure of intrinsically by the differentiable structure [8] of an - connections, we need only construct a × matrix on dimensional smooth manifold . each such that the matrices satisfy II.
    [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]
  • Parallel Transport Along Seifert Manifolds and Fractional Monodromy Martynchuk, N.; Efstathiou, K
    University of Groningen Parallel Transport along Seifert Manifolds and Fractional Monodromy Martynchuk, N.; Efstathiou, K. Published in: Communications in Mathematical Physics DOI: 10.1007/s00220-017-2988-5 IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please check the document version below. Document Version Publisher's PDF, also known as Version of record Publication date: 2017 Link to publication in University of Groningen/UMCG research database Citation for published version (APA): Martynchuk, N., & Efstathiou, K. (2017). Parallel Transport along Seifert Manifolds and Fractional Monodromy. Communications in Mathematical Physics, 356(2), 427-449. https://doi.org/10.1007/s00220- 017-2988-5 Copyright Other than for strictly personal use, it is not permitted to download or to forward/distribute the text or part of it without the consent of the author(s) and/or copyright holder(s), unless the work is under an open content license (like Creative Commons). Take-down policy If you believe that this document breaches copyright please contact us providing details, and we will remove access to the work immediately and investigate your claim. Downloaded from the University of Groningen/UMCG research database (Pure): http://www.rug.nl/research/portal. For technical reasons the number of authors shown on this cover page is limited to 10 maximum. Download date: 27-09-2021 Commun. Math. Phys. 356, 427–449 (2017) Communications in Digital Object Identifier (DOI) 10.1007/s00220-017-2988-5 Mathematical Physics Parallel Transport Along Seifert Manifolds and Fractional Monodromy N. Martynchuk , K.
    [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]
  • A Geodesic Connection in Fréchet Geometry
    A geodesic connection in Fr´echet Geometry Ali Suri Abstract. In this paper first we propose a formula to lift a connection on M to its higher order tangent bundles T rM, r 2 N. More precisely, for a given connection r on T rM, r 2 N [ f0g, we construct the connection rc on T r+1M. Setting rci = rci−1 c, we show that rc1 = lim rci exists − and it is a connection on the Fr´echet manifold T 1M = lim T iM and the − geodesics with respect to rc1 exist. In the next step, we will consider a Riemannian manifold (M; g) with its Levi-Civita connection r. Under suitable conditions this procedure i gives a sequence of Riemannian manifolds f(T M, gi)gi2N equipped with ci c1 a sequence of Riemannian connections fr gi2N. Then we show that r produces the curves which are the (local) length minimizer of T 1M. M.S.C. 2010: 58A05, 58B20. Key words: Complete lift; spray; geodesic; Fr´echet manifolds; Banach manifold; connection. 1 Introduction In the first section we remind the bijective correspondence between linear connections and homogeneous sprays. Then using the results of [6] for complete lift of sprays, we propose a formula to lift a connection on M to its higher order tangent bundles T rM, r 2 N. More precisely, for a given connection r on T rM, r 2 N [ f0g, we construct its associated spray S and then we lift it to a homogeneous spray Sc on T r+1M [6]. Then, using the bijective correspondence between connections and sprays, we derive the connection rc on T r+1M from Sc.
    [Show full text]
  • Math 704: Part 1: Principal Bundles and Connections
    MATH 704: PART 1: PRINCIPAL BUNDLES AND CONNECTIONS WEIMIN CHEN Contents 1. Lie Groups 1 2. Principal Bundles 3 3. Connections and curvature 6 4. Covariant derivatives 12 References 13 1. Lie Groups A Lie group G is a smooth manifold such that the multiplication map G × G ! G, (g; h) 7! gh, and the inverse map G ! G, g 7! g−1, are smooth maps. A Lie subgroup H of G is a subgroup of G which is at the same time an embedded submanifold. A Lie group homomorphism is a group homomorphism which is a smooth map between the Lie groups. The Lie algebra, denoted by Lie(G), of a Lie group G consists of the set of left-invariant vector fields on G, i.e., Lie(G) = fX 2 X (G)j(Lg)∗X = Xg, where Lg : G ! G is the left translation Lg(h) = gh. As a vector space, Lie(G) is naturally identified with the tangent space TeG via X 7! X(e). A Lie group homomorphism naturally induces a Lie algebra homomorphism between the associated Lie algebras. Finally, the universal cover of a connected Lie group is naturally a Lie group, which is in one to one correspondence with the corresponding Lie algebras. Example 1.1. Here are some important Lie groups in geometry and topology. • GL(n; R), GL(n; C), where GL(n; C) can be naturally identified as a Lie sub- group of GL(2n; R). • SL(n; R), O(n), SO(n) = O(n) \ SL(n; R), Lie subgroups of GL(n; R).
    [Show full text]
  • FROM DIFFERENTIATION in AFFINE SPACES to CONNECTIONS Jovana -Duretic 1. Introduction Definition 1. We Say That a Real Valued
    THE TEACHING OF MATHEMATICS 2015, Vol. XVIII, 2, pp. 61–80 FROM DIFFERENTIATION IN AFFINE SPACES TO CONNECTIONS Jovana Dureti´c- Abstract. Connections and covariant derivatives are usually taught as a basic concept of differential geometry, or more precisely, of differential calculus on smooth manifolds. In this article we show that the need for covariant derivatives may arise, or at lest be motivated, even in a linear situation. We show how a generalization of the notion of a derivative of a function to a derivative of a map between affine spaces naturally leads to the notion of a connection. Covariant derivative is defined in the framework of vector bundles and connections in a way which preserves standard properties of derivatives. A special attention is paid on the role played by zero–sets of a first derivative in several contexts. MathEduc Subject Classification: I 95, G 95 MSC Subject Classification: 97 I 99, 97 G 99, 53–01 Key words and phrases: Affine space; second derivative; connection; vector bun- dle. 1. Introduction Definition 1. We say that a real valued function f :(a; b) ! R is differen- tiable at a point x0 2 (a; b) ½ R if a limit f(x) ¡ f(x ) lim 0 x!x0 x ¡ x0 0 exists. We denote this limit by f (x0) and call it a derivative of a function f at a point x0. We can write this limit in a different form, as 0 f(x0 + h) ¡ f(x0) (1) f (x0) = lim : h!0 h This expression makes sense if the codomain of a function is Rn, or more general, if the codomain is a normed vector space.
    [Show full text]
  • Math 396. Covariant Derivative, Parallel Transport, and General Relativity
    Math 396. Covariant derivative, parallel transport, and General Relativity 1. Motivation Let M be a smooth manifold with corners, and let (E, ∇) be a C∞ vector bundle with connection over M. Let γ : I → M be a smooth map from a nontrivial interval to M (a “path” in M); keep in mind that γ may not be injective and that its velocity may be zero at a rather arbitrary closed subset of I (so we cannot necessarily extend the standard coordinate on I near each t0 ∈ I to part of a local coordinate system on M near γ(t0)). In pseudo-Riemannian geometry E = TM and ∇ is a specific connection arising from the metric tensor (the Levi-Civita connection; see §4). A very fundamental concept is that of a (smooth) section along γ for a vector bundle on M. Before we give the official definition, we consider an example. Example 1.1. To each t0 ∈ I there is associated a velocity vector 0 ∗ γ (t0) = dγ(t0)(∂t|t0 ) ∈ Tγ(t0)(M) = (γ (TM))(t0). Hence, we get a set-theoretic section of the pullback bundle γ∗(TM) → I by assigning to each time 0 t0 the velocity vector γ (t0) at that time. This is not just a set-theoretic section, but a smooth section. Indeed, this problem is local, so pick t0 ∈ I and an open U ⊆ M containing γ(J) for an open ∞ neighborhood J ⊆ I around t0, with J and U so small that U admits a C coordinate system {x1, . , xn}. Let γi = xi ◦ γ|J ; these are smooth functions on J since γ is a smooth map from I into M.
    [Show full text]
  • 1 the Levi-Civita Connection and Its Curva- Ture
    Department of Mathematics Geometry of Manifolds, 18.966 Spring 2005 Lecture Notes 1 The Levi-Civita Connection and its curva- ture In this lecture we introduce the most important connection. This is the Levi-Civita connection in the tangent bundle of a Riemannian manifold. 1.1 The Einstein summation convention and the Ricci Calculus When dealing with tensors on a manifold it is convient to use the following conventions. When we choose a local frame for the tangent bundle we write e1, . en for this basis. We always index bases of the tangent bundle with indices down. We write then a typical tangent vector n X i X = X ei. i=1 Einstein’s convention says that when we see indices both up and down we assume that we are summing over them so he would write i X = X ei while a one form would be written as i θ = aie where ei is the dual co-frame field. For example when we have coordinates x1, x2, . , xn then we get a basis for the tangent bundle ∂/∂x1, . , ∂/∂xn 1 More generally a typical tensor would be written as i l j k T = T jk ei ⊗ e ⊗ e ⊗ el Note that in general unless the tensor has some extra symmetries the order of the indices matters. The lower indices indicate that under a change of j frame fi = Ci ej a lower index changes the same way and is called covariant while an upper index changes by the inverse matrix. For example the dual i coframe field to the fi, called f is given by i i j f = D je i j i j i where D j is the inverse matrix to C i (so that D jC k = δk.) The compo- nents of the tensor T above in the fi basis are thus i l i0 l0 i j0 k0 l T jk = T j0k0 D i0 C jC kD l0 Notice that of course summing over a repeated upper and lower index results in a quantity that is independent of any choices.
    [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]
  • WHAT IS a CONNECTION, and WHAT IS IT GOOD FOR? Contents 1. Introduction 2 2. the Search for a Good Directional Derivative 3 3. F
    WHAT IS A CONNECTION, AND WHAT IS IT GOOD FOR? TIMOTHY E. GOLDBERG Abstract. In the study of differentiable manifolds, there are several different objects that go by the name of \connection". I will describe some of these objects, and show how they are related to each other. The motivation for many notions of a connection is the search for a sufficiently nice directional derivative, and this will be my starting point as well. The story will by necessity include many supporting characters from differential geometry, all of whom will receive a brief but hopefully sufficient introduction. I apologize for my ungrammatical title. Contents 1. Introduction 2 2. The search for a good directional derivative 3 3. Fiber bundles and Ehresmann connections 7 4. A quick word about curvature 10 5. Principal bundles and principal bundle connections 11 6. Associated bundles 14 7. Vector bundles and Koszul connections 15 8. The tangent bundle 18 References 19 Date: 26 March 2008. 1 1. Introduction In the study of differentiable manifolds, there are several different objects that go by the name of \connection", and this has been confusing me for some time now. One solution to this dilemma was to promise myself that I would some day present a talk about connections in the Olivetti Club at Cornell University. That day has come, and this document contains my notes for this talk. In the interests of brevity, I do not include too many technical details, and instead refer the reader to some lovely references. My main references were [2], [4], and [5].
    [Show full text]
  • The Category of Affine Connection Control Systems 3
    Proceedings of the 39th IEEE Conference on Decision and Control pages 5119{5124, December 2000 doi: 10.1109/CDC.2001.914762 2000 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE The category of affine connection control systems∗ Andrew D. Lewisy 2000/02/28 Last updated: 2003/07/23 Abstract The category of affine connection control systems is one whose objects are control systems whose drift vector field is the geodesic spray of an affine connection, and whose control vector fields are vertical lifts to the tangent bundle of vector fields on configu- ration space. We investigate morphisms (feedback transformations) in this category. Keywords. control of mechanical systems, affine connections AMS Subject Classifications (2020). 53B05, 70Q05, 93B29 1. Introduction It is apparent that the study of what we will in this paper call “affine connection control systems" has a significant r^oleto play in the field of mechanical control systems. In a series of papers, [e.g., Bullo, Leonard, and Lewis 2000, Lewis 1998, Lewis 1999, Lewis and Murray 1997a, Lewis and Murray 1997b], the author and various coauthors have shown how the affine connection framework is useful in looking at mechanical systems whose Lagrangian is the kinetic energy with respect to a Riemannian metric, possibly in the presence of constraints linear in velocity [e.g., Lewis 1997, Lewis 2000].
    [Show full text]