English

Waist of maps measured via Urysohn width

Metric Geometry 2021-07-27 v2

Abstract

We discuss various questions of the following kind: for a continuous map XYX \to Y from a compact metric space to a simplicial complex, can one guarantee the existence of a fiber large in the sense of Urysohn width? The dd-width measures how well a space can be approximated by a dd-dimensional complex. The results of this paper include the following. 1) Any piecewise linear map f:[0,1]m+2Ymf: [0,1]^{m+2} \to Y^m from the unit euclidean (m+2)(m+2)-cube to an mm-polyhedron must have a fiber of 11-width at least 12βm+m2+m+1\frac{1}{2\beta m +m^2 + m + 1}, where β=supy rk H1(f1(y))\beta = \sup_y \text{ rk } H_1(f^{-1}(y)) measures the topological complexity of the map. 2) There exists a piecewise smooth map X3m+1RmX^{3m+1} \to \mathbb{R}^m, with XX a riemannian (3m+1)(3m+1)-manifold of large 3m3m-width, and with all fibers being topological (2m+1)(2m+1)-balls of arbitrarily small (m+1)(m+1)-width.

Keywords

Cite

@article{arxiv.2009.04558,
  title  = {Waist of maps measured via Urysohn width},
  author = {Alexey Balitskiy and Aleksandr Berdnikov},
  journal= {arXiv preprint arXiv:2009.04558},
  year   = {2021}
}

Comments

18 pages, 3 figures; to appear in Transactions of the American Mathematical Society