an irrational-slope thompson's group
TRANSCRIPT
![Page 1: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/1.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
An Irrational-slope Thompson’s Group
Josep BurilloU. Politècnica de Catalunya
(Joint with B.Nucinkis and L.Reeves)
Western Sydney University Algebra Seminar20 August 2020
![Page 2: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/2.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
Introduction
![Page 3: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/3.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
History
In 1969, in a context of logic, Richard J. Thompsonintroduced a family of groups (called since Thompson’sgroups) which captured properties of commutativity andassociativity.
Higman realised these groups were important from thegroup-theoretic point of view. In particular, the grouporiginally called Thompson’s group (now called V ) was thefirst known example of a finitely presented, infinite, simplegroup.
![Page 4: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/4.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
History
An interesting subgroup of V , called F , was described byGeoghegan in 1979, and he conjectured that:
1 F has infinite cohomological dimension.
2 F is simply connected at infinity.
3 F has no nonabelian free subgroups.
4 F is not amenable.
The first three properties were readily proved by severalpeople (Brown, Geoghegan, Brin, Squier), and property 4 isfamously still open.
![Page 5: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/5.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
Thompson’s group F
Thompson’s group F is the group of homeomorphisms of[0,1] such that:
• are piecewise linear and orientation-preserving,• have breakpoints in Z[ 1
2 ],• slopes are powers of 2.
![Page 6: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/6.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
Thompson’s group F
Elements can be obtained with subdivisions of the interval,which can be encoded with carets:
1
3/4
1/2
1/4 1/2 1
![Page 7: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/7.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
Generalisations
Several authors generalised this group to other breaks andslopes, for instance Z[ 1
n ] and powers of n, or allowingpowers of 2 and 3 and breaks of the type a/2n3m.
Bieri and Strebel wrote a wonderful memoir about groups ofPL maps. Given A ⊂ R a subring, and given Λ ⊂ A∗ asubgroup of units of A, they define the group G(I,A,Λ),which is the group of orientation-preserving,piecewise-linear homeomorphisms of I with breaks in A andslopes in Λ.
Hence F is the group G([0,1],Z[ 12 ], 〈2〉).
![Page 8: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/8.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
Definition
![Page 9: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/9.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
Definition
Let τ =√
5−12 = 0.6180339887..., which is a zero of the
polynomial X 2 + X − 1.
Consider the ring Z[τ ] of elements of the type a + bτ , wherea and b are integers.
Then the group Fτ is the group G([0,1],Z[τ ], 〈τ〉) inBieri-Strebel notation, that is, the group of piecewise-linearmaps of the interval [0,1] with breakpoints in Z[τ ] andslopes powers of τ .
![Page 10: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/10.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
Subdivisions
Since 1 = τ + τ 2, the unit interval can be split into twointervals of lengths τ and τ 2, which can be done in twoways:
[0,1] = [0, τ ] ∪ [τ,1] [0,1] = [0, τ 2] ∪ [τ2,1].
And any smaller interval can be subdivided further usingτ k = τ k+1 + τ k+2 (for all k = 0,1,2, . . .).
Then, the interval can be subdivided into n intervals whoselengths are all powers of τ .
![Page 11: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/11.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
Subdivisions
Given two such subdivisions in n intervals, an element of Fτ
can be obtained by mapping the intervals linearly inorder-preserving fashion.
The group Fτ was introduced by Cleary in 2000, where heproved that the group is of type FP∞. In that paper it is alsoproved that any element of Fτ can be obtained in this waywith subdivisions of the interval.
![Page 12: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/12.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
Binary Trees
Hence, this opens the possibility to describe elements of Fτ
using binary trees, in a similar fashion as it is done for F . Asubdivision will be represented by a caret, but we have todistinguish the two types of subdivisions available. This isdone using unbalanced carets.
00 1 1τ τ2
The caret on the left is called a y-caret, while theright-hand-side one is an x-caret.
![Page 13: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/13.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
Binary Trees
An example of an element:
τ
τ2
![Page 14: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/14.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
Binary Trees
And a tree looks like . .. .... ....
1
0
2
6
3
4
5
. .
τ ττ τ τ τ33 4 456τ5
where the level of a vertex marks the length of the interval(e.g. a dot at level 3 is an interval of length τ 3).
![Page 15: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/15.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
Elements
These subdivisions have a particularity which is importantfor this group. There exist two trees which represent thesame subdivision:
![Page 16: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/16.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
Elements
Hence in a tree we can perform what we call a basic move.
![Page 17: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/17.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
Multiplication
Multiplication is a bit more complicated than in F. Sincemultiplication is a composition, one needs to match thetarget tree of the first element with the source tree of thesecond. But the carets may not match, so the processrequires finding subdivisions and using basic moves.
Imagine we need to multiply two copies of the element y −10 :
![Page 18: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/18.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
MultiplicationHere is the process:
![Page 19: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/19.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
Multiplication
This is guaranteed by the following lemma.
LemmaGiven two trees, we can always find a common subdivision,i.e., a tree which is a subdivision of both.
Obviously this will involve some basic moves. Here is anexample of two trees and how to find a common subdivision.
![Page 20: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/20.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
Multiplication1)
3)
2)
4)
5) 6)
TT’
T"
![Page 21: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/21.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
Presentation
![Page 22: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/22.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
Generators for F
The set of generators for F is the family of elements xn
given by
......n+1 carets n+1 carets
![Page 23: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/23.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
Generators
We copy these generators for F to obtain those for Fτ . Wefirst define a spine, formed by x-carets:
![Page 24: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/24.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
Generators
We observe that the process we used to switch caret typesto perform multiplications allows us to change carets on theright hand side of the trees, so that we always have a spine.
Hence instead of mixing types of carets, we only need touse the spine made of x-carets only, and attach an x-caretor a y-caret to obtain a generating set.
![Page 25: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/25.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
x-generators
This is the generator xn:
n ncarets carets.
..
..
.
![Page 26: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/26.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
y -generators
And then the second series with a y-caret, creating thegenerators yn:
n n caretscarets...
...
![Page 27: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/27.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
Relations
These generators satisfy the standard sets of relations ofthe Thompson type, but with both types of generators:
• xjxi = xixj+1
• xjyi = yixj+1
• yjxi = xiyj+1
• yjyi = yiyj+1
The combinatorics of the trees are the same, this involvesonly how to attach two carets to a spine. Hence we onlyneed to consider all possibilities for the two carets added.
![Page 28: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/28.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
Relations
But they also satisfy a new relation, which is specific for Fτ ,representing the basic move, and given by:
y2n = xnxn+1
![Page 29: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/29.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
Relations
See, for instance, why the relation y 21 = x1x2 is true. The
two elements are the same but because of the basic movethey admit two expressions in the generators:
![Page 30: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/30.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
Presentation
Hence we have the presentation:
Theorem (B, Nucinkis, Reeves) A presentation for Fτ isgiven by the generators xi , yi , with the relations
1 xjxi = xixj+1
2 xjyi = yixj+1
3 yjxi = xiyj+1
4 yjyi = yiyj+1
5 y2i = xixi+1
for 0 ≤ i < j .
![Page 31: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/31.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
Presentation
To see this is a presentation, we start with a word on thegenerators which represents the identity. Performing themultiplications we obtain a tree diagram for it, where the twotrees represent the same subdivision (since the element isthe identity).
We need to show that this element is consequence of therelations. This is shown by the following lemma
LemmaGiven two trees which represent the same subdivision, wecan go from one to the other by using only basic moves andwithout adding any carets.
![Page 32: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/32.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
Presentation
Hence each basic move is represented by a relation of type(5), so these relations are sufficient to represent thiselement. The Thompson relations are necessary to movecarets around and perform the basic move relations in theright place of the word.
The proof of this lemma involves using geometric powerseries based on τ .
![Page 33: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/33.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
PresentationImagine we have two trees representing the samesubdivision, but the root carets are of different types.
τ ττ 542
then for the first tree to have a break in the correspondingpoint given by the second tree, somewhere below it theremust be two consecutive carets of the same type so a basicmove can be performed.
![Page 34: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/34.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
Presentation
same type caretbreak appearsbasic move can be done
opposite caretbreak does not appear
![Page 35: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/35.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
Presentation
break can never appear
no matter how deep the tree is
with alternating−type carets
![Page 36: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/36.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
Presentation
This process will never end if we do not have the repeatedcaret type (and hence we can have a basic move). This isbecause when alternating caret types, we have the followingstrict inequalities
n∑
k=1
τ2k < τ < 1 −n∑
k=1
τ2k+1
and an infinite tree would be required, according to thepower series
∞∑
k=1
τ2k = τ = 1 −∞∑
k=1
τ2k+1
![Page 37: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/37.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
Presentation
Since the trees are finite, if the break must appear in bothtrees, in one of them there must be two consecutive treeswhere a basic move can be done.
Hence we only need relations of type (5) and the Thompsonrelations to transform one tree to the other and then theserelations are enough for a presentation.
![Page 38: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/38.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
Normal Form
![Page 39: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/39.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
ConstructionThe relation y2
i = xixi+1 allows for the construction of aneasy normal form.
First of all use the Thompson relators to reorder thegenerators in the standard fashion. Any element of Fτ
admits an expression of the type
ui1ui2 . . . uinv−1jm
. . . v−1j2
v−1j1
where
1 the letters u and v represent either x or y ,
2 i1 ≤ i2 ≤ . . . ≤ in and j1 ≤ j2 ≤ . . . ≤ jm.
If a higher index appears before a smaller one, use theThompson relator to switch them. This is the same as in F,but here we get x- and y-generators mixed up.
![Page 40: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/40.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
The special relation
Once all generators with the same index are together, nowthe special relation comes to our aid. Since we have therelation y2
i = xixi+1, we have that xixi+1 commutes with yi :
yixixi+1 = y3i = xixi+1yi
and this means that
yixi = xixi+1yix−1i+1 = xiyixi+2x−1
i+1
This amounts to yixi being replaced by xiyi followed byterms with higher index that are moved farther down theword and are dealt with at a later time.
![Page 41: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/41.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
Only one y
So, in a given subindex, we can accumulate thex-generators first and the y-generators later. Even more,since y2
i can be replaced by xixi+1, we can make it so wehave at most only one y-generator per index:
xa00 yε0
0 xa11 yε1
1 . . . xann yεn
n y−δmm x−bm
m . . . y−δ11 x−b1
1 y−δ00 x−b0
0
where ai ,bi ≥ 0 and εi , δi ∈ {0,1}.
![Page 42: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/42.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
The special relation
This commuting relation between xixi+1 and yi has an easyexpression in carets:
![Page 43: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/43.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
Only ys on the left
The equivalent of the algebraic method above means thatall y-carets can be pushed down to the bottom of the tree,i.e. each y-caret has no left children (since these would bex-gens with the same index.
But if a y-caret is at the bottom of the tree with no leftchildren, we can attach another y-caret and convert them tox-generators. Of course y-carets need to be added in bothtrees. But with this process, we can have the target treecompletely free of y-carets.
![Page 44: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/44.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
Only ys on the leftHere is an example:
![Page 45: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/45.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
Seminormal Form
Hence, every element admits an expression in seminormalform given by
xa00 yε0
0 xa11 yε1
1 . . . xann yεn
n x−bmm x−bm−1
m−1 . . . x−b11 x−b0
0
where ai ,bi ≥ 0 and εi ∈ {0,1}. Observe that the form hasonly x-generators except for maybe one y-generator perindex in the positive part.
![Page 46: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/46.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
Normal Form
As it happens with F , this seminormal form is not unique. Atrue normal form needs to satisfy the two extra conditions:
• If ai and bi are both nonzero, then at least one ofai+1,bi+1, εi , εi+1 is nonzero.
• If w contains a subword of the form xiyixi+2ux−1i+1x−1
i ,then u contains a generator with index either i + 1 ori + 2.
The first condition is standard in Thompson, it correspondsto the tree-pair diagram being reduced. The secondcondition is specific to Fτ , and corresponds to hiddencancellations.
![Page 47: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/47.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
Hidden CancellationsA hidden cancellation is a cancellation that only appearsafter a basic move is performed. See an example:
=
=
![Page 48: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/48.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
Normal Form
Theorem (B, Nucinkis, Reeves) Every element of Fτ admitsa unique normal form.
![Page 49: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/49.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
Commutator and Abelianisation
![Page 50: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/50.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
Simple Commutator Subgroup
As it happens with F , Fτ satisfies this property.
Theorem (B, Nucinkis, Reeves) The commutator subgroupF ′τ is a simple group.
![Page 51: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/51.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
Simple Commutator Subgroup
The proof of this fact is done the standard way: using atheorem by Higman which constructs simple secondcommutator subgroup due to the high transitivity of thegroup. Then prove that the first and second commutatorsare equal, hence showing the commutator is simple.
![Page 52: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/52.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
Abelianisation
Another interesting feature of Fτ is that, due to the specialrelation y2
i = xixi+1, the abelianisation has torsion.
Theorem (B, Nucinkis, Reeves) The abelianisation of Fτ isisomorphic to Z
2 ⊕ Z/
2Z .
This is the first known example of group of the Thompsonfamily that has torsion in the abelianisation.
![Page 53: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/53.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
Metric Properties
![Page 54: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/54.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
Metric Estimates
Also similarly to F , the group Fτ admits an estimate of theword metric by carets.
Theorem (B, Nucinkis, Reeves) The word metric can beestimated by the number of carets of the reduced diagram,up to a multiplicative constant.
![Page 55: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/55.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
Distortion
We can consider different subgroups of Fτ which areisomorphic to F . For instance, if we restrict the diagram tohave only one type of carets, we obtain the subgroups Fx
(whose elements have only x-carets in their diagram) andFy (with only y-carets). Since the metric on these copiescan also be estimated by the number of carets, weimmediately obtain the following result:
Theorem (B, Nucinkis, Reeves) The subgroups Fx and Fy
are undistorted in Fτ .
![Page 56: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/56.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
Future research
![Page 57: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/57.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
Future research: T and V
This work opens the doors to several lines of futureresearch. For instance:
The construction can clearly be extended to the T and Vversions of Fτ , obtaining groups Tτ and Vτ .
The presentations are similar, just adding the correspondingtorsion elements. In particular the relations y 2
i = xixi+1 arestill valid.
Then these two groups are not simple anymore, but theirabelianisation is Z
/2Z and they both admit index-two
subgroups which are now simple.
![Page 58: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/58.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
Future research: otherpolynomials
Similar groups can be obtained using different polynomials.Jason Brown (L. Reeves’s student) has extended theseconstructions to the groups obtained by considering zerosof the polynomials
1 = x2 + nx
where carets have n short legs and one long one. Relationsare very similar and everything works in similar fashion.
![Page 59: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/59.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
Future research: otherpolynomials
For polynomials1 = mx2 + nx
things are more complicated. This is the contents ofNucinkis’ student Nick Winstone’s thesis. In particular, forthese groups not every element is obtained withsubdivisions of the intervals. Winstone has acharacterisation for those.
![Page 60: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/60.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
Future research: otherpolynomials
Even for those where every element is obtained withsubdivisions, things are different here.
The reason is that for polynomials such as 1 = 2x 2 + 2x ,the four subintervals are two of each type, and the intervalcan be split in the middle and this involves rationalbreakpoints (unlike our case, where they are all irrational). Aparticularity is that the group of units now has rank two,because both 2 and the irrational root are units.
So this is work in progress.
![Page 61: An Irrational-slope Thompson's Group](https://reader031.vdocuments.us/reader031/viewer/2022012107/61dc265ebbf65a5246162dd5/html5/thumbnails/61.jpg)
An Irrational-slope
Thompson’sGroup
Josep BurilloU. Politècnicade Catalunya
(Joint withB.Nucinkis
and L.Reeves)
Introduction
DefinitionDefinition
Subdivisions
Binary Trees
PresentationGenerators
Relations
Presentation
Normal Form
CommutatorandAbelianisationSimple Commutator
Abelianisation
MetricPropertiesMetric Estimates
Distortion
Future
Thank you!