Mapping cone (topology)
In mathematics, especially homotopy theory, the mapping cone is a construction of topology, analogous to a quotient space. It is also called the homotopy cofiber, and also notated . Its dual, a fibration, is called the mapping fibre. The mapping cone can be understood to be a mapping cylinder , with one end of the cylinder collapsed to a point. Thus, mapping cones are frequently applied in the homotopy theory of pointed spaces.
Given a map , the mapping cone is defined to be the quotient space of the mapping cylinder with respect to the equivalence relation , on X. Here denotes the unit interval [0, 1] with its standard topology. Note that some authors (like J. Peter May) use the opposite convention, switching 0 and 1.
Visually, one takes the cone on X (the cylinder with one end (the 0 end) identified to a point), and glues the other end onto Y via the map f (the identification of the 1 end).
Coarsely, one is taking the quotient space by the image of X, so ; this is not precisely correct because of point-set issues, but is the philosophy, and is made precise by such results as the homology of a pair and the notion of an n-connected map.
The above is the definition for a map of unpointed spaces; for a map of pointed spaces (so ), one also identifies all of ; formally, Thus one end and the "seam" are all identified with
Example of circleEdit
Consider, for example, the case where Y is the disk , and is the standard inclusion of the circle as the boundary of . Then the mapping cone is homeomorphic to two disks joined on their boundary, which is topologically the sphere .
Double mapping cylinderEdit
and joined on the other end to a space via a map
The mapping cone is the degenerate case of the double mapping cylinder (also known as the homotopy pushout), in which one of is a single point.
Dual construction: the mapping fibreEdit
Here, I is the unit interval and is a continuous path in the space (the exponential object) . The mapping fiber is sometimes denoted as ; however this conflicts with the same notation for the mapping cylinder.
It is dual to the mapping cone in the sense that the product above is essentially the fibered product or pullback which is dual to the pushout used to construct the mapping cone. In this particular case, the duality is essentially that of currying, in that the mapping cone has the curried form where is simply an alternate notation for the space of all continuous maps from the unit interval to . The two variants are related by an adjoint functor. Observe that the currying preserves the reduced nature of the maps: in the one case, to the tip of the cone, and in the other case, paths to the basepoint.
Attaching a cell
Effect on fundamental groupEdit
Given a space X and a loop representing an element of the fundamental group of X, we can form the mapping cone . The effect of this is to make the loop contractible in , and therefore the equivalence class of in the fundamental group of will be simply the identity element.
Given a group presentation by generators and relations, one gets a 2-complex with that fundamental group.
Homology of a pairEdit
Relation to homotopy (homology) equivalencesEdit
A map between simply-connected CW complexes is a homotopy equivalence if and only if its mapping cone is contractible.
- Rotman, Joseph J. (1988). An Introduction to Algebraic Topology. See Chapter 11 for proof.: Springer-Verlag. ISBN 0-387-96678-1.CS1 maint: location (link)
- May, J. Peter (1999). A Concise Course in Algebraic Topology (PDF). Chicago Lectures in Mathematics. See Chapter 6. ISBN 0-226-51183-9.CS1 maint: location (link)
- * Hatcher, Allen (2002). Algebraic topology. Cambridge: Cambridge University Press. ISBN 9780521795401.