Fiber bundle

In mathematics, and particularly topology, a fiber bundle (Commonwealth English: fibre bundle) is a space that is locally a product space, but globally may have a different topological structure.

Examples of non-trivial fiber bundles include the Möbius strip and Klein bottle, as well as nontrivial covering spaces.

Fiber bundles can be specialized in a number of ways, the most common of which is requiring that the transition maps between the local trivial patches lie in a certain topological group, known as the structure group, acting on the fiber

In topology, the terms fiber (German: Faser) and fiber space (gefaserter Raum) appeared for the first time in a paper by Herbert Seifert in 1933,[1][2][3] but his definitions are limited to a very special case.

[5] The theory of fibered spaces, of which vector bundles, principal bundles, topological fibrations and fibered manifolds are a special case, is attributed to Herbert Seifert, Heinz Hopf, Jacques Feldbau,[6] Whitney, Norman Steenrod, Charles Ehresmann,[7][8][9] Jean-Pierre Serre,[10] and others.

is a continuous surjection satisfying a local triviality condition outlined below.

carries the quotient topology determined by the map

It has the circle that runs lengthwise along the center of the strip as a base

, so the Möbius strip is a bundle of the line segment over the circle.

in the picture is a (somewhat twisted) slice of the strip four squares wide and one long (i.e. all the points that project to

in § Formal definition) exists that maps the preimage of

(the trivializing neighborhood) to a slice of a cylinder: curved, but not twisted.

This twist is visible only globally; locally the Möbius strip and the cylinder are identical (making a single vertical cut in either gives the same space).

A sphere bundle is partially characterized by its Euler class, which is a degree

cohomology class in the total space of the bundle.

Mapping tori of homeomorphisms of surfaces are of particular importance in 3-manifold topology.

The most general conditions under which the quotient map will admit local cross-sections are not known, although if

The abelian subgroup of diagonal matrices is isomorphic to the circle group

Since bundles do not in general have globally defined sections, one of the purposes of the theory is to account for their existence.

The most well-known example is the hairy ball theorem, where the Euler class is the obstruction to the tangent bundle of the 2-sphere having a nowhere vanishing section.

A local section of a fiber bundle is a continuous map

Fiber bundles often come with a group of symmetries that describe the matching conditions between overlapping local trivialization charts.

Specifically, let G be a topological group that acts continuously on the fiber space F on the left.

We lose nothing if we require G to act faithfully on F so that it may be thought of as a group of homeomorphisms of F. A G-atlas for the bundle

A G-bundle is a fiber bundle with an equivalence class of G-atlases.

The importance of this is that the transition functions determine the fiber bundle (if one assumes the Čech cocycle condition).

A principal G-bundle is a G-bundle where the fiber F is a principal homogeneous space for the left action of G itself (equivalently, one can specify that the action of G on the fiber F is free and transitive, i.e. regular).

In this case, it is often a matter of convenience to identify F with G and so obtain a (right) action of G on the principal bundle.

More generally, the assumption of compactness can be relaxed if the submersion

admits a compatible fiber bundle structure (Michor 2008, §17).

A cylindrical hairbrush showing the intuition behind the term fiber bundle . This hairbrush is like a fiber bundle in which the base space is a cylinder and the fibers ( bristles ) are line segments. The mapping would take a point on any bristle and map it to its root on the cylinder.
Local triviality condition
Local triviality condition
The Möbius strip is a nontrivial bundle over the circle.
The Klein bottle immersed in three-dimensional space.
A torus.