DOCSLIB.ORG

How Do the Connection Coefficients Transform Under a General

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
How Do the Connection Coefficients Transform Under a General Physics 171 Fall 2015 How do the connection coefficients transform under a general coordinate transformation? 1. Definition of the connection coefficients and the covariant derivative The existence of an abstract vector V~ that lives in a curved spacetime does not depend on the coordinates chosen to describe the location of spacetime points. But, once a coor- dinate system is chosen, one can also establish a set of linearly independent basis vectors ~eµ, where µ = 0, 1, 2, 3 labels the four basis vectors (the maximally allowed number in a four-dimensional spacetime). We can then expand any abstract vector V~ in terms of the four basis vectors, ~ µ V = V ~eµ , (1) where there is an implicit sum over µ following the Einstein summation convention. The four numbers V µ are the contravariant components of the abstract vector V~ with respect to the chosen coordinate system.1 Eq. (1) refers to a particular point in the spacetime. We can just as well examine vector defined at another point in the spacetime. We can again make use of eq. (1), keeping in mind that the orientation of the basis vectors can be different. That is, in general ~eµ depends on the location in spacetime. The basis vectors are orthonormal with respect to the metric tensor, which means that ~eµ · ~eν = gµν . (2) It follows from eqs. (1) and (2) that the dot product of two vectors V~ and W~ is given by ~ ~ µ ν µ ν V · W = V W ~eµ · ~eν = gµν V W , as expected. We can now define how vectors in the spacetime change as one moves from one spacetime point to another. A simple computation yields ~ µ µ µ dV = d(V ~eµ)= dV ~eµ + V d~eµ ∂V µ = dxα~e + V µd~e , (3) ∂xα µ µ where the chain rule has been employed in the final step. To complete the analysis, we must determine how ~eµ changes as one moves from one spacetime point to another. Since ~eµ 1 In contrast, the subscript µ employed by ~eµ refers to one of the four possible basis vectors. In this ~ sense, each of the four ~eµ are abstract vectors in the same way that V is an abstract vector. 1 depends on the location in spacetime (which is specified by the spacetime coordinate xα), the change in ~eµ as one moves from one spacetime point to another is encoded in the partial α derivatives, ∂~eµ/∂x . This latter quantity is also an abstract vector, so we can express it as a linear combination of basis vectors, in analogy with eq. (1), ∂~e µ =Γβ ~e , (4) ∂xα αµ β β where the coefficients Γαµ, called the connection coefficients, determine how the basis changes as one moves from one spacetime point to another. That is, eq. (4) serves as the definition of the connection coefficients.2 Using the chain rule, it follows that ∂~e d~e = µ dxα =Γβ dxα~e . (5) µ ∂xα αµ β Inserting eq. (5) into eq. (3) yields ∂V µ dV~ = dxα~e +Γβ V µdxα~e . (6) ∂xα µ αµ β β µ α~e µ β α~e Note that ΓαµV dx β = ΓαβV dx µ, after relabeling the two pairs of dummy indices. Inserting this result back into eq. (6) yields ∂V µ dV~ = +Γµ V β dxα ~e . (7) ∂xα αβ µ µ This result motivates the definition of the covariant derivative, DαV , as follows: ∂V µ D V µ ≡ +Γµ V β . (8) α ∂xα αβ Inserting eq. (8) back into eq. (7), it follows that ~ µ α dV =(DαV )dx ~eµ . (9) The importance of eq. (9) is as follows. Given the abstract vector given by eq. (1), we identify the contravariant components V µ, which transforms under a general coordinate transformation, x′ = x′(x) as follows, ∂x′ µ V ′ µ = V α . (10) ∂xα Likewise, dV~ is an abstract vector given by eq. (9). Thus, we identify the contravariant µ α µ components of this vector by (DαV )dx . This means that DαV transforms under a general coordinate transformation as a second rank mixed tensor.3 2The definition of the connection coefficients employed in eq. (4) follows the conventions established ~e α β ~e by our textbook. Other textbooks define ∂ µ/∂x = Γµα β which has the order of the two lower indices of the connection coefficients switched with respect to eq. (4). Ultimately it will not matter, since in general relativity, the connection coefficients are symmetric under the interchange of the two lower indices [cf. eq. (39)]. 3This conclusion is implicitly obvious, since it is ensured by the tensor notation and the rules for manipulating indices. However, it is formally a result of a theorem of tensor algebra known as the quotient theorem. This theorem is alluded to in problem 12.6 on pp. 296–297 of our textbook. For a more thorough discussion, see, e.g. p. 532 of Boas. 2 2. Transformation properties of the connection coefficients Under a general coordinate transformation, the contravariant components of V~ and the basis vectors ~e must transform in such a way that the abstract vector V~ (which exists independently of the choice of coordinates) is unaffected. That is, V~ ′ µ~e ′ µ~e = V µ = V µ . In light of eq. (10), we must have β ′ ∂x ~e = ~e , (11) µ ∂x′ µ β since in this case ′ µ β β ′ ∂x ∂x ∂x V~ = V ′ µ~e = V α~e = V α~e = δβV α~e = V α~e , µ ∂xα ∂x′ µ β ∂xα β α β α after making use of the chain rule. To derive the transformation law of the connection coefficients, we employ eq. (4) in the primed coordinate system, ′ ∂~e ′ µ =Γ′ ρ ~e , (12) ∂x′ α αµ ρ Using eq. (11) on both sides of eq. (12), ∂ ∂xβ ∂xβ ~e =Γ′ ρ ~e . (13) ∂x′ α ∂x′ µ β αµ ∂x′ ρ β Employing the product rule on the left hand side of eq. (13), ∂2xβ ∂xβ ∂~e ∂xβ ~e + β =Γ′ ρ ~e . (14) ∂x′ α∂x′ µ β ∂x′ µ ∂x′ α αµ ∂x′ ρ β Applying the chain rule to the second term on the left hand side of eq. (14). ∂2xβ ∂xβ ∂xτ ∂~e ∂xβ ~e + β =Γ′ ρ ~e . ∂x′ α∂x′ µ β ∂x′ µ ∂x′ α ∂xτ αµ ∂x′ ρ β Using the definition of the connection coefficients given in eq. (4), ∂2xβ ∂xβ ∂xτ ∂xβ ~e + Γρ ~e =Γ′ ρ ~e . ∂x′ α∂x′ µ β ∂x′ µ ∂x′ α τβ ρ αµ ∂x′ ρ β Relabeling the indices of the second term above, β → ρ and ρ → β, ∂2xβ ∂xρ ∂xτ ∂xβ ~e + Γβ ~e =Γ′ ρ ~e . ∂x′ α∂x′ µ β ∂x′ µ ∂x′ α τρ β αµ ∂x′ ρ β 3 We can now factor out a common factor, and we end up with ∂xβ ∂xρ ∂xτ ∂2xβ Γ′ ρ − Γβ − ~e =0 . (15) αµ ∂x′ ρ ∂x′ µ ∂x′ α τρ ∂x′ α∂x′ µ β Since the ~eβ are four linearly independent basis vectors, we conclude that the expression inside the parentheses in eq. (15) must vanish. That is, ∂xβ ∂xρ ∂xτ ∂2xβ Γ ′ ρ = Γβ + . (16) αµ ∂x′ ρ ∂x′ µ ∂x′ α τρ ∂x′ α∂x′ µ Finally, we multiply both sides of eq. (16) by ∂x′ σ/∂xβ , and make use of the identity ∂x′ σ ∂xβ ∂x′ σ = = δσ , ∂xβ ∂x′ ρ ∂x′ ρ ρ which is a consequence of the chain rule. The end result after summing over the repeated index ρ, ∂x′ σ ∂xρ ∂xτ ∂x′ σ ∂2xβ Γ ′ σ = Γβ + . (17) αµ ∂xβ ∂x′ µ ∂x′ α τρ ∂xβ ∂x′ α∂x′ µ There is an alternate form of eq. (17) that is sometimes useful. To derive it, we begin with an identity that is a consequence of the chain rule, ∂x′ β ∂xµ ∂x′ β = = δβ , (18) ∂xµ ∂x′ α ∂x′ α α ′ ρ β Take the partial derivative of this equation with respect to x . Since δα is the Kro- necker delta (in particular, it does not depend on the location in spacetime), it follows that β ′ ρ ∂δα/∂x = 0. Hence, ∂ ∂x′ β ∂xµ =0 . (19) ∂x′ ρ ∂xµ ∂x′ α Using the product rule, eq. (19) yields ∂ ∂x′ β ∂xµ ∂x′ β ∂2xµ + =0 . (20) ∂x′ ρ ∂xµ ∂x′ α ∂xµ ∂x′ ρ∂x′ α We now evaluate the term in brackets above by invoking the chain rule, ∂ ∂x′ β ∂xτ ∂ ∂x′ β ∂xτ ∂2x′ β = = . ∂x′ ρ ∂xµ ∂x′ ρ ∂xτ ∂xµ ∂x′ ρ ∂xτ ∂xµ Using this result in eq. (20) leads to the following identity, ∂x′ β ∂2xµ ∂xτ ∂2x′ β ∂xµ = − . (21) ∂xµ ∂x′ ρ∂x′ α ∂x′ ρ ∂xτ ∂xµ ∂x′ α 4 Let us relabel the indices in eq. (21) as follows: β → σ, µ → β, ρ → α and α → µ. The result of this index gymnastics is ∂x′ σ ∂2xβ ∂xτ ∂2x′ σ ∂xβ = − . (22) ∂xβ ∂x′ α∂x′ µ ∂x′ α ∂xτ ∂xβ ∂x′ µ The left hand side of eq. (22) is precisely the last term that appears in eq. (17). Thus, an alternate form of the transformation law for the connection coefficients under a general coordinate transformation is ∂x′ σ ∂xρ ∂xτ ∂xτ ∂2x′ σ ∂xβ Γ ′ σ = Γβ − . (23) αµ ∂xβ ∂x′ µ ∂x′ α τρ ∂x′ α ∂xτ ∂xβ ∂x′ µ σ Both forms of the transformation law given in eqs. (17) and (23) imply that Γαµ is not σ a tensor.
Load more

Recommended publications
  • Tensors and Differential Forms on Vector Spaces
    APPENDIX A TENSORS AND DIFFERENTIAL FORMS ON VECTOR SPACES Since only so much of the vast and growing field of differential forms and differentiable manifolds will be actually used in this survey, we shall attempt to briefly review how the calculus of exterior differential forms on vector spaces can serve as a replacement for the more conventional vector calculus and then introduce only the most elementary notions regarding more topologically general differentiable manifolds, which will mostly be used as the basis for the discussion of Lie groups, in the following appendix. Since exterior differential forms are special kinds of tensor fields – namely, completely-antisymmetric covariant ones – and tensors are important to physics, in their own right, we shall first review the basic notions concerning tensors and multilinear algebra. Presumably, the reader is familiar with linear algebra as it is usually taught to physicists, but for the “basis-free” approach to linear and multilinear algebra (which we shall not always adhere to fanatically), it would also help to have some familiarity with the more “abstract-algebraic” approach to linear algebra, such as one might learn from Hoffman and Kunze [ 1], for instance. 1. Tensor algebra. – A tensor algebra is a type of algebra in which multiplication takes the form of the tensor product. a. Tensor product. – Although the tensor product of vector spaces can be given a rigorous definition in a more abstract-algebraic context (See Greub [ 2], for instance), for the purposes of actual calculations with tensors and tensor fields, it is usually sufficient to say that if V and W are vector spaces of dimensions n and m, respectively, then the tensor product V ⊗ W will be a vector space of dimension nm whose elements are finite linear combinations of elements of the form v ⊗ w, where v is a vector in V and w is a vector in W.
    [Show full text]
  • Tensors Notation • Contravariant Denoted by Superscript Ai Took a Vector and Gave for Vector Calculus Us a Vector
    Tensors Notation • contravariant denoted by superscript Ai took a vector and gave For vector calculus us a vector • covariant denoted by subscript Ai took a scaler and gave us a vector Review To avoid confusion in cartesian coordinates both types are the same so • Vectors we just opt for the subscript. Thus a vector x would be x1,x2,x3 R3 • Summation representation of an n by n array As it turns out in an cartesian space and other rectilinear coordi- nate systems there is no difference between contravariant and covariant • Gradient, Divergence and Curl vectors. This will not be the case for other coordinate systems such a • Spherical Harmonics (maybe) curvilinear coordinate systems or in 4 dimensions. These definitions are closely related to the Jacobian. Motivation If you tape a book shut and try to spin it in the air on each indepen- Definitions for Tensors of Rank 2 dent axis you will notice that it spins fine on two axes but not on the Rank 2 tensors can be written as a square array. They have con- third. That’s the inertia tensor in your hands. Similar are the polar- travariant, mixed, and covariant forms. As we might expect in cartesian izations tensor, index of refraction tensor and stress tensor. But tensors coordinates these are the same. also show up in all sorts of places that don’t connect to an anisotropic material property, in fact even spherical harmonics are tensors. What are the similarities and differences between such a plethora of tensors? Vector Calculus and Identifers The mathematics of tensors is particularly useful for de- Tensor analysis extends deep into coordinate transformations of all scribing properties of substances which vary in direction– kinds of spaces and coordinate systems.
    [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]
  • 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]
  • Multilinear Algebra
    Appendix A Multilinear Algebra This chapter presents concepts from multilinear algebra based on the basic properties of finite dimensional vector spaces and linear maps. The primary aim of the chapter is to give a concise introduction to alternating tensors which are necessary to define differential forms on manifolds. Many of the stated definitions and propositions can be found in Lee [1], Chaps. 11, 12 and 14. Some definitions and propositions are complemented by short and simple examples. First, in Sect. A.1 dual and bidual vector spaces are discussed. Subsequently, in Sects. A.2–A.4, tensors and alternating tensors together with operations such as the tensor and wedge product are introduced. Lastly, in Sect. A.5, the concepts which are necessary to introduce the wedge product are summarized in eight steps. A.1 The Dual Space Let V be a real vector space of finite dimension dim V = n.Let(e1,...,en) be a basis of V . Then every v ∈ V can be uniquely represented as a linear combination i v = v ei , (A.1) where summation convention over repeated indices is applied. The coefficients vi ∈ R arereferredtoascomponents of the vector v. Throughout the whole chapter, only finite dimensional real vector spaces, typically denoted by V , are treated. When not stated differently, summation convention is applied. Definition A.1 (Dual Space)Thedual space of V is the set of real-valued linear functionals ∗ V := {ω : V → R : ω linear} . (A.2) The elements of the dual space V ∗ are called linear forms on V . © Springer International Publishing Switzerland 2015 123 S.R.
    [Show full text]
  • Tensor Calculus and Differential Geometry
    Course Notes Tensor Calculus and Differential Geometry 2WAH0 Luc Florack March 10, 2021 Cover illustration: papyrus fragment from Euclid’s Elements of Geometry, Book II [8]. Contents Preface iii Notation 1 1 Prerequisites from Linear Algebra 3 2 Tensor Calculus 7 2.1 Vector Spaces and Bases . .7 2.2 Dual Vector Spaces and Dual Bases . .8 2.3 The Kronecker Tensor . 10 2.4 Inner Products . 11 2.5 Reciprocal Bases . 14 2.6 Bases, Dual Bases, Reciprocal Bases: Mutual Relations . 16 2.7 Examples of Vectors and Covectors . 17 2.8 Tensors . 18 2.8.1 Tensors in all Generality . 18 2.8.2 Tensors Subject to Symmetries . 22 2.8.3 Symmetry and Antisymmetry Preserving Product Operators . 24 2.8.4 Vector Spaces with an Oriented Volume . 31 2.8.5 Tensors on an Inner Product Space . 34 2.8.6 Tensor Transformations . 36 2.8.6.1 “Absolute Tensors” . 37 CONTENTS i 2.8.6.2 “Relative Tensors” . 38 2.8.6.3 “Pseudo Tensors” . 41 2.8.7 Contractions . 43 2.9 The Hodge Star Operator . 43 3 Differential Geometry 47 3.1 Euclidean Space: Cartesian and Curvilinear Coordinates . 47 3.2 Differentiable Manifolds . 48 3.3 Tangent Vectors . 49 3.4 Tangent and Cotangent Bundle . 50 3.5 Exterior Derivative . 51 3.6 Affine Connection . 52 3.7 Lie Derivative . 55 3.8 Torsion . 55 3.9 Levi-Civita Connection . 56 3.10 Geodesics . 57 3.11 Curvature . 58 3.12 Push-Forward and Pull-Back . 59 3.13 Examples . 60 3.13.1 Polar Coordinates in the Euclidean Plane .
    [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]
  • C:\Book\Booktex\Notind.Dvi 0
    362 INDEX A Cauchy stress law 216 Absolute differentiation 120 Cauchy-Riemann equations 293,321 Absolute scalar field 43 Charge density 323 Absolute tensor 45,46,47,48 Christoffel symbols 108,110,111 Acceleration 121, 190, 192 Circulation 293 Action integral 198 Codazzi equations 139 Addition of systems 6, 51 Coefficient of viscosity 285 Addition of tensors 6, 51 Cofactors 25, 26, 32 Adherence boundary condition 294 Compatibility equations 259, 260, 262 Aelotropic material 245 Completely skew symmetric system 31 Affine transformation 86, 107 Compound pendulum 195,209 Airy stress function 264 Compressible material 231 Almansi strain tensor 229 Conic sections 151 Alternating tensor 6,7 Conical coordinates 74 Ampere’s law 176,301,337,341 Conjugate dyad 49 Angle between vectors 80, 82 Conjugate metric tensor 36, 77 Angular momentum 218, 287 Conservation of angular momentum 218, 295 Angular velocity 86,87,201,203 Conservation of energy 295 Arc length 60, 67, 133 Conservation of linear momentum 217, 295 Associated tensors 79 Conservation of mass 233, 295 Auxiliary Magnetic field 338 Conservative system 191, 298 Axis of symmetry 247 Conservative electric field 323 B Constitutive equations 242, 251,281, 287 Continuity equation 106,234, 287, 335 Basic equations elasticity 236, 253, 270 Contraction 6, 52 Basic equations for a continuum 236 Contravariant components 36, 44 Basic equations of fluids 281, 287 Contravariant tensor 45 Basis vectors 1,2,37,48 Coordinate curves 37, 67 Beltrami 262 Coordinate surfaces 37, 67 Bernoulli’s Theorem 292 Coordinate transformations
    [Show full text]
  • GEOMETRIC INTERPRETATIONS of CURVATURE Contents 1. Notation and Summation Conventions 1 2. Affine Connections 1 3. Parallel Tran
    GEOMETRIC INTERPRETATIONS OF CURVATURE ZHENGQU WAN Abstract. This is an expository paper on geometric meaning of various kinds of curvature on a Riemann manifold. Contents 1. Notation and Summation Conventions 1 2. Affine Connections 1 3. Parallel Transport 3 4. Geodesics and the Exponential Map 4 5. Riemannian Curvature Tensor 5 6. Taylor Expansion of the Metric in Normal Coordinates and the Geometric Interpretation of Ricci and Scalar Curvature 9 Acknowledgments 13 References 13 1. Notation and Summation Conventions We assume knowledge of the basic theory of smooth manifolds, vector fields and tensors. We will assume all manifolds are smooth, i.e. C1, second countable and Hausdorff. All functions, curves and vector fields will also be smooth unless otherwise stated. Einstein summation convention will be adopted in this paper. In some cases, the index types on either side of an equation will not match and @ so a summation will be needed. The tangent vector field @xi induced by local i coordinates (x ) will be denoted as @i. 2. Affine Connections Riemann curvature is a measure of the noncommutativity of parallel transporta- tion of tangent vectors. To define parallel transport, we need the notion of affine connections. Definition 2.1. Let M be an n-dimensional manifold. An affine connection, or connection, is a map r : X(M) × X(M) ! X(M), where X(M) denotes the space of smooth vector fields, such that for vector fields V1;V2; V; W1;W2 2 X(M) and function f : M! R, (1) r(fV1 + V2;W ) = fr(V1;W ) + r(V2;W ), (2) r(V; aW1 + W2) = ar(V; W1) + r(V; W2), for all a 2 R.
    [Show full text]