Nielsen numbers and pullbacks
type: Item
instance of: scholarly article
title: Nielsen numbers and pullbacks
zbMATH Open document ID: 0618.55002
DOI: 10.1016/0166-8641(87)90026-5
author: C. Morgan
author: Philip R. Heath
author: Renzo A. Piccinini
published in: Topology and its Applications
publication date: 1987-01-01T00:00:00Z
review text: All spaces are compact, connected ANRs. Given an orientable Hurewicz fiber space \(p: E\to B\) and a fiber-preserving map \(\epsilon\) : \(E\to E\), let \(\beta\) : \(B\to B\) be such that \(\beta p=p\epsilon\). Assuming, just for convenience of explanation, that \(\beta\) has a fixed point b, let \(\epsilon_ b: p^{-1}(b)\to p^{-1}(b)\) be the restriction of \(\epsilon\). The reviewer [Pac. J. Math. 21, 465-472 (1967; Zbl 0169.258)] showed that the Lefschetz numbers are related by a product formula: \(L(\epsilon)=L(\beta)L(\epsilon_ b)\). (The proof required the spaces to be finite polyhedra. An appendix to this paper gives the proof for the ANR case that was discovered independently by M. McCord and E. Fadell but never published.) A corresponding, but necessarily more complicated, product formula for the Nielsen numbers was established by \textit{C. You} [ibid. 100, 217-241 (1982; Zbl 0512.55004)]. Now let \(g: A\to B\) be a map and denote by \(A\Pi\) E the pullback of p over g. Given a map \(\alpha\) : \(A\to A\) such that \(\beta g=g\alpha\), there is a ''pulled back'' map \(\alpha\Pi\epsilon\) : \(A\Pi\) \(E\to A\Pi E\). The authors observe that the product theorem above for the Lefschetz numbers can be used to establish a formula of this type for the pullback, namely, \(L(\alpha \Pi \epsilon)L(\beta)=L(\alpha)L(\epsilon)\). The main result of the paper is a product formula (but, again, necessarily a more complicated one) that relates the Nielsen numbers, thus extending You's result to pullbacks. Geometric consequences of the formula include sufficient conditions for \(\alpha\Pi\epsilon\) to be homotopic to a fixed point free map and, taking \(A=\{b\}\), for information about \(\epsilon_ b\) to imply that \(\epsilon\) itself is homotopic to a fixed point free map. The proof of the Nielsen product formula for pullbacks is based on an interesting, purely algebraic, theory of Reidemeister numbers for pullbacks.
reviewed by: Robert F. Brown
Mathematics Subject Classification ID: 55M20
Mathematics Subject Classification ID: 55R05
zbMATH DE Number: 4003056
zbMATH Keywords: Hurewicz fiber space
zbMATH Keywords: fiber-preserving map
zbMATH Keywords: fixed point
zbMATH Keywords: Lefschetz numbers
zbMATH Keywords: ANR
zbMATH Keywords: pullback
zbMATH Keywords: Nielsen numbers
zbMATH Keywords: Reidemeister numbers
MaRDI profile type: Publication
full work available at URL: 0166-8641(87)90026-5
OpenAlex ID: W2022314081
cites work: Fixed points and fibre maps
cites work: The Nielsen number of a fibre map
cites work: Q5619504
cites work: Corrections to ''The Nielsen number of a fibre map''
cites work: Groupoids and the Mayer-Vietoris sequence
cites work: Recent results in the fixed point theory of continuous maps
cites work: Q4086426
cites work: On fibre spaces and the evaluation map
cites work: Q3253828
cites work: Product formulae for Nielsen numbers of fibre maps
cites work: Lectures on Nielsen fixed point theory
cites work: On the Least Number of Fixed Points
cites work: Q5522742
cites work: Fixed point classes of a fiber map
description: scientific article; zbMATH DE number 4003056