A Borsuk-Ulam theorem for compact Lie group actions (Q2507559)

\textit{P. L. Q. Pergher}, the second author and \textit{E. L. dos Santos} [Archiv Math. 81, 96--102 (2003; Zbl 1046.55002)] proved the following version of the Borsuk-Ulam theorem: Let \(X,Y\) be pathwise connected paracompact Hausdorff spaces equipped with free involutions \(T:X\to X\) and \(S:Y\to Y\) such that for some \(m\geq1\) we have that \(H^q(X;\mathbb{Z}_2)=0\) for \(1\leq q\leq m\) and \(H^{m+1}(Y/S;\mathbb{Z}_2)=0\), then there is no equivariant map \(f:(X,T)\to(Y,S)\). Here, the authors obtain a more general theorem for free actions of compact Lie groups: Let \(R\) be a PID, \(G\) a compact Lie group, and \(X,Y\) free \(G\)-spaces. Denote by \(\beta_i\) the \(i\)-th Betti number. Assume again that \(X,Y\) are pathconnected paracompact Hausdorff spaces. Assume that for some \(m\geq1\) we have that \(H^q(X;R)=0\) for \(1\leq q<m\) and \(H^{m+1}(Y/G;R)=0\). If \(\beta_m(X;R)<\beta_{m+1}(BG;R)\) then there is no \(G\)-equivariant map \(f:X\to Y\). In case \(Y\) is a topological manifold with \(\dim Y>m\) the condition \(H^{m+1}(Y/G;R)=0\) is automatically fulfilled.