What distinguished the Möbius strip from the cylinder as fibre bundles?

885 Views Asked by At

I'm a physicist trying to understand fibre bundles, and I think I'm pretty happy with the wikipedia definition "a space that is locally a product space, but globally may have a different topological structure". I think I also have a grasp, in the general and tangent cases, on the different objects in the fibre bundle: $(E, \pi, M, F, G)$ taken singularly and abstractly. However, I'm having trouble seeking what tells apart two fibre bundles $E$, the Möbius strip and the cylinder. Both have base $M=S^1$ and fibre $F=$ (a segment), so what's different in the two of them? Is it the projection $\pi$, the structure group $G$ or maybe trivially just the total space $E$?

2

There are 2 best solutions below

5
On BEST ANSWER

The cylinder, as a fiber bundle, has a section which is never zero.

On the moebius band, such a section does not exist: if you parametrize the segment $F$, which is the fiber, with $(-1,1)$, then if a never-vanishing section starts positive, after one turn it becomes negative.

In terms of fiber bundles a section is a continuous map from the base to the fiber, that is to say a map $$s:M\to E$$ such that $\pi(s(x))=x$ for evey $x\in M$ (so $s(x)$ is in the fiber of $x$).


EDIT following a comment:

To be precise, one should make a difference between fiber bundles and vector bundles: In the case of fiber bundles, the fiber has no vectorial sturcture, so it is not defined who is the zero of the fiber, so the zero section is not defined. So, to be coherent with terminology of fiber bundles, one should say that the Moebius strip, as a fiber bundle, has not two sections that are everywhere different from each other, while the cylinder has plenty of that.

2
On

The direct answer to your question about the difference in the tuple you considered is the following: usually the fibre bundle is not defined as the tuple of objects you wrote. The fiber bundle usually is defined to be just $\pi$, and the other objects are named “total space”, “basis” and “fibre”. But what is fundamental here is the map $\pi$. Indeed in the definition of fibration one has conditions on that particular map. So, yes, the main difference stands in how the map $\pi$ is defined, giving rise to different total spaces even with the same base and the same fiber.

Even topologically, they are different objects: we cannot find an homeomorphism between them. For example notice that one is orientable while the other is not (recalling that orientability of a manifold is a property that is preserved under homeomorphisms; like compactness: if $X$ is compact and $X$ is homeomorphic to $Y$, then $Y$ must be compact as well).

Locally they can be considered the same, but notice that their difference is topological, which means a difference in their global structure. Indeed, this is the same difference there is between a cartesian product of the base and the fiber and the whole structure of fiber bundle.