Induced connection on submanifold: Difference between revisions

From Diffgeom
(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 ...)
 
m (2 revisions)
 
(One intermediate revision by the same user not shown)
Line 5: Line 5:
Suppose <math>M</math> is a [[Riemannian manifold]], <math>N</math> is a submanifold. Then <math>TN</math> is a subbundle of the bundle <math>TM|_N</math>. The Riemannian metric on <math>M</math> naturally gives a notion of "projection" from <math>TM|_N</math> to <math>TN</math>.
Suppose <math>M</math> is a [[Riemannian manifold]], <math>N</math> is a submanifold. Then <math>TN</math> is a subbundle of the bundle <math>TM|_N</math>. The Riemannian metric on <math>M</math> naturally gives a notion of "projection" from <math>TM|_N</math> to <math>TN</math>.


Then, given any linear connection <math>\nabla</math> on <math>M</math>, we obtain an induced connection <math>\nabla|_N</math> on <math>N</math>. The induced connection is defined as follows. For <math>X,Y \in \Gamma(TM)</math>, we have:
Then, given any [[linear connection]] <math>\nabla</math> on <math>M</math>, we obtain an induced connection <math>\nabla|_N</math> on <math>N</math>. The induced connection is defined as follows. For <math>X,Y \in \Gamma(TM)</math>, we have:


<math>(\nabla|_N)_X Y := (\nabla_XY)^{tan}</math>
<math>(\nabla|_N)_X Y := (\nabla_XY)^{tan}</math>


The definition packs the following steps:
The definition has two key parts:


* First, using the [[tubular neighborhood theorem]], consider a tubular neighborhood <math>U \supset N</math> in <math>M</math>
# We use a connection on <math>TM</math> to obtain a connection on <math>TM|_N</math>. This can be done either by using the general notion of a [[pullback connection]], or by the following more concrete process: First, using the [[tubular neighborhood theorem]], consider a tubular neighborhood <math>U \supset N</math> in <math>M</math>. Extend <math>X,Y</math> to vector fields on <math>U</math> by {{fillin}}. Evaluate <math>\nabla_XY</math> on this open set <math>U</math>, to get a vector field on <math>U</math>. Restrict the vector field to <math>N</math>. This gives a section of the bundle <math>TM|_N</math>
* Extend <math>X,Y</math> to vector fields on <math>U</math> by {{fillin}}
# We project this from <math>TM|_N</math> to <math>TN</math>, using the Riemannian metric
* Evaluate <math>\nabla_XY</math> on this open set <math>U</math>, to get a vector field on <math>U</math>
* Restrict the vector field to <math>N</math>. This gives a section of the bundle <math>TM|_N</math>
* Project this from <math>TM|_N</math> to <math>TN</math>


Crudely speaking, we use the connection on <math>M</math>, and project the output vector field we get, onto <math>TN</math>.
Crudely speaking, we use the connection on <math>M</math>, and project the output vector field we get, onto <math>TN</math>.

Latest revision as of 19:47, 18 May 2008

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 has two key parts:

  1. We use a connection on to obtain a connection on . This can be done either by using the general notion of a pullback connection, or by the following more concrete process: 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
  2. We project this from to , using the Riemannian metric

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