Extendibility of G-maps to pseudo-equivalences to finite G-CW-complexes whose fundamental groups are finite (Q795390): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Latest revision as of 02:14, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Extendibility of G-maps to pseudo-equivalences to finite G-CW-complexes whose fundamental groups are finite |
scientific article |
Statements
Extendibility of G-maps to pseudo-equivalences to finite G-CW-complexes whose fundamental groups are finite (English)
0 references
1984
0 references
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.
0 references
finite G-CW-complexes whose fundamental groups are finite
0 references
pseudo- equivalence between G-CW complexes
0 references
extending an equivariant map
0 references