Pith. sign in

REVIEW 5 minor 1 cited by

Embeddability of right-angled Artin groups into hierarchically hyperbolic groups

T0 review · 0 major / 5 minor · reviewed 2026-08-05 · deepseek-v4-flash

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

Pith's one-line read In any hierarchically hyperbolic group, large powers of suitably independent axial elements generate a right-angled Artin subgroup, and with one extra bounded-orbit hypothesis the subgroup is undistorted.

desk verdict A genuinely general RAAG-embedding criterion for HHGs, with a mostly sound proof that needs minor fixes before acceptance. read the letter →

arxiv 2509.02454 v2 pith:JWRXZLVU submitted 2025-09-02 math.GR

Sangrok Oh , Jihoon Park This is my paper · ORCID
classification math.GR MSC 20F6520F67
keywords right-angledArtingroupshierarchicallyhyperbolicquasi-isometricembeddingsorthogonalitygraphaxialelementsmappingclasssubgroupdistortionextension
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 gives general conditions under which a handful of elements of a hierarchically hyperbolic group—a class of groups whose large-scale geometry is organized by projecting onto a family of hyperbolic spaces—can be promoted to generate a right-angled Artin subgroup, and with one extra hypothesis, to generate one that is undistorted. The main idea is to encode the geometric relation between the elements' supporting domains in an orthogonality graph, then show that sufficiently large powers of the elements realize the right-angled Artin group defined by that graph. If true, the theorem supplies a single framework that reproduces and slightly extends earlier embedding results for mapping class groups and for right-angled Artin groups themselves, and offers a combinatorial criterion for detecting right-angled Artin and surface subgroups from the shape of the orthogonality graph. The paper's central claim is Theorem 3.7; the load-bearing condition for undistortion is a uniform bounded-orbit assumption on subgroups associated to orthogonal domains.

What carries the argument

The central object is the orthogonality graph O_Σ of the supporting domains, together with the quasi-axis of each axial element in the associated hyperbolic space. The proof's workhorse is a multi-scale consistency inequality for nearest-point projections onto quasi-geodesics (Lemma 4.3), which lets the authors run a ping-pong argument on projections to prove injectivity; for undistortion, the same inequality yields a strict total order on the relevant quasi-geodesics in a common hyperbolic space, so syllable lengths of right-angled Artin group words can be bounded by distance in G. Right-angled Artin group normal forms, via central forms and the syllable order, are used to control words.

What would settle it

Directly test the multi-scale consistency inequality (Lemma 4.3): choose a pair of non-orthogonal domains U,V in an HHS, take uniform quasi-geodesics α⊂C_U and β⊂C_V, and look for a point x whose nearest-point projections onto α and β violate min{d_α(x,β), d_β(x,α)} ≤ 2E_0. Finding such a configuration would break both the ping-pong argument for injectivity and the total-order argument for undistortion, since both depend on this inequality; a computer search or explicit construction in a known hierarchically hyperbolic group would settle whether the proof's central mechanism can stand.

Watch

Extended reading notes

Core claim

Let G be a hierarchically hyperbolic group and fix elements f1,...,fm, each axial and fully supported on an unbounded domain Ui. If the collection is geometrically irredundant—roughly, no two share a common power in a way detectable on their common domains—and if powers of elements with orthogonal domains commute, then for all large d the map sending each generator vi to f_i^{dN} is an injective homomorphism from the right-angled Artin group on the orthogonality graph O_Σ into G. If in addition the subgroup generated by elements whose domains are orthogonal to Ui acts on the hyperbolic space C_{U_i} with uniformly bounded orbits for every i, then the embedding is quasi-isometric, meaning the

Load-bearing premise

The undistortion conclusion rests on Condition (A.2): for each element, the subgroup generated by all elements whose domains are orthogonal to its domain must act on the corresponding hyperbolic space with uniformly bounded orbits—a property that is not automatic and can be hard to verify in a given hierarchically hyperbolic group.

Editorial extensions

If this is right

  • If the main theorem is correct, any HHG satisfying the weak commutativity property and admitting at least one fully supported axial element per unbounded domain contains, for every finite induced subgraph Λ of its orthogonality graph, a subgroup isomorphic to the right-angled Artin group on Λ.
  • With strongly fully supported axial elements, those right-angled Artin subgroups are undistorted, and an induced cycle of length at least 5 in the orthogonality graph yields undistorted surface subgroups.
  • In mapping class groups, the framework recovers the known embedding of right-angled Artin groups by pure mapping classes and, when no Dehn twists are involved, promotes it to an undistorted embedding.
  • In right-angled Artin groups themselves, the theorem yields the extension-graph criterion for embeddings between right-angled Artin groups as an undistorted embedding via the orthogonality graph of the standard HHG structure.
  • The two technical conditions in the main theorem can be certified either by hypotheses on the HHG (Assumptions 1 and 2) or by strengthening the elements to be strongly fully supported, giving two clean routes to the same conclusion.

Reading between the lines

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

  • The role of Condition (A.2) suggests that undistortion is controlled by whether orthogonality in the index set behaves like independence in the group; in HHGs where orthogonal domains are far from giving commuting subgroups, one should expect distorted right-angled Artin subgroups even when embeddings exist.
  • The proof's reliance on quasi-axes rather than full hierarchy paths suggests the single-domain hypothesis could be relaxed to axial elements supported on their whole bigset; any infinite-order element that virtually splits as a product of single-domain axial elements would then fit the framework, widening its range.
  • The orthogonality-graph criterion provides a concrete combinatorial invariant to compute in explicit HHG structures: for graph braid groups and right-angled Coxeter groups, graphs that are easier to describe explicitly than the full HHG structure may now directly predict which right-angled Artin subgroups appear and whether they are undistorted.
  • The comparison with earlier work suggests the main new content for undistortion is handling elements like Dehn twists whose action on nested boundary domains is elliptic but nontrivial; the framework implies such elements can be included without losing the quasi-isometric embedding, provided the bounded-orbit condition is verified.
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 / 5 minor

Summary. The paper establishes sufficient conditions under which sufficiently large powers of a finite family of axial elements in a hierarchically hyperbolic group generate a right-angled Artin subgroup, and, under an additional hypothesis, generate one that is quasi-isometrically embedded. The main result is Theorem 3.7, a conditional statement built on two explicit conditions: (A.1) that suitable powers define a homomorphism from the RAAG associated to the orthogonality graph, and (A.2) that elements supported on orthogonal domains act with uniformly bounded orbits on the relevant hyperbolic spaces. The paper then gives two variants: Theorem 6.3, replacing (A.1)/(A.2) by Assumptions 1 and 2 on the HHG, and Theorem 6.8, replacing them by the stronger assumption that each element is strongly fully supported. Applications to mapping class groups recover and slightly extend results of Clay--Leininger--Mangahas and Runnels, and the RAAG case recovers the Kim--Koberda embedding theorem via the standard HHG structure on a RAAG.

Significance. If the proof is completed as written, the paper gives a genuinely unifying framework for RAAG embeddings in HHGs. The main theorem is stated with transparent, parameter-free hypotheses, and the proof is built from standard HHS tools: the distance formula, multi-scale consistency, ping-pong, and a careful bookkeeping of relevant quasi-geodesics. The paper is also honest about the technical nature of Condition (A.2), and it shows in the main applications how that condition can be discharged. The recovery of the Clay--Leininger--Mangahas and Kim--Koberda results is a useful sanity check, and the framework suggests concrete further questions. I found no circularity and no fitting parameters; the main theorem is a genuine conditional statement proved from the HHS axioms.

minor comments (5)
  1. [§5.2, Lemma 5.13] The displayed separation claim 'at least 20|e_i|Θ' is not supported by the preceding bounds. From the proof, p_{β_i}(σ_i) lies within 10|e_i|Θ of p_{β_i}(π_V x), p_{β_i}(σ_j) lies within 72Θ of p_{β_i}(π_V wx), and Lemma 5.3 gives a 100|e_i|Θ lower bound between p_{β_i}(π_V x) and p_{β_i}(π_V wx). The resulting lower bound is (90|e_i|-72)Θ, which for |e_i|=1 is 18Θ, not 20Θ. This is still positive, so the disjointness of σ_i and σ_j and the linear lower bound survive, but the displayed inequality and the surrounding constants should be corrected.
  2. [§5.1, Embedding part] The sentence 'after conjugating w by u1h1 if necessary, we may further assume that h1 does not commute with hn' needs a justification. It is not immediate from the definition of a central form, and the subsequent ping-pong argument relies on X1∩Xn=∅. Please either provide a short proof using RAAG normal forms or cite the relevant normal-form fact.
  3. [§6.1, Proposition 6.5, Claim 6.6, Step 2] The step in which 10E-separation of ρ^U_W and f^kρ^U_W is used to conclude that f^{k+a}W and f^a W are transverse is too compressed. The role of [DHS17, Lemma 1.5] and the claim that the action of g on C_W fixes the stated projection ρ^{f^{k+a}W}_{f^a W} should be spelled out. Without this, the ellipticity of h on C_W for nesting-minimal W is hard to verify from the text.
  4. [§5.2, Lemma 5.7] Near the end of the proof, 'p_{β2}' should read 'p_{β_j}' or the analogous β_j term. This is clearly a typo, but it makes an already dense argument harder to follow.
  5. [§5, Notation] The notation d_{α_i}(y, α_j) is used for y∈G and for α_j contained in a possibly different hyperbolic space before it is fully unpacked. A short reminder immediately after Notation 5.2 would improve readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main theorem is a conditional result proved from the HHS axioms; its hypotheses are not the conclusions, and the applications discharge them by independent arguments.

full rationale

I walked the derivation chain starting from Theorem 3.7. The theorem explicitly assumes Conditions (A.1) and (A.2); neither is deduced from the conclusion. (A.1) merely asserts the existence of the power homomorphism φ_{dN}, and the paper's real work is proving that this homomorphism is injective via ping-pong. (A.2) is a bounded-orbits condition on orthogonal acting subgroups; it is used to control commuting syllables in the undistortion part, but it is not the same as the quasi-isometric embedding conclusion, which is derived separately through Lemma 5.13 and the distance formula. The supporting lemmas (3.5, 4.3, 5.3, 5.6, 5.7, 5.11, 5.12, 5.13) are proved from the HHS axioms, standard hyperbolic projection facts, and the Hermiller–Meier normal-form theorem; they do not presuppose the target RAAG embedding. The applications in Section 6 verify (A.1) and (A.2) under explicit additional assumptions: Theorem 6.3 uses Proposition 6.5 and Lemma 6.4, which rely on Assumptions 1 and 2; Theorem 6.8 uses Proposition 6.9 and the definition of strong full support. These arguments invoke external, parameter-free results such as the HHG Tits alternative, Coarse Rank Rigidity, and standard mapping class group acylindricity facts, rather than self-citations by the authors. The manuscript itself notes that (A.2) is technical and hard to verify directly, but this is an acknowledged limitation of the hypotheses, not circular reasoning. The only concrete slip I noticed is a small constant-arithmetic issue in Lemma 5.13 (the claimed 20|e_i|Θ separation versus the bounds giving roughly (90|e_i|−72)Θ), which does not change the structural conclusion. No fitted parameter is renamed as a prediction, no uniqueness theorem is imported from the authors, and no ansatz is smuggled in via self-citation. The derivation is therefore self-contained relative to its stated assumptions.

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

The central claim rests on the HHS axioms and standard theorems in the literature. No fitted parameters or new postulated entities are introduced.

assumptions (6)
  • domain assumption HHS axioms as in Definition 2.8 (from [BHS19])
    The whole proof assumes the group is an HHG with the given structure.
  • standard math Distance formula (Theorem 2.12)
    Used in Lemma 3.5, Proposition 3.1, and the undistortion proof.
  • standard math Coarse semisimplicity (Theorem 2.19)
    Used to characterize axial elements and in Proposition 6.5.
  • standard math Tits alternative for HHGs (Theorem 2.17)
    Used in Propositions 6.5 and 6.9.
  • standard math Coarse Rank Rigidity [DHS17, Theorem 9.14]
    Used to produce axial elements in Section 7.2.
  • standard math Hermiller-Meier normal form theorem (Theorem 2.20)
    Used to define central forms and syllable order in Section 5.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Embeddability of right-angled Artin groups into hierarchically hyperbolic groups." pith.science (2026). https://pith.science/paper/JWRXZLVU

@misc{pith2026250902454,
  author       = {Pith},
  title        = {Pith review of: Embeddability of right-angled Artin groups into hierarchically hyperbolic groups},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/JWRXZLVU}},
  note         = {Machine review of arXiv:2509.02454}
}
read the original abstract

For a hierarchically hyperbolic group, we give sufficient conditions ensuring that suitable powers of a finite collection of elements generate a right-angled Artin subgroup; under an additional condition, this subgroup is undistorted. We verify these hypotheses in two natural situations: one modeled on mapping class groups, using structural assumptions on the ambient HHG, and one modeled on RAAGs, requiring the chosen elements to be rigidly fully supported. Our results recover known embedding theorems for mapping class groups and extend the non-annular undistortion theorem of Clay--Leininger--Mangahas, while also recovering the Kim--Koberda extension graph theorem for RAAGs.

Figures

Figures reproduced from arXiv: 2509.02454 by the authors.

Figure 1
Figure 1. Families of HHGs considered in Theorems A, C & D 1.3. Remarks and questions. We have introduced several families of HHGs, each with its own role and interpretation. Their known relationships are illustrated in [PITH_FULL_IMAGE:figures/full_fig_p005_1.png] view at source ↗
Figure 2
Figure 2. Thick black segments (overlapped in the geodesic between πV pxq and πV pwxq) are pγpβiq and pγpβj q. The left and right circles are centered at pβi pπV pxqq and pβj pπV pxqq, and have radii 10|ei |Θ and 10|ej |Θ, respectively. Lemma 5.13. For each V P Dw, we have ÿ iPIw V |ei | ď 1 5Θ dV px, wxq. Proof. Let γ be a geodesic in CV connecting x to wx. For each βj P QwpV q, by Lemmas 5.3 and 2.4, we have dHausppβj pγq, … 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

  1. Periodic quasiflats in hierarchically hyperbolic spaces

    math.GR 2026-08 accept novelty 8.0 of 10

    Every hierarchically hyperbolic group that is not hyperbolic contains a Z^2 subgroup, and every virtually Z^n subgroup lies in an A-invariant uniform quasi-flat whose points are joined by hierarchy paths.

Pith tools

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