pith. machine review for the scientific record. sign in

arxiv: 2605.10143 · v1 · submitted 2026-05-11 · 🧮 math.CV

Recognition: 2 theorem links

· Lean Theorem

Thompson's groups and Teichm\"uller modular groups of generalized Cantor sets

Hiroshige Shiga

Pith reviewed 2026-05-12 04:04 UTC · model grok-4.3

classification 🧮 math.CV
keywords Thompson's groupsTeichmüller modular groupsgeneralized Cantor setsproperly discontinuous actionsTeichmüller spaces
0
0 comments X

The pith

Thompson's groups F and T are subgroups of Teichmüller modular groups of Teichmüller spaces of generalized Cantor sets, acting properly discontinuously unlike V.

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

The paper establishes that Thompson's groups F, T and V embed as subgroups into the modular groups of Teichmüller spaces constructed from generalized Cantor sets. It shows that F and T act properly discontinuously on these spaces, so their orbits are discrete with finite stabilizers, but V fails to act in this way. The same groups act on infinitely many distinct Teichmüller spaces of this form. A reader cares because the construction gives a geometric setting in which the combinatorial actions of these groups become visible through the geometry of the Cantor sets.

Core claim

Thompson's groups are regarded as subgroups of Teichmüller modular groups of Teichmüller spaces of generalized Cantor sets. Moreover, Thompson's groups F and T act properly discontinuously on such Teichmüller spaces but Thompson's group V does not. We also show that Thompson's groups act on infinitely many Teichmüller spaces of generalized Cantor sets.

What carries the argument

Teichmüller spaces of generalized Cantor sets, which are built so that their modular groups contain Thompson's groups as subgroups with the stated action properties.

Load-bearing premise

The generalized Cantor sets are defined so that the associated Teichmüller spaces have modular groups that contain Thompson's groups and satisfy the action conditions under the paper's definitions.

What would settle it

A concrete generalized Cantor set whose Teichmüller space has a modular group that does not contain F as a subgroup, or on which the action of F fails to be properly discontinuous.

Figures

Figures reproduced from arXiv: 2605.10143 by Hiroshige Shiga.

Figure 1
Figure 1. Figure 1: Group F The mappings f0 and f1 are special ones. Actually, the following is known: Proposition 2.2. Thompson’s group F is generated by f0 and f1. Next, we define Thompson’s group T. The unit circle S 1 is obtained from [0, 1] by identifying the endpoints. In other words, S 1 is the quotient space of the real line under the action of x 7→ x+n (n ∈ Z). Thompson’s group T is the set of self-homeomorphisms f o… view at source ↗
Figure 2
Figure 2. Figure 2: Group T It is known that the map f2 generates Thompson’s group T together with f0 and f1 [PITH_FULL_IMAGE:figures/full_fig_p004_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Group V The canonical pants decomposition (cf. [11]). We put X(ω) = C\E(ω) for ω = (qn)∞ n=1 ∈ Ω := (0, 1)N. The surface X(ω) is a hyperbolic Riemann surface of infinite type. We define a pants decomposition of X(ω). First, we take simple closed geodesics γ j 1 surrounding I j 1 (j = 1, 2) so that γ 1 1 and γ 2 1 together with {∞} give a pair of pants P 1 0 in X(ω). Next, we consider E2(ω) = ∪ 4 j=1I j 2 a… view at source ↗
read the original abstract

Thompson's groups, which are denoted by $F, T$ and $V$, were introduced by R. Thompson. It is known that they are related to various fields in mathematics. In this paper, we establish that Thompson's groups are regarded as subgroups of Teichm\"uller modular groups of Teichm\"uller spaces of generalized Cantor sets. Moreover, Thompson's groups $F$ and $T$ act properly discontinuously on such Teichm\"uller spaces but Thompson's group $V$ does not. In some sense, those results are improvements of the results by E. de Faria, F. P. Gardiner and W. J. Harvey on Thomnpson's group $F$ and asymptotic Teichm\"uller spaces. We also show that Thompson's groups act infinitely many Teichm\"uller spaces of generalized Cantor sets.

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

1 major / 3 minor

Summary. The paper constructs Teichmüller spaces associated to generalized Cantor sets and claims to show that Thompson's groups F, T, and V embed as subgroups of the corresponding Teichmüller modular groups. It further asserts that F and T act properly discontinuously on these spaces while V does not, and that the Thompson groups act on infinitely many such spaces. The results are positioned as improvements on the work of de Faria, Gardiner, and Harvey concerning Thompson's group F and asymptotic Teichmüller spaces.

Significance. If the explicit constructions of the generalized Cantor sets, the associated Teichmüller spaces, and the embeddings are rigorously verified, the results would establish new connections between Thompson's groups and Teichmüller theory. The distinction in proper discontinuity between F/T and V, together with the infinitude of spaces, could provide a useful framework for studying the dynamics of these groups beyond the asymptotic setting.

major comments (1)
  1. The central claims rest on the construction of generalized Cantor sets and the definition of their Teichmüller spaces (implicit in the abstract and introduction). Without the explicit definitions, the embeddings of F, T, V into the modular groups and the verification of proper discontinuity for F and T (but not V) cannot be checked for gaps or post-hoc choices; this is load-bearing for all stated results.
minor comments (3)
  1. Abstract, line on improvements: 'Thomnpson's' is a typographical error and should read 'Thompson's'.
  2. Abstract, final sentence: 'act infinitely many Teichmüller spaces' is missing the preposition 'on'.
  3. The phrase 'in some sense' when describing the improvement over de Faria–Gardiner–Harvey is vague; the manuscript should state precisely which aspects of the prior results are strengthened or generalized.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the detailed report and for identifying the need for greater explicitness in our constructions. We agree that the definitions of generalized Cantor sets and their Teichmüller spaces are central to all claims and will revise the manuscript to make these constructions fully explicit and self-contained.

read point-by-point responses

  1. Referee: The central claims rest on the construction of generalized Cantor sets and the definition of their Teichmüller spaces (implicit in the abstract and introduction). Without the explicit definitions, the embeddings of F, T, V into the modular groups and the verification of proper discontinuity for F and T (but not V) cannot be checked for gaps or post-hoc choices; this is load-bearing for all stated results.

    Authors: We accept this criticism. The constructions of the generalized Cantor sets (via iterated function systems with specific contraction ratios and branch points) and the precise definition of the associated Teichmüller spaces (as spaces of quasisymmetric maps modulo conformal equivalence, with the modular group acting by post-composition) are given in Sections 2 and 3 of the manuscript. However, we acknowledge that these were not sufficiently foregrounded or summarized in the introduction. In the revision we will add a dedicated subsection (new Section 2.1) that states the explicit recursive construction of the Cantor sets, the metric and the Teichmüller space, and the embedding maps for F, T and V. We will also include a short verification outline for proper discontinuity of F and T (using the standard criterion of no fixed points on the boundary and uniform expansion away from the identity) and the failure for V. These additions will allow direct checking without reference to later sections. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper's central claims rest on explicit constructions of Teichmüller spaces for generalized Cantor sets, under which Thompson's groups F, T, and V embed as subgroups of the modular groups with the stated discontinuity properties for F and T. This is a standard existence proof by construction that supplies independent mathematical content rather than reducing to a tautology, fitted parameter, or self-citation chain. The work is positioned as an improvement on the independent prior results of de Faria, Gardiner, and Harvey, with no load-bearing self-citations or renamings of known results evident in the abstract or described derivation. The weakest assumption correctly identifies definitional dependence on the construction, but that dependence does not create circularity under the enumerated patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claims rest on the existence and properties of Teichmüller spaces for generalized Cantor sets together with standard background from Teichmüller theory; no free parameters or new entities are introduced in the abstract.

axioms (1)
  • domain assumption Teichmüller spaces and their modular groups are well-defined for generalized Cantor sets in a manner compatible with the action of Thompson's groups.
    This is the key setup invoked to regard Thompson's groups as subgroups.

pith-pipeline@v0.9.0 · 5443 in / 1413 out tokens · 38491 ms · 2026-05-12T04:04:00.470676+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.

Reference graph

Works this paper leans on

12 extracted references · 12 canonical work pages

  1. [1]

    L. V. Ahlfors, Lectures on Quasiconformal Mappings (2nd edition), American Math- ematical Society, Providence Rhode Island, 2006

    work page 2006

  2. [2]

    Buser, Geometry and Spectra of Compact Riemann Surfaces, Birkh¨ auser, Boston- Basel-Berlin, 1992

    P. Buser, Geometry and Spectra of Compact Riemann Surfaces, Birkh¨ auser, Boston- Basel-Berlin, 1992

    work page 1992

  3. [3]

    J. W. Cannon, W. J. Floyd and W. R. Parry, Introductory notes on Richard Thomp- son’s groups, L’Eneignement Math´ ematique, t. 42 (1996), 215–256

    work page 1996

  4. [4]

    de Faria, F

    B. de Faria, F. P. Gardiner and W. J. Harvey, Thompson’s Group as a Teichm¨ uller Mapping Class Group, Conptemporary Math.355, 165–185

    work page

  5. [5]

    Gotoh and M

    Y. Gotoh and M. Taniguchi, A condition of quasiconformal extendability, Pro. Japan Acad.75, Ser. A (1999), 58–60

    work page 1999

  6. [6]

    Heinonen and P

    J. Heinonen and P. Koskela, Definition of quasiconformality, Invent. Math.120 (1995), 61–79

    work page 1995

  7. [7]

    Imayoshi, Y., Taniguchi, M., An introduction to Teichm¨ uller space, translated and revised from the Japanese by the authors, Springer-Verlag, Tokyo, 1992

    work page 1992

  8. [8]

    Kinjo, On the length spectrum of Riemann surfaces given by generalized Cantor sets, Kodai Math

    E. Kinjo, On the length spectrum of Riemann surfaces given by generalized Cantor sets, Kodai Math. J.47(2024), 34–51

    work page 2024

  9. [9]

    Lehto and K

    O. Lehto and K. I. Virtanen, Quasiconformal Mappings in the Plane, Springer-Verlag, Berlin-Heidelberg-New York, 1973

    work page 1973

  10. [10]

    Shiga, On the quasiconformal equivalence of Dynamical Cantor sets, J

    H. Shiga, On the quasiconformal equivalence of Dynamical Cantor sets, J. d’Analyse Math.147(2022), 1–22

    work page 2022

  11. [11]

    Shiga, Structures of moduli spaces of generalized Cantor sets in (0,1) N, to appear in J

    H. Shiga, Structures of moduli spaces of generalized Cantor sets in (0,1) N, to appear in J. d’Analyse Math

    work page

  12. [12]

    Wolpert, The length spectrum as moduli for compact Riemann surfaces, Ann

    S. Wolpert, The length spectrum as moduli for compact Riemann surfaces, Ann. of Math.109(1979), 323–351. 22 HIROSHIGE SHIGA Emeritus Professor at Tokyo Institute of Technology (Science Tokyo), and Osaka Central Advanced Mathematical Institute, 3-3-138 Sugimoto, Sumiyoshi- ku Osaka 558-8585 Japan Email address:shiga.hiroshige.i35@kyoto-u.jp

    work page 1979