Towers of fibrations and homotopical wreath products (Q1824907)

Given CW-complexes X, \(Y_ 1,...,Y_ n\). The problem is to classify, up to homotopy, the towers \[ f: X_ n @>f_ n>> X_{n-1} @>>> \cdots @>>> X_ 1 @>f_1>> X \] of (Serre) fibrations of CW-complexes such that for all \(i=1,...,n\) the fibre of \(f_ i\) has the weak homotopy type of \(Y_ i\). A map \(f\to f'\) of two towers is a commutative diagram \[ \begin{matrix} X_ n & @>f>> & X_{n-1} & @>>> & \cdots & @>>> & X_1 & @>f_1>> & X \\ \\ \downarrow && \downarrow &&&& \downarrow && \downarrow\rlap{id} \\ \\ X_ n & @<f'_ n<< & X_{n-1} & @>>> & \cdots & @>>> & X_1 & @>f'_1>> & X. \\ \\ \end{matrix} \] If all vertical maps are homotopy equivalences then the map \(f\to f'\) is called a homotopy equivalence of towers. \(BEY_ i\) (resp. BEf) denotes the classifying space of the monoid \(EY_ i\) (resp. Ef) of homotopy self equivalences of the space \(Y_ i\) (resp. of the tower f). The authors construct inductively a homotopical wreath product \(B(EY_ 1,...,EY_ n)\) which classifies the towers as above up to homotopy, where the path component of \(B(EY_ 1,...,EY_ n)^ X\) determined by f has the homotopy type of BEf. The infinite wreath product \(B(EY_ 1,...,EY_ n,...)\) is defined by passing to the inverse limit. In the special case of Eilenberg-MacLane spaces \(Y_ i=K(G_ i,i)\), \(i=1,2,...\), this limit space classifies up to homotopy the connected CW-complexes Y such that \(\pi_ iY\cong G_ i\), where the component of \(B(EY_ 1,...,EY_ n,...)^ X\) corresponding to Y has the homotopy type of BEY. Of course the authors actually prove equivalent simplicial results.