Homotopy periodic sets of selfmaps of real projective spaces (Q2493343)

In the study of periodic points, one defines the set of homotopy periods of a map \(f\) denoted by \(H\text{Per}(f)\). B. Jiang gave an algebraic sufficient condition for the existence of periodic points of a given pure period. \textit{J. Jezierski, J. Kedra} and \textit{W. Mazantowicz} [Topology Appl. 144, No.1--3, 29--49 (2004; Zbl 1057.55001)] proved the converse (Wecken type Theorem) of the result above if the manifolds have dimension \(\geq 4\). The paper under review has two goals. The first one is to extend the result above to manifolds of dimension \(\geq 3\). This is Theorem 3.1. The second one is to compute \(HPer(f)\) where \(f\) is a selfmap of the projective space \(\mathbb R P^n\) for \(n\geq 3\). The result is given in terms of the Nielsen number of \(f\), which can assume only the values \(0, 1\) and \(2\). The author proves: Theorem (5.4). Let \(f:\mathbb R P^n\to \mathbb R P^n\), \(n\geq 3\). Then i) \(N(f)=0\) implies \(H\text{Per}(f)=\emptyset\), ii) \(N(f)=1\) implies \(H\text{Per}(f)=\{1\}\), iii) \(N(f)=2\) implies \(H\text{Per}(f)=\{1,2,2^2,2^3,\dots\}\), with one exception: iv) for \(n\) odd, \(\deg(f)=-1\), it holds that \(N(f)=2\), but \(H\text{Per}(f)=\{1\}\).