Knaster's problem for \((\mathbb Z _{2})^{k }\)-symmetric subsets of the sphere \(S^{2^{k}-1}\) (Q5962347)

Knaster's conjecture asks whether given \(d\) points \(x_1,\dotsc,x_d\in S^{d-1}\) and a continuous function \(f:S^{d-1}\to\mathbb{R}\) we may find a rotation \(\rho\in\text{SO}(d)\) such that \(f(\rho(x_1))=\dots=f(\rho(x_d))\). It is known that the answer to this problem is negative. Here, the author exhibits a special case where we have a positive answer: Call \(G:=(\mathbb{Z}_2)^k\) where \(k\geq2\) and let \(q:=2^k\), and let \(H\) be a subgroup of \(G\) which is isomorphic to \((\mathbb{Z}_2)^{k-1}\) and let \(\sigma\in G\setminus H\). Assume that \(\mathbb{R}[G]\) possesses a \(G\)-invariant scalar product \((\cdot,\cdot)\), call \(S\) the unit sphere of this scalar product in \(\mathbb{R}[G]\) and let \(x\in S\) be a point such that \(Gx\) forms a basis of \(\mathbb{R}[G]\) and \(Hx\perp H\sigma(x)\). If \(f:S\to\mathbb{R}\) is continuous and either even or odd then there is a \(\rho\in\text{SO}(q)\) (with respect to the scalar product) such that \(f\) is constant on \(\rho(Gx)\). Let \(G\), \(H\), \(q\), and \(x\) be as before and assume that the hypersurface \(M\subset\mathbb{R}[G]\) is the image of a smooth embedding \(S^{q-1}\to\mathbb{R}[G]\). Then there exists an orientation-preserving similarity \(\rho\) such that \(2q\) points \(\rho(\pm Gx)\) lie on \(M\).