# Fibration

Fibration

In mathematics, especially algebraic topology, a fibration is a continuous mapping

:$p:E o B,$

satisfying the homotopy lifting property with respect to any space. Fiber bundles (over paracompact bases) constitute important examples. In homotopy theory any mapping is 'as good as' a fibration &mdash; i.e. any map can be decomposed as a homotopy equivalence into a "mapping path space" followed by a fibration. (See homotopy fiber.)

A fibration with the homotopy lifting property for CW complexes (or equivalently, just cubes In) is called a "Serre fibration", in honor of the part played by the concept in the thesis of Jean-Pierre Serre. This thesis firmly established in algebraic topology the use of spectral sequences, and clearly separated the notions of fiber bundles and fibrations from the notion of sheaf (both concepts together having been implicit in the pioneer treatment of Jean Leray). Because a sheaf (thought of as an étalé space) can be considered a local homeomorphism, the notions were closely interlinked at the time.

The "fibers" are by definition the subspaces of "E" that are the inverse images of points "b" of "B". If the base space "B" is path connected, it is a consequence of the definition that the fibers of two different points "b"1 and "b"2 in "B" are homotopy equivalent. Therefore one usually speaks of "the fiber" "F". Fibrations do not necessarily have the local cartesian product structure that defines the more restricted fiber bundle case, but something weaker that still allows "sideways" movement from fiber to fiber. One of the main desirable properties of the Serre spectral sequence is to account for the action of the fundamental group of the base "B" on the homology of the "total space" "E".

The projection map from a product space is very easily seen to be a fibration. Fiber bundles have "local trivializations" &mdash; such cartesian product structures exist locally on "B", and this is usually enough to show that a fiber bundle is a fibration. More precisely, if there are local trivializations over a "numerable open cover" of "B" , the bundle is a fibration. Any open cover of a paracompact space &mdash; for example any metric space, has a numerable refinement, so any bundle over such a space is a fibration. The local triviality also implies the existence of a well-defined "fiber" (up to homeomorphism), at least on each connected component of "B".

Examples

In the following examples a fibration is denoted:"F" &rarr; "E" &rarr; "B",where the first map is the inclusion of "the" fiber "F" into the total space "E" and the second map is the fibration onto the basis "B". This is also referred to as a fibration sequence.

* The Hopf fibration "S"1 → "S"3 → "S"2 was historically one of the earliest non-trivial examples of a fibration.
* The Serre fibration "SO"(2) → "SO"(3) → "S"2 comes from the action of the rotation group "SO"(3) on the 2-sphere "S"2.
* Over complex projective space, there is a fibration "S"1 → "S"2"n"+1CP"n".

Fibrations in closed model categories

Fibrations of topological spaces fit into a more general framework, the so-called closed model categories. In such categories, there are distinguished classes of morphisms, the so-called "fibrations", "cofibrations" and "weak equivalences". Certain axioms, such as stability of fibrations under composition and pullbacks, factorization of every morphism into the composition of an acyclic cofibration followed by a fibration or a cofibration followed by an acyclic fibration, where the word "acyclic" indicates that the corresponding arrow is also a weak equivalence, and other requirements are set up to allow the abstract treatment of homotopy theory. (In the original treatment, due to Daniel Quillen, the word "trivial" was used instead of "acyclic.")

It can be shown that the category of topological spaces is in fact a model category, where (abstract) fibrations are just the fibrations introduced above and weak equivalences are homotopy equivalences. See harvtxt|Dwyer, Spaliński|1995.

ee also

* Homotopy fiber

References

* | year=1995 | chapter=Homotopy theories and model categories | pages=73–126 (model category structure on topological spaces)

Wikimedia Foundation. 2010.

### Look at other dictionaries:

• Fibration —  Ne pas confondre avec un espace fibré ni avec une filtration. En théorie de l homotopie, une fibration est une application continue entre espaces topologiques satisfaisant une propriété de relèvement des homotopies, qui est satisfaite en… …   Wikipédia en Français

• Fibration De Hopf — En géométrie la fibration de Hopf donne une partition de la sphère à 3 dimensions S3 par des grands cercles. Plus précisément, elle définit une structure fibrée sur S3. L espace de base est la sphère à 2 dimensions S2, la fibre modèle est un… …   Wikipédia en Français

• Fibration de hopf — En géométrie la fibration de Hopf donne une partition de la sphère à 3 dimensions S3 par des grands cercles. Plus précisément, elle définit une structure fibrée sur S3. L espace de base est la sphère à 2 dimensions S2, la fibre modèle est un… …   Wikipédia en Français

• Fibration de Hopf — En géométrie la fibration de Hopf donne une partition de la sphère à 3 dimensions S3 par des grands cercles. Plus précisément, elle définit une structure fibrée sur S3. L espace de base est la sphère à 2 dimensions S2, la fibre modèle est un… …   Wikipédia en Français

• fibration — noun a continuous mapping satisfying the homotopy lifting property with respect to any space …   Wiktionary

• fibration — (fi bra sion) s. f. Terme didactique. Disposition des fibres dans les organes foliacés. ÉTYMOLOGIE    Fibre …   Dictionnaire de la Langue Française d'Émile Littré

• fibration — fi·bra·tion …   English syllables

• fibration — fīˈbrāshən noun ( s) Etymology: probably from French, from fibr + ation : the arrangement or formation of fibers or fibrous structure …   Useful english dictionary

• Hopf fibration — In the mathematical field of topology, the Hopf fibration (also known as the Hopf bundle or Hopf map) describes a 3 sphere (a hypersphere in four dimensional space) in terms of circles and an ordinary sphere. Discovered by Heinz Hopf in 1931, it… …   Wikipedia

• Kan fibration — The notion of a Kan fibration is a part of the theory of simplicial sets in mathematics. Kan fibrations are the fibrations in the model category theoretic sense on the category of simplicial sets and are therefore of fundamental importance. The… …   Wikipedia