Certain maps preserving self-homotopy equivalences (Q2410699): Difference between revisions

For based spaces \(X\) and \(Y\), let \([X,Y]\) denote the set of based homotopy classes of based maps from \(X\) to \(Y\), and let \(\mathcal{E}(X)\subset [X,X]\) be the group of self-homotopy equivalences of \(X\). A map \(f:X\to Y\) is called an \(\mathcal{E}\)-map if there is a homomorphism \(\phi_f:\mathcal{E}(X)\to \mathcal{E}(Y)\) such that \(\phi_f(g)\circ f=f\circ g\) up to homotopy equivalence for any \(g\in \mathcal{E}(X)\), and it is called a co-\(\mathcal{E}\)-map if there is a homomorphism \(\psi_f:\mathcal{E}(Y)\to \mathcal{E}(X)\) such that \(f\circ \psi_f(g)=g\circ f\) up to homotopy equivalence for any \(g\in \mathcal{E}(Y)\). Analogously, a map \(f:X\to Y\) between nilpotent spaces is called a rational \(\mathcal{E}\)-map (resp. a rational co-\(\mathcal{E}\)-map) if its rationalization \(f_{(0)}:X_{(0)}\to Y_{(0)}\) is an \(\mathcal{E}\)-map (resp. a co-\(\mathcal{E}\)-map), where \(X_{(0)}\) denotes the localization of \(X\) at \(\mathbb{Q}\). In this paper, the authors study the condition that a map \(f:X\to Y\) is a rational \(\mathcal{E}\)-map or rational co-\(\mathcal{E}\)-map. In particular, when \(G\) is a compact connected Lie group and \(H\subset G\) is a connected closed subgroup, by using the computations of Sullivan's model they prove that the inclusion map \(j:H\to G\) is a rational \(\mathcal{E}\)-map if \(\pi_*(j)\otimes \mathbb{Q}\) is injective and that for the homogenous space \(G/H\) the projection map \(G\to G/H\) is a rational co-\(\mathcal{E}\)-map. Moreover, they introduce an \(\mathcal{E}\)-equivalence relation between rationalized spaces \(X_{(0)}\) and \(Y_{(0)}\) as a geometric realization of an isomorphism \(\mathcal{E}(X_{(0)})\cong \mathcal{E}(Y_{(0)})\) and give several interesting examples.