Pith. sign in

REVIEW 3 major objections 5 minor 45 references

Stable cylinders and fine structures for hyperbolic groups and curve graphs

T0 review · 3 major / 5 minor · reviewed 2026-08-10 · deepseek-v4-flash

Pith's one-line read Every residually finite hyperbolic group admits globally stable cylinders, and curve graphs of finite-type surfaces do too, via a wall-dual upgrade into median spaces.

desk verdict Strong new architecture, but Theorem 1.1 rests on a load-bearing proposition that is only sketched, so the paper is conditional as written yet well worth a serious referee. read the letter →

arxiv 2501.13600 v1 pith:ZS7NB5SI submitted 2025-01-23 math.GT math.GRmath.MG

classification math.GTmath.GRmath.MG MSC 20F6520F6757K20
keywords globallystablecylindershyperbolicgroupscurvegraphsquasitreesquasimedianmapsmedianalgebrasdualisablesystemsmappingclass
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

This paper answers a 1995 question in geometric group theory by proving that every residually finite hyperbolic group has globally stable cylinders: a choice of tube around each geodesic that is reversible and agrees for all triples except inside a bounded number of small balls. The same conclusion is proved for the curve graph of every finite-type surface, under the action of the mapping class group. The route is to first embed the space equivariantly and quasimedianly into a finite product of quasitrees, and then apply a generalised wall-dual construction that replaces the coarse hyperbolic space by a finer median space with exact gates. On that finer space, cylinders built from 'distant' walls are shown to be globally stable, and stability transfers back along the quasiisometry. The result gives hyperbolic groups a globally stable bicombing and simplifies the algorithmic solution of equations over such groups.

What carries the argument

The load-bearing machinery is a dualisable system of chains of walls. Starting from a product of quasitrees, walls are induced by balls in each factor; a chain is a sequence of walls each separating its predecessor from its successor, and the system keeps only chains whose crossing patterns avoid large square grids. The dual space, the set of ultrafilters on walls at finite distance from the original space, is a roughly geodesic hyperbolic median space whose balls and halfspaces are gated, with a gate map for every gated subset. The bound on grid size supplies a surrogate for finite dimensionality, replacing the hyperplane-dimension argument used for cube complexes. A wall is called distant from $x$ and $y$ when every monochromatic chain separating $x$ from $y$ and crossing it is short; the cylinder between $x$ and $y$ is a neighbourhood of the intersection of all halfspaces of distant walls that contain both points.

What would settle it

Take a residually finite hyperbolic group, build its quasitree product factors, and check whether every geodesic in the group projects to an unparametrised quasigeodesic in each factor; any geodesic whose projection backtracks by an amount growing with length would falsify Proposition 6.2 and remove the input needed for Theorem 1.1.

Watch

Extended reading notes

Core claim

At the centre of the paper is Theorem 5.8: if a roughly geodesic hyperbolic space $X$ with a group action has finite strong quasitree rank $m$ — meaning a $G$-equivariant, quasimedian, quasiisometric embedding into a product of $m$ quasitrees — then the pair $(G,X)$ admits globally $(2m+1,R)$-stable cylinders for some constant $R$. The cylinders are defined on the dual wall-space $S^C$, which is quasiisometric to $X$ and carries an exact median structure; the proof shows that the interval of distant walls between two points is a uniform quasiline, and that the symmetric difference of two such intervals near their common basepoint is covered by at most $m+1$ uniformly bounded balls. Applying this to residually finite hyperbolic groups and to curve graphs yields the headline theorems, and, as a byproduct, an equivariant quasimedian quasiisometric embedding of each curve graph into a finite product of quasitrees.

Load-bearing premise

The construction needs the known embedding of the group or space into a finite product of quasitrees to be quasimedian; for residually finite hyperbolic groups this upgrade is only sketched, and for curve graphs a related quasiisometry is compressed, so if either gap is real the cylinder proof collapses.

Editorial extensions

If this is right

  • Every residually finite hyperbolic group admits globally stable cylinders, hence a globally stable bicombing and coarsely canonical representatives for group elements.
  • The curve graph of every finite-type surface admits globally stable cylinders that are equivariant under the mapping class group.
  • Curve graphs admit equivariant, quasimedian, quasiisometric embeddings into finite products of quasitrees, resolving the open point left by earlier non-equivariant embeddings.
  • Any hierarchically hyperbolic group with strong (QT) has its largest hyperbolic space with strong (QT) and with globally stable cylinders; residually finite Artin groups of large and hyperbolic type are one concrete class.
  • If all hyperbolic groups were shown to have strong (QT), the same theorem would give them globally stable cylinders without further work.

Reading between the lines

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

  • The paper's architecture exposes one missing input for a full solution of the original 1995 question: a quasimedian version of property (QT) for all hyperbolic groups. The authors pose this as a question, but the conditional conclusion is direct from Theorem 5.8.
  • Because the stability bound is $2m+1$ in terms of quasitree rank $m$, sharper rank bounds would directly improve cylinder quality; for rank-one spaces the construction suggests at most three exceptional balls per triple, a quantitative prediction that could be tested on concrete groups.
  • The wall-dual thickening does not use residual finiteness, so any hyperbolic space with a quasimedian quasitree model is a candidate for stable cylinders; deformation spaces of surfaces and other hierarchically hyperbolic spaces would be natural next cases once equivariant quasimedian embeddings are known.
  • The exact gates and finite-intersection properties produced by the wall-dual construction may be reusable beyond cylinders, for example to build canonical projections or exact medians in hyperbolic spaces.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 5 minor

Summary. The paper claims to prove that every residually finite hyperbolic group and every curve graph of a finite-type surface (with mapping class group action) admits globally stable cylinders, resolving the Rips–Sela question in these cases and giving the first equivariant quasiisometric embeddings of curve graphs into finite products of quasitrees. The architecture is: define strong (QT) (equivariant, quasimedian quasiisometric embedding into a finite product of quasitrees), thicken such a space using a generalised Sageev wall-space construction to obtain a median, Helly, hyperbolic space with controlled wall combinatorics, and then construct globally stable cylinders directly in that thickening (Theorem 5.8). The applications then reduce to establishing strong (QT): for residually finite hyperbolic groups via Bestvina–Bromberg–Fujiwara plus a quasimedian upgrade (Proposition 6.2), and for curve graphs via a similar upgrade plus a comparison between the thickened product and the curve graph (Proposition 7.3).

Significance. If the main claims hold, the paper resolves a long-standing question of Rips–Sela for a large class of hyperbolic groups and introduces a new structural property, strong (QT), that cleanly implies globally stable cylinders. The main cylinder construction (Theorem 5.8) is original and carefully organised: it develops a wall-space analogue of the Lazarovich–Sageev cube-complex argument without needing cubulation, which is essential because residually finite hyperbolic groups with Property (T) are not cubulated. The paper also gives a unified treatment that yields cylinders for curve graphs and, conditionally, for other hierarchically hyperbolic groups. The proofs are largely self-contained for the core cylinder theorem, and the conceptual framework is likely to be influential. However, as written, the two load-bearing bridges to the advertised applications are not fully demonstrated.

major comments (3)
  1. [§6, Proposition 6.2] Proposition 6.2 is the only step that upgrades the Bestvina–Bromberg–Fujiwara property (QT) to strong (QT) for residually finite hyperbolic groups, and Theorem 6.3 and Theorem 1.1 depend on it. The proof is explicitly only an outline, and the text states that the quasimedian upgrade 'has not been explicitly stated in the literature' and refers to [HP22, Prop. 3.9] and [Pet21, Prop. 3.2] for details. The critical assertion—that for a geodesic γ in the finite-index factor-preserving subgroup H, each component orbit map f_i sends γ to an unparametrised quasigeodesic in the quasitree T_i—is not proved here, and the final sentence of the outline ('By a careful choice of which subintervals to consider, one can then realize f_i γ as a concatenation...') states exactly the desired conclusion. Lemma 2.4 cannot replace this step because the product of m>1 quasitrees is not hyperbolic. As written, Theorem 1.1 is conditional on an unstated published argument, so this is a load-bearing gap that must be filled by a complete proof or a precise quotation of a result that implies the quasimedian property of orbit maps.
  2. [§7, Proposition 7.3] Proposition 7.3 is the second load-bearing bridge: it asserts that the thickened dual space (S, d_{E^K}) is quasiisometric to the curve graph CΣ, which is necessary for Theorem 7.6 and consequently for Theorems 1.2 and 1.3. The proof is a compressed sketch that relies on several external results ([DZ22, Lem. 7.10], [MM99, Thm 1.3]) and on informal claims about hulls, coarse gates, and squares in product regions. In particular, the step producing chains c_i separating H_i from H_{i+1} and the subsequent 'almost all elements cross' arguments are not given in enough detail to verify the uniform constants or the existence of the K–chains. Since the entire curve-graph application passes through this proposition, the manuscript should either provide a complete proof or isolate a precise statement with full hypotheses and refer to a proof that is publicly available in the same form.
  3. [§5, Theorem 5.8] The central cylinder theorem is well structured, but one point in the proof deserves clarification: in the final paragraph, the argument distinguishes the case d_C(x, q) ≥ r − mL − L and then handles the complementary case using Corollary 5.7, but the transition to 'at most m+1 balls' relies on bounding d_C(q, g_{[x,y]}(q)) by 2 in the second case. The text says 'all but one elements of c cross every element of b, so the fact that c ∈ C implies that |c| ≤ 2'; this is plausible given Lemma 4.4, but the deduction that the remaining elements of c cross b is stated without a full justification of why they cannot separate x from y. Since this is the key estimate controlling the number of exceptional balls, a short extra explanation would remove a potential source of error.
minor comments (5)
  1. [§7, heading] The section heading contains a typo: 'Cur ve graphs' should be 'Curve graphs'.
  2. [§6, Proposition 6.2] The proof outline does not specify which finite-index subgroup H is used or how the constants in the quasimedian estimate depend on the index; this should be made explicit when the proof is completed.
  3. [§2, Definition 2.2] In the displayed stability condition, the notation '∖' is used for set difference; it would be clearer to use the standard '\setminus' symbol consistently.
  4. [§2, Proposition 2.5] In the proof of Proposition 2.5, the notation 'd_X(x_1, φ(q)) > ⟨y_1, z_1⟩_{x_1}' is meaningful but could be confused with an open interval; consider using '\langle y_1, z_1\rangle_{x_1}' with a word of explanation, as is done elsewhere.
  5. [§4, Lemma 4.2] The proof that π_iγ is an unparametrised rough geodesic in T_{D_i} cites a fact that is stated later ([Pet22, Lem. 2.16]); adding an explicit parenthetical reference at this point would improve readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: stable cylinders are derived from strong (QT) by an independent construction; the quasimedian upgrade cited from prior work is a proof gap, not a circular step.

full rationale

The paper's derivation chain is not circular. Theorem 5.8 takes strong (QT) as a hypothesis and constructs globally stable cylinders on the thickened dual space S^C, using walls and intervals built from the quasitree factors. The proof of stability (Lemmas 5.2–5.7 and Theorem 5.8) is carried out in the paper, and the transfer from S^C back to X uses Proposition 2.5, which is proved in the text. Strong (QT) is not defined in terms of stable cylinders, so the conclusion is not an input by construction. The applications in Sections 6–7 use BBF's embedding theorem and a quasimedian upgrade (Proposition 6.2, Theorem 7.1 combining [BBF21] with [Pet21, Prop. 3.2]). Those are results by overlapping authors, but they concern orbit maps into products of quasitrees, not stable cylinders, and they are independent evidence for the intermediate property strong (QT), not the target theorem. The paper explicitly notes that Proposition 6.2 'has not been explicitly stated in the literature' and gives only a proof outline; this is a completeness gap rather than circularity, because the outline does not reduce strong (QT) to the cylinder conclusion and no equation or fitted parameter is recycled. No uniqueness theorem or ansatz is imported from the authors to force the construction. Therefore the central derivation is self-contained modulo independent background, and the circularity score is 0.

Assumptions & free parameters 3 free parameters · 8 assumptions · 0 invented entities

The central derivation is largely self-contained after accepting the generalised Sageev construction and the embedding theorems. The most notable input is the quasimedian upgrade (Proposition 6.2) whose full proof is not in the paper. No numeric fitting occurs; all constants are existential coarse-geometry constants.

free parameters (3)
  • K (quasitree ball radius) = unspecified (K>100δ chosen sufficiently large)
    Defines the walls in Section 3; the cylinder construction depends on this scale.
  • L (grid bound) = existential, from Lemma 4.4
    Bound on square grids in W; used to define L-chains and the dualisable system C.
  • K (properness scale in Proposition 7.3) = sufficiently large, not explicit
    Defines E^K; the proposition proves quasiisometry to the curve graph for all sufficiently large K.
assumptions (8)
  • domain assumption Theorem 1.5 ([PZ24, Thm 7.13]): every hyperbolic graph S has a hyperbolic walled space (X,d_X,W) with median, Helly, gate, and halfspace convexity properties.
    Core prerequisite for the cylinder construction; invoked in Sections 4-5 without proof.
  • domain assumption Theorem 6.1 ([BBF21, Thm 1.1]): residually finite hyperbolic groups admit equivariant quasi-isometric embeddings in finite products of quasitrees.
    Used to establish strong (QT) for residually finite hyperbolic groups in Theorem 6.3.
  • domain assumption Proposition 6.2: orbit maps G → ∏ T_i from the BBF embedding are quasimedian.
    Only proved as an outline in this paper; full details are deferred to [HP22, Prop. 3.9] and [Pet21, Prop. 3.2]. This is load-bearing for Theorem 1.1.
  • domain assumption Theorem 7.1: mapping class groups have strong (QT), i.e. quasimedian orbit maps into finite products of quasitrees.
    Combination of [BBF21, Thm 1.2] and [Pet21, Prop. 3.2]; assumed for the curve graph part.
  • domain assumption X has finite strong quasitree rank m<∞ (Definition 4.1), the hypothesis of Theorem 5.8.
    The general theorem is conditional on this property; the paper proves the property for residually finite hyperbolic groups and for mapping class groups using external results.
  • domain assumption Facts about median-quasiconvex halfspaces and hulls for mapping class groups (Bowditch, BHS19, Bow18) and [DZ22, Lem. 7.10] for coarse gates.
    Used in Proposition 7.3 to prove the quasiisometry between (S,d_E^K) and CΣ.
  • domain assumption [PZ24, Prop. 4.6] gives median, 3m-roughly geodesic paths in dual spaces; [PZ24, Lem. 5.3] gives combination of chains.
    Used in proofs of Proposition 2.14 and Proposition 4.6 to control distances in dual spaces.
  • standard math Reformulation of Manning's bottleneck criterion: a geodesic space is a quasitree if every point on a geodesic is uniformly close to any path [Man05].
    Used in Proposition 2.14 to identify dual spaces of 0-separated systems as quasitrees.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Stable cylinders and fine structures for hyperbolic groups and curve graphs." pith.science (2026). https://pith.science/paper/ZS7NB5SI

@misc{pith2026250113600,
  author       = {Pith},
  title        = {Pith review of: Stable cylinders and fine structures for hyperbolic groups and curve graphs},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ZS7NB5SI}},
  note         = {Machine review of arXiv:2501.13600}
}
read the original abstract

In 1995, Rips and Sela asked if torsionfree hyperbolic groups admit globally stable cylinders. We establish this property for all residually finite hyperbolic groups and curve graphs of finite-type surfaces. These cylinders are fine objects, and the core of our approach is to upgrade the hyperbolic space to one with improved fine properties via a generalisation of Sageev's construction. The methods also let us prove that curve graphs of surfaces admit equivariant quasiisometric embeddings in finite products of quasitrees.

Figures

Figures reproduced from arXiv: 2501.13600 by the authors.

Figure 1
Figure 1. The stability condition for cylinders [PITH_FULL_IMAGE:figures/full_fig_p005_1.png] view at source ↗
Figure 2
Figure 2. The case in the proof of Proposition 2.14 where many elements of c separate w from h1 and h2. 2.4. Large-scale geometry of mapping class groups Here we discuss some aspects of the geometry of mapping class groups. Their primary use will be to prove Proposition 7.3, so the reader who is prepared to take that on faith can skip this section. They are all fairly standard from the perspective of hierarchical hyperbolicit… view at source ↗
Figure 3
Figure 3. Proof of Proposition 5.6. The yellow walls k1 and k2 separate h2 from both y and z. Hence no other yellow wall can both cross h2 and separate y from z. Corollary 5.7. There exist balls B1, . . . , Bm in SC, each of radius at most 2Lpm ` 1q, such that for any h P HL r´L´1 px, yq ∖ HLpx, zq, there is some i such that grx,ys ph ´q Ă Bi. Proof. By Proposition 5.6, any collection of such hyperplanes whose gates to rx, ys… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

45 extracted references · 32 canonical work pages

  1. [1]

    Carolyn Abbott, Jason Behrstock, and Matthew G. Durham. Largest acylindrical actions and stability in hierarchically hyperbolic groups. Trans. Amer. Math. Soc. Ser. B , 8:66--104, 2021. With an appendix by Daniel Berlyne and Jacob Russell

  2. [2]

    On the asymptotic dimension of the curve complex

    Mladen Bestvina and Ken Bromberg. On the asymptotic dimension of the curve complex. Geom. Topol. , 23(5):2227--2276, 2019

  3. [3]

    Constructing group actions on quasi-trees and applications to mapping class groups

    Mladen Bestvina, Ken Bromberg, and Koji Fujiwara. Constructing group actions on quasi-trees and applications to mapping class groups. Publ. Math. Inst. Hautes \' E tudes Sci. , 122:1--64, 2015

  4. [4]

    Proper actions on finite products of quasi-trees

    Mladen Bestvina, Ken Bromberg, and Koji Fujiwara. Proper actions on finite products of quasi-trees. Ann. H. Lebesgue , 4:685--709, 2021

  5. [5]

    Bell and Koji Fujiwara

    Gregory C. Bell and Koji Fujiwara. The asymptotic dimension of a curve graph is finite. J. Lond. Math. Soc. (2) , 77(1):33--50, 2008

  6. [6]

    Bandelt and Jarmila Hedl\' kov\' a

    Hans-J. Bandelt and Jarmila Hedl\' kov\' a . Median algebras. Discrete Math. , 45(1):1--30, 1983

  7. [7]

    Asymptotic dimension and small-cancellation for hierarchically hyperbolic spaces and groups

    Jason Behrstock, Mark Hagen, and Alessandro Sisto. Asymptotic dimension and small-cancellation for hierarchically hyperbolic spaces and groups. Proc. Lond. Math. Soc. (3) , 114(5):890--926, 2017

  8. [8]

    Hierarchically hyperbolic spaces II : C ombination theorems and the distance formula

    Jason Behrstock, Mark Hagen, and Alessandro Sisto. Hierarchically hyperbolic spaces II : C ombination theorems and the distance formula. Pacific J. Math. , 299(2):257--338, 2019

Show all 45 references
  1. [9]

    Jason Behrstock and Yair N. Minsky. Centroids and the rapid decay property in mapping class groups. J. Lond. Math. Soc. (2) , 84(3):765--784, 2011

  2. [10]

    Bowditch

    Brian H. Bowditch. Coarse median spaces and groups. Pacific J. Math. , 261(1):53--93, 2013

  3. [11]

    Bowditch

    Brian H. Bowditch. Convex hulls in coarse median spaces. Preprint available at homepages.warwick.ac.uk/ masgak/papers/hulls-cms.pdf , 2018

  4. [12]

    S. V. Buyalo. Capacity dimension and embedding of hyperbolic spaces into the product of trees. Algebra i Analiz , 17(4):42--58, 2005

  5. [13]

    Real cubings and asymptotic cones of hierarchically hyperbolic groups

    Montserrat Casals-Ruiz , Mark Hagen, and Ilya Kazachkov. Real cubings and asymptotic cones of hierarchically hyperbolic groups. Preprint available at www.wescac.net/cones.html , 2022

  6. [14]

    Existential questions in (relatively) hyperbolic groups

    Fran c ois Dahmani. Existential questions in (relatively) hyperbolic groups. Israel J. Math. , 173:91--124, 2009

  7. [15]

    Foliations for solving equations in groups: free, virtually free, and hyperbolic groups

    Fran c ois Dahmani and Vincent Guirardel. Foliations for solving equations in groups: free, virtually free, and hyperbolic groups. J. Topol. , 3(2):343--404, 2010

  8. [16]

    Durham and Abdul Zalloum

    Matthew G. Durham and Abdul Zalloum. The geometry of genericity in mapping class groups and T eichm\"uller spaces via CAT (0) cube complexes. arXiv:2207.06516 , 2022

  9. [17]

    Dehn filling in relatively hyperbolic groups

    Daniel Groves and Jason Fox Manning. Dehn filling in relatively hyperbolic groups. Israel J. Math. , 168:317--429, 2008

  10. [18]

    Extra-large type A rtin groups are hierarchically hyperbolic

    Mark Hagen, Alexandre Martin, and Alessandro Sisto. Extra-large type A rtin groups are hierarchically hyperbolic. Math. Ann. , 388(1):867--938, 2024

  11. [19]

    Property (QT) for 3-manifold groups

    Suzhen Han, Hoang Thanh Nguyen, and Wenyuan Yang. Property (QT) for 3-manifold groups. arXiv:2108.03361 , 2021

  12. [20]

    Hagen and Harry Petyt

    Mark F. Hagen and Harry Petyt. Projection complexes and quasimedian maps. Algebr. Geom. Topol. , 22(7):3277--3304, 2022

  13. [21]

    Embedding mapping class groups into a finite product of trees

    David Hume. Embedding mapping class groups into a finite product of trees. Groups Geom. Dyn. , 11(2):613--647, 2017

  14. [22]

    Residual finiteness of certain 2-dimensional A rtin groups

    Kasia Jankiewicz. Residual finiteness of certain 2-dimensional A rtin groups. Adv. Math. , 405(108487):1--37, 2022

  15. [23]

    Volume vs

    Nir Lazarovich. Volume vs. complexity of hyperbolic groups. arXiv:2107.13250 , 2021

  16. [24]

    Finite index rigidity of hyperbolic groups

    Nir Lazarovich. Finite index rigidity of hyperbolic groups. arXiv:2302.04484, to appear in J. Eur. Math. Soc. , 2023

  17. [25]

    Globally stable cylinders for hyperbolic CAT (0) cube complexes

    Nir Lazarovich and Michah Sageev. Globally stable cylinders for hyperbolic CAT (0) cube complexes. Groups Geom. Dyn. , 18(1):203--211, 2024

  18. [26]

    G. S. Makanin. Equations in a free group. Izv. Akad. Nauk SSSR Ser. Mat. , 46(6):1199--1273, 1344, 1982

  19. [27]

    G. S. Makanin. Decidability of the universal and positive theories of a free group. Izv. Akad. Nauk SSSR Ser. Mat. , 48(4):735--749, 1984

  20. [28]

    Geometry of pseudocharacters

    Jason Fox Manning. Geometry of pseudocharacters. Geom. Topol. , 9:1147--1185, 2005

  21. [29]

    I. Mineyev. Straightening and bounded cohomology of hyperbolic groups. Geom. Funct. Anal. , 11(4):807--839, 2001

  22. [30]

    Masur and Yair N

    Howard A. Masur and Yair N. Minsky. Geometry of the complex of curves. I . H yperbolicity. Invent. Math. , 138(1):103--149, 1999

  23. [31]

    Ideal bicombings for hyperbolic groups and applications

    Igor Mineyev, Nicolas Monod, and Yehuda Shalom. Ideal bicombings for hyperbolic groups and applications. Topology , 43(6):1319--1344, 2004

  24. [32]

    Acylindrical actions for two-dimensional A rtin groups of hyperbolic type

    Alexandre Martin and Piotr Przytycki. Acylindrical actions for two-dimensional A rtin groups of hyperbolic type. Int. Math. Res. Not. IMRN , 17:13099--13127, 2022

  25. [33]

    Obstructions to cocompact cubulation

    Zachary Munro and Harry Petyt. Obstructions to cocompact cubulation. arXiv:2407.09275 , 2024

  26. [34]

    Mackay and Alessandro Sisto

    John M. Mackay and Alessandro Sisto. Embedding relatively hyperbolic groups in products of trees. Algebr. Geom. Topol. , 13(4):2261--2282, 2013

  27. [35]

    The B aum- C onnes conjecture for hyperbolic groups

    Igor Mineyev and Guoliang Yu. The B aum- C onnes conjecture for hyperbolic groups. Invent. Math. , 149(1):97--122, 2002

  28. [36]

    Mapping class groups are quasicubical

    Harry Petyt. Mapping class groups are quasicubical. arXiv:2112.10681, to appear in Amer. J. Math. , 2021

  29. [37]

    On the large-scale geometry of mapping class groups

    Harry Petyt. On the large-scale geometry of mapping class groups . PhD thesis, University of Bristol, 2022

  30. [38]

    Hyperbolic models for CAT (0) spaces

    Harry Petyt, Davide Spriano, and Abdul Zalloum. Hyperbolic models for CAT (0) spaces. Adv. Math. , 450(109742):1--66, 2024

  31. [39]

    Constructing metric spaces from systems of walls

    Harry Petyt and Abdul Zalloum. Constructing metric spaces from systems of walls. arXiv:2404.12057 , 2024. With an appendix together with Davide Spriano

  32. [40]

    A. A. Razborov. Systems of equations in a free group. Izv. Akad. Nauk SSSR Ser. Mat. , 48(4):779--832, 1984

  33. [41]

    Rips and Z

    E. Rips and Z. Sela. Canonical representatives and equations in hyperbolic groups. Invent. Math. , 120(3):489--512, 1995

  34. [42]

    Ends of group pairs and non-positively curved cube complexes

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

  35. [43]

    Property (QT) of relatively hierarchically hyperbolic groups

    Bingxue Tao. Property (QT) of relatively hierarchically hyperbolic groups. arXiv:2412.20065 , 2024

  36. [44]

    D. T. Wise. Cubulating small cancellation groups. Geom. Funct. Anal. , 14(1):150--214, 2004

  37. [45]

    Hyperbolic groups admit proper affine isometric actions on l^p -spaces

    Guoliang Yu. Hyperbolic groups admit proper affine isometric actions on l^p -spaces. Geom. Funct. Anal. , 15(5):1144--1151, 2005

Pith tools

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