DOCUMENTA MATHEMATICA, Vol. 21 (2016), 735-771

Pavle V. M. Blagojevic, Florian Frick, Albert Haase, Günter M. Ziegler

Hyperplane Mass Partitions via Relative Equivariant Obstruction Theory

The Grünbaum--Hadwiger--Ramos hyperplane mass partition problem was introduced by Grünbaum (1960) in a special case and in general form by Ramos (1996). It asks for the «admissible» triples $(d,j,k)$ such that for any $j$ masses in $\Rd$ there are $k$ hyperplanes that cut each of the masses into $2k$ equal parts. Ramos' conjecture is that the Avis--Ramos necessary lower bound condition $dk\ge j(2k-1)$ is also sufficient. We develop a «join scheme» for this problem, such that non-existence of an ${\Symk^\pm}$-equivariant map between spheres $(Sd)*k \rightarrow S(Wk\oplus Uk\oplus j)$ that extends a test map on the subspace of $(Sd)*k$ where the hyperoctahedral group $\Symk^\pm$ acts non-freely, implies that $(d,j,k)$ is admissible. For the sphere $(Sd)*k$ we obtain a very efficient regular cell decomposition, whose cells get a combinatorial interpretation with respect to measures on a modified moment curve. This allows us to apply relative equivariant obstruction theory successfully, even in the case when the difference of dimensions of the spheres $(Sd)*k$ and $S(Wk\oplus Uk\oplus j)$ is greater than one. The evaluation of obstruction classes leads to counting problems for concatenated Gray codes. Thus we give a rigorous, unified treatment of the previously announced cases of the Grünbaum--Hadwiger--Ramos problem, as well as a number of new cases for Ramos' conjecture.

2010 Mathematics Subject Classification: 55N25, 51N20, 52A35, 55R20

Keywords and Phrases: Hyperplane mass partition problem, equi­variant topological combinatorics, equivariant obstruction theory

Full text: dvi.gz 75 k, dvi 261 k, ps.gz 631 k, pdf 440 k.