A note on the spaces of self homotopy equivalences for fibre spaces (Q1071347): Difference between revisions

A fibration is given whose total space is the set of homotopy equivalences of the total space E of a fibration, \(F\to E\to B\) and whose fibre and base are determined from F and B. Let \(F\to E\to B=K(\pi,n)\) be a fibration classified by k: (B,b\({}_ 0)\to (B_{\infty},b_{\infty})\) where E and B are CW complexes, and F has nonzero homotopy groups \(\pi_ i\) only in the range \(n\leq i\leq 2n-1\) \((n>1)\). Then there is a fibration \[ map_ 0(B,G(F)) \to G_ 0(E) \to R\times G_{0i}(F) \] whose homotopy sequence is a collection of short exact sequences. Here G(F) is the space of self homotopy equivalences of F, the subscript 0 means preserving base point, \(G_{0i}(F)\) is the identity component of \(G_ 0(F)\), and R is a subgroup of \(\epsilon\) (B)\(\times \epsilon (F)\). The proof is sketched. At the path-component level, the sequence was obtained by \textit{Y. Nomura} [Math. Z. 92, 380-388 (1966; Zbl 0139.166)].