CAT(0) geometry for the Thompson Group

Dan-Titus Salajan
DOI: https://doi.org/10.48550/arXiv.1203.5749
2012-03-27
Abstract:We investigate Farley's CAT(0) cubical model for Thompson's group F (we adopt the classical language of F, using binary trees and piecewise linear maps). Main results include: in general, Thompson's group elements are parabolic; we find simple, exact formulas for the CAT(0) translation lengths, in particular the elements of F are ballistic and uniformly bounded away from zero; there exist flats of any dimension and we construct explicitly many of them; we reveal large regions in the Tits Boundary, for example the positive part of a non-separable Hilbert sphere, but also more complicated objects. En route, we solve several open problems proposed in Farley's papers.
Group Theory,Metric Geometry
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is about the properties of Thompson group F under CAT(0) geometry. Specifically: 1. **Properties of Isometries**: The paper studies the isometries of Thompson group F on the CAT(0) cube complex, especially whether these isometries are semi - simple. The author proves the existence of parabolic isometries, which is different from some previous conjectures. Specific results include: - For an irreducible element \( g\in F \), its CAT(0) translation length is \( \sqrt{\log_2(g'(0))^2+\log_2(g'(1))^2} \), and if \( g'(0)g'(1)\neq1 \), then \( g \) is parabolic. - All non - identity elements are ballistic, and the translation lengths are uniformly far from zero. 2. **Existence of Flats**: The paper proves that there exist flats of arbitrary dimensions in the CAT(0) cube complex \( X \). This result reveals the rich geometric structure of the complex. 3. **Study of Tits Boundary**: The paper explores the Tits boundary of the CAT(0) cube complex \( X \). The author finds that the Tits boundary contains a positive quadrant of a non - separable Hilbert ball, and Thompson group F fixes a Tits arc of length \( \pi/2 \) at infinity, with no other fixed points. Through these studies, the paper solves several open problems about Thompson group F under CAT(0) geometry, providing new perspectives and methods.