Averaging Formula for Nielsen Numbers

From MaRDI portal





Let \(X\) be a finite polyhedron and \(K\) be a normal subgroup of \(\pi_1(X)\) such that the index \([\pi_1(X): K]\) is finite. Suppose \(f : X \to X\) is a map whose induced fundamental group homomorphism takes \(K\) to itself so it has \([\pi_1(X): K]\) lifts \(\tilde f_K\) to the regular covering space of \(X\) corresponding to \(K\). Then the Lefschetz number \(L(f)\) of \(f\) is the average of the \(L(\tilde f_K)\), that is, \(L(f) = [\pi_1(X): K]^{-1} \sum L(\tilde f_K)\), where the summation is over all the lifts [see \textit{B. Jiang}, Lectures on the Nielsen Fixed Point Theory, Contemp. Math. 14 (1983; Zbl 0512.55003), page 52]. This paper is concerned with determining when the corresponding formula holds for the Nielsen numbers \(N(f)\) and \(N(\tilde f_K)\). The inequality \(N(f) \geq [\pi_1(X): K]^{-1} \sum N(\tilde f_K)\) is shown always to hold and a necessary and sufficient condition for equality is established. The authors then verify that condition for selfmaps of infra-nilmanifolds, so equality holds in that setting. This result verifies a conjecture of \textit{C. K. McCord} [Pac. J. Math. 154, 345--368 (1992; Zbl 0766.55002)], for coincidences of maps between infra-nilmanifolds, in the important special case of fixed points.




Cited in
(27)








This page was built for publication: Averaging Formula for Nielsen Numbers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5694462)