TheBestLinks.com
TheBestLinks.com
Fibration, Cartesian product, Category theory, Fundamental group, Homeomorphism ... Print friendly version | Tell a friend
 
Navigation
Search
Toolbox

Fibration

From TheBestLinks.com

In algebraic topology, a fibration is a continuous mapping

YX

satisfying the homotopy lifting property. Fiber bundles constitute important examples; but in homotopy theory any mapping is 'as good as' a fibration.

A fibration with the homotopy lifting property for CW complexes is often called fibration in the sense of Serre, in honour of the part played by the concept in the thesis of Jean-Pierre Serre. This established in algebraic topology the notion of spectral sequence, in a way that separated it out from the notion of sheaf (both concepts together having been implicit in the pioneer treatment of Jean Leray). Because a sheaf is 'as good as' a local homeomorphism, the notions seemed closely interlinked at the time.

The geometry of a fibration is, by definition, to do with being able to lift up homotopies in the base X into the fibering space Y. The fibers are by definition the subspaces of Y that are the inverse images of points x of X. We are not in this case given a local cartesian product structure (which defines the more restricted fiber bundle case), but something possibly 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 X on the homology of the total space Y.

In order to pass from a fibration to a fiber bundle, one needs a local trivialization — in other words the existence of such a cartesian product structure, locally on X. This then implies the existence of a well-defined fiber (up to homeomorphism), at least on each connected component of X.

In the category theory, a functor p : EC from a category E to a category C is a fibration iff for every object X of E and every map γ into pX in C there exists a cartesian morphism into X over γ (see also semidirect product).



Related links


Top visited 0 of 0 links

[no links posted yet]

>> place link >>

Discussion

Last posted 0 of 0 messages

[no messages posted yet]

>> post message >>

Watch

You can add this article to your own "watchlist" and receive e-mail notification about all changes in this page.
 
   
Innovate it
This page was last modified 05:20, 22 Aug 2004.
  Content is available under GNU Free Documentation License 1.2.
Powered by MediaWiki