Coarse Homotopy on metric Spaces and their Corona

Elisa Hartmann

arxiv: 1907.03510 · v1 · pith:OSXCZG32new · submitted 2019-07-08 · 🧮 math.MG · math.AT

Coarse Homotopy on metric Spaces and their Corona

Elisa Hartmann This is my paper

Pith reviewed 2026-05-25 00:49 UTC · model grok-4.3

classification 🧮 math.MG math.AT

keywords Higson coronacoarse ultrafilterscorona functorKünneth formulaGromov boundarycoarse cohomologyproper metric spaces

0 comments

The pith

The Higson corona of a proper metric space arises as a quotient of coarse ultrafilters, proving the corona functor faithful.

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

The paper defines the Higson corona through a quotient construction applied to coarse ultrafilters on proper metric spaces. This description is then used to establish that the corona functor is faithful. The same approach yields a Künneth formula for twisted coarse cohomology and shows that the Gromov boundary of a hyperbolic proper geodesic metric space is a quotient of its Higson corona.

Core claim

The Higson corona equals the quotient space obtained from the set of coarse ultrafilters on a proper metric space. With this identification the corona functor from proper metric spaces to topological spaces is faithful. The construction also supplies a Künneth formula for twisted coarse cohomology and realizes the Gromov boundary of any hyperbolic proper geodesic metric space as a quotient of the corresponding Higson corona.

What carries the argument

The quotient construction on coarse ultrafilters that defines the Higson corona.

If this is right

The corona functor distinguishes non-coarsely-equivalent proper metric spaces.
Twisted coarse cohomology groups satisfy a Künneth formula.
The Gromov boundary of any hyperbolic proper geodesic metric space is recovered directly from its Higson corona.

Where Pith is reading between the lines

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

The ultrafilter quotient may simplify explicit calculations of the Higson corona for concrete spaces.
The faithfulness result connects coarse homotopy theory directly to topological properties of the corona.
The same quotient technique could be tested on other coarse compactifications or boundaries.

Load-bearing premise

The underlying space must be a proper metric space, so that all closed balls are compact.

What would settle it

An explicit pair of proper metric spaces that are not coarsely equivalent yet induce the same Higson corona would falsify the claim that the corona functor is faithful.

read the original abstract

This paper discusses properties of the Higson corona by means of a quotient on coarse ultrafilters on a proper metric space. We use this description to show that the corona functor is faithful. This study provides a K\"unneth formula for twisted coarse cohomology. We obtain the Gromov boundary of a hyperbolic proper geodesic metric space as a quotient of its Higson corona.

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

The paper gives a coarse ultrafilter quotient description of the Higson corona on proper metric spaces and uses it for faithfulness, a Künneth formula, and recovering the Gromov boundary.

read the letter

The core new piece is the description of the Higson corona via a quotient of coarse ultrafilters. The authors then use that description to prove the corona functor is faithful, supply a Künneth formula for twisted coarse cohomology, and recover the Gromov boundary of a hyperbolic proper geodesic space as a quotient of its Higson corona. These are concrete technical steps that tie together ultrafilters, functoriality, and boundary constructions in one framework. The work sits squarely in coarse geometry and gives explicit tools that specialists can check or apply to other invariants. The assumptions are the usual ones for the area—proper metric spaces—and nothing in the stated results looks circular or self-referential. The claims follow from the new description rather than from fitted parameters. The main limitation is that the abstract alone does not show the proof details or the precise definitions of the ultrafilter quotient and the twisted cohomology, so the actual strength of the arguments cannot be verified from the summary. This paper is written for people already working with coarse cohomology, coronas, or boundaries of metric spaces. A reader who needs new computational or functorial handles on these objects will get direct value from the constructions. It is narrow enough that it will not interest a broad audience, but the results are stated sharply enough that a serious referee could evaluate them without extra context. I would send it to peer review.

Referee Report

1 major / 0 minor

Summary. The paper introduces a quotient description of the Higson corona of a proper metric space in terms of coarse ultrafilters. It employs this description to establish faithfulness of the corona functor, derives a Künneth formula for twisted coarse cohomology, and identifies the Gromov boundary of a hyperbolic proper geodesic metric space as a quotient of its Higson corona.

Significance. If the constructions and proofs hold, the results would supply new functorial and cohomological tools in coarse geometry, clarifying relationships between ultrafilter quotients, Higson coronas, and Gromov boundaries while enabling computations via the Künneth formula.

major comments (1)

The abstract asserts multiple theorems (faithful corona functor, Künneth formula, Gromov boundary quotient) but the provided text contains no definitions of coarse ultrafilters, no explicit quotient construction, and no proof sketches or verification steps for any claim; this prevents assessment of whether the central results are supported.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their report. We respond to the major comment as follows.

read point-by-point responses

Referee: The abstract asserts multiple theorems (faithful corona functor, Künneth formula, Gromov boundary quotient) but the provided text contains no definitions of coarse ultrafilters, no explicit quotient construction, and no proof sketches or verification steps for any claim; this prevents assessment of whether the central results are supported.

Authors: We agree that the version of the text provided to the referee does not include these elements. This appears to be an oversight in the submission. In the revised manuscript, we will add the definition of coarse ultrafilters, detail the quotient construction, and include proof sketches or outlines for the faithfulness of the corona functor, the Künneth formula, and the identification of the Gromov boundary as a quotient of the Higson corona. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivations appear self-contained from new ultrafilter quotient description

full rationale

The paper defines the Higson corona via a quotient construction on coarse ultrafilters for proper metric spaces, then applies this description to prove faithfulness of the corona functor, derive a Künneth formula for twisted coarse cohomology, and obtain the Gromov boundary as a quotient. These steps are presented as consequences of the introduced construction rather than reductions to prior fitted parameters, self-definitions, or load-bearing self-citations. No equations or claims in the abstract reduce the target results to the inputs by construction, and the work is stated for proper metric spaces without invoking uniqueness theorems or ansatzes from overlapping prior work in a circular manner. The central claims therefore retain independent content from the new description.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only abstract available; no explicit free parameters, invented entities, or detailed axioms listed. Results rest on standard proper metric space setting.

axioms (1)

domain assumption The metric space under consideration is proper (closed balls are compact).
Explicitly stated as the setting for the ultrafilter description, faithfulness, Künneth formula, and Gromov boundary result.

pith-pipeline@v0.9.0 · 5564 in / 1153 out tokens · 45397 ms · 2026-05-25T00:49:33.081617+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

22 extracted references · 22 canonical work pages · 2 internal anchors

[1]

Normal ball structures,

I. V. Protasov, “Normal ball structures,” Mat. Stud. 20 no. 1, (2003) 3–16. 16 REFERENCES Elisa Hartmann

work page 2003
[2]

Coronas of balleans,

I. V. Protasov, “Coronas of balleans,” Topology Appl. 149 no. 1-3, (2005) 149–160. https://doi.org/10.1016/j.topol.2004.09.005

work page doi:10.1016/j.topol.2004.09.005 2005
[3]

Coronas of ultrametric spaces,

I. V. Protasov, “Coronas of ultrametric spaces,” Comment. Math. Univ. Carolin. 52 no. 2, (2011) 303–307

work page 2011
[4]

On character of p oints in the Higson corona of a metric space,

T. Banakh, O. Chervak, and L. Zdomskyy, “On character of p oints in the Higson corona of a metric space,” Comment. Math. Univ. Carolin. 54 no. 2, (2013) 159–178

work page 2013
[5]

Ultraﬁlters on ba lleans,

I. V. Protasov and S. V. Slobodianiuk, “Ultraﬁlters on ba lleans,” Ukraïn. Mat. Zh. 67 no. 12, (2015) 1698–1706. https://doi.org/10.1007/s11253-016-1200-y . Reprinted in Ukrainian Math. J. 67 (2016), no. 12, 1922–1931

work page doi:10.1007/s11253-016-1200-y 2015
[6]

Boundaries of coarse pro ximity spaces and boundaries of compactiﬁcations,

P. Grzegrzolka and J. Siegert, “Boundaries of coarse pro ximity spaces and boundaries of compactiﬁcations,” arXiv e-prints (Dec, 2018) arXiv:1812.09802, arXiv:1812.09802 [math.GN]

work page arXiv 2018
[7]

Twisted Coefficients on coarse Spaces and their Corona

E. Hartmann, “Twisted Coeﬃcients on coarse Spaces and th eir Corona,” arXiv e-prints (Mar, 2019) arXiv:1904.00380, arXiv:1904.00380 [math.MG]

work page internal anchor Pith review Pith/arXiv arXiv 2019
[8]

On (Co)homological Properties of Stone-Cech Compactifications of Completely Regular Spaces

V. Baladze and F. Dumbadze, “On (Co)homological Propert ies of Stone-Cech Compactiﬁcations of Completely Regular Spaces,” arXiv e-prints (Jun, 2018) arXiv:1806.01566, arXiv:1806.01566 [math.AT]

work page internal anchor Pith review Pith/arXiv arXiv 2018
[9]

2003 , PAGES =

J. Roe, Lectures on coarse geometry , vol. 31 of University Lecture Series . American Mathematical Society, Providence, RI, 2003. http://dx.doi.org/10.1090/ulect/031

work page doi:10.1090/ulect/031 2003
[10]

A pullback diagram in the coarse category ,

E. Hartmann, “A pullback diagram in the coarse category ,” arXiv e-prints (Jul, 2019) arXiv:1907.02961, arXiv:1907.02961 [math.MG]

work page arXiv 2019
[11]

Products of hyperbolic m etric spaces,

T. Foertsch and V. Schroeder, “Products of hyperbolic m etric spaces,” Geom. Dedicata 102 (2003) 197–212. https://doi.org/10.1023/B:GEOM.0000006539.14783.aa

work page doi:10.1023/b:geom.0000006539.14783.aa 2003
[12]

Boundaries of hyperbolic g roups,

I. Kapovich and N. Benakli, “Boundaries of hyperbolic g roups,” in Combinatorial and geometric group theory (New York, 2000/Hoboken, NJ, 2001) , vol. 296 of Contemp. Math. , pp. 39–93. Amer. Math. Soc., Providence, RI, 2002. http://dx.doi.org/10.1090/conm/296/05068

work page doi:10.1090/conm/296/05068 2000
[13]

Asymptotic resemblance,

S. Kalantari and B. Honari, “Asymptotic resemblance,” Rocky Mountain J. Math. 46 no. 4, (2016) 1231–1262. https://doi.org/10.1216/RMJ-2016-46-4-1231

work page doi:10.1216/rmj-2016-46-4-1231 2016
[14]

Riehl, Category theory in context

E. Riehl, Category theory in context . Courier Dover Publications, 2017

work page 2017
[15]

Cornulier and P

Y. Cornulier and P. de la Harpe, Metric geometry of locally compact groups , vol. 25 of EMS Tracts in Mathematics . European Mathematical Society (EMS), Zürich, 2016. http://dx.doi.org/10.4171/166. Winner of the 2016 EMS Monograph Award

work page doi:10.4171/166 2016
[16]

Compactiﬁcations determined by subsets of C∗ (X). II,

B. J. Ball and S. Yokura, “Compactiﬁcations determined by subsets of C∗ (X). II,” Topology Appl. 15 no. 1, (1983) 1–6. https://doi.org/10.1016/0166-8641(83)90041-X

work page doi:10.1016/0166-8641(83)90041-x 1983
[17]

O n the Higson corona of uniformly contractible spaces,

A. N. Dranishnikov, J. Keesling, and V. V. Uspenskij, “O n the Higson corona of uniformly contractible spaces,” Topology 37 no. 4, (1998) 791–803. http://dx.doi.org/10.1016/S0040-9383(97)00048-7 . 17 REFERENCES Elisa Hartmann

work page doi:10.1016/s0040-9383(97)00048-7 1998
[18]

Coarse Cohomology with twisted Coeﬃcien ts,

E. Hartmann, “Coarse Cohomology with twisted Coeﬃcien ts,” ArXiv e-prints (Sept.,

work page
[19]

, arXiv:1710.06725 [math.AG]

work page arXiv
[20]

I. R. Shafarevich, Algebraic Geometry 2 . Springer-Verlag, Berlin Heidelberg, 1996

work page 1996
[21]

M. R. Bridson and A. Haeﬂiger, Metric spaces of non-positive curvature , vol. 319 of Grundlehren der Mathematischen Wissenschaften [Fundamen tal Principles of Mathematical Sciences]. Springer-Verlag, Berlin, 1999. http://dx.doi.org/10.1007/978-3-662-12494-9

work page doi:10.1007/978-3-662-12494-9 1999
[22]

Inducing maps between Gromov boun daries,

J. Dydak and v. Virk, “Inducing maps between Gromov boun daries,” Mediterr. J. Math. 13 no. 5, (2016) 2733–2752. http://dx.doi.org/10.1007/s00009-015-0650-z . 18

work page doi:10.1007/s00009-015-0650-z 2016

[1] [1]

Normal ball structures,

I. V. Protasov, “Normal ball structures,” Mat. Stud. 20 no. 1, (2003) 3–16. 16 REFERENCES Elisa Hartmann

work page 2003

[2] [2]

Coronas of balleans,

I. V. Protasov, “Coronas of balleans,” Topology Appl. 149 no. 1-3, (2005) 149–160. https://doi.org/10.1016/j.topol.2004.09.005

work page doi:10.1016/j.topol.2004.09.005 2005

[3] [3]

Coronas of ultrametric spaces,

I. V. Protasov, “Coronas of ultrametric spaces,” Comment. Math. Univ. Carolin. 52 no. 2, (2011) 303–307

work page 2011

[4] [4]

On character of p oints in the Higson corona of a metric space,

T. Banakh, O. Chervak, and L. Zdomskyy, “On character of p oints in the Higson corona of a metric space,” Comment. Math. Univ. Carolin. 54 no. 2, (2013) 159–178

work page 2013

[5] [5]

Ultraﬁlters on ba lleans,

I. V. Protasov and S. V. Slobodianiuk, “Ultraﬁlters on ba lleans,” Ukraïn. Mat. Zh. 67 no. 12, (2015) 1698–1706. https://doi.org/10.1007/s11253-016-1200-y . Reprinted in Ukrainian Math. J. 67 (2016), no. 12, 1922–1931

work page doi:10.1007/s11253-016-1200-y 2015

[6] [6]

Boundaries of coarse pro ximity spaces and boundaries of compactiﬁcations,

P. Grzegrzolka and J. Siegert, “Boundaries of coarse pro ximity spaces and boundaries of compactiﬁcations,” arXiv e-prints (Dec, 2018) arXiv:1812.09802, arXiv:1812.09802 [math.GN]

work page arXiv 2018

[7] [7]

Twisted Coefficients on coarse Spaces and their Corona

E. Hartmann, “Twisted Coeﬃcients on coarse Spaces and th eir Corona,” arXiv e-prints (Mar, 2019) arXiv:1904.00380, arXiv:1904.00380 [math.MG]

work page internal anchor Pith review Pith/arXiv arXiv 2019

[8] [8]

On (Co)homological Properties of Stone-Cech Compactifications of Completely Regular Spaces

V. Baladze and F. Dumbadze, “On (Co)homological Propert ies of Stone-Cech Compactiﬁcations of Completely Regular Spaces,” arXiv e-prints (Jun, 2018) arXiv:1806.01566, arXiv:1806.01566 [math.AT]

work page internal anchor Pith review Pith/arXiv arXiv 2018

[9] [9]

2003 , PAGES =

J. Roe, Lectures on coarse geometry , vol. 31 of University Lecture Series . American Mathematical Society, Providence, RI, 2003. http://dx.doi.org/10.1090/ulect/031

work page doi:10.1090/ulect/031 2003

[10] [10]

A pullback diagram in the coarse category ,

E. Hartmann, “A pullback diagram in the coarse category ,” arXiv e-prints (Jul, 2019) arXiv:1907.02961, arXiv:1907.02961 [math.MG]

work page arXiv 2019

[11] [11]

Products of hyperbolic m etric spaces,

T. Foertsch and V. Schroeder, “Products of hyperbolic m etric spaces,” Geom. Dedicata 102 (2003) 197–212. https://doi.org/10.1023/B:GEOM.0000006539.14783.aa

work page doi:10.1023/b:geom.0000006539.14783.aa 2003

[12] [12]

Boundaries of hyperbolic g roups,

I. Kapovich and N. Benakli, “Boundaries of hyperbolic g roups,” in Combinatorial and geometric group theory (New York, 2000/Hoboken, NJ, 2001) , vol. 296 of Contemp. Math. , pp. 39–93. Amer. Math. Soc., Providence, RI, 2002. http://dx.doi.org/10.1090/conm/296/05068

work page doi:10.1090/conm/296/05068 2000

[13] [13]

Asymptotic resemblance,

S. Kalantari and B. Honari, “Asymptotic resemblance,” Rocky Mountain J. Math. 46 no. 4, (2016) 1231–1262. https://doi.org/10.1216/RMJ-2016-46-4-1231

work page doi:10.1216/rmj-2016-46-4-1231 2016

[14] [14]

Riehl, Category theory in context

E. Riehl, Category theory in context . Courier Dover Publications, 2017

work page 2017

[15] [15]

Cornulier and P

Y. Cornulier and P. de la Harpe, Metric geometry of locally compact groups , vol. 25 of EMS Tracts in Mathematics . European Mathematical Society (EMS), Zürich, 2016. http://dx.doi.org/10.4171/166. Winner of the 2016 EMS Monograph Award

work page doi:10.4171/166 2016

[16] [16]

Compactiﬁcations determined by subsets of C∗ (X). II,

B. J. Ball and S. Yokura, “Compactiﬁcations determined by subsets of C∗ (X). II,” Topology Appl. 15 no. 1, (1983) 1–6. https://doi.org/10.1016/0166-8641(83)90041-X

work page doi:10.1016/0166-8641(83)90041-x 1983

[17] [17]

O n the Higson corona of uniformly contractible spaces,

A. N. Dranishnikov, J. Keesling, and V. V. Uspenskij, “O n the Higson corona of uniformly contractible spaces,” Topology 37 no. 4, (1998) 791–803. http://dx.doi.org/10.1016/S0040-9383(97)00048-7 . 17 REFERENCES Elisa Hartmann

work page doi:10.1016/s0040-9383(97)00048-7 1998

[18] [18]

Coarse Cohomology with twisted Coeﬃcien ts,

E. Hartmann, “Coarse Cohomology with twisted Coeﬃcien ts,” ArXiv e-prints (Sept.,

work page

[19] [19]

, arXiv:1710.06725 [math.AG]

work page arXiv

[20] [20]

I. R. Shafarevich, Algebraic Geometry 2 . Springer-Verlag, Berlin Heidelberg, 1996

work page 1996

[21] [21]

M. R. Bridson and A. Haeﬂiger, Metric spaces of non-positive curvature , vol. 319 of Grundlehren der Mathematischen Wissenschaften [Fundamen tal Principles of Mathematical Sciences]. Springer-Verlag, Berlin, 1999. http://dx.doi.org/10.1007/978-3-662-12494-9

work page doi:10.1007/978-3-662-12494-9 1999

[22] [22]

Inducing maps between Gromov boun daries,

J. Dydak and v. Virk, “Inducing maps between Gromov boun daries,” Mediterr. J. Math. 13 no. 5, (2016) 2733–2752. http://dx.doi.org/10.1007/s00009-015-0650-z . 18

work page doi:10.1007/s00009-015-0650-z 2016