Given a topological space $X$, there's a fundamental category equivalence between local homeomorphisms to $X$ and sheaves of sets over $X$. One direction takes a local homeomorphism to its sheaf of sections, and the other takes a sheaf, and constructs the projection from its étalé space, comprised of stalks.

The above restricts to an equivalence between covering maps and locally constant sheaves.

Covering maps being fiber bundles with a discrete fiber, is there perhaps an intermediate equivalence describing sheaves of sections of general fiber bundles? At least, what distinguishing properties do sheaves of sections of fiber bundles possess?

  • $\begingroup$ oh, agreed. Apologies. This is an interesting question...+1 $\endgroup$ – Andres Mejia May 31 at 22:56

Fiber bundles with non-discrete fibers are not local homeomorphisms. Hence at the very least there is no "intermediate" equivalence.

Interestingly, vector bundles are equivalent to modules over the sheaf of continuous real functions (itself the sheaf of sections of the trivial fiber bundle with fiber $\mathbb R$ over $X$) , so structured fiber bundles admit nice descriptions.

Perhaps fiber bundles can somehow be described using some canonical sheaf on the space, but I don't see how.


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.