pith. sign in

arxiv: 2412.20065 · v3 · submitted 2024-12-28 · 🧮 math.GR · math.GT

Property (QT) of relatively hierarchically hyperbolic groups

Bingxue Tao This is my paper

Pith reviewed 2026-05-23 07:19 UTC · model grok-4.3

classification 🧮 math.GR math.GT
keywords relatively hierarchically hyperbolic groupsproperty (QT)quasi-treesprojection complexesArtin groupsadmissible groupsgraph productsquasi-isometric embeddings
0
0 comments X

The pith

A sufficient condition lets relatively hierarchically hyperbolic groups admit equivariant embeddings into products of quasi-trees.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper gives a sufficient condition, built from projection complex techniques, under which relatively hierarchically hyperbolic groups have property (QT). Property (QT) means the group admits an equivariant quasi-isometric embedding into a finite product of quasi-trees. Earlier results established the property for particular families of nonpositively curved groups; the new condition unifies those cases and extends them to broader classes. Applications show that residually finite groups from several families satisfy the property, and a strengthened variant called (QT') is preserved under graph products.

Core claim

Using the projection complex machinery, a sufficient condition is established for relatively hierarchically hyperbolic groups to have property (QT), meaning they admit equivariant quasi-isometric embeddings into finite products of quasi-trees. As applications, residually finite admissible groups, hyperbolic-2-decomposable groups with no distorted elements, and Artin groups of large and hyperbolic type all have property (QT). A slightly stronger property (QT') is introduced and shown to be invariant under graph products.

What carries the argument

The sufficient condition obtained by applying projection complex machinery to relatively hierarchically hyperbolic groups, which produces the required equivariant quasi-isometric embedding into a finite product of quasi-trees.

If this is right

  • Residually finite admissible groups have property (QT).
  • Residually finite hyperbolic-2-decomposable groups with no distorted elements have property (QT).
  • Residually finite Artin groups of large and hyperbolic type have property (QT).
  • Property (QT') is preserved when forming graph products of groups that satisfy it.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The condition may be verifiable for further families already known to be relatively hierarchically hyperbolic.
  • Many groups arising from negative-curvature constructions could turn out to embed equivariantly into products of quasi-trees.
  • The graph-product invariance of (QT') supplies a way to build new examples from known ones.

Load-bearing premise

The projection complex machinery can be applied directly to the relatively hierarchically hyperbolic groups in the listed classes to construct the embeddings without extra restrictions that would break the argument.

What would settle it

A residually finite admissible group that satisfies the sufficient condition yet admits no equivariant quasi-isometric embedding into any finite product of quasi-trees.

read the original abstract

Using the projection complex machinery, Bestvina-Bromberg-Fujiwara, Hagen-Petyt and Han-Nguyen-Yang prove that several classes of nonpositively-curved groups admit equivariant quasi-isometric embeddings into finite products of quasi-trees, i.e. having property (QT). In this paper, we unify and generalize the above results by establishing a sufficient condition for relatively hierarchically hyperbolic groups to have property (QT). As applications, we show that a group has property (QT) if it is residually finite and belongs to one of the following classes of groups: admissible groups, hyperbolic--$2$--decomposable groups with no distorted elements, Artin groups of large and hyperbolic type. We also introduce a slightly stronger version of property (QT), called property (QT'), and show the invariance of property (QT') under graph products.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper establishes a sufficient condition, using projection complex techniques, for relatively hierarchically hyperbolic groups to satisfy property (QT), i.e., to admit equivariant quasi-isometric embeddings into finite products of quasi-trees. This unifies prior results and is applied to show that residually finite admissible groups, hyperbolic-2-decomposable groups with no distorted elements, and Artin groups of large and hyperbolic type have property (QT). A stronger variant (QT') is introduced whose invariance under graph products is proved.

Significance. If the sufficient condition is valid, the result supplies a single framework that recovers and extends the (QT) theorems of Bestvina-Bromberg-Fujiwara, Hagen-Petyt, and Han-Nguyen-Yang for several families of nonpositively curved groups. The additional invariance statement for (QT') under graph products is a clean structural contribution.

major comments (2)
  1. [§4] §4 (main theorem): the proof that the projection-complex constants remain uniformly bounded for the listed classes of relatively hierarchically hyperbolic groups is load-bearing; the manuscript must exhibit an explicit uniform bound or a reference to a prior uniform bound rather than asserting applicability.
  2. [§2] Definition of (QT') and its relation to (QT) in §2: the stronger property is used in the graph-product invariance, yet the precise difference (e.g., whether the quasi-trees or the embedding constants are required to be independent of the graph-product decomposition) is not stated with an equation or inequality that can be checked directly.
minor comments (2)
  1. [Abstract / §1] The abstract lists three classes but the statement of the main theorem in §1 should repeat the residual-finiteness hypothesis explicitly so that the applications are self-contained.
  2. [§3] Notation for the projection complex and the constants C, K appearing in the embedding construction should be collected in a single preliminary subsection rather than introduced piecemeal.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their thorough review and valuable comments. We address each major comment below and will incorporate the necessary clarifications and additions in the revised manuscript.

read point-by-point responses

  1. Referee: [§4] §4 (main theorem): the proof that the projection-complex constants remain uniformly bounded for the listed classes of relatively hierarchically hyperbolic groups is load-bearing; the manuscript must exhibit an explicit uniform bound or a reference to a prior uniform bound rather than asserting applicability.

    Authors: We agree with the referee that the uniformity of these constants is essential and that the manuscript should not merely assert applicability. In the revised version, we will provide explicit references to the literature establishing uniform bounds for the projection complex constants in each of the classes considered (admissible groups, hyperbolic-2-decomposable groups, and Artin groups of large and hyperbolic type). Where such bounds are not directly cited in prior works, we will derive or state them explicitly to ensure the proof is self-contained. revision: yes

  2. Referee: [§2] Definition of (QT') and its relation to (QT) in §2: the stronger property is used in the graph-product invariance, yet the precise difference (e.g., whether the quasi-trees or the embedding constants are required to be independent of the graph-product decomposition) is not stated with an equation or inequality that can be checked directly.

    Authors: We appreciate this observation regarding the definition of property (QT'). The key difference is that (QT') requires the quasi-isometric embedding constants and the quasi-trees to be independent of the particular graph product decomposition. In the revision, we will introduce a formal definition using an equation or inequality that makes this independence explicit, allowing for direct verification of the property and its invariance under graph products. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation applies external projection-complex machinery to a new sufficient condition

full rationale

The paper establishes a sufficient condition for relatively hierarchically hyperbolic groups to satisfy property (QT) by invoking the projection complex techniques of Bestvina-Bromberg-Fujiwara, Hagen-Petyt, and Han-Nguyen-Yang. These are independent prior results with no author overlap. The applications to admissible groups, hyperbolic-2-decomposable groups, Artin groups, and the invariance of (QT') under graph products are presented as verifications of the condition rather than re-derivations or renamings of the inputs. No self-definitional steps, fitted parameters called predictions, or load-bearing self-citations appear in the abstract or claimed structure. The central claim remains a generalization resting on externally supplied machinery.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract only; no free parameters, axioms, or invented entities are identifiable from the provided text.

pith-pipeline@v0.9.0 · 5669 in / 1018 out tokens · 34555 ms · 2026-05-23T07:19:33.521292+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

6 extracted references · 6 canonical work pages

  1. [1]

    Extensions of Veech groups II: Hierarchical hyper- bolicity and quasi-isometric rigidity

    issn: 1016-443X. doi: 10.1007/s00039-002-8255-7 . [DDLS24] Spencer Dowdall et al. “Extensions of Veech groups II: Hierarchical hyper- bolicity and quasi-isometric rigidity”. In: Commentarii Mathematici Hel- vetici. A Journal of the Swiss Mathematical Society 99.1 (2024), pp. 149–

    work page doi:10.1007/s00039-002-8255-7 2024

  2. [2]

    Correction to the article Boundaries and automorphisms of hierarchically hy perbolic spaces

    issn: 0010-2571,1420-8946. doi: 10.4171/cmh/568. [DGO17] F. Dahmani, V. Guirardel, and D. Osin. Hyperbolically embedded subgroups and rotating families in groups acting on hyperbolic spaces . en. Vol. 245. Memoirs of the American Mathematical Society 1156. America n Mathe- matical Society, 2017. isbn: 9781470436018;9781470421946. doi: 10.1090 /memo/1156. ...

    work page doi:10.4171/cmh/568 2017

  3. [3]

    On the residual finiteness of cert ain mapping class groups

    isbn: 9780691147949. REFERENCES 29 [Gro74] Edna K. Grossman. “On the residual finiteness of cert ain mapping class groups”. In: Journal of the London Mathematical Society. Second Series 9 (1974), pp. 160–164. issn: 0024-6107. doi: 10.1112/jlms/s2-9.1.160 . [Gro87] M. Gromov. “Hyperbolic groups”. In: Essays in group theory . Vol. 8. Math. Sci. Res. Inst. Pu...

    work page doi:10.1112/jlms/s2-9.1.160 1974

  4. [4]

    Geometry of the complex o f curves. II. Hierarchical structure

    issn: 1472-2747,1472-2739. doi: 10.2140/agt.2008.8.1371. [MM00] H. A. Masur and Y. N. Minsky. “Geometry of the complex o f curves. II. Hierarchical structure”. In: Geometric and Functional Analysis 10.4 (2000), pp. 902–974. issn: 1016-443X. doi: 10.1007/PL00001643. [MM99] H. A. Masur and Y. N. Minsky. “Geometry of the complex o f curves. I. Hyperbolicity”...

    work page doi:10.2140/agt.2008.8.1371 2008

  5. [5]

    Croke-Kleiner admissible groups: property (QT) and quasiconvexity

    issn: 0024-6107,1469-7750. doi: 10.1112/jlms/s1-25.3.202 . [NY23] Hoang Thanh Nguyen and Wenyuan Yang. “Croke-Kleiner admissible groups: property (QT) and quasiconvexity”. In: Michigan Mathematical Journal 73.5 (2023), pp. 971–1019. issn: 0026-2285,1945-2365. doi: 10.1307/mmj /20216045. [Osi16] D. Osin. “Acylindrically hyperbolic groups”. In: Transactions...

    work page doi:10.1112/jlms/s1-25.3.202 2023

  6. [6]

    doi: 10.1093/qmathj/50.1.107

    issn: 0033-5606,1464-3847. doi: 10.1093/qmathj/50.1.107. Department of Mathematics, Kyoto University, Kyoto 606-85 02, Japan Email address : tao.bingxue.75c@st.kyoto-u.ac.jp

    work page doi:10.1093/qmathj/50.1.107