Connection along a curve: Difference between revisions

From Diffgeom
Line 19: Line 19:
<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.

Revision as of 14:29, 13 April 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.