Intereting Posts

Efficient ways to read and learn a new topic
Making a cube root function analytic on $\mathbb{C}\backslash $
Well-Ordering and Mathematical Induction
Peano/Presburger axioms – “find” numbers lower or equal than another number
Convergence of Riemann Zeta Function for Normed Arguments
Probability for pairing up
Generating the Sorgenfrey topology by mappings into $\{0,1\}$, and on continuous images of the Sorgenfrey line
Does $A\times A\cong B\times B$ imply $A\cong B$?
Show that $504 \mid (n^9 − n^3 )$ for any integer $n$
When is the dual graph simple?
Pair of straight lines
Breaking a contour integral into 3 separate contours?
Prove if $|z|=|w|=1$, and $1+zw \neq 0$, then $ {{z+w} \over {1+zw}} $ is a real number
Integral of exponential using error function
Group of order $p^{n}$ has normal subgroups of order $p^{k}$

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$.

- Is a cylinder a Lipschitz domain?
- Is this reasoning correct? Connection with torsion on SO(3)
- An example of a derivation at a point on a $C^k$-manifold which is not a tangent vector
- If two Riemannian manifolds can be isometrically immersed in each other, are they isometric?
- How can I prove $dz=dx+idy$?
- how to define a circular helix in terms of the Frenet Frame

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.

- Any two $1$-forms $\alpha$, $\alpha'$ with property satisfy $\alpha = f\alpha'$ for some smooth nowhere zero function $f$?
- Tangent bundle of $S^2$ not diffeomorphic to $S^2\times \mathbb{R}^2$
- Zero sections of any smooth vector bundle is smooth?
- Riemann, Ricci curvature tensor and Ricci scalar of the n dimensional sphere
- What is the equation describing a three dimensional, 14 point Star?
- Does this container exist?
- A tensor calculus problem
- Why is $\phi^* g = g$ a PDE for a pseudo-Riemannian metric $g$ on a manifold?
- how to compute the de Rham cohomology of the punctured plane just by Calculus?
- Different definitions for submanifolds

- Why, historically, do we multiply matrices as we do?
- For what functions $f(x)$ is $f(x)f(y)$ convex?
- Finding an example of a discrete-time strict local martingale.
- Primes of ramification index 1 with inseparable residue field extension
- The sum of $(-1)^n \frac{\ln n}{n}$
- A question on behavior of a function which is a limit of a sequence of functions converging under some norm
- Finding out the limit $\lim_{a \to \infty} \frac{f(a)\ln a}{a}$
- Question on the presentation of $(\mathbb{R}, +)$
- Showing range is countable
- In my calculator why does $\sqrt4 -2=-8.1648465955514287168521180122928e-39?$
- What is a conormal vector to a domain intuitively?
- Number of non-negative whole number solutions if the coefficients of the variables are not equal to $1$
- How does knowing a function as even or odd help in integration ??
- Could someone help me to prove that this symmetric matrix is definite positive?
- Roadmap to study Atiyah–Singer index theorem