On the existence of Borsuk-Ulam theorems (Q1208247)

Let \(G\) be a finite group or a compact Lie group and let \(V\) and \(W\) be orthogonal representations of \(G\) such that the fixed point space \(W^ G=\emptyset\). Denote their representation spheres by \(SV\) and \(SW\). The author considers a function \(b_ G(n)\) defined by \(b_ G(n)=\min\{\dim W:\text{ there exists a } G\text{-map } SV\to SW\text{ with }\dim V\geq n\}\). Thus the existence of an equivariant map \(SV\to SW\) implies \(\dim W\geq b_ G(\dim V)\), and the classical Borsuk-Ulam theorem can be stated as \(b_{Z/2}(n)\geq n\). The author proves the following two results: 1) For a finite \(G\) the conditions (a) \(\lim_{n\to\infty}b_ G(n)=\infty\); (b) if there exists a \(G\)-map \(SV\to SW\) with \(\dim V=\infty\) then \(\dim W=\infty\); (c) if there exists a \(G\)-map \(SV\to SW\) with \(W\subset V\) then \(W=V\); (d) \(G\) is a \(p\)-group; are equivalent. 2) For a compact Lie group \(G\) the statement (a) implies (b), (c) and (d') there exists an extension \(1\to(S^ 1)^ k\to G\to (p\text{- group})\to 1\) and the last three conditions are equivalent. These generalize the lower bound theorem: if there exists \(Z/p^ k\)-map \(SV\to SW\) with \(W^{Z/p}=0\) \((p:\) prime) then \(\dim W\geq(\dim V)p^{k- 1}\), which was obtained by the author. The proof requires some elaborate informations of finite group theory and transformation theory. Finally he computes \(b_ G(n)\) for \(G=Z/4\).