Waist of the sphere for maps to manifolds (Q387191): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(7 intermediate revisions by 5 users not shown) | |||
Property / author | |||
Property / author: Q375769 / rank | |||
Property / author | |||
Property / author: Roman N. Karasev / rank | |||
Normal rank | |||
Property / review text | |||
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))\). | |||
Property / review text: 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))\). / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Boris A. Kats / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 28A75 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 52A38 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 55R80 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6241346 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
compact topological space with a probabilistic Borel measure | |||
Property / zbMATH Keywords: compact topological space with a probabilistic Borel measure / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
sphere waist theorem | |||
Property / zbMATH Keywords: sphere waist theorem / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2031561161 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1102.0647 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3125206 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5331105 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sur les opérations de Steenrod / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Isoperimetry of waists and concentration of maps / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Points Multiples D'Une Application et Produit Cyclique Reduit / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The mod 2 equivariant cohomology algebras of configuration spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The genus and the category of configuration spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the Chern classes of the regular representations of some finite groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5653373 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: ON GROMOV'S WAIST OF THE SPHERE THEOREM / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homology of the infinite symmetric group / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Generalizations of Borsuk-Ulam theorem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5315159 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cohomology Operations (AM-50) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Braid group cohomologies and algorithm complexity / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A THEOREM OF BOURGIN-YANG TYPE FOR $ \mathbb{Z}_p^n$-ACTION / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On theorems of Borsuk-Ulam, Kakutani-Yamabe-Yujobô and Dyson. I / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 05:02, 7 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Waist of the sphere for maps to manifolds |
scientific article |
Statements
Waist of the sphere for maps to manifolds (English)
0 references
20 December 2013
0 references
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))\).
0 references
compact topological space with a probabilistic Borel measure
0 references
sphere waist theorem
0 references