Borsuk-Ulam theorems and their parametrized versions for \(\mathbb {F}P^m\times \mathbb {S}^3\) (Q1743475)

Let \(G = \mathbb{Z}_p\) (\(p\) an odd prime) act freely on a finitistic space \(X\) with mod \(p\) cohomology ring isomorphic to that of \(F\mathbb{P}^m \times \mathbb{S}^3\), where \(m + 1 \not\equiv 0 \mod p\) and \(F = \mathbb{C}\) or \(\mathbb{H}\). The authors investigate the non-existence of \(G\)-equivariant maps \(\mathbb{S}^{2q-1} \to X\) and \(X \to \mathbb{S}^{2q-1}\), where \(\mathbb{S}^{2q-1}\) is equipped with a free \(G\)-action. The authors first compute the cohomology algebra of orbit spaces of free \(G\)-actions on \(X\). The technique is quite standard, namely the Serre spectral sequence associated to the Borel fibration. For a continuous map \(f : X \to \mathbb{R}^n\), a lower bound on the cohomological dimension of the partial coincidence set of \(f\) is determined. Further, the size of the zero set of a fibre preserving \(G\)-equivariant map between a fibre bundle with fibre \(X\) and a vector bundle is estimated. The approach used in the proofs is again well-known.