Induced connection on submanifold

From Diffgeom
Revision as of 23:06, 10 April 2008 by Vipul (talk | contribs) (New page: ==Definition== ===For a submanifold of a Riemannian manifold=== Suppose <math>M</math> is a Riemannian manifold, <math>N</math> is a submanifold. Then <math>TN</math> is a subbundle ...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Definition

For a submanifold of a Riemannian manifold

Suppose is a Riemannian manifold, is a submanifold. Then is a subbundle of the bundle . The Riemannian metric on naturally gives a notion of "projection" from to .

Then, given any linear connection on , we obtain an induced connection on . The induced connection is defined as follows. For , we have:

The definition packs the following steps:

  • First, using the tubular neighborhood theorem, consider a tubular neighborhood in
  • Extend to vector fields on by Fill this in later
  • Evaluate on this open set , to get a vector field on
  • Restrict the vector field to . This gives a section of the bundle
  • Project this from to

Crudely speaking, we use the connection on , and project the output vector field we get, onto .