World Library  
Flag as Inappropriate
Email this Article

Parallel transport

Article Id: WHEBN0000285595
Reproduction Date:

Title: Parallel transport  
Author: World Heritage Encyclopedia
Language: English
Subject: Levi-Civita parallelogramoid, Affine connection, Covariant derivative, Riemannian connection on a surface, Connection (mathematics)
Collection: Connection (Mathematics), Riemannian Geometry
Publisher: World Heritage Encyclopedia
Publication
Date:
 

Parallel transport

Parallel transport of a vector around a closed loop (from A to N to B and back to A) on the sphere. The angle by which it twists, \alpha, is proportional to the area inside the loop.

In geometry, parallel transport is a way of transporting geometrical data along smooth curves in a manifold. If the manifold is equipped with an affine connection (a covariant derivative or connection on the tangent bundle), then this connection allows one to transport vectors of the manifold along curves so that they stay parallel with respect to the connection.

The parallel transport for a connection thus supplies a way of, in some sense, moving the local geometry of a manifold along a curve: that is, of connecting the geometries of nearby points. There may be many notions of parallel transport available, but a specification of one — one way of connecting up the geometries of points on a curve — is tantamount to providing a connection. In fact, the usual notion of connection is the infinitesimal analog of parallel transport. Or, vice versa, parallel transport is the local realization of a connection.

As parallel transport supplies a local realization of the connection, it also supplies a local realization of the curvature known as holonomy. The Ambrose-Singer theorem makes explicit this relationship between curvature and holonomy.

Other notions of connection come equipped with their own parallel transportation systems as well. For instance, a Koszul connection in a vector bundle also allows for the parallel transport of vectors in much the same way as with a covariant derivative. An Ehresmann or Cartan connection supplies a lifting of curves from the manifold to the total space of a principal bundle. Such curve lifting may sometimes be thought of as the parallel transport of reference frames.

Contents

  • Parallel transport on a vector bundle 1
    • Recovering the connection from the parallel transport 1.1
    • Special case: The tangent bundle 1.2
  • Parallel transport in Riemannian geometry 2
    • Geodesics 2.1
  • Generalizations 3
  • Approximation: Schild's ladder 4
  • See also 5
  • References 6
  • External links 7

Parallel transport on a vector bundle

Let M be a smooth manifold. Let EM be a vector bundle with covariant derivative ∇ and γ: IM a smooth curve parameterized by an open interval I. A section X of E along γ is called parallel if

\nabla_{\dot\gamma(t)}X=0\text{ for }t \in I.\,

Suppose we are given an element e0EP at P = γ(0) ∈ M, rather than a section. The parallel transport of e0 along γ is the extension of e0 to a parallel section X on γ. More precisely, X is the unique section of E along γ such that

  1. \nabla_{\dot\gamma} X = 0
  2. X_{\gamma(0)} = e_0.

Note that in any given coordinate patch, (1) defines an ordinary differential equation, with the initial condition given by (2). Thus the Picard–Lindelöf theorem guarantees the existence and uniqueness of the solution.

Thus the connection ∇ defines a way of moving elements of the fibers along a curve, and this provides linear isomorphisms between the fibers at points along the curve:

\Gamma(\gamma)_s^t : E_{\gamma(s)} \rightarrow E_{\gamma(t)}

from the vector space lying over γ(s) to that over γ(t). This isomorphism is known as the parallel transport map associated to the curve. The isomorphisms between fibers obtained in this way will in general depend on the choice of the curve: if they do not, then parallel transport along every curve can be used to define parallel sections of E over all of M. This is only possible if the curvature of ∇ is zero.

In particular, parallel transport around a closed curve starting at a point x defines an automorphism of the tangent space at x which is not necessarily trivial. The parallel transport automorphisms defined by all closed curves based at x form a transformation group called the holonomy group of ∇ at x. There is a close relation between this group and the value of the curvature of ∇ at x; this is the content of the Ambrose-Singer holonomy theorem.

Recovering the connection from the parallel transport

Given a covariant derivative ∇, the parallel transport along a curve γ is obtained by integrating the condition \scriptstyle{\nabla_{\dot{\gamma}}=0}. Conversely, if a suitable notion of parallel transport is available, then a corresponding connection can be obtained by differentiation. This approach is due, essentially, to Knebelman (1951); see Guggenheimer (1977). Lumiste (2001) also adopts this approach.

Consider an assignment to each curve γ in the manifold a collection of mappings

\Gamma(\gamma)_s^t : E_{\gamma(s)} \rightarrow E_{\gamma(t)}

such that

  1. \Gamma(\gamma)_s^s = Id, the identity transformation of Eγ(s).
  2. \Gamma(\gamma)_u^t\circ\Gamma(\gamma)_s^u = \Gamma(\gamma)_s^t.
  3. The dependence of Γ on γ, s, and t is "smooth."

The notion of smoothness in condition 3. is somewhat difficult to pin down (see the discussion below of parallel transport in fibre bundles). In particular, modern authors such as Kobayashi and Nomizu generally view the parallel transport of the connection as coming from a connection in some other sense, where smoothness is more easily expressed.

Nevertheless, given such a rule for parallel transport, it is possible to recover the associated infinitesimal connection in E as follows. Let γ be a differentiable curve in M with initial point γ(0) and initial tangent vector X = γ′(0). If V is a section of E over γ, then let

\nabla_X V = \lim_{h\to 0}\frac{\Gamma(\gamma)_h^0V_{\gamma(h)} - V_{\gamma(0)}}{h} = \left.\frac{d}{dt}\Gamma(\gamma)_t^0V_{\gamma(t)}\right|_{t=0}.

This defines the associated infinitesimal connection ∇ on E. One recovers the same parallel transport Γ from this infinitesimal connection.

Special case: The tangent bundle

Let M be a smooth manifold. Then a connection on the tangent bundle of M, called an affine connection, distinguishes a class of curves called (affine) geodesics (Kobayashi Nomizu, Volume 1, Chapter III). A smooth curve γ: IM is an affine geodesic if \dot\gamma is parallel transported along \gamma, that is

\Gamma(\gamma)_s^t\dot\gamma(s) = \dot\gamma(t).\,

Taking the derivative with respect to time, this takes the more familiar form

\nabla_{\dot\gamma(t)}\dot\gamma = 0.\,

Parallel transport in Riemannian geometry

In (pseudo) Riemannian geometry, a metric connection is any connection whose parallel transport mappings preserve the metric tensor. Thus a metric connection is any connection Γ such that, for any two vectors X, Y ∈ Tγ(s)

\langle\Gamma(\gamma)_s^tX,\Gamma(\gamma)_s^tY\rangle_{\gamma(t)}=\langle X,Y\rangle_{\gamma(s)}.

Taking the derivative at t=0, the associated differential operator ∇ must satisfy a product rule with respect to the metric:

Z\langle X,Y\rangle = \langle \nabla_ZX,Y\rangle + \langle X,\nabla_Z Y\rangle.

Geodesics

If ∇ is a metric connection, then the affine geodesics are the usual geodesics of Riemannian geometry and are the locally distance minimizing curves. More precisely, first note that if γ: IM, where I is an open interval, is a geodesic, then the norm of \dot\gamma is constant on I. Indeed,

\frac{d}{dt}\langle\dot\gamma(t),\dot\gamma(t)\rangle = 2\langle\nabla_{\dot\gamma(t)}\dot\gamma(t),\dot\gamma(t)\rangle =0.

It follows from an application of Gauss's Lemma that if A is the norm of \dot\gamma(t) then the distance, induced by the metric, between two close enough points on the curve γ, say γ(t1) and γ(t2), is given by

\mbox{dist}\big(\gamma(t_1),\gamma(t_2)\big) = A|t_1 - t_2|.

The formula above might not be true for points which are not close enough since the geodesic might for example wrap around the manifold (e.g. on a sphere).

Generalizations

The parallel transport can be defined in greater generality for other types of connections, not just those defined in a vector bundle. One generalization is for principal connections (Kobayashi & Nomizu 1996, Volume 1, Chapter II). Let PM be a principal bundle over a manifold M with structure Lie group G and a principal connection ω. As in the case of vector bundles, a principal connection ω on P defines, for each curve γ in M, a mapping

\Gamma(\gamma)_s^t : P_{\gamma(s)} \rightarrow P_{\gamma(t)}

from the fibre over γ(s) to that over γ(t), which is an isomorphism of homogeneous spaces: i.e. \Gamma_{\gamma(s)} gu = g\Gamma_{\gamma(s)} for each gG.

Further generalizations of parallel transport are also possible. In the context of Ehresmann connections, where the connection depends on a special notion of "horizontal lifting" of tangent spaces, one can define parallel transport via horizontal lifts. Cartan connections are Ehresmann connections with additional structure which allows the parallel transport to be though of as a map "rolling" a certain model space along a curve in the manifold. This rolling is called development.

Approximation: Schild's ladder

Two rungs of Schild's ladder. The segments A1X1 and A2X2 are an approximation to first order of the parallel transport of A0X0 along the curve.

Parallel transport can be discretely approximated by Schild's ladder, which takes finite steps along a curve, and approximates Levi-Civita parallelogramoids by approximate parallelograms.

See also

References

  • Guggenheimer, Heinrich (1977), Differential Geometry, Dover,  
  • Knebelman (1951), "Spaces of relative parallelism", Annals of Mathematics, 2 (The Annals of Mathematics, Vol. 53, No. 3) 53 (3): 387–399,  
  • Kobayashi, Shoshichi; Nomizu, Katsumi (1996), ; Volume 2, ISBN 0-471-15732-5.  
  • Lumiste, Ü. (2001), "Connections on a manifold", in Hazewinkel, Michiel,  

External links

  • Spherical Geometry Demo. An applet demonstrating parallel transport of tangent vectors on a sphere.
This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.
 
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
 
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.
 



Copyright © World Library Foundation. All rights reserved. eBooks from World eBook Library are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.