\((H,G)\)-coincidence theorems for free \(G\)-spaces (Q281711)

If \(X\) and \(Y\) are topological spaces and \(G\) is a finite group acting freely on \(X\) with a subgroup \(H\) then \(H\) induces a natural action on the right of each \(G\)-orbit. A point \(x\) is said to be an \((H,G)\)-coincidence point if \(f\) sends each \(H\)-orbit on each \(G\)-orbit to a single point. An open set \(U\) of \(X\) is said to be a colour if \(U\cap gU=\emptyset\) for each \(g\in G\setminus\{e\}\). If \(X\) possesses a finite cover by colours then the colour number of \(X\) is defined to be the minimum cardinality of such a covering. If \(U\) is a colour then \(GU\) is called a set of the first kind and the genus of \((X,G)\), \(\mathrm{gen}(X,G)\), is defined as the minimal cardinality of a covering of \(X\) by sets of the first kind. The authors then prove the following theorem: Assume that \(X\) is paracompact with \(\mathrm{gen}(X,G)\geq n+1\) and let \(k\) be a natural number. (a) If \(n>|G|k\) and \(Y\) is metrizable with \(\dim Y=k\) then for every continuous \(f:X\to Y\) there is a subgroup \(H\) such that \(f\) has an \((H,G)\)-coincidence point. (b) If \(n=|G|k\) and \(Y\) is a \(k\)-dimensional cone CW-complex then for every \(f:X\to Y\) there is a subgroup \(H\) such that \(f\) has an \((H,G)\)-coincidence point. (c) If \(n<|G|k\) and \(\mathrm{gen}(X,G)=n+1\) then there exists a \(k\)-dimensional cone CW-complex and a continuous \(f:X\to Y\) such that \(f\) has no \(G\)-coincidence points. In particular, this holds for \(G=\mathbb{Z}_p\).