Topology and Its Applications, 116 (2001) 1, 137-152, also a talk at the Joint Mathematics Meeting in January 2000.
This is further development of the study in my previous paper A Lefschetz-type coincidence theorem. Consider the Coincidence Problem: "If X and Y are a topological spaces and f,g:X® X are maps, what can be said about the set Coin(f,g) of x in X such that f(x)=g(x)?'' (cf. the Fixed Point Problem). While the coincidence theory of maps between manifolds of the same dimension is well developed, very little is known if the dimensions are different or one of the spaces is not a manifold. For a given pair of maps f,g:X® Y from an arbitrary topological space (in particular, an m-manifold) to an n-manifold, we generalize the coincidence index and the Lefschetz coincidence number. The former is generalized by the coincidence homomorphism defined by R. Brooks and R. Brown. For the latter, we consider the Lefschetz homomorphism as a certain graded homomorphism of degree (-n) that depends only on the homomorphisms generated by f and g on homology groups. We prove that they coincide (the graded Lefschetz coincidence theorem). It follows that if the Lefschetz homomorphism is not identically 0 then there is an x in X such that f(x)=g(x) (a coincidence). The theorem contains previously known results concerning the following. (i) Coincidences for X,Y n-manifolds with f boundary-preserving. (ii) Fixed points of a multivalued map G:Y® Y with acyclic values, here X=Graph(G), f,g are projections (in particular, the Eilenberg-Montgomery Fixed Point Theorem). (iii) Fixed points of a parametrized map F:TxY® Y, here g=F, f is the projection and Fix(F)={(t,x):F(t,x)=x}. I have addressed (i) and (ii) in the previous paper; here we concentrate on (iii) and significantly generalize some results of Geoghegan, Nicas and Oprea.
Full text (14 pages) in dvi, ps, pdf, slides of the talk in pdf.