pith. sign in

arxiv: 1906.09654 · v1 · pith:ACLOPJNVnew · submitted 2019-06-23 · 🧮 math.GR · math.GN· math.GT

Random subgroups, automorphisms, splittings

Vincent Guirardel , Gilbert Levitt This is my paper

Pith reviewed 2026-05-25 17:25 UTC · model grok-4.3

classification 🧮 math.GR math.GNmath.GT
keywords free groupsrandom subgroupsautomorphismssplittingsslender groupsrelatively hyperbolic groupsinner automorphismsOut(F_n)
0
0 comments X

The pith

Random subgroups of finitely generated free groups are left invariant only by inner automorphisms.

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

The paper proves that if H is a random subgroup of a finitely generated free group F_k, then only inner automorphisms of F_k leave H invariant. This follows from showing that random subgroups admit no splittings over slender groups relative to a random element. The same invariance holds for random subgroups of groups hyperbolic relative to slender subgroups, including toral relatively hyperbolic groups. Random subgroups are modeled by random walks or balls in the Cayley tree. A sympathetic reader would care because the result identifies a rigidity property that holds for generic subgroups with respect to the full automorphism group.

Core claim

If H is a random subgroup of a finitely generated free group F_k, only inner automorphisms of F_k may leave H invariant. A similar result holds for random subgroups of toral relatively hyperbolic groups, more generally of groups which are hyperbolic relative to slender subgroups. These results follow from non-existence of splittings over slender groups which are relative to a random group element. Random subgroups are defined using random walks or balls in a Cayley tree of F_k.

What carries the argument

Non-existence of splittings over slender groups relative to a random group element, which implies that only inner automorphisms preserve random subgroups defined via random walks or balls in the Cayley tree.

If this is right

  • Random subgroups of free groups have no non-trivial outer automorphisms preserving them.
  • The invariance result extends directly to random subgroups of toral relatively hyperbolic groups.
  • The conclusion applies to all groups hyperbolic relative to slender subgroups.
  • Both random walk and Cayley ball models of randomness suffice to guarantee the property.

Where Pith is reading between the lines

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

  • The result suggests that the action of Out(F_k) on the space of subgroups is free for generic points.
  • Similar randomness arguments might establish rigidity for other group invariants beyond automorphisms.
  • One could test the conclusion by sampling long random words in small-rank free groups and checking stabilizers computationally.
  • The approach may connect to questions about generic freeness or malnormality in geometric group theory.

Load-bearing premise

The definition of random subgroup via random walks or Cayley tree balls is generic enough that absence of relative splittings over slender groups implies invariance only under inner automorphisms.

What would settle it

An explicit outer automorphism of F_2 that leaves invariant a subgroup generated by a sufficiently long random walk would falsify the claim.

Figures

Figures reproduced from arXiv: 1906.09654 by Gilbert Levitt, Vincent Guirardel.

Figure 1
Figure 1. Figure 1: p is a mixed vertex, p 0 is positive. We shall distinguish two cases. Case 1: ` contains a mixed vertex p. In this case, we can find a vertex q in `C, with projection to ` equal to p, such that both a positive ray ρ+ and a negative ray ρ− with origin p pass through q, and the sign of a ray ρ passing through q only depends on the edge through which ρ exits q (one can take for q a point projecting to p, and … view at source ↗
Figure 2
Figure 2. Figure 2: The Stallings graphs of the subgroups Ai , Ci of F2 (the bullet represents the base vertex). Lemma 4.5 (see [PITH_FULL_IMAGE:figures/full_fig_p008_2.png] view at source ↗
read the original abstract

We show that, if $H$ is a random subgroup of a finitely generated free group $F_k$, only inner automorphisms of $F_k$ may leave $H$ invariant. A similar result holds for random subgroups of toral relatively hyperbolic groups, more generally of groups which are hyperbolic relative to slender subgroups. These results follow from non-existence of splittings over slender groups which are relative to a random group element. Random subgroups are defined using random walks or balls in a Cayley tree of $F_k$.

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 paper proves that if H is a random subgroup of a finitely generated free group F_k (defined via random walks or balls in the Cayley tree), then only inner automorphisms of F_k leave H invariant. An analogous statement holds for random subgroups of toral relatively hyperbolic groups (more generally, groups hyperbolic relative to slender subgroups). The results are derived from the non-existence of splittings over slender groups relative to a random element.

Significance. If the central claims hold, the work strengthens genericity results in geometric group theory by showing that random subgroups are typically rigid with respect to outer automorphisms. The approach via non-existence of relative splittings over slender subgroups aligns with standard techniques in the study of Out(F_k) and relatively hyperbolic groups; the explicit use of random-walk models for defining genericity is a positive methodological feature.

minor comments (2)
  1. [Abstract] The abstract states the main theorems clearly but does not indicate the length or structure of the proofs; a sentence on the organization of the argument (e.g., reduction to the non-splitting statement) would improve readability.
  2. [§2] Notation for the random-walk measure and the ball model is introduced in the abstract without cross-reference; ensure consistent notation is defined at first use in §2 or §3.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our work and the recommendation for minor revision. No major comments were provided in the report, so we have no specific points requiring rebuttal or clarification at this stage. We will address any minor issues identified during the revision process.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The derivation chain proceeds from the definition of random subgroups (via random walks or balls in the Cayley tree) to the non-existence of splittings over slender groups relative to a random element, and thence to the automorphism-invariance statement. No quoted step reduces the target conclusion to a fitted input, self-definition, or load-bearing self-citation whose justification is internal to the paper; the implication is presented as following from standard geometric-group-theory facts about free and relatively hyperbolic groups. The result is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Based solely on the abstract, the argument relies on standard facts about free groups, relatively hyperbolic groups, and slender subgroups; no free parameters, invented entities, or ad-hoc axioms are visible.

axioms (1)
  • standard math Standard facts about free groups, outer automorphisms, and splittings over slender subgroups in relatively hyperbolic groups.
    Invoked implicitly to define the setting and the notion of splitting relative to a random element.

pith-pipeline@v0.9.0 · 5606 in / 1206 out tokens · 25270 ms · 2026-05-25T17:25:56.817377+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

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

  1. [1]

    Commensurating endomorphisms of acylindrically hyperbolic groups and applications

    Yago Antol\' n, Ashot Minasyan, and Alessandro Sisto. Commensurating endomorphisms of acylindrically hyperbolic groups and applications. Groups Geom. Dyn. , 10(4):1149--1210, 2016

    work page 2016

  2. [2]

    Stable actions of groups on real trees

    Mladen Bestvina and Mark Feighn. Stable actions of groups on real trees. Invent. Math. , 121(2):287--321, 1995

    work page 1995

  3. [3]

    Train tracks and automorphisms of free groups

    Mladen Bestvina and Michael Handel. Train tracks and automorphisms of free groups. Ann. of Math. (2) , 135(1):1--51, 1992

    work page 1992

  4. [4]

    Statistical properties of subgroups of free groups

    Fr\' e d\' e rique Bassino, Armando Martino, Cyril Nicaud, Enric Ventura, and Pascal Weil. Statistical properties of subgroups of free groups. Random Structures Algorithms , 42(3):349--373, 2013

    work page 2013

  5. [5]

    Cashen and Jason F

    Christopher H. Cashen and Jason F. Manning. Virtual geometricity is rare. LMS J. Comput. Math. , 18(1):444--455, 2015

    work page 2015

  6. [6]

    Dahmani, V

    F. Dahmani, V. Guirardel, and D. Osin. Hyperbolically embedded subgroups and rotating families in groups acting on hyperbolic spaces. Mem. Amer. Math. Soc. , 245(1156):v+152, 2017

    work page 2017

  7. [7]

    Splittings and automorphisms of relatively hyperbolic groups

    Vincent Guirardel and Gilbert Levitt. Splittings and automorphisms of relatively hyperbolic groups. Groups Geom. Dyn. , 9(2):599--663, 2015

    work page 2015

  8. [8]

    J SJ decompositions of groups

    Vincent Guirardel and Gilbert Levitt. J SJ decompositions of groups. Ast\' e risque , (395):vii+165, 2017

    work page 2017

  9. [9]

    Malnormal subgroups of free groups

    Toshiaki Jitsukawa. Malnormal subgroups of free groups. In Computational and statistical group theory ( L as V egas, NV / H oboken, NJ , 2001) , volume 298 of Contemp. Math. , pages 83--95. Amer. Math. Soc., Providence, RI, 2002

    work page 2001

  10. [10]

    Generic properties of W hitehead's algorithm and isomorphism rigidity of random one-relator groups

    Ilya Kapovich, Paul Schupp, and Vladimir Shpilrain. Generic properties of W hitehead's algorithm and isomorphism rigidity of random one-relator groups. Pacific J. Math. , 223(1):113--140, 2006

    work page 2006

  11. [11]

    Lyndon and Paul E

    Roger C. Lyndon and Paul E. Schupp. Combinatorial group theory . Classics in Mathematics. Springer-Verlag, Berlin, 2001. Reprint of the 1977 edition

    work page 2001

  12. [12]

    Random subgroups of acylindrically hyperbolic groups and hyperbolic embeddings

    Joseph Maher and Alessandro Sisto. Random subgroups of acylindrically hyperbolic groups and hyperbolic embeddings, 2017. arXiv:1701.00253

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  13. [13]

    Certaines relations d'\' e quivalence sur l'ensemble des bouts d'un groupe libre

    Jean-Pierre Otal. Certaines relations d'\' e quivalence sur l'ensemble des bouts d'un groupe libre. J. London Math. Soc. (2) , 46(1):123--139, 1992

    work page 1992

  14. [14]

    The G romov topology on R -trees

    Fr \'e d \'e ric Paulin. The G romov topology on R -trees. Topology Appl. , 32(3):197--221, 1989

    work page 1989

  15. [15]

    Sur les automorphismes ext\'erieurs des groupes hyperboliques

    Fr \'e d \'e ric Paulin. Sur les automorphismes ext\'erieurs des groupes hyperboliques. Ann. Sci. \'Ecole Norm. Sup. (4) , 30(2):147--167, 1997

    work page 1997

  16. [16]

    Paul E. Schupp. A characterization of inner automorphisms. Proc. Amer. Math. Soc. , 101(2):226--228, 1987

    work page 1987