Borel asymptotic dimension of the Roller boundary of finite dimensional CAT(0) cube complexes

Koichi Oyakawa

REVIEW 1 major objections 5 minor 1 cited by

Borel asymptotic dimension of the Roller boundary of finite dimensional CAT(0) cube complexes

T0 review · 1 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash

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

Pith's one-line read For any countable CAT(0) cube complex of dimension n, the Borel median graph on its Roller boundary has Borel asymptotic dimension at most n, and its component equivalence relation is smooth.

desk verdict A genuine Borel adaptation of Wright's construction that proves a sharp bound for Roller boundaries; the only real gap is an unstated uniformity assumption in Proposition 7.10. read the letter →

arxiv 2505.10334 v1 pith:ERNMVR5C submitted 2025-05-15 math.GT math.GRmath.LO

Koichi Oyakawa This is my paper · ORCID

classification math.GTmath.GRmath.LO MSC 03E1520F65

keywords BorelasymptoticdimensionRollerboundaryCAT(0)cubecomplexmediangraphsmoothequivalencerelationcontrolledcoloringWrightconstructionhyperplane

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 uniform upper bound on the Borel asymptotic dimension of the Roller boundary of any countable finite-dimensional CAT(0) cube complex: if the complex has dimension n, the Borel median graph on the boundary has Borel asymptotic dimension at most n, and the equivalence relation that identifies points in the same boundary component is smooth. This is the Borel counterpart of Wright's finite-asymptotic-dimension theorem for CAT(0) cube complexes, but it is not a formal consequence of it, because Borel asymptotic dimension can be strictly larger than the usual asymptotic dimension of the components. The interest is that the bound needs no local finiteness of the boundary nor any finiteness of hyperplanes: even when the Roller boundary has vertices of infinite valency, its Borel large-scale geometry is still controlled by the dimension of the original complex.

What carries the argument

The engine is a Borelized version of Wright's construction. Given a smooth Borel median graph, the paper glues cubes to every component to form the Borel extended metric space eX, builds a standard Borel space of hyperplanes H_s(G) with halfspace relations, and then runs Wright's controlled-coloring argument componentwise: a Borel coloring c of hyperplanes, with K_c = $c^{{-1}}$(0), a quotient X to X_{K_c}, an interpolated contraction Psi_w into a larger cube complex, and a Borel contractive projection P back to the embedded complex. Iterating this contraction N times produces, for any epsilon > 0, an epsilon-Lipschitz cobornologous Borel map from the original Borel graph into another smooth Borel median graph of dimension at most D. Lemma 7.9 converts such maps into the Borel asymptotic dimension bound by a Borel triangulation of eX with a dimension-dependent separation constant delta.

What would settle it

A concrete search is to exhibit a countable two-dimensional CAT(0) cube complex whose Roller boundary has Borel asymptotic dimension at least 3, or contains a non-hyperfinite Borel subgraph; since finite Borel asymptotic dimension implies hyperfiniteness, such an example would contradict the theorem. The natural first test case is the locally finite 2-dimensional complex constructed in Remark 2.9, whose Roller boundary has a vertex of infinite valency.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.1: for any countable CAT(0) cube complex X of dimension n in N union {0}, the Borel median graph on the Roller boundary R(X) has Borel asymptotic dimension at most n, and the Borel equivalence relation of connected components of this graph is smooth. The proof runs through a more general proposition: any smooth countable Borel median graph whose connected components are CAT(0) cube complexes of dimension at most D has Borel asymptotic dimension at most D. The smoothness condition is essential and best possible: weakening it to hyperfiniteness is impossible, since hyperfinite Borel trees with infinite Borel asymptotic dimension exist. A corollary noted by the author is that Theorem 1.1 strengthens Wright's result, because the original complex embeds as a connected component of its Roller compactification and the classical asymptotic dimension of each component is bounded by the Borel asymptotic dimension of the whole Borel graph.

Load-bearing premise

The load-bearing assumption is that Wright's controlled-coloring theorem, a geometric estimate about coloring the hyperplanes of a finite-dimensional CAT(0) cube complex so that each color class is well separated, remains valid when applied componentwise to a Borel median graph; if that estimate or the Borel transfer of its Lipschitz and cobornologous bounds fails, the iterative contraction that produces the epsilon-Lipschitz cobornologous Borel map collapses and the dimension bound does not follow.

Editorial extensions

If this is right

The Borel asymptotic dimension of the Roller boundary of any countable CAT(0) cube complex is bounded by the dimension of the complex, with no local-finiteness or hyperplane-finiteness assumptions.
The connected-component equivalence relation of the Roller boundary graph is smooth, so it admits a Borel selector and cannot realize Borel complexity above smoothness.
Wright's classical result that finite-dimensional CAT(0) cube complexes have finite asymptotic dimension is strengthened to the Borel setting for Roller boundaries.
Proposition 1.2 gives a general transfer: any smooth Borel median graph whose components are CAT(0) cube complexes of dimension at most D has Borel asymptotic dimension at most D.
Since finite Borel asymptotic dimension implies hyperfiniteness, the boundary component relations of countable finite-dimensional CAT(0) cube complexes are hyperfinite.

Reading between the lines

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

The same cube-gluing technique may apply to other natural compactifications with median-graph structure, giving Borel asymptotic dimension bounds wherever a smooth component relation is available.
Because smoothness is proven constructively via a Borel selector, the paper suggests that boundary components of a countable cube complex can be assigned basepoints in a definable way; this may have consequences for definable choices in cubical groups and actions.
A natural testable extension is whether the bound is sharp for every n: for the n-dimensional grid Z^n, which embeds as a component of its own Roller boundary, the Borel asymptotic dimension should be exactly n; verifying this would show Theorem 1.1 is optimal.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

Nick, this one is worth reading. Oyakawa proves that for any countable finite-dimensional CAT(0) cube complex, the Borel median graph on the Roller boundary has Borel asymptotic dimension at most the dimension, and the component equivalence relation is smooth. That's a natural and previously open question in Borel combinatorics, and it sharpens Wright's classical asymptotic dimension result in the Borel setting. The proof is a serious Borel adaptation, not a black-box translation: the paper constructs a Borel extended metric space by gluing cubes to a Borel median graph, develops a Borel version of Sageev-Roller duality including a Borel space of hyperplanes, and proves a Borel projection theorem. The measurability arguments are detailed and use standard tools correctly. It also carefully avoids assuming local finiteness, which matters because Roller boundaries can have infinite degree.

Where are the soft spots? The main one is Proposition 7.10. The proof applies Wright's theorem componentwise and asserts that the resulting map is uniformly epsilon-Lipschitz and cobornologous. The Lipschitz constant is explicitly uniform (3^{D-1}D/(3^{D-1}D+1)), but cobornologousness is a global property: you need a single R(r) for all components. Wright's construction is quantitative, and I believe the control function depends only on D, so the uniformity is almost certainly true. But the paper never states this, and since it imports Wright's results as black boxes without defining 'controlled coloring', a strict referee cannot verify that claim from the text. That's a genuine expository gap, though not a fatal one. The author should either prove a lemma stating the uniform cobornologous bound or at least pin down exactly which statement in [Wri12] gives it.

Otherwise, the paper checks out. No circularity, no fitted constants, and the citations look right. The proof is long, so moderate confidence is fair, but I didn't find a load-bearing flaw. The audience is Borel combinatorics and descriptive set theory people, and also geometric group theorists who care about Roller boundaries.

My recommendation: send it to peer review. The theorem deserves referee time. The only required change is clarifying the uniformity in Proposition 7.10; that can be done with a short argument or a precise reference.

Referee Report

1 major / 5 minor

Summary. The paper proves Theorem 1.1: for any countable CAT(0) cube complex X of dimension n, the Borel median graph on the Roller boundary R(X) has Borel asymptotic dimension at most n, and the associated component equivalence relation is smooth. The proof passes through a more general statement, Proposition 1.2, for standard Borel spaces equipped with a countable Borel median graph whose components are CAT(0) cube complexes of dimension at most D and whose component equivalence relation is smooth. The author develops a Borel version of Wright's construction: he defines a standard Borel structure on the union of the CAT(0) cube complexes obtained by gluing cubes to the components, introduces Borel spaces of hyperplanes, proves a Borel quotient theorem, establishes Borel measurability of the Wright interpolation and projection maps, and finally uses a Borel triangulation argument (Lemma 7.9) to deduce the asymptotic-dimension bound. The paper is careful and detailed in its descriptive-set-theoretic arguments, and it does not assume local finiteness of the Borel graphs.

Significance. If the proof is correct, the result is a genuine strengthening of Wright's asymptotic-dimension theorem in the Borel setting: it gives a uniform upper bound on the Borel asymptotic dimension of Roller boundaries in terms of the dimension of the cube complex, without local finiteness or finiteness of hyperplanes. The paper also introduces reusable tools: a canonical Borel structure on the union of cubes over a Borel median graph, a Borel analogue of the Sageev-Roller duality, and a Borel version of Wright's projection. The Borel measurability arguments are mostly carried out with standard tools (Arsenin-Kunugui, smooth CBER selectors), and the paper is transparent about the black-box use of [Wri12]. The main conceptual contribution—that a naturally occurring family of non-locally-finite Borel median graphs has finite Borel asymptotic dimension—is interesting and timely.

major comments (1)

[Section 7.10, proof of Proposition 7.10 (with Definition 7.8 and Lemma 7.9)] The proof concludes that the iterated map f : X → eY is ε-Lipschitz and cobornologous, and Lemma 7.9 then uses a single R(r) uniformly over all f^{-1}(St_{T2}(v)). However, the proof only states that the restriction of each intermediate map to every G-component is cobornologous; if the R supplied by [Wri12, Lemma 4.7] can depend on the individual component, then sup_v diam_Y(f^{-1}(St_{T2}(v))) need not be finite and the argument for Lemma 7.9 fails. Please add an explicit statement that the cobornologous control in [Wri12, Lemma 4.7] depends only on D and on the controlled-coloring constant 3^{D-1}D, hence is uniform across the Borel family, and verify that this uniformity is preserved under the N-fold iteration. If this uniformity is not present in [Wri12], then the proof of Proposition 7.10 is incomplete as written.

minor comments (5)

[Section 2.2.1, Theorem 2.24] Since 'controlled coloring' is deliberately used as a black box, the paper should either include the definition from [Wri12, Definition 2.3] or state explicitly the uniformity property needed in Proposition 7.10, so that the reader can verify the componentwise application and the global cobornologousness.
[Section 3, proof of Lemma 3.9] There is a typo: 'countble union' should be 'countable union'.
[Section 7, Lemma 7.7(2)] The proof sketch introduces constants δ1 and δ2 by assertion. It would be easier for the reader to check if the definitions of δ1 and δ2 were made explicit, for example by bounding the relevant segment lengths in terms of the fixed triangulation T2 of [0,1]^D.
[Section 7, Theorem 7.11] In the sentence 'By uniqueness of ξ_x, the map f satisfies x E^{R(X)}_{G_{R(X)}} y ⇐⇒ f(x) = f(y)', a brief justification that ξ_x depends only on the E-class of x would improve readability.
[Definition 2.17] For D ≤ 1 the rank vector is constant 0; Remark 2.18 explains why, but adding a cross-reference to Remark 2.18 at Definition 2.17 would help the reader.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found: the proof is self-contained against external benchmarks and imports, not re-derives, the key Wright estimates.

full rationale

The claimed derivation chain does not reduce to its own inputs. Proposition 7.10 imports Wright's controlled coloring theorem (Theorem 2.24) and the Lipschitz/cobornologous estimates ([Wri12, Lemma 4.8, Theorem 4.9]) from prior published work by Nick Wright; these are external results, not results of the present paper, and they do not already contain Proposition 1.2 or Theorem 1.1. The Borel measurability machinery in Sections 3-6 is built directly from standard descriptive set theory (Arsenin-Kunugui, Feldman-Moore, selector and transversals) and from the author's own definitions. No parameter is fitted from the target conclusion: ε is arbitrary, the contraction factor (3^{D-1}D)/(3^{D-1}D+1) comes from Wright's estimates, and the iteration to obtain an ε-Lipschitz map is an application of those estimates, not a disguised restatement of the desired asdim_B bound. The smoothness part of Theorem 1.1 uses [Gen21, Proposition 2.9], again an external citation. There are no self-citations by the author, no definition of the conclusion in terms of the assumptions, and no fitted quantity is renamed as a prediction. The skeptical concern that Wright's cobornologous bounds may not be uniform across components is a correctness/verification issue about the applicability of an imported theorem, not circularity: even if true, it would invalidate a step without showing that the theorem was presupposed. The paper is therefore a normal, non-circular use of external prior work.

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

The central claim rests on standard results in descriptive set theory, CAT(0) cube complex theory, and Wright's non-Borel asymptotic dimension proof. No free parameters are fitted to data, and no new objects are postulated beyond the constructions of the proof (the glued cube complex eX and the Borel space C(G)), which are defined explicitly.

assumptions (5)

standard math Wright's controlled coloring theorem: for a D-dimensional CAT(0) cube complex, the coloring c is a 3^{D-1}D-controlled coloring.
Invoked as a black box in Theorem 2.24 and applied componentwise in Proposition 7.10. If false, the Lipschitz contraction bound would fail.
standard math Wright's projection theorem (Theorem 2.35) and the Lipschitz/cobornologous estimates of the quotient map (Lemma 4.8, Theorem 4.9 of Wright).
Used in Proposition 7.10 to obtain an ε-Lipschitz cobornologous Borel map from X to a quotient; load-bearing for the induction.
standard math Descriptive set theory facts: Arsenin-Kunugui (Theorem 2.46), Feldman-Moore (Lemma 4.11), and the equivalence of smooth CBERs with Borel selectors (Lemma 2.44).
Used throughout Sections 4-6 to establish Borel measurability of hyperplanes, quotients, and the projection map.
domain assumption CAT(0) cube complex theory: Chepoi's equivalence of median graphs with CAT(0) cube complexes, Sageev-Roller duality (Definition 2.10), and the geometry of halfspaces (Remark 2.6).
Background for the median graph structure of Roller compactifications and the quotient construction.
standard math Genevois's Proposition 2.9 on Roller boundary points realizing the set of hyperplanes separating a basepoint from a component.
Used in the smoothness proof of Theorem 7.11 to define the map f.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Borel asymptotic dimension of the Roller boundary of finite dimensional CAT(0) cube complexes." pith.science (2026). https://pith.science/paper/ERNMVR5C

@misc{pith2026250510334,
  author       = {Pith},
  title        = {Pith review of: Borel asymptotic dimension of the Roller boundary of finite dimensional CAT(0) cube complexes},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ERNMVR5C}},
  note         = {Machine review of arXiv:2505.10334}
}

read the original abstract

We prove that for any countable finite dimensional CAT(0) cube complex, the Borel median graph on its Roller compactification has the Borel asymptotic dimension bounded from above by its dimension.

Figures

Figures reproduced from arXiv: 2505.10334 by the authors.

**Figure 3.** The shaded region is the intersection of [PITH_FULL_IMAGE:figures/full_fig_p032_3.png] view at source ↗

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

Hyperfiniteness of the boundary action of virtually special groups
math.GR 2025-09 conditional novelty 7.0 of 10

Every virtually special action of a countable group on a CAT(0) cube complex yields a hyperfinite orbit equivalence relation on its Roller boundary.

Reference graph

Works this paper leans on

21 extracted references · 14 canonical work pages · cited by 1 Pith paper

[1]

Anton Bernshteyn and Jing Yu, Large-scale geometry of B orel graphs of polynomial growth , Adv. Math. 473 (2025), Paper No. 110290. 4897446

work page 2025
[2]

Victor Chepoi, Graphs of some CAT (0) complexes , Adv. in Appl. Math. 24 (2000), no. 2, 125--179. 1748966

work page 2000
[3]

Conley, Steve C

Clinton T. Conley, Steve C. Jackson, Andrew S. Marks, Brandon M. Seward, and Robin D. Tucker-Drob, Borel asymptotic dimension and hyperfinite equivalence relations, Duke Math. J. 172 (2023), no. 16, 3175--3226. 4679959

work page 2023
[4]

Sigma 13 (2025), Paper No

Ruiyuan Chen, Antoine Poulin, Ran Tao, and Anush Tserunyan, Tree-like graphings, wallings, and median graphings of equivalence relations, Forum Math. Sigma 13 (2025), Paper No. e64, 37. 4883098

work page 2025
[5]

218, American Mathematical Society, Providence, RI, 2017, With an emphasis on non-proper settings

Tushar Das, David Simmons, and Mariusz Urba\'nski, Geometry and dynamics in G romov hyperbolic metric spaces , Mathematical Surveys and Monographs, vol. 218, American Mathematical Society, Providence, RI, 2017, With an emphasis on non-proper settings. 3558533

work page 2017
[6]

293, CRC Press, Boca Raton, FL, 2009

Su Gao, Invariant descriptive set theory, Pure and Applied Mathematics (Boca Raton), vol. 293, CRC Press, Boca Raton, FL, 2009. 2455198

2009
[7]

Anthony Genevois, Rank-one isometries of CAT (0) cube complexes and their centralisers , Adv. Geom. 21 (2021), no. 3, 347--364. 4283595

work page 2021
[8]

Jan Grebík and Cecelia Higgins, Complexity of finite borel asymptotic dimension, 2024

work page 2024

Show all 21 references

[9]

Sumun Iyer and Forte Shinko, Asymptotic dimension and hyperfiniteness of generic cantor actions, 2024

2024
[10]

Kechris, Classical descriptive set theory, Graduate Texts in Mathematics, vol

Alexander S. Kechris, Classical descriptive set theory, Graduate Texts in Mathematics, vol. 156, Springer-Verlag, New York, 1995. 1321597

1995
[11]

234, Cambridge University Press, Cambridge, 2025

, The theory of countable B orel equivalence relations , Cambridge Tracts in Mathematics, vol. 234, Cambridge University Press, Cambridge, 2025. 4837611

2025
[12]

Petr Naryshkin and Andrea Vaccaro, Hyperfiniteness and B orel asymptotic dimension of boundary actions of hyperbolic groups , Math. Ann. 392 (2025), no. 1, 197--208. 4887757

2025
[13]

31, American Mathematical Society, Providence, RI, 2003

John Roe, Lectures on coarse geometry, University Lecture Series, vol. 31, American Mathematical Society, Providence, RI, 2003. 2007488

2003
[14]

Martin Roller, Poc sets, median algebras and group actions, 1998, habilitation, Universität Regensburg

1998
[15]

London Math

Michah Sageev, Ends of group pairs and non-positively curved cube complexes, Proc. London Math. Soc. (3) 71 (1995), no. 3, 585--617. 1347406

1995
[16]

Ser., vol

, CAT(0) cube complexes and groups , Geometric group theory, IAS/Park City Math. Ser., vol. 21, Amer. Math. Soc., Providence, RI, 2014, pp. 7--54. 3329724

2014
[17]

Anush Tserunyan, Introduction to descriptive set theory, 2022, Lecture note, https://www.math.mcgill.ca/atserunyan/Teaching_notes/dst_lectures.pdf

2022
[18]

Felix Weilacher, Borel edge colorings for finite-dimensional groups, Israel J. Math. 263 (2024), no. 2, 737--780. 4819965

2024
[19]

Wise, From riches to raags: 3-manifolds, right-angled A rtin groups, and cubical geometry , CBMS Regional Conference Series in Mathematics, vol

Daniel T. Wise, From riches to raags: 3-manifolds, right-angled A rtin groups, and cubical geometry , CBMS Regional Conference Series in Mathematics, vol. 117, Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI, ...

2012
[20]

209, Princeton University Press, Princeton, NJ, [2021] 2021

, The structure of groups with a quasiconvex hierarchy, Annals of Mathematics Studies, vol. 209, Princeton University Press, Princeton, NJ, [2021] 2021. 4298722

2021
[21]

Nick Wright, Finite asymptotic dimension for CAT (0) cube complexes , Geom. Topol. 16 (2012), no. 1, 527--554. 2916293

2012

Pith tools

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

[1] [1]

Anton Bernshteyn and Jing Yu, Large-scale geometry of B orel graphs of polynomial growth , Adv. Math. 473 (2025), Paper No. 110290. 4897446

work page 2025

[2] [2]

Victor Chepoi, Graphs of some CAT (0) complexes , Adv. in Appl. Math. 24 (2000), no. 2, 125--179. 1748966

work page 2000

[3] [3]

Conley, Steve C

Clinton T. Conley, Steve C. Jackson, Andrew S. Marks, Brandon M. Seward, and Robin D. Tucker-Drob, Borel asymptotic dimension and hyperfinite equivalence relations, Duke Math. J. 172 (2023), no. 16, 3175--3226. 4679959

work page 2023

[4] [4]

Sigma 13 (2025), Paper No

Ruiyuan Chen, Antoine Poulin, Ran Tao, and Anush Tserunyan, Tree-like graphings, wallings, and median graphings of equivalence relations, Forum Math. Sigma 13 (2025), Paper No. e64, 37. 4883098

work page 2025

[5] [5]

218, American Mathematical Society, Providence, RI, 2017, With an emphasis on non-proper settings

Tushar Das, David Simmons, and Mariusz Urba\'nski, Geometry and dynamics in G romov hyperbolic metric spaces , Mathematical Surveys and Monographs, vol. 218, American Mathematical Society, Providence, RI, 2017, With an emphasis on non-proper settings. 3558533

work page 2017

[6] [6]

293, CRC Press, Boca Raton, FL, 2009

Su Gao, Invariant descriptive set theory, Pure and Applied Mathematics (Boca Raton), vol. 293, CRC Press, Boca Raton, FL, 2009. 2455198

2009

[7] [7]

Anthony Genevois, Rank-one isometries of CAT (0) cube complexes and their centralisers , Adv. Geom. 21 (2021), no. 3, 347--364. 4283595

work page 2021

[8] [8]

Jan Grebík and Cecelia Higgins, Complexity of finite borel asymptotic dimension, 2024

work page 2024