In algebraic topology, the path space fibration over a pointed space ( X , ∗ ) {\displaystyle (X,*)} is a fibration of the form
Ω X ↪ P X → χ ↦ χ ( 1 ) X {\displaystyle \Omega X\hookrightarrow PX{\overset {\chi \mapsto \chi (1)}{\to }}X}
where
P X {\displaystyle PX} is the based path space of the pointed space ( X , ∗ ) {\displaystyle (X,*)} ; that is, P X = { f : I → X ∣ f continuous , f ( 0 ) = ∗ } {\displaystyle PX=\{f\colon I\to X\mid f\ {\text{continuous}},f(0)=*\}} equipped with the compact-open topology.
Ω X {\displaystyle \Omega X} is the fiber of χ ↦ χ ( 1 ) {\displaystyle \chi \mapsto \chi (1)} over the base point of ( X , ∗ ) {\displaystyle (X,*)} ; thus it is the loop space of ( X , ∗ ) {\displaystyle (X,*)} . The free path space of X, that is, Map ( I , X ) = X I {\displaystyle \operatorname {Map} (I,X)=X^{I}} , consists of all maps from I to X that do not necessarily begin at a base point, and the fibration X I → X {\displaystyle X^{I}\to X} given by, say, χ ↦ χ ( 1 ) {\displaystyle \chi \mapsto \chi (1)} , is called the free path space fibration. The path space fibration can be understood to be dual to the mapping cone. The fiber of the based fibration is called the mapping fiber or, equivalently, the homotopy fiber.
Mapping path space If f : X → Y {\displaystyle f\colon X\to Y} is any map, then the mapping path space P f {\displaystyle P_{f}} of f {\displaystyle f} is the pullback of the fibration Y I → Y , χ ↦ χ ( 1 ) {\displaystyle Y^{I}\to Y,\,\chi \mapsto \chi (1)} along f {\displaystyle f} . (A mapping path space satisfies the universal property that is dual to that of a mapping cylinder, which is a push-out. Because of this, a mapping path space is also called a mapping cocylinder.) Since a fibration pulls back to a fibration, if Y is based, one has the fibration
F f ↪ P f → p Y {\displaystyle F_{f}\hookrightarrow P_{f}{\overset {p}{\to }}Y}
where p ( x , χ ) = χ ( 0 ) {\displaystyle p(x,\chi )=\chi (0)} and F f {\displaystyle F_{f}} is the homotopy fiber, the pullback of the fibration P Y ⟶ χ ↦ χ ( 1 ) Y {\displaystyle PY{\overset {\chi \mapsto \chi (1)}{\longrightarrow }}Y} along f {\displaystyle f} . Note also f {\displaystyle f} is the composition
X → ϕ P f → p Y {\displaystyle X{\overset {\phi }{\to }}P_{f}{\overset {p}{\to }}Y}
… excerpt ends here. Continue reading the full article.
