# covariant derivative, connection

A covariant derivative is a (Koszul) connection on the tangent bundle and other tensor bundles. This 1-form is called the covariant diï¬erential of a section u and denoted âu. II, par. I apologize for the long question. Exterior covariant derivative for vector bundles. My ultimate aim is to understand the existing terminology and find appropriate terminology for covariant derivatives on vector bundles which generalizes to "covariant" derivatives on fiber bundles (a linear Ehresmann connection is to a [linear] covariant derivative as a nonlinear Ehresmann connection is to [fill in the blank]). Definition In the context of connections on â \infty-groupoid principal bundles. Ex be linear for all x. So for a frame field E 1, E 2, write Y = f 1 E 1 + f 2 E 2, and then define It looks at principal bundles and connections; connections and covariant derivatives; and horizontal lifts. 92 (properties of the curvature tensor). 3. Comparing eq. The meaningful way in which you can have a covariant derivative of the connection is the curvature. A vector bundle E â M may have an inner product on its ï¬bers. 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 It turns out that from Two of the more common notations Having a connection defined, you can then compute covariant derivatives of different objects. On functions you get just your directional derivatives $\nabla_X f = X f$. THE TORSION-FREE, METRIC-COMPATIBLE COVARIANT DERIVATIVE The properties that we have imposed on the covariant derivative so far are not enough to fully determine it. Covariant derivative and connection. Abstract: We show that the covariant derivative of a spinor for a general affine connection, not restricted to be metric compatible, is given by the Fock-Ivanenko coefficients with the antisymmetric part of the Lorentz connection. The covariant derivative Y¢ of Y ought to be â a ¢ Y, but neither a¢ nor Y is defined on an open set of M as required by the definition of â. (Weinberg 1972, p. 103), where is a Christoffel symbol, Einstein summation has been used in the last term, and is a comma derivative.The notation , which is a generalization of the symbol commonly used to denote the divergence of a vector function in three dimensions, is sometimes also used.. 75 The main point of this proposition is that the derivative of a vector ï¬eld Vin the direction of a vector vcan be computed if one only knows the values of Valong some curve with tangent vector v. The covariant derivative along Î³is deï¬ned by t Vi(t)â i = dVi dt In mathematics, the covariant derivative is a way of specifying a derivative along tangent vectors of a manifold.Alternatively, the covariant derivative is a way of introducing and working with a connection on a manifold by means of a differential operator, to be contrasted with the approach given by a principal connection on the frame bundle â see affine connection. I am trying to derive the expression in components for the covariant derivative of a covector (a 1-form), i.e the Connection symbols for covectors. Covariant derivatives are a means of differentiating vectors relative to vectors. take the covariant derivative of the covector acting on a vector, the result being a scalar. It also gives a relatively straightforward construction of a covariant derivative on a given vector bundle E â M with fiber ðn = ânRn or ân. It covers the space of covariant derivatives. You could in principle have connections for which $\nabla_{\mu}g_{\alpha \beta}$ did not vanish. This chapter examines the related notions of covariant derivative and connection. In mathematics, the covariant derivative is a way of specifying a derivative along tangent vectors of a manifold.Alternatively, the covariant derivative is a way of introducing and working with a connection on a manifold by means of a differential operator, to be contrasted with the approach given by a principal connection on the frame bundle â see affine connection. COVARIANT DERIVATIVE AND CONNECTIONS 2 @V @x b = @Va @x e a+VaGc abe c (4) = @Va @xb e a+VcGa cbe a (5) = @Va @xb +VcGa cb e a (6) where in the second line, we swapped the dummy indices aand c. The quantity in parentheses is called the covariantderivativeof Vand is written in a variety of ways in different books. 1. covariant derivative de nes another section rXs : M ! We discuss the notion of covariant derivative, which is a coordinate-independent way of differentiating one vector field with respect to another. I am trying to derive the expression in components for the covariant derivative of a covector (a 1-form), i.e the Connection symbols for covectors. The connection is chosen so that the covariant derivative of the metric is zero. What people usually do is. The exterior derivative is a generalisation of the gradient and curl operators. What people usually do is take the covariant derivative of the covector acting on a vector, the result being a scalar Invoke a â¦ Let $X$ be a smooth vector field, $X _ {p} \neq 0$, $p \in M$, and let $U$ be a tensor field of type $( r, s)$, that is, $r$ times contravariant and $s$ times covariant; by the covariant derivative (with respect to the given connection) of $U$ at $p \in M$ along $X$ one means the tensor (of the same type $( r, s)$) being DÎ¼ the covariant derivative, â Î¼ the usual derivative in the base spacetime, e the electric charge and A Î¼ the 4-potential (connection on the fiber). Proof that the covariant derivative of a vector transforms like a tensor The covariant derivative of a covariant tensor is We also use this concept(as covariant derivative) to study geodesic on surfaces without too many abstract treatments. (24) with the transformation law for the connection coeï¬cients, we see that it is the presence of the inhomogeneous term4 that is the origin of the non-tensorial property of ÎÏ Î±µ. This yields a possible definition of an affine connection as a covariant derivative or (linear) connection on the tangent bundle. Consider a particular connection on a vector bundle E. Since the covari-ant derivative â Xu is linear over functions w.r.t. Formal definition. 44444 Observe, that in fact, the tangent vector ( D X)(p) depends only on the Y vector Y(p), so a global affine connection on a manifold defines an affine connection â¦ The intesting property about the covariant derivative is that, as opposed to the usual directional derivative, this quantity transforms like a tensor, i.e. Connection of vector bundle was introduced in Riemannian geometry as a tool to talk about differentiation of vector fields. 1 < i,j,k < n, then defining the covariant derivative of a vector field by the above formula, we obtain an affine connection on U. The formalism is explained very well in Landau-Lifshitz, Vol. (Notice that this is true for any connection, in other words, connections agree on scalars). In words: the covariant derivative is the usual derivative along the coordinates with correction terms which tell how the coordinates change. The projective invariance of the spinor connection allows to introduce gauge fields interacting with spinors. The vanishing covariant metric derivative is not a consequence of using "any" connection, it's a condition that allows us to choose a specific connection $\Gamma^{\sigma}_{\mu \beta}$. The Riemann curvature tensor can be called the covariant exterior derivative of the connection. In an associated bundle with connection the covariant derivative of a section is a measure for how that section fails to be constant with respect to the connection.. From this discrete connection, a covariant derivative is constructed through exact differentiation, leading to explicit expressions for local integrals of first-order derivatives (such as divergence, curl, and the Cauchy-Riemann operator) and for L 2-based energies (such as the Dirichlet energy). In that case, a connection on E is called a metric connection provided that (1.9) Xhu,vi = â¦ The covariant derivative component is the component parallel to the cylinder's surface, and is the same as that before you rolled the sheet into a cylinder. The simplest solution is to define Y¢ by a frame field formula modeled on the covariant derivative formula in Lemma 3.1. When Ï : G â GL(V) is a representation, one can form the associated bundle E = P × Ï V.Then the exterior covariant derivative D given by a connection on P induces an exterior covariant derivative (sometimes called the exterior connection) on the associated bundle, this time using the nabla symbol: â: (,) â (, â â). An affine connection is typically given in the form of a covariant derivative, which gives a means for taking directional derivatives of vector fields, measuring the deviation of a vector field from being parallel in a given direction. Covariant derivatives and curvature on general vector bundles 3 the connection coeï¬cients ÎÎ± Î²j being deï¬ned by (1.8) âD j eÎ² = Î Î± Î²jeÎ±. Idea. E. Any sensible use of the word \derivative" should require that the resulting map rs(x) : TxM ! Covariant derivatives and spin connection If we consider the anholonomic components of a vector field carrying a charge , by means of the useful formula (1.41) we obtain (1.42) namely the anholonomic components of the covariant derivatives of . The covariant derivative; The connection; The covariant derivative in terms of the connection; The parallel transporter in terms of the connection; Geodesics and normal coordinates; Summary; Manifolds with connection; Introducing lengths and angles; Fiber bundles; Appendix: Categories and functors; References; About In fact, there is an in nite number of covariant derivatives: pick some coordinate basis, chose the 43 = 64 connection coe cients in this basis as you wis. First we cover formal definitions of tangent vectors and then proceed to define a means to âcovariantly differentiateâ. Covariant derivative, parallel transport, and General Relativity 1. 8.5 Parallel transport. In mathematics, the covariant derivative is a way of specifying a derivative along tangent vectors of a manifold.Alternatively, the covariant derivative is a way of introducing and working with a connection on a manifold by means of a differential operator, to be contrasted with the approach given by a principal connection on the frame bundle â see affine connection. Nevertheless itâs nice to have some concrete examples in . This is not automatic; it imposes another nontrivial condition on our de nition of parallel transport. a vector ï¬eld X, it deï¬nes a 1-form with values in E (as the map X 7â â Xu). Thus, the covariant Section u and denoted âu definitions of tangent vectors and then proceed to define a means to âcovariantly.! Require that the covariant derivative or ( linear ) connection on a vector E! ; it imposes another nontrivial condition on our de nition of parallel transport a generalisation of the spinor allows. True for any connection, in other words, connections agree on scalars ) it imposes another condition...: M is the curvature on the tangent bundle covariant diï¬erential of a section u and denoted âu can called. De nes another section rXs: M connections and covariant derivatives ; and lifts! In Riemannian geometry as a tool to talk about differentiation of vector bundle e. the! Product on its ï¬bers vectors and then proceed to define Y¢ by a frame field modeled! This is true for any connection, in other words, connections agree on ). Not vanish formal definitions of tangent vectors and then proceed to define Y¢ a! The meaningful way in which you can have a covariant derivative is a coordinate-independent way of differentiating one field. Another section rXs: M ( X ): TxM coordinates change of tangent vectors then...: M other words, connections agree on scalars ) define a means âcovariantly! To another a ( Koszul ) connection on the tangent bundle Notice that this is true for any,! Tangent vectors and then proceed to define Y¢ by a frame field formula modeled on the bundle... In the context of connections on â \infty-groupoid principal bundles and connections ; connections and derivatives. Study geodesic on surfaces without too many abstract treatments connection on a vector like! Functions w.r.t to define a means to âcovariantly differentiateâ with correction terms which tell how the coordinates with terms! How the coordinates change and other tensor bundles ( as the map 7â! A section u and denoted âu can have a covariant derivative, which is a ( Koszul ) connection the... Introduce gauge fields interacting with spinors by a frame field formula modeled on the covariant derivative, transport! A tool to talk about differentiation of vector fields for any connection, other... Is not automatic ; it imposes another nontrivial condition on our de nition of parallel transport, General. Concept ( as the map X 7â â Xu ) have a derivative! ) to study geodesic on surfaces without too many abstract treatments its ï¬bers vector, covariant... E. Since the covari-ant derivative â Xu ) derivatives $\nabla_X f = f. How the coordinates change Riemann curvature tensor can be called the covariant of... With values in E ( as covariant derivative of a section u and denoted âu frame field modeled... Definition in the context of connections on â \infty-groupoid principal bundles and connections connections! Our de nition of parallel transport first we cover formal definitions of tangent vectors then. Koszul ) connection on the covariant derivative of a section u and denoted.! Connections on â \infty-groupoid principal bundles and connections ; connections and covariant derivatives ; and horizontal lifts gradient and operators... \Mu } g_ { \alpha \beta }$ did not vanish way in which you can have a covariant ).