Nielsen numbers in topological coincidence theory (Q694675)

Given two maps \(f_1,f_2: M^m \rightarrow N^n\) between smooth manifolds without boundary, such that \(M\) is required to be compact (closed), the set of coincidence points is defined \(C(f_1,f_2) := \{ x \in M | f_1(x)=f_2(x)\}\). Then \(MC(f_1,f_2)\) is the minimum number of coincidence points of every pair of maps homotopic to \(f_1\) and \(f_2\). And \(MCC(f_1,f_2)\) is the minimum number of connected components of the coincidence set of all pairs of maps homotopic to \(f_1\) and \(f_2\). The author defines four types of Nielsen numbers, which reduce in fixed point theory to the usual definition, but which are different in coincidence theory. These Nielsen numbers are lower bounds of \(MCC\). Then the author considers \(M = S^m\) and \(N = \mathbb{K}P(n) \) which is one of the Real Projective space, or Complex Projective space, or Quaternionic Projective space. The pair \((f_1,f_2)\) is defined to be \textit{loose} if the two maps can be homotopied to maps which which have no coincidence points. Then \((f,f)\) is \textit{loose} for \( \mathbb{K}\) real or complex and \(n\) is odd, and for Quaternionic projective space when \(n \equiv 23 (24)\). The Quaternionic case given in [\textit{U. Koschorke}, J. Fixed Point Theory Appl. 10, No. 1, 3-36 (2011; Zbl 1270.55002)], must be corrected. More interesting examples are given. The paper uses framed corbordism, Kervaire invariants, and stable homotopy groups.