Strong \(G\)-fibrations and orbit projections (Q392553): Difference between revisions

The notion of \(G\)-SSDR map was introduced in [\textit{A. Bykov} and \textit{M. Texis}, Topology Appl. 154, No. 10, 2026-2039 (2007; Zbl 1121.54036)]. It is an equivariant version of SSDR-map (for strong shape theory) in the sense of \textit{F. Cathey} [in: Shape theory and geometric topology, Proc. Conf., Dubrovnik 1981, Lect. Notes Math. 870, 215--238 (1981; Zbl 0473.55011)], A \(G\)-map \(p: E\to B\) is a strong \(G\)-fibration if it has the equivariant right lifting property (ERLP) with respect to all \(G\)-SSDR-maps, i.e., for every \(G\)-SSDR-map \(s: A\hookrightarrow X\) and \(G\)-maps \(f: A\to E\) and \(F: X\to B\) such that \(pf = Fs\), there exists a \(G\)-map \(\Tilde{F}: X\to E\) such that \(p\Tilde{F} = F\) and \(\Tilde{F}s = f\). The main result states: for any compact group \(G\), 1) if \(H\) and \(K\) are closed subgroups of \(G\) such that \(K \subset H\) and \(G/K\) is metrizable, then the projection \(p: G/K \to G/H\) is a strong \(G\)-fibration; 2) if \(K\) is a closed normal subgroup of \(G\) and if \(E\) is a metrizable \(G\)-space with only one orbit type, then the \(K\)-orbit projection \(\pi: E\to E/K\) is a strong \(G\)-fibration.