Misplaced Pages

Path space fibration

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
(Redirected from Moore's path space fibration)

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}

where the first map ϕ {\displaystyle \phi } sends x to ( x , c f ( x ) ) {\displaystyle (x,c_{f(x)})} ; here c f ( x ) {\displaystyle c_{f(x)}} denotes the constant path with value f ( x ) {\displaystyle f(x)} . Clearly, ϕ {\displaystyle \phi } is a homotopy equivalence; thus, the above decomposition says that any map is a fibration up to homotopy equivalence.

If f {\displaystyle f} is a fibration to begin with, then the map ϕ : X → P f {\displaystyle \phi \colon X\to P_{f}} is a fiber-homotopy equivalence and, consequently, the fibers of f {\displaystyle f} over the path-component of the base point are homotopy equivalent to the homotopy fiber F f {\displaystyle F_{f}} of f {\displaystyle f} .

Moore's path space

By definition, a path in a space X is a map from the unit interval I to X. Again by definition, the product of two paths α , β {\displaystyle \alpha ,\beta } such that α ( 1 ) = β ( 0 ) {\displaystyle \alpha (1)=\beta (0)} is the path β ⋅ α : I → X {\displaystyle \beta \cdot \alpha \colon I\to X} given by:

( β ⋅ α ) ( t ) = { α ( 2 t ) if  0 ≤ t ≤ 1 / 2 β ( 2 t − 1 ) if  1 / 2 ≤ t ≤ 1 {\displaystyle (\beta \cdot \alpha )(t)={\begin{cases}\alpha (2t)&{\text{if }}0\leq t\leq 1/2\\\beta (2t-1)&{\text{if }}1/2\leq t\leq 1\\\end{cases}}} .

This product, in general, fails to be associative on the nose: ( γ ⋅ β ) ⋅ α ≠ γ ⋅ ( β ⋅ α ) {\displaystyle (\gamma \cdot \beta )\cdot \alpha \neq \gamma \cdot (\beta \cdot \alpha )} , as seen directly. One solution to this failure is to pass to homotopy classes: one has [ ( γ ⋅ β ) ⋅ α ] = [ γ ⋅ ( β ⋅ α ) ] {\displaystyle =} . Another solution is to work with paths of arbitrary lengths, leading to the notions of Moore's path space and Moore's path space fibration, described below. (A more sophisticated solution is to rethink composition: work with an arbitrary family of compositions; see the introduction of Lurie's paper, leading to the notion of an operad.)

Given a based space ( X , ∗ ) {\displaystyle (X,*)} , we let

P ′ X = { f : [ 0 , r ] → X ∣ r ≥ 0 , f ( 0 ) = ∗ } . {\displaystyle P'X=\{f\colon \to X\mid r\geq 0,f(0)=*\}.}

An element f of this set has a unique extension f ~ {\displaystyle {\widetilde {f}}} to the interval [ 0 , ∞ ) {\displaystyle [0,\infty )} such that f ~ ( t ) = f ( r ) , t ≥ r {\displaystyle {\widetilde {f}}(t)=f(r),\,t\geq r} . Thus, the set can be identified as a subspace of Map ⁡ ( [ 0 , ∞ ) , X ) {\displaystyle \operatorname {Map} ([0,\infty ),X)} . The resulting space is called the Moore path space of X, after John Coleman Moore, who introduced the concept. Then, just as before, there is a fibration, Moore's path space fibration:

Ω ′ X ↪ P ′ X → p X {\displaystyle \Omega 'X\hookrightarrow P'X{\overset {p}{\to }}X}

where p sends each f : [ 0 , r ] → X {\displaystyle f:\to X} to f ( r ) {\displaystyle f(r)} and Ω ′ X = p − 1 ( ∗ ) {\displaystyle \Omega 'X=p^{-1}(*)} is the fiber. It turns out that Ω X {\displaystyle \Omega X} and Ω ′ X {\displaystyle \Omega 'X} are homotopy equivalent.

Now, we define the product map

μ : P ′ X × Ω ′ X → P ′ X {\displaystyle \mu :P'X\times \Omega 'X\to P'X}

by: for f : [ 0 , r ] → X {\displaystyle f\colon \to X} and g : [ 0 , s ] → X {\displaystyle g\colon \to X} ,

μ ( g , f ) ( t ) = { f ( t ) if  0 ≤ t ≤ r g ( t − r ) if  r ≤ t ≤ s + r {\displaystyle \mu (g,f)(t)={\begin{cases}f(t)&{\text{if }}0\leq t\leq r\\g(t-r)&{\text{if }}r\leq t\leq s+r\\\end{cases}}} .

This product is manifestly associative. In particular, with μ restricted to Ω'X × Ω'X, we have that Ω'X is a topological monoid (in the category of all spaces). Moreover, this monoid Ω'X acts on P'X through the original μ. In fact, p : P ′ X → X {\displaystyle p:P'X\to X} is an Ω'X-fibration.

Notes

  1. Throughout the article, spaces are objects of the category of "reasonable" spaces; e.g., the category of compactly generated weak Hausdorff spaces.
  2. Davis & Kirk 2001, Theorem 6.15. 2.
  3. Davis & Kirk 2001, § 6.8.
  4. using the change of fiber
  5. Whitehead 1978, Ch. III, § 2.
  6. Lurie, Jacob (October 30, 2009). "Derived Algebraic Geometry VI: E[k]-Algebras" (PDF).
  7. Let G = Ω'X and P = P'X. That G preserves the fibers is clear. To see, for each γ in P, the map G → p − 1 ( p ( γ ) ) , g ↦ γ g {\displaystyle G\to p^{-1}(p(\gamma )),\,g\mapsto \gamma g} is a weak equivalence, we can use the following lemma:

    Lemma — Let p: D → B, q: E → B be fibrations over an unbased space B, f: D → E a map over B. If B is path-connected, then the following are equivalent:

    • f is a weak equivalence.
    • f : p − 1 ( b ) → q − 1 ( b ) {\displaystyle f:p^{-1}(b)\to q^{-1}(b)} is a weak equivalence for some b in B.
    • f : p − 1 ( b ) → q − 1 ( b ) {\displaystyle f:p^{-1}(b)\to q^{-1}(b)} is a weak equivalence for every b in B.

    We apply the lemma with B = I , D = I × G , E = I × X P , f ( t , g ) = ( t , α ( t ) g ) {\displaystyle B=I,D=I\times G,E=I\times _{X}P,f(t,g)=(t,\alpha (t)g)} where α is a path in P and I → X is t → the end-point of α(t). Since p − 1 ( p ( γ ) ) = G {\displaystyle p^{-1}(p(\gamma ))=G} if γ is the constant path, the claim follows from the lemma. (In a nutshell, the lemma follows from the long exact homotopy sequence and the five lemma.)

References

Categories: