Induced connection on submanifold: Difference between revisions
(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 | The definition has two key parts: | ||
# 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> | |||
# We project this from <math>TM|_N</math> to <math>TN</math>, using the Riemannian metric | |||
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:
- 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
- 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 .