Self-pair homotopy equivalences related to co-variant functors
type: Item
instance of: scholarly article
title: Self-pair homotopy equivalences related to co-variant functors
author: Ho Won Choi
author: Kee Young Lee
author: Hye Seon Shin
published in: Journal of the Korean Mathematical Society
publication date: 2024-05-29T00:00:00Z
review text: This manuscript explores self-homotopy equivalences within the framework of the standard arrow category of pointed topological spaces, employing the definition of homotopy equivalences as presented in [\textit{K.-Y. Lee}, J. Korean Math. Soc. 43, No. 3, 491--506 (2006; Zbl 1098.55005)]. The authors focus on analyzing subgroups of self-homotopy equivalences of specific maps and organized according to ordered families of covariant group-valued functors.\N\NWithin this context, given a pointed map \(\alpha\colon X\to Y\), an integer \(n,\) and an ordered family of covariant group-valued functors \(\mathcal{F}=\{ F_k\colon HoTop_*\to Gr\,\mid\, k\in\mathbb{Z}\}\), the authors define the subgroups \(\mathcal{E}_\mathcal{F}^n(\alpha; Id_X)\leq\mathcal{E}_\mathcal{F}^n(\alpha)\leq \mathcal{E}(\alpha)\) as follows (Definiton 3.5):\N\[\N\mathcal{E}_\mathcal{F}^n(\alpha)=\{ [f_X,f_Y]\in \mathcal{E}(\alpha)\,\mid\, F_k(f_X)=F_k(Id_X),\text{ and } F_k(f_Y)=F_k(Id_Y),\text{ for } 0\leq k\leq n\},\N\]\N\[\N\mathcal{E}_\mathcal{F}^n(\alpha, Id_X)=\{ [f_X,f_Y]\in \mathcal{E}(\alpha)\,\mid\,f_X=Id_X,\text{ and } F_k(f_Y)=F_k(Id_Y),\text{ for } 0\leq k\leq n\}.\N\]\NThese subgroups generalize familiar concepts from the study of self-homotopy equivalences. For instance:\N\begin{itemize}\N\item When \(\mathcal{F}\) consists of homotopy group functors, \(\mathcal{E}_\mathcal{F}^n(X \to *)\) corresponds to the subgroup of self-homotopy equivalences of \(X\) that induce the identity on homotopy groups up to dimension \(n\), denoted as \(\mathcal{E}_\sharp^n(X)\).\N\N\item When \(\mathcal{F}\) consists of homology group functors, \(\mathcal{E}_\mathcal{F}^n(X \to *)\) becomes \(\mathcal{E}_*^n(X)\), the subgroup preserving homology groups up to dimension \(n\).\N\end{itemize}\N\N\NA key structural result is the exact sequence (Corollary 3.6):\N\[\N1\to \mathcal{E}_\mathcal{F}^n(\alpha, Id_X) \to \mathcal{E}_\mathcal{F}^n(\alpha) \to \mathcal{E}_\mathcal{F}^n(X\to *).\tag{1}\N\]\NBuilding o…
reviewed by: Antonio Viruel
Mathematics Subject Classification ID: 55P10
Mathematics Subject Classification ID: 55Q05
Mathematics Subject Classification ID: 55N20
zbMATH DE Number: 7854605
zbMATH Keywords: category of pairs
zbMATH Keywords: self homotopy equivalence
zbMATH Keywords: co-variant functor
MaRDI profile type: Publication
cites work: Multiplicative structures in mod q cohomology theories. I
cites work: Self-homotopy equivalences which induce the identity on homology, cohomology or homotopy groups
cites work: Certain self-homotopy equivalences on wedge products of Moore spaces
cites work: Duality in homotopy theory: A retrospective essay
cites work: THE GROUPS OF SELF PAIR HOMOTOPY EQUIVALENCES
cites work: The group of homotopy self-equivalence classes of CW complexes
cites work: Certain subgroups of groups of self-pair homotopy equivalences
cites work: Compositional Methods in Homotopy Groups of Spheres. (AM-49)
DOI: 10.4134/JKMS.J230039
description: scientific article; zbMATH DE number 7854605