2

Perhaps an easy question, but I am not seeing it. Let $\phi:M\to M'$ be a smooth map, and $N\subset M$ a closed submanifold.

For $p\in N$, does the map $d(\phi|_N)_p:T_pN \to T_{\phi(p)}M'$ coincide with the restriction of $d\phi_p$ to $T_pN\subset T_pM$?

If not, under which conditions could this be true?

Oliver
  • 93

1 Answers1

3

Let $\jmath:N\hookrightarrow M$ be the inclusion map. Then:

$$\phi|_N=\phi\circ \jmath.$$

Given $p\in N$, it follows

$$d(\phi|_N)_p=d(\phi\circ \jmath)_p=d\phi_{\jmath(p)}\circ d\jmath_p=d\phi_p\circ d\jmath_p$$

Notice that $T_pN\subset T_pM$ via the injection (recall $\jmath$ is an immersion):

$$d\jmath_p: T_pN\rightarrow T_{\jmath(p)}M=T_{p}M.$$

Hence,

$$d\phi_p|_{T_pN}=d\phi_{p}\circ d\jmath_p=d(\phi\circ \jmath)_p=d(\phi|_N)_p.$$

So the answer is yes!

PtF
  • 9,655