Connection along a curve: Difference between revisions

From Diffgeom
No edit summary
 
m (6 revisions)
 
(5 intermediate revisions by the same user not shown)
Line 1: Line 1:
==Definition==
==Definition==


Let <math>M</math> be a [[differential manifold]] and <math>E</math> be a [[vector bundle]] over <math>M</math>. Let <math>\gamma:[0,1] \to M</math> be a [[smooth curve]] in <math>M</math>. A [[connection]] along <math>\gamma<math>, of <math>E</math>, is defined as follows: it is a map <math>D/dt</math> from the space of [[section of a vector bundle along a curve|section]]s of <math>E</math> along <math>\gammma</math>, to itself, such that:
Let <math>M</math> be a [[differential manifold]] and <math>E</math> be a [[vector bundle]] over <math>M</math>. Let <math>\gamma:[0,1] \to M</math> be a [[smooth curve]] in <math>M</math>. A [[connection]] along <math>\gamma</math>, of <math>E</math>, is defined as follows: it is a map <math>D/dt</math> from the space of [[section of a vector bundle along a curve|section]]s of <math>E</math> along <math>\gamma</math>, to itself, such that:


<math>DV/dt + DW/dt = D(V + W)/dt</math>
<math>DV/dt + DW/dt = D(V + W)/dt</math>
Line 15: Line 15:
===Connection gives connection along a curve===
===Connection gives connection along a curve===


Given a [[connection]] on the whole vector bundle <math>E</math>, we can obtain a connection along the curve <math>\gamma<math>. Simply define:
Given a [[connection]] on the whole vector bundle <math>E</math>, we can obtain a connection along the curve <math>\gamma</math>. Simply define:


<math>DV/dt = \nabla_{\gamma'(t)}V</math>
<math>DV/dt = \nabla_{\gamma'(t)}V</math>


where <math>\gamma'(t)</math> is the tangent vector to <math>\gamma<math> at <math>\gamma(t)</math>.
where <math>\gamma'(t)</math> is the tangent vector to <math>\gamma</math> at <math>\gamma(t)</math>. This can also be viewed as the [[pullback connection]] for the map <math>\gamma</math> (which we might restrict to the open interval <math>(0,1)</math>, for convenience).


However, not every connection along a curve arises from a connection. A particular case is self-intersecting curves. We can construct connections along self-intersecting curves that behave very differently for the same point at two different times, and hence cannot arise from a connection.
However, not every connection along a curve arises from a connection. A particular case is self-intersecting curves. We can construct connections along self-intersecting curves that behave very differently for the same point at two different times, and hence cannot arise from a connection.

Latest revision as of 19:35, 18 May 2008

Definition

Let M be a differential manifold and E be a vector bundle over M. Let γ:[0,1]M be a smooth curve in M. A connection along γ, of E, is defined as follows: it is a map D/dt from the space of sections of E along γ, to itself, such that:

DV/dt+DW/dt=D(V+W)/dt

and for f:[0,1]R we have:

D(fV)/dt=fDV/dt+Vdf/dt

where df/dt is usual real differentiation.

Facts

Connection gives connection along a curve

Given a connection on the whole vector bundle E, we can obtain a connection along the curve γ. Simply define:

DV/dt=γ(t)V

where γ(t) is the tangent vector to γ at γ(t). This can also be viewed as the pullback connection for the map γ (which we might restrict to the open interval (0,1), for convenience).

However, not every connection along a curve arises from a connection. A particular case is self-intersecting curves. We can construct connections along self-intersecting curves that behave very differently for the same point at two different times, and hence cannot arise from a connection.