Cocyclic morphisms and dual \(G\)-sequences (Q5948955)

This article continues previous work of the authors and others on Gottlieb's evaluation subgroup and related notions [cf. \textit{K. Y. Lee} and \textit{M. H. Woo}, ibid. 52, No. 3, 221-236 (1993; Zbl 0792.55006), for example]. NEWLINENEWLINENEWLINEThe basic idea is the so-called \(G\)-sequence of an inclusion \(A \to X\). This is a sequence of groups and homomorphisms \(\cdots \to G_n(A) \to G_n(X, A) \to G_n^{\text{Rel}}(X, A) \to G_{n-1}(A) \to \cdots\). Here, \(G_n(A)\) denotes the ordinary Gottlieb group of \(A\) and \(G_n(X, A)\) is its relative counterpart, defined in the natural way for a pair. The third term \(G_n^{\text{Rel}}(X, A)\) is the image in the relative homotopy group \(\pi_n(X, A)\) of the homomorphism induced by the relative evaluation map \(\omega \: (X^A, A^A, id) \to (X, A, x_0)\). The \(G\)-sequence need not be exact, but it does form a chain complex. NEWLINENEWLINENEWLINEBoth Gottlieb groups and the corresponding basic version of the \(G\)-sequence have been extended in a number of ways. For instance, a map \(f :A \to X\) is called a cyclic map if there is a map \(F : A \times X \to X\) whose restriction to \(A \vee X\) is homotopic to \(f \vee 1\). If we take \(A = S^n\), then the set of homotopy classes of cyclic maps coincides with the Gottlieb group \(G_n(X)\). In [\textit{K. Y. Lee} and \textit{M. H. Woo}, J. Math. Kyoto Univ. 32, No. 2, 271-285 (1998; Zbl 0920.55014)] the authors extend these notions to the category of pairs. NEWLINENEWLINENEWLINEPrevious work in this area has focussed around the question of when the \(G\)-sequence is exact. For example, it is known that if an inclusion is a homotopy monomorphism, then its \(G\)-sequence is exact. In the article under review, the authors prove the corresponding statement in the category of pairs. Further results are proved, concerning extensions of the dual notions to the category of pairs.