Skip to main content
1 of 3
ort96
  • 404
  • 2
  • 7

simplicial structure on a flat fiber bundle

Let $p: E \rightarrow B$ be a flat fiber bundle with fiber $F$ where $E$, $B$, $F$ are nice spaces (say smooth manifolds). Then $E$ has the form of a twisted product

(i) $E \cong \widetilde{B} \times_{\pi_{1}} F$,

where $\widetilde{B}$ is the universal cover of $B$, $\pi_{1}$ is the fundamental group of $B$ and $F$ carries a $\pi_{1}$-action.

Now, how nice can we assume this $\pi_1$-action to be? In particular, is it a reasonable restriction to only look at flat fiber bundles of the form

(ii) $E \cong \widetilde{B} \times_{\pi_{1}} |L|$,

where $L$ is a simplicial $\pi_{1}$-complex? Can we further assume the action on $L$ to be regular?

This seems to be sufficient for 'reasonable' bundles. Is there a theorem that specifies exact conditions on a flat bundle to be of form (ii)? And do you know counterexamples that clarify what (ii) cannot describe? (possibly with relaxed conditions on $E$, $F$, $B$.)

I am particularly interested in the case $B$, $F$ compact, $\pi_{1}$ infinite.

ort96
  • 404
  • 2
  • 7