7
$\begingroup$

The first trivial example of a fibre bundle $E$ is a product bundle $E=F \times B$, with fibre $F$ and base space $B$. Of course in this trivial example, one can exchange base space and fibre and think of the product bundle $E$ as a fibre bundle with fibre $B$ and base space $F$.

Under which necessary conditions can one exchange fibre and base space, i.e. regard $E$ as an $F$-bundle over $B$ as a $B$-bundle over $F$?

It seems that when one has a flat connection, one "knows" how to move from fibre to fibre (that is, from $F_x$ to $F_y$) and makes sure that one ends up in the same place after a small loop. When global loops also end up in the same spot and not on the other side of the fibre (i.e. the holonomy is not just discrete, but trivial), then it looks like given any point in the fibre, one can trace out the base space $B$, i.e. one could interpret $E$ as a $B$-bundle over $F$.

So, is a flat $F$-bundle over $B$ with trivial holonomy also a $B$-bundle over $F$? If not, could someone provide a counter-example?

$\endgroup$
  • $\begingroup$ Flat bundles $A\times B$ are "interchangeable", provided that both $A$ and $B$ have the fiber structure you want (e.g. are both Lie groups, et cetera.) For more details, a question very similar to this has been posted, and partly answered, on MO: mathoverflow.net/questions/20971/… $\endgroup$ – geodude Mar 19 '14 at 22:27
  • $\begingroup$ @geodude My question was about "general fibre bundles", I'm not really interested in direct products. Thank you for the link. $\endgroup$ – Earthliŋ Mar 19 '14 at 23:27
  • $\begingroup$ @Earthliŋ : Did you find an answer to this? I am also very interested in such a thing. $\endgroup$ – PepeToro Mar 26 '14 at 17:43
2
$\begingroup$

Yes, the total space $E$ of a flat bundle with trivial holonomy is naturally a product (assuming the base and fibre are connected smooth manifolds): Fix an arbitrary point $b_{0}$ of the base, and an arbitrary point $f_{0}$ in the fibre over $b_{0}$. For each point $b$ in $B$, choose a path $\gamma$ from $b_{0}$ to $b$. There is a unique covariantly-constant lift $\sigma_{0}$ over $\gamma$, and because the holonomy is trivial, the value $\sigma_{0}(b)$ is independent of $\gamma$ (i.e., depends only on $b_{0}$ and $b$). The set of all values of covariantly-constant sections with $\sigma_{0}(b_{0}) = f_{0}$ defines a section $\sigma_{0}:B \to E$ whose image is diffeomorphic to $B$ under the projection $p:E \to B$.

Because $f_{0}$ was arbitrary, each point of $E$ lies on a covariantly-constant section, and every section hits the fibre $F$ exactly once. The map $B \times F \to E$ that sends $(b, f_{0})$ to $\sigma_{0}(b)$ is easily checked to be a diffeomorphism. The inverse map sends an arbitrary point $f$ to $(p(f), \sigma_{0}^{-1}(f))$; in other words, the first coordinate is the bundle projection, and the second coordinate is the unique $f_{0}$ in the fibre over $b_{0}$ for which $\sigma_{0}(b) = f$.

$\endgroup$
  • $\begingroup$ You're very welcome. Not sure why the question went unanswered for so long.... :) $\endgroup$ – Andrew D. Hwang Oct 4 '16 at 12:46
  • $\begingroup$ True. This seems to be the fate of questions that are not answered within the first hour or so: they are set adrift in the sea of questions, garnering the odd upvote every few months or so, until they slowly start to rise to the top of the "Unanswered" tab. (Is that how you found it?) $\endgroup$ – Earthliŋ Oct 4 '16 at 12:58

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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