An Alternative Way to Mapping Cone: The Algebraic Topology of the Pinched Tensor ()
1. Introduction
The mapping cone is a construction used in algebraic topology and homological algebra to study maps between two topological spaces or algebraic objects. Let S, T, be two topological spaces and let
be a continuous map from S to T. The mapping cone associated with f is a new space that captures information about the failure of f to be a homotopy equivalence.
Intuitively, the mapping cone is constructed by taking a cylinder
and gluing one end to the image of S under f and the other end to a single point. The resulting space has a cone-like shape and encodes information about the twisting or winding of the map f.
In recent years, the mapping cone is used in algebraic topology to define the cone of a chain complex, which in turn is used to define the homology groups of a space. In homological algebra, the mapping cone is used to construct long exact sequences that relate the homology groups of two spaces connected by a map. Also it has been used for some discrete problems [1] and by bearing cone to estimate gazes in geological aspect of its applications [2] .
Algebraic topology was significantly advanced by the work of German mathematician Tammo tom Dieck [3] . His research had a profound impact on homotopy theory, particularly in stable homotopy theory and its applications. In [4] Dieck’s contributions encompassed work on the stable homotopy groups of spheres, surgery theory, and various other topics within algebraic topology. His research has greatly influenced the field, inspiring subsequent generations of mathematicians to explore these foundational ideas further.
Geometrically, the mapping cone of f can be visualized as the space obtained by gluing the cone over S to T via f. The chain complex
plays a pertinent role in algebraic topology, of note is its role in the study of spectral sequences and the long exact sequence of homology groups associated to a short exact sequence of chain complexes.
The pinched mapping cone of f has several important properties. First, it is homotopy equivalent to the suspension of the mapping cone
. This follows from the fact that the suspension of
is obtained by attaching two cones to its base, and the pinched mapping cone identifies the basepoints of these cones.
Second, the homotopy groups of the pinched mapping cone can be computed using the long exact sequence in homotopy associated with the mapping cone. This sequence relates the homotopy groups of S, T, and
, and can be used to compute the homotopy groups of Z.
Third, the pinched mapping cone is used in the proof of the Freudenthal suspension theorem, which relates the stable homotopy groups of spheres to the homotopy groups of suspensions of spheres. The pinched mapping cone is used to construct a sequence of maps that are used to show that the stable homotopy groups of spheres stabilize at a certain point.
For more details you may see in [5] [6] and [7] .
2. Basic Setup
It is assumed in this paper that E, F, S, and T are complexes of R-modules, with R being an associative ring. We will see most of the definitions and results of this section in [8] [9] and [10] .
Definition 2.1. A chain complex S of R-modules is a sequence of R-module homomorphisms,
such that
for all n. Equivalently
, for all n. The maps
are called the differentials of S.
Definition 2.2. Given a complex S of R-modules
We say that it is exact at Sn if
. Moreover, we say S is an exact sequence if
for all n.
Definition 2.3. A morphism, or a degree zero chain map,
between complexes S and T is a family of R-module homomorphisms
, such that each square in the diagram
commutes. In other words, for each n we have
.
Also, if
is an isomorphism for all n, then, S and T are said to be isomorphic, denoted by
.
Definition 2.4. Let E be a complex of R-modules. Then the Shift of E,
is complex of R-modules defined by
, and
for all n. Also, the canonical map
, is obtained by shifting degrees of elements, specifically, if
. Then,
.
On the other hand, Lars Christensen and David Jorgensen unveiled in 2014 a variant of the tensor product of complexes in their paper [11] known as the pinched tensor product. We recall some essential definitions and recommendations.
Definition 2.5. Let S and T a complexes of R-modules. The tensor product
of S and T is specified by letting
The differential is defined by,
For
and
. The sign
ensures that
for all n.
Definition 2.6. Let S and T be complexes of R-modules. We define the pinched tensor product
of S and T by:
With differential
defined by,
where
denotes the canonical map
.
For more details you may see [11] [12] and [13] .
3. Mapping Cone
Definition 3.1. Let A, B, S and T be complexes, and let
and
be chain maps. Then for
we have
.
Definition 3.2. If
is a chain map, then its mapping cone,
, is a complex of R-modules whose term of degree n is
and whose differentials
is given by
A straightforward computation shows that
:
Since we know that f is a morphism and
.
Theorem 3.3. Let A be an R-complex and
be a morphism of complexes of R-modules. Then,
Proof: The proof is well-known. (Proposition 4.1.12 in [14] .) □
4. Main Results
In the following section, we will present the main theorem applied in the special case of the pinched mapping cone and we provide the detailed proof of it.
Theorem 4.1. Let A be an R-complex and
be a morphism of complexes of R-modules. Then, there exist a morphism from
to
. Where,
when
and
when
Proof: We consider three cases:
,
and
.
:
In this case the diagram is
Define
and
. Choose an element
. Then,
And
Clear that
since the following diagram commutes
Therefore,
, which is what we wanted to show.
:
In this case the diagram is
Define
. We have two subcases
and
:
Choose an element
. Then,
And
:
Choose an element
. Then,
And
Therefore,
, which is what we wanted to show.
:
In this case the diagram is
Define
and choose an element
. Then,
And
Therefore,
, which is what we wanted to show. □
Remark 4.2. In Theorem 4.1 we note that we will not have an isomorphism between
and
because
has one more term than
for
and vice versa for
.
Theorem 4.3. Let A be an R-complex and
be a morphism of complexes of R-modules. Then there exist a morphism from
to
.
Proof: The proof is similar to that of Theorem 4.1. □
5. Conclusion
To conclude, the mapping cone stands as a potent instrument within algebraic topology, boasting myriad vital applications. Its inherent properties facilitate the establishment of intriguing connections among homotopy groups of spaces, playing a pivotal role in substantiating numerous key theorems. The mapping cone’s versatility extends its utility across a wide array of subjects, spanning from homotopy groups to fiber bundles. For algebraic topologists, it remains an indispensable tool, frequently employed to tackle the challenging computation of homotopy groups. Notably, the pinched mapping cone serves as a testament to the robustness and value of algebraic topology in the realm of mathematics. As referenced in the central theorem, we substantiate the existence of morphisms from one cone to another, contributing significantly to the expansion of homotopy group properties. Future research avenues may delve even deeper into the intricacies of the mapping cone, providing more extensive exploration of its applications and investigating its pertinence in other mathematical domains.
Acknowledgements
It is our pleasure to acknowledge profitable discussions with Professor Dr. David A. Jorgensen. We would also like to appreciate the referees for their helpful comments and improvements. Also, we wish to acknowledge the generous financial support from the Public Authority for Applied Education and Training for supporting this research, project No. BE-21-05.