REVIEW 47 references
Conformal dimension bounds, Pontryagin sphere boundaries, and algebraic fibering of right-angled Coxeter groups
T0 review · reviewed 2026-08-04 · deepseek-v4-flash
Pith's one-line read Branching graphs split Coxeter groups into infinitely many types
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The key object is the combinatorial round tree, a 2-complex built from a nested sequence of disks that branch n-fold in the vertical direction while each disk meets at most H new disks in the next level; here H = 3m−7. The (n,m)-branching condition on the defining graph supplies, at every vertex of the outer edge path of the current disk, n distinct cycles of squares of length at most m that share exactly the current segment and whose union is an induced subgraph of the defining graph. This is precisely what makes the growing subcomplex locally convex in the cube complex, so it is a quasiconvex round tree. The count 3m−7 is the worst-case number of new squares that a single square can meet w
What would settle it
A concrete test: for a small (n,m)-branching graph such as the Heawood graph, explicitly construct the first two stages of the round tree described in the paper and verify that each link of the new subcomplex is an induced subgraph of the defining graph. If any link contains an induced 4-cycle or an unwanted edge that breaks convexity, the lower bound would fail for that graph. Likewise, a computer search over finite graphs of girth 5 could look for one that cannot be embedded as an induced subgraph of any flag-no-square triangulation of a closed orientable surface; the existence of such a gra
Extended reading notes
Core claim
The central claim is that the (n,m)-branching condition, which requires every vertex to have degree at least n+1 and every induced edge or two-edge segment to be extendable to n cycles of length between 5 and m whose pairwise intersection is exactly the segment and whose union is induced, forces the conformal dimension of the boundary of the hyperbolic right-angled Coxeter group WΓ to be at least 1 + log n / log(3m−7). The proof constructs a combinatorial round tree as a convex subcomplex of the cube complex associated to WΓ, with vertical branching n and horizontal branching at most 3m−7; the branching condition is exactly what is needed to keep the subcomplex locally convex while new squar
Load-bearing premise
The proof depends on the unproved claim that any girth-at-least-5 graph embeds as an induced subgraph of a flag-no-square triangulation of a closed orientable surface, together with the local convexity checks in the round-tree construction.
Editorial extensions
If this is right
- For m fixed and n growing, the sequence of (n,m)-branching graphs yields hyperbolic right-angled Coxeter groups whose boundary conformal dimension grows without bound, hence infinitely many quasi-isometry classes.
- Embedding these graphs as induced subgraphs of flag-no-square surface triangulations gives infinitely many quasi-isometry classes of hyperbolic right-angled Coxeter groups with Pontryagin sphere boundary.
- For every virtual cohomological dimension n ≥ 2, there are infinitely many quasi-isometry classes of virtually algebraically fibered hyperbolic right-angled Coxeter groups.
- The (n,m)-branching condition also forces geometric consequences: such graphs have girth at least 5, are inseparable for n ≥ 2, and are nonplanar for n ≥ 3, so the boundary of the group is a planar Sierpinski carpet or a Menger curve depending on the degree of branching and planarity.
- For each fixed n, the lower bound 1 + log n / log(3m−7) weakens as m grows, so the families with the strongest control (smallest m, such as the hexagon-based examples with m = 6) give the best bounds.
Reading between the lines
- The horizontal branching count 3m−7 comes from a worst-case analysis of how a square meets the outer edge path; a sharper count for specific families—for instance, when all cycles are hexagons—might lower H and thus raise the conformal dimension lower bound for the same graphs.
- The surface-embedding lemma is only sketched in the paper: the proof shows how to get the graph as a subcomplex of a triangulation but does not explicitly justify that the triangulation can be made flag-no-square while preserving the graph as an induced subcomplex. If that gap cannot be filled, the Pontryagin-sphere family would still be plausible but would need a different construction.
- The fibering upgrade works by making the group a lattice in a thick building with a prescribed underlying Coxeter group; this suggests a general recipe—any hyperbolic right-angled group family that can be thickened to large multiplicity with fixed virtual cohomological dimension will automatically contain infinitely many quasi-isometry classes of virtually fibered groups.
- Because the branching condition is purely local and the round tree is quasiconvex, the conformal dimension lower bound applies not only to the whole group but to any supergroup obtained by a quasi-isometric embedding that respects the tree; this could transfer the bounds to other classes of groups containing such Coxeter subgroups.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Circularity Check
No significant circularity: Theorem 4.8 is a substantive graph-to-metric derivation via Mackay's external round-tree theorem, and the later applications use independent external results.
full rationale
The derivation is self-contained in the relevant sense. Theorem 4.8 lower-bounds Confdim(∂WΓ) by 1 + log n / log(3m − 7) whenever Γ satisfies the (n,m)-branching condition of Definition 4.3. The parameters n and m are inputs to the graph-theoretic hypothesis; they are not fitted constants obtained from conformal-dimension data. Construction 4.9 proves that such a Γ admits a combinatorial round tree with vertical branching n and horizontal branching at most 3m − 7, and Theorem 4.8 then applies Mackay's Theorem 4.2, an external result, to the embedded round tree. The count 3m − 7 is derived from the length bound on the cycles H_i in Definition 4.3, not imposed in order to force the displayed lower bound. The applications also use independent external results: LMSSW's thickening construction, Kielak's fibering theorem, Bourdon's building conformal-dimension computations, and Fischer's theorem identifying Pontryagin sphere boundaries. No step of the paper reduces, by its own equations or by self-citation, a predicted quantity to an input or a fitted value. Self-citations to [26] and [44] are contextual rather than load-bearing. The main weakness is not circularity: Lemma 5.3's proof is only sketched and does not explicitly establish the full flag-no-square and induced-subgraph conclusions at that point, so it is a possible completeness/correctness gap, not a circular reduction, since Theorem 5.1's conclusion is not assumed as an input of that argument.
Assumptions & free parameters
assumptions (8)
- standard math Moussong's hyperbolicity criterion: WΓ is hyperbolic iff Γ has no induced squares
- standard math Mackay's combinatorial round tree theorem (Theorem 7.2 in [37]): q.i. embedding of a round tree with vertical branching V and horizontal branching H gives Confdim >= 1 + log V/log H
- standard math Haglund-Wise local-to-global convexity lemma (Lemma 2.11 in [30]): induced sublinks imply convex subcomplexes
- standard math Kielak's fibering theorem: virtually RFRS group with vanishing first L2-Betti number has a finite-index subgroup that algebraically fibers
- standard math Davis's computation of H*(W,RW) and the Davis-Dymara-Januszkiewicz-Okun weighted L2-cohomology theory imply b1^(2)=0 for sufficiently thick buildings over one-ended Coxeter groups
- domain assumption Fischer's theorem: if L is a flag triangulation of a closed orientable surface of genus >= 1, the visual boundary of the Davis complex of W_L is the Pontryagin sphere
- standard math Dirac's rigid-circuit theorem: a non-complete graph with no separating clique contains an induced (full) cycle of length >= 4
- standard math Bourdon's conformal dimension formula for Fuchsian buildings: over a fixed polygon, the boundary conformal dimension grows without bound with the thickness of the building
Cite this review
Pith. "Pith review of Conformal dimension bounds, Pontryagin sphere boundaries, and algebraic fibering of right-angled Coxeter groups." pith.science (2026). https://pith.science/paper/ULTJMJUO
@misc{pith2026251003430,
author = {Pith},
title = {Pith review of: Conformal dimension bounds, Pontryagin sphere boundaries, and algebraic fibering of right-angled Coxeter groups},
year = {2026},
howpublished = {\url{https://pith.science/paper/ULTJMJUO}},
note = {Machine review of arXiv:2510.03430}
}
abstract
We introduce a graph-theoretic condition, called $(n,m)$--branching, that ensures a combinatorial round tree with controlled branching parameters can be quasi-isometrically embedded in the Davis complex of the right-angled Coxeter group defined by the graph. This construction yields a lower bound on the conformal dimension of the boundary of such a hyperbolic group. We exhibit numerous families of graphs with this property, including many 1-dimensional spherical buildings. We prove an embedding result, showing that under mild hypotheses a flag-no-square graph embeds as an induced subgraph in a flag-no-square triangulation of a closed surface. We use this to embed our branching graphs into graphs presenting hyperbolic right-angled Coxeter groups with Pontryagin sphere boundary. We conclude there are examples of such groups with conformal dimension tending to infinity, and hence, there are infinitely many quasi-isometry classes within this family. We use conformal dimension to show that recent work of Lafont--Minemyer--Sorcar--Stover--Wells can be upgraded to conclude that for every $n \geq 2$ there exist infinitely many quasi-isometry classes of hyperbolic right-angled Coxeter groups that virtually algebraically fiber and have virtual cohomological dimension $n$.
Figures
Figures from the paper (5 more)
Reference graph
Works this paper leans on
-
[1]
Akin,Manifold phenomena in the theory of polyhedra, Trans
E. Akin,Manifold phenomena in the theory of polyhedra, Trans. Amer. Math. Soc.143(1969), e413, 473
1969
-
[2]
Araujo-Pardo and D
G. Araujo-Pardo and D. Leemans,Edge-girth-regular graphs arising from biaffine planes and Suzuki groups, Discrete Math.345(2022), no. 10, Paper No. 112991, 10
2022
-
[3]
T. Beth, D. Jungnickel, and H. Lenz,Design theory, Cambridge University Press, Cambridge, 1986
1986
-
[4]
Bounds and X
J. Bounds and X. Xie,Quasi-isometric rigidity of a class of right-angled Coxeter groups, Proc. Amer. Math. Soc. 148(2020), no. 2, 553–568
2020
-
[5]
Bourdon,Immeubles hyperboliques, dimension conforme et rigidité de Mostow, Geom
M. Bourdon,Immeubles hyperboliques, dimension conforme et rigidité de Mostow, Geom. Funct. Anal.7(1997), no. 2, 245–268
1997
-
[6]
Bourdon,Au bord de certains polyèdres hyperboliques, Ann
M. Bourdon,Au bord de certains polyèdres hyperboliques, Ann. Inst. Fourier (Grenoble)45(1995), no. 1, 119–141
1995
-
[7]
Bourdon,Structure conforme au bord et flot géodésique d’unCAT(−1)-espace, Enseign
M. Bourdon,Structure conforme au bord et flot géodésique d’unCAT(−1)-espace, Enseign. Math. (2)41(1995), no. 1-2, 63–102
1995
-
[8]
Bourdon and B
M. Bourdon and B. Kleiner,Some applications ofℓp-cohomology to boundaries of Gromov hyperbolic spaces, Groups Geom. Dyn.9(2015), no. 2, 435–478
2015
Show all 47 references
-
[9]
M. R. Bridson and A. Haefliger,Metric spaces of non-positive curvature, Grundlehren der Mathematischen Wis- senschaften [Fundamental Principles of Mathematical Sciences], vol. 319, Springer-Verlag, Berlin, 1999
1999
-
[10]
Buyalo and V
S. Buyalo and V. Schroeder,Elements of asymptotic geometry, EMS Monogr. Math., European Mathematical Society (EMS), Zürich, 2007
2007
-
[11]
Caprace,Buildings with isolated subspaces and relatively hyperbolic Coxeter groups, Innov
P.-E. Caprace,Buildings with isolated subspaces and relatively hyperbolic Coxeter groups, Innov. Incidence Geom. 10(2009), 15–31
2009
-
[12]
Chinen and T
N. Chinen and T. Hosaka,Hyperbolic right-angled Coxeter groups with boundaries as a Sierpiński carpet and a Menger curve, Topology Appl.260(2019), 70–85
2019
-
[13]
Dani,The large-scale geometry of right-angled Coxeter groups, Handbook of group actions
P. Dani,The large-scale geometry of right-angled Coxeter groups, Handbook of group actions. V, Adv. Lect. Math. (ALM), vol. 48, Int. Press, Somerville, MA, [2020]©2020, pp. 107–141
2020
-
[14]
P. Dani, M. Haulmark, and G. Walsh,Right-angled Coxeter groups with non-planar boundary, Groups Geom. Dyn. 17(2023), no. 1, 127–155
2023
-
[15]
Danielski,Right-angled Coxeter groups with Menger curve boundary, Bull
D. Danielski,Right-angled Coxeter groups with Menger curve boundary, Bull. Lond. Math. Soc.54(2022), no. 3, 977–995
2022
-
[16]
Danielski, M
D. Danielski, M. Kapovich, and J. Świątkowski,Complete characterizations of hyperbolic Coxeter groups with Sierpiński curve boundary and with Menger curve boundary, Fund. Math.267(2024), 117–128
2024
-
[17]
Daverman and T
R. Daverman and T. Thickstun,Degree one, monotone self maps of the Pontryagin sphere are near homeomorphisms, Pacific J. Math303(2019), no. 1, e93, 132
2019
-
[18]
M. W. Davis,Buildings are CAT(0), Geometry and cohomology in group theory (Durham, 1994), London Math. Soc. Lecture Note Ser., vol. 252, Cambridge Univ. Press, Cambridge, 1998, pp. 108–123
1994
-
[19]
M. W. Davis,The geometry and topology of Coxeter groups, London Math. Soc. Monogr. Ser., vol. 32, Princeton University Press, Princeton, NJ, 2008. CONFORMAL DIMENSION, PONTRYAGIN BOUNDARIES, AND ALGEBRAIC FIBERING OF RACGS 21
2008
-
[20]
M. W. Davis, J. Dymara, T. Januszkiewicz, J. Meier, and B. Okun,Compactly supported cohomology of buildings, Comment. Math. Helv.85(2010), no. 3, 551–582
2010
-
[21]
M. W. Davis, J. Dymarya, T. Januszkiewicz, and B. Okun,WeightedL2-cohomology of Coxeter groups, Geom. Topol.11(2007), no. 1, 47–138
2007
-
[22]
G. A. Dirac,On rigid circuit graphs, Abh. Math. Sem. Univ. Hamburg25(1961), 197–262
1961
-
[23]
Douba, G.-S
S. Douba, G.-S. Lee, L. Marquis, and L. Ruffoni,Convex cocompact groups in real hyperbolic spaces with limit set a Pontryagin sphere, preprint (2025),arXiv:2502.09470v2
2025
-
[24]
A. N. Dranishnikov,Boundaries of Coxeter groups and simplicial complexes with given links, J. Pure Appl. Algebra 137(1999), no. 2, 139–151
1999
-
[25]
Feit and G
W. Feit and G. Higman,The nonexistence of certain generalized polygons, J. Algebra1(1964), e114, 131
1964
-
[26]
Field, R
E. Field, R. Gupta, R. Lyman, and E. Stark,Conformal dimension bounds for certain Coxeter group Bowditch boundaries, preprint,arXiv:2504.12404
-
[27]
Fischer,Boundaries of right-angled Coxeter groups with manifold nerves, Topology42(2003), no
H. Fischer,Boundaries of right-angled Coxeter groups with manifold nerves, Topology42(2003), no. 2, 423–446
2003
-
[28]
Frost,Round trees and conformal dimension in random groups: low density to high density, preprint, arXiv:2204.05165
J. Frost,Round trees and conformal dimension in random groups: low density to high density, preprint, arXiv:2204.05165
-
[29]
Gromov,Asymptotic invariants of infinite groups, Geometric group theory, Vol
M. Gromov,Asymptotic invariants of infinite groups, Geometric group theory, Vol. 2 (Sussex, 1991), London Math. Soc. Lecture Note Ser., vol. 182, Cambridge Univ. Press, Cambridge, 1993, pp. 1–295
1991
-
[30]
Haglund and D
F. Haglund and D. T. Wise,Special cube complexes, Geom. Funct. Anal.17(2008), no. 5, 1551–1620
2008
-
[31]
Hoda and J
N. Hoda and J. Świątkowski,Trees of graphs as boundaries of hyperbolic groups, preprint (2025),arXiv:2312.15827
2025 arXiv
-
[32]
Jakobsche,Homogeneous cohomology manifolds which are inverse limits, Fund
W. Jakobsche,Homogeneous cohomology manifolds which are inverse limits, Fund. Math.137(1991), no. 2, 81–95
1991
-
[33]
Jankiewicz, S
K. Jankiewicz, S. Norin, and D. T. Wise,Virtually fibering right-angled Coxeter groups, J. Inst. Math. Jussieu20 (2021), no. 3, 957–987
2021
-
[34]
Kielak,Residually finite rationally solvable groups and virtual fibring, J
D. Kielak,Residually finite rationally solvable groups and virtual fibring, J. Amer. Math. Soc.33(2020), no. 2, 451–486
2020
-
[35]
Lafont, B
J.-F. Lafont, B. Minemyer, G. Sorcar, M. Stover, and J. Wells,High-dimensional hyperbolic Coxeter groups that virtually fiber, Math. Ann. (in press)
-
[36]
J. M. Mackay,Conformal dimension and random groups, Geom. Funct. Anal.22(2012), no. 1, 213–239
2012
-
[37]
J. M. Mackay,Conformal dimension via subcomplexes for small cancellation and random groups, Math. Ann.364 (2016), no. 3-4, 937–982
2016
-
[38]
J. M. Mackay and J. T. Tyson,Conformal dimension, Univ. Lecture Ser., vol. 54, American Mathematical Society, Providence, RI, 2010, Theory and application
2010
-
[39]
Moussong,Hyperbolic Coxeter groups, Ph.D
G. Moussong,Hyperbolic Coxeter groups, Ph.D. thesis, Ohio State, 1988, p. 55
1988
-
[40]
Osajda,A construction of hyperbolic Coxeter groups, Comment
D. Osajda,A construction of hyperbolic Coxeter groups, Comment. Math. Helv.88(2013), no. 2, 353–367
2013
-
[41]
Pansu,Dimension conforme et sphère à l’infini des variétés à courbure négative, Ann
P. Pansu,Dimension conforme et sphère à l’infini des variétés à courbure négative, Ann. Acad. Sci. Fenn. Ser. A I Math.14(1989), no. 2, 177–212
1989
-
[42]
Ronan,Lectures on buildings, University of Chicago Press, Chicago, IL, 2009, Updated and revised
M. Ronan,Lectures on buildings, University of Chicago Press, Chicago, IL, 2009, Updated and revised
2009
-
[43]
Schesler and M
E. Schesler and M. C. B. Zaremsky,Random subcomplexes of finite buildings, and fibering of commutator subgroups of right-angled Coxeter groups, J. Topol.16(2023), no. 1, 20–56
2023
-
[44]
Stark,Visual metrics on boundaries of hyperbolic spaces, preprint,arXiv:2506.10108
E. Stark,Visual metrics on boundaries of hyperbolic spaces, preprint,arXiv:2506.10108
-
[45]
Świątkowski,Hyperbolic Coxeter groups with Sierpiński carpet boundary, Bull
J. Świątkowski,Hyperbolic Coxeter groups with Sierpiński carpet boundary, Bull. Lond. Math. Soc.48(2016), no. 4, 708–716
2016
-
[46]
Świątkowski,Trees of manifolds as boundaries of spaces and groups, Geom
J. Świątkowski,Trees of manifolds as boundaries of spaces and groups, Geom. Topol.24(2020), no. 2, 593–622
2020
-
[47]
Xie,Quasi-isometric rigidity of Fuchsian buildings, Topology45(2006), no
X. Xie,Quasi-isometric rigidity of Fuchsian buildings, Topology45(2006), no. 1, 101–169. TU Wien, Institute of Discrete Mathematics and Geometry, Wiedener Hauptstrasse 8-10, 1040 Vienna, Austria, 0000-0002-6340-469X Email address:christopher.cashen@tuwien.ac.at Department of M...
2006
Reviewed August 4, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.