Bisection of measures on spheres and a fixed point theorem (Q2156721)

This paper proves a ham-sandwich type result for densities on spheres. In \(\mathbb R^{m+1}\), any hyperplane through the origin bisects the \(m\)-sphere \(S^m\) into two hemispheres. Similarly any set of \(k\) hyperplanes through the origin will divide the sphere into two closed sets in a well-defined way. The main result of the paper is that, when \(m\) is a power of two, given any set of \(km\) continuous densities on the sphere, there exists a set of \(k\) hyperplanes which simultaneously bisect these densities. When \(k=1\), this is a density- and sphere-analogue of the classical ham sandwich theorem. An analogous result for densities on \(\mathbb R^m\) was obtained by \textit{A. Hubard} and \textit{R. Karasev} [Math. Proc. Camb. Philos. Soc. 169, No. 3, 639--647 (2020; Zbl 1498.52038)], but the present paper uses different methods, involving Euler classes of vector bundles and a fixed point theorem.