DOCSLIB.ORG

GEODESIC FLOW 1. Introduction in This Lecture Note We Will Introduce the Notion of Geodesics and Geodesic Flow for a Riemannian

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
GEODESIC FLOW 1. Introduction in This Lecture Note We Will Introduce the Notion of Geodesics and Geodesic Flow for a Riemannian GEODESIC FLOW SHUBHAM SINHA 1. Introduction In this lecture note we will introduce the notion of Geodesics and Geodesic flow for a Riemannian manifold equipped with the Riemann- ian connection. Intuitively a geodesic is a curve with zero acceleration on the manifold M. When the manifold is Rn, then geodesics are precisely the constant velocity curve (c0(t) = v is constant, where tangent space of points in Rn is canonically identified with Rn). For a smooth surface in R3, geodesics are the curves with acceleration c00(t) (in the ambient space R3) perpendicular to the surface. Such characterization was studied by Bernoulli and Euler, but Gauss understood relation between geodesics and curvature of the surface. Geodesics starting at a point p 2 M are uniquely defined a the starting velocity v 2 TpM. This statement implies that points in the tangent bundle TM defines geodesics. When we look at the `time evolution' of the geodesics on the tangent bundle TM, we get a local flow (and vector field) on TM which we call Geodesic flow. We will give the rigorous definition in the next section. Geodesic flow enables us to define a canonical exponential map which is diffeomorphism from an open ball in TpM to an open neighborhood of p. I would like to end the introduction by giving an easy example de- scribing geodesic flow. Let M = S1 be a circle defined by x2 + y2 = 1 in R2 with the induced Riemannian metric, then the tangent bundle TM can be identified with the cylinder x2 + y2 = 1 in R3, where v = (p; z) = (x; y; z) 2 TpM is an element with jvjp = jzj (and counter clockwise is the positive direction). In this setting the Geodesic flow on TM is given by φ : R × TM ! TM defined by φ(t; (cos θ0; sin θ0; z)) = (cos(θ0 + tz); sin(θ0 + tz); z). Observe that if π : TM ! M is the projection, then π ◦ φ(t; (p; z)) is the geodesic passing through p with velocity z (i.e uniform circular motion with speed jzj). 1 2 SHUBHAM SINHA 2. Preliminary I am rephrasing required results from the book Introduction to smooth manifolds by John.M.Lee. Definition 2.1. Let M be a smooth manifold and X be a smooth vector field on M, then a curve γ : I ! M called a trajectory of X if γ0(t) = X(γ(t)) as an element of Tγ(t)M for all t 2 I. Proposition 2.2. Let X be a smooth vector field on M, then for any point p 2 M, there exist an and a trajectory γ defined on (−, ) with γ(0) = p. Moreover, γ is unique trajectory starting at p (where we identify γ and γ0 if they agree on a neighborhood of 0). Proof. This a consequence of the existence and uniqueness of the solu- tion of linear system of ordinary differential equations. Definition 2.3. We define a global flow to be a differential map φ : R × M ! M which satisfies φ(t + s; p) = φ(t; φ(s; p)). Remark 2.4. A global flow is simply a group action of Lie group R on the manifold M. We can think of global flow as a process of `sliding' points in M. The following proposition lets us define a vector field corresponding to a global flow which is called infinitesimal generator φ. Proposition 2.5. Let φ be a global flow, then X defined by @φ(t; p) (1) X(p) = @t t=0 is a smooth vector field on M. Moreover for any p 2 M, the curve φ(t; p) is a trajectory of X at p. The above proposition is not a bijective correspondence. This is because in ODE the existence of the solution to a linear system is local, hence given a vector field we will not be able to obtain a global flow. Definition 2.6. We define flow to be a function φ : D! R × M ! M from an open subset D in R×M such that f0g×M ⊂ D, for all p 2 M we have φ(0; p) = p and satisfy transnational property φ(t + s; p) = φ(t; φ(s; p)) whenever it defined. Proposition 2.7. There is a canonical bijection between the set of flows on M and set of vector field on M, where one way map is given by Equation(1). Remark 2.8. Note that in the proposition above we if the manifold is not compact, there may not be a uniform δ > 0 such that (−δ; δ)×M ⊂ GEODESIC FLOW 3 D. Thus if we want such a property we will have to restrict out domain to some open subsets of M. Theorem 2.9. If X is a smooth vector field on the open set V in the manifold M and p 2 V then there exist an open set V0 ⊂ V , p 2 V0, a number δ > 0 and a map φ :(−δ; δ) × V0 ! V such that the curve t ! φ(t; q), t 2 (−δ; δ), is the unique trajectory of X starting at q, for every q 2 V0. 3. Geodesic I will be following chapter 3 of'Riemannian geometry' by Do Carmo for the rest of the notes. Definition 3.1. A curve γ : I ! M is called a geodesic at t0 2 I if D the covariant derivative dt (dγ=dt) = 0 at the point t0. If γ is geodesic at all points t 2 I, we say γ is a geodesic. Remark 3.2. If γ as above is a geodesic, then by using property of Riemannian connection we have d dγ dγ D dγ dγ ; = 2 ; = 0: dt dt dt dt dt dt dγ Thus we have that length of dt = c is a constant. Now we are going to determine local equation satisfied by geodesic curves. Let (U; x) be a local of local coordinates about γ(t0). In U, a curve γ γ(t) = (x1(t); : : : xn(t)) is a geodesic iff 2 D dγ X d xk X dxi dxj (2) 0 = = + Γk X dt dt dt2 ij dt dt k k i;j k k where Xk = @=@x in the local coordinates and Γij are the Christoffel symbols. Hence the desired equation satisfied by the curve is a second order system 2 d xk X dxi dxj (3) + Γk = 0: dt2 ij dt dt i;j Note that second order system do not give rise to a description of a vector field. So we use this to define a first order local system on the tangent bundle TM which gives us prescription of a vector field (and flow) on TM. 4 SHUBHAM SINHA Note that TU = U × Rn over open set U with coordinates system (x1(t); : : : ; xn(t); y1(t); : : : yn(t)) and π : TM ! M is the projection given by π(q; v) = q. Observe that any curve γ determines a curve t ! (γ(t); γ0(t)) in TM. dx1(t) dxn(t) If is a geodesic then in local coordinate t ! (x1(t) : : : ; xn(t); dt ;::: dt ) satisfies the first order system ( dxk = y (4) dt k dyk P k dt = − i;j Γijyiyj on TU. Lemma 3.3. There exist a unique vector field G on TM whose tra- jectories are of the form t ! (γ(t); γ0(t)), where γ is a geodesic on M. Proof. The existence is obtained by defining it locally by (4). By com- patibility of Christoffel symbols, we know it is a well defined and it satisfies the required property. From the above discussion, any G with required property must sat- isfy 4 hence by uniqueness of the first order local system we get the uniqueness of G. Definition 3.4. The vector field defined above is called the geodesic field on TM and its corresponding flow is called the geodesic flow on TM. Applying theorem 2.9 to the geodesic field at point (p; 0) 2 TM, we obtain Proposition 3.5. For each p 2 M, there exist an open set U in TU, where (U; x) is a coordinate system at p and (p; 0) 2 U, a number δ > 0 and a map φ :(−δ; δ) × U ! TU, such that t ! φ(t; q; v) is the unique trajectory of G which satisfies the initial condition φ(0; q; v) = (q; v) for each (q; v) 2 TU. Observe that it is possible to choose U in the form (5) U = f(q; v) 2 TU; q 2 U and v 2 TqM with jvj < 1g , where V ⊂ U is an open subset. Moreover by putting γ = π ◦ φ in the previous proposition we get the following Proposition 3.6. Given p 2 M, there exist an open set V 2 M con- taining p, numbers δ > 0 and 1 > 0 and a map (6) γ :(−δ; δ) × U ! M GEODESIC FLOW 5 , where U is defined in equation (5) such that the curve t ! γ(t; q; v), t 2 (−δ; δ), is the unique geodesic of M starting at q 2 V with velocity v 2 TqM with jvj < 1. Remark 3.7. The above proposition asserts the existence and unique- ness of geodesic γ(t; q; v) for small enough velocity jvj < 1 defined on the time interval (−δ; δ). The next lemma describes that we can increase (decrease) the time interval where a geodesic is defined by re- ducing (increasing) the permissible magnitude of velocity. Lemma 3.8.
Load more

Recommended publications
  • A Geometric Take on Metric Learning
    A Geometric take on Metric Learning Søren Hauberg Oren Freifeld Michael J. Black MPI for Intelligent Systems Brown University MPI for Intelligent Systems Tubingen,¨ Germany Providence, US Tubingen,¨ Germany [email protected] [email protected] [email protected] Abstract Multi-metric learning techniques learn local metric tensors in different parts of a feature space. With such an approach, even simple classifiers can be competitive with the state-of-the-art because the distance measure locally adapts to the struc- ture of the data. The learned distance measure is, however, non-metric, which has prevented multi-metric learning from generalizing to tasks such as dimensional- ity reduction and regression in a principled way. We prove that, with appropriate changes, multi-metric learning corresponds to learning the structure of a Rieman- nian manifold. We then show that this structure gives us a principled way to perform dimensionality reduction and regression according to the learned metrics. Algorithmically, we provide the first practical algorithm for computing geodesics according to the learned metrics, as well as algorithms for computing exponential and logarithmic maps on the Riemannian manifold. Together, these tools let many Euclidean algorithms take advantage of multi-metric learning. We illustrate the approach on regression and dimensionality reduction tasks that involve predicting measurements of the human body from shape data. 1 Learning and Computing Distances Statistics relies on measuring distances. When the Euclidean metric is insufficient, as is the case in many real problems, standard methods break down. This is a key motivation behind metric learning, which strives to learn good distance measures from data.
    [Show full text]
  • 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]
  • Chapter 5. Flow Maps and Dynamical Systems
    Chapter 5 Flow Maps and Dynamical Systems Main concepts: In this chapter we introduce the concepts of continuous and discrete dynamical systems on phase space. Keywords are: classical mechanics, phase space, vector field, linear systems, flow maps, dynamical systems Figure 5.1: A solar system is well modelled by classical mechanics. (source: Wikimedia Commons) In Chapter 1 we encountered a variety of ODEs in one or several variables. Only in a few cases could we write out the solution in a simple closed form. In most cases, the solutions will only be obtainable in some approximate sense, either from an asymptotic expansion or a numerical computation. Yet, as discussed in Chapter 3, many smooth systems of differential equations are known to have solutions, even globally defined ones, and so in principle we can suppose the existence of a trajectory through each point of phase space (or through “almost all” initial points). For such systems we will use the existence of such a solution to define a map called the flow map that takes points forward t units in time from their initial points. The concept of the flow map is very helpful in exploring the qualitative behavior of numerical methods, since it is often possible to think of numerical methods as approximations of the flow map and to evaluate methods by comparing the properties of the map associated to the numerical scheme to those of the flow map. 25 26 CHAPTER 5. FLOW MAPS AND DYNAMICAL SYSTEMS In this chapter we will address autonomous ODEs (recall 1.13) only: 0 d y = f(y), y, f ∈ R (5.1) 5.1 Classical mechanics In Chapter 1 we introduced models from population dynamics.
    [Show full text]
  • Lecture 1 – Symmetries & Conservation
    LECTURE 1 – SYMMETRIES & CONSERVATION Contents • Symmetries & Transformations • Transformations in Quantum Mechanics • Generators • Symmetry in Quantum Mechanics • Conservations Laws in Classical Mechanics • Parity Messages • Symmetries give rise to conserved quantities . Symmetries & Conservation Laws Lecture 1, page1 Symmetry & Transformations Systems contain Symmetry if they are unchanged by a Transformation . This symmetry is often due to an absence of an absolute reference and corresponds to the concept of indistinguishability . It will turn out that symmetries are often associated with conserved quantities . Transformations may be: Active: Active • Move object • More physical Passive: • Change “description” Eg. Change Coordinate Frame • More mathematical Passive Symmetries & Conservation Laws Lecture 1, page2 We will consider two classes of Transformation: Space-time : • Translations in (x,t) } Poincaré Transformations • Rotations and Lorentz Boosts } • Parity in (x,t) (Reflections) Internal : associated with quantum numbers Translations: x → 'x = x − ∆ x t → 't = t − ∆ t Rotations (e.g. about z-axis): x → 'x = x cos θz + y sin θz & y → 'y = −x sin θz + y cos θz Lorentz (e.g. along x-axis): x → x' = γ(x − βt) & t → t' = γ(t − βx) Parity: x → x' = −x t → t' = −t For physical laws to be useful, they should exhibit a certain generality, especially under symmetry transformations. In particular, we should expect invariance of the laws to change of the status of the observer – all observers should have the same laws, even if the evaluation of measurables is different. Put differently, the laws of physics applied by different observers should lead to the same observations. It is this principle which led to the formulation of Special Relativity.
    [Show full text]
  • FOLIATIONS Introduction. the Study of Foliations on Manifolds Has a Long
    BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY Volume 80, Number 3, May 1974 FOLIATIONS BY H. BLAINE LAWSON, JR.1 TABLE OF CONTENTS 1. Definitions and general examples. 2. Foliations of dimension-one. 3. Higher dimensional foliations; integrability criteria. 4. Foliations of codimension-one; existence theorems. 5. Notions of equivalence; foliated cobordism groups. 6. The general theory; classifying spaces and characteristic classes for foliations. 7. Results on open manifolds; the classification theory of Gromov-Haefliger-Phillips. 8. Results on closed manifolds; questions of compact leaves and stability. Introduction. The study of foliations on manifolds has a long history in mathematics, even though it did not emerge as a distinct field until the appearance in the 1940's of the work of Ehresmann and Reeb. Since that time, the subject has enjoyed a rapid development, and, at the moment, it is the focus of a great deal of research activity. The purpose of this article is to provide an introduction to the subject and present a picture of the field as it is currently evolving. The treatment will by no means be exhaustive. My original objective was merely to summarize some recent developments in the specialized study of codimension-one foliations on compact manifolds. However, somewhere in the writing I succumbed to the temptation to continue on to interesting, related topics. The end product is essentially a general survey of new results in the field with, of course, the customary bias for areas of personal interest to the author. Since such articles are not written for the specialist, I have spent some time in introducing and motivating the subject.
    [Show full text]
  • The Homology Theory of the Closed Geodesic Problem
    J. DIFFERENTIAL GEOMETRY 11 (1976) 633-644 THE HOMOLOGY THEORY OF THE CLOSED GEODESIC PROBLEM MICHELINE VIGUE-POIRRIER & DENNIS SULLIVAN The problem—does every closed Riemannian manifold of dimension greater than one have infinitely many geometrically distinct periodic geodesies—has received much attention. An affirmative answer is easy to obtain if the funda- mental group of the manifold has infinitely many conjugacy classes, (up to powers). One merely needs to look at the closed curve representations with minimal length. In this paper we consider the opposite case of a finite fundamental group and show by using algebraic calculations and the work of Gromoll-Meyer [2] that the answer is again affirmative if the real cohomology ring of the manifold or any of its covers requires at least two generators. The calculations are based on a method of the second author sketched in [6], and he wishes to acknowledge the motivation provided by conversations with Gromoll in 1967 who pointed out the surprising fact that the available tech- niques of algebraic topology loop spaces, spectral sequences, and so forth seemed inadequate to handle the "rational problem" of calculating the Betti numbers of the space of all closed curves on a manifold. He also acknowledges the help given by John Morgan in understanding what goes on here. The Gromoll-Meyer theorem which uses nongeneric Morse theory asserts the following. Let Λ(M) denote the space of all maps of the circle S1 into M (not based). Then there are infinitely many geometrically distinct periodic geodesies in any metric on M // the Betti numbers of Λ(M) are unbounded.
    [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]
  • 3. Tensor Fields
    3.1 The tangent bundle. So far we have considered vectors and tensors at a point. We now wish to consider fields of vectors and tensors. The union of all tangent spaces is called the tangent bundle and denoted TM: TM = ∪x∈M TxM . (3.1.1) The tangent bundle can be given a natural manifold structure derived from the manifold structure of M. Let π : TM → M be the natural projection that associates a vector v ∈ TxM to the point x that it is attached to. Let (UA, ΦA) be an atlas on M. We construct an atlas on TM as follows. The domain of a −1 chart is π (UA) = ∪x∈UA TxM, i.e. it consists of all vectors attached to points that belong to UA. The local coordinates of a vector v are (x1,...,xn, v1,...,vn) where (x1,...,xn) are the coordinates of x and v1,...,vn are the components of the vector with respect to the coordinate basis (as in (2.2.7)). One can easily check that a smooth coordinate trasformation on M induces a smooth coordinate transformation on TM (the transformation of the vector components is given by (2.3.10), so if M is of class Cr, TM is of class Cr−1). In a similar way one defines the cotangent bundle ∗ ∗ T M = ∪x∈M Tx M , (3.1.2) the tensor bundles s s TMr = ∪x∈M TxMr (3.1.3) and the bundle of p-forms p p Λ M = ∪x∈M Λx . (3.1.4) 3.2 Vector and tensor fields.
    [Show full text]
  • Lecture 2 Tangent Space, Differential Forms, Riemannian Manifolds
    Lecture 2 tangent space, differential forms, Riemannian manifolds differentiable manifolds A manifold is a set that locally look like Rn. For example, a two-dimensional sphere S2 can be covered by two subspaces, one can be the northen hemisphere extended slightly below the equator and another can be the southern hemisphere extended slightly above the equator. Each patch can be mapped smoothly into an open set of R2. In general, a manifold M consists of a family of open sets Ui which covers M, i.e. iUi = M, n ∪ and, for each Ui, there is a continuous invertible map ϕi : Ui R . To be precise, to define → what we mean by a continuous map, we has to define M as a topological space first. This requires a certain set of properties for open sets of M. We will discuss this in a couple of weeks. For now, we assume we know what continuous maps mean for M. If you need to know now, look at one of the standard textbooks (e.g., Nakahara). Each (Ui, ϕi) is called a coordinate chart. Their collection (Ui, ϕi) is called an atlas. { } The map has to be one-to-one, so that there is an inverse map from the image ϕi(Ui) to −1 Ui. If Ui and Uj intersects, we can define a map ϕi ϕj from ϕj(Ui Uj)) to ϕi(Ui Uj). ◦ n ∩ ∩ Since ϕj(Ui Uj)) to ϕi(Ui Uj) are both subspaces of R , we express the map in terms of n ∩ ∩ functions and ask if they are differentiable.
    [Show full text]
  • 10 Group Theory and Standard Model
    Physics 129b Lecture 18 Caltech, 03/05/20 10 Group Theory and Standard Model Group theory played a big role in the development of the Standard model, which explains the origin of all fundamental particles we see in nature. In order to understand how that works, we need to learn about a new Lie group: SU(3). 10.1 SU(3) and more about Lie groups SU(3) is the group of special (det U = 1) unitary (UU y = I) matrices of dimension three. What are the generators of SU(3)? If we want three dimensional matrices X such that U = eiθX is unitary (eigenvalues of absolute value 1), then X need to be Hermitian (real eigenvalue). Moreover, if U has determinant 1, X has to be traceless. Therefore, the generators of SU(3) are the set of traceless Hermitian matrices of dimension 3. Let's count how many independent parameters we need to characterize this set of matrices (what is the dimension of the Lie algebra). 3 × 3 complex matrices contains 18 real parameters. If it is to be Hermitian, then the number of parameters reduces by a half to 9. If we further impose traceless-ness, then the number of parameter reduces to 8. Therefore, the generator of SU(3) forms an 8 dimensional vector space. We can choose a basis for this eight dimensional vector space as 00 1 01 00 −i 01 01 0 01 00 0 11 λ1 = @1 0 0A ; λ2 = @i 0 0A ; λ3 = @0 −1 0A ; λ4 = @0 0 0A (1) 0 0 0 0 0 0 0 0 0 1 0 0 00 0 −i1 00 0 01 00 0 0 1 01 0 0 1 1 λ5 = @0 0 0 A ; λ6 = @0 0 1A ; λ7 = @0 0 −iA ; λ8 = p @0 1 0 A (2) i 0 0 0 1 0 0 i 0 3 0 0 −2 They are called the Gell-Mann matrices.
    [Show full text]
  • 5. the Inverse Function Theorem We Now Want to Aim for a Version of the Inverse Function Theorem
    5. The inverse function theorem We now want to aim for a version of the Inverse function Theorem. In differential geometry, the inverse function theorem states that if a function is an isomorphism on tangent spaces, then it is locally an isomorphism. Unfortunately this is too much to expect in algebraic geometry, since the Zariski topology is too weak for this to be true. For example consider a curve which double covers another curve. At any point where there are two points in the fibre, the map on tangent spaces is an isomorphism. But there is no Zariski neighbourhood of any point where the map is an isomorphism. Thus a minimal requirement is that the morphism is a bijection. Note that this is not enough in general for a morphism between al- gebraic varieties to be an isomorphism. For example in characteristic p, Frobenius is nowhere smooth and even in characteristic zero, the parametrisation of the cuspidal cubic is a bijection but not an isomor- phism. Lemma 5.1. If f : X −! Y is a projective morphism with finite fibres, then f is finite. Proof. Since the result is local on the base, we may assume that Y is affine. By assumption X ⊂ Y × Pn and we are projecting onto the first factor. Possibly passing to a smaller open subset of Y , we may assume that there is a point p 2 Pn such that X does not intersect Y × fpg. As the blow up of Pn at p, fibres over Pn−1 with fibres isomorphic to P1, and the composition of finite morphisms is finite, we may assume that n = 1, by induction on n.
    [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]