pith. sign in

arxiv: 2405.19702 · v2 · submitted 2024-05-30 · 🧮 math.GR

Acylindrical hyperbolicity of outer automorphism groups of right-angled Artin groups

Hyungryul Baik , Junseok Kim This is my paper

Pith reviewed 2026-05-24 01:34 UTC · model grok-4.3

classification 🧮 math.GR
keywords right-angled Artin groupsouter automorphism groupsacylindrical hyperbolicitySIL-pairspartial conjugationsdefining graphsrandom graphs
0
0 comments X

The pith

When the defining graph has no SIL-pairs, Out(A_Γ) is acylindrically hyperbolic exactly under a stated condition.

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

The paper determines when the outer automorphism group of a right-angled Artin group A_Γ is acylindrically hyperbolic. When the defining graph Γ contains no SIL-pairs, it supplies a necessary and sufficient condition for this property to hold. When Γ instead admits a maximal SIL-pair system, the authors classify partial conjugations and show that acylindrical hyperbolicity depends on the existence of one particular kind. As a direct corollary, random connected graphs obeying a given probabilistic condition yield Out(A_Γ) that fails to be acylindrically hyperbolic with high probability.

Core claim

When the defining graph Γ has no SIL-pair, there is a necessary and sufficient condition for Out(A_Γ) to be acylindrically hyperbolic. When Γ has a maximal SIL-pair system, a classification of partial conjugations shows that the acylindrical hyperbolicity of Out(A_Γ) is closely related to the existence of a specific type of partial conjugation.

What carries the argument

SIL-pairs (separating intersections of links) in the defining graph Γ, which partition the cases and control whether Out(A_Γ) is acylindrically hyperbolic.

If this is right

  • If Γ has no SIL-pairs and satisfies the condition, then Out(A_Γ) is acylindrically hyperbolic.
  • If Γ has no SIL-pairs but fails the condition, then Out(A_Γ) is not acylindrically hyperbolic.
  • When Γ has a maximal SIL-pair system, the existence of a specific type of partial conjugation determines whether Out(A_Γ) is acylindrically hyperbolic.
  • For a random connected graph satisfying the probabilistic condition, Out(A_Γ) is not acylindrically hyperbolic with high probability.

Where Pith is reading between the lines

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

  • The classification of partial conjugations may extend to other classes of graphs that are close to having maximal SIL-pair systems.
  • The necessary-and-sufficient condition supplies an explicit test that can be applied to any concrete graph without SIL-pairs.
  • The link between graph combinatorics and acylindrical hyperbolicity suggests similar criteria could exist for other automorphism groups defined by graphs.

Load-bearing premise

The graph Γ either has no SIL-pairs or possesses a maximal SIL-pair system.

What would settle it

A concrete graph with no SIL-pairs together with an explicit check showing that the stated condition predicts the wrong answer about whether Out(A_Γ) is acylindrically hyperbolic.

Figures

Figures reproduced from arXiv: 2405.19702 by Hyungryul Baik, Junseok Kim.

Figure 1
Figure 1. Figure 1: The graphs Λ2 and Λ3. If Out(AΓ(p,q,r)) is acylindrically hyperbolic, it gives a partial answer to the Genevois’ question. Otherwise, this example is a counterexample to the conjecture that acylindrical hyperbolicity is a quasi-isometry invariant. The paper is organized as follows: Section 2 provides all basic definitions and notations for our discussion. In Section 3, we prove Theorem A and study maximal … view at source ↗
Figure 2
Figure 2. Figure 2: illustrates an example satisfying the conditions of Corollary 3.2. It is clear that the complement of the star of each vertex is connected, and that the two tips of the graph induce transvections that generate SL2(Z) [PITH_FULL_IMAGE:figures/full_fig_p011_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Examples of decompositions given by maximal SIL-pair systems. Proposition 3.8 (Classification of partial conjugations). Let Γ be a graph having a maximal SIL-pair system {w1, . . . , wn} with the decomposition as above. A partial conjugation P C v falls into one of the following categories: ● Type I: v ∈ Ci and ∩k lk(wk) ⊂ lk(v). (1) P Ci ′ v for i ′ ≠ i. (2) P Dj v for some j. (3) P C v where C ⊂ Ci conta… view at source ↗
Figure 4
Figure 4. Figure 4: Then {w1, w2, w3} is a maximal SIL-pair system, and ∣∩i lk(wi)∣ = 1, but Γ is not connected. In what follows, we do not assume that Γ is connected. C1 C2 C3 w1 w2 w3 D1 [PITH_FULL_IMAGE:figures/full_fig_p015_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: An example of a graph having two additional components. If Γ has a maximal SIL-pair system with at least two additional com￾ponents, by Proposition 2.13 and Proposition 2.15, we can conclude that Out(AΓ) is not acylindrically hyperbolic [PITH_FULL_IMAGE:figures/full_fig_p016_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: The graph Γ1. Lemma 3.12. Out∗ (AΓ1 ) is acylindrically hyperbolic. Proof. We claim that Out∗ (AΓ1 ) is isomorphic to an acylindrically hyper￾bolic group Aut∗ (F3). Let v1, v2, and v3 be the equivalent vertices in Γ1 and l1, l2 be vertices in lk(v1) = lk(v2) = lk(v3). Then Out∗ (AΓ1 ) is gen￾erated by transvections defined by the equivalent relations among v1, v2, and v3 since other nontrivial partial conj… view at source ↗
Figure 7
Figure 7. Figure 7: The graph Γ2 and Γ3. By Theorem 4.2, PSO(AΓ3 ) = H3 ⋊ K where H3 = ⟨P C3 w1 , P C3 w′ 1 , P C3 w2 , P C2 w′ 2 , P C2 w3 , P C2 w′ 3 ⟩ and K = ⟨P C1 w1 , P C′1 w′ 1 , P C2 w2 , P C′2 w′ 2 , P C3 w3 , P C′3 w′ 3 ⟩. Let t = P C3 w1 . Then PSO(AΓ3 ) is an HNN-extension group of ⟨P C3 w′ 1 , P C3 w2 , P C2 w′ 2 , P C2 w3 , P C2 w′ 3 , P C1 w1 , P C′1 w′ 1 , P C2 w2 , P C′2 w′ 2 , P C3 w3 , P C′3 w′ 3 ⟩ with ass… view at source ↗
Figure 8
Figure 8. Figure 8: The graph Γ(2, 4, 3). 5. Proof of the main corollary In this section we prove Corollary 1. The argument proceeds in two steps. We first establish that Γ has no SIL-pair with high probability under the stated hypotheses (Lemma 5.1 below); we then deduce the failure of acylindrical hyperbolicity by analyzing equivalent and comparable pairs in Γ and applying Theorem A. Lemma 5.1. Let Γ = Γ(n, p) and let q = 1… view at source ↗
read the original abstract

We study the acylindrical hyperbolicity of the outer automorphism group of a right-angled Artin group $A_\Gamma$. When the defining graph $\Gamma$ has no SIL-pair (separating intersection of links), we obtain a necessary and sufficient condition for $\mathrm{Out}(A_\Gamma)$ to be acylindrically hyperbolic. As a corollary, if $\Gamma$ is a random connected graph satisfying a certain probabilistic condition, then $\mathrm{Out}(A_\Gamma)$ is not acylindrically hyperbolic with high probability. When $\Gamma$ has a maximal SIL-pair system, we derive a classification theorem for partial conjugations. Such a classification theorem allows us to show that the acylindrical hyperbolicity of $\mathrm{Out}(A_\Gamma)$ is closely related to the existence of a specific type of partial conjugations.

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 / 2 minor

Summary. The manuscript studies acylindrical hyperbolicity of Out(A_Γ) for right-angled Artin groups. When the defining graph Γ has no SIL-pairs, it establishes a necessary and sufficient condition for Out(A_Γ) to be acylindrically hyperbolic. As a corollary, for random connected graphs satisfying a probabilistic condition, Out(A_Γ) is not acylindrically hyperbolic with high probability. When Γ has a maximal SIL-pair system, the paper gives a classification of partial conjugations and shows that acylindrical hyperbolicity is closely related to the existence of a specific type of partial conjugation.

Significance. If the results hold, the work advances the understanding of acylindrical hyperbolicity for outer automorphism groups of RAAGs by providing explicit, graph-theoretic conditions. The case distinctions on SIL-pairs are clearly stated and avoid overclaiming generality. The probabilistic corollary and the classification theorem for partial conjugations are concrete contributions that can be used in further study of dynamics on RAAGs and their automorphisms.

minor comments (2)
  1. [Abstract] Abstract: the phrase 'closely related to the existence of a specific type of partial conjugations' is imprecise; the introduction or main theorem statement should specify the exact relation (e.g., existence of a loxodromic partial conjugation of a certain form implies AH).
  2. [Introduction] The manuscript should include a brief reminder of the standard definition of a SIL-pair (separating intersection of links) in §1 or §2 for readers outside the immediate RAAG literature.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading and positive assessment of the manuscript, including the recommendation for minor revision. The report does not list any major comments requiring responses.

Circularity Check

0 steps flagged

No significant circularity; claims are conditional on explicit graph assumptions with standard definitions

full rationale

The paper states its main theorems conditionally on the defining graph Γ having either no SIL-pairs or a maximal SIL-pair system, with the SIL-pair definition drawn from prior RAAG literature rather than introduced self-referentially. The necessary-and-sufficient condition for acylindrical hyperbolicity and the classification of partial conjugations are derived from dynamical properties (loxodromic elements, acylindrical actions) tied directly to these graph features, without any reduction of predictions to fitted inputs, self-definitional loops, or load-bearing self-citations. The case split is explicit and does not purport to cover all graphs, so the derivation chain remains independent of its own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on the standard definitions of right-angled Artin groups, outer automorphism groups, acylindrical hyperbolicity, SIL-pairs, and partial conjugations; no free parameters or invented entities are indicated in the abstract.

axioms (2)
  • standard math Right-angled Artin group A_Γ is defined by the graph Γ with commutation relations corresponding to edges.
    Invoked in the setup of the problem.
  • standard math Outer automorphism group Out(A_Γ) is Aut(A_Γ) modulo inner automorphisms.
    Standard definition used throughout.

pith-pipeline@v0.9.0 · 5676 in / 1383 out tokens · 54284 ms · 2026-05-24T01:34:59.877400+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

22 extracted references · 22 canonical work pages

  1. [1]

    Finiteness properties of automorphism groups of right-angled artin groups

    Ruth Charney and Karen Vogtmann. Finiteness properties of automorphism groups of right-angled artin groups. Bulletin of the London Mathematical Society , 41(1):94--102, 2009

    work page 2009

  2. [2]

    Subgroups and quotients of automorphism groups of raags

    Ruth Charney and Karen Vogtmann. Subgroups and quotients of automorphism groups of raags. Low-dimensional and symplectic topology , 82:9--27, 2011

    work page 2011

  3. [3]

    Symplectic structures on right-angled artin groups: between the mapping class group and the symplectic group

    Matthew B Day. Symplectic structures on right-angled artin groups: between the mapping class group and the symplectic group. Geometry & Topology , 13(2):857--899, 2009

    work page 2009

  4. [4]

    Calculating the virtual cohomological dimension of the automorphism group of a raag

    Matthew B Day, Andrew W Sale, and Richard D Wade. Calculating the virtual cohomological dimension of the automorphism group of a raag. Bulletin of the London Mathematical Society , 53(1):259--273, 2021

    work page 2021

  5. [5]

    Subspace arrangements, bns invariants, and pure symmetric outer automorphisms of right-angled artin groups

    Matthew B Day and Richard D Wade. Subspace arrangements, bns invariants, and pure symmetric outer automorphisms of right-angled artin groups. Groups, Geometry, and Dynamics , 12(1):173--206, 2018

    work page 2018

  6. [6]

    Relative automorphism groups of right-angled artin groups

    Matthew B Day and Richard D Wade. Relative automorphism groups of right-angled artin groups. Journal of Topology , 12(3):759--798, 2019

    work page 2019

  7. [7]

    Automorphisms of graph products of groups and acylindrical hyperbolicity

    Anthony Genevois. Automorphisms of graph products of groups and acylindrical hyperbolicity. arXiv preprint arXiv:1807.00622 , 2018

    work page arXiv 2018

  8. [8]

    Negative curvature in automorphism groups of one-ended hyperbolic groups

    Anthony Genevois. Negative curvature in automorphism groups of one-ended hyperbolic groups. Journal of Combinatorial Algebra , 3(3):305--329, 2019

    work page 2019

  9. [9]

    Vastness properties of automorphism groups of raags

    Vincent Guirardel and Andrew Sale. Vastness properties of automorphism groups of raags. Journal of topology , 11(1):30--64, 2018

    work page 2018

  10. [10]

    Beyond hyperbolicity , volume 454

    Mark Hagen, Richard Webb, and Henry Wilton. Beyond hyperbolicity , volume 454. Cambridge University Press, 2019

    work page 2019

  11. [11]

    Automorphism and outer automorphism groups of right-angled artin groups are not relatively hyperbolic

    Junseok Kim, Sangrok Oh, and Philippe Tranchida. Automorphism and outer automorphism groups of right-angled artin groups are not relatively hyperbolic. Bulletin of the Australian Mathematical Society , 106(1):102--112, 2022

    work page 2022

  12. [12]

    Laurence

    Michael R. Laurence. A generating set for the automorphism group of a graph group. Journal of the London Mathematical Society , 52(2):318--334, 1995

    work page 1995

  13. [13]

    Combinatorial group theory

    Charles F Miller III. Combinatorial group theory. Heriot-Watt University , 2002

    work page 2002

  14. [14]

    Acylindrical hyperbolicity of groups acting on trees

    Ashot Minasyan and Denis Osin. Acylindrical hyperbolicity of groups acting on trees. Mathematische Annalen , 362(3-4):1055--1105, 2015

    work page 2015

  15. [15]

    On acylindrical hyperbolicity of groups with positive first ^2 -betti number

    Denis Osin. On acylindrical hyperbolicity of groups with positive first ^2 -betti number. Bulletin of the London Mathematical Society , 47(5):725--730, 2015

    work page 2015

  16. [16]

    Acylindrically hyperbolic groups

    Denis Osin. Acylindrically hyperbolic groups. Transactions of the American Mathematical Society , 368(2):851--888, 2016

    work page 2016

  17. [17]

    On virtual indicability and property (t) for outer automorphism groups of raags

    Andrew Sale. On virtual indicability and property (t) for outer automorphism groups of raags. Groups, Geometry, and Dynamics , 18(1):147--190, 2024

    work page 2024

  18. [18]

    Automorphisms of graph groups

    Herman Servatius. Automorphisms of graph groups. Journal of Algebra , 126(1):34--60, 1989

    work page 1989

  19. [19]

    A finitely presented subgroup of the automorphism group of a right-angled artin group

    Emmanuel Toinet. A finitely presented subgroup of the automorphism group of a right-angled artin group. Journal of Group Theory , 15(6):811--822, 2012

    work page 2012

  20. [20]

    Symmetries of free and right-angled Artin groups

    R Wade. Symmetries of free and right-angled Artin groups . PhD thesis, Oxford University, UK, 2012

    work page 2012

  21. [21]

    A note on virtual duality and automorphism groups of right-angled artin groups

    Richard D Wade and Benjamin Br \"u ck. A note on virtual duality and automorphism groups of right-angled artin groups. Glasgow Mathematical Journal , 65(3):573--581, 2023

    work page 2023

  22. [22]

    Right-angled artin groups as finite-index subgroups of their outer automorphism groups

    Manuel Wiedmer. Right-angled artin groups as finite-index subgroups of their outer automorphism groups. Bulletin of the London Mathematical Society , 56(3):945--958, 2024

    work page 2024