A Nielsen theory for coincidences of iterates (Q694663)

As pointed out in the introduction of the paper, there is a lot of literature concerning both Nielsen coincidence theory, and Nielsen periodic point theory. For a pair \((f,g)\) of self maps and each pair of two positive integers \(m,n\) we can consider the pair \((f^m, g^n)\) and the coincidence set. One natural generalization of periodic fixed point theory is the study of the coincidences of these pairs when we assume that \(m=n\) and \(n\) runs over the positive integers. This is the setting which is called coincidences for iterates. The authors develop Nielsen theory for this situation and there are many obstacles to do this generalization. Similar numbers to \(NP_n(f)\), \(MP_n(f)\), \(N\Phi_n(f)\), \(M\Phi_n(f)\) defined in periodic points of iterates are also defined in this new context and are denoted by \(NP_n(f,g)\), \(MP_n(f,g)\), \(N\Phi_n(f,g)\), \(M\Phi_n(f,g)\), respectively. The relation of these numbers with the Reidemeister classes of the iterates \((f^n, g^n)\) is studied. In section 4 the authors study the relation between \(NP_n(f,g)\) and \(N(f^m, g^m)\) for some values of \(m\) which divide \(n\). The main result of this section is Theorem 4.6 which provides some inequalities. In particular Corollary 4.7 gives a new result in periodic fixed point theory for \(X\) a solvmanifold. Section 5 studies the relation between \(N\Phi_n(f,g)\) and several of the other numbers. To exemplify the type of result which is obtained, the authors prove e.g.: \textbf{Theorem 5.4} The number \(N\Phi_n(f,g)\) is homotopy invariant, and satisfies the inequalities: \[ \Sigma_{m|n}NP_m(f,g) \leq N\Phi_n(f,g) \leq M\Phi_n(f,g). \] Several examples are presented which are very useful. In the last section the authors compare the theory that they developed assuming that the second map \(g\) is the constant map, with the theory developed by \textit{R. Brown, B. Jiang} and \textit{H. Schirmer} in [Topology Appl. 66, No. 2, 129--157 (1995; Zbl 0835.55002)] and they conclude that there is very little intersection between the two theories.