Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 0704.0189

Monoid generalizations of the Richard Thompson groups

J. C. Birget
View original source ↗Read source document ↗Export metadata ↓

Abstract

The groups G_{k,1} of Richard Thompson and Graham Higman can be generalized in a natural way to monoids, that we call M_{k,1}, and to inverse monoids, called Inv_{k,1}; this is done by simply generalizing bijections to partial functions or partial injective functions. The monoids M_{k,1} have connections with circuit complexity (studied in another paper). Here we prove that M_{k,1} and Inv_{k,1} are congruence-simple for all k. Their Green relations J and D are characterized: M_{k,1} and Inv_{k,1} are J-0-simple, and they have k-1 non-zero D-classes. They are submonoids of the multiplicative part of the Cuntz algebra O_k. They are finitely generated, and their word problem over any finite generating set is in P. Their word problem is coNP-complete over certain infinite generating sets. Changes in this version: Section 4 has been thoroughly revised, and errors have been corrected; however, the main results of Section 4 do not change. Sections 1, 2, and 3 are unchanged, except for the proof of Theorem 2.3, which was incomplete; a complete proof was published in the Appendix of reference [6], and is also given here.

Explore related subjects

math.GR

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

J. C. Birget. 2016-01-26. Monoid generalizations of the Richard Thompson groups. https://arxiv.org/abs/0704.0189

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Projective simplicity and Bergman's property for unit groups of continuous rings

We prove that the projective unit group $\mathrm{PGL}(R)$, i.e., the quotient of the unit group $\mathrm{GL}(R)$ modulo its center, of any non-discrete irreducible, continuous ring $R$ is simple. Moreover, we show that $\mathrm{GL}(R)$ has uncountable strong cofinality, that is, it is not the union of a countable chain of proper subgroups and it has finite width with respect to any generating set. Equivalently, every isometric action of $\mathrm{GL}(R)$ on a metric space has bounded orbits. It follows that every action of $\mathrm{GL}(R)$ by isometries on a non-empty complete $\mathrm{CAT}(0)$ space admits a fixed point. In particular, $\mathrm{GL}(R)$ possesses Serre's properties $(FH)$ and $(FA)$. Furthermore, our results entail that $\mathrm{PGL}(R)$ has bounded normal generation. In turn, we answer two questions by Carderi and Thom. Finally, building on work of Larsen and Shalev, we prove that $\mathrm{GL}(R)$ is verbally simple.

math.GR↗
arXiv2026

Hyperbolic models and stability recognition for Coxeter groups

Given a finite rank Coxeter system, we construct a hyperbolic space by coning off the wide parabolic subcomplexes of its Davis complex. The resulting space is ``stability recognizing'', in the sense that stable subspaces of the Davis complex are exactly the quasigeodesically connected subspaces whose images in the coned-off space are quasiisometrically embedded. Equivalently, the coned-off space is ``Morse recognizing'': a quasigeodesic in the Davis complex is Morse if and only if it is quasigeodesic in the coned-off space. Similar results are true for the mapping class group of a hyperbolic surface acting on its curve graph. We strengthen this analogy with additional results. First, the action of the Coxeter group on the coned-off space is acylindrical and gives the largest acylindrically hyperbolic structure for the Coxeter group. Second, the stable subgroups of a Coxeter group are characterized as the finitely generated subgroups that are undistorted and purely loxodromic with respect to the action on the coned-off space. The coned-off space, being constructed directly from the Coxeter structure, facilitates concrete characterizations of Morseness and stability for two important Coxeter-native families of objects: combinatorial geodesics and special subgroups.

math.GR↗
arXiv2026

Boundary Kernel Rigidity and Infinite-Dimensional Complex Hyperbolic Representations

For n>=2, we prove a rigidity theorem for the Hermitian boundary kernels L_{t,s}(x,y)=|1- |^t exp(is arg(1- )), x != y, on S^{2n-1}, with L_{t,s}(x,x)=0, t>0, and s in [-1,1]. Every finite Gram matrix of L_{t,s} has positive index at most one if and only if 0<t<=1 and s=+-t. The proof combines Fourier analysis on boundary circles with restrictions to two orthogonal complex directions. The dimension threshold is sharp. By normalizing the Gram kernels of equivariant boundary maps, we show that the translation-length factor t and the signed Cartan factor s of every continuous irreducible representation from PU(n,1) to the holomorphic isometry group of infinite-dimensional complex hyperbolic space satisfy s=+-t. Combining this with the known endpoint rigidity, Monod's constructions, and Ruiz Stolowicz's complete-invariant theorem yields the classification: the holomorphic conjugacy classes are parametrized by (t,epsilon) in (0,1) x {+-1}. Allowing anti-holomorphic conjugacy identifies the two signs. Using Monod's automatic-continuity argument and the same boundary rigidity, we also classify all irreducible self-representations of the full isometry group of infinite-dimensional complex hyperbolic space. Up to conjugacy, these are precisely Monod's representations with parameter 0<t<=1. In particular, the canonical-orbit hypothesis in Monod's classification theorem is automatic.

math.GR↗