Uryson Width and Volume

We give a short proof of a theorem of Guth relating volume of balls and Uryson width. The same approach applies to Hausdorff content implying a recent result of Liokumovich–Lishak–Nabutovsky–Rotman. We show also that for any C>0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$C>0$$\end{document} there is a Riemannian metric g on a 3-sphere such that vol(S3,g)=1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\hbox {vol}}(S^3,g)=1$$\end{document} and for any map f:S3→R2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$f:S^3\rightarrow {\mathbb {R}}^2$$\end{document} there is some x∈R2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$x\in {\mathbb {R}}^2$$\end{document} for which diam(f-1(x))>C\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\text {diam}(f^{-1}(x))>C$$\end{document}, answering a question of Guth.


Introduction
The Uryson width is a notion of topological dimension theory that was brought to the realm of Riemannian Geometry by Gromov [Gro83,Gro88,Gro86]. It appears quite naturally in the context of thick-thin decompositions of Riemannian manifolds [Gro96]. Intuitively small k-Uryson width means that an n-dimensional space 'collapses' to a k-dimensional space (where we assume k < n). For example if we consider a torus T 2 = S 1 × S 1 where one of the S 1 's has very small length and the other has, say, length 1 then T 2 is 'close' (collapses) to the circle of length 1-a lower dimensional manifold. In case that our n-dimensional space is non compact, bounded k-Uryson width means that the space is 'close' to a k-dimensional space.
We recall now the precise definition: if X is a metric space we say that X has q-Uryson width ≤ W if there exists a q-dimensional simplicial complex Y and a continuous map π : X → Y such that every fiber π −1 (y) has diameter ≤ W . We write then that UW q (X) ≤ W .
We denote above by HC n the n-dimensional Hausdorff content of a metric spacefor the definition see Sect. 2.
We note also that Nabutovsky [Nab19] used the method of this paper to give better bounds for the dimensional constant in the celebrated systolic inequality of Gromov. We give now the idea of the Proof of Theorem 1.1: Let's say that we have a thickened plane P , so locally the volume growth is much smaller than r 3 . Then we cut P in pieces of small diameter < D by a 'thickened grid' G (we call this a D-separating subset in sec. 2). Using the co-area inequality (see Lemma 2.5) we show that there is a thickened grid that locally has volume growth much smaller than r 2 so by induction it admits a map f to a 1-dimensional complex Σ with small fibers. By adding finite cones to Σ we may extend f to the pieces of P \G, so to the whole of P . It is easy to see that the fibers of this map have small diameter. We note that our approach is reminiscent of the minimal hypersurface method of Schoen-Yau [SY79a,SY79b] which was used also by Guth [Gut10] in a context similar to ours. Indeed our 'thickened' grid has a rough 'minimal area' property and in some cases can indeed be replaced by a smooth hypersurface. One novelty of our approach is that even when we deal with manifolds we need to consider more general spaces like the grid in the above example.
In Sect. 2 we carry out this proof in the more general context of compact metric spaces and in Sect. 3 we deal with the non-compact case. These results imply that there is some C > 0 such that if vol(S 3 , g) = 1 then there is a map f : S 3 → Σ where Σ is a 2-complex and the 'fibers' of the map have diameter bounded by C. Guth in [Gut10] asks whether Σ may be replaced by R 2 . In Sect. 4 we give examples showing that the answer is negative.
I am grateful to Stephane Sabourau for pointing out mistakes in an earlier version of this paper and making suggestions that improved the exposition, and to Larry Guth for bringing to my attention the relationship of this approach to minimal surfaces. I thank the referees for their constructive comments that made this paper more readable.

Uryson Width of Compact Metric Spaces
We prove in this section the generalization of Theorem 1.1 for metric spaces conjectured by Guth. There are some technicalities in the proof as we work with Hausdorff content which is not a measure. We explain in the end how can one give a simpler proof in the manifold case using Hausdorff measure (see Remark 1).
Definition. The n-dimensional Hausdorff content HC n (U ) of a subset of a metric space X is the infimum of ∞ i=1 r n i over all coverings of U by countably many balls B(x i , r i ).
We will need a slight variation of Hausdorff content-this will allow us to sidestep the problem that Hausdorff content is not a measure so it is not additive: Definition. The ζ-restricted n-dimensional Hausdorff content HC ζ n (U ) of a subset of a metric space X is the infimum of ∞ i=1 r n i over all coverings of U by countably many balls B(x i , r i ) where r i ≤ ζ for all i.
Clearly we have HC ζ n (U ) ≥ HC n (U ). We remark that if U is contained in a ball of radius ζ then HC ζ n (U ) = HC n (U ).
Notation. We denote by B(x, r) the open metric ball of radius r and center x and bȳ B(x, r) the closed ball. When we don't care about the center we denote it by B(r) (B(r) respectively). We denote by S(x, r) the sphere of radius r and center x, and we denote this by S r when the center is obvious. Finally we denote by B(r 2 )\B(r 1 ) the annulus between two concentric metric balls. The co-area formula [BZ13, Theorem 13.4.2] will be our main tool. As we will work in the context of metric spaces it will be crucial below that there is a co-area inequality that applies to Hausdorff content as was shown recently in [LLNR19]. We state this here for ζ-restricted Hausdorff content. where the integral is the Upper Lebesgue integral. The same inequality applies to the Hausdorff content.
Proof. We outline the proof of this from [LLNR19] for the reader's convenience. If B(R) is a ball and S r is a sphere then S r ∩ B(R) is contained in a ball of radius ≤ R for any r, so HC n−1 (S r ∩ B(R)) ≤ R n−1 for any r. So if B(R) is a ball contained in an annulus B(r 2 )\B(r 1 ) and ζ ≥ R we have r2 r1 Note now that if U is any closed set for any > 0 there is a covering of U by finitely many balls B i (r i ), i = 1, . . . , k so that r i ≤ ζ and k i=1 r n i − HC ζ n (U ) < and the result follows by ( * ). Clearly this proof applies to HC n (U ) as well.
Guth conjectured in [Gut17] that if a compact (or even proper) metric space has locally small n-Hausdorff content then it has small Uryson width. We treat now the easier case n = 1.
Lemma 2.2. Let X be a proper metric space and let R > 0. If for any x ∈ X the 1-dimensional Hausdorff content of the ball B(x, R) is bounded by Proof. We set δ = 1 100 R. We fix x 0 ∈ X and we consider the closed annuli A k = {x ∈ X : 10(k − 1)R ≤ d(x 0 , x) ≤ 10kR}, k ≥ 1, k ∈ N. Each A k is compact so it has a finite covering by balls B j (r j ) such that r j ≤ 2δ for all j. Let We pick for each A k a covering by open balls B j (r j ) such that r j − a k < δ ( * ).
By doing this for all k we obtain a covering U of X by open balls. Suppose that we have a finite sequence of balls in U, We may assume by taking a smaller n if necessary and arguing by contradiction that So all these balls are contained in a ball B(x, R) which is contained either in a single annulus A k or in a union of two annuli A k ∪ A k+1 . However by our hypothesis the content of B(x, R) is bounded by δ, so we could replace these balls in U by finitely many balls B s (r s ), s ∈ S such that their union contains B(x, R) and s∈S r s < 2δ.
It follows that the sequence B 1 (r 1 ), . . . , B n (r n ) violates ( * ) for at least one of We introduce an equivalence relation on U. We say that two balls B, B in U are equivalent if there is a finite sequence of balls B 1 = B, B 2 , . . . , B n = B such that any two successive balls in the sequence intersect.
We replace then each equivalence class of balls from U by their union. In this way we obtain a cover of X by sets say

as a finite union of open balls), and closed (since its complement is open). It follows that the map
If U is an open subset of a Riemannian manifold then vol n (U ) is equal to the n-Hausdorff measure of U which is in turn greater or equal to the n-dimensional Hausdorff content. It follows that Theorem 1.1 is a corollary of the theorem that we state now-which was conjectured by Guth and proven recently by Liokumovich-Lishak-Nabutovsky-Rotman [LLNR19]: Theorem 2.3. There is an n > 0 such that the following holds. If X is a compact metric space such that for any x ∈ X the n-dimensional Hausdorff content of the ball Proof. We will prove by induction on n that there is a continuous map π : X → Σ where Σ is a finite simplicial complex of dimension ≤ n−1 such that diam π −1 (y) ≤ R for any y ∈ Σ. The theorem holds for n = 1 by Lemma 2.2.
where the U i are open disjoint sets of diameter ≤ D and I is finite. We say that the open sets U i are the pieces of the decomposition of X by Z.

GAFA URYSON WIDTH AND VOLUME 579
We set ζ = R/1000. Let b(D) be the infimum of HC ζ n−1 (Z) over all D-separating sets Z. It is not clear whether there exists a D-separating set realizing b(D) however it will be sufficient for us to consider sets with content close enough to b(D): We say that Z is a δ-minimal D-separating set if Z is D-separating and In what follows our statements will be true for δ sufficiently small. The theorem follows from the next lemma: Lemma 2.4. There is an n > 0 such that the following holds. If X is a compact metric space such that for any x ∈ X the n-dimensional Hausdorff content of the ball B(x, R) is bounded by n R n , then there is a finite simplicial complex Σ of dimension ≤ n − 1 and a continuous map f : Proof. We prove this by induction on n. For n = 1 the statement follows by Lemma 2.2. In particular we may take 1 = 1/100. We will show that the lemma holds for n where we define n inductively by We assume now that the lemma holds for n − 1 for some n ≥ 2.
Lemma 2.5. Let n−1 be the constant provided by Lemma 2.4 and let n = n−1 /1000 n+1 . Let X be a compact metric space such that for any x ∈ X the n-dimensional Hausdorff content of the ball B(x, R) is bounded by n R n . Let Z be a δ-minimal R/4-separating subset of X. Then for any ball of radius R/1000, B(x, R/1000), Proof. We argue by contradiction assuming that Z does not satisfy this inequality for some x. We take We note that (R/1000) n ≥ n R n . It follows that HC n (B(x, R)) = HC ζ n (B(x, R)). By the co-area inequality (Lemma 2.1) and our hypothesis that HC ζ n (B(x, R)) ≤ n R n we have that for some r ∈ [R/100, R/50]  \B(x, r)) U.
we get a cover of Z by omitting all balls from this cover intersecting B(x, R/1000) and adding appropriately balls that cover S(x, r) and approximate HC ζ n−1 S(x, r) up to δ.
We have then We prove now Lemma 2.4. Let Z be a δ-minimal R/4-separating subset of X. By Lemma 2.5 and our inductive hypothesis there is a continuous map π 1 : Z → Σ 1 where Σ 1 is a finite simplicial complex of dimension ≤ n−2 such that diam π −1 1 (e) ≤ R/1000 for any simplex e ∈ Σ 1 .
Let U be a piece of the decomposition of X by Z. Clearly ∂U ⊂ Z so π 1 (∂U ) is contained in a finite subcomplex of Σ 1 . We denote by Σ U the minimal such subcomplex of Σ 1 .
We define a new simplicial complex Σ as follows: For each closure of a connected component U we consider the cone C U over Σ U (which is a simplicial complex of dimension ≤ n − 1). We glue C U to Σ 1 along their common subcomplex Σ U .
We will need some facts from topology that we recall now (see eg [Hu65]). Any finite simplicial complex is an Absolute Neighborhood Retract (ANR). A contractible ANR is an Absolute Retract (AR). In particular the cone of a finite simplicial complex is an AR. A space A is an AR if and only if it is an absolute extensor i.e. if it has the following property: if B is any metric space, K ⊆ B is closed and f : K → A is continuous then f can be extended continuously to the whole of B.
By the above facts it follows that for each U the map π 1 : ∂U → Σ U ⊂ C U can be extended to a continuous map π : U → C U ⊂ Σ. Since X is the union of Z with the pieces of the decomposition of X by Z and since the map π is continuous on the closure of each piece we have that the map π : X → Σ is continuous.

GAFA URYSON WIDTH AND VOLUME 581
Let e be a maximal simplex of Σ. Then e is either a simplex of Σ 1 or a cone of a simplex e of Σ 1 . If π(U ) intersects e then in the first case ∂U intersects π −1 1 (e) while in the second case ∂U intersects π −1 1 (e ). Since diam π −1 1 (e ) ≤ R/1000 and diam(U ) ≤ R/4 we have that diam π −1 (e) ≤ R.
We note that an extension argument similar to the one given above appears in section 6.1 of [LLNR19].
Clearly the theorem follows from the lemma as any point of Σ is contained in some simplex e of Σ.
Remark 1. In the manifold case one could use Hausdorff measure instead of Hausdorff content to prove Theorem 1.1. This would simplify a bit the proof, in particular the Proof of Lemma 2.5. We note however that the subset Z that 'cuts' the space in small pieces that we introduce is not a manifold. So for the proof to work one needs a version of the co-area inequality that applies to spaces with finite Hausdorff measure. We observe that such an inequality follows from Lemma 2.1 by taking a limit as the diameter of the balls approaches 0 (see also [HL86] 1.11, p. 15 or [Fed14] 3.2.11).

The General Case and a Refinement
We recall that a metric space is called proper if any closed ball is compact. Theorem 2.3 holds more generally for proper metric spaces rather than compact ones. We state here the corresponding inductive statement and explain the modifications needed to prove this.
Theorem 3.1. There is an n > 0 such that the following holds. If X is a proper metric space such that for any x ∈ X the n-dimensional Hausdorff content of the ball B(x, R) is bounded by n R n , then there is a locally finite simplicial complex Σ of dimension ≤ n − 1 and a continuous map f : X → Σ such that: diam f −1 (e) ≤ R for any simplex e ∈ Σ. In particular UW n−1 (X) ≤ R.
Proof. The proof is as before by induction on n. For n = 1 the statement follows by Lemma 2.2. We generalize slightly the definition of D-separating subset: where the U i are open disjoint sets of diameter ≤ D and any ball B(x, r) intersects finitely many of the U i 's. We say that the open sets U i are the pieces of the decomposition of X by Z.

P. PAPASOGLU GAFA
To do the inductive step we fix x 0 ∈ X and let (n ≥ 1). We set ζ = R/1000. Each A n , B n is compact so we may apply Lemma 2.3. We modify slightly Lemma 2.5: we pick a smaller n , say, and we obtain the following slightly stronger conclusion by the same proof: Then we may take the open sets to be the pieces of the decomposition of X by Z ∪ T . Clearly W ij = X\(Z ∪ T ). Each ball intersects finitely many of these sets since it intersects finitely many of U i , V j . Applying Lemma 3.2 we see that Z ∪T satisfies the hypothesis of Theorem 3.1 for n − 1 and the same proof as in Theorem 2.4 applies in this case too.
Our method allows us to give a weaker sufficient condition for a space to have small Uryson width. We remark that the volume condition given in Theorem 2.3 for a space to have small Uryson width is not a necessary one. For example one can GAFA URYSON WIDTH AND VOLUME 583 have a ball B of radius R with HC n (B) = R n and UW 1 (B) < for arbitrarily small . Recall that a metric space X has inductive dimension ≤ n if every point x ∈ X has arbitrarily small neighborhoods U such that dim ∂U ≤ n − 1 (see [HW69], def. III.1, p. 24). It turns out that for separable metric spaces the inductive dimension is equal to the covering (known also as topological) dimension (see [HW69], thm V 8, p. 67). We give a quantitative statement similar to the definition of inductive dimension where we assume for ∂U small n − 1-Hausdorff content rather than dimension. So this is a result in the spirit of passing from a qualititative theorem from topological dimension theory into some quantitative estimates (for more on this theme see [Gut17], sec. 0.2). Theorem 3.3. There exist n > 0 so that the following holds. Suppose X is a proper metric space and there exists a radius R such that every ball B(x, R) in X is contained in an open set U with the properties: Proof. One argues as in the Proof of Theorem 3.1. Here we don't need the co-area formula as we assume that HC n−1 (∂U ) is small. So we can prove as in Lemma 2.5 that a δ-minimal 1000R separating subset Z has locally small HC ζ n−1 and the rest of the proof is identical.
We remark however that this theorem does not provide a characterization of spaces X with small UW n−1 (X). For example consider a 3-regular metric tree T where each edge has length δ > 0. Let X = T × [0, ]. Clearly UW 1 (X) ≤ but by picking δ very small we see that HC 1 (∂U ) ≥ R for open sets U containing an R-ball.

An Example
Balacheff-Sabourau showed in [BS10] that there is a constant c g such that if S g is a Riemannian surface of genus g and volume 1 then there is a map f : S g → R such that the length of the level sets f −1 (x) is bounded by c g . Guth in [Gut10], p. 765 asks if there is a similar bound for maps from the 3-sphere to R 2 where we assume again that vol S 3 = 1. In this section we show that for any C > 0 there is a Riemannian metric g on the 3-sphere with vol(S 3 , g) = 1 such that for any map f : S 3 → R 2 there is some x ∈ R 2 for which diam(f −1 (x)) > C answering this question in the negative. We note that Theorem 1.1 implies that there is C > 0 such that for any Riemannian metric g (S 3 , g) of volume 1 there a map f : S 3 → Σ for some 2-complex Σ such that for any x ∈ Σ diam(f −1 (x)) ≤ C. So the example really shows that we can not replace Σ by R 2 . It remains open whether one can find 584 P. PAPASOGLU GAFA a map f : S 3 → Σ where Σ is a 2-complex so that the length of the level sets (rather than the diameter) is bounded (see [Gut10]).
One could see maps f : M → R n where M is a manifold as 'higher analogs' of Morse functions-especially if one imposes some smoothness conditions on f . Such maps were studied extensively in [Gro09] and in [Gro10].
Our construction is based on a simple observation about graphs. Namely the fact that the non-planarity of the complete graph K 5 has a quantitative version: if we take a copy of K 5 where the edges are very long then in any drawing of this graph on the plane two 'far away' points get identified. We give a formal proof of this in the next two lemmas.
Let Γ = (V, E) be a graph. We consider here metric graphs, that is edges are isometric to some interval [0, ] and the distance between two points is the length of the shortest path joining them.
It will be convenient to identify some planar subsets with graphs: We will say that a subset of the plane R 2 is a graph if it is a finite union of closed arcs and any two arcs may intersect only at their endpoints. We say that these arcs are the edges of the graph. We call the subset of the plane consisting of endpoints of these arcs the set of vertices of the graph. We note that a subset of the plane can have more than one graph structure as one can always subdivide some edges and add vertices. So when we talk of a graph on the plane we assume that we have fixed a choice of vertices and edges.
We recall a classical topological lemma (see Corollary 31.6 in [Wil04]). Lemma 4.2. Let K 5 = (V, E) be the complete graph with 5 vertices metrized so that each edge has length 10R. If f : K 5 → R 2 is continuous, then there is some Proof. We argue by contradiction, that is we assume that diamf −1 (x) ≤ R for all x. For any vertex v ∈ V we consider the ball of radius 2R, B(v, 2R) in K 5 . This is a tree T consisting of a union of intervals [v, x i ], i = 1, 2, 3, 4 intersecting only at v. By Lemma 4.1 there is a simple arc . Let p 1 be the last intersection point on α 2 between α 1 , α 2 . We replace then α 2 by the subarc of α 2 with endpoints p 1 , f(x 2 ). Call this arc β 2 Similarly we consider the last intersection point p 2 of α 3 with α 1 ∪ β 2 and we replace α 3 by its subarc of α 3 with endpoints p 2 , f(v 3 ). We repeat this with the other arcs and we note that α 1 ∪ β 2 ∪ · · · ∪ β 4 is a tree with 4 (or 5) endpoints contained in f (T ). We do this for all 5 vertices of K 5 and we obtain 5 trees on the plane T i , i = 1, . . . , 5. By Lemma 4.1 for each pair T i , T j there is a simple arc α ij joining an endpoint of T i with an endpoint of T j . We note that α ij might intersect T i , T j at many points. We replace α ij by a subarc β ij such that β ij intersects T i ∪ T j only at its endpoints and one endpoint is in T i and another is in T j . By our hypothesis the arcs β ij do GAFA URYSON WIDTH AND VOLUME 585 not intersect each other and the trees T i do not intersect either. So the union of the T i 's with the β ij 's is a planar graph. However it is clear that this graph has K 5 as a minor-just contract the trees T i to points. This is clearly a contradiction since K 5 is not planar.
The construction. The idea is that we may construct a 3-sphere with volume 1 that contains an almost isometric copy of K 5 where the edges of K 5 are very long. The point is we can replace K 5 with a very thin handlebody Σ and S 3 can be obtained by gluing two such thin handlebodies. To arrange that K 5 is almost isometrically embedded we interpolate Σ × [0, L] for some big L between the two copies. We explain now this more formally. Given C > 0 pick a graph Γ isomorphic to K 5 so that the edges of Γ have length 100C. Thicken Γ so that is becomes a handlebody Σ. We may choose a Riemannian metric on Σ so that Σ is contained in an neighborhood of Γ, its volume is less than , its boundary surface S and Σ are both (1, ) quasi-isometric to Γ and area(S) < , where is a small positive number that we will specify later. Glue to Σ along S the manifold S × [0, 100C] with the product metric to obtain a handlebody M . Clearly vol(M ) < (100C + 1) . Consider now a small copy S 1 of S of diameter < 1/10 embedded in the standard sphere S 3 of volume 1 − δ where δ is a small positive number to specify later. Denote the handlebody of diameter < 1/10 bounded by S 1 in S 3 by Σ 1 . Consider now a Riemannian metric g 1 on S × [0, 1] interpolating between the metric on ∂M and S 1 , so S × {0} is isometric to S and S × {1} is isometric to S 1 . We may further assume that the volume of (S × [0, 1], g 1 ) is smaller than 2 . We glue now S × {0} to M and ∂M and S × {1} to S 3 \S 1 by isometries. By appropriately picking δ, and smoothing the metric we obtain a Riemannian sphere (S 3 , g) with vol(S 3 , g) = 1. Since Γ is (1, ) quasi-isometrically embedded in this sphere clearly Lemma 4.2 implies that for any f : S 3 → R 2 there are x, y ∈ Γ with d(x, y) > C and f (x) = f (y). We note that this construction is very similar to a construction in proposition 0.10 in [Gut17] which is turn is similar to example (H 1 ) of [Gro88]. Larry Guth after seeing this example suggested another way to obtain such metrics: start with a tripod T with long edges. Clearly any map from the tripod to R has some fiber of long diameter. Consider X = T × [0, L] for some big L. Again any map f : X → R 2 has some big fiber. Now thicken X to obtain a 3-ball and glue two such balls along their boundaries to obtain a 3-sphere S such that for any f : S → R 2 there is a point x ∈ R 2 for which diamf −1 (x) is large.
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's 586 P. PAPASOGLU GAFA Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Publisher's Note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.