Cyclic maps in rational homotopy theory (Q1769035): Difference between revisions

Let \(X\) be a based space and \(map\; (X,X,1)=\Phi\) the component of the identity of the function space of not necessarily basepoint preserving maps \(f: X \longrightarrow X\). The \textit{Gottlieb group} \(G_n(X)= \omega_\#(\pi_n(\Phi)) \subseteq \pi_n(X), \) where \(\omega: F \longrightarrow X\) denotes the evaluation map, has many pleasant properties. Replacing \(S^n\) by an arbitrary space \(A\), gives the \textit{cyclic maps} \(G(X,A)\) from \(A\) to \(X\), which can be defined by all those \(f:A \longrightarrow X\) where the obvious \(f': A\vee X \longrightarrow X\) admits an extension \(F: A\times X\longrightarrow X\). The main objective of the authors is to carry over results which are known for the Gottlieb groups to the groups \(G(A,X)\). The main example is the theorem which asserts 1) that the Gottlieb groups are under some conditions on the space \(X\), contained in the kernel of the rational Hurewicz homomorphism \(h_\infty: \pi_*(X) \longrightarrow H_*(X;\mathbb Q)\) and \noindent 2) results about \(G_{2n}(X_{\mathbb Q})\) and \(\sum_n \; dim(G_{2n+1}(X_{\mathbb Q}))\), where \(X_{\mathbb Q}\) denotes the rationalization of \(X\). It turns out that some arguments extend to all those mappings \(f: A \longrightarrow X\) which are not necessarily cyclic but which factor over an H-space or, at least, whose rationalization has this property.