Waist of the sphere for maps to manifolds (Q387191): Difference between revisions

Consider a compact topological space \(X\) with a probabilistic Borel measure \(\mu\). Let \(C(X)\) denote the set of continuous functions on \(X\). A finite-dimensional linear subspace \(L\subset C(X)\) is called measure separating if for any \(f\not= g\in L\) the measure of the set \(e(f,g)=\{x\in X: f(x)=g(x)\}\) is zero. Suppose that \(F=\{u_1, u_2, \dots, u_q\}\subset C(X)\) is a family of functions such that \(\mu(e(u_i, u_j)) =0\) for all \(i\not= j\). If \(V_{i}= \{x\in X: \forall j\not= i \quad u_{i}(x)\geq u_{j}(x)\}\), then the family of subsets \(P(F) =\{V_i\}^q_{i=1}\) is a partition of \(X\). Let a center map \(c(\cdot)\) relate a subset \(V\) with its center such that the centers \(c(V_1), c(V_2), \dots, c(V_q)\) depend continuously on \(F\subset L\), and if we permit the elements of \(F\) then the centers are permitted accordingly. The main result of the paper is the following: { Theorem.} Suppose that \(L\) is a measure-separating subspace of \(C(X)\) of dimension \(n+1\), that \(\mu_1, \dots, \mu_{n-m}\) (\(n>m\)) are absolutely continuous (with respect to the original measure on \(X\)) probabilistic measures on \(X\). Let \(q=p^{\alpha}\) be a prime power, \(c(\cdot)\) be a center map, and \(h: X\mapsto M\) be a continuous map to an \(m\)-dimensional topological manifold. Suppose also that the cohomology map \(h^* : H^{i}(M; {\mathbb F}_p) \mapsto H^{i}(X; {\mathbb F}_p) \) is a trivial map for \(i>0\). Then there exists a \(q\)-element subset \(F\subset L\) such that for every \(i=1, \dots, n-k\) the partition \(P(F)\) partitions the measure \(\mu_i\) into \(q\) equal parts, and \(h(c(V_1)) = h(c(V_2)) =\dots = h(c(V_q))\).