1 Definition and basic idea

A mapping cone is a construction attached to a map that packages the source, target, and the map itself into a single object. In both topology and homological algebra, it is used to measure how much information is lost or preserved by the map. When the cone is “small” in an appropriate sense, the original map behaves like an equivalence; when it is large or complicated, it records the failure of equivalence.

1.1 Mapping cone in topology

For a continuous map between topological spaces, the mapping cone is formed by adjoining a cone on the source space to the target space along the given map. This produces a new space in which the source is collapsed toward a cone point after being attached to the target. The resulting space reflects how the map sits inside the topology of the target.

1.2 Mapping cone in homological algebra

For a chain map between chain complexes, the mapping cone is another chain complex built from shifted copies of the source and the target. Its homology captures the effect of the original chain map. In many contexts, the cone is the algebraic counterpart of the topological construction and is central to the language of exact triangles.

1.3 Intuitive interpretation

The mapping cone can be viewed as a defect object. If a map is an equivalence, its cone is contractible or acyclic, depending on the setting. If the map fails to be an equivalence, the cone records the obstruction in a form that can be studied by homology, cohomology, and related invariants.

2 Construction

The mapping cone has closely related topological and algebraic definitions. In each case, the construction combines the original map with a cone-like enlargement of the source and then encodes the attachment in a new object.

2.1 Topological mapping cone

In topology, the cone construction starts from the cone on a space and then glues that cone to the codomain by means of the given map. This creates a quotient space with a canonical point representing the tip of the cone.

2.1.1 Cone on a space

The cone on a space is obtained by taking the product of the space with an interval and collapsing one end of the interval to a point. Geometrically, this resembles stretching the space into a tapered shape. The cone is contractible, which makes it useful for encoding homotopical information.

2.1.2 Attaching via a map

Given a map from a space into another, the cone on the source is attached to the target by identifying each point in the base of the cone with its image under the map. The result is the mapping cone. This gluing procedure turns the original map into part of the geometry of the new space.

2.2 Chain-complex mapping cone

In homological algebra, the mapping cone of a chain map is a new chain complex built from the source and target complexes. It is designed so that the differential incorporates both the original differentials and the given chain map.

2.2.1 Underlying graded module

The underlying graded object of the cone is typically a direct sum of the target complex with a shifted version of the source complex. The shift is essential because it aligns degrees so that the cone differential has the correct grading behavior.

2.2.2 Differential on the cone

The differential on the cone combines the differentials from the source and target with the chain map itself. In matrix form, it is often expressed using a block structure that makes the interaction between the two complexes explicit. This differential is arranged so that applying it twice gives zero.

2.2.3 Sign conventions

Sign choices are important in the algebraic definition, especially when working with graded objects. Different authors use different conventions, but equivalent formulas are common once the grading shift is fixed. Careful bookkeeping ensures that the cone differential satisfies the required identities.

3 Fundamental properties

Mapping cones are valued because they translate properties of a map into properties of a new object. Many important theorems in topology and algebra are most naturally stated in terms of cones.

3.1 Homotopy invariance

A homotopy between maps often induces an equivalence between their mapping cones. This means the cone depends, up to the appropriate notion of equivalence, only on the homotopy class of the original map. As a result, the construction is well suited to homotopical methods.

3.2 Relation to exactness

Mapping cones are closely connected with exact sequences. In algebraic settings, the cone fits into short exact sequences of complexes and gives rise to long exact sequences in homology. This makes it a bridge between morphisms and exactness properties.

3.3 Contractibility and null-homotopic maps

If a map is null-homotopic, its cone often decomposes in a particularly simple way. In favorable situations, the cone may be homotopy equivalent to a direct sum of the source and target with a shift. When the map is an equivalence, the cone is contractible or acyclic, reflecting the absence of essential obstruction.

3.4 Long exact sequence in homology

The mapping cone naturally yields a long exact sequence in homology. This sequence compares the homology of the source, target, and cone, and it is one of the main reasons the construction is so useful. It provides a systematic way to compute or estimate homological information from a map.

4 Examples

Concrete examples show how the mapping cone behaves in familiar situations. These cases illustrate the range from trivial maps to inclusions and algebraic morphisms.

4.1 Constant map

For a constant map, the topological mapping cone often resembles a wedge-like space formed from the target and a suspension of the source. The cone is usually far from contractible unless the source itself has trivial homotopy type. In homological terms, the cone detects that the map carries little information.

4.2 Identity map

The mapping cone of the identity map is contractible in topology and acyclic in homological algebra. This reflects the fact that the identity is an equivalence and therefore has no defect to measure. It is one of the simplest sanity checks for the construction.

4.3 Inclusion of a subspace

When the map is an inclusion, the mapping cone often models the quotient-like effect of collapsing the subspace in a controlled manner. This example is closely related to relative topology and relative homology. It is a standard source of exact sequences and comparison results.

4.4 Map between chain complexes

For a chain map between two explicit complexes, the cone can be written down degree by degree. Its homology may be computed directly from the induced maps on homology groups. Such examples are common in algebraic calculations and illustrate how cones summarize the failure of a map to be an isomorphism on homology.

The mapping cone sits among a family of closely related constructions. Several of these are equivalent in spirit but differ in geometric or categorical emphasis.

5.1 Mapping cylinder

The mapping cylinder is another space built from a map by attaching a cylinder on the source to the target. Unlike the cone, it retains more of the source as a separate subspace. Mapping cylinders are often used to factor a map into a homotopy equivalence followed by an inclusion.

5.2 Cofibers and homotopy cofibrations

In homotopy theory, the mapping cone is closely related to the notion of a cofiber. Cofibrations are maps for which the cone construction behaves especially well. This relationship places mapping cones within the broader framework of homotopy pushouts and exact triangles.

5.3 Suspension and reduced cone

The reduced cone is a pointed version of the cone construction, adapted to based spaces. It is closely connected with suspension, since quotients of cones frequently produce suspensions or related shifted spaces. These constructions are fundamental in stable homotopy theory.

5.4 Cochain mapping cone

There is a cochain-level analogue of the mapping cone for morphisms of cochain complexes. The grading and sign conventions are adjusted to the cohomological direction. This version is used extensively in cohomology theories and derived categorical settings.

6 Applications

Mapping cones appear throughout modern mathematics because they provide a uniform way to study maps through the objects they generate. Their flexibility makes them valuable in both computations and abstract theory.

6.1 Algebraic topology

In algebraic topology, mapping cones are used to study homotopy classes, cell attachments, and relative constructions. They help describe how spaces are built from simpler pieces and how maps alter homology and homotopy groups. Many classical arguments can be organized cleanly using cone sequences.

6.2 Homological algebra

In homological algebra, mapping cones are a standard tool for comparing complexes and morphisms in a derived setting. They are central to proofs involving quasi-isomorphisms, exact sequences, and resolutions. The cone construction also clarifies when two chain maps should be considered equivalent.

6.3 Derived categories and triangulated structures

Mapping cones are one of the defining ingredients of triangulated categories. Exact triangles in such categories are modeled on cone sequences, and many categorical arguments are phrased in terms of cones. This makes the construction foundational in derived algebra and related branches.

6.4 Relative homology and cohomology

Mapping cones provide a natural language for relative invariants. They connect the homology of a space to the homology of a subspace or map, and they are often used to derive relative long exact sequences. Similar ideas apply in cohomology, where cones organize obstruction and comparison data.

7 Variants and generalizations

The basic mapping cone admits many extensions. These variants adapt the idea to more elaborate categories, higher structures, and iterative constructions.

7.1 Iterated mapping cones

Iterated cones are formed by applying the cone construction repeatedly. They arise in multi-step filtrations and in complex diagrammatic arguments. Such constructions can encode successive layers of homological information.

7.2 Functoriality issues

Mapping cones are not always strictly functorial without additional choices. Different models may produce equivalent but not identical cones, so care is needed when constructing maps between cones. In practice, one often works up to homotopy or in a category where these ambiguities are controlled.

7.3 Stable and derived settings

In stable homotopy theory and derived algebra, cones are interpreted within categories where suspension and exact triangles are built into the framework. This allows the cone to behave as a canonical measure of a morphism’s failure to be invertible. The construction then becomes part of a broader stable formalism.

7.4 Enriched and categorical formulations

Mapping cones also appear in enriched category theory and more abstract categorical settings. There, the cone may be defined using universal properties, homotopy colimits, or triangulated axioms rather than explicit point-set formulas. These formulations extend the same core idea into highly general contexts.