5
$\begingroup$

This is a question from my differential geometry assignment:

Let $\pi:M\to N$ be a submersion between two smooth manifolds and $X\in \Gamma(TN)$ is a vector field. We need to show that there is a smooth vector field on $M$ that is $\pi$-related to $X$. Also determine a necessary and sufficient condition on $\pi$ for a lift of any vector field to be unique.

So what I've got so far is that, since $\pi$ is a submersion, at each $p\in M$, $\pi_{*p}$ is surjective. So for every $X_{\pi(p)}$ I can choose a $Y_p\in T_pM$ such that $\pi_{*p}Y_p=X_{\pi(p)}$ and define a local smooth vector field in a neighbourhood $U_p$ of $p$. Do it for every $p\in M$ and $\{U_p\}$ gives an open cover of $M$.

My problem here is that, firstly I don't know how I could get a local smooth vector field from $Y_p$. I thought of using an integral curve and extend $Y_p$ according to the curve, but it does not give me a vector field on an open set.

Secondly, in order to get a global smooth vector field, in the overlapping, say a point $r\in U_p\cap U_q$, I am going to have $Y^1_r, Y^2_r$ that come from the two local vector fields defined by two points $p$ and $q$. Then I should probably sum up all the vectors in $T_rM$, then use the partition of unity subordinate to $\{U_p\}$. But I'm not sure how to apply the partition of unity.

I'm stuck now, how can I go from here? Please do not post complete solutions.

Thanks.

  • 1
    You write $X\in\Gamma(TM)$ but perhaps you mean $X\in\Gamma(TN)$2012-05-10
  • 1
    @Ziping: I think the problem is that your local liftings are not good enough. What you need to do is find an open cover $\{ V_\alpha \}$ of $N$ so that on each $U_\alpha = \pi^{-1} V_\alpha$, there is a lift of $X |_{V_\alpha}$ to $U_\alpha$. _This_ is the hard part. After that, the partition of unity argument should go through.2012-05-10
  • 0
    @Giuseppe Oops! Yep. Corrected; Thanks!2012-05-10
  • 2
    Your idea is right, define a lift locally and sum those local lifts weighed by a partition of unity. You need only be more careful when defining those local lifts: taking any vector $Y_p$ that projects to $X_{\pi(p)}$ will not result in a *smooth* local lift. Do you have the theorem that tells you the local form of submersions (and that of immersions)? It is usually derived as a corollary to the local inversion theorem. If you don't, you can also do it by hand with linear algebra.2012-05-10
  • 0
    @ZhenLin Do you mean I take an open cover of $N$ defined by $V_\alpha=\pi(U_\alpha)$? I can't see how this gives me a local lifting..2012-05-10
  • 0
    @ZipingR: I didn't say anything about where to get a local lifting, just that you had to find one with certain properties!2012-05-10
  • 0
    @OlivierBégassat I don't think we have it. Do you mean ${\pi|_{U_\alpha}}_{*p}$? (Or written in coordiantes?)2012-05-10
  • 0
    Or is it, say I have a chart $(U,\varphi)\in M$ and $(V,\psi)\in M$ with $\pi(U)\in(V,\psi)$, then $\psi\circ\pi\circ\varphi^{-1}(x^1,\cdots, x^m)=(x^1,\cdots,x^n)$? (Say $M$ and $N$ have dimensions $m$ and $n$ and $m\leq n$)2012-05-10

0 Answers 0