pith. sign in

arxiv: 2406.12982 · v2 · submitted 2024-06-18 · 🧮 math.GR

Hyperbolic actions of Thompson's group F and generalizations

Sahana Balasubramanya , Francesco Fournier-Facio , Matthew C. B. Zaremsky This is my paper

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

classification 🧮 math.GR
keywords Thompson's group Fhyperbolic structuresquasi-parabolic actionslamplike structuresconfining subsetsposet of actionslamplighter groupssemidirect product
0
0 comments X

The pith

Thompson's group F_n has two isomorphic posets of quasi-parabolic hyperbolic structures, each containing uncountably many lamplike subposets that all collapse after a natural semidirect product with Z/2Z.

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

The paper maps the full poset of hyperbolic structures on Thompson's group F and its generalizations F_n for n at least 2. While the top level is simple, with only two maximal non-elementary quasi-parabolic actions arising from the group's standard ascending HNN-extension presentations, the lower levels turn out to be highly intricate. The quasi-parabolic part splits into two isomorphic copies, each holding uncountably many subposets of lamplike structures that are classified combinatorially using hyperbolic structures on associated lamplighter groups, and every such subposet contains a copy of the power set of the natural numbers. The authors also exhibit a separate power-set-sized collection of non-lamplike structures and prove that the entire collection vanishes upon passage to the natural semidirect product with Z/2Z. A reader would care because the result shows how the geometry of these groups encodes far more distinct actions than expected, yet a single elementary operation erases the distinction.

Core claim

The poset of hyperbolic structures on F_n has maximal non-elementary elements consisting of two quasi-parabolic actions coming from its ascending HNN-extension expressions. The subposet of all quasi-parabolic structures decomposes into two isomorphic posets, each containing uncountably many subposets of lamplike structures that admit a combinatorial description in terms of hyperbolic structures on related lamplighter groups; each of these subposets, together with their intersections and complements, contains a copy of the power set of the natural numbers. There is in addition a separate power-set-sized collection consisting entirely of non-lamplike structures. All of these uncountably many,

What carries the argument

Confining subsets, whose detailed combinatorial analysis determines the domination relations in the poset of hyperbolic structures.

If this is right

  • The global structure of the poset is simple, with only two maximal non-elementary elements.
  • The local structure contains uncountably many distinct lamplike subposets, each as large as the power set of the naturals.
  • Intersections and complements of these subposets remain large in the same sense.
  • A separate power-set-sized collection of non-lamplike structures exists outside the lamplike ones.
  • All described structures collapse simultaneously upon forming the natural semidirect product with Z/2Z.

Where Pith is reading between the lines

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

  • The same confining-subset methods may classify hyperbolic structures on other groups that admit similar HNN-extension presentations.
  • One could test the collapse result by constructing explicit actions on the semidirect product and checking whether any quasi-parabolic behavior persists.
  • The contrast with the simpler posets for Thompson's groups T and V suggests that the presence of the lamplighter-like pieces is tied to the specific generators and relations of F_n.

Load-bearing premise

Every hyperbolic action arises from a confining subset whose properties can be fully classified by the combinatorial methods developed in the paper.

What would settle it

An explicit hyperbolic action of F_n whose associated confining subsets produce a domination relation outside the two described isomorphic posets or that survives the semidirect product with Z/2Z without collapsing.

Figures

Figures reproduced from arXiv: 2406.12982 by Francesco Fournier-Facio, Matthew C. B. Zaremsky, Sahana Balasubramanya.

Figure 1
Figure 1. Figure 1: The global structure of the poset H(Fn), as described in Theorem A. Note that the abelianization of Fn has rank n, and in fact the main content of this theorem is the proof that most lineal structures, corresponding to characters of Fn, are maximal elements in H(Fn). In particular there are uncountably many maximal elements. It is well-known that the posets X0 and X1 are non-empty. Indeed, Fn can be writte… view at source ↗
Figure 2
Figure 2. Figure 2: The local structure of the poset X , as described in Theorem C. Two subposets of the form LLt are exhibited. The largest element of X , drawn as a black dot, is the largest element of each LLt . The LLt have incomparable smallest elements, drawn as white dots, which are minimal in X . The LLt overlap in a way compatible with item (iv). Here P(N) denotes the power set of the natural numbers, with order give… view at source ↗
Figure 3
Figure 3. Figure 3: The poset H(F ±), as described in Theorem G. At several points in the paper, the proofs will become more complicated in case n > 2, however this is the only result where the structure itself is more complicated for larger n. The most interesting case is the one where n = 2, pictured in [PITH_FULL_IMAGE:figures/full_fig_p006_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: A graph describing {a0, a1, a2} in F3, as in Proposition 3.6. Note that in order to have χ0(a0) = χ1(a2) = 1, we need a0 to lie above the y = x line, and a2 to lie below it. Citation 3.7 ([Cal07, FFL23]). Every subgroup of Fn is agreeable. This allows us to exclude non-oriented lineal actions. Corollary 3.8. Every lineal action of Fn is oriented. Proof. By Corollary 1.15 and Citation 3.7, it suffices to sh… view at source ↗
read the original abstract

We study the poset of hyperbolic structures on Thompson's group $F$ and its generalizations $F_n$ for $n \geq 2$. The global structure of this poset is as simple as one would expect, with the maximal non-elementary elements being two quasi-parabolic actions corresponding to well-known ascending HNN-extension expressions of $F_n$. However, the local structure turns out to be incredibly rich, in stark contrast with the situation for the $T$ and $V$ counterparts. We show that the subposet of quasi-parabolic hyperbolic structures consists of two isomorphic posets, each of which contains uncountably many subposets of \emph{lamplike} structures, which can be described combinatorially in terms of certain hyperbolic structures on related lamplighter groups. Moreover, each of these subposets, as well as intersections and complements thereof, is very large, in that it contains a copy of the power set of the natural numbers. We also prove that these uncountably many uncountable subposets are not the entire picture, indeed there exists a copy of the power set of the natural numbers consisting entirely of non-lamplike structures. We also prove that this entire vast array of hyperbolic structures on $F_n$ collapses as soon as one takes a natural semidirect product with $\mathbb{Z}/2\mathbb{Z}$. These results are all proved via a detailed analysis of confining subsets, and along the way we establish a number of fundamental results in the theory of confining subsets of 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

0 major / 2 minor

Summary. The manuscript studies the poset of hyperbolic structures on Thompson's group F and its generalizations F_n (n ≥ 2). It claims that the global structure is simple, with two maximal non-elementary quasi-parabolic actions arising from ascending HNN-extensions of F_n. Locally, the subposet of quasi-parabolic structures decomposes into two isomorphic posets, each containing uncountably many subposets of lamplike structures that admit combinatorial descriptions in terms of hyperbolic structures on related lamplighter groups. Each such subposet (as well as their intersections, complements, and a separate collection of non-lamplike structures) contains a copy of the power set of the natural numbers. The entire collection of structures collapses under a natural semidirect product with ℤ/2ℤ. All results are obtained via a detailed analysis of confining subsets, together with new foundational facts about confining subsets.

Significance. If the central claims hold, the work provides a precise and combinatorially rich description of the poset of hyperbolic structures on F_n, revealing a stark contrast with the simpler situation for the Thompson groups T and V. The explicit embedding of copies of the power set of ℕ into multiple subposets, the combinatorial link to lamplighter groups, and the collapse under semidirect product constitute concrete, falsifiable structural results. The accompanying foundational results on confining subsets constitute a reusable technical contribution to the study of group actions on hyperbolic spaces.

minor comments (2)
  1. The abstract introduces the term 'lamplike' without a one-sentence gloss; a brief parenthetical characterization would improve immediate readability for readers outside the immediate subfield.
  2. Notation for the two maximal quasi-parabolic actions (e.g., the specific HNN-extensions) could be fixed once in the introduction and used consistently thereafter to ease cross-reference.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, including the summary of our results on the poset of hyperbolic structures on F_n, the significance statement highlighting the contrast with T and V, the combinatorial descriptions via lamplighter groups, and the recommendation to accept. We are gratified that the foundational results on confining subsets are viewed as a reusable contribution.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper's claims on the poset of hyperbolic structures for F_n are derived from a detailed analysis of confining subsets, with the authors establishing new foundational results in the theory of confining subsets to support the classification into lamplike and non-lamplike structures. No derivation step reduces by construction to a fitted parameter, self-definition, or load-bearing self-citation chain; the central results follow from independent combinatorial descriptions and comparisons to lamplighter groups without circular reduction. The derivation chain is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard group theory and hyperbolic geometry axioms plus the framework of confining subsets; no free parameters or invented entities are introduced.

axioms (2)
  • standard math Standard axioms of groups, hyperbolic spaces, and posets
    The study of hyperbolic structures on groups builds directly on these background mathematical structures.
  • domain assumption Confining subsets analysis determines all relevant hyperbolic structures on F_n
    All results are proved via detailed analysis of confining subsets as stated in the abstract.

pith-pipeline@v0.9.0 · 5825 in / 1573 out tokens · 27687 ms · 2026-05-24T00:05:22.271213+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

55 extracted references · 55 canonical work pages

  1. [1]

    C. R. Abbott, S. H. Balasubramanya, and D. Osin, Hyperbolic structures on groups, Algebr. Geom. Topol. 19 (2019), no. 4, 1747--1835. 3995018

    work page 2019

  2. [2]

    C. R. Abbott, S. H. Balasubramanya, and A. J. Rasmussen, Valuations, completions, and hyperbolic actions of metabelian groups, With an appendix coauthored with S. Payne. arXiv:2207.12945. To appear in J. Lond. Math. Soc

    work page arXiv

  3. [3]

    Abbott, S

    C. Abbott, S. Balasubramanya, and A. J. Rasmussen, Higher rank confining subsets and hyperbolic actions of solvable groups, Adv. Math. 424 (2023), Paper No. 109045, 47. 4585997

    work page 2023

  4. [4]

    C. R. Abbott and A. J. Rasmussen, Actions of solvable B aumslag- S olitar groups on hyperbolic metric spaces , Algebr. Geom. Topol. 23 (2023), no. 4, 1641--1692. 4602410

    work page 2023

  5. [5]

    S. H. Balasubramanya, Hyperbolic structures on wreath products, J. Group Theory 23 (2020), no. 2, 357--383. 4069979

    work page 2020

  6. [6]

    Bavard, Longueur stable des commutateurs, Enseign

    C. Bavard, Longueur stable des commutateurs, Enseign. Math. (2) 37 (1991), no. 1-2, 109--150. 1115747

    work page 1991

  7. [7]

    Brady, J

    T. Brady, J. Burillo, S. Cleary, and M. Stein, Pure braid subgroups of braided T hompson's groups , Publ. Mat. 52 (2008), no. 1, 57--89. 2384840

    work page 2008

  8. [8]

    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 (2001), no. 4, 1677--1689. 1806724

    work page 2001

  9. [9]

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

    work page 2004

  10. [10]

    S. H. Balasubramanya, F. Fournier-Facio, and A. Genevois, Property ( NL ) for group actions on hyperbolic spaces , With an appendix by A. Sisto. arXiv:2212.14292. To appear in Groups Geom. Dyn

    work page arXiv

  11. [11]

    K. S. Brown and R. Geoghegan, An infinite-dimensional torsion-free FP_ group , Invent. Math. 77 (1984), no. 2, 367--381. 752825

    work page 1984

  12. [12]

    Burillo, B

    J. Burillo, B. Nucinkis, and L. Reeves, An irrational-slope T hompson's group , Publ. Mat. 65 (2021), no. 2, 809--839. 4278765

    work page 2021

  13. [13]

    Bieri, W

    R. Bieri, W. D. Neumann, and R. Strebel, A geometric invariant of discrete groups, Invent. Math. 90 (1987), no. 3, 451--477. 914846

    work page 1987

  14. [14]

    M. G. Brin, The algebra of strand splitting. I . A braided version of T hompson's group V , J. Group Theory 10 (2007), no. 6, 757--788. 2364825

    work page 2007

  15. [15]

    K. S. Brown, Finiteness properties of groups, Proceedings of the N orthwestern conference on cohomology of groups ( E vanston, I ll., 1985), vol. 44, 1987, pp. 45--75. 885095

    work page 1985

  16. [16]

    , Trees, valuations, and the B ieri- N eumann- S trebel invariant , Invent. Math. 90 (1987), no. 3, 479--504. 914847

    work page 1987

  17. [17]

    M. G. Brin and C. C. Squier, Groups of piecewise linear homeomorphisms of the real line, Invent. Math. 79 (1985), no. 3, 485--498. 782231

    work page 1985

  18. [18]

    Bieri and R

    R. Bieri and R. Strebel, On groups of PL -homeomorphisms of the real line , Mathematical Surveys and Monographs, vol. 215, American Mathematical Society, Providence, RI, 2016. 3560537

    work page 2016

  19. [19]

    Calegari, Stable commutator length in subgroups of PL ^+(I) , Pacific J

    D. Calegari, Stable commutator length in subgroups of PL ^+(I) , Pacific J. Math. 232 (2007), no. 2, 257--262. 2366352

    work page 2007

  20. [20]

    20, Mathematical Society of Japan, Tokyo, 2009

    , scl, MSJ Memoirs, vol. 20, Mathematical Society of Japan, Tokyo, 2009. 2527432

    work page 2009

  21. [21]

    Caprace, Y

    P.-E. Caprace, Y. Cornulier, N. Monod, and R. Tessera, Amenable hyperbolic groups, J. Eur. Math. Soc. (JEMS) 17 (2015), no. 11, 2903--2947. 3420526

    work page 2015

  22. [22]

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

    work page 1996

  23. [23]

    Cleary, Regular subdivision in Z[ 1+ 5 2 ] , Illinois J

    S. Cleary, Regular subdivision in Z[ 1+ 5 2 ] , Illinois J. Math. 44 (2000), no. 3, 453--464. 1772420

    work page 2000

  24. [24]

    Dehornoy, The group of parenthesized braids, Adv

    P. Dehornoy, The group of parenthesized braids, Adv. Math. 205 (2006), no. 2, 354--409. 2258261

    work page 2006

  25. [25]

    Fournier-Facio and Y

    F. Fournier-Facio and Y. Lodha, Second bounded cohomology of groups acting on 1-manifolds and applications to spectrum problems, Adv. Math. 428 (2023), Paper No. 109162, 42. 4604795

    work page 2023

  26. [26]

    Fournier-Facio, Y

    F. Fournier-Facio, Y. Lodha, and M. C. B. Zaremsky, Braided T hompson groups with and without quasimorphisms , arXiv:2204.05272. To appear in Algebr. Geom. Topol

    work page arXiv

  27. [27]

    Genevois, Hyperbolic and cubical rigidities of T hompson's group V , J

    A. Genevois, Hyperbolic and cubical rigidities of T hompson's group V , J. Group Theory 22 (2019), no. 2, 313--345. 3918481

    work page 2019

  28. [28]

    Geoghegan, M

    R. Geoghegan, M. L. Mihalik, M. Sapir, and D. T. Wise, Ascending HNN extensions of finitely generated free groups are H opfian , Bull. London Math. Soc. 33 (2001), no. 3, 292--298. 1817768

    work page 2001

  29. [29]

    Gromov, Hyperbolic groups, Essays in group theory, Math

    M. Gromov, Hyperbolic groups, Essays in group theory, Math. Sci. Res. Inst. Publ., vol. 8, Springer, New York, 1987, pp. 75--263. 919829

    work page 1987

  30. [30]

    Golan and M

    G. Golan and M. Sapir, On the stabilizers of finite sets of numbers in the R . T hompson group F , Algebra i Analiz 29 (2017), no. 1, 70--110. 3660685

    work page 2017

  31. [31]

    Dedicata 201 (2019), 227--242

    , Divergence functions of T hompson groups , Geom. Dedicata 201 (2019), 227--242. 3978542

    work page 2019

  32. [32]

    Haettel, Hyperbolic rigidity of higher rank lattices, Ann

    T. Haettel, Hyperbolic rigidity of higher rank lattices, Ann. Sci. \' E c. Norm. Sup\' e r. (4) 53 (2020), no. 2, 439--468, With an appendix by V. Guirardel and C. Horbez. 4094562

    work page 2020

  33. [33]

    Hamann, Group actions on metric spaces: fixed points and free subgroups, Abh

    M. Hamann, Group actions on metric spaces: fixed points and free subgroups, Abh. Math. Semin. Univ. Hambg. 87 (2017), no. 2, 245--263. 3696149

    work page 2017

  34. [34]

    Higman, Finitely presented infinite simple groups, Notes on Pure Mathematics, No

    G. 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. 0376874

    work page 1974

  35. [35]

    Hyde and Y

    J. Hyde and Y. Lodha, Finitely presented simple torsion-free groups in the landscape of R ichard T hompson , arXiv:2302.04805. To appear in Ann. Sci. \'E c. Norm. Sup \'e r

    work page arXiv

  36. [36]

    Hyde and J

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

    work page 2023

  37. [37]

    C. H. Houghton, The first cohomology of a group with permutation module coefficients, Arch. Math. (Basel) 31 (1978/79), no. 3, 254--258. 521478

    work page 1978

  38. [38]

    Hartley and A

    B. Hartley and A. E. Zalesski , Confined subgroups of simple locally finite groups and ideals of their group rings, J. London Math. Soc. (2) 55 (1997), no. 2, 210--230. 1438625

    work page 1997

  39. [39]

    Lehnert, Gruppen von quasi-automorphismen, Ph.D

    J. Lehnert, Gruppen von quasi-automorphismen, Ph.D. thesis, Goethe-Universität, Frankfurt am Main, 2008

    work page 2008

  40. [40]

    Lodha and J

    Y. Lodha and J. T. Moore, A nonamenable finitely presented group of piecewise projective homeomorphisms, Groups Geom. Dyn. 10 (2016), no. 1, 177--200. 3460335

    work page 2016

  41. [41]

    Lodha, Coherent actions by homeomorphisms on the real line or an interval, Israel J

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

    work page 2020

  42. [42]

    , A nonamenable type F_ group of piecewise projective homeomorphisms , J. Topol. 13 (2020), no. 4, 1767--1838. 4186144

    work page 2020

  43. [43]

    Lodha and M

    Y. Lodha and M. C. B. Zaremsky, The BNSR -invariants of the L odha- M oore groups, and an exotic simple group of type F _ , Math. Proc. Cambridge Philos. Soc. 174 (2023), no. 1, 25--48. 4523108

    work page 2023

  44. [44]

    J. F. Manning, Actions of certain arithmetic groups on G romov hyperbolic spaces , Algebr. Geom. Topol. 8 (2008), no. 3, 1371--1402. 2443247

    work page 2008

  45. [45]

    Molyneux, B

    L. Molyneux, B. Nucinkis, and Y. Santos Rego, The sigma invariants for the golden mean T hompson group , New York J. Math. 30 (2024), 532--549. 4729606

    work page 2024

  46. [46]

    Minasyan and D

    A. Minasyan and D. Osin, Correction to: A cylindrical hyperbolicity of groups acting on trees , Math. Ann. 373 (2019), no. 1-2, 895--900. 3968890

    work page 2019

  47. [47]

    B. E. A. Nucinkis and S. St. John-Green, Quasi-automorphisms of the infinite rooted 2-edge-coloured binary tree, Groups Geom. Dyn. 12 (2018), no. 2, 529--570. 3813202

    work page 2018

  48. [48]

    J.-P. Serre, Arbres, amalgames, SL _ 2 , Soci\' e t\' e Math\' e matique de France, Paris, 1977, Avec un sommaire anglais, R\' e dig\' e avec la collaboration de Hyman Bass, Ast\' e risque, No. 46. 0476875

    work page 1977

  49. [49]

    Sheng, Divergence properties of the generalised T hompson groups and the braided- T hompson groups , arXiv:2106.15571

    X. Sheng, Divergence properties of the generalised T hompson groups and the braided- T hompson groups , arXiv:2106.15571. To appear in Transform. Groups

    work page arXiv

  50. [50]

    Stein, Groups of piecewise linear homeomorphisms, Trans

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

    work page 1992

  51. [51]

    Spahn and M

    R. Spahn and M. C. B. Zaremsky, The BNSR -invariants of the S tein group F_ 2,3 , J. Group Theory 24 (2021), no. 6, 1149--1162. 4334008

    work page 2021

  52. [52]

    Winstone, B ieri- S trebel groups with irrational slopes , Ph.D

    N. Winstone, B ieri- S trebel groups with irrational slopes , Ph.D. thesis, Royal Holloway, University of London, 2022

    work page 2022

  53. [53]

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

    work page 2016

  54. [54]

    , On the -invariants of generalized T hompson groups and H oughton groups , Int. Math. Res. Not. IMRN (2017), no. 19, 5861--5896. 3741884

    work page 2017

  55. [55]

    , The BNSR -invariants of the H oughton groups, concluded , Proc. Edinb. Math. Soc. (2) 63 (2020), no. 1, 1--11. 4054771

    work page 2020