13
$\begingroup$

The only examples I found of nonprincipal circle bundle are nonorientable, like the Klein bottle that is an S^1 bundle over S^1 which is not principal and nontrivial. That makes me ask the question.

Is it true that every orientable circle bundle is principal?

$\endgroup$
1
  • 5
    $\begingroup$ This is essentially true because $Diff^+(S^1)\simeq U(1)$, so $BDiff^+(S^1)\simeq BU(1)$ from the fibration $Diff^+(S^1)/U(1)\to EDiff^+(S^1)/U(1) \to EDiff^+(S^1)/Diff^+(S^1)$ with contractible fibers. $\endgroup$
    – Ian Agol
    Commented Oct 6, 2013 at 17:03

1 Answer 1

18
$\begingroup$

Yes,it is true.You can find this result from "Geometry of differential forms" by Morita (Page 241)

PROPOSITION 6.15. Every oriented $S^1$ bundle admits the structure of principal $S^1$ bundle.

$\endgroup$
0

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .