View PDF HTML (experimental)

Abstract:We prove a Borsuk--Ulam-type zero theorem for the Stiefel manifold $V_{n,k}$ equipped with a free action of the hyperoctahedral group $B_k=(\mathbb{Z}/2)^k\rtimes S_k$. The existence of a zero reduces to a nonvanishing condition for explicit polynomials in the truncated ring ${R}_{n,k}=\mathbb{F}_2[a_1,\ldots,a_k]/(a_1^n,a_2^{n-1},\ldots,a_k^{n-k+1})$, converting a topological problem into finite algebra over~$\mathbb{F}_2$.
As an application we study equipartitions by mutually orthogonal hyperplanes. We prove that if $(P_{k,n})^m\ne0$ in the partition ring ${R}_{d,k}=\mathbb{F}_2[a_1,\ldots,a_k]/(a_1^{d+1},a_2^{d},\ldots,a_k^{d-k+2})$, then for any $m$ finite Borel measures in $\mathbb{R}^d$ there exist $k$ mutually orthogonal hyperplanes such that every $n$-element subfamily partitions each measure into $2^n$ equal parts. Let $\Delta^*(m,k,n)$ denote the smallest such dimension~$d$. We prove lower bounds on $\Delta^*(m,k,n)$ for all $m$, $k$, $n$ via a Sard-theoretic dimension argument, and the nonvanishing condition above provides algebraic upper bounds. We establish these bounds in several cases and derive exact values, including $\Delta^*(2^j-1,k,2)=2^{j-1}(k+1)-1$ for all $j\ge1$, $k\ge2$. In particular, the MVZ upper bound on $\Delta(m,k)$ \cite{MSZ} is achieved by mutually orthogonal hyperplanes: orthogonality comes for free.

Submission history

From: Oleg Musin [view email]
[v1] Thu, 19 Mar 2026 07:07:43 UTC (16 KB)
[v2] Thu, 16 Apr 2026 04:34:44 UTC (18 KB)
[v3] Sat, 23 May 2026 19:42:12 UTC (18 KB)
[v4] Thu, 10 Sep 2026 19:59:21 UTC (24 KB)