Skip to main content
2 of 2
added 89 characters in body

What are the sufficient and necessary conditions for surjective submersions 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?