Skip to main content
added 89 characters in body
Source Link

Let $E$, $M$ be smooth finite dimensional, Hausdorff and second-countable manifolds. Let $\pi:E \longrightarrow M$ be a surjective submersion.   

$\pi$ is locally trivial if $\forall p\in M$, $\exists U \ni p$ open neighborhood such that there is a diffeomorphism: $$ \phi:\pi^{-1}(U)\longrightarrow U \times \pi^{-1}(p)$$ $$ \text{proj}_2\circ \phi=\pi $$

I read that if $\pi$ is proper then is locally trivial (Ehresmann theorem). But not every locally trivial submersion is proper (vector bundles for example).

Is there any sufficient and necessary condition for a surjective submersion to be locally trivial?

Let $\pi:E \longrightarrow M$ a surjective submersion.  $\pi$ is locally trivial if $\forall p\in M$, $\exists U \ni p$ open neighborhood such that there is a diffeomorphism: $$ \phi:\pi^{-1}(U)\longrightarrow U \times \pi^{-1}(p)$$ $$ \text{proj}_2\circ \phi=\pi $$

I read that if $\pi$ is proper then is locally trivial (Ehresmann theorem). But not every locally trivial submersion is proper (vector bundles for example).

Is there any sufficient and necessary condition for a surjective submersion to be locally trivial?

Let $E$, $M$ be smooth finite dimensional, Hausdorff and second-countable manifolds. Let $\pi:E \longrightarrow M$ be a surjective submersion. 

$\pi$ is locally trivial if $\forall p\in M$, $\exists U \ni p$ open neighborhood such that there is a diffeomorphism: $$ \phi:\pi^{-1}(U)\longrightarrow U \times \pi^{-1}(p)$$ $$ \text{proj}_2\circ \phi=\pi $$

I read that if $\pi$ is proper then is locally trivial (Ehresmann theorem). But not every locally trivial submersion is proper (vector bundles for example).

Is there any sufficient and necessary condition for a surjective submersion to be locally trivial?

Source Link

What are the sufficient and necessary conditions for surjective submersions to be locally trivial

Let $\pi:E \longrightarrow M$ a surjective submersion. $\pi$ is locally trivial if $\forall p\in M$, $\exists U \ni p$ open neighborhood such that there is a diffeomorphism: $$ \phi:\pi^{-1}(U)\longrightarrow U \times \pi^{-1}(p)$$ $$ \text{proj}_2\circ \phi=\pi $$

I read that if $\pi$ is proper then is locally trivial (Ehresmann theorem). But not every locally trivial submersion is proper (vector bundles for example).

Is there any sufficient and necessary condition for a surjective submersion to be locally trivial?