The universal fibration with fibre \(X\) in rational homotopy theory (Q777243)

Given a simply connected \(CW\) complex \(X\) of finite type, let \(\mbox{aut}_1(X)\) denote the space of self-maps of \(X\) homotopic to the identity map. The group-like space \(\mbox{aut}_1(X)\) has a classifying space \(\mbox{Baut}_1(X)\). It appears as the base space of the universal example \(p_\infty: UE \to \mbox{Baut}_1(X)\) of a fibration of simply connected \(CW\) complexes with fibre of the homotopy type of \(X\) in e.g., [\textit{J. D. Stasheff}, Topology 2, 239--246 (1963; Zbl 0123.39705)] and offers a computational challenge in homotopy theory. When \(X\) is a finite complex, \(\mbox{Baut}_1(X)\) is of \(CW\) type and satisfies the localization identity \(\mbox{Baut}_1(X_P)\simeq \mbox{Baut}_1(X)_P\) for any collection of primes \(P\) by the work of \textit{J. P. May} [Trans. Am. Math. Soc. 258, 127--146 (1980; Zbl 0429.55004)]. In rational homotopy theory, models for \(\mbox{Baut}_1(X_\mathbb{Q})\) are due to \textit{D. Sullivan} [Publ. Math., Inst. Hautes Étud. Sci. 47, 269--331 (1977; Zbl 0374.57002)] and others. Let \(X\) be a simply connected space with finite-dimensional rational homotopy groups and write \(p_\infty: UE \to \mbox{Baut}_1(X)\) for the universal fibration of simply connected spaces with fibre \(X\). First, the authors give a \(DG\) Lie algebra model for the evaluation map \(\omega: \mbox{aut}_1(\mbox{Baut}_1(X_\mathbb{Q}))\to \mbox{Baut}_1(X_\mathbb{Q})\) expressed in terms of derivations of the relative Sullivan model of \(p_\infty\). Then, formulas for the rational Gottlieb group and for the evaluation subgroups of the classifying space \(\mbox{Baut}_1(X_\mathbb{Q})\) are deduced. More generally, a description of the poset of evaluation subgroups \(G_\ast(\xi; X_\mathbb{Q})\subseteq \pi_\ast(\mbox{Baut}_1(X_\mathbb{Q}))\) parameterized by fibrations \(\xi\) with fibre \(X_\mathbb{Q}\) is obtained. Then, some examples and results on this poset complementing work of \textit{T. Yamaguchi} [Topology Appl. 196, Part B, 1060--1076 (2015; Zbl 1334.55004)] are given. At the end, a non-realization result for the classifying space is proved: the rationalization \(\mathbb{C}P^n_\mathbb{Q}\) of the complex projective space \(\mathbb{C}P^n\) cannot be realized as \(\mbox{Baut}_1(X_\mathbb{Q})\) for \(n \le 4\) and \(X\) with finite-dimensional rational homotopy groups.