Extendibility of G-maps to pseudo-equivalences to finite G-CW-complexes whose fundamental groups are finite (Q795390): Difference between revisions

Let X, Y be G-W complexes and let f: \(X\to Y\) be equivariant. f is called a pseudo-equivalence if it is a homotopy equivalence (forgetting G actions). Let Y be a connected G-complex and let p: \(\tilde Y\to Y\) be the universal covering. Let \(Y\to E_ G \times_ G \tilde Y\to BG\) be the fibration associated to the universal principal G-bundle \(E_ G\to BG\). When G is finite and \(\pi_ 1(Y)\) is finite, \(\pi_ 1(E_ G \times_ G \tilde Y)=\tilde G\) is also finite and one has the extension \(1\to \pi_ 1(Y)\to \tilde G\to G\to 1\) which shows that \(\tilde G\) acts naturally on \(\tilde Y\) such that the projection p is (\~G-G)- equivariant. Thus questions about constructing finite G-CW complexes X G- pseudo-equivalent to a finite G-CW complex Y with \(\pi_ 1(Y)\) finite can be translated to constructing \~G-pseudo-equivalences for the simply connected \~G-CW complex \(\tilde Y\). The simply-connected case has been extensively studied by \textit{R. Oliver} and \textit{T. Petrie} [Math. Z. 179, 11-42 (1982; Zbl 0484.57022)] and by the reviewer [Mem. Am. Math. Soc. 257 (1982; Zbl 0486.57015)]. In particular, the above papers studied the question of finding a pseudo- equivalence f: \(X\to Y\) via extending an equivariant map given by f': X'\(\to Y\) under various circumstances when \(\pi_ 1(Y)=1\). The authors obtain a similar result (and similar corollaries) when \(\pi_ 1(Y)\) is finite by adapting Oliver-Petrie arguments to this situation.