Pith. sign in

REVIEW 1 major objections 4 minor 1 cited by

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

T0 review · 1 major / 4 minor · reviewed 2026-08-09 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The paper proves that in a proper CAT(0) space, a Euclidean filling inequality for 2-spheres with constant below 1/(6√π) forces near-linear fillings and asymptotic rank at most two.

desk verdict First higher-dimensional sharp isoperimetric gap theorem; the proof hinges on one density lemma whose sketch is suspect but likely repairable via cited lemmas. read the letter →

arxiv 2502.03389 v1 pith:P6FNLWWR submitted 2025-02-05 math.MG math.DGmath.GR

Cornelia Druţu , Urs Lang , Panos Papasoglu , Stephan Stadler This is my paper · ORCID
classification math.MGmath.DGmath.GR MSC 53C2349Q0553C45
keywords CAT(0)spacesisoperimetricinequalitiesfillingvolumeasymptoticrankminimaltetrahedrasurfacesLipschitzspheresgaptheorem
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper establishes a sharp isoperimetric gap theorem in non-positive curvature, the first higher-dimensional analogue of the classical rank-one result. For a proper CAT(0) space, it shows that a Euclidean filling inequality for Lipschitz 2-spheres with any constant strictly below the sharp Euclidean threshold c3 = 1/(6√π) is equivalent to the existence of δ-isoperimetric inequalities with exponent 1+δ for every δ>0, and both are equivalent to the asymptotic rank being at most 2. A sympathetic reader should care because this connects a quantitative filling condition to a coarse geometric invariant, and it provides the first evidence that the sharp rank-one gap phenomenon persists in higher dimensions. The proof introduces minimal tetrahedra, a new class of Lipschitz spheres built from four minimal triangles, and proves that they satisfy a linear filling inequality. Along the way the paper supplies a Euclidean isoperimetric inequality for null-homotopies of 2-spheres in CAT(0) spaces, which it notes was missing from the literature.

What carries the argument

The key machinery is the minimal tetrahedron: a Lipschitz 2-sphere composed of four minimal triangles, where a minimal triangle is an area-minimizing Lipschitz disc filling a geodesic triangle. The load-bearing property is a density bound for minimal triangles, area(u($B^{2}$) ∩ B(x,r)) ≤ (3π/2)$r^{2}$, which forces the image of a minimal tetrahedron to have Nagata dimension at most 2 with an absolute constant. This dimension control, combined with a filling theorem for bounded-density cycles with controlled filling radius, gives the linear isoperimetric inequality for minimal tetrahedra. The proof of Theorem A then decomposes an arbitrary large 2-sphere into a controlled number of discs with small boundary length and area, deforms it into a piecewise-minimal sphere made of minimal tetrahedra, and fills each tetrahedron linearly.

What would settle it

A concrete test is to check whether any proper CAT(0) space of asymptotic rank 3, such as Euclidean $R^{3}$, admits a sequence of Lipschitz 2-spheres with large area that can be filled with volume at most c·area^(3/2) for some c < 1/(6√π); if such fillings existed, the equivalence (1)⇔(3) in Theorem A would be false. A more direct falsifier would be a minimal triangle in a CAT(0) space whose intersection with some ball has area exceeding (3π/2)$r^{2}$, which would violate Lemma 4.1 and break the linear inequality for minimal tetrahedra.

Watch

Extended reading notes

Core claim

The central discovery is Theorem A: for a proper CAT(0) space X, the following three conditions are equivalent: (1) there is a constant c < 1/(6√π) such that every Lipschitz 2-sphere of sufficiently large area can be filled by a Lipschitz 3-ball of volume at most c times area^(3/2); (2) for every δ > 0, every Lipschitz 2-sphere of any area can be filled with volume at most C(δ) times area^(1+δ); and (3) the asymptotic rank of X is at most 2. The proof that (3) implies (2) is the main challenge and rests on a new object, the minimal tetrahedron, a Lipschitz 2-sphere made of four minimal triangles spanning geodesic triangles. Theorem D states that in a proper CAT(0) space of asymptotic rank at most 2, every minimal tetrahedron satisfies a linear isoperimetric inequality, Fillvol(τ) ≤ μ·area(τ). This linear bound, combined with a quantitative triangulation of arbitrary spheres into controlled pieces, yields the near-linear filling inequality. The paper also proves the converse direction (1) ⇒ (3) in all dimensions with the sharp constant c_{n+1}, and derives Corollary B giving δ-isoperimetric inequalities for closed surfaces of any genus in rank-at-most-2 spaces.

Load-bearing premise

The argument depends on the density bound for minimal triangles, area(u($B^{2}$) ∩ B(x,r)) ≤ (3π/2)$r^{2}$, which comes from the structure theory of minimal surfaces; if that bound failed, the Nagata cover and the linear filling for minimal tetrahedra would not follow.

Editorial extensions

If this is right

  • If Theorem A is correct, every proper CAT(0) space with asymptotic rank at most 2 satisfies a δ-isoperimetric inequality for 2-spheres for every δ > 0, giving near-linear filling bounds in a wide class of non-positively curved spaces.
  • Corollary B extends the δ-isoperimetric inequality to all closed Lipschitz surfaces of any genus in rank-at-most-2 CAT(0) spaces, via Gromov's systolic inequality.
  • The implication (1) ⇒ (3) shows that a Euclidean filling inequality with a constant below the sharp Euclidean threshold rules out asymptotic rank larger than 2 in any dimension, generalizing the rank-one gap theorem.
  • The linear isoperimetric inequality for minimal tetrahedra provides a new finite unit that may be useful for studying filling problems in CAT(0) spaces of low rank.
  • The paper's Euclidean isoperimetric inequality for 2-spheres (Theorem C) fills a gap in the literature and holds for all CAT(0) spaces, independent of rank.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • One might expect the sharp threshold c3 = 1/(6√π) to govern homological fillings of general 2-cycles as well, not just Lipschitz sphere fillings, since the Euclidean plane and R^3 give the corresponding sharp constants.
  • The success of decomposing arbitrary spheres into minimal tetrahedra suggests that a similar strategy could be attempted for higher-dimensional spheres if canonical minimal building blocks with linear fillings can be constructed, although the paper notes the lack of nice subdivisions for n ≥ 2.
  • The paper's result could be tested computationally on explicit CAT(0) spaces such as products of trees or higher-rank symmetric spaces, where the asymptotic rank is known and filling bounds can be estimated numerically.
  • If the linear inequality for minimal tetrahedra could be strengthened to all fillings of 2-cycles, it would lead to genuine linear isoperimetric inequalities, resolving Gromov's conjecture in rank-2 CAT(0) spaces, but the authors state that a different strategy would be required.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

1 major / 4 minor

Summary. The paper proves a sharp isoperimetric gap theorem in dimension two for proper CAT(0) spaces. Theorem A states that a Euclidean filling inequality for Lipschitz 2-spheres with constant c < c_3 = 1/(6√π) for large areas is equivalent to a δ-isoperimetric inequality for every δ > 0, and to asymptotic rank at most 2. The proof introduces minimal tetrahedra and shows they satisfy a linear filling inequality (Theorem D), using a density bound for minimal triangles (Lemma 4.1), Nagata-dimension bounds, and a controlled-density filling theorem. The paper also proves a non-sharp Euclidean isoperimetric inequality for 2-spheres (Theorem C) and derives a genus version for closed surfaces (Corollary B).

Significance. If correct, this is the first higher-dimensional analogue of the sharp rank-one gap theorem and establishes near-linear fillings in rank-two CAT(0) spaces. The sharp constant c_3, the new minimal-tetrahedron technology, and the explicit use of Nagata dimension are strong contributions. The proof is not circular: the main theorem is derived from external results and independent lemmas, and no parameter is fitted to the desired inequality. However, the proof of the key density bound, Lemma 4.1, contains a gap that must be repaired; this is load-bearing for the central claim.

major comments (1)
  1. [Section 4, Lemma 4.1 (proof)] The proof of the density bound is not valid as written. The construction of X′ glues "a half-line to every vertex" of the geodesic triangle. In a nondegenerate triangle, the two sides incident at a vertex have different tangent directions, so a single half-line at that vertex can extend at most one of the two sides to a complete geodesic. Hence the assertion that every side s of △ is contained in a complete geodesic c_s intersecting X precisely in s does not follow from the described gluing. Since the subsequent area-growth computation lim_{r→∞} area(f(Ẑ)∩B(x,r))/(πr^2) = 3/2, and hence the inequality area(u(B^2)∩B(x,r)) ≤ (3π/2)r^2, depend on this extension, Lemma 4.1 is not established by the text. This lemma is load-bearing: it is used in Lemma 4.2 for the Nagata-dimension bound and in Theorem 4.3 for the linear filling inequality for minimal tetrahedra, which in turn is used in the proof of Theorem A (Theorem 7.3). The authors should either correct the construction (for example, attach two half-lines per vertex with the appropriate directions, or glue a Euclidean sector) or replace this sketch by a precise statement and proof reference for the degenerate-triangle case from [Sta21, Lemmata 78 and 79].
minor comments (4)
  1. [Throughout] There are several typographical slips, for example "isoperimetric inequalites" (Section 1.1), "the aymptotic rank" (Section 1.2), and "area(f )δ2" (Theorem 7.3) where the exponent δ^2 is intended.
  2. [Section 6, Proposition 6.5 proof] After choosing s_1 ∈ (s/2, s), the text says "by the coarea inequality, we can choose s such that length_φ(Π̂) ≤ 2 area(φ)/s"; the choice of s was fixed in the statement, so this should presumably refer to s_1.
  3. [Section 6, Lemma 6.1 proof] The symbol a is used both as the increment in the desired inequality and as λx in the proof, which makes the argument harder to follow; renaming one of the two variables would improve clarity.
  4. [Section 4, Lemma 4.2] The notation Z and Z′ for the maximal set and its subset clashes with the CAT(0) disc retract Z appearing in Lemma 4.1; using different letters would avoid confusion.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the derivation chain is self-contained and its author self-citations cite independent prior published results.

full rationale

The paper's main theorem derives an isoperimetric gap statement for CAT(0) spaces from the hypothesis of asymptotic rank at most 2, and conversely. No equation is assumed equal to its conclusion, and no fitted parameter is renamed as a prediction. The implication (1)⇒(3) is proved directly by a compactness/current argument in Proposition 7.1, not by invoking the target inequality. The implication (3)⇒(2) uses Theorem C (an independent Euclidean filling inequality), Lemma 6.2 and Proposition 6.5 (quantitative decompositions), and Theorem D. Theorem D's proof relies on Lemma 4.1, which imports a density bound for minimal discs from Stadler's published structure theory [Sta21], and on the controlled-density filling theorem of Goldhirsch–Lang [GL23]. These citations are author self-citations, but they are independent published theorems with stated proofs and hypotheses that do not include the target isoperimetric inequality; they are therefore real evidence under the stated rules and do not constitute circularity. The skeptic's concern about Lemma 4.1 — that the glueing construction of complete geodesics through the sides of a triangle may be incomplete — is a potential proof gap or correctness issue, not a circularity issue: the lemma does not assume its own conclusion, and the quoted construction is not a reformulation of the result being proved. Similarly, the use of the asymptotic-rank hypothesis in Theorem 2.9 is exactly the premise of the implication being proved, and using it as an input is legitimate rather than circular. No instance of self-definitional reasoning, fitted-input prediction, or renaming of a known result was found.

Assumptions & free parameters 0 free parameters · 7 assumptions · 0 invented entities

No empirical free parameters are fitted; the constants C, M, s are proof parameters chosen inside the argument, not inputs to the conclusion. The only new mathematical object, minimal tetrahedra, is explicitly constructed from Plateau solutions and its main property is proved. The result does inherit a set of heavy external theorems, most importantly the density bound from [Sta21] and the filling theorem from [GL23]; both are published with independent proofs, so this is reliance rather than circularity.

assumptions (7)
  • standard math Reshetnyak majorization for CAT(0) spaces: every closed curve is dominated by the boundary of a planar convex body, giving sharp curve-filling area <= length^2/(4 pi).
    Invoked in Proposition 3.1, Lemma 7.2, and Corollary B to fill curves by discs with the Euclidean isoperimetric constant; not proved in this paper.
  • standard math Plateau problem: in a proper CAT(0) space every closed rectifiable curve admits a Lipschitz area-minimizing disc with density monotonicity and a CAT(0) disc-retract factorization (Theorem 2.2, from Creutz, Lytchak-Wenger, Stadler).
    Supplies the minimal triangles and minimal tetrahedra used in Section 4 and their monotonicity of density ratios.
  • standard math Density bound for minimal triangles: a minimal disc spanning a geodesic triangle in a CAT(0) space has area in radius-r balls at most (3 pi/2) r^2 (Lemma 4.1, citing [Sta21, Prop. 80]).
    Drives Lemma 4.2's Assouad/Nagata dimension bound and therefore the linear filling of minimal tetrahedra; it is cited rather than derived from scratch.
  • standard math Goldhirsch-Lang controlled-density filling theorem [GL23, Theorem 2.9]: in a proper CAT(0) space of asymptotic rank at most 2, every 2-cycle with c-controlled density has a filling with linear mass and bounded filling radius.
    The rank hypothesis enters Theorem 4.3 through this result; the bounded filling radius s is the scale used for the Nagata cover.
  • standard math Coincidence of integral current homology and Lipschitz chain homology on locally conical complexes (Riedweg-Schappi, Mitsuishi).
    Used in Theorem 4.3 to convert current-theoretic null-homology of psi o f into a Lipschitz null-cobordism.
  • standard math Quantitative relation between Assouad and Nagata dimension [LDR15, Theorem 1.1]: Nagata dimension is at most Assouad dimension with a quantitative constant.
    Used in Lemma 4.2 to conclude Nagata dimension at most 2.
  • standard math Systolic inequality for closed surfaces (Gromov): every genus-g surface has a non-separating non-contractible curve of length at most sigma_g sqrt(area).
    Used in Corollary B to cut genus down by one with controlled curve length.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Minimal tetrahedra and an isoperimetric gap theorem in non-positive curvature." pith.science (2026). https://pith.science/paper/P6FNLWWR

@misc{pith2026250203389,
  author       = {Pith},
  title        = {Pith review of: Minimal tetrahedra and an isoperimetric gap theorem in non-positive curvature},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/P6FNLWWR}},
  note         = {Machine review of arXiv:2502.03389}
}
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\pi)$ -- 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{\pi})$, 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.

Figures

Figures reproduced from arXiv: 2502.03389 by the authors.

Figure 1
Figure 1. A polygonal resolution of a disc with two holes. Proof. We prove the statement by induction on k. For k = 1, choose an arc γ ⊂ Σ joining σ1 to σ0 with γ ∩ ∂Σ = ∂γ and lengthf (γ) < s. For ϵ > 0, apply Proposition 2.4 to the finite Lipschitz graph Γ1 = ∂Σ ∪ γ to obtain an ϵ-close piecewise geodesic graph P1 and a map F : S 2 → S 2 ϵ-close to the identity. We define β − to be the edge of P1 corresponding to γ, and Σ ′… view at source ↗
Figure 2
Figure 2. Example of a disc decomposition. 6. Improving 2-spheres This is a technical section that provides a tool needed in the proof of our main result. The setting we have in mind here is that we already know how to find fillings of small volume for all Lipschitz 2-spheres of area at most A > 0. Our aim is then to understand how to improve the intrinsic structure of a Lipschitz 2-sphere S of area only a little bit larger t… view at source ↗
Figure 3
Figure 3. Illustration of the decomposition process. Now we apply Corollary 5.2 with r = 2s to each of those discs. Thus, either lengthφ(∂Dl) < 2s and we set Ol := Dl , or lengthφ(∂Dl) ≥ 2s and we obtain a decomposition into discs Dl = O1l ∪ . . . ∪ Opl [PITH_FULL_IMAGE:figures/full_fig_p026_3.png] view at source ↗
Figures from the paper (1 more)
Figure 4
Figure 4. Figure 4: Decomposition of D. Hence, the Lipschitz 2-sphere σ formed by ϕ and ψ together with h has area(σ) ≤  a + 1 2 + 1 π  · t 2 < (a + 1) · t 2 as required. □ Now we are ready for the proof of the implication (3) ⇒ (2) in Theorem A. Theorem 7.3. Let X be a proper CAT(0) sp…

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Isoperimetric inequalities in Hadamard spaces of asymptotic rank two

    math.MG 2025-06 conditional novelty 7.0 of 10

    Every integral k-cycle with k≥2 in a CAT(0) space of asymptotic rank at most 2 and finite asymptotic Nagata dimension has a filling of mass at most C M(T)^{1+δ} for every δ>0.

Reference graph

Works this paper leans on

62 extracted references · 55 canonical work pages · cited by 1 Pith paper

  1. [1]

    Alberti, S

    G. Alberti, S. Bianchini, and G. Crippa. Structure of level sets and S ard-type properties of L ipschitz maps. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) , 12(4):863--902, 2013

    work page 2013

  2. [2]

    Ambrosio and B

    L. Ambrosio and B. Kirchheim. Currents in metric spaces. Acta Math. , 185(1):1--80, 2000

    work page 2000

  3. [3]

    Ballmann

    W. Ballmann. Lectures on spaces of nonpositive curvature , volume 25 of DMV Seminar . Birkh\"auser Verlag, Basel, 1995. With an appendix by Misha Brin

    work page 1995

  4. [4]

    Ballmann, M

    W. Ballmann, M. Gromov, and V. Schroeder. Manifolds of non-positive curvature , volume 61 of Progress in Math. Birkhauser, 1985

    work page 1985

  5. [5]

    Bridson and A

    M. Bridson and A. Haefliger. Metric spaces of non-positive curvature , volume 319 of Grundlehren der Mathematischen Wissenschaften . Springer-Verlag, Berlin, 1999

    work page 1999

  6. [6]

    B. H. Bowditch. A short proof that a subquadratic isoperimetric inequality implies a linear one. Michigan Math. J. , 42(1):103--107, 1995

    1995

  7. [7]

    Basso, S

    G. Basso, S. Wenger, and R. Young. Undistorted fillings in subsets of metric spaces. Adv. Math. , 423:Paper No. 109024, 54, 2023

    work page 2023

  8. [8]

    G. R. Chambers, D. Dotterrer, F. Manin, and S. Weinberger. Quantitative null-cobordism. J. Amer. Math. Soc. , 31(4):1165--1203, 2018. With an appendix by Manin and Weinberger

    work page 2018

Show all 62 references
  1. [9]

    Creutz and M

    P. Creutz and M. Romney. Triangulating metric surfaces. Proc. Lond. Math. Soc. (3) , 125(6):1426--1451, 2022

    2022

  2. [10]

    P. Creutz. Plateau's problem for singular curves. Comm. Anal. Geom. , 30(8):1779--1792, 2022

    2022

  3. [11]

    Descombes

    D. Descombes. Asymptotic rank of spaces with bicombings. Math. Z. , 284(3-4):947--960, 2016

    2016

  4. [12]

    C. Dru t u. C\^ones asymptotiques et invariants de quasi-isom\'etrie pour des espaces m\'etriques hyperboliques. Ann. Inst. Fourier (Grenoble) , 51(1):81--97, 2001

    2001

  5. [13]

    David B. A. Epstein, James W. Cannon, Derek F. Holt, Silvio V. F. Levy, Michael S. Paterson, and William P. Thurston. Word processing in groups . Jones and Bartlett Publishers, Boston, MA, 1992

    1992

  6. [14]

    Goldhirsch and U

    T. Goldhirsch and U. Lang. Characterizations of higher rank hyperbolicity. Math. Z. , 305(1):Paper No. 13, 26, 2023

    2023

  7. [15]

    Goldhirsch

    T. Goldhirsch. Lipschitz chain approximation of metric integral currents. Anal. Geom. Metr. Spaces , 10(1):40--49, 2022

    2022

  8. [16]

    M. Gromov. Groups of polynomial growth and expanding maps. Inst. Hautes \'Etudes Sci. Publ. Math. , 53:53--73, 1981

    1981

  9. [17]

    M. Gromov. Filling R iemannian manifolds. J. Differential Geom. , 18(1):1--147, 1983

    1983

  10. [18]

    M. Gromov. Hyperbolic groups. In Essays in group theory , volume 8 of Math. Sci. Res. Inst. Publ. , pages 75--263. Springer, New York, 1987

    1987

  11. [19]

    M. Gromov. Asymptotic invariants of infinite groups. In Geometric group theory, V ol. 2 ( S ussex, 1991) , volume 182 of London Math. Soc. Lecture Note Ser. , pages 1--295. Cambridge Univ. Press, Cambridge, 1993

    1991

  12. [20]

    M. Gromov. Systoles and intersystolic inequalities. In Actes de la T able R onde de G \'eom\'etrie D iff\'erentielle ( L uminy, 1992) , volume 1 of S\'emin. Congr. , pages 291--362. Soc. Math. France, Paris, 1996

    1992

  13. [21]

    M. Gromov. Metric structures for R iemannian and non- R iemannian spaces , volume 152 of Progress in Mathematics . Birkh\"auser Boston, Inc., Boston, MA, 1999. Based on the 1981 French original [MR0682063 (85e:53051)], With appendices by M.\ Katz, P.\ Pansu and S.\ Semmes, Tra...

    1999

  14. [22]

    M. Gromov. Quantitative homotopy theory. In Prospects in mathematics ( P rinceton, NJ , 1996) , pages 45--49. Amer. Math. Soc., Providence, RI, 1999

    1996

  15. [23]

    Heinonen

    J. Heinonen. Lectures on analysis on metric spaces . Universitext. Springer-Verlag, New York, 2001

    2001

  16. [24]

    Isleifsson

    H. Isleifsson. Linear isoperimetric inequality for homogeneous hadamard manifolds. J. Topol. Anal. , 2023

    2023

  17. [25]

    Kirchheim

    B. Kirchheim. Rectifiable metric spaces: local structure and regularity of the H ausdorff measure. Proc. Amer. Math. Soc. , 121(1):113--123, 1994

    1994

  18. [26]

    Kleiner and U

    B. Kleiner and U. Lang. Higher rank hyperbolicity. Invent. Math. , 221(2):597--664, 2020

    2020

  19. [27]

    B. Kleiner. The local structure of spaces with curvature bounded above. Math. Z. , 231:409--456, 1999

    1999

  20. [28]

    Korevaar and R

    N. Korevaar and R. Schoen. Sobolev spaces and harmonic maps for metric space targets. Comm. Anal. Geom. , 1(3-4):561--659, 1993

    1993

  21. [29]

    U. Lang. Higher-dimensional linear isoperimetric inequalities in hyperbolic groups. Internat. Math. Res. Notices , (13):709--717, 2000

    2000

  22. [30]

    U. Lang. Local currents in metric spaces. J. Geom. Anal. , 21(3):683--742, 2011

    2011

  23. [31]

    Le Donne and T

    E. Le Donne and T. Rajala. Assouad dimension, N agata dimension, and uniformly close metric tangents. Indiana Univ. Math. J. , 64(1):21--54, 2015

    2015

  24. [32]

    Leuzinger

    E. Leuzinger. Optimal higher-dimensional D ehn functions for some CAT(0) lattices. Groups Geom. Dyn. , 8(2):441--466, 2014

    2014

  25. [33]

    Lang and V

    U. Lang and V. Schroeder. Kirszbraun's theorem and metric spaces of bounded curvature. Geom. Funct. Anal. , 7(3):535--560, 1997

    1997

  26. [34]

    Lang and T

    U. Lang and T. Schlichenmaier. Nagata dimension, quasisymmetric embeddings, and L ipschitz extensions. Int. Math. Res. Not. , (58):3625--3655, 2005

    2005

  27. [35]

    Lytchak and S

    A. Lytchak and S. Stadler. Curvature bounds of subsets in dimension two. J. Differential Geom. , 127(3):1245--1265, 2024

    2024

  28. [36]

    Lytchak and S

    A. Lytchak and S. Wenger. Area minimizing discs in metric spaces. Arch. Ration. Mech. Anal. , 223(3):1123--1182, 2017

    2017

  29. [37]

    Lytchak and S

    A. Lytchak and S. Wenger. Intrinsic structure of minimal discs in metric spaces. Geom. Topol. , 22(1):591--644, 2018

    2018

  30. [38]

    Lytchak and S

    A. Lytchak and S. Wenger. Isoperimetric characterization of upper curvature bounds. Acta Math. , 221(1):159--202, 2018

    2018

  31. [39]

    Lytchak and S

    A. Lytchak and S. Wagner. Curvature bounds on length-minimizing discs. Geom. Dedicata , 218(2):Paper No. 49, 21, 2024

    2024

  32. [40]

    Lytchak, S

    A. Lytchak, S. Wenger, and R. Young. Dehn functions and H \"older extensions in asymptotic cones. J. Reine Angew. Math. , 763:79--109, 2020

    2020

  33. [41]

    Mitsuishi

    A. Mitsuishi. The coincidence of the homologies of integral currents and of integral singular chains, via cosheaves. Math. Z. , 292(3-4):1069--1103, 2019

    2019

  34. [42]

    Manin and S

    F. Manin and S. Weinberger. Quantitative pl bordism. arXiv:2311.16389 , 2023

    2023 arXiv

  35. [43]

    Ntalampekos and M

    D. Ntalampekos and M. Romney. Polyhedral approximation of metric surfaces and applications to uniformization. Duke Math. J. , 172(9):1673--1734, 2023

    2023

  36. [44]

    A. Yu. Ol ' shanski i . Hyperbolicity of groups with subquadratic isoperimetric inequality. Internat. J. Algebra Comput. , 1(3):281--289, 1991

    1991

  37. [45]

    Papasoglu

    P. Papasoglu. On the sub-quadratic isoperimetric inequality. In Geometric group theory ( C olumbus, OH , 1992) , volume 3 of Ohio State Univ. Math. Res. Inst. Publ. , pages 149--157. de Gruyter, Berlin, 1995

    1992

  38. [46]

    Papasoglu

    P. Papasoglu. Strongly geodesically automatic groups are hyperbolic. Invent. Math. , 121(2):323--334, 1995

    1995

  39. [47]

    Papasoglu

    P. Papasoglu. On the asymptotic cone of groups satisfying a quadratic isoperimetric inequality. J. Differential Geom. , 44(4):789--806, 1996

    1996

  40. [48]

    Papasoglu

    P. Papasoglu. Cheeger constants of surfaces and isoperimetric inequalities. Trans. Amer. Math. Soc. , 361(10):5139--5162, 2009

    2009

  41. [49]

    Petrunin and S

    A. Petrunin and S. Stadler. Metric-minimizing surfaces revisited. Geom. Topol. , 23(6):3111--3139, 2019

    2019

  42. [50]

    Ju. G. Re s etnjak. Non-expansive maps in a space of curvature no greater than K . Sibirsk. Mat. Z. , 9:918--927, 1968

    1968

  43. [51]

    Riedweg and D

    C. Riedweg and D. Sch\"appi. Singular ( L ipschitz) homology and homology of integral currents. arXiv:0902.3831 , 2009

    2009 arXiv

  44. [52]

    F. Schulze. Optimal isoperimetric inequalities for surfaces in any codimension in C artan- H adamard manifolds. Geom. Funct. Anal. , 30(1):255--288, 2020

    2020

  45. [53]

    S. Stadler. The structure of minimal surfaces in CAT (0) spaces. J. Eur. Math. Soc. (JEMS) , 23(11):3521--3554, 2021

    2021

  46. [54]

    Stadler and S

    S. Stadler and S. Wenger. Isoperimetric inequalities vs. upper curvature bounds. arXiv:2309.11329, to appear in Geom. Topol. , 2024

    2024 arXiv

  47. [55]

    P. Tukia. The planar S ch\"onflies theorem for L ipschitz maps. Ann. Acad. Sci. Fenn. Ser. A I Math. , 5(1):49--72, 1980

    1980

  48. [56]

    S. Wenger. Isoperimetric inequalities of E uclidean type in metric spaces. Geom. Funct. Anal. , 15(2):534--554, 2005

    2005

  49. [57]

    S. Wenger. Filling invariants at infinity and the E uclidean rank of H adamard spaces. Int. Math. Res. Not. , pages Art. ID 83090, 33, 2006

    2006

  50. [58]

    S. Wenger. Gromov hyperbolic spaces and the sharp isoperimetric constant. Invent. Math. , 171(1):227--255, 2008

    2008

  51. [59]

    S. Wenger. A short proof of G romov's filling inequality. Proc. Amer. Math. Soc. , 136(8):2937--2941, 2008

    2008

  52. [60]

    S. Wenger. The asymptotic rank of metric spaces. Comment. Math. Helv. , 86(2):247--275, 2011

    2011

  53. [61]

    B. White. Existence of least-area mappings of N -dimensional domains. Ann. of Math. (2) , 118(1):179--185, 1983

    1983

  54. [62]

    B. White. Mappings that minimize area in their homotopy classes. J. Differential Geom. , 20(2):433--446, 1984

    1984

Pith tools

Reviewed August 9, 2026 · model on record in the stance chip above.