The Lefschetz coincidence theorem in o-minimal expansions of fields (Q842974)

The classical Lefschetz coincidence theorem says that if \(f, g: M\to N\) are maps between two oriented closed manifolds with same dimension, then there must be a point \(x\) in \(M\) such that \(f(x) = g(x)\) provided the Lefschetz coincidence number is nonzero. In this paper, the authors present an o-minimal version of above theorem. The proof is also an analogy, converting involved concepts and theorems, such as Poincaré duality, cup product, cap product and etc., in ordinary homology into those in so-called o-minimal homology.