Rationalized evaluation subgroups of a map. II: Quillen models and adjoint maps (Q863906)

Let \(f : X \to Y\) be a based map between simply connected based spaces. In this paper the authors continue their study of the evaluation map \(\omega: \text{map}(X,Y:f) \to Y\) in rational homotopy. Denote by \(\mathcal L_f : \mathcal L_X \to \mathcal L_Y\) the Quillen minimal model of \(f\). They associate to \(\mathcal L_f\) the following short exact sequence of complexes, \[ \text{Der}_*(\mathcal L_Y, \mathcal L_X, \mathcal L_f) \to \text{Rel}_*(\mathcal L_f) \to (\mathcal L_Y)_{*-1}. \] Here \(\text{Der}_*(\mathcal L_Y, \mathcal L_X, \mathcal L_f)\) denotes the complex of \(\mathcal L_f\)-derivation maps from \(\mathcal L_X\) into \(\mathcal L_Y\); \(\text{Rel}_*(\mathcal L_f)\!= \text{Der}_*(\mathcal L_Y, \mathcal L_X, \mathcal L_f)\oplus (\mathcal L_Y)_{*-1}\) with a differential defined by \(D(a) = \varphi (b) - d_{\mathcal L_Y}(b)\), where \(\varphi (b)\) is the derivation defined by \(\varphi (b)(a) = [b, \mathcal L_f(a)]\). They prove that this sequence induces in homology a long exact sequence isomorphic to the homotopy exact sequence associated to the fibration \[ \text{map}_*(X,Y:f) \to \text{map}(X,Y:f) { \to} Y. \] The result is natural and very useful for the study of the relative Gottlieb groups and the \(G\)-sequence as the authors show in the next sections of the paper. [For part I of the paper see ibid., 159--171 (2007; Zbl 1112.55012).]