Knaster's problem for ( Z _2)^k -symmetric subsets of the sphere S^2ᵏ-1

DOI10.1007/S00454-009-9215-XMaRDI QIDQ5962347zbMATH OpenOpenAlexFDO

Publication date 22 September 2010

Published in Discrete \& Computational Geometry (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0908.3097

finite transformation group inscribed polytopes Knaster's problem measure partition

Finite groups of transformations in algebraic topology (including Smith theory) (55M35) Fredholm structures on infinite-dimensional manifolds (58B15)

Abstract: We prove a Knaster-type result for orbits of the group

(Z_{2})^{k}

in

S^{2^{k} - 1}

, calculating the Euler class obstruction. Among the consequences are: a result about inscribing skew crosspolytopes in hypersurfaces in

m a t h b b R^{2^{k}}

, and a result about equipartition of a measures in

m a t h b b R^{2^{k}}

by

(Z_{2})^{k + 1}

-symmetric convex fans.

Review text

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\).

Recommendations

Cites work

Cited in

(6)

This page was built for publication: Knaster's problem for \((\mathbb Z _{2})^{k }\)-symmetric subsets of the sphere \(S^{2^{k}-1}\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5962347)