Pith. sign in

REVIEW 4 minor 55 references

Coarse embeddings of products of trees as quasi-isometry invariants

T0 review · 0 major / 4 minor · reviewed 2026-07-10 · grok-4.5

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

Pith's one-line read The largest product of bushy trees that embeds into an HHS is the max number of pairwise orthogonal bushy domains; this distinguishes mapping class groups, Torelli groups, Johnson kernels and more.

desk verdict Clean new QI invariant from products of bushy trees that separates Torelli/Johnson kernels and certain braid/Bestvina-Brady groups where asdim and vcd fail; proofs look solid. read the letter →

arxiv 2607.08356 v1 pith:5O24AHIQ submitted 2026-07-09 math.GT math.GRmath.MG

Mark Hagen , Alessandro Sisto This is my paper · ORCID
classification math.GTmath.GRmath.MG MSC 20F6557M0720F6757K20
keywords hierarchicallyhyperbolicspacescoarseembeddingsproductsoftreesquasi-isometryinvariantsmappingclassgroupsTorelliJohnsonkernelsBestvina-Brady
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 proposes a new quasi-isometry invariant: the largest number of factors of a product of bushy trees (or free groups of rank 2) that can coarsely embed into a space. For a standard hierarchically hyperbolic space the number is at most the size of a largest set of pairwise orthogonal bushy domains in its hierarchy. The authors prove this by showing that any coarse embedding of a product of k regular trees produces a bilipschitz k-flat in an asymptotic cone of the factored space (the HHS with its quasilines discarded). They then compute the number for mapping class groups, Torelli groups, Johnson kernels, surface braid groups and certain Bestvina-Brady groups, and use the resulting values to separate those groups up to quasi-isometry and to obstruct coarse embeddings between them. The invariant is monotonic under coarse embeddings and subgroups, unlike the usual quasiflat rank, and already distinguishes pairs that virtual cohomological dimension and asymptotic dimension cannot.

What carries the argument

Theorem 3.1: a coarse embedding of T_3^k into a standard HHS yields, after passage to the factored space and asymptotic cones, a bilipschitz k-flat that is the ultralimit of hierarchy boxes supported on pairwise orthogonal bushy domains.

What would settle it

Exhibit a coarse embedding of a product of more free groups of rank 2 than the orthogonality number of bushy domains into a standard HHS (for instance into a mapping class group), or show that the factored map fails to be quasi-isometric in most directions for some standard HHS.

Watch

Extended reading notes

Core claim

Any coarse embedding of a product of k bushy trees into a standard hierarchically hyperbolic space X produces a standard k-flat in an asymptotic cone of the factored space of X; therefore k cannot exceed the maximal number of pairwise orthogonal bushy domains.

Load-bearing premise

The HHS must be standard: every unbounded non-minimal domain is bushy, every non-bushy unbounded domain is a quasiline, and the space has bounded geometry.

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

0 major / 4 minor

Summary. The paper introduces the maximal number of factors of a product of bushy trees (or free groups) that coarsely or quasi-isometrically embed into a space as a quasi-isometry invariant, and computes it for mapping class groups, Torelli groups, Johnson kernels, surface braid groups and Bestvina–Brady groups. The core technical result (Theorem 3.1) asserts that a coarse embedding of the product of k regular 3-valent trees into a standard hierarchically hyperbolic space X produces a standard k-flat in an asymptotic cone of the factored space of X; consequently k is bounded by the maximal number of pairwise orthogonal bushy domains (Corollary 7 and the refined Corollary 3.6). These bounds are then used to distinguish quasi-isometry classes and to obstruct coarse embeddings that are invisible to asymptotic dimension or virtual cohomological dimension.

Significance. The work supplies a new, monotonic quasi-isometry invariant that is strictly finer than quasiflat rank for several important classes of groups. The applications to Torelli groups versus Johnson kernels (Corollary 3) and to surface braid groups of different genera (Theorem 4) are new and cleanly separate groups that share the same asymptotic dimension and virtual cohomological dimension. The technical machinery—counting arguments that control the factored map, followed by an inductive geometric-analysis argument that upgrades full-rank Jacobians to bilipschitz flats—extends the quasiflat techniques of earlier HHS papers and is likely to be reusable for other cubulated or hierarchically hyperbolic groups. The results are parameter-free once the standard-HHS hypotheses are verified, and the verification for the intended examples is supplied.

minor comments (4)
  1. In the proof of Lemma 4.6 the constant C is required to be “sufficiently large in terms of the HHS parameters only,” but the precise lower bounds needed for the realisation theorem and the partial order on relevant domains are never collected in one place; a short list of the inequalities imposed on C would make the argument easier to check.
  2. Figure 1 and Figure 2 are helpful, yet the captions do not record the precise Euler-characteristic calculation that yields the floor((3g+p-2)/2) bound; a one-line reference to the argument of Lemma 3.7 would remove any ambiguity.
  3. The notation for the factored metric and the factored distance-formula sums (ˆd, ˆσ) is introduced in Definition 2.3 and Remark 2.14, but is occasionally reused without the hat when the ambient space is already the factored space; a consistent convention would improve readability.
  4. In Section 5.1 the appeal to the co-area formula and to Eilenberg–Harrold is correct, yet the precise statement of the co-area formula used (Sim18, Thm. 2.7.3) is not reproduced; a one-sentence reminder of the hypotheses would help readers less familiar with geometric measure theory.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity; the bound on tree factors is derived from HHS axioms via new counting and induction, not forced by definition or self-citation of the target claim.

full rationale

This pure-math paper proves Theorem 3.1 (coarse embedding of T_3^k into a standard HHS yields a standard k-flat in an asymptotic cone of the factored space) by a self-contained counting argument (Section 4: Lemmas 4.3–4.8 and Proposition 4.2 controlling the factored map via integer partitions and quasiline projections) followed by induction on k using asymptotic cones, full-rank Jacobians, and underspill (Section 5). Corollary 7 then immediately reads off that k cannot exceed the orthogonality number of bushy domains; the numerical bounds for MCG, Torelli, etc., are obtained by independent combinatorial arguments (Euler characteristic, incompatibility of one-holed tori) that do not feed back into the general theorem. Self-citations ([BHS17a,b], [BHS19], [BHS21]) supply only the ambient HHS toolkit (distance formula, gates, factored spaces) already established independently of the present claims; none of those citations is a uniqueness theorem or ansatz that forces the tree-product bound. There are no fitted parameters, no empirical predictions, and no renaming of a known pattern. The single minor self-citation load is background, not circular.

Assumptions & free parameters 0 free parameters · 4 assumptions · 2 invented entities

The work rests on the standard axiomatic framework of hierarchical hyperbolicity (distance formula, product regions, coarse medians) together with classical real-analysis tools (Rademacher, co-area). No free parameters are fitted; the only new notions (standard HHS, incompatibility) are definitional and are used only to state the theorems cleanly.

assumptions (4)
  • domain assumption Distance formula for hierarchically hyperbolic spaces (BHS19 Thm 4.5 / BHMS24 Thm 2.9)
    Used throughout Sections 2-5 to convert projection distances into ambient distances.
  • domain assumption Existence of hierarchy paths and quasimedian quasiconvex product regions (BHS19)
    Needed to construct hierarchy boxes and their ultralimits.
  • standard math Rademacher theorem and co-area formula for Lipschitz maps between Euclidean spaces
    Invoked in Section 5.1 to locate full-rank Jacobians and rectifiable arcs in fibres.
  • domain assumption Bounded geometry of the underlying metric space of a standard HHS
    Standing Assumption 1; supplies the growth function used in the counting lemmas.
invented entities (2)
  • standard HHS independent evidence
    purpose: Package the technical hypotheses (bushiness of non-minimal domains, quasilines at the bottom, bounded geometry) under which the main theorem holds.
    Definitional convenience; every natural example (MCG, RAAGs, etc.) satisfies it after a trivial modification.
  • incompatibility of a set of domains with a subspace A independent evidence
    purpose: Exclude domains that cannot contribute to embeddings whose image lies in a prescribed subgroup (e.g., one-holed tori for Torelli).
    Definition 3.5; verified case-by-case for the applications.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Coarse embeddings of products of trees as quasi-isometry invariants." pith.science (2026). https://pith.science/paper/5O24AHIQ

@misc{pith2026260708356,
  author       = {Pith},
  title        = {Pith review of: Coarse embeddings of products of trees as quasi-isometry invariants},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/5O24AHIQ}},
  note         = {Machine review of arXiv:2607.08356}
}
read the original abstract

We consider the maximal number of factors of a product of bushy trees that can be quasi-isometrically, or even coarsely embedded into various groups of interest, including mapping class groups, Torelli groups, Johnson kernels, surface braid groups, and Bestvina-Brady groups. We use this to quasi-isometrically distinguish groups from the above classes, and also to rule out coarse embeddings between them. All these are applications of general statements about coarse embeddings of products of bushy trees into hierarchically hyperbolic spaces.

Figures

Figures reproduced from arXiv: 2607.08356 by the authors.

Figure 1
Figure 1. Cutting out g one-holed tori from Σg,p yields a sphere with g `p holes/punctures, which contains tg ` p ´ 2u disjoint 4-holed-spheres, for a total of Y 3g`p´2 2 ] “ g ` t g`p´2 2 u subsurfaces. product of these quasi-isometrically embeds into MCGpΣg,pq by the distance formula. The latter follows from Corollary 3.4 and Lemma 3.7. □ We now consider Torelli groups Ig, to which we will apply Corollary 3.6. In order to d… view at source ↗
Figure 2
Figure 2. The figure illustrates the pattern required to fit g ´ 1 4-holed spheres, each containing a separating curve, on Σg. Three 4-holed spheres are indicated with double arrows. Dehn-twisting this curve gives another such curve inside each 4-holed sphere. Powers of the Dehn twists around these two curves generate a free group, and the free groups coming from different 4-holed spheres commute, yielding a F g´1 2 subgroup,… view at source ↗
Figure 3
Figure 3. Three punctures get placed in a subsurface with non-zero genus, and the others get distributed in pairs into annuli, and if one remains it gets placed in the pair of pants in the middle of the figure. Proof. By Lemma 3.9, BnpΣnq contains a subgroup isomorphic to F n 2 , so we are left to argue that BnpΣ2q does not contain a coarsely embedded copy of F n 2 . This is because, by Theorem 1, MCGpΣn,nq does not, and BnpΣ… view at source ↗
Figures from the paper (2 more)
Figure 4
Figure 4. Figure 4: Constructing XK. The picture takes place in (a neighbourhood of) hullpx, yq. The red squares lie in standard product regions FUi ˆ FUj for various orthogonal pairs Ui , Uj , and the grey square is in FU5 ˆ FV for some V KU5 with V P S ´ Sql. The ă–partial order goes fr…
Figure 5
Figure 5. Figure 5: The cylinder B ˆ r´s, ss produced in Claim 5. triangulation of BN in order to regard it as a cycle). By Claim 5, hpBNq is homotopic to BN in R k`1 ´ tpu, so it also represents a non-trivial element of HkpR k`1 ´ tpuq. This forces hpNq to contain p, as required. □ 5.2. …

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

55 extracted references · 55 canonical work pages

  1. [1]

    Preprint , url=

    Median algebras , author=. Preprint , url=

    work page

  2. [2]

    Topology , FJOURNAL =

    Hempel, John , TITLE =. Topology , FJOURNAL =. 2001 , NUMBER =. doi:10.1016/S0040-9383(00)00033-1 , URL =

    work page doi:10.1016/s0040-9383(00)00033-1 2001

  3. [3]

    Preprint available at

    Real cubings and asymptotic cones of hierarchically hyperbolic groups , author=. Preprint available at

    work page

  4. [4]

    NTU/Tsinghua Lectures , note=

    Introduction to geometric measure theory , author=. NTU/Tsinghua Lectures , note=

    work page

  5. [5]

    Russell, Jacob and Spriano, Davide and Tran, Hung Cong , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2023 , NUMBER =. doi:10.2140/agt.2023.23.1167 , URL =

    work page doi:10.2140/agt.2023.23.1167 2023

  6. [6]

    , TITLE =

    Bowditch, Brian H. , TITLE =. 2006 , PAGES =. doi:10.1142/e003 , URL =

    work page doi:10.1142/e003 2006

  7. [7]

    arXiv preprint arXiv:2603.24706 , year=

    Coarse separation and splittings in right-angled Artin groups , author=. arXiv preprint arXiv:2603.24706 , year=

    work page arXiv

  8. [8]

    Polynomial hyperbolicity and products of free groups

    Polynomial hyperbolicity and products of free groups , author=. arXiv preprint arXiv:2605.20419 , year=

    work page Pith review arXiv

Show all 55 references
  1. [9]

    Journal of the London Mathematical Society , volume=

    Embedding products of trees into higher rank , author=. Journal of the London Mathematical Society , volume=. 2025 , publisher=

    2025

  2. [10]

    arXiv preprint arXiv:2605.12300 , year=

    Quasiisometric embeddings between right-angled Artin groups: rigidity , author=. arXiv preprint arXiv:2605.12300 , year=

    arXiv

  3. [11]

    New York J

    Hume, David and Sisto, Alessandro , TITLE =. New York J. Math. , FJOURNAL =. 2017 , PAGES =

    2017

  4. [12]

    Duke Math

    Ershov, Mikhail and He, Sue , TITLE =. Duke Math. J. , FJOURNAL =. 2018 , NUMBER =. doi:10.1215/00127094-2018-0005 , URL =

    2018 doi

  5. [13]

    Church, Thomas and Ershov, Mikhail and Putman, Andrew , TITLE =. J. Eur. Math. Soc. (JEMS) , FJOURNAL =. 2022 , NUMBER =. doi:10.4171/jems/1157 , URL =

    2022 doi

  6. [14]

    arXiv preprint arXiv:2506.10706 , year=

    Asymptotic and cohomological dimension of surface braid groups and poly-surface groups , author=. arXiv preprint arXiv:2506.10706 , year=

    arXiv

  7. [15]

    Bestvina, Mladen and Bux, Kai-Uwe and Margalit, Dan , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2010 , NUMBER =. doi:10.1090/S0894-0347-09-00643-2 , URL =

    2010 doi

  8. [16]

    , TITLE =

    Sauer, R. , TITLE =. Geom. Funct. Anal. , FJOURNAL =. 2006 , NUMBER =. doi:10.1007/s00039-006-0562-y , URL =

    2006 doi

  9. [17]

    , TITLE =

    Behrstock, Jason A. , TITLE =. Geom. Topol. , FJOURNAL =. 2006 , PAGES =. doi:10.2140/gt.2006.10.1523 , URL =

    2006 doi

  10. [18]

    , TITLE =

    Bowditch, Brian H. , TITLE =. Groups Geom. Dyn. , FJOURNAL =. 2020 , NUMBER =. doi:10.4171/GGD/557 , URL =

    2020 doi

  11. [19]

    2001 , PAGES =

    Burago, Dmitri and Burago, Yuri and Ivanov, Sergei , TITLE =. 2001 , PAGES =. doi:10.1090/gsm/033 , URL =

    2001 doi

  12. [20]

    Groups Geom

    Berlai, Federico and Robbio, Bruno , TITLE =. Groups Geom. Dyn. , FJOURNAL =. 2020 , NUMBER =. doi:10.4171/ggd/576 , URL =

    2020 doi

  13. [21]

    arXiv preprint arXiv:2407.09275 , year=

    Coarse obstructions to cocompact cubulation , author=. arXiv preprint arXiv:2407.09275 , year=

    arXiv

  14. [22]

    Eilenberg, Samuel and Harrold, Jr., O. G. , TITLE =. Amer. J. Math. , FJOURNAL =. 1943 , PAGES =. doi:10.2307/2371777 , URL =

    1943 doi

  15. [23]

    , TITLE =

    Bowditch, Brian H. , TITLE =. Invent. Math. , FJOURNAL =. 2008 , NUMBER =. doi:10.1007/s00222-007-0081-y , URL =

    2008 doi

  16. [24]

    2019 , journal=

    Quasiflats in coarse median spaces , author=. 2019 , journal=

    2019

  17. [25]

    Preprint , year=

    Convex hulls in coarse median spaces , author=. Preprint , year=

  18. [26]

    and Fujiwara, Koji , TITLE =

    Bell, Gregory C. and Fujiwara, Koji , TITLE =. J. Lond. Math. Soc. (2) , FJOURNAL =. 2008 , NUMBER =. doi:10.1112/jlms/jdm090 , URL =

    2008 doi

  19. [27]

    Bell, G. C. and Dranishnikov, A. N. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2006 , NUMBER =. doi:10.1090/S0002-9947-06-04088-8 , URL =

    2006 doi

  20. [28]

    Niblo, G. A. and Reeves, L. D. , TITLE =. J. Group Theory , FJOURNAL =. 2003 , NUMBER =. doi:10.1515/jgth.2003.028 , URL =

    2003 doi

  21. [29]

    Duke Math

    Eskin, Alex and Masur, Howard and Rafi, Kasra , TITLE =. Duke Math. J. , FJOURNAL =. 2017 , NUMBER =. doi:10.1215/00127094-0000006X , URL =

    2017 doi

  22. [30]

    , TITLE =

    Harer, John L. , TITLE =. Invent. Math. , FJOURNAL =. 1986 , NUMBER =. doi:10.1007/BF01388737 , URL =

    1986 doi

  23. [31]

    Topology , FJOURNAL =

    Kapovich, Michael and Kleiner, Bruce and Leeb, Bernhard , TITLE =. Topology , FJOURNAL =. 1998 , NUMBER =. doi:10.1016/S0040-9383(97)00091-8 , URL =

    1998 doi

  24. [32]

    and Minsky, Yair N

    Behrstock, Jason A. and Minsky, Yair N. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2008 , NUMBER =. doi:10.4007/annals.2008.167.1055 , URL =

    2008 doi

  25. [33]

    Huang, Jingyin , TITLE =. Geom. Topol. , FJOURNAL =. 2017 , NUMBER =. doi:10.2140/gt.2017.21.3467 , URL =

    2017 doi

  26. [34]

    and Susse, Tim , TITLE =

    Hagen, Mark F. and Susse, Tim , TITLE =. Israel J. Math. , FJOURNAL =. 2020 , NUMBER =. doi:10.1007/s11856-020-1967-2 , URL =

    2020 doi

  27. [35]

    , TITLE =

    Haglund, Fr\'ed\'eric and Wise, Daniel T. , TITLE =. Adv. Math. , FJOURNAL =. 2010 , NUMBER =. doi:10.1016/j.aim.2010.01.011 , URL =

    2010 doi

  28. [36]

    Bestvina, Mladen and Bromberg, Ken and Fujiwara, Koji , TITLE =. Publ. Math. Inst. Hautes \'Etudes Sci. , FJOURNAL =. 2015 , PAGES =. doi:10.1007/s10240-014-0067-4 , URL =

    2015 doi

  29. [37]

    Bestvina, Mladen and Brady, Noel , TITLE =. Invent. Math. , FJOURNAL =. 1997 , NUMBER =. doi:10.1007/s002220050168 , URL =

    1997 doi

  30. [38]

    Geometric and Functional Analysis , pages=

    Complete Classification of the Dehn Functions of Bestvina--Brady Groups , author=. Geometric and Functional Analysis , pages=. 2026 , publisher=

    2026

  31. [39]

    , TITLE =

    Bowditch, Brian H. , TITLE =. Geom. Dedicata , FJOURNAL =. 2014 , PAGES =. doi:10.1007/s10711-013-9874-x , URL =

    2014 doi

  32. [40]

    , TITLE =

    Bowditch, Brian H. , TITLE =. Math. Proc. Cambridge Philos. Soc. , FJOURNAL =. 2020 , NUMBER =. doi:10.1017/s0305004118000555 , URL =

    2020 doi

  33. [41]

    , TITLE =

    Bowditch, Brian H. , TITLE =. Groups Geom. Dyn. , FJOURNAL =. 2016 , NUMBER =. doi:10.4171/GGD/350 , URL =

    2016 doi

  34. [42]

    , TITLE =

    Bowditch, Brian H. , TITLE =. Pacific J. Math. , FJOURNAL =. 2013 , NUMBER =. doi:10.2140/pjm.2013.261.53 , URL =

    2013 doi

  35. [43]

    Geometric group theory , SERIES =

    Dru. Geometric group theory , SERIES =. 2018 , PAGES =. doi:10.1090/coll/063 , URL =

    2018 doi

  36. [44]

    , TITLE =

    Bowditch, Brian H. , TITLE =. Pacific J. Math. , FJOURNAL =. 2018 , NUMBER =. doi:10.2140/pjm.2018.293.1 , URL =

    2018 doi

  37. [45]

    , TITLE =

    Bowditch, Brian H. , TITLE =. J. Topol. , FJOURNAL =. 2016 , NUMBER =. doi:10.1112/jtopol/jtw017 , URL =

    2016 doi

  38. [46]

    and Sisto, Alessandro , TITLE =

    Behrstock, Jason and Hagen, Mark F. and Sisto, Alessandro , TITLE =. Duke Math. J. , FJOURNAL =. 2021 , NUMBER =. doi:10.1215/00127094-2020-0056 , URL =

    2021 doi

  39. [47]

    1983 , PAGES =

    Simon, Leon , TITLE =. 1983 , PAGES =

    1983

  40. [48]

    and Grohe, M

    Flum, J. and Grohe, M. , TITLE =. 2006 , PAGES =

    2006

  41. [49]

    Behrstock, Jason and Hagen, Mark and Martin, Alexandre and Sisto, Alessandro , TITLE =. J. Topol. , FJOURNAL =. 2024 , NUMBER =. doi:10.1112/topo.12351 , URL =

    2024 doi

  42. [50]

    and Sisto, Alessandro , TITLE =

    Behrstock, Jason and Hagen, Mark F. and Sisto, Alessandro , TITLE =. Geom. Topol. , FJOURNAL =. 2017 , NUMBER =. doi:10.2140/gt.2017.21.1731 , URL =

    2017 doi

  43. [51]

    and Sisto, Alessandro , TITLE =

    Behrstock, Jason and Hagen, Mark F. and Sisto, Alessandro , TITLE =. Proc. Lond. Math. Soc. (3) , FJOURNAL =. 2017 , NUMBER =. doi:10.1112/plms.12026 , URL =

    2017 doi

  44. [52]

    Geometry & Topology , volume=

    Boundaries and automorphisms of hierarchically hyperbolic spaces , author=. Geometry & Topology , volume=. 2017 , publisher=

    2017

  45. [53]

    Pacific J

    Behrstock, Jason and Hagen, Mark and Sisto, Alessandro , TITLE =. Pacific J. Math. , FJOURNAL =. 2019 , NUMBER =. doi:10.2140/pjm.2019.299.257 , URL =

    2019 doi

  46. [54]

    Beyond hyperbolicity , SERIES =

    Sisto, Alessandro , TITLE =. Beyond hyperbolicity , SERIES =. 2019 , MRCLASS =

    2019

  47. [55]

    arXiv:1603.02372 [math] , author =

    Quasi-isometry classification of right-angled. arXiv:1603.02372 [math] , author =. 2016 , note =

    2016 arXiv

Pith tools

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