Fibrant extensions of free \(G\)-spaces (Q409588): Difference between revisions

The main result of the paper states: If \(s: E \hookrightarrow \tilde{E}\) is a \(G\)-fibrant extension of a free compact \(G\)-space \(E\), then \(\tilde{E}\) is a free \(G\)-space and the induced map \(s/G: E/G \hookrightarrow \tilde{E}/G\) is a fibrant extension of \(E/G\), where \(G\) is a compact metrizable group. As a result, observing that the notion of \(G\)-fibrant is a generalization of that of \(G\)-ANR in the sense that the limit of any inverse sequence consisting of \(G\)-ANR's and \(G\)-fibrations is \(G\)-fibrant, the authors generalize the result of \textit{S. A. Antonyan} [Topology Appl. 158, No. 2, 141--151 (2011; Zbl 1217.54021)] that if \(E\) is a \(G\)-ANR, then the orbit space \(E/G\) is an ANR, where \(G\) is a compact Hausdorff group. More precisely, the theorem states: If \(E\) is a compact \(G\)-fibrant space with only one \(G\)-orbit type, then the orbit space \(E/G\) is fibrant, where \(G\) is a compact metrizable group. For the proof of the main result, the authors use the notions of \(G\)-ANR-resolution and telescope construction, which are recalled in the paper.