pith. sign in

arxiv: 2605.20419 · v1 · pith:XB37WXINnew · submitted 2026-05-19 · 🧮 math.GR · math.MG

Polynomial hyperbolicity and products of free groups

Anthony Genevois This is my paper

Pith reviewed 2026-05-21 06:39 UTC · model grok-4.3

classification 🧮 math.GR math.MG
keywords polynomial hyperbolicityspecial groupsF2 × F2quasi-isometric invariantsLipschitz mapshyperbolic spacesfree group products
0
0 comments X

The pith

For cocompact special groups, being linearly polynomially hyperbolic is equivalent to not containing F2 × F2 as a subgroup.

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

The paper defines a graph as polynomially hyperbolic when there exists a Lipschitz map to a hyperbolic space such that the preimages of balls grow at a polynomial rate whose degree is controlled by the thickness of the fibers. It proves that for cocompact special groups this holds with linear control precisely when the group contains no copy of the direct product of two rank-two free groups. A sympathetic reader cares because the algebraic condition of containing this product becomes equivalent to a geometric obstruction and turns out to be preserved by quasi-isometries. The work therefore supplies a concrete subgroup test for a controlled form of hyperbolicity inside this class of groups.

Core claim

The paper establishes that, among cocompact special groups, being lin-polynomially hyperbolic amounts to not containing F2 × F2 as a subgroup. As a direct consequence, the property of containing F2 × F2 as a subgroup is a quasi-isometric invariant for cocompact special groups.

What carries the argument

The η-polynomially hyperbolic condition, which requires a Lipschitz map from the graph to a hyperbolic space whose fibers over balls satisfy a polynomial growth bound whose degree is coarsely controlled by the radius of the target ball.

If this is right

  • A cocompact special group containing F2 × F2 cannot be lin-polynomially hyperbolic.
  • Absence of F2 × F2 as a subgroup is necessary and sufficient for lin-polynomial hyperbolicity among cocompact special groups.
  • Containment of F2 × F2 is preserved under quasi-isometries for cocompact special groups.

Where Pith is reading between the lines

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

  • The characterization may help separate quasi-isometry classes of special groups according to whether they contain product subgroups of this form.
  • Similar fiber-control techniques could detect algebraic obstructions to hyperbolicity in other groups that admit cubical or special actions.

Load-bearing premise

The equivalence uses the specific geometric features of cocompact special groups, such as their cubical structures, to produce the required Lipschitz maps to hyperbolic spaces.

What would settle it

A cocompact special group that contains F2 × F2 as a subgroup but still admits a Lipschitz map to a hyperbolic space satisfying the linear polynomial fiber-growth bound would disprove the claimed equivalence.

Figures

Figures reproduced from arXiv: 2605.20419 by Anthony Genevois.

Figure 2
Figure 2. Figure 2: Examples of (oriented) hyperplanes in a median graph. The green hyperplane [PITH_FULL_IMAGE:figures/full_fig_p013_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: From left to right: self-intersection, self-osculation, inter-osculation. [PITH_FULL_IMAGE:figures/full_fig_p015_3.png] view at source ↗
Figure 5
Figure 5. Figure 5: Examples of hyperplanes in a quasi-median graph. The orange hyperplane is [PITH_FULL_IMAGE:figures/full_fig_p022_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: Decomposition of the staircase E as a union of flat rectangles. Proof of Lemma 6.16. Since intervals in quasi-median graphs are median (see e.g. [Gen17, Proposition 2.93]), our lemma is direct consequence of its median version [Gen25, Lemma 2.7]. Proof of Theorem 6.13. The strategy is to define η(x, y) as the subgraph in Y induced by the interval I(x, y) in X for all x, y ∈ V (X) and then to apply Proposit… view at source ↗
Figure 7
Figure 7. Figure 7: A path with a subpath delimiting (a) a ladder and (b) a tower. [PITH_FULL_IMAGE:figures/full_fig_p027_7.png] view at source ↗
read the original abstract

In this article, we define a locally finite graph $X$ as $\eta$-polynomially hyperbolic if there exists a Lipschitz map $\varphi : X \to Z$ to some hyperbolic space $Z$ satisfying the following condition: there exists $C \geq 0$ such that $$|B(p,R_1) \cap \varphi^{-1} (B(q,R_2))| \leq (C R_1)^{\eta(C R_2)} \text{ for all } p,q \in X, R_1,R_2 \geq 0.$$ The picture to keep in mind is that coarse fibres of $\varphi$ have polynomial growth with a degree coarsely controlled by $\eta$ as the thickness of the fibres grows. The map $\eta$ quantifies how brutal we have to be in order to turn $X$ into a hyperbolic space. Our main result is that, among cocompact special groups, being $\mathrm{lin}$-polynomially hyperbolic amounts not to contain $\mathbb{F}_2 \times \mathbb{F}_2$ as a subgroup. Consequently, containing $\mathbb{F}_2 \times \mathbb{F}_2$ as a subgroup turns out to be quasi-isometric invariant for cocompact special groups.

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 defines a locally finite graph X to be η-polynomially hyperbolic if there exists a Lipschitz map φ: X → Z to a hyperbolic space Z such that |B(p,R1) ∩ φ^{-1}(B(q,R2))| ≤ (C R1)^{η(C R2)} for some C ≥ 0 and all p,q ∈ X, R1,R2 ≥ 0. The central theorem states that, among cocompact special groups, linear polynomial hyperbolicity is equivalent to the absence of F₂ × F₂ as a subgroup; consequently, the presence of F₂ × F₂ is a quasi-isometric invariant for cocompact special groups.

Significance. If correct, the result supplies a new quasi-isometric invariant for cocompact special groups by linking a controlled form of hyperbolicity to a concrete subgroup obstruction. The definition of η-polynomial hyperbolicity is a natural extension of existing notions and may apply more broadly to groups admitting cubulations. The equivalence is stated precisely and is falsifiable in principle via explicit examples of special groups.

major comments (2)
  1. [§3] §3, main theorem (equivalence for cocompact special groups): the positive direction requires an explicit construction of a Lipschitz map φ: X → Z with linear η when F₂ × F₂ is absent. The manuscript must verify that the cubical hyperplane selection or collapsing yields the precise bound |B(p,R1) ∩ φ^{-1}(B(q,R2))| ≤ (C R1)^{k·(C R2)} for a fixed linear function η(t) = k t; without this verification the equivalence and the QI-invariance claim rest on an unconfirmed transfer from virtual specialness to the polynomial control.
  2. [Definition 2.1] Definition 2.1, the displayed inequality: the constant C and the function η must be shown to be independent of the basepoints p,q in the cocompact case; if the proof only obtains a uniform C after passing to a finite cover, this should be stated explicitly as it affects the quasi-isometry invariance conclusion.
minor comments (2)
  1. [§2] Notation: the symbol η is used both as a function and as a qualifier (lin-polynomially hyperbolic); a brief clarifying sentence after Definition 2.1 would prevent confusion.
  2. [Introduction] References: the introduction should cite the foundational work of Haglund–Wise on special groups and the relevant results on quasi-isometric invariants for cubulated groups.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive suggestions. We address the two major comments point by point below and will revise the manuscript to incorporate the requested clarifications and verifications.

read point-by-point responses

  1. Referee: [§3] §3, main theorem (equivalence for cocompact special groups): the positive direction requires an explicit construction of a Lipschitz map φ: X → Z with linear η when F₂ × F₂ is absent. The manuscript must verify that the cubical hyperplane selection or collapsing yields the precise bound |B(p,R1) ∩ φ^{-1}(B(q,R2))| ≤ (C R1)^{k·(C R2)} for a fixed linear function η(t) = k t; without this verification the equivalence and the QI-invariance claim rest on an unconfirmed transfer from virtual specialness to the polynomial control.

    Authors: We agree that an explicit verification of the linear bound is needed for full transparency. The construction of φ via hyperplane selection in the absence of F₂ × F₂ is given in §3, but we will add a dedicated lemma that directly computes the growth estimate |B(p,R1) ∩ φ^{-1}(B(q,R2))| ≤ (C R1)^{k·(C R2)} with η(t) = k t, using only the cubical structure and the no-F₂×F₂ assumption. This will confirm the polynomial control without relying on an implicit transfer and will strengthen the QI-invariance argument. revision: yes

  2. Referee: [Definition 2.1] Definition 2.1, the displayed inequality: the constant C and the function η must be shown to be independent of the basepoints p,q in the cocompact case; if the proof only obtains a uniform C after passing to a finite cover, this should be stated explicitly as it affects the quasi-isometry invariance conclusion.

    Authors: We thank the referee for this observation. In the cocompact setting the action ensures that C and η are independent of basepoints p and q by uniformity of the cubulation. To address the concern explicitly, we will insert a remark after Definition 2.1 clarifying that no finite cover is required for uniformity in the cocompact case, and that any auxiliary finite-index arguments preserve the quasi-isometry invariance of the property. This will be stated directly in the revision. revision: yes

Circularity Check

0 steps flagged

New definition of polynomial hyperbolicity yields theorem on special groups with no circular reduction

full rationale

The paper introduces a fresh definition of η-polynomially hyperbolic graphs via existence of a Lipschitz map φ to a hyperbolic space Z with the explicit polynomial bound on |B(p,R1) ∩ φ^{-1}(B(q,R2))|. It then proves, for cocompact special groups, that linear η holds precisely when F2 × F2 is absent as a subgroup. This equivalence is a theorem derived from geometric properties of cube complexes and virtual specialness, not from any self-definitional loop, fitted parameter renamed as prediction, or load-bearing self-citation that collapses the claim. The derivation chain remains independent of the target result and relies on externally verifiable facts about hyperbolic spaces and special groups.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The paper introduces a new definition and relies on standard background facts from geometric group theory; no free parameters or invented physical entities are present.

axioms (2)
  • standard math Hyperbolic spaces admit Lipschitz maps from graphs with controlled fiber growth
    Invoked in the definition of η-polynomial hyperbolicity.
  • domain assumption Cocompact special groups possess cubical or virtually special structures allowing maps to hyperbolic spaces
    The theorem is restricted to this class.
invented entities (1)
  • η-polynomially hyperbolic graph no independent evidence
    purpose: Quantifies the polynomial degree needed to map a graph to a hyperbolic space via controlled fiber growth
    New definition introduced in the paper.

pith-pipeline@v0.9.0 · 5750 in / 1357 out tokens · 36348 ms · 2026-05-21T06:39:40.950334+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

34 extracted references · 34 canonical work pages · 3 internal anchors

  1. [1]

    Quasiisometric embeddings between right-angled Artin groups: rigidity

    S. Bader, O. Bensaid, and H. Petyt. Quasiisometric embeddings between right-angled A rtin groups: rigidity. arxiv:2605.12300 , 2026

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  2. [2]

    Bandelt and V

    H.-J. Bandelt and V. Chepoi. Graphs of acyclic cubical complexes. volume 17, pages 113--120. 1996. Discrete metric spaces (Bielefeld, 1994)

    work page 1996

  3. [3]

    Bandelt and A

    H.-J. Bandelt and A. Dress. A canonical decomposition theory for metrics on a finite set. Adv. Math. , 92(1):47--105, 1992

    work page 1992

  4. [4]

    Bridson and A

    M. Bridson and A. Haefliger. Metric spaces of non-positive curvature , volume 319 of Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences] . Springer-Verlag, Berlin, 1999

    work page 1999

  5. [5]

    Bandelt, H

    H.-J. Bandelt, H. Mulder, and E. Wilkeit. Quasi-median graphs and algebras. J. Graph Theory , 18(7):681--703, 1994

    work page 1994

  6. [6]

    Bowditch

    B. Bowditch. Uniform hyperbolicity of the curve graphs. Pacific J. Math. , 269:269--280, 2014

    work page 2014

  7. [7]

    R. Brown. Topology and groupoids . BookSurge, 2006

    work page 2006

  8. [8]

    M. Carr. Two-generator subgroups of right-angled A rtin groups are quasi-isometrically embedded . ProQuest LLC, Ann Arbor, MI, 2015. Thesis (Ph.D.)--Brandeis University

    work page 2015

  9. [9]

    Caprace and F

    P.-E. Caprace and F. Haglund. On geometric flats in the CAT (0) realization of C oxeter groups and T its buildings. Canad. J. Math. , 61(4):740--761, 2009

    work page 2009

  10. [10]

    V. Chepoi. Graphs of some CAT (0) complexes. Adv. in Appl. Math. , 24(2):125--179, 2000

    work page 2000

  11. [11]

    Cubical-like geometry of quasi-median graphs and applications to geometric group theory

    A. Genevois. Cubical-like geometry of quasi-median graphs and applications to geometric group theory. PhD thesis, Universit\'e Aix-Marseille, arxiv:1712.01618 , 2017

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  12. [12]

    On the geometry of van Kampen diagrams of graph products of groups

    A. Genevois. On the geometry of van K ampen diagrams of graph products of groups. arXiv:1901.04538 , 2019

    work page internal anchor Pith review Pith/arXiv arXiv 1901

  13. [13]

    Genevois

    A. Genevois. Algebraic characterisation of relatively hyperbolic special groups. Israel J. Math. , 241(1):301--341, 2021

    work page 2021

  14. [14]

    Genevois

    A. Genevois. Coning-off CAT(0) cube complexes. Ann. Inst. Fourier (Grenoble) , 71(4):1535--1599, 2021

    work page 2021

  15. [15]

    Genevois

    A. Genevois. Negative curvature in graph braid groups. Internat. J. Algebra Comput. , 31(1):81--116, 2021

    work page 2021

  16. [16]

    Genevois

    A. Genevois. Rotation groups, mediangle graphs, and periagroups: a unified point of view on C oxeter groups and graph products of groups. arXiv:2212.06421 , 2022

    work page arXiv 2022

  17. [17]

    Genevois

    A. Genevois. Special cube complexes revisited: a quasi-median generalization. Canad. J. Math. , 75(3):743--777, 2023

    work page 2023

  18. [18]

    Genevois

    A. Genevois. Automorphisms of graph products of groups and acylindrical hyperbolicity. Mem. Amer. Math. Soc. , 301(1509):vi+127, 2024

    work page 2024

  19. [19]

    Genevois

    A. Genevois. Cyclic hyperbolicity in CAT (0) cube complexes. Fund. Math. , 269(3):201--248, 2025

    work page 2025

  20. [20]

    Gerasimov

    V. Gerasimov. Fixed-point-free actions on cubings [translation of a lgebra, geometry, analysis and mathematical physics ( r ussian) ( n ovosibirsk, 1996) , 91--109, 190, I zdat. R oss. A kad. N auk S ibirsk. O tdel. I nst. M at., N ovosibirsk, 1997; MR 1624115 (99c:20049)]. Siberian Adv. Math. , 8(3):36--58, 1998

    work page 1996

  21. [21]

    Groves and J

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

    work page 2008

  22. [22]

    E. Green. Graph products of groups. PhD Thesis , 1990

    work page 1990

  23. [23]

    M. Gromov. Hyperbolic groups. In Essays in group theory , volume 8 of Math. Sci. Res. Inst. Publ. , pages 75--263. Springer, New York, 1987

    work page 1987

  24. [24]

    M. Hagen. Weak hyperbolicity of cube complexes and quasi-arboreal groups. J. Topol. , 7(2):385--418, 2014

    work page 2014

  25. [25]

    Hume and A

    D. Hume and A. Sisto. Groups with no coarse embeddings into hyperbolic groups. New York J. Math. , 23:1657--1670, 2017

    work page 2017

  26. [26]

    Hsu and D

    T. Hsu and D. Wise. On linear and residual properties of graph products. Michigan Math. J. , 46:251--259, 1999

    work page 1999

  27. [27]

    Haglund and D

    F. Haglund and D. Wise. Special cube complexes. Geom. Funct. Anal. , 17(5):1551--1620, 2008

    work page 2008

  28. [28]

    Kambites

    M. Kambites. On commuting elements and embeddings of graph groups and monoids. Proc. Edinb. Math. Soc. (2) , 52(1):155--170, 2009

    work page 2009

  29. [29]

    Klav z ar and H

    S. Klav z ar and H. Mulder. Partial cubes and crossing graphs. SIAM J. Discrete Math. , 15(2):235--251, 2002

    work page 2002

  30. [30]

    Minasyan and D

    A. Minasyan and D. Osin. Acylindrical hyperbolicity of groups acting on trees. Math. Ann. , 362(3-4):1055--1105, 2015

    work page 2015

  31. [31]

    Rattaggi

    D. Rattaggi. Anti-tori in square complex groups. Geom. Dedicata , 114:189--207, 2005

    work page 2005

  32. [32]

    M. Roller. Pocsets, median algebras and group actions; an extended study of dunwoody's construction and sageev's theorem. dissertation , 1998

    work page 1998

  33. [33]

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

    work page 1995

  34. [34]

    Stein and J

    M. Stein and J. Taback. Metric properties of D iestel- L eader groups. Michigan Math. J. , 62(2):365--386, 2013

    work page 2013