pith. sign in

arxiv: 2508.15738 · v3 · pith:WLG2UIOQnew · submitted 2025-08-21 · 🧮 math.GR

Characterizing hierarchically hyperbolic free by cyclic groups

Eliot Bongiovanni , Pritam Ghosh , Funda G\"ultepe , Mark Hagen This is my paper

Pith reviewed 2026-05-21 23:22 UTC · model grok-4.3

classification 🧮 math.GR
keywords free-by-cyclic groupshierarchically hyperbolic groupscoarse mediansCAT(0) cube complexesrelative train track mapsOut(F_n)unbranched blocksexcessive linearity
0
0 comments X

The pith

Free-by-cyclic groups have coarse medians exactly when intersections of their maximal virtually free-by-cyclic subgroups form unbranched blocks.

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

The paper establishes that a free-by-cyclic group has coarse medians if and only if it is a colourable hierarchically hyperbolic group and if and only if it is quasi-isometric to a CAT(0) cube complex. This equivalence rests on an algebraic condition: the intersections of maximal virtually F_n times Z subgroups must have unbranched blocks. The work also links hierarchical hyperbolicity of the semidirect product to excessive linearity in completely split relative train track representatives of the outer automorphism. A reader would care because the result converts geometric and coarse properties into concrete checks on how certain subgroups meet inside the group.

Core claim

We algebraically characterize free by cyclic groups that have coarse medians, and prove that this is equivalent to the a priori stronger properties of being colourable hierarchically hyperbolic groups and being quasi-isometric to CAT(0) cube complexes. Our algebraic characterization involves a condition on intersections between maximal virtually F_n × Z subgroups that we call having unbranched blocks. We also characterize hierarchical hyperbolicity of Γ = F_n ⋊_φ Z in terms of a property of completely split relative train track representatives of φ in Out(F_n) that we call excessive linearity, a slight refinement of the rich linearity condition for relative train track maps.

What carries the argument

Unbranched blocks, the condition on intersections of maximal virtually F_n × Z subgroups that forces the existence of coarse medians and the equivalence to hierarchical hyperbolicity and CAT(0) cube complex structure.

If this is right

  • If the intersections have unbranched blocks then the free-by-cyclic group has coarse medians.
  • Such groups are colourable hierarchically hyperbolic groups.
  • Such groups are quasi-isometric to CAT(0) cube complexes.
  • Hierarchical hyperbolicity of the group is equivalent to excessive linearity in a completely split relative train track representative of the defining automorphism.

Where Pith is reading between the lines

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

  • The unbranched-blocks condition may supply a practical test for deciding when free-by-cyclic groups admit proper actions on CAT(0) spaces with controlled geometry.
  • Similar intersection conditions could be checked in other semidirect products or mapping-torus groups to detect hierarchical hyperbolicity without building the full hierarchy.
  • Excessive linearity refines existing train-track criteria and may simplify algorithms that decide hyperbolicity for automorphisms in Out(F_n).

Load-bearing premise

The algebraic condition that intersections of maximal virtually F_n × Z subgroups have unbranched blocks is sufficient to guarantee coarse medians and the equivalence to the stronger geometric properties.

What would settle it

Exhibit a free-by-cyclic group whose maximal virtually F_n × Z subgroups intersect without unbranched blocks yet the group still possesses coarse medians, or a group with unbranched blocks that fails to be hierarchically hyperbolic.

Figures

Figures reproduced from arXiv: 2508.15738 by Eliot Bongiovanni, Funda G\"ultepe, Mark Hagen, Pritam Ghosh.

Figure 1
Figure 1. Figure 1: Illustration of Example 4.15. The example at left has unbranched mapping torus and does not have excessive, or rich, linearity. The example at right has excessive linearity but does not have rich linearity. In the picture at right, the graph G consists of A, B1, B2, C1, C2, P, and we have also added the cylinders from the [DT23] construction, which allows one to represent ϕ as a Dehn twist. At the level of… view at source ↗
Figure 2
Figure 2. Figure 2: To see that Example 8.3 is non-unbranched, it is convenient to work in this finite cover. The coloured cylinders correspond to cyclic subgroups whose centralizers are the fundamental groups of the four coloured subspaces intersecting in the middle torus. These centralizers are blocks because the incident cylinders in each torus are all attached along non-homotopic circles, as indicated by the colourful cur… view at source ↗
read the original abstract

We algebraically characterize free by cyclic groups that have coarse medians, and prove that this is equivalent to the a priori stronger properties of being colourable hierarchically hyperbolic groups and being quasi-isometric to CAT(0) cube complexes. Our algebraic characterization involves a condition on intersections between maximal virtually $F_n\times \mathbb Z$ subgroups that we call having "unbranched blocks". We also characterize hierarchical hyperbolicity of $\Gamma=F_n\rtimes_{\phi}\mathbb Z$ in terms of a property of completely split relative train track representatives of $\phi\in\mathrm{Out}(F_n)$ that we call "excessive linearity", a slight refinement of the rich linearity condition for relative train track maps introduced by Munro and Petyt.

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

0 major / 3 minor

Summary. The paper algebraically characterizes free-by-cyclic groups Γ = F_n ⋊_φ Z that admit coarse medians, proving equivalence to the properties of being colourable hierarchically hyperbolic groups and being quasi-isometric to CAT(0) cube complexes. The key algebraic condition is that intersections of maximal virtually F_n × Z subgroups have 'unbranched blocks'. Hierarchical hyperbolicity of Γ is further characterized via 'excessive linearity' of completely split relative train track representatives of φ ∈ Out(F_n), refining the rich linearity condition from prior work.

Significance. If the equivalences hold, the work supplies a concrete algebraic criterion for detecting coarse medians, colourable hierarchical hyperbolicity, and CAT(0) cube complex structure within the important class of free-by-cyclic groups. The explicit definitions of unbranched blocks and excessive linearity, together with derivations from relative train-track dynamics to coarse median structures, provide a direct bridge between Out(F_n) dynamics and geometric properties. This strengthens the toolkit for studying which free-by-cyclic groups exhibit these features without relying on a priori geometric assumptions.

minor comments (3)
  1. [Introduction] The introduction would benefit from a short paragraph situating the unbranched blocks condition relative to existing algebraic criteria for hierarchical hyperbolicity in free-by-cyclic groups, to clarify the precise advance over prior results on relative train tracks.
  2. [§2] Notation for the maximal virtually F_n × Z subgroups and their intersections could be standardized earlier (e.g., in §2) to ease reading of the equivalence proofs.
  3. A brief remark on whether the excessive linearity condition is checkable in practice for given φ would help readers assess applicability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the positive report and recommendation of minor revision. The summary accurately reflects the main results and contributions of the manuscript.

read point-by-point responses

  1. Referee: The paper algebraically characterizes free-by-cyclic groups Γ = F_n ⋊_φ Z that admit coarse medians, proving equivalence to the properties of being colourable hierarchically hyperbolic groups and being quasi-isometric to CAT(0) cube complexes. The key algebraic condition is that intersections of maximal virtually F_n × Z subgroups have 'unbranched blocks'. Hierarchical hyperbolicity of Γ is further characterized via 'excessive linearity' of completely split relative train track representatives of φ ∈ Out(F_n), refining the rich linearity condition from prior work.

    Authors: We appreciate the referee's accurate and concise summary of the paper's main theorems and definitions. No revisions are required in response to this comment. revision: no

Circularity Check

0 steps flagged

No significant circularity; derivations are self-contained

full rationale

The paper defines 'unbranched blocks' on intersections of maximal virtually F_n × Z subgroups and 'excessive linearity' as a refinement of rich linearity for relative train track maps (citing Munro and Petyt externally). It then proves these algebraic conditions are equivalent to the existence of coarse medians, colourable hierarchical hyperbolicity, and quasi-isometry to CAT(0) cube complexes for Γ = F_n ⋊_φ Z. These equivalences are derived from the dynamics of completely split relative train track representatives of φ and the resulting coarse median structure, without any step reducing by construction to a fitted parameter, self-definition, or load-bearing self-citation chain. The argument is independent of the target results and relies on external benchmarks from train-track theory.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 2 invented entities

The central claims rest on standard background results in geometric group theory and Out(F_n) dynamics; the paper introduces two new defined properties (unbranched blocks and excessive linearity) whose independent verification is part of the contribution.

axioms (1)
  • standard math Standard facts about relative train track maps and hierarchical hyperbolicity from prior literature.
    Invoked to relate the new conditions to existing geometric properties.
invented entities (2)
  • unbranched blocks no independent evidence
    purpose: Algebraic condition on intersections of maximal virtually F_n × Z subgroups.
    Newly defined property used in the characterization.
  • excessive linearity no independent evidence
    purpose: Refinement of rich linearity for completely split relative train track representatives.
    Newly introduced property for the train-track characterization.

pith-pipeline@v0.9.0 · 5657 in / 1313 out tokens · 35779 ms · 2026-05-21T23:22:09.947679+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

12 extracted references · 12 canonical work pages · 1 internal anchor

  1. [1]

    Extensions of finitely generated Veech groups

    [Bon24] EliotBongiovanni.Extensionsoffinitelygeneratedveechgroups. arXiv preprint arXiv:2406.11090,

    work page internal anchor Pith review Pith/arXiv arXiv

  2. [2]

    Hyperbolic hyperbolic-by- cyclic groups are cubulable.arXiv preprint arXiv:2306.15054,

    [DKMM23] François Dahmani, Suraj Krishna MS, and Jean Pierre Mutanguha. Hyperbolic hyperbolic-by- cyclic groups are cubulable.arXiv preprint arXiv:2306.15054,

    work page arXiv

  3. [3]

    Asymptotically CAT(0) metrics, z-structures, and the farrell-jones conjecture.arXiv preprint arXiv:2504.17048,

    [DMS25] Matthew Gentry Durham, Yair Minsky, and Alessandro Sisto. Asymptotically CAT(0) metrics, z-structures, and the farrell-jones conjecture.arXiv preprint arXiv:2504.17048,

    work page arXiv

  4. [4]

    Unipotent linear suspensions of free groups

    [DT23] François Dahmani and Nicholas Touikan. Unipotent linear suspensions of free groups. arXiv preprint arXiv:2305.11274,

    work page arXiv

  5. [5]

    Cubulating infinity in hierarchically hyperbolic spaces

    [Dur23] Matthew Gentry Durham. Cubulating infinity in hierarchically hyperbolic spaces. arXiv preprint arXiv:2308.13689,

    work page arXiv

  6. [6]

    [GH21] VincentGuirardelandCamilleHorbez.Measureequivalencerigidityof OutpF_N q.arXiv preprint arXiv:2103.03696,

    work page arXiv

  7. [7]

    [HW25] Mark Hagen and Daniel T. Wise. Cubulating mapping tori of (some) polynomial free group automorphisms. ArXiv 1605.07879, pages 1–45,

    work page arXiv

  8. [8]

    Free-by-cyclic groups are equationally N oetherian

    [KV24] MonikaKudlinskaandMotiejusValiunas.Free-by-cyclicgroupsareequationallynoetherian. arXiv preprint arXiv:2407.08809,

    work page arXiv

  9. [9]

    [Mac02] Nataša Macura

    arXiv:1909.03097 [math]. [Mac02] Nataša Macura. Detour functions and quasi-isometries. Q. J. Math., 53(2):207–239,

    work page arXiv 1909

  10. [10]

    Coarse obstructions to cocompact cubulation

    [MP24] Zachary Munro and Harry Petyt. Coarse obstructions to cocompact cubulation. arXiv preprint arXiv:2407.09275,

    work page arXiv

  11. [11]

    [PS23] Harry Petyt and Davide Spriano

    arXiv:2112.10681 [math]. [PS23] Harry Petyt and Davide Spriano. Unbounded domains in hierarchically hyperbolic groups.Groups Geom. Dyn., 17(2):479–500,

    work page arXiv

  12. [12]

    Some questions related to free-by-cyclic groups and tubular groups

    [WY25] Xiaolei Wu and Shengkui Ye. Some questions related to free-by-cyclic groups and tubular groups. arXiv:2504.14192 [math], 4

    work page arXiv