Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $f: M \to N$ be an immersion of a differentiable manifold $M$ into a Riemannian manifold $N$. Assume that $M$ has the Riemannian metric induced by $f$. Let $p \in M$ and let $U \subset М$ be a neighborhood of $p$ such that $f(U) \subset N$ is a submanifold of $M$. Further, suppose that $X, Y$ are differentiable vector fields on $f(U)$ which extend to differentiable vector fields $X^*, Y^*$ on an open set of $N$. Define $$(\nabla_x Y)(p) =\text{ tangential component of }(\overline{\nabla}_{x^*} Y^*)(p),$$ where $\overline{\nabla}$ is the Riemannian connection of $N$. Prove that $\nabla$ is the Riemannian connection of $M$.

share|improve this question
3  
In the future, please cite where you got this problem, and what your motivation is for asking. For instance, this is Exercise 3 in Chapter 2 of do Carmo's "Riemannian Geometry." My own professor actually just assigned this problem to us as homework last week. If this is a homework question for you, too, please tag it as such. (Also, welcome to math.stackexchange!) –  Jesse Madnick Oct 1 '11 at 19:07
1  
At any rate, you know the Riemannaian connection on $M$ is unique, so you only need to check that $\nabla$ is metric compatible and symmetric. –  Jesse Madnick Oct 1 '11 at 19:09
    
Excuse me, is my first time –  ClaGap_1985 Oct 1 '11 at 19:32
    
One more thing: if possible, try to use Latex syntax when writing in order to make your text more legible. Your next texts will appear in a very nice fashion. –  matgaio Apr 21 '12 at 23:47

1 Answer 1

As in the problem statement, we let $\overline{\nabla}$ denote the Riemannian connection on $N$, and define $(\nabla_XY)(p) = \pi^\top[\overline{\nabla}_{X^*}Y^*(p)]$, where $\pi^\top\colon TN|_{f(U)} \to TM$ denotes the tangential projection. We aim to show that $\nabla$ is the Riemannian connection on $M$.

By the uniqueness of the Riemannian connection on $M$, it suffices to show that (1) $\nabla$ is a connection, (2) $\nabla$ is compatible with the metric, and (3) $\nabla$ is symmetric.

(1) $\nabla$ is a connection

Let $X_1, X_2, Y_1, Y_2$ be differentiable vector fields on $f(U)$ that extend to differentiable vector fields on an open subset of $N$. We note that $$(\nabla_{X_1 + X_2}Y)(p) = (\overline{\nabla}_{X_1^* + X_2^*}Y^*)(p) = (\overline{\nabla}_{X_1^*}Y^* + \overline{\nabla}_{X_2^*}Y^*)(p)^\top = (\nabla_{X_1}Y)(p) + (\nabla_{X_2}Y)(p)$$ and $$(\nabla_X(Y_1 + Y_2))(p) = (\overline{\nabla}_{X^*}Y_1^* + \overline{\nabla}_{X^*}Y_2^*)(p)^\top = (\nabla_XY_1)(p) + (\nabla_XY_2)(p)$$ and if $h\in C^\infty(f(U))$ is any differentiable function on $f(U)$, then $$\begin{align*} (\nabla_X(hY))(p) & = (\overline{\nabla}_{X^*}(hY^*))(p)^\top \\ & = \left[(\overline{\nabla}_{X^*}h)(p)Y^*(p) + h(p)(\overline{\nabla}_{X^*}Y^*)(p) \right]^\top \\ & = \left[ (Xh)(p)\,Y^*(p)\right]^\top + h(p)(\overline{\nabla}_{X^*}Y^*)(p)^\top \\ & = (Xh)(p)\,Y(p) + h(p)\,(\nabla_XY)(p), \end{align*}$$ which shows that $\nabla$ is a connection.

(2) $\nabla$ is compatible with the metric.

This is a computation:

$$\begin{align*} X_p\langle Y_p, Z_p \rangle_g & = X^*_p\langle Y^*_p, Z^*_p \rangle_{\overline{g}} \\ & = \overline{\nabla}_{X^*}\langle Y^*, Z^* \rangle_{\overline{g}}(p) \\ & = \langle (\overline{\nabla}_{X^*}Y^*)(p), Z^*_p\rangle_{\overline{g}} + \langle Y^*_p, (\overline{\nabla}_{X^*}Z^*)(p)\rangle_{\overline{g}} \\ & = \langle (\overline{\nabla}_{X^*}Y^*)(p)^\top + (\overline{\nabla}_{X^*}Y^*)(p)^\perp, Z_p \rangle_{\overline{g}} + \langle Y_p, (\overline{\nabla}_{X^*}Z^*)(p)^\top + (\overline{\nabla}_{X^*}Z^*)(p)^\perp \rangle_{\overline{g}} \\ & = \langle (\nabla_XY)(p), Z_p \rangle_g + \langle Y_p, (\nabla_XZ)(p)\rangle_g, \end{align*}$$ where I've switched to subscripts $X_p = X(p)$ for a slight ease of notation. (Also, $\perp$ denotes the normal projection.)

(3) $\nabla$ is symmetric.

Finally, symmetry follows from noting that

$$\begin{align*} (\nabla_XY)(p) - (\nabla_YX)(p) & = (\overline{\nabla}_{X^*}Y^*)(p)^\top - (\overline{\nabla}_{Y^*}X^*)(p)^\top \\ & = \pi^\top\!\left( (\overline{\nabla}_{X^*}Y^*)(p) - (\overline{\nabla}_{Y^*}X^*)(p) \right) \\ & = \pi^\top([X^*, Y^*]_p) \\ & = \pi^\top([X, Y]_p) \\ & = [X, Y]_p \end{align*}$$ since $[X,Y]$ is tangent to $M$ whenever $X$ and $Y$ are.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.