0
$\begingroup$

Let $\psi \colon M \to N$ be $C^\infty$. A smooth vector field X along $\psi$ (that is, $X \in C^\infty(M,T(N))$ and $\pi \circ X = \psi$) has local $C^\infty$ extensions in $N$ if given $m \in M$ there exists a neighborhood $U$ of $m$ and a neighborhood $V$ of $\psi(m)$ such that $\psi(U) \subset V$ and there is a $C^\infty$ vector field $Y$ on $V$ such that $Y \circ \psi|U = X|U$.

Does a $C^\infty$ vector field $X$ along an immersion $\psi \colon M \to N$ always have local $C^\infty$ extensions in $N$?

$\endgroup$
5
  • $\begingroup$ Why do you bother asking this (for the second time) if you don't read the answers? $\endgroup$ May 10, 2011 at 4:35
  • $\begingroup$ @Steven Landsburg it's not exactly the same question. The answer is yes, because for every point $m\in M$ there are local charts $\Phi$ and $\Psi$ of $M$ and $N$ respectively, around $m$ and $\psi (m)$ respectively, such that $\psi (\mathrm{Domain~of~}\Phi)\subset\mathrm{Domain~of~}\Psi$ and such that for all $(x_1,\dots,x_d)\in\mathbb{R}^d$, where $d$ is the dimension of $M$, $\Psi\psi\Phi^{-1}(x_1,\dots,x_d)=(x_1,\dots,x_d,0,\dots,0)$. It's a corollary to the local inversion theorem. In this chart you can extend your vector field along $\psi$ by letting it be constant on the "horizontal". $\endgroup$ May 10, 2011 at 4:51
  • 3
    $\begingroup$ This looks like the third time a question like this has been asked. The answer is no for an immersion, because the map $\psi$ does not need to be one-to-one. In particular, if there are distinct points $p \ne q \in M$ such that $\psi(p) = \psi(q)$ but $X(p) \ne X(q)$, then there is no way to define a vector field $Y$ on any neighborhood of $\psi(p) = \psi(q)$. $\endgroup$
    – Deane Yang
    May 12, 2011 at 2:18
  • 2
    $\begingroup$ Dear Ralph, if you want to delete a question, please use the "delete" button instead of converting your question into a sequence of periods. $\endgroup$
    – S. Carnahan
    May 25, 2011 at 3:38
  • $\begingroup$ IMO the question should be closed as the question-asker appears to be a non-participant. $\endgroup$ Jun 11, 2011 at 19:18

1 Answer 1

0
$\begingroup$

I've been thinking about extending the vector field using a bump function. I'm not entirely sure as to what is meant by the "horizontal".

$\endgroup$
1
  • $\begingroup$ There's no need for a bump function, since the desired extension is local (in the neighborhood of a point) anyway. $\endgroup$
    – Deane Yang
    May 12, 2011 at 14:02

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