Gottlieb's theorem for a periodic equivalence (Q2087431): Difference between revisions

The goal of the work under review is to prove the following generalization of Gottlieb's theorem in [\textit{D. H. Gottlieb}, Am. J. Math. 87, 840--856 (1965; Zbl 0148.17106)]. Theorem 1.1. Let \(Z\) be a connected CW complex of type FP over the rationals and let \(\pi_1(Z) \in \mathfrak{FJ}\cup E(\mathbb{Q})\). Let \(f : Z \to Z\) be a homotopy equivalence of finite order in \(Out(Z)\). If the rational Lefschetz number \(L(f;\mathbb{Q})\) is nonzero, then the group \(\mathrm{Fix}(\phi)\cap \mathcal{G}(Z)\) is bounded, and \(f\) is homotopic to a pointed periodic homotopy equivalence. Here \(\mathfrak{FJ}\) means the class of groups that satisfy the \(K\)- and \(L\)-theoretic Farrell-Jones Conjecture with coefficients in additive categories and with finite wreath products and \(E(\mathbb{Q})\) denotes Eckmann's class of groups of finite rational homological dimension and such that the rational homological dimension of the normalizer of each element of infinite order is also finite; \(\phi\) is the induced homomorphism by \(f\) on \(\mathrm{Out}(\pi_1(Z))\). The main point of the generalization is that now it is assumed that \(f\) is a homotopy equivalence of finite order in \(\mathrm{Out}(Z)\), in contrast to previous results where \(f\) was homotopic to the identity. The author follows more close the approach used by \textit{R. Geoghegan} [in: Handbook of geometric topology. Amsterdam: Elsevier. 499--521 (2002; Zbl 0992.55002)]. The main technical result is Theorem 4.2 (from which the Theorem 1.1 mainly follows), which is proved assuming that the geometric Bass conjecture over \(Q\) holds for every CW complex \(Y\) which is the base space of a finite cyclic covering space \(\bar Y \to Y\) where \(\bar Y\) is homotopy equivalent to \(Z\). The description of previous related results to the question studied is provided in detail as well as the proofs.