Homology, Homotopy and Applications

Volume 12 (2010)

Number 2

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

Pages: 371 – 400

DOI: http://dx.doi.org/10.4310/HHA.2010.v12.n2.a13

Authors

Yves Félix (Institut Mathématique, Université Catholique de Louvain, Louvain-la-Neuve, Belgium)

Gregory Lupton (Department of Mathematics, Cleveland State University, Cleveland, Ohio, U.S.A.)

Samuel B. Smith (Department of Mathematics, Saint Joseph’s University, Philadelphia, Pennsylvania, U.S.A.)

Abstract

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.

Keywords

fibre-homotopy equivalence; Samelson Lie algebra; function space; Sullivan minimal model; derivation

2010 Mathematics Subject Classification

55P62, 55Q15

Full Text (PDF format)