pith. sign in

arxiv: 1906.09619 · v1 · pith:FOB4C4TXnew · submitted 2019-06-23 · 🧮 math.OA · math-ph· math.GR· math.MP· math.RT

Irreducibility of the Wysiwyg representations of Thompson's groups

Vaughan F.R. Jones This is my paper

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

classification 🧮 math.OA math-phmath.GRmath.MPmath.RT
keywords Thompson's groupsFTunitary representationsirreducibilityWysiwyg representationsinequivalenceoperator algebras
0
0 comments X

The pith

The Wysiwyg representations of Thompson's groups F and T are irreducible and mutually inequivalent.

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

The paper proves that specific unitary representations of Thompson's groups F and T, referred to as the Wysiwyg representations, are irreducible. It also establishes that any two distinct representations in this family are inequivalent. A reader cares because these groups appear in many areas of mathematics including topology and algebra, and determining which of their representations are irreducible supplies concrete building blocks for their representation theory. If the claim holds, these representations become usable examples that separate the groups' actions on Hilbert space from reducible ones.

Core claim

We prove irreducibility and mutual inequivalence for certain unitary representations of R. Thompson's groups F and T.

What carries the argument

The Wysiwyg representations, the family of unitary representations of F and T whose irreducibility and inequivalence the paper establishes.

If this is right

  • The Wysiwyg representations supply explicit irreducible unitary representations of both F and T.
  • Distinct members of the family remain inequivalent, so they count as separate irreps.
  • The results apply uniformly to the two groups F and T.
  • These representations can be used to distinguish different actions or modules associated to the groups.

Where Pith is reading between the lines

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

  • The result may extend the known list of irreducible representations for these groups beyond previously studied families.
  • The representations could generate distinct von Neumann algebras or C*-algebras whose properties become accessible once irreducibility is known.
  • Similar constructions might be tested on other Thompson-like groups to produce further irreducible examples.
  • Applications to subfactor theory or planar algebras may follow if the representations interact with Jones' earlier work on related structures.

Load-bearing premise

The Wysiwyg representations are well-defined unitary representations of F and T.

What would settle it

Exhibiting a proper closed invariant subspace for any one of the representations, or constructing a unitary intertwiner between two distinct Wysiwyg representations, would refute the claim.

read the original abstract

We prove irreducibility and mutual inequivalence for certain unitary representations of R. Thompson's groups F and T.

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

Summary. The manuscript asserts a proof of the irreducibility and mutual inequivalence of certain unitary representations (the Wysiwyg representations) of Thompson's groups F and T.

Significance. If the result holds, it would advance the representation theory of Thompson's groups F and T, which are of interest in operator algebras and geometric group theory. The paper is credited for focusing on a concrete family of representations and establishing both irreducibility and inequivalence, though the absence of visible proof details in the supplied text limits evaluation of its impact.

major comments (1)
  1. The supplied manuscript text consists solely of the abstract, which asserts the existence of a proof of irreducibility and inequivalence without any lemmas, steps, equations, or verification that the Wysiwyg representations are well-defined unitary representations of F and T. This is load-bearing for the central claim, as the weakest assumption correctly identifies that unitarity and well-definedness must hold before irreducibility can be addressed.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the report. The arXiv manuscript contains the complete proofs, including verification of well-definedness and unitarity; we address the observation that only the abstract appears to have been supplied for review.

read point-by-point responses

  1. Referee: The supplied manuscript text consists solely of the abstract, which asserts the existence of a proof of irreducibility and inequivalence without any lemmas, steps, equations, or verification that the Wysiwyg representations are well-defined unitary representations of F and T. This is load-bearing for the central claim, as the weakest assumption correctly identifies that unitarity and well-definedness must hold before irreducibility can be addressed.

    Authors: The full manuscript (arXiv:1906.09619) contains explicit constructions of the Wysiwyg representations, proofs that they are well-defined unitary representations of F and T, and the subsequent arguments for irreducibility and mutual inequivalence, including all required lemmas, steps, and equations. The supplied text for review appears to have been limited to the abstract; the complete paper is available on arXiv and can be resubmitted if needed. revision: no

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper's central claim is a proof of irreducibility and inequivalence for a family of unitary representations of Thompson's groups, conditional on those representations being well-defined and unitary. No equations, constructions, or self-citations are exhibited that reduce the target result to a fitted parameter, a self-definition, or a load-bearing prior result by the same authors. The derivation is therefore self-contained once the standard prerequisite (unitarity) is granted; this is the normal non-circular case for a representation-theory existence proof.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No information available from the abstract to identify free parameters, axioms, or invented entities.

pith-pipeline@v0.9.0 · 5533 in / 888 out tokens · 30675 ms · 2026-05-25T17:59:34.365414+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Remarks on some maximal subgroups of $F$ and on the $\vec{F}$-index of knots

    math.GT 2019-10 unverdicted novelty 4.0

    Three maximal subgroups of K_{(2,2)} in F containing F are characterized as stabilizers, and the vec F-index increases by at most 3 upon orientation change.

Reference graph

Works this paper leans on

13 extracted references · 13 canonical work pages · cited by 1 Pith paper · 5 internal anchors

  1. [1]

    and Jones, V

    Aiello, V. and Jones, V. (2019) On spectral measures for certain unitary representations of R. Thompson’s group. arXiv:1905.05806

    work page arXiv 2019

  2. [2]

    Thompson's Group F

    J. Belk, Thompson’s group F. Ph.D. Thesis (Cornell University). arXiv preprint:0708.3609 (2007)

    work page internal anchor Pith review Pith/arXiv arXiv 2007

  3. [3]

    Pythagorean representations of Thompson's groups

    Brothier, A. and Jones, V. Pythagorean representations of Thompson’s groups. arXiv:1807.06215

    work page internal anchor Pith review Pith/arXiv arXiv

  4. [4]

    and Parry, W.R.(1996) Introductory notes on Richard Thompson’s groups

    Cannon, J.W., Floyd,W.J. and Parry, W.R.(1996) Introductory notes on Richard Thompson’s groups. L’Enseignement Mathématique 42 215–256

    work page 1996

  5. [5]

    Connes, A. (1994). Noncommutative geometry.Academic Press

    work page 1994

  6. [6]

    Golan and M

    G. Golan and M. Sapir, On Jones’ subgroup of Thompson group F ,Journal of Algebra470 (2017), 122Ð-159

    work page 2017

  7. [7]

    V Guba, M Sapir, Diagram groups,Mem. Amer. Math. Soc.130(1997)

    work page 1997

  8. [8]

    and Yamagami, S

    Hayashi, T. and Yamagami, S. (2000). Amenable tensor categories and their realizations as AFD bimodules. Journal of Functional Analysis , 172, 19–75

    work page 2000

  9. [9]

    Jones, V.F.R.(2017) Some unitary representations of ThompsonÕs groups F and T.J. Comb. Algebra ,1 , 1-Ð44

    work page 2017

  10. [10]

    (2018) A no-go theorem for the continuum limit of a periodic quantum spin chain

    Jones, V.F.R. (2018) A no-go theorem for the continuum limit of a periodic quantum spin chain. Communications in Mathematical Physics , 357, 295–317

    work page 2018

  11. [11]

    Planar algebras, I

    V.F.R. Jones, Planar Algebras I, preprint. math/9909027

    work page internal anchor Pith review Pith/arXiv arXiv

  12. [12]

    Categories generated by a trivalent vertex

    S. Morrison, E.Peters, N. Snyder, (2017) Categories generated by a trivalent vertex.Selecta Mathematica, 23 817-Ð868 arXiv:1501.06869 18 V AUGHAN F. R. JONES

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  13. [13]

    On Jones Subgroup of R. Thompson's Group $T$

    J. Nikkel, Y. Ren, (2018) On Jones Subgroup of R. Thompson’s Group TInternational Journal of Algebra and Computation 28 877–903 arXiv:1710.06972

    work page internal anchor Pith review Pith/arXiv arXiv 2018