The rational homotopy type of the space of self-equivalences of a fibration

Yves Félix ; Gregory Lupton ; Samuel B. Smith

Homology, homotopy, and applications, Tome 12 (2010) no. 2, pp. 371-400.

Résumé

Let $\mathrm{Aut}(p)$ denote the space of all self-fibre-homotopy equivalences of a fibration $p \colon E \to B$. When $E$ and $B$ are simply connected CW complexes with $E$ finite, we identify the rational Samelson Lie algebra of this monoid by means of an isomorphism: \[ \pi_*(\mathrm{Aut}(p)) \otimes \mathbb{Q} \cong H_*(\mathrm{Der}_{\land V}(\land V\otimes \land W)). \] Here $\land V\to \land V \otimes \land W$ is the Koszul-Sullivan model of the fibration and $\mathrm{Der}_{\land V}(\land V\otimes \land W)$ is the DG Lie algebra of derivations vanishing on $\land V$. We obtain related identifications of the rationalized homotopy groups of fibrewise mapping spaces and of the rationalization of the nilpotent group $\pi_0(\mathrm{Aut}_\sharp(p))$, where $\mathrm{Aut}_\sharp(p)$ is a fibrewise adaptation of the submonoid of maps inducing the identity on homotopy groups.

Détail

DOI : 10.4310/HHA.2010.v12.n2.a13

Classification : 55P62, 55Q15
Keywords: fibre-homotopy equivalence, Samelson Lie algebra, function space, Sullivan minimal model, derivation