7
$\begingroup$

Can we characterize when a submersion $F:M \to N$ between two smooth manifolds has connected fibers? If this is too hard, what are some sufficient conditions?

$\endgroup$
4
  • $\begingroup$ Jason's answer and Boyarksy's comment are nice examples. Does anyone know of an example where the fibers are not compact? $\endgroup$ Jun 24, 2010 at 10:30
  • $\begingroup$ Also, it might be nice to do some class of examples which do not make $F$ into a fiber-bundle, so that the topologies of the fibers can vary. $\endgroup$ Jun 24, 2010 at 10:59
  • $\begingroup$ Dear David, I don't know if you're still interested in this, but note that if we relax the condition that $F$ is a fibre-bundle, we pretty much lose all control. E.g. take $M$ to be an open subset of $\mathbb R^2$, take $N$ to be $\mathbb R$, thought of as (say) the $x$-axis of $\mathbb R^2$, and let $M \to N$ be the projection to the $x$-axis. Then the fibres of this map will be open subsets of $\mathbb R$, which can be pretty much anything. E.g. if $M$ is $\mathbb R^2$ minus one point, the fibres are $\mathbb R$ above all but one point, but above one point it is $\mathbb R$ minus a point $\endgroup$
    – Emerton
    Jan 3, 2013 at 14:30
  • $\begingroup$ and so disconnected. Removing more points, or for example a curve, from $\mathbb R^2$, will give you examples with all kinds of behaviour. Regards, Matthew $\endgroup$
    – Emerton
    Jan 3, 2013 at 14:31

1 Answer 1

8
$\begingroup$

If $M$ and $N$ are both compact, then the submersion $F$ can be thought of as a fiber bundle map with fiber $F^{-1}(p)$ for any $p\in N$. Then one can apply the long exact sequence of homotopy groups of a fiber bundle to learn that if, for example, $M$ is connected and $N$ is 1-connected, that the fibers must be connected.

These sufficient conditions may be too specific, though.

$\endgroup$
2
  • 4
    $\begingroup$ Can relax compactness of $M$ and $N$ to properness of $F$: still ensures the submersion $F$ is a fiber bundle map (Ehresmann), so $F_{\ast}(\mathbb{Z})$ is a locally constant sheaf of finite free $\mathbb{Z}$-modules whose fiber rank is the number of connected components in fibers. If $N$ is simply connected this locally constant sheaf is constant, yet its global sections are $\mathbb{Z}$ since $M$ is connected. Thus, all fibers are connected. The Mobius strip minus the zero-section is connected and fibers over $S^1$ with disconnected fibers, so the simply connectedness cannot be dropped. $\endgroup$
    – Boyarsky
    Jun 24, 2010 at 4:56
  • $\begingroup$ @Jason: It is sufficient to assume that $\pi_1(N)$ has no non-trivial finite quotient. Indeed, since $F$ is a locally trivial submersion, the sets $\pi_0(F^{−1}(p))$ of connected components of fibers form a finite local system on $N$. Since $M$ is connected, this local is trivial. On the other hand, if $\pi_1(N)$ has a non-−trivial finite quotient, this quotient will correspond to a finite covering $M$ of $N$. Then $M$ is compact and the projection to $N$ is a submersion with disconnected fibers. $\endgroup$
    – ACL
    Jan 3, 2013 at 16:33

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.