Recognition: 2 theorem links
· Lean TheoremBornological Metrics on Groups
Pith reviewed 2026-05-13 01:30 UTC · model grok-4.3
The pith
Bornological metrics on countable groups have their coarse equivalence classes each determined by a bornology, with a canonical left-invariant representative in each class.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Let G be a countable group. A bornological metric is a metric ρ such that for every C>0 there exists S_C>0 with ρ(x,y)<C implying ρ(gx,gy)<S_C for all g∈G. Each coarse equivalence class of bornological metrics is determined by a bornology on G and contains a canonical left-invariant representative. The metrizability of a bornology is characterized in terms of countable generation of the associated coarse structure, and a criterion for strong G-invariance of a coarse structure is established.
What carries the argument
The bornological metric, a left-invariant metric whose small-distance sets are uniformly controlled under left translations, which directly associates metrics to bornologies via coarse equivalence.
If this is right
- Coarse equivalence classes of bornological metrics stand in one-to-one correspondence with bornologies on G.
- Every coarse equivalence class of bornological metrics contains a canonical left-invariant representative.
- A bornology on G is metrizable precisely when the associated coarse structure is countably generated.
- Strong G-invariance of a coarse structure admits an explicit criterion.
- Finitely generated groups admit families of pairwise non-coarsely-equivalent improper left-invariant metrics, none of which is coarsely equivalent to a proper metric.
Where Pith is reading between the lines
- The classification supplies a way to generate and distinguish many distinct coarse geometries on a fixed group without requiring proper metrics.
- Relaxing countability might require additional structure to retain the canonical representative.
- The bornology-coarse structure dictionary could be applied to quasi-isometric invariants that ignore properness.
Load-bearing premise
The group G is countable and the metric satisfies the bornological boundedness condition for every C>0.
What would settle it
Exhibit a bornological metric on a countable group whose coarse equivalence class cannot be associated to any single bornology on G.
read the original abstract
Let $G$ be a countable group. We study left-invariant metrics on $G$ that are not necessarily proper, introducing the notion of a \emph{bornological metric}: a metric $\rho$ such that for every $C>0$ there exists $S_C>0$ with the property that $\rho(x,y)<C$ implies $\rho(gx,gy)<S_C$ for all $g\in G$. We show that each coarse equivalence class of bornological metrics is determined by a bornology on $G$, and that every such class contains a canonical left-invariant representative. The metrizability of a bornology is characterized in terms of countable generation of the associated coarse structure, and a criterion for strong $G$-invariance of a coarse structure is established. As an application, we construct families of improper left-invariant metrics on finitely generated groups that are pairwise non-equivalent and not coarsely equivalent to any proper left-invariant metric.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript introduces bornological metrics on countable groups G: left-invariant metrics ρ such that for every C>0 there is S_C>0 with ρ(x,y)<C implying ρ(gx,gy)<S_C for all g∈G. It shows that coarse equivalence classes of such metrics are determined by bornologies on G, that each class admits a canonical left-invariant representative, characterizes metrizability of a bornology via countable generation of the associated coarse structure, establishes a criterion for strong G-invariance of coarse structures, and applies the framework to construct families of pairwise non-coarsely-equivalent improper left-invariant metrics on finitely generated groups that are not coarsely equivalent to any proper metric.
Significance. If the central claims hold, the work supplies a clean classification of coarse classes of (possibly improper) left-invariant metrics via bornologies, together with canonical representatives and metrizability criteria. This extends the toolkit of coarse geometry beyond proper metrics and yields explicit constructions of many distinct coarse classes on finitely generated groups, which may prove useful for studying non-proper actions or growth phenomena where properness fails.
minor comments (3)
- The abstract states the main theorems but does not indicate in which sections the proofs appear; adding explicit theorem numbers or section references would improve navigation.
- The definition of the canonical representative (presumably in the section following the coarse-equivalence correspondence) should include a brief verification that it is indeed bornological and left-invariant, even if the construction is routine.
- In the application section constructing families of improper metrics, a short remark on why the constructed metrics fail to be coarsely equivalent to proper ones would help readers unfamiliar with the distinction.
Simulated Author's Rebuttal
We thank the referee for their careful and accurate summary of the manuscript, as well as for the positive assessment of its significance in extending coarse geometry to improper left-invariant metrics via bornologies. We appreciate the recommendation for minor revision. However, the report lists no specific major comments under the MAJOR COMMENTS section, so there are no individual points requiring point-by-point rebuttal or revision at this stage. We remain available to address any minor issues or clarifications the referee or editor may wish to raise.
Circularity Check
No significant circularity in derivation chain
full rationale
The paper defines bornological metrics via a new boundedness condition on left-invariant metrics for countable groups, then derives that coarse equivalence classes are determined by bornologies on G and that each class contains a canonical left-invariant representative. These steps proceed from the introduced definitions and standard coarse geometry notions without any reduction of the central claims to fitted parameters, self-citations, or ansatzes that presuppose the target results. The metrizability characterization via countable generation of the coarse structure is likewise derived directly from the definitions rather than by construction or renaming. The work is self-contained against external benchmarks with no load-bearing self-referential steps.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption G is a countable group
- domain assumption Left-invariance of the metric and the bornological boundedness condition
invented entities (2)
-
bornological metric
no independent evidence
-
bornology on G
no independent evidence
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclearTheorem 2.5: If the coarse structure E ... is countably generated and strongly G-invariant ... then B(E) is a metrizable bornology
Reference graph
Works this paper leans on
- [1]
-
[2]
arXiv: Geometric Topology , year=
Svarc-Milnor Lemma: a proof by definition , author=. arXiv: Geometric Topology , year=
-
[3]
Topology and its Applications , year=
An alternative definition of coarse structures , author=. Topology and its Applications , year=
- [4]
- [5]
-
[6]
Smith, J. , title =. Topology Appl. , year =. doi:10.1016/j.topol.2005.07.011 , number =
- [7]
- [8]
-
[9]
Structure and K -theory of ^p uniform Roe algebras , volume =
Chung, Yeong Chyuan and Li, Kang , year =. Structure and K -theory of ^p uniform Roe algebras , volume =. Journal of Noncommutative Geometry , publisher =. doi:10.4171/jncg/405 , number =
-
[10]
Chung, Yeong Chyuan and Mart \' nez, Diego and Szak \'a cs, N \'o ra. Quasi-countable inverse semigroups as metric spaces, and the uniform Roe algebras of locally finite inverse semigroups. Groups Geom. Dyn
-
[11]
The asymptotic dimension of a curve graph is finite
Bell, Gregory C and Fujiwara, Koji. The asymptotic dimension of a curve graph is finite. J. Lond. Math. Soc. (2)
- [12]
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.