A note on the equivalence of Gromov boundary and metric boundary

Abhishek Pandey; Vasudevarao Allu

arxiv: 2405.10273 · v3 · submitted 2024-05-16 · 🧮 math.MG · math.CV

A note on the equivalence of Gromov boundary and metric boundary

Vasudevarao Allu , Abhishek Pandey This is my paper

Pith reviewed 2026-05-24 01:27 UTC · model grok-4.3

classification 🧮 math.MG math.CV

keywords Gromov boundarymetric boundaryquasihyperbolically visible spacesboundary equivalencemetric geometry

0 comments

The pith

Quasihyperbolically visible spaces are introduced so the Gromov boundary and metric boundary coincide.

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

The paper defines a new class called quasihyperbolically visible spaces. It then proves that inside this class the Gromov boundary and the metric boundary are the same set with the same topology. A reader would care because both constructions are used to add points at infinity to metric spaces, and their agreement removes the need to choose which one to work with when studying compactness or convergence at large scales.

Core claim

The paper defines quasihyperbolically visible spaces and shows that this definition is precisely what is required for the Gromov boundary to equal the metric boundary.

What carries the argument

Quasihyperbolically visible spaces, the definition that forces the two boundaries to agree.

If this is right

Any topological or metric property proved for one boundary immediately holds for the other inside these spaces.
Compactifications built from either construction become interchangeable.
Results about boundary behavior in hyperbolic spaces extend directly to the new class.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same visibility condition might be checked in other boundary theories such as the visual boundary to obtain further identifications.
Examples already known to be hyperbolic could be re-examined to see whether they satisfy the new visibility axiom automatically.

Load-bearing premise

The definition of quasihyperbolically visible spaces supplies exactly the conditions needed for the two boundaries to coincide.

What would settle it

Exhibit a metric space that meets the quasihyperbolic visibility axioms yet has a point in one boundary that is not in the other, or vice versa.

read the original abstract

In this paper, we introduce the concept of quasihyperbolically visible spaces. As a tool, we study the connection between the Gromov boundary and the metric boundary.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This note defines quasihyperbolically visible spaces so that the Gromov boundary and metric boundary coincide there, but the result is only as useful as that new class turns out to be.

read the letter

The main point is that the authors introduce quasihyperbolically visible spaces and establish that the Gromov boundary and the metric boundary are equivalent on that class. The abstract frames the new definition as the tool that makes the equivalence work. That is the actual new piece here. Prior work on these two boundaries exists, so the contribution is the visibility condition that forces them to match. If the condition captures spaces that already matter for other reasons, the note could serve as a reference for when the two constructions agree. The paper does well by keeping the claim narrow instead of asserting the equivalence in a larger, already-studied family of spaces. It also avoids overclaiming by presenting the result as a targeted equivalence rather than a general theorem. The soft spots are straightforward. The definition appears constructed precisely to deliver the equivalence, which is common in short notes but makes the result depend on whether the class is natural or merely convenient. Without the full definitions, lemmas, or examples it is impossible to judge how restrictive the visibility condition is or whether the proofs contain any non-obvious steps. The abstract alone gives no indication of applications or concrete spaces that satisfy the condition beyond the equivalence itself. This paper is aimed at specialists in metric geometry who already track different boundary constructions. A reader who needs a condition under which the Gromov and metric boundaries agree might find the note worth checking once the full text is available. Most others will not need it. The work deserves peer review because the claim is clearly stated, the new object is explicitly introduced, and referees can verify whether the visibility condition is well-motivated and whether the proofs hold. A short note like this is easy to assess once the details are in front of the reader.

Referee Report

0 major / 2 minor

Summary. The manuscript introduces the new notion of quasihyperbolically visible spaces and proves that the Gromov boundary coincides with the metric boundary precisely on this class.

Significance. If correct, the note supplies a sufficient condition (quasihyperbolic visibility) under which two standard boundary constructions agree. This is a modest but cleanly stated contribution to the literature on boundaries of metric spaces; its value will depend on whether the new class contains interesting examples beyond the obvious ones and whether the visibility condition can be verified in practice.

minor comments (2)

[Abstract] The abstract is essentially a single sentence; expanding it to state the precise equivalence theorem (including the definition of quasihyperbolic visibility) would improve readability for readers scanning the note.
No examples are mentioned in the provided description; adding at least one concrete space (e.g., a hyperbolic space or a specific graph) that satisfies the visibility condition would help readers assess the scope of the result.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their review and recommendation of minor revision. The report provides a concise summary of the contribution but does not list any specific major comments requiring point-by-point response.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper introduces the new notion of quasihyperbolically visible spaces and then proves that the Gromov and metric boundaries coincide precisely on this class. This is a standard definitional equivalence result: the visibility condition is defined so that the two boundaries match, and the proof proceeds from that definition without reducing any claimed prediction or uniqueness statement back to a fitted parameter or prior self-citation. No load-bearing self-citations, ansatzes smuggled via citation, or renamings of known results appear; the derivation is self-contained within the newly introduced framework.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 1 invented entities

The central contribution rests on the newly introduced class of quasihyperbolically visible spaces, which functions as an invented entity whose independent evidence outside the paper is not indicated in the abstract.

invented entities (1)

quasihyperbolically visible spaces no independent evidence
purpose: A class of metric spaces in which the Gromov boundary and metric boundary coincide
Newly defined in the paper; no external validation or prior existence is mentioned.

pith-pipeline@v0.9.0 · 5539 in / 986 out tokens · 35561 ms · 2026-05-24T01:27:59.498172+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

26 extracted references · 26 canonical work pages

[1]

Allu and A

V. Allu and A. Pandey , Visible quasihyperbolic geodesics, arXiv:2306.03815v3

work page arXiv
[2]

Ambrosio , Metric space valued functions of bounded variation, Ann

L. Ambrosio , Metric space valued functions of bounded variation, Ann. Sc. Norm. Sup. Pisa , 17 (1990), 439--478

work page 1990
[3]

urich, Birkh\

L. Ambrosio , N. Gigli , and G. Savar\'e , Gradient Flows in Metric Spaces and in the Space of Probability Measures , Lectures in Mathematics ETH Z\"urich, Birkh\"auser, Basel, 2008

work page 2008
[4]

Ambrosio and B

L. Ambrosio and B. Kirchheim , Rectifiable sets in metric and Banach spaces, Math. Ann. 318 (2000), 527--555

work page 2000
[5]

Z. M. Balogh and S. M. Buckley , Geometric characterizations of Gromov hyperbolicity, Invt. Math. 153 (2003), 261--301

work page 2003
[6]

Bharali and A

G. Bharali and A. Maitra , A weak notion of visibility, a family of examples, and Wolff--Denjoy theorems, Ann. Sc. Norm. Super. Pisa Cl. Sci. 22 (2021), 195--240

work page 2021
[7]

Bharali and A

G. Bharali and A. Zimmer , Goldilocks domains, a weak notion of visibility, and applications, Adv. Math. 310 (2017), 377--425

work page 2017
[8]

Bonk , J

M. Bonk , J. Heinonen and P. Koskela , Uniformizing Gromov hyperbolic spaces, Ast\'erisque 270 (2001), 107 pp

work page 2001
[9]

Bracci , Nikolai Nikolov and P

F. Bracci , Nikolai Nikolov and P. J. Thomas , Visibility of Kobayashi geodesics in convex domains and related properties, Math. Z. 301 (2022), 2011--2035

work page 2022
[10]

M. R. Bridson and A. Haefliger , Metric Spaces of Non-Positive Curvature , Grundlehren der mathematischen Wissenschaften, vol. 319, Springer-Verlag, Berlin, 1999

work page 1999
[11]

Eberlein and B

P. Eberlein and B. O'Neill , Visibility manifolds, Pacific J. Math. 46 (1973), 45--109

work page 1973
[12]

F. W. Gehring and O. Martio , Lipschitz classes and quasiconformal mappings, Ann. Acad. Sci. Fenn. Ser. A I Math. 10 (1985), 203--219

work page 1985
[13]

F. W. Gehring and B. P. Palka , Quasiconformally Homogeneous Domains, J. Anal. Math. 30 (1976), 172--199

work page 1976
[14]

F. W. Gehring and B. G. Osgood , Uniform domains and the Quasi-Hyperbolic Metric, J. Anal. Math. 36 (1979), 50--74

work page 1979
[15]

Ghys and P

\'E. Ghys and P. De La Harpe , Sur les groupes hyperboliques d'apres Mikhael Gromov, Progress in Mathematics 83 , Birkh\"auser , Boston, 1990

work page 1990
[16]

D. A. Herron , N. Shanmugalingam and X. Xie , Uniformity from Gromov hyperbolicity, Illinois J. Math. 52 (2008), 1065--1109

work page 2008
[17]

Hencl and P

S. Hencl and P. Koskela , Quasihyperbolic boundary conditions and capacity: uniform continuity of quasiconformal mappings, J. Anal. Math. 96 (2005), 19--35

work page 2005
[18]

Koskela , P

P. Koskela , P. Lammi , Gehring-Hayman theorem for conformal deformations, Comment. Math. Helv. 88 (2013), 185--203

work page 2013
[19]

Koskela , P

P. Koskela , P. Lammi and V. Manojlovi\'c , Gromov hyperbolicity and quasihyperbolic geodesics, Ann. Sci. \'Ec. Norm. Sup\'er. 47 (2014), 975--990

work page 2014
[20]

Koskela , J

P. Koskela , J. Onninen and J. T. Tyson , Quasihyperbolic boundary conditions and capacity: H\"older continuity of quasiconformal mappings, Comment. Math. Helv. 76 (2001), 416--435

work page 2001
[21]

Koskela , J

P. Koskela , J. Onninen and J. T. Tyson , Quasihyperbolic boundary conditions and Poincar\'e domains, Math. Ann. 323 (2002), 811--830

work page 2002
[22]

Lammi , Quasihyperbolic boundary condition: compactness of the inner boundary, Illinois J

P. Lammi , Quasihyperbolic boundary condition: compactness of the inner boundary, Illinois J. Math. 55 (2011), 1221--1233

work page 2011
[23]

askyl\"an yliopisto Report/University of Jyv\

P. Lammi , Homeomorphic equivalence of Gromov and internal boundaries [Doctoral dissertation], Jyv\"askyl\"an yliopisto Report/University of Jyv\"askyl\"a, Department of Mathematics and Statistics , 128, 2011. http://urn.fi/URN:ISBN:978-951-39-8851-7

work page 2011
[24]

ais\"al\

J. V\"ais\"al\"a , Hyperbolic and Uniform domains in Banach spaces, Ann. Acad. Sci. Fenn. 30 (2005), 261--302

work page 2005
[25]

Zhou , Y

Q. Zhou , Y. Li and X. Li , Sphericalizations and applications in Gromov hyperbolic spaces, J. Math. Anal. Appl. 509 , (2022) 125948

work page 2022
[26]

Zhou , L

Q. Zhou , L. Li , and A. Rasila , Generalized John Gromov hyperbolic domains and extensions of maps, Math. Scand. 127 (2021), 10.7146/math.scand.a-128968

work page doi:10.7146/math.scand.a-128968 2021

[1] [1]

Allu and A

V. Allu and A. Pandey , Visible quasihyperbolic geodesics, arXiv:2306.03815v3

work page arXiv

[2] [2]

Ambrosio , Metric space valued functions of bounded variation, Ann

L. Ambrosio , Metric space valued functions of bounded variation, Ann. Sc. Norm. Sup. Pisa , 17 (1990), 439--478

work page 1990

[3] [3]

urich, Birkh\

L. Ambrosio , N. Gigli , and G. Savar\'e , Gradient Flows in Metric Spaces and in the Space of Probability Measures , Lectures in Mathematics ETH Z\"urich, Birkh\"auser, Basel, 2008

work page 2008

[4] [4]

Ambrosio and B

L. Ambrosio and B. Kirchheim , Rectifiable sets in metric and Banach spaces, Math. Ann. 318 (2000), 527--555

work page 2000

[5] [5]

Z. M. Balogh and S. M. Buckley , Geometric characterizations of Gromov hyperbolicity, Invt. Math. 153 (2003), 261--301

work page 2003

[6] [6]

Bharali and A

G. Bharali and A. Maitra , A weak notion of visibility, a family of examples, and Wolff--Denjoy theorems, Ann. Sc. Norm. Super. Pisa Cl. Sci. 22 (2021), 195--240

work page 2021

[7] [7]

Bharali and A

G. Bharali and A. Zimmer , Goldilocks domains, a weak notion of visibility, and applications, Adv. Math. 310 (2017), 377--425

work page 2017

[8] [8]

Bonk , J

M. Bonk , J. Heinonen and P. Koskela , Uniformizing Gromov hyperbolic spaces, Ast\'erisque 270 (2001), 107 pp

work page 2001

[9] [9]

Bracci , Nikolai Nikolov and P

F. Bracci , Nikolai Nikolov and P. J. Thomas , Visibility of Kobayashi geodesics in convex domains and related properties, Math. Z. 301 (2022), 2011--2035

work page 2022

[10] [10]

M. R. Bridson and A. Haefliger , Metric Spaces of Non-Positive Curvature , Grundlehren der mathematischen Wissenschaften, vol. 319, Springer-Verlag, Berlin, 1999

work page 1999

[11] [11]

Eberlein and B

P. Eberlein and B. O'Neill , Visibility manifolds, Pacific J. Math. 46 (1973), 45--109

work page 1973

[12] [12]

F. W. Gehring and O. Martio , Lipschitz classes and quasiconformal mappings, Ann. Acad. Sci. Fenn. Ser. A I Math. 10 (1985), 203--219

work page 1985

[13] [13]

F. W. Gehring and B. P. Palka , Quasiconformally Homogeneous Domains, J. Anal. Math. 30 (1976), 172--199

work page 1976

[14] [14]

F. W. Gehring and B. G. Osgood , Uniform domains and the Quasi-Hyperbolic Metric, J. Anal. Math. 36 (1979), 50--74

work page 1979

[15] [15]

Ghys and P

\'E. Ghys and P. De La Harpe , Sur les groupes hyperboliques d'apres Mikhael Gromov, Progress in Mathematics 83 , Birkh\"auser , Boston, 1990

work page 1990

[16] [16]

D. A. Herron , N. Shanmugalingam and X. Xie , Uniformity from Gromov hyperbolicity, Illinois J. Math. 52 (2008), 1065--1109

work page 2008

[17] [17]

Hencl and P

S. Hencl and P. Koskela , Quasihyperbolic boundary conditions and capacity: uniform continuity of quasiconformal mappings, J. Anal. Math. 96 (2005), 19--35

work page 2005

[18] [18]

Koskela , P

P. Koskela , P. Lammi , Gehring-Hayman theorem for conformal deformations, Comment. Math. Helv. 88 (2013), 185--203

work page 2013

[19] [19]

Koskela , P

P. Koskela , P. Lammi and V. Manojlovi\'c , Gromov hyperbolicity and quasihyperbolic geodesics, Ann. Sci. \'Ec. Norm. Sup\'er. 47 (2014), 975--990

work page 2014

[20] [20]

Koskela , J

P. Koskela , J. Onninen and J. T. Tyson , Quasihyperbolic boundary conditions and capacity: H\"older continuity of quasiconformal mappings, Comment. Math. Helv. 76 (2001), 416--435

work page 2001

[21] [21]

Koskela , J

P. Koskela , J. Onninen and J. T. Tyson , Quasihyperbolic boundary conditions and Poincar\'e domains, Math. Ann. 323 (2002), 811--830

work page 2002

[22] [22]

Lammi , Quasihyperbolic boundary condition: compactness of the inner boundary, Illinois J

P. Lammi , Quasihyperbolic boundary condition: compactness of the inner boundary, Illinois J. Math. 55 (2011), 1221--1233

work page 2011

[23] [23]

askyl\"an yliopisto Report/University of Jyv\

P. Lammi , Homeomorphic equivalence of Gromov and internal boundaries [Doctoral dissertation], Jyv\"askyl\"an yliopisto Report/University of Jyv\"askyl\"a, Department of Mathematics and Statistics , 128, 2011. http://urn.fi/URN:ISBN:978-951-39-8851-7

work page 2011

[24] [24]

ais\"al\

J. V\"ais\"al\"a , Hyperbolic and Uniform domains in Banach spaces, Ann. Acad. Sci. Fenn. 30 (2005), 261--302

work page 2005

[25] [25]

Zhou , Y

Q. Zhou , Y. Li and X. Li , Sphericalizations and applications in Gromov hyperbolic spaces, J. Math. Anal. Appl. 509 , (2022) 125948

work page 2022

[26] [26]

Zhou , L

Q. Zhou , L. Li , and A. Rasila , Generalized John Gromov hyperbolic domains and extensions of maps, Math. Scand. 127 (2021), 10.7146/math.scand.a-128968

work page doi:10.7146/math.scand.a-128968 2021