Mappings between total spaces of fiber bundles that "commute" with the projection maps are known as bundle maps, and the class of fiber bundles forms a category with respect to such mappings. A bundle map from the base space itself (with the identity mapping as projection) to is called a section of 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, but his definitions are limited to a very special case. The main difference from the present day conception of a fiber space, however, was that for Seifert what is now called the base space (topological space) of a fiber (topological) space E was not part of the structure, but derived from it as a quotient space of E. The first definition of fiber space was given by Hassler Whitney in 1935 under the name sphere space, but in 1940 Whitney changed the name to sphere bundle.
Fiber bundles became their own object of study in the period 1935–1940. The first general definition appeared in the works of Whitney.
Whitney came to the general definition of a fiber bundle from his study of a more particular notion of a sphere bundle, that is a fiber bundle whose fiber is a sphere of arbitrary dimension.
A fiber bundle is a structure where and are topological spaces and is a continuoussurjection satisfying a local triviality condition outlined below. The space is called the base space of the bundle, the total space, and the fiber. The map is called the projection map (or bundle projection). We shall assume in what follows that the base space is connected.
We require that for every , there is an open neighborhood of (which will be called a trivializing neighborhood) such that there is a homeomorphism (where is given the subspace topology, and is the product space) in such a way that agrees with the projection onto the first factor. That is, the following diagram should commute:
where is the natural projection and is a homeomorphism. The set of all is called a local trivialization of the bundle.
Thus for any , the preimage is homeomorphic to (since this is true of ) and is called the fiber over Every fiber bundle is an open map, since projections of products are open maps. Therefore carries the quotient topology determined by the map
A fiber bundle is often denoted
that, in analogy with a short exact sequence, indicates which space is the fiber, total space and base space, as well as the map from total to base space.
A smooth fiber bundle is a fiber bundle in the category of smooth manifolds. That is, and are required to be smooth manifolds and all the functions above are required to be smooth maps.
Let and let be the projection onto the first factor. Then is a fiber bundle (of ) over Here is not just locally a product but globally one. Any such fiber bundle is called a trivial bundle. Any fiber bundle over a contractibleCW-complex is trivial.
Perhaps the simplest example of a nontrivial bundle is the Möbius strip. It has the circle that runs lengthwise along the center of the strip as a base and a line segment for the fiber , so the Möbius strip is a bundle of the line segment over the circle. A neighborhood of (where ) is an arc; in the picture, this is the length of one of the squares. The preimage 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 ).
A homeomorphism ( in § Formal definition) exists that maps the preimage of (the trivializing neighborhood) to a slice of a cylinder: curved, but not twisted. This pair locally trivializes the strip. The corresponding trivial bundle would be a cylinder, but the Möbius strip has an overall "twist". 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 similar nontrivial bundle is the Klein bottle, which can be viewed as a "twisted" circle bundle over another circle. The corresponding non-twisted (trivial) bundle is the 2-torus, .
Another special class of fiber bundles, called principal bundles, are bundles on whose fibers a free and transitiveaction by a group is given, so that each fiber is a principal homogeneous space. The bundle is often specified along with the group by referring to it as a principal -bundle. The group is also the structure group of the bundle. Given a representation of on a vector space , a vector bundle with as a structure group may be constructed, known as the associated bundle.
A sphere bundle is a fiber bundle whose fiber is an n-sphere. Given a vector bundle with a metric (such as the tangent bundle to a Riemannian manifold) one can construct the associated unit sphere bundle, for which the fiber over a point is the set of all unit vectors in . When the vector bundle in question is the tangent bundle , the unit sphere bundle is known as the unit tangent bundle.
A sphere bundle is partially characterized by its Euler class, which is a degree cohomology class in the total space of the bundle. In the case the sphere bundle is called a circle bundle and the Euler class is equal to the first Chern class, which characterizes the topology of the bundle completely. For any , given the Euler class of a bundle, one can calculate its cohomology using a long exact sequence called the Gysin sequence.
More generally, if is any topological group and a closed subgroup that also happens to be a Lie group, then is a fiber bundle.
A section (or cross section) of a fiber bundle is a continuous map such that for allx in B. Since bundles do not in general have globally defined sections, one of the purposes of the theory is to account for their existence. The obstruction to the existence of a section can often be measured by a cohomology class, which leads to the theory of characteristic classes in algebraic topology.
Often one would like to define sections only locally (especially when global sections do not exist). A local section of a fiber bundle is a continuous map where U is an open set in B and for all x in U. If is a local trivialization chart then local sections always exist over U. Such sections are in 1-1 correspondence with continuous maps . Sections form a sheaf.
Structure groups and transition functionsedit
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 is a set of local trivialization charts such that for any for the overlapping charts and the function
is given by
where is a continuous map called a transition function. Two G-atlases are equivalent if their union is also a G-atlas. A G-bundle is a fiber bundle with an equivalence class of G-atlases. The group G is called the structure group of the bundle; the analogous term in physics is gauge group.
In the smooth category, a G-bundle is a smooth fiber bundle where G is a Lie group and the corresponding action on F is smooth and the transition functions are all smooth maps.
The transition functions satisfy the following conditions
The third condition applies on triple overlaps Ui ∩ Uj ∩ Uk and is called the cocycle condition (see Čech cohomology). 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.
It is useful to have notions of a mapping between two fiber bundles. Suppose that M and N are base spaces, and and are fiber bundles over M and N, respectively. A bundle map or bundle morphism consists of a pair of continuous functions
such that That is, the following diagram is commutative:
For fiber bundles with structure group G and whose total spaces are (right) G-spaces (such as a principal bundle), bundle morphisms are also required to be G-equivariant on the fibers. This means that is also G-morphism from one G-space to another, that is, for all and
In case the base spaces M and N coincide, then a bundle morphism over M from the fiber bundle to is a map such that This means that the bundle map covers the identity of M. That is, and the following diagram commutes:
Assume that both and are defined over the same base space M. A bundle isomorphism is a bundle map between and such that and such that is also a homeomorphism.
Differentiable fiber bundlesedit
In the category of differentiable manifolds, fiber bundles arise naturally as submersions of one manifold to another. Not every (differentiable) submersion from a differentiable manifold M to another differentiable manifold N gives rise to a differentiable fiber bundle. For one thing, the map must be surjective, and is called a fibered manifold. However, this necessary condition is not quite sufficient, and there are a variety of sufficient conditions in common use.
If M and N are compact and connected, then any submersion gives rise to a fiber bundle in the sense that there is a fiber space F diffeomorphic to each of the fibers such that is a fiber bundle. (Surjectivity of follows by the assumptions already given in this case.) More generally, the assumption of compactness can be relaxed if the submersion is assumed to be a surjective proper map, meaning that is compact for every compact subsetK of N. Another sufficient condition, due to Ehresmann (1951), is that if is a surjective submersion with M and Ndifferentiable manifolds such that the preimage is compact and connected for all then admits a compatible fiber bundle structure (Michor 2008, §17).
In topology, a fibration is a mapping that has certain homotopy-theoretic properties in common with fiber bundles. Specifically, under mild technical assumptions a fiber bundle always has the homotopy lifting property or homotopy covering property (see Steenrod (1951, 11.7) for details). This is the defining property of a fibration.
A section of a fiber bundle is a "function whose output range is continuously dependent on the input." This property is formally captured in the notion of dependent type.
^Whitney, Hassler (1940). "On the theory of sphere bundles" (PDF). Proc. Natl. Acad. Sci. 26 (2): 148–153. Bibcode:1940PNAS...26..148W. doi:10.1073/pnas.26.2.148. PMC1078023. PMID 16588328.
^Depending on the category of spaces involved, the functions may be assumed to have properties other than continuity. For instance, in the category of differentiable manifolds, the functions are assumed to be smooth. In the category of algebraic varieties, they are regular morphisms.
^ Or is, at least, invertible in the appropriate category; e.g., a diffeomorphism.
Steenrod, Norman (1951), The Topology of Fibre Bundles, Princeton University Press, ISBN 978-0-691-08055-0
Steenrod, Norman (April 5, 1999). The Topology of Fibre Bundles. Princeton Mathematical Series. Vol. 14. Princeton, N.J.: Princeton University Press. ISBN 978-0-691-00548-5. OCLC 40734875.
Bleecker, David (1981), Gauge Theory and Variational Principles, Reading, Mass: Addison-Wesley publishing, ISBN 978-0-201-10096-9
Ehresmann, Charles (1951). "Les connexions infinitésimales dans un espace fibré différentiable". Colloque de Topologie (Espaces fibrés), Bruxelles, 1950. Paris: Georges Thone, Liège; Masson et Cie. pp. 29–55.