Seminar topic
Recall the exponential object ZY, which, in the category of topological spaces, is the set of all continuous functions Y→Z. In general, the definition involves a commuting diagram and gives an isomorphism Hom(X×Y,Z)≅Hom(X,ZY). The subspace F(Y,Z) of ZY consists of based functions Y→Z.
Definition: Let F,E,B,X be topological spaces. A map i:F→E is a cofibration if for every map f:E→X and every homotopy h:F×I→X, there exists a homotopy ˜h:E×I→X (extending h) making either of the equivalent diagrams below commute.
The horizontal maps on the left are the natural inclusion maps x↦(x,0) and the map on the right is the natural evaluation map φ↦φ(0). Similarly, a map p:E→B is a fibration if for every map g:X→E and every homotopy h:X×I→B, there exists a homotopy ˜h:X×I→E (lifting h) making either of the equivalent diagrams below commute.
The horizontal maps on the right are the natural evaluation maps and the map on the right is the natural inclusion map.
Instead of this terminology, often we say the pair (F,E) has the homotopy extension property and the pair (E,B) has the homotopy lifting property. Now, let let (X,x) be a pointed topological space.
Definition: The (reduced) suspension ΣX of X is
ΣX:=X×I/X×{0}∪X×{1}∪{x}×I.
The unreduced suspension SX of X is
SX:=X×I/X×{0}∪X×{1}.
The loop space ΩX of X is
ΩX:=F(S1,X).
Remark: If X is well-pointed (the inclusion i:{x}↪X is a cofibration), then the natural quotient map SX→ΣX is a homotopy equivalence. Moreover, there is an adjunction F(ΣX,Y)≅F(X,ΩY). In the fundamental group this gives the adjunction
[ΣX,Y]≅[X,ΩY],
where [A,B] is the set of based homotopy classes of maps A→B.
References: May (A concise course in algebraic toplogy, Chapters 6, 7, 8), Aguilar, Gitler, and Prieto (Algebraic topology from a homotopical viewpoint, Chapter 2.10)
No comments:
Post a Comment