pith. sign in

arxiv: 2605.20564 · v1 · pith:IROJBPMHnew · submitted 2026-05-19 · 🧮 math.GR

Action graphs, semiconjugacy, and non-embedding in Thompson's group V

James Hyde , Rachel Skipper , Matthew C. B. Zaremsky This is my paper

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

classification 🧮 math.GR
keywords Thompson's group Vaction graphssemiconjugacyStein groupnon-embeddinghomeomorphisms of the lineCantor spaceThompson's group F
0
0 comments X

The pith

Any embedding of Thompson's group F or similar real-line homeomorphism groups into V must make the induced Cantor space action semiconjugate to the standard line action.

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

The paper first shows that action graphs of finitely generated subgroups of V, when restricted to orbits in Cantor space, are always quasi-isometric to trees. It then proves that embeddings of a broad class of groups of homeomorphisms of the real line into V force the resulting action on Cantor space to be semiconjugate to the group's usual action on the line. This semiconjugacy is incompatible with the dynamics of many such groups, yielding a proof that they cannot embed into V. In particular the Stein group F_{2,3} has no embedding in V, settling a question left open by one of the authors. A reader would care because the result supplies a concrete dynamical obstruction that limits the subgroup structure of V.

Core claim

We prove that every action graph of a finitely generated subgroup of V acting on an orbit in Cantor space is quasi-isometric to a tree. Then we prove that for a broad class of groups of homeomorphisms of the real line, for example Thompson's group F, any action on the Cantor space via an embedding into Thompson's group V must be semiconjugate to the standard action on the line. Finally, we use this to establish that many such groups cannot embed into V; in particular the Stein group F_{2,3} cannot embed in V, answering a question of the third author.

What carries the argument

Semiconjugacy between the action on Cantor space induced by an embedding into V and the group's standard action on the real line.

If this is right

  • The Stein group F_{2,3} does not embed into V.
  • Many other groups of homeomorphisms of the real line that satisfy the paper's hypotheses likewise fail to embed into V.
  • Action graphs of finitely generated subgroups of V on Cantor-space orbits are always quasi-isometric to trees.
  • The semiconjugacy property provides a uniform dynamical obstruction for embeddings into V.

Where Pith is reading between the lines

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

  • The same semiconjugacy test might obstruct embeddings of still more groups of interval homeomorphisms whose dynamics are known to be incompatible with semiconjugacy.
  • If the quasi-isometry-to-tree property extends to infinitely generated subgroups, it could further restrict possible actions of subgroups of V.
  • The combination of tree-like action graphs and semiconjugacy might be used to decide embeddability questions for other Thompson-like groups acting on the line or on intervals.

Load-bearing premise

That any embedding into V of these real-line homeomorphism groups forces the induced Cantor-space action to be semiconjugate to the standard line action.

What would settle it

An explicit embedding of F_{2,3} into V, or an explicit action of one of these groups on Cantor space that arises from an embedding into V yet fails to be semiconjugate to its standard line action.

Figures

Figures reproduced from arXiv: 2605.20564 by James Hyde, Matthew C. B. Zaremsky, Rachel Skipper.

Figure 1
Figure 1. Figure 1: Part of QT κ, for some irrational κ. Let G be a finitely generated subgroup of V , with S a finite symmetric generating set for G. Fix κ0 ∈ C and let X = κ0.G, and let Γ = AGX(G, S). Since V and hence G acts on C by piecewise prefix replacements, the vertex set of Γ is a subset of the vertex set of QT := QT κ0 . Note that edges in Γ might not be edges in QT , but since S is finite, for any edge in Γ there … view at source ↗
Figure 2
Figure 2. Figure 2: Part of QT κ, for κ the rational point 001. Cκ0 (which is only relevant if κ0 is rational), and otherwise define it to be 1 if the directed edge between κ and κ ′ is (κ, κ′ ) and −1 if it is (κ ′ , κ). Now for arbitrary κ and κ ′ , choose a geodesic edge path from κ to κ ′ with vertices κ = κ0, . . . , κn = κ ′ , and define the discrepancy from κ to κ ′ to be the sum of the discrepancies from κi to κi+1, f… view at source ↗
Figure 3
Figure 3. Figure 3: The graph from [PITH_FULL_IMAGE:figures/full_fig_p005_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: An illustration of producing a “shortcut” in the proof of Theorem A. The closed edge path C in Γ is black (with only the relevant vertices marked), the path in C from λm2 through q to ρm2 is in bold, and the new shortcut path obtained by replicating the bold path but now from λm1 to ρm1 is red. This strengthens a result that follows from work of Bleak and Salazar-D´ıaz [BSD13], that if Z 2 ∼= G ≤ V then fo… view at source ↗
Figure 5
Figure 5. Figure 5: The transducer representing a homeomorphism h of C that normal￾izes V . Example 4.9. Consider the transducer defined in [PITH_FULL_IMAGE:figures/full_fig_p016_5.png] view at source ↗
read the original abstract

We prove a variety of results about subgroups of Thompson's group $V$. First we prove that every action graph of a finitely generated subgroup of $V$ acting on an orbit in Cantor space is quasi-isometric to a tree. Then we prove that for a broad class of groups of homeomorphisms of the real line, for example Thompson's group $F$, any action on the Cantor space via an embedding into Thompson's group $V$ must be semiconjugate to the standard action on the line. Finally, we use this to establish that many such groups cannot embed into $V$; in particular the Stein group $F_{2,3}$ cannot embed in $V$, answering a question of the third author.

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 manuscript proves that action graphs of finitely generated subgroups of Thompson's group V are quasi-isometric to trees. It then establishes a semiconjugacy theorem: for a broad class of groups of homeomorphisms of the real line (including Thompson's F and the Stein group F_{2,3}), any embedding into V induces an action on Cantor space that is semiconjugate to the group's standard action on the line. This is applied to show that many such groups, in particular F_{2,3}, do not embed into V, answering a question of the third author.

Significance. If the results hold, the work supplies new structural tools (action-graph quasi-isometries and a semiconjugacy criterion) for analyzing subgroups of V and resolves a concrete open embeddability question. The direct, non-circular derivation of the QI-to-tree statement and the subsequent dynamical application constitute clear strengths; the manuscript contains no machine-checked proofs or parameter-free derivations, but the argument chain is self-contained and falsifiable via explicit dynamical checks.

minor comments (3)
  1. [§2] §2: the definition of an action graph would be clearer with an explicit small example (e.g., the standard generators of F acting on a finite orbit) placed immediately after the formal definition.
  2. [§4] §4, Theorem 4.2: the statement of the semiconjugacy result uses the phrase 'broad class' without a precise list of hypotheses in the theorem itself; moving the full list from the surrounding paragraph into the theorem statement would improve readability.
  3. The bibliography is missing the original reference for the Stein group F_{2,3} (Stein 1992); adding it would complete the citation record for the open question being answered.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript, the accurate summary of the main results on action graphs and semiconjugacy, and the recommendation for minor revision. We respond below to the points raised.

read point-by-point responses

  1. Referee: No specific major comments are listed in the report; the referee provides a summary of the results, notes their significance, and recommends minor revision.

    Authors: We appreciate the referee's recognition of the direct derivation of the quasi-isometry to trees and the dynamical application to non-embeddability. Since no concrete issues or requested changes were identified, we see no need for revisions at present. revision: no

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper establishes original results: action graphs of fg subgroups of V are QI to trees, and embeddings of line homeomorphism groups (e.g., F or F_{2,3}) into V must be semiconjugate to the standard action. These are proved directly via graph-theoretic and dynamical arguments, then applied to obtain non-embeddability. No step reduces by construction to inputs, fitted parameters, or unverified self-citation chains; central claims retain independent content from definitions and external dynamical properties. Minor self-citations (if present) are not load-bearing.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper relies on standard facts from geometric group theory and the known properties of Thompson's groups V and F; no new free parameters, ad-hoc axioms, or invented entities are introduced in the abstract.

axioms (1)
  • standard math Standard properties of Thompson's group V as a group of homeomorphisms of the Cantor set and of groups of homeomorphisms of the real line.
    The abstract invokes these as background for the action-graph and semiconjugacy statements.

pith-pipeline@v0.9.0 · 5658 in / 1439 out tokens · 42847 ms · 2026-05-21T05:55:47.341267+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

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

  1. [1]

    Bleak, P

    C. Bleak, P. Cameron, Y. Maissel, A. Navas, and F. Olukoya. The further chameleon groups of R ichard T hompson and G raham H igman: automorphisms via dynamics for the H igman- T hompson groups G_ n,r . Mem. Amer. Math. Soc. , 301(1510):viii+94, 2024

    work page 2024

  2. [2]

    Burillo, S

    J. Burillo, S. Cleary, and M. I. Stein. Metrics and embeddings of generalizations of T hompson's group F . Trans. Amer. Math. Soc. , 353(4):1677--1689, 2001

    work page 2001

  3. [3]

    Thompson's group F

    James Michael Belk. Thompson's group F . ProQuest LLC, Ann Arbor, MI, 2004. Thesis (Ph.D.)--Cornell University

    work page 2004

  4. [4]

    A short proof of R ubin's theorem

    James Belk, Luna Elliott, and Francesco Matucci. A short proof of R ubin's theorem. Israel J. Math. , 267(1):157--169, 2025

    work page 2025

  5. [5]

    Finite generation for the group F( 3 2 )

    Jos\'e Burillo and Marc Felipe. Finite generation for the group F( 3 2 ) . arXiv:2409.09195

    work page arXiv

  6. [6]

    Brin and Fernando Guzm\'an

    Matthew G. Brin and Fernando Guzm\'an. Automorphisms of generalized T hompson groups. J. Algebra , 203(1):285--348, 1998

    work page 1998

  7. [7]

    Locally moving groups and laminar actions on the line

    Joach\'in Brum, Nicol\'as Matte Bon, Crist\'obal Rivas, and Michele Triestino. Locally moving groups and laminar actions on the line. Ast\'erisque , 2021. To appear. arXiv:2104.14678

    work page arXiv 2021

  8. [8]

    Embeddings into T hompson's group V and co CF groups

    Collin Bleak, Francesco Matucci, and Max Neunh\"offer. Embeddings into T hompson's group V and co CF groups. J. Lond. Math. Soc. (2) , 94(2):583--597, 2016

    work page 2016

  9. [9]

    Neumann, and Ralph Strebel

    Robert Bieri, Walter D. Neumann, and Ralph Strebel. A geometric invariant of discrete groups. Invent. Math. , 90(3):451--477, 1987

    work page 1987

  10. [10]

    Kenneth S. Brown. Finiteness properties of groups. In Proceedings of the N orthwestern conference on cohomology of groups ( E vanston, I ll., 1985) , volume 44, pages 45--75, 1987

    work page 1985

  11. [11]

    On groups of PL -homeomorphisms of the real line , volume 215 of Mathematical Surveys and Monographs

    Robert Bieri and Ralph Strebel. On groups of PL -homeomorphisms of the real line , volume 215 of Mathematical Surveys and Monographs . American Mathematical Society, Providence, RI, 2016

    work page 2016

  12. [12]

    Free products in R

    Collin Bleak and Olga Salazar-D\'iaz. Free products in R . T hompson's group V . Trans. Amer. Math. Soc. , 365(11):5967--5997, 2013

    work page 2013

  13. [13]

    J. W. Cannon, W. J. Floyd, and W. R. Parry. Introductory notes on R ichard T hompson's groups. Enseign. Math. (2) , 42(3-4):215--256, 1996

    work page 1996

  14. [14]

    A note on spaces of asymptotic dimension one

    Koji Fujiwara and Kevin Whyte. A note on spaces of asymptotic dimension one. Algebr. Geom. Topol. , 7:1063--1070, 2007

    work page 2007

  15. [15]

    Finitely presented infinite simple groups

    Graham Higman. Finitely presented infinite simple groups . Notes on Pure Mathematics, No. 8. Australian National University, Department of Pure Mathematics, Department of Mathematics, I.A.S., Canberra, 1974

    work page 1974

  16. [16]

    Subgroups of PL _+I which do not embed into T hompson's group F

    James Hyde and Justin Tatch Moore. Subgroups of PL _+I which do not embed into T hompson's group F . Groups Geom. Dyn. , 17(2):533--554, 2023

    work page 2023

  17. [17]

    Mackay, and Romain Tessera

    David Hume, John M. Mackay, and Romain Tessera. Poincar\'e profiles of L ie groups and a coarse geometric dichotomy. Geom. Funct. Anal. , 32(5):1063--1133, 2022

    work page 2022

  18. [18]

    J. Lehnert. Gruppen von quasi-automorphismen . PhD thesis, Goethe Universität, Frankfurt, 2008

    work page 2008

  19. [19]

    A nonamenable finitely presented group of piecewise projective homeomorphisms

    Yash Lodha and Justin Tatch Moore. A nonamenable finitely presented group of piecewise projective homeomorphisms. Groups Geom. Dyn. , 10(1):177--200, 2016

    work page 2016

  20. [20]

    Coherent actions by homeomorphisms on the real line or an interval

    Yash Lodha. Coherent actions by homeomorphisms on the real line or an interval. Israel J. Math. , 235(1):183--212, 2020

    work page 2020

  21. [21]

    Lehnert and P

    J. Lehnert and P. Schweitzer. The co-word problem for the H igman- T hompson group is context-free. Bull. Lond. Math. Soc. , 39(2):235--241, 2007

    work page 2007

  22. [22]

    Geometry of pseudocharacters

    Jason Fox Manning. Geometry of pseudocharacters. Geom. Topol. , 9:1147--1185, 2005

    work page 2005

  23. [23]

    Groups of piecewise projective homeomorphisms

    Nicolas Monod. Groups of piecewise projective homeomorphisms. Proc. Natl. Acad. Sci. USA , 110(12):4524--4527, 2013

    work page 2013

  24. [24]

    On the reconstruction of topological spaces from their groups of homeomorphisms

    Matatyahu Rubin. On the reconstruction of topological spaces from their groups of homeomorphisms. Trans. Amer. Math. Soc. , 312(2):487--538, 1989

    work page 1989

  25. [25]

    Locally moving groups and reconstruction problems

    Matatyahu Rubin. Locally moving groups and reconstruction problems. In Ordered groups and infinite permutation groups , volume 354 of Math. Appl. , pages 121--157. Kluwer Acad. Publ., Dordrecht, 1996

    work page 1996

  26. [26]

    Groups of piecewise linear homeomorphisms

    Melanie Stein. Groups of piecewise linear homeomorphisms. Trans. Amer. Math. Soc. , 332(2):477--514, 1992

    work page 1992

  27. [27]

    Sigma 1 of PL-homeomorphism groups

    Ralph Strebel. Sigma 1 of PL -homeomorphism groups. arXiv:1507.00135

    work page internal anchor Pith review Pith/arXiv arXiv

  28. [28]

    Matthew C. B. Zaremsky. H NN decompositions of the L odha- M oore groups, and topological applications. J. Topol. Anal. , 8(4):627--653, 2016

    work page 2016