[Math] push forward of vector field

differential-geometry

In Gauge Fields, Knots, and Gravity, exercise 18 is the following: Show that if $\phi:M \to N$ we can push forward a vector field $v$ on $M$ to obtain a vector field $\phi_*$ on $N$ satisfying $(\phi_* v)_q = \phi_*(v_p)$, whenever $\phi(p)=q$.

I don't understand the question. I don't see how $(\phi_* v)_q$ is defined, given that we always apply the pushforward to tangent vectors, and not vector fields. If someone could explain the question, that would be good.

Edit: $M$ and $N$ are smooth manifolds, $\phi$ is a diffeomorphism.

Best Answer

You can apply the push forward pointwise. In fact, we define $(\phi_*v)_q$ to be $\phi_*(v_p)$, where $\phi(p) = q$. What you're asked to show is that the function $q\mapsto (\phi_*v)_q$

  • is well-defined; and

  • defines a legitimate vector field on $N$ (i.e. is smooth).

For the first part, you'll need to use the fact that $\phi$ is one-to-one.

Related Question