Equivariant self equivalences of principal fibre bundles (Q5906910)

Let \(E\) be a compact Lie group and \(G\), \(H\) be closed subgroups satisfying \(H\triangleleft G\triangleleft E\); for a given principal bundle \((E,p,E/G;G)\) one has that \((E/H,p',E/G,G/H)\) is also a principal bundle. In this paper the author proves using standard methods that \[ \xi_H\overset {i}\longrightarrow\text{aut}_G(E) \overset\Phi\longrightarrow\text{aut}_{G/H}(E/H) \] is a Serre fibration where \(\text{aut}_G(E)\) is the space of unbased (based) \(G\)-homotopy (resp. \(G/H\)-homotopy) equivalences of \(E\) (resp. \(E/H\)) and \[ \xi_H =\{u\in\text{map}(E,H)| u(kg) =g^{-1}u(k)g,k\in E,g\in G\}. \] For the based case the elements of \(\xi_H\) additionally satisfy \(u(1,1)=1\).