Showing 1–15 of 15 results for author: Lang, U

Isoperimetric inequalities in Hadamard spaces of asymptotic rank two

Authors: Urs Lang, Stephan Stadler, David Urech

Abstract: Gromov's isoperimetric gap conjecture for Hadamard spaces states that cycles in dimensions greater than or equal to the asymptotic rank admit linear isoperimetric filling inequalities, as opposed to the inequalities of Euclidean type in lower dimensions. In the case of asymptotic rank 2, recent progress was made by Druţu-Lang-Papasoglu-Stadler who established a homotopical inequality for Lipschitz… ▽ More Gromov's isoperimetric gap conjecture for Hadamard spaces states that cycles in dimensions greater than or equal to the asymptotic rank admit linear isoperimetric filling inequalities, as opposed to the inequalities of Euclidean type in lower dimensions. In the case of asymptotic rank 2, recent progress was made by Druţu-Lang-Papasoglu-Stadler who established a homotopical inequality for Lipschitz 2-spheres with exponents arbitrarily close to 1. We prove a homological inequality of the same type for general cycles in dimensions at least 2, assuming that the ambient space has finite linearly controlled asymptotic dimension. This holds in particular for all Hadamard 3-manifolds and finite-dimensional CAT(0) cube complexes. △ Less

Submitted 5 June, 2025; originally announced June 2025.

Comments: 21 pages

Minimal tetrahedra and an isoperimetric gap theorem in non-positive curvature

Authors: Cornelia Druţu, Urs Lang, Panos Papasoglu, Stephan Stadler

Abstract: We investigate isoperimetric inequalities for Lipschitz 2-spheres in CAT(0) spaces, proving bounds on the volume of efficient null-homotopies. In one dimension lower, it is known that a quadratic inequality with a constant smaller than $c_2=1/(4π)$ -- the optimal constant for the Euclidean plane -- implies that the underlying space is Gromov hyperbolic, and a linear inequality holds. We establish… ▽ More We investigate isoperimetric inequalities for Lipschitz 2-spheres in CAT(0) spaces, proving bounds on the volume of efficient null-homotopies. In one dimension lower, it is known that a quadratic inequality with a constant smaller than $c_2=1/(4π)$ -- the optimal constant for the Euclidean plane -- implies that the underlying space is Gromov hyperbolic, and a linear inequality holds. We establish the first analogous gap theorem in higher dimensions: if a proper CAT(0) space satisfies a Euclidean inequality for 2-spheres with a constant below the sharp threshold $c_3=1/(6\sqrtπ)$, then the space also admits an inequality with an exponent arbitrarily close to 1. As a corollary we obtain a similar result for Lipschitz surfaces of higher genus. Towards our main theorem we prove a (non-sharp) Euclidean isoperimetric inequality for null-homotopies of 2-spheres, apparently missing in the literature. A novelty in our approach is the introduction of minimal tetrahedra, which we demonstrate satisfy a linear inequality. △ Less

Submitted 5 February, 2025; originally announced February 2025.

Report number: MPIM-Bonn-2025

A combinatorial higher-rank hyperbolicity condition

Authors: Martina Jørgensen, Urs Lang

Abstract: We investigate a coarse version of a $2(n+1)$-point inequality characterizing metric spaces of combinatorial dimension at most $n$ due to Dress. This condition, experimentally called $(n,δ)$-hyperbolicity, reduces to Gromov's quadruple definition of $δ$-hyperbolicity in case $n = 1$. The $l_\infty$-product of $n$ $δ$-hyperbolic spaces is $(n,δ)$-hyperbolic. Every $(n,δ)$-hyperbolic metric space, w… ▽ More We investigate a coarse version of a $2(n+1)$-point inequality characterizing metric spaces of combinatorial dimension at most $n$ due to Dress. This condition, experimentally called $(n,δ)$-hyperbolicity, reduces to Gromov's quadruple definition of $δ$-hyperbolicity in case $n = 1$. The $l_\infty$-product of $n$ $δ$-hyperbolic spaces is $(n,δ)$-hyperbolic. Every $(n,δ)$-hyperbolic metric space, without any further assumptions, possesses a slim $(n+1)$-simplex property analogous to the slimness of quasi-geodesic triangles in Gromov hyperbolic spaces. In connection with recent work in geometric group theory, we show that every Helly group and every hierarchically hyperbolic group of (asymptotic) rank $n$ acts geometrically on some $(n,δ)$-hyperbolic space. △ Less

Submitted 2 October, 2023; v1 submitted 16 June, 2022; originally announced June 2022.

Comments: 22 pages, 3 figures. V3: some improvements, updated references. To appear in Comment. Math. Helv

Characterizations of higher rank hyperbolicity

Authors: Tommaso Goldhirsch, Urs Lang

Abstract: The concept of Gromov hyperbolicity manifests itself in many different ways. With only mild assumptions on the underlying metric space, the spectrum of equivalent properties includes various thin triangle conditions, the stability of quasi-geodesics (the Morse lemma), a linear isoperimetric filling inequality for closed curves, and a sub-quadratic isoperimetric inequality. We present a similar lis… ▽ More The concept of Gromov hyperbolicity manifests itself in many different ways. With only mild assumptions on the underlying metric space, the spectrum of equivalent properties includes various thin triangle conditions, the stability of quasi-geodesics (the Morse lemma), a linear isoperimetric filling inequality for closed curves, and a sub-quadratic isoperimetric inequality. We present a similar list of six equivalent properties in the context of generalized non-positive curvature and higher asymptotic rank. This complements results of Wenger and of Kleiner and the second author. We give a largely self-contained proof, providing some improvements and simplifications for the known part. △ Less

Submitted 3 August, 2023; v1 submitted 31 December, 2021; originally announced December 2021.

Comments: 29 pages. Minor changes, some references added. To appear in Math. Z

Geodesic spaces of low Nagata dimension

Authors: Martina Jørgensen, Urs Lang

Abstract: We show that every geodesic metric space admitting an injective continuous map into the plane as well as every planar graph has Nagata dimension at most two, hence asymptotic dimension at most two. This relies on and answers a question in a very recent work by Fujiwara and Papasoglu. We conclude that all three-dimensional Hadamard manifolds have Nagata dimension three. As a consequence, all such m… ▽ More We show that every geodesic metric space admitting an injective continuous map into the plane as well as every planar graph has Nagata dimension at most two, hence asymptotic dimension at most two. This relies on and answers a question in a very recent work by Fujiwara and Papasoglu. We conclude that all three-dimensional Hadamard manifolds have Nagata dimension three. As a consequence, all such manifolds are absolute Lipschitz retracts. △ Less

Submitted 22 April, 2020; originally announced April 2020.

Higher rank hyperbolicity

Authors: Bruce Kleiner, Urs Lang

Abstract: The large-scale geometry of hyperbolic metric spaces exhibits many distinctive features, such as the stability of quasi-geodesics (the Morse Lemma), the visibility property, and the homeomorphism between visual boundaries induced by a quasi-isometry. We prove a number of closely analogous results for spaces of rank $n \ge 2$ in an asymptotic sense, under some weak assumptions reminiscent of nonpos… ▽ More The large-scale geometry of hyperbolic metric spaces exhibits many distinctive features, such as the stability of quasi-geodesics (the Morse Lemma), the visibility property, and the homeomorphism between visual boundaries induced by a quasi-isometry. We prove a number of closely analogous results for spaces of rank $n \ge 2$ in an asymptotic sense, under some weak assumptions reminiscent of nonpositive curvature. For this purpose we replace quasi-geodesic lines with quasi-minimizing (locally finite) $n$-cycles of $r^n$ volume growth; prime examples include $n$-cycles associated with $n$-quasiflats. Solving an asymptotic Plateau problem and producing unique tangent cones at infinity for such cycles, we show in particular that every quasi-isometry between two proper CAT(0) spaces of asymptotic rank $n$ extends to a class of $(n-1)$-cycles in the Tits boundaries. △ Less

Submitted 25 January, 2019; v1 submitted 30 October, 2018; originally announced October 2018.

Comments: 59 pages. Visual metrics added, minor improvements

Flats in spaces with convex geodesic bicombings

Authors: Dominic Descombes, Urs Lang

Abstract: In spaces of nonpositive curvature the existence of isometrically embedded flat (hyper)planes is often granted by apparently weaker conditions on large scales. We show that some such results remain valid for metric spaces with non-unique geodesic segments under suitable convexity assumptions on the distance function along distinguished geodesics. The discussion includes, among other things, the Fl… ▽ More In spaces of nonpositive curvature the existence of isometrically embedded flat (hyper)planes is often granted by apparently weaker conditions on large scales. We show that some such results remain valid for metric spaces with non-unique geodesic segments under suitable convexity assumptions on the distance function along distinguished geodesics. The discussion includes, among other things, the Flat Torus Theorem and Gromov's hyperbolicity criterion referring to embedded planes. This generalizes results of Bowditch for Busemann spaces. △ Less

Submitted 14 March, 2016; v1 submitted 11 August, 2015; originally announced August 2015.

Comments: Final version, to appear in Analysis and Geometry in Metric Spaces (AGMS)

Lipschitz extensions of maps between Heisenberg groups

Authors: Zoltan Balogh, Urs Lang, Pierre Pansu

Abstract: Let $\H^n$ be the Heisenberg group of topological dimension $2n+1$. We prove that if $n$ is odd, the pair of metric spaces $(\H^n, \H^n)$ does not have the Lipschitz extension property. Let $\H^n$ be the Heisenberg group of topological dimension $2n+1$. We prove that if $n$ is odd, the pair of metric spaces $(\H^n, \H^n)$ does not have the Lipschitz extension property. △ Less

Submitted 22 May, 2015; originally announced May 2015.

Convex geodesic bicombings and hyperbolicity

Authors: Dominic Descombes, Urs Lang

Abstract: A geodesic bicombing on a metric space selects for every pair of points a geodesic connecting them. We prove existence and uniqueness results for geodesic bicombings satisfying different convexity conditions. In combination with recent work by the second author on injective hulls, this shows that every word hyperbolic group acts geometrically on a proper, finite dimensional space X with a unique (… ▽ More A geodesic bicombing on a metric space selects for every pair of points a geodesic connecting them. We prove existence and uniqueness results for geodesic bicombings satisfying different convexity conditions. In combination with recent work by the second author on injective hulls, this shows that every word hyperbolic group acts geometrically on a proper, finite dimensional space X with a unique (hence equivariant) convex geodesic bicombing of the strongest type. Furthermore, the Gromov boundary of X is a Z-set in the closure of X, and the latter is a metrizable absolute retract, in analogy with the Bestvina--Mess theorem on the Rips complex. △ Less

Submitted 20 April, 2014; originally announced April 2014.

Comments: 22 pages

Metric stability of trees and tight spans

Authors: Urs Lang, Maël Pavón, Roger Züst

Abstract: In this note, we prove optimal extension results for roughly isometric relations between metric (R-)trees and injective metric spaces. This yields sharp stability estimates, in terms of the Gromov-Hausdorff (GH) distance, for certain metric spanning constructions: The GH distance of two metric trees spanned by some subsets is smaller than or equal to the GH distance of these sets. The GH distance… ▽ More In this note, we prove optimal extension results for roughly isometric relations between metric (R-)trees and injective metric spaces. This yields sharp stability estimates, in terms of the Gromov-Hausdorff (GH) distance, for certain metric spanning constructions: The GH distance of two metric trees spanned by some subsets is smaller than or equal to the GH distance of these sets. The GH distance of the injective hulls, or tight spans, of two metric spaces is at most twice the GH distance between themselves. △ Less

Submitted 27 March, 2013; originally announced March 2013.

Comments: 8 pages, 1 figure

On Toponogov's comparison theorem for Alexandrov spaces

Authors: Urs Lang, Viktor Schroeder

Abstract: In this expository note, we present a transparent proof of Toponogov's theorem for Alexandrov spaces in the general case, not assuming local compactness of the underlying metric space. More precisely, we show that if M is a complete geodesic metric space such that the Alexandrov triangle comparisons for curvature greater than or equal to k are satisfied locally, then these comparisons also hold in… ▽ More In this expository note, we present a transparent proof of Toponogov's theorem for Alexandrov spaces in the general case, not assuming local compactness of the underlying metric space. More precisely, we show that if M is a complete geodesic metric space such that the Alexandrov triangle comparisons for curvature greater than or equal to k are satisfied locally, then these comparisons also hold in the large. The proof is a modification of an argument due to Plaut. △ Less

Submitted 25 July, 2012; v1 submitted 16 July, 2012; originally announced July 2012.

Comments: 9 pages, 3 figures. Introduction modified, some minor changes made, reference added (thanks to Anton Petrunin)

Injective hulls of certain discrete metric spaces and groups

Authors: Urs Lang

Abstract: Injective metric spaces, or absolute 1-Lipschitz retracts, share a number of properties with CAT(0) spaces. In the 1960es, J. R. Isbell showed that every metric space X has an injective hull E(X). Here it is proved that if X is the vertex set of a connected locally finite graph with a uniform stability property of intervals, then E(X) is a locally finite polyhedral complex with finitely many isome… ▽ More Injective metric spaces, or absolute 1-Lipschitz retracts, share a number of properties with CAT(0) spaces. In the 1960es, J. R. Isbell showed that every metric space X has an injective hull E(X). Here it is proved that if X is the vertex set of a connected locally finite graph with a uniform stability property of intervals, then E(X) is a locally finite polyhedral complex with finitely many isometry types of n-cells, isometric to polytopes in l^n_\infty, for each n. This applies to a class of finitely generated groups G, including all word hyperbolic groups and abelian groups, among others. Then G acts properly on E(G) by cellular isometries, and the first barycentric subdivision of E(G) is a model for the classifying space \underbar{E}G for proper actions. If G is hyperbolic, E(G) is finite dimensional and the action is cocompact. In particular, every hyperbolic group acts properly and cocompactly on a space of non-positive curvature in a weak (but non-coarse) sense. △ Less

Submitted 28 June, 2012; v1 submitted 29 July, 2011; originally announced July 2011.

Comments: 37 pages, introduction modified, and minor changes made

The pointed flat compactness theorem for locally integral currents

Authors: Urs Lang, Stefan Wenger

Abstract: Recently, a new embedding/compactness theorem for integral currents in a sequence of metric spaces has been established by the second author. We present a version of this result for locally integral currents in a sequence of pointed metric spaces. To this end we introduce another variant of the Ambrosio--Kirchheim theory of currents in metric spaces, including currents with finite mass in bounde… ▽ More Recently, a new embedding/compactness theorem for integral currents in a sequence of metric spaces has been established by the second author. We present a version of this result for locally integral currents in a sequence of pointed metric spaces. To this end we introduce another variant of the Ambrosio--Kirchheim theory of currents in metric spaces, including currents with finite mass in bounded sets. △ Less

Submitted 12 February, 2010; originally announced February 2010.

Comments: 24 pages

MSC Class: 49Q15; 53C23

Assouad-Nagata dimension of wreath products of groups

Authors: N. Brodskiy, J. Dydak, U. Lang

Abstract: Consider the wreath product $H\wr G$, where $H\ne 1$ is finite and $G$ is finitely generated. We show that the Assouad-Nagata dimension $\dim_{AN}(H\wr G)$ of $H\wr G$ depends on the growth of $G$ as follows: If the growth of $G$ is not bounded by a linear function, then $\dim_{AN}(H\wr G)=\infty$, otherwise $\dim_{AN}(H\wr G)=\dim_{AN}(G)\leq 1$. Consider the wreath product $H\wr G$, where $H\ne 1$ is finite and $G$ is finitely generated. We show that the Assouad-Nagata dimension $\dim_{AN}(H\wr G)$ of $H\wr G$ depends on the growth of $G$ as follows: If the growth of $G$ is not bounded by a linear function, then $\dim_{AN}(H\wr G)=\infty$, otherwise $\dim_{AN}(H\wr G)=\dim_{AN}(G)\leq 1$. △ Less

Submitted 19 November, 2006; v1 submitted 11 November, 2006; originally announced November 2006.

Comments: 11 pages, new references added

Nagata dimension, quasisymmetric embeddings, and Lipschitz extensions

Authors: Urs Lang, Thilo Schlichenmaier

Abstract: We discuss a variation of Gromov's notion of asymptotic dimension that was introduced and named Nagata dimension by Assouad. The Nagata dimension turns out to be a quasisymmetry invariant of metric spaces. The class of metric spaces with finite Nagata dimension includes in particular all doubling spaces, metric trees, euclidean buildings, and homogeneous or pinched negatively curved Hadamard man… ▽ More We discuss a variation of Gromov's notion of asymptotic dimension that was introduced and named Nagata dimension by Assouad. The Nagata dimension turns out to be a quasisymmetry invariant of metric spaces. The class of metric spaces with finite Nagata dimension includes in particular all doubling spaces, metric trees, euclidean buildings, and homogeneous or pinched negatively curved Hadamard manifolds. Among others, we prove a quasisymmetric embedding theorem for spaces with finite Nagata dimension in the spirit of theorems of Assouad and Dranishnikov, and we characterize absolute Lipschitz retracts of finite Nagata dimension. △ Less

Submitted 4 October, 2004; originally announced October 2004.