nicolas oresme, universit e de caen - patrick …nicolas oresme, universit e de caen main theme:...
TRANSCRIPT
![Page 1: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/1.jpg)
Dual presentation of Thompson’s groupFand flip distance between triangulations
Patrick Dehornoy
Laboratoire de MathematiquesNicolas Oresme, Universite de Caen
• Main theme: Algebraic and combinatorial properties of F
![Page 2: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/2.jpg)
Dual presentation of Thompson’s groupFand flip distance between triangulations
Patrick Dehornoy
Laboratoire de MathematiquesNicolas Oresme, Universite de Caen
• Main theme: Algebraic and combinatorial properties of F
![Page 3: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/3.jpg)
Dual presentation of Thompson’s groupFand flip distance between triangulations
Patrick Dehornoy
Laboratoire de MathematiquesNicolas Oresme, Universite de Caen
• Main theme: Algebraic and combinatorial properties of F
![Page 4: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/4.jpg)
Dual presentation of Thompson’s groupFand flip distance between triangulations
Patrick Dehornoy
Laboratoire de MathematiquesNicolas Oresme, Universite de Caen
• Main theme: Algebraic and combinatorial properties of F
![Page 5: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/5.jpg)
Dual presentation of Thompson’s groupFand flip distance between triangulations
Patrick Dehornoy
Laboratoire de MathematiquesNicolas Oresme, Universite de Caen
• Main theme: Algebraic and combinatorial properties of F
![Page 6: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/6.jpg)
Dual presentation of Thompson’s groupFand flip distance between triangulations
Patrick Dehornoy
Laboratoire de MathematiquesNicolas Oresme, Universite de Caen
• Main theme: Algebraic and combinatorial properties of F
![Page 7: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/7.jpg)
• An alternative—more natural?—presentation of F that givesa lattice (“pre-Garside”) structure;
• A connection with the rotation distance between finite treesand the flip distance between triangulations of a polygon.
Plan :
• 1. F as the geometry group of associativity(as in Thompson–McKenzie, cf. Matt Brin’s course 1)
• 2. The lattice structure of F
• 3. Associahedra and flip distance
• 4. Proving lower bounds for the distance in F
![Page 8: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/8.jpg)
• An alternative—more natural?—presentation of F that givesa lattice (“pre-Garside”) structure;
• A connection with the rotation distance between finite trees
and the flip distance between triangulations of a polygon.
Plan :
• 1. F as the geometry group of associativity(as in Thompson–McKenzie, cf. Matt Brin’s course 1)
• 2. The lattice structure of F
• 3. Associahedra and flip distance
• 4. Proving lower bounds for the distance in F
![Page 9: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/9.jpg)
• An alternative—more natural?—presentation of F that givesa lattice (“pre-Garside”) structure;
• A connection with the rotation distance between finite treesand the flip distance between triangulations of a polygon.
Plan :
• 1. F as the geometry group of associativity(as in Thompson–McKenzie, cf. Matt Brin’s course 1)
• 2. The lattice structure of F
• 3. Associahedra and flip distance
• 4. Proving lower bounds for the distance in F
![Page 10: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/10.jpg)
• An alternative—more natural?—presentation of F that givesa lattice (“pre-Garside”) structure;
• A connection with the rotation distance between finite treesand the flip distance between triangulations of a polygon.
Plan :
• 1. F as the geometry group of associativity
(as in Thompson–McKenzie, cf. Matt Brin’s course 1)
• 2. The lattice structure of F
• 3. Associahedra and flip distance
• 4. Proving lower bounds for the distance in F
![Page 11: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/11.jpg)
• An alternative—more natural?—presentation of F that givesa lattice (“pre-Garside”) structure;
• A connection with the rotation distance between finite treesand the flip distance between triangulations of a polygon.
Plan :
• 1. F as the geometry group of associativity(as in Thompson–McKenzie, cf. Matt Brin’s course 1)
• 2. The lattice structure of F
• 3. Associahedra and flip distance
• 4. Proving lower bounds for the distance in F
![Page 12: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/12.jpg)
• An alternative—more natural?—presentation of F that givesa lattice (“pre-Garside”) structure;
• A connection with the rotation distance between finite treesand the flip distance between triangulations of a polygon.
Plan :
• 1. F as the geometry group of associativity(as in Thompson–McKenzie, cf. Matt Brin’s course 1)
• 2. The lattice structure of F
• 3. Associahedra and flip distance
• 4. Proving lower bounds for the distance in F
![Page 13: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/13.jpg)
• An alternative—more natural?—presentation of F that givesa lattice (“pre-Garside”) structure;
• A connection with the rotation distance between finite treesand the flip distance between triangulations of a polygon.
Plan :
• 1. F as the geometry group of associativity(as in Thompson–McKenzie, cf. Matt Brin’s course 1)
• 2. The lattice structure of F
• 3. Associahedra and flip distance
• 4. Proving lower bounds for the distance in F
![Page 14: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/14.jpg)
• An alternative—more natural?—presentation of F that givesa lattice (“pre-Garside”) structure;
• A connection with the rotation distance between finite treesand the flip distance between triangulations of a polygon.
Plan :
• 1. F as the geometry group of associativity(as in Thompson–McKenzie, cf. Matt Brin’s course 1)
• 2. The lattice structure of F
• 3. Associahedra and flip distance
• 4. Proving lower bounds for the distance in F
![Page 15: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/15.jpg)
The geometry monoid of associativity
1. F as the geometry group of associativity
• Starting idea: Associate with every algebraic law a certain monoidthat captures its geometry—here: associativity (AAA) x(yz) = (xy)z.
• What means applying AAA to a term (= bracketted expression)?
α α
Depends on the position and the orientation.
• Def.: Aα:= (partial) operator “apply AAA at α in the → direction”;- GGGAAA (“geometry monoid of AAA”) := monoid generated by all A±1
α .
Fact: Two terms T ,T ′ are AAA-equivalent iffsome element of GGGAAA maps T to T ′.
![Page 16: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/16.jpg)
The geometry monoid of associativity
1. F as the geometry group of associativity
• Starting idea: Associate with every algebraic law a certain monoidthat captures its geometry
—here: associativity (AAA) x(yz) = (xy)z.
• What means applying AAA to a term (= bracketted expression)?
α α
Depends on the position and the orientation.
• Def.: Aα:= (partial) operator “apply AAA at α in the → direction”;- GGGAAA (“geometry monoid of AAA”) := monoid generated by all A±1
α .
Fact: Two terms T ,T ′ are AAA-equivalent iffsome element of GGGAAA maps T to T ′.
![Page 17: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/17.jpg)
The geometry monoid of associativity
1. F as the geometry group of associativity
• Starting idea: Associate with every algebraic law a certain monoidthat captures its geometry—here: associativity (AAA) x(yz) = (xy)z.
• What means applying AAA to a term (= bracketted expression)?
α α
Depends on the position and the orientation.
• Def.: Aα:= (partial) operator “apply AAA at α in the → direction”;- GGGAAA (“geometry monoid of AAA”) := monoid generated by all A±1
α .
Fact: Two terms T ,T ′ are AAA-equivalent iffsome element of GGGAAA maps T to T ′.
![Page 18: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/18.jpg)
The geometry monoid of associativity
1. F as the geometry group of associativity
• Starting idea: Associate with every algebraic law a certain monoidthat captures its geometry—here: associativity (AAA) x(yz) = (xy)z.
• What means applying AAA to a term (= bracketted expression)?
α α
Depends on the position and the orientation.
• Def.: Aα:= (partial) operator “apply AAA at α in the → direction”;- GGGAAA (“geometry monoid of AAA”) := monoid generated by all A±1
α .
Fact: Two terms T ,T ′ are AAA-equivalent iffsome element of GGGAAA maps T to T ′.
![Page 19: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/19.jpg)
The geometry monoid of associativity
1. F as the geometry group of associativity
• Starting idea: Associate with every algebraic law a certain monoidthat captures its geometry—here: associativity (AAA) x(yz) = (xy)z.
• What means applying AAA to a term (= bracketted expression)?
α
α
Depends on the position and the orientation.
• Def.: Aα:= (partial) operator “apply AAA at α in the → direction”;- GGGAAA (“geometry monoid of AAA”) := monoid generated by all A±1
α .
Fact: Two terms T ,T ′ are AAA-equivalent iffsome element of GGGAAA maps T to T ′.
![Page 20: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/20.jpg)
The geometry monoid of associativity
1. F as the geometry group of associativity
• Starting idea: Associate with every algebraic law a certain monoidthat captures its geometry—here: associativity (AAA) x(yz) = (xy)z.
• What means applying AAA to a term (= bracketted expression)?
α α
Depends on the position and the orientation.
• Def.: Aα:= (partial) operator “apply AAA at α in the → direction”;- GGGAAA (“geometry monoid of AAA”) := monoid generated by all A±1
α .
Fact: Two terms T ,T ′ are AAA-equivalent iffsome element of GGGAAA maps T to T ′.
![Page 21: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/21.jpg)
The geometry monoid of associativity
1. F as the geometry group of associativity
• Starting idea: Associate with every algebraic law a certain monoidthat captures its geometry—here: associativity (AAA) x(yz) = (xy)z.
• What means applying AAA to a term (= bracketted expression)?
α α
Depends on the position and the orientation.
• Def.: Aα:= (partial) operator “apply AAA at α in the → direction”;- GGGAAA (“geometry monoid of AAA”) := monoid generated by all A±1
α .
Fact: Two terms T ,T ′ are AAA-equivalent iffsome element of GGGAAA maps T to T ′.
![Page 22: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/22.jpg)
The geometry monoid of associativity
1. F as the geometry group of associativity
• Starting idea: Associate with every algebraic law a certain monoidthat captures its geometry—here: associativity (AAA) x(yz) = (xy)z.
• What means applying AAA to a term (= bracketted expression)?
α α
Depends on the position and the orientation.
• Def.: Aα:= (partial) operator “apply AAA at α in the → direction”;
- GGGAAA (“geometry monoid of AAA”) := monoid generated by all A±1α .
Fact: Two terms T ,T ′ are AAA-equivalent iffsome element of GGGAAA maps T to T ′.
![Page 23: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/23.jpg)
The geometry monoid of associativity
1. F as the geometry group of associativity
• Starting idea: Associate with every algebraic law a certain monoidthat captures its geometry—here: associativity (AAA) x(yz) = (xy)z.
• What means applying AAA to a term (= bracketted expression)?
α α
Depends on the position and the orientation.
• Def.: Aα:= (partial) operator “apply AAA at α in the → direction”;- GGGAAA (“geometry monoid of AAA”) := monoid generated by all A±1
α .
Fact: Two terms T ,T ′ are AAA-equivalent iffsome element of GGGAAA maps T to T ′.
![Page 24: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/24.jpg)
The geometry monoid of associativity
1. F as the geometry group of associativity
• Starting idea: Associate with every algebraic law a certain monoidthat captures its geometry—here: associativity (AAA) x(yz) = (xy)z.
• What means applying AAA to a term (= bracketted expression)?
α α
Depends on the position and the orientation.
• Def.: Aα:= (partial) operator “apply AAA at α in the → direction”;- GGGAAA (“geometry monoid of AAA”) := monoid generated by all A±1
α .
Fact: Two terms T ,T ′ are AAA-equivalent iffsome element of GGGAAA maps T to T ′.
![Page 25: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/25.jpg)
F as the geometry group of associativity
• The monoid GGGAAA is not a group (AαA−1α 6= id), but almost:
Proposition: The monoid GGGAAA/≈ is a group, isomorphic to F .
↑to agree on at least one term
“F is the geometry group of associativity”
• Every element of GGGAAA consists of the instances of a pair of terms' a pair of binary trees (as variables are not permuted):
A∅ ↔
(,
)1
2 3 1 23
v1(v2v3), (v1v2)v3
↔
(,
)↔ x0
A1 ↔
(,
)1
23 4
1
2 34
v1(v2(v3v4)), v1((v2v3)v4)
↔
(,
)↔ x1
![Page 26: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/26.jpg)
F as the geometry group of associativity
• The monoid GGGAAA is not a group (AαA−1α 6= id), but almost:
Proposition: The monoid GGGAAA/≈ is a group, isomorphic to F .
↑to agree on at least one term
“F is the geometry group of associativity”
• Every element of GGGAAA consists of the instances of a pair of terms' a pair of binary trees (as variables are not permuted):
A∅ ↔
(,
)1
2 3 1 23
v1(v2v3), (v1v2)v3
↔
(,
)↔ x0
A1 ↔
(,
)1
23 4
1
2 34
v1(v2(v3v4)), v1((v2v3)v4)
↔
(,
)↔ x1
![Page 27: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/27.jpg)
F as the geometry group of associativity
• The monoid GGGAAA is not a group (AαA−1α 6= id), but almost:
Proposition: The monoid GGGAAA/≈ is a group, isomorphic to F .
↑to agree on at least one term
“F is the geometry group of associativity”
• Every element of GGGAAA consists of the instances of a pair of terms' a pair of binary trees (as variables are not permuted):
A∅ ↔
(,
)1
2 3 1 23
v1(v2v3), (v1v2)v3
↔
(,
)↔ x0
A1 ↔
(,
)1
23 4
1
2 34
v1(v2(v3v4)), v1((v2v3)v4)
↔
(,
)↔ x1
![Page 28: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/28.jpg)
F as the geometry group of associativity
• The monoid GGGAAA is not a group (AαA−1α 6= id), but almost:
Proposition: The monoid GGGAAA/≈ is a group, isomorphic to F .
↑to agree on at least one term
“F is the geometry group of associativity”
• Every element of GGGAAA consists of the instances of a pair of terms' a pair of binary trees (as variables are not permuted):
A∅ ↔
(,
)1
2 3 1 23
v1(v2v3), (v1v2)v3
↔
(,
)↔ x0
A1 ↔
(,
)1
23 4
1
2 34
v1(v2(v3v4)), v1((v2v3)v4)
↔
(,
)↔ x1
![Page 29: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/29.jpg)
F as the geometry group of associativity
• The monoid GGGAAA is not a group (AαA−1α 6= id), but almost:
Proposition: The monoid GGGAAA/≈ is a group, isomorphic to F .
↑to agree on at least one term
“F is the geometry group of associativity”
• Every element of GGGAAA consists of the instances of a pair of terms' a pair of binary trees (as variables are not permuted):
A∅ ↔
(,
)1
2 3 1 23
v1(v2v3), (v1v2)v3
↔
(,
)↔ x0
A1 ↔
(,
)1
23 4
1
2 34
v1(v2(v3v4)), v1((v2v3)v4)
↔
(,
)↔ x1
![Page 30: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/30.jpg)
F as the geometry group of associativity
• The monoid GGGAAA is not a group (AαA−1α 6= id), but almost:
Proposition: The monoid GGGAAA/≈ is a group, isomorphic to F .
↑to agree on at least one term
“F is the geometry group of associativity”
• Every element of GGGAAA consists of the instances of a pair of terms' a pair of binary trees (as variables are not permuted):
A∅
↔
(,
)1
2 3 1 23
v1(v2v3), (v1v2)v3
↔
(,
)↔ x0
A1 ↔
(,
)1
23 4
1
2 34
v1(v2(v3v4)), v1((v2v3)v4)
↔
(,
)↔ x1
![Page 31: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/31.jpg)
F as the geometry group of associativity
• The monoid GGGAAA is not a group (AαA−1α 6= id), but almost:
Proposition: The monoid GGGAAA/≈ is a group, isomorphic to F .
↑to agree on at least one term
“F is the geometry group of associativity”
• Every element of GGGAAA consists of the instances of a pair of terms' a pair of binary trees (as variables are not permuted):
A∅ ↔
(,
)1
2 3 1 23
v1(v2v3), (v1v2)v3
↔
(,
)↔ x0
A1 ↔
(,
)1
23 4
1
2 34
v1(v2(v3v4)), v1((v2v3)v4)
↔
(,
)↔ x1
![Page 32: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/32.jpg)
F as the geometry group of associativity
• The monoid GGGAAA is not a group (AαA−1α 6= id), but almost:
Proposition: The monoid GGGAAA/≈ is a group, isomorphic to F .
↑to agree on at least one term
“F is the geometry group of associativity”
• Every element of GGGAAA consists of the instances of a pair of terms' a pair of binary trees (as variables are not permuted):
A∅ ↔
(,
)1
2 3 1 23
v1(v2v3), (v1v2)v3
↔
(,
)↔ x0
A1 ↔
(,
)1
23 4
1
2 34
v1(v2(v3v4)), v1((v2v3)v4)
↔
(,
)↔ x1
![Page 33: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/33.jpg)
F as the geometry group of associativity
• The monoid GGGAAA is not a group (AαA−1α 6= id), but almost:
Proposition: The monoid GGGAAA/≈ is a group, isomorphic to F .
↑to agree on at least one term
“F is the geometry group of associativity”
• Every element of GGGAAA consists of the instances of a pair of terms' a pair of binary trees (as variables are not permuted):
A∅ ↔
(,
)1
2 3 1 23
v1(v2v3), (v1v2)v3
↔
(,
)
↔ x0
A1 ↔
(,
)1
23 4
1
2 34
v1(v2(v3v4)), v1((v2v3)v4)
↔
(,
)↔ x1
![Page 34: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/34.jpg)
F as the geometry group of associativity
• The monoid GGGAAA is not a group (AαA−1α 6= id), but almost:
Proposition: The monoid GGGAAA/≈ is a group, isomorphic to F .
↑to agree on at least one term
“F is the geometry group of associativity”
• Every element of GGGAAA consists of the instances of a pair of terms' a pair of binary trees (as variables are not permuted):
A∅ ↔
(,
)1
2 3 1 23
v1(v2v3), (v1v2)v3
↔
(,
)↔ x0
A1 ↔
(,
)1
23 4
1
2 34
v1(v2(v3v4)), v1((v2v3)v4)
↔
(,
)↔ x1
![Page 35: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/35.jpg)
F as the geometry group of associativity
• The monoid GGGAAA is not a group (AαA−1α 6= id), but almost:
Proposition: The monoid GGGAAA/≈ is a group, isomorphic to F .
↑to agree on at least one term
“F is the geometry group of associativity”
• Every element of GGGAAA consists of the instances of a pair of terms' a pair of binary trees (as variables are not permuted):
A∅ ↔
(,
)1
2 3 1 23
v1(v2v3), (v1v2)v3
↔
(,
)↔ x0
A1
↔
(,
)1
23 4
1
2 34
v1(v2(v3v4)), v1((v2v3)v4)
↔
(,
)↔ x1
![Page 36: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/36.jpg)
F as the geometry group of associativity
• The monoid GGGAAA is not a group (AαA−1α 6= id), but almost:
Proposition: The monoid GGGAAA/≈ is a group, isomorphic to F .
↑to agree on at least one term
“F is the geometry group of associativity”
• Every element of GGGAAA consists of the instances of a pair of terms' a pair of binary trees (as variables are not permuted):
A∅ ↔
(,
)1
2 3 1 23
v1(v2v3), (v1v2)v3
↔
(,
)↔ x0
A1 ↔
(,
)1
23 4
1
2 34
v1(v2(v3v4)), v1((v2v3)v4)
↔
(,
)↔ x1
![Page 37: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/37.jpg)
F as the geometry group of associativity
• The monoid GGGAAA is not a group (AαA−1α 6= id), but almost:
Proposition: The monoid GGGAAA/≈ is a group, isomorphic to F .
↑to agree on at least one term
“F is the geometry group of associativity”
• Every element of GGGAAA consists of the instances of a pair of terms' a pair of binary trees (as variables are not permuted):
A∅ ↔
(,
)1
2 3 1 23
v1(v2v3), (v1v2)v3
↔
(,
)↔ x0
A1 ↔
(,
)1
23 4
1
2 34
v1(v2(v3v4)), v1((v2v3)v4)
↔
(,
)
↔ x1
![Page 38: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/38.jpg)
F as the geometry group of associativity
• The monoid GGGAAA is not a group (AαA−1α 6= id), but almost:
Proposition: The monoid GGGAAA/≈ is a group, isomorphic to F .
↑to agree on at least one term
“F is the geometry group of associativity”
• Every element of GGGAAA consists of the instances of a pair of terms' a pair of binary trees (as variables are not permuted):
A∅ ↔
(,
)1
2 3 1 23
v1(v2v3), (v1v2)v3
↔
(,
)↔ x0
A1 ↔
(,
)1
23 4
1
2 34
v1(v2(v3v4)), v1((v2v3)v4)
↔
(,
)↔ x1
![Page 39: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/39.jpg)
The dual Thompson monoid
• Under the previous correspondence: xn!!!!!!!!! A11...1, n times 1.
• A (redundant) family of generators for F : all Aα’s.↑
a binary address = a finite sequence of 0’s and 1’s
• Example: A0 (“associativity at 0”) =
(,
)= x−1
0 x−11 x2
0.
a new presentation ofF +a new submonoid F +∗ that includes F +.↑
submonoid of F generated by all Aα↑
submonoid of F generated by all xi
• Reminiscent of the Birman–Ko–Lee generators of Bnand the dual braid monoids the “dual Thompson monoid”.
• Claim: The monoid F +∗ is a very natural object,and it has good properties, more symmetric than those of F +.
![Page 40: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/40.jpg)
The dual Thompson monoid
• Under the previous correspondence: xn!!!!!!!!! A11...1, n times 1.
• A (redundant) family of generators for F : all Aα’s.
↑a binary address = a finite sequence of 0’s and 1’s
• Example: A0 (“associativity at 0”) =
(,
)= x−1
0 x−11 x2
0.
a new presentation ofF +a new submonoid F +∗ that includes F +.↑
submonoid of F generated by all Aα↑
submonoid of F generated by all xi
• Reminiscent of the Birman–Ko–Lee generators of Bnand the dual braid monoids the “dual Thompson monoid”.
• Claim: The monoid F +∗ is a very natural object,and it has good properties, more symmetric than those of F +.
![Page 41: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/41.jpg)
The dual Thompson monoid
• Under the previous correspondence: xn!!!!!!!!! A11...1, n times 1.
• A (redundant) family of generators for F : all Aα’s.↑
a binary address = a finite sequence of 0’s and 1’s
• Example: A0 (“associativity at 0”) =
(,
)= x−1
0 x−11 x2
0.
a new presentation ofF +a new submonoid F +∗ that includes F +.↑
submonoid of F generated by all Aα↑
submonoid of F generated by all xi
• Reminiscent of the Birman–Ko–Lee generators of Bnand the dual braid monoids the “dual Thompson monoid”.
• Claim: The monoid F +∗ is a very natural object,and it has good properties, more symmetric than those of F +.
![Page 42: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/42.jpg)
The dual Thompson monoid
• Under the previous correspondence: xn!!!!!!!!! A11...1, n times 1.
• A (redundant) family of generators for F : all Aα’s.↑
a binary address = a finite sequence of 0’s and 1’s
• Example: A0 (“associativity at 0”)
=
(,
)= x−1
0 x−11 x2
0.
a new presentation ofF +a new submonoid F +∗ that includes F +.↑
submonoid of F generated by all Aα↑
submonoid of F generated by all xi
• Reminiscent of the Birman–Ko–Lee generators of Bnand the dual braid monoids the “dual Thompson monoid”.
• Claim: The monoid F +∗ is a very natural object,and it has good properties, more symmetric than those of F +.
![Page 43: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/43.jpg)
The dual Thompson monoid
• Under the previous correspondence: xn!!!!!!!!! A11...1, n times 1.
• A (redundant) family of generators for F : all Aα’s.↑
a binary address = a finite sequence of 0’s and 1’s
• Example: A0 (“associativity at 0”) =
(,
)
= x−10 x−1
1 x20.
a new presentation ofF +a new submonoid F +∗ that includes F +.↑
submonoid of F generated by all Aα↑
submonoid of F generated by all xi
• Reminiscent of the Birman–Ko–Lee generators of Bnand the dual braid monoids the “dual Thompson monoid”.
• Claim: The monoid F +∗ is a very natural object,and it has good properties, more symmetric than those of F +.
![Page 44: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/44.jpg)
The dual Thompson monoid
• Under the previous correspondence: xn!!!!!!!!! A11...1, n times 1.
• A (redundant) family of generators for F : all Aα’s.↑
a binary address = a finite sequence of 0’s and 1’s
• Example: A0 (“associativity at 0”) =
(,
)= x−1
0 x−11 x2
0.
a new presentation ofF +a new submonoid F +∗ that includes F +.↑
submonoid of F generated by all Aα↑
submonoid of F generated by all xi
• Reminiscent of the Birman–Ko–Lee generators of Bnand the dual braid monoids the “dual Thompson monoid”.
• Claim: The monoid F +∗ is a very natural object,and it has good properties, more symmetric than those of F +.
![Page 45: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/45.jpg)
The dual Thompson monoid
• Under the previous correspondence: xn!!!!!!!!! A11...1, n times 1.
• A (redundant) family of generators for F : all Aα’s.↑
a binary address = a finite sequence of 0’s and 1’s
• Example: A0 (“associativity at 0”) =
(,
)= x−1
0 x−11 x2
0.
a new presentation ofF +a new submonoid F +∗ that includes F +.
↑submonoid of F generated by all Aα
↑submonoid of F generated by all xi
• Reminiscent of the Birman–Ko–Lee generators of Bnand the dual braid monoids the “dual Thompson monoid”.
• Claim: The monoid F +∗ is a very natural object,and it has good properties, more symmetric than those of F +.
![Page 46: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/46.jpg)
The dual Thompson monoid
• Under the previous correspondence: xn!!!!!!!!! A11...1, n times 1.
• A (redundant) family of generators for F : all Aα’s.↑
a binary address = a finite sequence of 0’s and 1’s
• Example: A0 (“associativity at 0”) =
(,
)= x−1
0 x−11 x2
0.
a new presentation ofF +a new submonoid F +∗ that includes F +.↑
submonoid of F generated by all Aα↑
submonoid of F generated by all xi
• Reminiscent of the Birman–Ko–Lee generators of Bnand the dual braid monoids the “dual Thompson monoid”.
• Claim: The monoid F +∗ is a very natural object,and it has good properties, more symmetric than those of F +.
![Page 47: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/47.jpg)
The dual Thompson monoid
• Under the previous correspondence: xn!!!!!!!!! A11...1, n times 1.
• A (redundant) family of generators for F : all Aα’s.↑
a binary address = a finite sequence of 0’s and 1’s
• Example: A0 (“associativity at 0”) =
(,
)= x−1
0 x−11 x2
0.
a new presentation ofF +a new submonoid F +∗ that includes F +.↑
submonoid of F generated by all Aα↑
submonoid of F generated by all xi
• Reminiscent of the Birman–Ko–Lee generators of Bnand the dual braid monoids the “dual Thompson monoid”.
• Claim: The monoid F +∗ is a very natural object,and it has good properties, more symmetric than those of F +.
![Page 48: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/48.jpg)
The dual Thompson monoid
• Under the previous correspondence: xn!!!!!!!!! A11...1, n times 1.
• A (redundant) family of generators for F : all Aα’s.↑
a binary address = a finite sequence of 0’s and 1’s
• Example: A0 (“associativity at 0”) =
(,
)= x−1
0 x−11 x2
0.
a new presentation ofF +a new submonoid F +∗ that includes F +.↑
submonoid of F generated by all Aα↑
submonoid of F generated by all xi
• Reminiscent of the Birman–Ko–Lee generators of Bnand the dual braid monoids the “dual Thompson monoid”.
• Claim: The monoid F +∗ is a very natural object,and it has good properties, more symmetric than those of F +.
![Page 49: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/49.jpg)
Relations in F +∗
• Relations connecting the Aα’s?
Find common multiples in F +∗.
• Commutation and twisted commutation relations:A0
A1
A0
A1
A0
A1
Aα1β Aα0γ = Aα0γ Aα1β
A
A10
A
A10
A
A01
Aα10β Aα = Aα Aα01β
• MacLane–Stasheff pentagon relations:A
A1
A
A1
A A0
A
Aα1 Aα Aα0 = Aα Aα
![Page 50: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/50.jpg)
Relations in F +∗
• Relations connecting the Aα’s? Find common multiples in F +∗.
• Commutation and twisted commutation relations:A0
A1
A0
A1
A0
A1
Aα1β Aα0γ = Aα0γ Aα1β
A
A10
A
A10
A
A01
Aα10β Aα = Aα Aα01β
• MacLane–Stasheff pentagon relations:A
A1
A
A1
A A0
A
Aα1 Aα Aα0 = Aα Aα
![Page 51: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/51.jpg)
Relations in F +∗
• Relations connecting the Aα’s? Find common multiples in F +∗.
• Commutation and twisted commutation relations:
A0
A1
A0
A1
A0
A1
Aα1β Aα0γ = Aα0γ Aα1β
A
A10
A
A10
A
A01
Aα10β Aα = Aα Aα01β
• MacLane–Stasheff pentagon relations:A
A1
A
A1
A A0
A
Aα1 Aα Aα0 = Aα Aα
![Page 52: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/52.jpg)
Relations in F +∗
• Relations connecting the Aα’s? Find common multiples in F +∗.
• Commutation and twisted commutation relations:A0
A1
A0
A1
A0
A1
Aα1β Aα0γ = Aα0γ Aα1β
A
A10
A
A10
A
A01
Aα10β Aα = Aα Aα01β
• MacLane–Stasheff pentagon relations:A
A1
A
A1
A A0
A
Aα1 Aα Aα0 = Aα Aα
![Page 53: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/53.jpg)
Relations in F +∗
• Relations connecting the Aα’s? Find common multiples in F +∗.
• Commutation and twisted commutation relations:A0
A1
A0
A1
A0
A1
Aα1β Aα0γ = Aα0γ Aα1β
A
A10
A
A10
A
A01
Aα10β Aα = Aα Aα01β
• MacLane–Stasheff pentagon relations:A
A1
A
A1
A A0
A
Aα1 Aα Aα0 = Aα Aα
![Page 54: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/54.jpg)
Relations in F +∗
• Relations connecting the Aα’s? Find common multiples in F +∗.
• Commutation and twisted commutation relations:A0
A1
A0
A1
A0
A1
Aα1β Aα0γ = Aα0γ Aα1β
A
A10
A
A10
A
A01
Aα10β Aα = Aα Aα01β
• MacLane–Stasheff pentagon relations:A
A1
A
A1
A A0
A
Aα1 Aα Aα0 = Aα Aα
![Page 55: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/55.jpg)
Relations in F +∗
• Relations connecting the Aα’s? Find common multiples in F +∗.
• Commutation and twisted commutation relations:A0
A1
A0
A1
A0
A1
Aα1β Aα0γ = Aα0γ Aα1β
A
A10
A
A10
A
A01
Aα10β Aα = Aα Aα01β
• MacLane–Stasheff pentagon relations:A
A1
A
A1
A A0
A
Aα1 Aα Aα0 = Aα Aα
![Page 56: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/56.jpg)
Relations in F +∗
• Relations connecting the Aα’s? Find common multiples in F +∗.
• Commutation and twisted commutation relations:A0
A1
A0
A1
A0
A1
Aα1β Aα0γ = Aα0γ Aα1β
A
A10
A
A10
A
A01
Aα10β Aα = Aα Aα01β
• MacLane–Stasheff pentagon relations:A
A1
A
A1
A A0
A
Aα1 Aα Aα0 = Aα Aα
![Page 57: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/57.jpg)
Relations in F +∗
• Relations connecting the Aα’s? Find common multiples in F +∗.
• Commutation and twisted commutation relations:A0
A1
A0
A1
A0
A1
Aα1β Aα0γ = Aα0γ Aα1β
A
A10
A
A10
A
A01
Aα10β Aα = Aα Aα01β
• MacLane–Stasheff pentagon relations:A
A1
A
A1
A A0
A
Aα1 Aα Aα0 = Aα Aα
![Page 58: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/58.jpg)
Relations in F +∗
• Relations connecting the Aα’s? Find common multiples in F +∗.
• Commutation and twisted commutation relations:A0
A1
A0
A1
A0
A1
Aα1β Aα0γ = Aα0γ Aα1β
A
A10
A
A10
A
A01
Aα10β Aα = Aα Aα01β
• MacLane–Stasheff pentagon relations:A
A1
A
A1
A A0
A
Aα1 Aα Aα0 = Aα Aα
![Page 59: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/59.jpg)
Relations in F +∗
• Relations connecting the Aα’s? Find common multiples in F +∗.
• Commutation and twisted commutation relations:A0
A1
A0
A1
A0
A1
Aα1β Aα0γ = Aα0γ Aα1β
A
A10
A
A10
A
A01
Aα10β Aα = Aα Aα01β
• MacLane–Stasheff pentagon relations:A
A1
A
A1
A A0
A
Aα1 Aα Aα0 = Aα Aα
![Page 60: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/60.jpg)
Relations in F +∗
• Relations connecting the Aα’s? Find common multiples in F +∗.
• Commutation and twisted commutation relations:A0
A1
A0
A1
A0
A1
Aα1β Aα0γ = Aα0γ Aα1β
A
A10
A
A10
A
A01
Aα10β Aα = Aα Aα01β
• MacLane–Stasheff pentagon relations:A
A1
A
A1
A A0
A
Aα1 Aα Aα0 = Aα Aα
![Page 61: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/61.jpg)
The dual presentation of F
Proposition: The previous relations (commutation + pentagon)make a presentation of F—and of F +∗—in terms of the Aα’s.
• Other laws:Associativity + commutativity:in addition to Aα, define
Cα:= “apply commutativity at α”:
α α
Thompson’s group V , presented by pentagon + hexagon rel’s.
• Other laws:Self-distributivity x(yz) = (xy)(xz):define Σα:= “apply self-distributivity atα”:
α α
Group GGGLDLDLD—“Thompson’s group for LDLDLD”—presented by ...
![Page 62: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/62.jpg)
The dual presentation of F
Proposition: The previous relations (commutation + pentagon)make a presentation of F—and of F +∗—in terms of the Aα’s.
• Other laws:Associativity + commutativity:
in addition to Aα, defineCα:= “apply commutativity at α”:
α α
Thompson’s group V , presented by pentagon + hexagon rel’s.
• Other laws:Self-distributivity x(yz) = (xy)(xz):define Σα:= “apply self-distributivity atα”:
α α
Group GGGLDLDLD—“Thompson’s group for LDLDLD”—presented by ...
![Page 63: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/63.jpg)
The dual presentation of F
Proposition: The previous relations (commutation + pentagon)make a presentation of F—and of F +∗—in terms of the Aα’s.
• Other laws:Associativity + commutativity:in addition to Aα, define
Cα:= “apply commutativity at α”:
α α
Thompson’s group V , presented by pentagon + hexagon rel’s.
• Other laws:Self-distributivity x(yz) = (xy)(xz):define Σα:= “apply self-distributivity atα”:
α α
Group GGGLDLDLD—“Thompson’s group for LDLDLD”—presented by ...
![Page 64: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/64.jpg)
The dual presentation of F
Proposition: The previous relations (commutation + pentagon)make a presentation of F—and of F +∗—in terms of the Aα’s.
• Other laws:Associativity + commutativity:in addition to Aα, define
Cα:= “apply commutativity at α”:
α α
Thompson’s group V , presented by pentagon + hexagon rel’s.
• Other laws:Self-distributivity x(yz) = (xy)(xz):define Σα:= “apply self-distributivity atα”:
α α
Group GGGLDLDLD—“Thompson’s group for LDLDLD”—presented by ...
![Page 65: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/65.jpg)
The dual presentation of F
Proposition: The previous relations (commutation + pentagon)make a presentation of F—and of F +∗—in terms of the Aα’s.
• Other laws:Associativity + commutativity:in addition to Aα, define
Cα:= “apply commutativity at α”:
α α
Thompson’s group V , presented by pentagon + hexagon rel’s.
• Other laws:Self-distributivity x(yz) = (xy)(xz):define Σα:= “apply self-distributivity atα”:
α α
Group GGGLDLDLD—“Thompson’s group for LDLDLD”—presented by ...
![Page 66: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/66.jpg)
The dual presentation of F
Proposition: The previous relations (commutation + pentagon)make a presentation of F—and of F +∗—in terms of the Aα’s.
• Other laws:Associativity + commutativity:in addition to Aα, define
Cα:= “apply commutativity at α”:
α α
Thompson’s group V , presented by pentagon + hexagon rel’s.
• Other laws:Self-distributivity x(yz) = (xy)(xz):
define Σα:= “apply self-distributivity atα”:
α α
Group GGGLDLDLD—“Thompson’s group for LDLDLD”—presented by ...
![Page 67: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/67.jpg)
The dual presentation of F
Proposition: The previous relations (commutation + pentagon)make a presentation of F—and of F +∗—in terms of the Aα’s.
• Other laws:Associativity + commutativity:in addition to Aα, define
Cα:= “apply commutativity at α”:
α α
Thompson’s group V , presented by pentagon + hexagon rel’s.
• Other laws:Self-distributivity x(yz) = (xy)(xz):define Σα:= “apply self-distributivity atα”:
α α
Group GGGLDLDLD—“Thompson’s group for LDLDLD”—presented by ...
![Page 68: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/68.jpg)
The dual presentation of F
Proposition: The previous relations (commutation + pentagon)make a presentation of F—and of F +∗—in terms of the Aα’s.
• Other laws:Associativity + commutativity:in addition to Aα, define
Cα:= “apply commutativity at α”:
α α
Thompson’s group V , presented by pentagon + hexagon rel’s.
• Other laws:Self-distributivity x(yz) = (xy)(xz):define Σα:= “apply self-distributivity atα”:
α α
Group GGGLDLDLD—“Thompson’s group for LDLDLD”—presented by ...
![Page 69: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/69.jpg)
The dual presentation of F
Proposition: The previous relations (commutation + pentagon)make a presentation of F—and of F +∗—in terms of the Aα’s.
• Other laws:Associativity + commutativity:in addition to Aα, define
Cα:= “apply commutativity at α”:
α α
Thompson’s group V , presented by pentagon + hexagon rel’s.
• Other laws:Self-distributivity x(yz) = (xy)(xz):define Σα:= “apply self-distributivity atα”:
α α
Group GGGLDLDLD—“Thompson’s group for LDLDLD”—presented by ...
![Page 70: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/70.jpg)
The heptagon of self-distributivity
• The heptagon relation of self-distributivity:
Σ
Σ1
Σ
Σ1
Σ Σ1 Σ0
Σ1
Σ
Σα Σα1 Σα = Σα1 Σα Σα1 Σα0
• Put σi := Σ11...1, n times 1. The heptagon becomesσiσi+1σi = σi+1σiσi+1 ·Σ1i0:
The group GGGLDLDLD is an extension of Artin’s braid group B∞.
![Page 71: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/71.jpg)
The heptagon of self-distributivity
• The heptagon relation of self-distributivity:
Σ
Σ1
Σ
Σ1
Σ Σ1 Σ0
Σ1
Σ
Σα Σα1 Σα = Σα1 Σα Σα1 Σα0
• Put σi := Σ11...1, n times 1. The heptagon becomesσiσi+1σi = σi+1σiσi+1 ·Σ1i0:
The group GGGLDLDLD is an extension of Artin’s braid group B∞.
![Page 72: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/72.jpg)
The heptagon of self-distributivity
• The heptagon relation of self-distributivity:
Σ
Σ1
Σ
Σ1
Σ Σ1 Σ0
Σ1
Σ
Σα Σα1 Σα = Σα1 Σα Σα1 Σα0
• Put σi := Σ11...1, n times 1. The heptagon becomesσiσi+1σi = σi+1σiσi+1 ·Σ1i0:
The group GGGLDLDLD is an extension of Artin’s braid group B∞.
![Page 73: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/73.jpg)
The heptagon of self-distributivity
• The heptagon relation of self-distributivity:
Σ
Σ1
Σ
Σ1
Σ Σ1 Σ0
Σ1
Σ
Σα Σα1 Σα = Σα1 Σα Σα1 Σα0
• Put σi := Σ11...1, n times 1. The heptagon becomes
σiσi+1σi = σi+1σiσi+1 ·Σ1i0:
The group GGGLDLDLD is an extension of Artin’s braid group B∞.
![Page 74: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/74.jpg)
The heptagon of self-distributivity
• The heptagon relation of self-distributivity:
Σ
Σ1
Σ
Σ1
Σ Σ1 Σ0
Σ1
Σ
Σα Σα1 Σα = Σα1 Σα Σα1 Σα0
• Put σi := Σ11...1, n times 1. The heptagon becomesσiσi+1σi = σi+1σiσi+1 ·Σ1i0:
The group GGGLDLDLD is an extension of Artin’s braid group B∞.
![Page 75: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/75.jpg)
The heptagon of self-distributivity
• The heptagon relation of self-distributivity:
Σ
Σ1
Σ
Σ1
Σ Σ1 Σ0
Σ1
Σ
Σα Σα1 Σα = Σα1 Σα Σα1 Σα0
• Put σi := Σ11...1, n times 1. The heptagon becomesσiσi+1σi = σi+1σiσi+1 ·Σ1i0:
The group GGGLDLDLD is an extension of Artin’s braid group B∞.
![Page 76: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/76.jpg)
Back to F
2. The lattice structure of F
Theorem: The group F is a group of (left and right) fractionsfor F +∗; the latter admits (left and right) lcm’s and gcd’s.
↑least common multiples / greatest common divisors
Corollary: The relation a−1b ∈ F +∗ defines a lattice ordering on F .
• Fact: For each pair of generators Aα,Aβ, the presentationcontains exactly one relation of the form Aα... = Aβ....
• Can one deduce anything?(typically that Aα... = Aβ... is an lcm of Aα and Aβ)
• In general: no; but yes, if some specific syntactic condition holds.
![Page 77: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/77.jpg)
Back to F
2. The lattice structure of F
Theorem: The group F is a group of (left and right) fractionsfor F +∗; the latter admits (left and right) lcm’s and gcd’s.
↑least common multiples / greatest common divisors
Corollary: The relation a−1b ∈ F +∗ defines a lattice ordering on F .
• Fact: For each pair of generators Aα,Aβ, the presentationcontains exactly one relation of the form Aα... = Aβ....
• Can one deduce anything?(typically that Aα... = Aβ... is an lcm of Aα and Aβ)
• In general: no; but yes, if some specific syntactic condition holds.
![Page 78: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/78.jpg)
Back to F
2. The lattice structure of F
Theorem: The group F is a group of (left and right) fractionsfor F +∗; the latter admits (left and right) lcm’s and gcd’s.
↑least common multiples / greatest common divisors
Corollary: The relation a−1b ∈ F +∗ defines a lattice ordering on F .
• Fact: For each pair of generators Aα,Aβ, the presentationcontains exactly one relation of the form Aα... = Aβ....
• Can one deduce anything?(typically that Aα... = Aβ... is an lcm of Aα and Aβ)
• In general: no; but yes, if some specific syntactic condition holds.
![Page 79: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/79.jpg)
Back to F
2. The lattice structure of F
Theorem: The group F is a group of (left and right) fractionsfor F +∗; the latter admits (left and right) lcm’s and gcd’s.
↑least common multiples / greatest common divisors
Corollary: The relation a−1b ∈ F +∗ defines a lattice ordering on F .
• Fact: For each pair of generators Aα,Aβ, the presentationcontains exactly one relation of the form Aα... = Aβ....
• Can one deduce anything?(typically that Aα... = Aβ... is an lcm of Aα and Aβ)
• In general: no; but yes, if some specific syntactic condition holds.
![Page 80: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/80.jpg)
Back to F
2. The lattice structure of F
Theorem: The group F is a group of (left and right) fractionsfor F +∗; the latter admits (left and right) lcm’s and gcd’s.
↑least common multiples / greatest common divisors
Corollary: The relation a−1b ∈ F +∗ defines a lattice ordering on F .
• Fact: For each pair of generators Aα,Aβ, the presentationcontains exactly one relation of the form Aα... = Aβ....
• Can one deduce anything?(typically that Aα... = Aβ... is an lcm of Aα and Aβ)
• In general: no; but yes, if some specific syntactic condition holds.
![Page 81: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/81.jpg)
Back to F
2. The lattice structure of F
Theorem: The group F is a group of (left and right) fractionsfor F +∗; the latter admits (left and right) lcm’s and gcd’s.
↑least common multiples / greatest common divisors
Corollary: The relation a−1b ∈ F +∗ defines a lattice ordering on F .
• Fact: For each pair of generators Aα,Aβ, the presentationcontains exactly one relation of the form Aα... = Aβ....
• Can one deduce anything?(typically that Aα... = Aβ... is an lcm of Aα and Aβ)
• In general: no; but yes, if some specific syntactic condition holds.
![Page 82: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/82.jpg)
Back to F
2. The lattice structure of F
Theorem: The group F is a group of (left and right) fractionsfor F +∗; the latter admits (left and right) lcm’s and gcd’s.
↑least common multiples / greatest common divisors
Corollary: The relation a−1b ∈ F +∗ defines a lattice ordering on F .
• Fact: For each pair of generators Aα,Aβ, the presentationcontains exactly one relation of the form Aα... = Aβ....
• Can one deduce anything?(typically that Aα... = Aβ... is an lcm of Aα and Aβ)
• In general: no; but yes, if some specific syntactic condition holds.
![Page 83: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/83.jpg)
Subword reversing
• Associate with every word in the letters A±1α a stair
by concatenating arrows Aα 7→ Aα , A−1α 7→ Aα .
• Close the ppp patterns until an yyy square is obtained usingAβ
Aα 7→
Aβ
Aα
Aβ
Aα
v
u7→
Aβ
Aα
Aβ
Aα
v
uwhere Aαv = Aβu is the uniquerelation of the presentationof the form Aα... = Aβ...
Criterion: Suppose that, for each relation u = v of the presentationand each α, reversing A−1
α u and A−1α v leads to equivalent words.
Then F +∗ admits (right) lcm’s (and is left cancellative).
• Example: u = AA1, v = A11A, and α = 1:
A1
A A1
A1
A11 A
A
A A0
A
A0
A
A1
A10
A1
AA A0
A
A01 A0
A0 A00A A0
A
A0
A A1
A
A
A0
A0 A00←≡→ �
![Page 84: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/84.jpg)
Subword reversing
• Associate with every word in the letters A±1α a stair
by concatenating arrows Aα 7→ Aα
, A−1α 7→ Aα .
• Close the ppp patterns until an yyy square is obtained usingAβ
Aα 7→
Aβ
Aα
Aβ
Aα
v
u7→
Aβ
Aα
Aβ
Aα
v
uwhere Aαv = Aβu is the uniquerelation of the presentationof the form Aα... = Aβ...
Criterion: Suppose that, for each relation u = v of the presentationand each α, reversing A−1
α u and A−1α v leads to equivalent words.
Then F +∗ admits (right) lcm’s (and is left cancellative).
• Example: u = AA1, v = A11A, and α = 1:
A1
A A1
A1
A11 A
A
A A0
A
A0
A
A1
A10
A1
AA A0
A
A01 A0
A0 A00A A0
A
A0
A A1
A
A
A0
A0 A00←≡→ �
![Page 85: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/85.jpg)
Subword reversing
• Associate with every word in the letters A±1α a stair
by concatenating arrows Aα 7→ Aα , A−1α 7→ Aα .
• Close the ppp patterns until an yyy square is obtained usingAβ
Aα 7→
Aβ
Aα
Aβ
Aα
v
u7→
Aβ
Aα
Aβ
Aα
v
uwhere Aαv = Aβu is the uniquerelation of the presentationof the form Aα... = Aβ...
Criterion: Suppose that, for each relation u = v of the presentationand each α, reversing A−1
α u and A−1α v leads to equivalent words.
Then F +∗ admits (right) lcm’s (and is left cancellative).
• Example: u = AA1, v = A11A, and α = 1:
A1
A A1
A1
A11 A
A
A A0
A
A0
A
A1
A10
A1
AA A0
A
A01 A0
A0 A00A A0
A
A0
A A1
A
A
A0
A0 A00←≡→ �
![Page 86: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/86.jpg)
Subword reversing
• Associate with every word in the letters A±1α a stair
by concatenating arrows Aα 7→ Aα , A−1α 7→ Aα .
• Close the ppp patterns until an yyy square is obtained usingAβ
Aα
7→
Aβ
Aα
Aβ
Aα
v
u7→
Aβ
Aα
Aβ
Aα
v
uwhere Aαv = Aβu is the uniquerelation of the presentationof the form Aα... = Aβ...
Criterion: Suppose that, for each relation u = v of the presentationand each α, reversing A−1
α u and A−1α v leads to equivalent words.
Then F +∗ admits (right) lcm’s (and is left cancellative).
• Example: u = AA1, v = A11A, and α = 1:
A1
A A1
A1
A11 A
A
A A0
A
A0
A
A1
A10
A1
AA A0
A
A01 A0
A0 A00A A0
A
A0
A A1
A
A
A0
A0 A00←≡→ �
![Page 87: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/87.jpg)
Subword reversing
• Associate with every word in the letters A±1α a stair
by concatenating arrows Aα 7→ Aα , A−1α 7→ Aα .
• Close the ppp patterns until an yyy square is obtained usingAβ
Aα 7→
Aβ
Aα
Aβ
Aα
v
u
7→
Aβ
Aα
Aβ
Aα
v
uwhere Aαv = Aβu is the uniquerelation of the presentationof the form Aα... = Aβ...
Criterion: Suppose that, for each relation u = v of the presentationand each α, reversing A−1
α u and A−1α v leads to equivalent words.
Then F +∗ admits (right) lcm’s (and is left cancellative).
• Example: u = AA1, v = A11A, and α = 1:
A1
A A1
A1
A11 A
A
A A0
A
A0
A
A1
A10
A1
AA A0
A
A01 A0
A0 A00A A0
A
A0
A A1
A
A
A0
A0 A00←≡→ �
![Page 88: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/88.jpg)
Subword reversing
• Associate with every word in the letters A±1α a stair
by concatenating arrows Aα 7→ Aα , A−1α 7→ Aα .
• Close the ppp patterns until an yyy square is obtained usingAβ
Aα 7→
Aβ
Aα
Aβ
Aα
v
u7→
Aβ
Aα
Aβ
Aα
v
uwhere Aαv = Aβu is the uniquerelation of the presentationof the form Aα... = Aβ...
Criterion: Suppose that, for each relation u = v of the presentationand each α, reversing A−1
α u and A−1α v leads to equivalent words.
Then F +∗ admits (right) lcm’s (and is left cancellative).
• Example: u = AA1, v = A11A, and α = 1:
A1
A A1
A1
A11 A
A
A A0
A
A0
A
A1
A10
A1
AA A0
A
A01 A0
A0 A00A A0
A
A0
A A1
A
A
A0
A0 A00←≡→ �
![Page 89: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/89.jpg)
Subword reversing
• Associate with every word in the letters A±1α a stair
by concatenating arrows Aα 7→ Aα , A−1α 7→ Aα .
• Close the ppp patterns until an yyy square is obtained usingAβ
Aα 7→
Aβ
Aα
Aβ
Aα
v
u7→
Aβ
Aα
Aβ
Aα
v
uwhere Aαv = Aβu is the uniquerelation of the presentationof the form Aα... = Aβ...
Criterion: Suppose that, for each relation u = v of the presentationand each α, reversing A−1
α u and A−1α v leads to equivalent words.
Then F +∗ admits (right) lcm’s (and is left cancellative).
• Example: u = AA1, v = A11A, and α = 1:
A1
A A1
A1
A11 A
A
A A0
A
A0
A
A1
A10
A1
AA A0
A
A01 A0
A0 A00A A0
A
A0
A A1
A
A
A0
A0 A00←≡→ �
![Page 90: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/90.jpg)
Subword reversing
• Associate with every word in the letters A±1α a stair
by concatenating arrows Aα 7→ Aα , A−1α 7→ Aα .
• Close the ppp patterns until an yyy square is obtained usingAβ
Aα 7→
Aβ
Aα
Aβ
Aα
v
u7→
Aβ
Aα
Aβ
Aα
v
uwhere Aαv = Aβu is the uniquerelation of the presentationof the form Aα... = Aβ...
Criterion: Suppose that, for each relation u = v of the presentationand each α, reversing A−1
α u and A−1α v leads to equivalent words.
Then F +∗ admits (right) lcm’s (and is left cancellative).
• Example: u = AA1, v = A11A, and α = 1:
A1
A A1
A1
A11 A
A
A A0
A
A0
A
A1
A10
A1
AA A0
A
A01 A0
A0 A00A A0
A
A0
A A1
A
A
A0
A0 A00←≡→ �
![Page 91: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/91.jpg)
Subword reversing
• Associate with every word in the letters A±1α a stair
by concatenating arrows Aα 7→ Aα , A−1α 7→ Aα .
• Close the ppp patterns until an yyy square is obtained usingAβ
Aα 7→
Aβ
Aα
Aβ
Aα
v
u7→
Aβ
Aα
Aβ
Aα
v
uwhere Aαv = Aβu is the uniquerelation of the presentationof the form Aα... = Aβ...
Criterion: Suppose that, for each relation u = v of the presentationand each α, reversing A−1
α u and A−1α v leads to equivalent words.
Then F +∗ admits (right) lcm’s (and is left cancellative).
• Example: u = AA1, v = A11A, and α = 1:
A1
A A1
A1
A11 A
A
A A0
A
A0
A
A1
A10
A1
AA A0
A
A01 A0
A0 A00A A0
A
A0
A A1
A
A
A0
A0 A00←≡→ �
![Page 92: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/92.jpg)
Subword reversing
• Associate with every word in the letters A±1α a stair
by concatenating arrows Aα 7→ Aα , A−1α 7→ Aα .
• Close the ppp patterns until an yyy square is obtained usingAβ
Aα 7→
Aβ
Aα
Aβ
Aα
v
u7→
Aβ
Aα
Aβ
Aα
v
uwhere Aαv = Aβu is the uniquerelation of the presentationof the form Aα... = Aβ...
Criterion: Suppose that, for each relation u = v of the presentationand each α, reversing A−1
α u and A−1α v leads to equivalent words.
Then F +∗ admits (right) lcm’s (and is left cancellative).
• Example: u = AA1, v = A11A, and α = 1:
A1
A A1
A1
A11 A
A
A A0
A
A0
A
A1
A10
A1
AA A0
A
A01 A0
A0 A00A A0
A
A0
A A1
A
A
A0
A0 A00←≡→ �
![Page 93: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/93.jpg)
Subword reversing
• Associate with every word in the letters A±1α a stair
by concatenating arrows Aα 7→ Aα , A−1α 7→ Aα .
• Close the ppp patterns until an yyy square is obtained usingAβ
Aα 7→
Aβ
Aα
Aβ
Aα
v
u7→
Aβ
Aα
Aβ
Aα
v
uwhere Aαv = Aβu is the uniquerelation of the presentationof the form Aα... = Aβ...
Criterion: Suppose that, for each relation u = v of the presentationand each α, reversing A−1
α u and A−1α v leads to equivalent words.
Then F +∗ admits (right) lcm’s (and is left cancellative).
• Example: u = AA1, v = A11A, and α = 1:
A1
A A1
A1
A11 A
A
A A0
A
A0
A
A1
A10
A1
AA A0
A
A01 A0
A0 A00A A0
A
A0
A A1
A
A
A0
A0 A00←≡→ �
![Page 94: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/94.jpg)
Subword reversing
• Associate with every word in the letters A±1α a stair
by concatenating arrows Aα 7→ Aα , A−1α 7→ Aα .
• Close the ppp patterns until an yyy square is obtained usingAβ
Aα 7→
Aβ
Aα
Aβ
Aα
v
u7→
Aβ
Aα
Aβ
Aα
v
uwhere Aαv = Aβu is the uniquerelation of the presentationof the form Aα... = Aβ...
Criterion: Suppose that, for each relation u = v of the presentationand each α, reversing A−1
α u and A−1α v leads to equivalent words.
Then F +∗ admits (right) lcm’s (and is left cancellative).
• Example: u = AA1, v = A11A, and α = 1:
A1
A A1
A1
A11 A
A
A A0
A
A0
A
A1
A10
A1
AA A0
A
A01 A0
A0 A00A A0
A
A0
A A1
A
A
A0
A0 A00←≡→ �
![Page 95: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/95.jpg)
Subword reversing
• Associate with every word in the letters A±1α a stair
by concatenating arrows Aα 7→ Aα , A−1α 7→ Aα .
• Close the ppp patterns until an yyy square is obtained usingAβ
Aα 7→
Aβ
Aα
Aβ
Aα
v
u7→
Aβ
Aα
Aβ
Aα
v
uwhere Aαv = Aβu is the uniquerelation of the presentationof the form Aα... = Aβ...
Criterion: Suppose that, for each relation u = v of the presentationand each α, reversing A−1
α u and A−1α v leads to equivalent words.
Then F +∗ admits (right) lcm’s (and is left cancellative).
• Example: u = AA1, v = A11A, and α = 1:
A1
A A1
A1
A11 A
A
A A0
A
A0
A
A1
A10
A1
AA A0
A
A01 A0
A0 A00A A0
A
A0
A A1
A
A
A0
A0 A00←≡→ �
![Page 96: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/96.jpg)
Subword reversing
• Associate with every word in the letters A±1α a stair
by concatenating arrows Aα 7→ Aα , A−1α 7→ Aα .
• Close the ppp patterns until an yyy square is obtained usingAβ
Aα 7→
Aβ
Aα
Aβ
Aα
v
u7→
Aβ
Aα
Aβ
Aα
v
uwhere Aαv = Aβu is the uniquerelation of the presentationof the form Aα... = Aβ...
Criterion: Suppose that, for each relation u = v of the presentationand each α, reversing A−1
α u and A−1α v leads to equivalent words.
Then F +∗ admits (right) lcm’s (and is left cancellative).
• Example: u = AA1, v = A11A, and α = 1:
A1
A A1
A1
A11 A
A
A A0
A
A0
A
A1
A10
A1
AA A0
A
A01 A0
A0 A00A A0
A
A0
A A1
A
A
A0
A0 A00←≡→ �
![Page 97: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/97.jpg)
Subword reversing
• Associate with every word in the letters A±1α a stair
by concatenating arrows Aα 7→ Aα , A−1α 7→ Aα .
• Close the ppp patterns until an yyy square is obtained usingAβ
Aα 7→
Aβ
Aα
Aβ
Aα
v
u7→
Aβ
Aα
Aβ
Aα
v
uwhere Aαv = Aβu is the uniquerelation of the presentationof the form Aα... = Aβ...
Criterion: Suppose that, for each relation u = v of the presentationand each α, reversing A−1
α u and A−1α v leads to equivalent words.
Then F +∗ admits (right) lcm’s (and is left cancellative).
• Example: u = AA1, v = A11A, and α = 1:
A1
A A1
A1
A11 A
A
A A0
A
A0
A
A1
A10
A1
AA A0
A
A01
A0
A0 A00A A0
A
A0
A A1
A
A
A0
A0 A00←≡→ �
![Page 98: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/98.jpg)
Subword reversing
• Associate with every word in the letters A±1α a stair
by concatenating arrows Aα 7→ Aα , A−1α 7→ Aα .
• Close the ppp patterns until an yyy square is obtained usingAβ
Aα 7→
Aβ
Aα
Aβ
Aα
v
u7→
Aβ
Aα
Aβ
Aα
v
uwhere Aαv = Aβu is the uniquerelation of the presentationof the form Aα... = Aβ...
Criterion: Suppose that, for each relation u = v of the presentationand each α, reversing A−1
α u and A−1α v leads to equivalent words.
Then F +∗ admits (right) lcm’s (and is left cancellative).
• Example: u = AA1, v = A11A, and α = 1:
A1
A A1
A1
A11 A
A
A A0
A
A0
A
A1
A10
A1
AA A0
A
A01 A0
A0 A00
A A0
A
A0
A A1
A
A
A0
A0 A00←≡→ �
![Page 99: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/99.jpg)
Subword reversing
• Associate with every word in the letters A±1α a stair
by concatenating arrows Aα 7→ Aα , A−1α 7→ Aα .
• Close the ppp patterns until an yyy square is obtained usingAβ
Aα 7→
Aβ
Aα
Aβ
Aα
v
u7→
Aβ
Aα
Aβ
Aα
v
uwhere Aαv = Aβu is the uniquerelation of the presentationof the form Aα... = Aβ...
Criterion: Suppose that, for each relation u = v of the presentationand each α, reversing A−1
α u and A−1α v leads to equivalent words.
Then F +∗ admits (right) lcm’s (and is left cancellative).
• Example: u = AA1, v = A11A, and α = 1:
A1
A A1
A1
A11 A
A
A A0
A
A0
A
A1
A10
A1
AA A0
A
A01 A0
A0 A00A A0
A
A0
A A1
A
A
A0
A0 A00
←≡→ �
![Page 100: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/100.jpg)
Subword reversing
• Associate with every word in the letters A±1α a stair
by concatenating arrows Aα 7→ Aα , A−1α 7→ Aα .
• Close the ppp patterns until an yyy square is obtained usingAβ
Aα 7→
Aβ
Aα
Aβ
Aα
v
u7→
Aβ
Aα
Aβ
Aα
v
uwhere Aαv = Aβu is the uniquerelation of the presentationof the form Aα... = Aβ...
Criterion: Suppose that, for each relation u = v of the presentationand each α, reversing A−1
α u and A−1α v leads to equivalent words.
Then F +∗ admits (right) lcm’s (and is left cancellative).
• Example: u = AA1, v = A11A, and α = 1:
A1
A A1
A1
A11 A
A
A A0
A
A0
A
A1
A10
A1
AA A0
A
A01 A0
A0 A00A A0
A
A0
A A1
A
A
A0
A0 A00←≡→
�
![Page 101: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/101.jpg)
Subword reversing
• Associate with every word in the letters A±1α a stair
by concatenating arrows Aα 7→ Aα , A−1α 7→ Aα .
• Close the ppp patterns until an yyy square is obtained usingAβ
Aα 7→
Aβ
Aα
Aβ
Aα
v
u7→
Aβ
Aα
Aβ
Aα
v
uwhere Aαv = Aβu is the uniquerelation of the presentationof the form Aα... = Aβ...
Criterion: Suppose that, for each relation u = v of the presentationand each α, reversing A−1
α u and A−1α v leads to equivalent words.
Then F +∗ admits (right) lcm’s (and is left cancellative).
• Example: u = AA1, v = A11A, and α = 1:
A1
A A1
A1
A11 A
A
A A0
A
A0
A
A1
A10
A1
AA A0
A
A01 A0
A0 A00A A0
A
A0
A A1
A
A
A0
A0 A00←≡→ �
![Page 102: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/102.jpg)
Word problem
• Thus: F +∗ admits lcm’s and gcd’s—whence the lattice structure.
• Moreover, word reversing solves the word problem of F +∗:
Proposition: Two words u,v in the letters Aα represent the sameelement of F +∗ iff reversing u−1v leads to the empty word.
u
v
• Extends to F—by combining left and right reversings.
Corollary: The Dehn function of F w.r.t. the Aα’s is quadratic.
• Gives a unique irreducible F +∗-fraction for each element of F ,whence a unique normal form in F once one is chosen in F +∗
(for instance, a “Polish normal form”).
![Page 103: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/103.jpg)
Word problem
• Thus: F +∗ admits lcm’s and gcd’s—whence the lattice structure.
• Moreover, word reversing solves the word problem of F +∗:
Proposition: Two words u,v in the letters Aα represent the sameelement of F +∗ iff reversing u−1v leads to the empty word.
u
v
• Extends to F—by combining left and right reversings.
Corollary: The Dehn function of F w.r.t. the Aα’s is quadratic.
• Gives a unique irreducible F +∗-fraction for each element of F ,whence a unique normal form in F once one is chosen in F +∗
(for instance, a “Polish normal form”).
![Page 104: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/104.jpg)
Word problem
• Thus: F +∗ admits lcm’s and gcd’s—whence the lattice structure.
• Moreover, word reversing solves the word problem of F +∗:
Proposition: Two words u,v in the letters Aα represent the sameelement of F +∗ iff reversing u−1v leads to the empty word.
u
v
• Extends to F—by combining left and right reversings.
Corollary: The Dehn function of F w.r.t. the Aα’s is quadratic.
• Gives a unique irreducible F +∗-fraction for each element of F ,whence a unique normal form in F once one is chosen in F +∗
(for instance, a “Polish normal form”).
![Page 105: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/105.jpg)
Word problem
• Thus: F +∗ admits lcm’s and gcd’s—whence the lattice structure.
• Moreover, word reversing solves the word problem of F +∗:
Proposition: Two words u,v in the letters Aα represent the sameelement of F +∗ iff reversing u−1v leads to the empty word.
u
v
• Extends to F—by combining left and right reversings.
Corollary: The Dehn function of F w.r.t. the Aα’s is quadratic.
• Gives a unique irreducible F +∗-fraction for each element of F ,whence a unique normal form in F once one is chosen in F +∗
(for instance, a “Polish normal form”).
![Page 106: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/106.jpg)
Word problem
• Thus: F +∗ admits lcm’s and gcd’s—whence the lattice structure.
• Moreover, word reversing solves the word problem of F +∗:
Proposition: Two words u,v in the letters Aα represent the sameelement of F +∗ iff reversing u−1v leads to the empty word.
u
v
• Extends to F—by combining left and right reversings.
Corollary: The Dehn function of F w.r.t. the Aα’s is quadratic.
• Gives a unique irreducible F +∗-fraction for each element of F ,whence a unique normal form in F once one is chosen in F +∗
(for instance, a “Polish normal form”).
![Page 107: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/107.jpg)
Word problem
• Thus: F +∗ admits lcm’s and gcd’s—whence the lattice structure.
• Moreover, word reversing solves the word problem of F +∗:
Proposition: Two words u,v in the letters Aα represent the sameelement of F +∗ iff reversing u−1v leads to the empty word.
u
v
• Extends to F—by combining left and right reversings.
Corollary: The Dehn function of F w.r.t. the Aα’s is quadratic.
• Gives a unique irreducible F +∗-fraction for each element of F ,whence a unique normal form in F once one is chosen in F +∗
(for instance, a “Polish normal form”).
![Page 108: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/108.jpg)
Word problem
• Thus: F +∗ admits lcm’s and gcd’s—whence the lattice structure.
• Moreover, word reversing solves the word problem of F +∗:
Proposition: Two words u,v in the letters Aα represent the sameelement of F +∗ iff reversing u−1v leads to the empty word.
u
v
• Extends to F—by combining left and right reversings.
Corollary: The Dehn function of F w.r.t. the Aα’s is quadratic.
• Gives a unique irreducible F +∗-fraction for each element of F ,whence a unique normal form in F once one is chosen in F +∗
(for instance, a “Polish normal form”).
![Page 109: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/109.jpg)
Word problem
• Thus: F +∗ admits lcm’s and gcd’s—whence the lattice structure.
• Moreover, word reversing solves the word problem of F +∗:
Proposition: Two words u,v in the letters Aα represent the sameelement of F +∗ iff reversing u−1v leads to the empty word.
u
v
• Extends to F—by combining left and right reversings.
Corollary: The Dehn function of F w.r.t. the Aα’s is quadratic.
• Gives a unique irreducible F +∗-fraction for each element of F ,whence a unique normal form in F once one is chosen in F +∗
(for instance, a “Polish normal form”).
![Page 110: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/110.jpg)
Word problem
• Thus: F +∗ admits lcm’s and gcd’s—whence the lattice structure.
• Moreover, word reversing solves the word problem of F +∗:
Proposition: Two words u,v in the letters Aα represent the sameelement of F +∗ iff reversing u−1v leads to the empty word.
u
v
• Extends to F—by combining left and right reversings.
Corollary: The Dehn function of F w.r.t. the Aα’s is quadratic.
• Gives a unique irreducible F +∗-fraction for each element of F ,whence a unique normal form in F once one is chosen in F +∗
(for instance, a “Polish normal form”).
![Page 111: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/111.jpg)
Word problem
• Thus: F +∗ admits lcm’s and gcd’s—whence the lattice structure.
• Moreover, word reversing solves the word problem of F +∗:
Proposition: Two words u,v in the letters Aα represent the sameelement of F +∗ iff reversing u−1v leads to the empty word.
u
v
• Extends to F—by combining left and right reversings.
Corollary: The Dehn function of F w.r.t. the Aα’s is quadratic.
• Gives a unique irreducible F +∗-fraction for each element of F ,whence a unique normal form in F once one is chosen in F +∗
(for instance, a “Polish normal form”).
![Page 112: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/112.jpg)
Word problem
• Thus: F +∗ admits lcm’s and gcd’s—whence the lattice structure.
• Moreover, word reversing solves the word problem of F +∗:
Proposition: Two words u,v in the letters Aα represent the sameelement of F +∗ iff reversing u−1v leads to the empty word.
u
v
• Extends to F—by combining left and right reversings.
Corollary: The Dehn function of F w.r.t. the Aα’s is quadratic.
• Gives a unique irreducible F +∗-fraction for each element of F ,
whence a unique normal form in F once one is chosen in F +∗
(for instance, a “Polish normal form”).
![Page 113: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/113.jpg)
Word problem
• Thus: F +∗ admits lcm’s and gcd’s—whence the lattice structure.
• Moreover, word reversing solves the word problem of F +∗:
Proposition: Two words u,v in the letters Aα represent the sameelement of F +∗ iff reversing u−1v leads to the empty word.
u
v
• Extends to F—by combining left and right reversings.
Corollary: The Dehn function of F w.r.t. the Aα’s is quadratic.
• Gives a unique irreducible F +∗-fraction for each element of F ,whence a unique normal form in F once one is chosen in F +∗
(for instance, a “Polish normal form”).
![Page 114: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/114.jpg)
Word problem
• Thus: F +∗ admits lcm’s and gcd’s—whence the lattice structure.
• Moreover, word reversing solves the word problem of F +∗:
Proposition: Two words u,v in the letters Aα represent the sameelement of F +∗ iff reversing u−1v leads to the empty word.
u
v
• Extends to F—by combining left and right reversings.
Corollary: The Dehn function of F w.r.t. the Aα’s is quadratic.
• Gives a unique irreducible F +∗-fraction for each element of F ,whence a unique normal form in F once one is chosen in F +∗
(for instance, a “Polish normal form”).
![Page 115: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/115.jpg)
Associahedra
3. Associahedra and flip distance
• F has a partial action on finite trees (= bracketted expressions) for every finite tree, a finite orbit:
Definition: The associahedron Kn is the oriented graph s.t.- vertex set: the orbit of (any) size n tree under F .- edges: α-labelled edge from T to T ′ iff Aα maps T to T ′.
a finite fragment of the Cayley graph of F +∗ w.r.t. the Aα’s. as F +∗ admits lcm’s, a lattice: the Tamari lattice.
K2 :∅
K3 :
∅ ∅
1 0∅
![Page 116: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/116.jpg)
Associahedra
3. Associahedra and flip distance
• F has a partial action on finite trees (= bracketted expressions)
for every finite tree, a finite orbit:
Definition: The associahedron Kn is the oriented graph s.t.- vertex set: the orbit of (any) size n tree under F .- edges: α-labelled edge from T to T ′ iff Aα maps T to T ′.
a finite fragment of the Cayley graph of F +∗ w.r.t. the Aα’s. as F +∗ admits lcm’s, a lattice: the Tamari lattice.
K2 :∅
K3 :
∅ ∅
1 0∅
![Page 117: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/117.jpg)
Associahedra
3. Associahedra and flip distance
• F has a partial action on finite trees (= bracketted expressions) for every finite tree, a finite orbit:
Definition: The associahedron Kn is the oriented graph s.t.- vertex set: the orbit of (any) size n tree under F .- edges: α-labelled edge from T to T ′ iff Aα maps T to T ′.
a finite fragment of the Cayley graph of F +∗ w.r.t. the Aα’s. as F +∗ admits lcm’s, a lattice: the Tamari lattice.
K2 :∅
K3 :
∅ ∅
1 0∅
![Page 118: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/118.jpg)
Associahedra
3. Associahedra and flip distance
• F has a partial action on finite trees (= bracketted expressions) for every finite tree, a finite orbit:
Definition: The associahedron Kn is the oriented graph s.t.- vertex set: the orbit of (any) size n tree under F .- edges: α-labelled edge from T to T ′ iff Aα maps T to T ′.
a finite fragment of the Cayley graph of F +∗ w.r.t. the Aα’s. as F +∗ admits lcm’s, a lattice: the Tamari lattice.
K2 :∅
K3 :
∅ ∅
1 0∅
![Page 119: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/119.jpg)
Associahedra
3. Associahedra and flip distance
• F has a partial action on finite trees (= bracketted expressions) for every finite tree, a finite orbit:
Definition: The associahedron Kn is the oriented graph s.t.- vertex set: the orbit of (any) size n tree under F .- edges: α-labelled edge from T to T ′ iff Aα maps T to T ′.
a finite fragment of the Cayley graph of F +∗ w.r.t. the Aα’s.
as F +∗ admits lcm’s, a lattice: the Tamari lattice.
K2 :∅
K3 :
∅ ∅
1 0∅
![Page 120: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/120.jpg)
Associahedra
3. Associahedra and flip distance
• F has a partial action on finite trees (= bracketted expressions) for every finite tree, a finite orbit:
Definition: The associahedron Kn is the oriented graph s.t.- vertex set: the orbit of (any) size n tree under F .- edges: α-labelled edge from T to T ′ iff Aα maps T to T ′.
a finite fragment of the Cayley graph of F +∗ w.r.t. the Aα’s. as F +∗ admits lcm’s, a lattice: the Tamari lattice.
K2 :∅
K3 :
∅ ∅
1 0∅
![Page 121: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/121.jpg)
Associahedra
3. Associahedra and flip distance
• F has a partial action on finite trees (= bracketted expressions) for every finite tree, a finite orbit:
Definition: The associahedron Kn is the oriented graph s.t.- vertex set: the orbit of (any) size n tree under F .- edges: α-labelled edge from T to T ′ iff Aα maps T to T ′.
a finite fragment of the Cayley graph of F +∗ w.r.t. the Aα’s. as F +∗ admits lcm’s, a lattice: the Tamari lattice.
K2 :
∅K3 :
∅ ∅
1 0∅
![Page 122: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/122.jpg)
Associahedra
3. Associahedra and flip distance
• F has a partial action on finite trees (= bracketted expressions) for every finite tree, a finite orbit:
Definition: The associahedron Kn is the oriented graph s.t.- vertex set: the orbit of (any) size n tree under F .- edges: α-labelled edge from T to T ′ iff Aα maps T to T ′.
a finite fragment of the Cayley graph of F +∗ w.r.t. the Aα’s. as F +∗ admits lcm’s, a lattice: the Tamari lattice.
K2 :∅
K3 :
∅ ∅
1 0∅
![Page 123: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/123.jpg)
Associahedra
3. Associahedra and flip distance
• F has a partial action on finite trees (= bracketted expressions) for every finite tree, a finite orbit:
Definition: The associahedron Kn is the oriented graph s.t.- vertex set: the orbit of (any) size n tree under F .- edges: α-labelled edge from T to T ′ iff Aα maps T to T ′.
a finite fragment of the Cayley graph of F +∗ w.r.t. the Aα’s. as F +∗ admits lcm’s, a lattice: the Tamari lattice.
K2 :∅
K3 :
∅ ∅
1 0∅
![Page 124: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/124.jpg)
Associahedra
3. Associahedra and flip distance
• F has a partial action on finite trees (= bracketted expressions) for every finite tree, a finite orbit:
Definition: The associahedron Kn is the oriented graph s.t.- vertex set: the orbit of (any) size n tree under F .- edges: α-labelled edge from T to T ′ iff Aα maps T to T ′.
a finite fragment of the Cayley graph of F +∗ w.r.t. the Aα’s. as F +∗ admits lcm’s, a lattice: the Tamari lattice.
K2 :∅
K3 :
∅ ∅
1 0∅
![Page 125: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/125.jpg)
Associahedra
• K4:
∅
11
1
∅
1
1
10
1
∅
∅
0
∅
∅
01
0
∅
00
0
0
∅
∅
• Normal form in F +∗ provides a spanning tree on Kn.
![Page 126: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/126.jpg)
Associahedra
• K4:
∅
11
1
∅
1
1
10
1
∅
∅
0
∅
∅
01
0
∅
00
0
0
∅
∅
• Normal form in F +∗ provides a spanning tree on Kn.
![Page 127: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/127.jpg)
The rotation distance problem
Problem: Compute the distance between vertices in Kn, i.e.,between binary trees; in particular, compute the diameter of Kn.
↑“rotation distance”
• Equivalently:Compute distances in (the Cayley graph of) F w.r.t. the Aα’s.
• Reminiscent of, but seemingly unrelated to,the similar problem with x0,x1—solved by B.Fordham.
Proposition: The embedding of F +∗ into F is not a quasi-isometry:For each C, there exist f in F +∗ satisfying
distF (1,f) < 1C distF+∗(1,f).
The distance in (F , {Aα}α) is not the distance in (F +∗, {Aα}α).
![Page 128: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/128.jpg)
The rotation distance problem
Problem: Compute the distance between vertices in Kn, i.e.,between binary trees; in particular, compute the diameter of Kn.
↑“rotation distance”
• Equivalently:Compute distances in (the Cayley graph of) F w.r.t. the Aα’s.
• Reminiscent of, but seemingly unrelated to,the similar problem with x0,x1—solved by B.Fordham.
Proposition: The embedding of F +∗ into F is not a quasi-isometry:For each C, there exist f in F +∗ satisfying
distF (1,f) < 1C distF+∗(1,f).
The distance in (F , {Aα}α) is not the distance in (F +∗, {Aα}α).
![Page 129: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/129.jpg)
The rotation distance problem
Problem: Compute the distance between vertices in Kn, i.e.,between binary trees; in particular, compute the diameter of Kn.
↑“rotation distance”
• Equivalently:Compute distances in (the Cayley graph of) F w.r.t. the Aα’s.
• Reminiscent of, but seemingly unrelated to,the similar problem with x0,x1—solved by B.Fordham.
Proposition: The embedding of F +∗ into F is not a quasi-isometry:For each C, there exist f in F +∗ satisfying
distF (1,f) < 1C distF+∗(1,f).
The distance in (F , {Aα}α) is not the distance in (F +∗, {Aα}α).
![Page 130: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/130.jpg)
The rotation distance problem
Problem: Compute the distance between vertices in Kn, i.e.,between binary trees; in particular, compute the diameter of Kn.
↑“rotation distance”
• Equivalently:Compute distances in (the Cayley graph of) F w.r.t. the Aα’s.
• Reminiscent of, but seemingly unrelated to,the similar problem with x0,x1—solved by B.Fordham.
Proposition: The embedding of F +∗ into F is not a quasi-isometry:For each C, there exist f in F +∗ satisfying
distF (1,f) < 1C distF+∗(1,f).
The distance in (F , {Aα}α) is not the distance in (F +∗, {Aα}α).
![Page 131: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/131.jpg)
The rotation distance problem
Problem: Compute the distance between vertices in Kn, i.e.,between binary trees; in particular, compute the diameter of Kn.
↑“rotation distance”
• Equivalently:Compute distances in (the Cayley graph of) F w.r.t. the Aα’s.
• Reminiscent of, but seemingly unrelated to,the similar problem with x0,x1—solved by B.Fordham.
Proposition: The embedding of F +∗ into F is not a quasi-isometry:For each C, there exist f in F +∗ satisfying
distF (1,f) < 1C distF+∗(1,f).
The distance in (F , {Aα}α) is not the distance in (F +∗, {Aα}α).
![Page 132: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/132.jpg)
The rotation distance problem
Problem: Compute the distance between vertices in Kn, i.e.,between binary trees; in particular, compute the diameter of Kn.
↑“rotation distance”
• Equivalently:Compute distances in (the Cayley graph of) F w.r.t. the Aα’s.
• Reminiscent of, but seemingly unrelated to,the similar problem with x0,x1—solved by B.Fordham.
Proposition: The embedding of F +∗ into F is not a quasi-isometry:For each C, there exist f in F +∗ satisfying
distF (1,f) < 1C distF+∗(1,f).
The distance in (F , {Aα}α) is not the distance in (F +∗, {Aα}α).
![Page 133: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/133.jpg)
Triangulations
• Binary trees of size n!!!!!!!!! triangulations of an (n+ 2)-gon
• Then flipping on edge in a triangulation!!!!!!!!! applying one A±1α
Diameter dn of Kn
= maximal rotation distance between two size n trees.= max. flip distance between two triangulations of an (n+2)-gon.
![Page 134: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/134.jpg)
Triangulations
• Binary trees of size n!!!!!!!!! triangulations of an (n+ 2)-gon
• Then flipping on edge in a triangulation!!!!!!!!! applying one A±1α
Diameter dn of Kn
= maximal rotation distance between two size n trees.= max. flip distance between two triangulations of an (n+2)-gon.
![Page 135: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/135.jpg)
Triangulations
• Binary trees of size n!!!!!!!!! triangulations of an (n+ 2)-gon
• Then flipping on edge in a triangulation!!!!!!!!! applying one A±1α
Diameter dn of Kn
= maximal rotation distance between two size n trees.= max. flip distance between two triangulations of an (n+2)-gon.
![Page 136: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/136.jpg)
Triangulations
• Binary trees of size n!!!!!!!!! triangulations of an (n+ 2)-gon
• Then flipping on edge in a triangulation!!!!!!!!! applying one A±1α
Diameter dn of Kn
= maximal rotation distance between two size n trees.= max. flip distance between two triangulations of an (n+2)-gon.
![Page 137: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/137.jpg)
Triangulations
• Binary trees of size n!!!!!!!!! triangulations of an (n+ 2)-gon
• Then flipping on edge in a triangulation!!!!!!!!! applying one A±1α
Diameter dn of Kn
= maximal rotation distance between two size n trees.= max. flip distance between two triangulations of an (n+2)-gon.
![Page 138: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/138.jpg)
Triangulations
• Binary trees of size n!!!!!!!!! triangulations of an (n+ 2)-gon
• Then flipping on edge in a triangulation!!!!!!!!! applying one A±1α
Diameter dn of Kn
= maximal rotation distance between two size n trees.= max. flip distance between two triangulations of an (n+2)-gon.
![Page 139: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/139.jpg)
Triangulations
• Binary trees of size n!!!!!!!!! triangulations of an (n+ 2)-gon
• Then flipping on edge in a triangulation!!!!!!!!! applying one A±1α
Diameter dn of Kn
= maximal rotation distance between two size n trees.= max. flip distance between two triangulations of an (n+2)-gon.
![Page 140: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/140.jpg)
Triangulations
• Binary trees of size n!!!!!!!!! triangulations of an (n+ 2)-gon
• Then flipping on edge in a triangulation!!!!!!!!! applying one A±1α
Diameter dn of Kn
= maximal rotation distance between two size n trees.
= max. flip distance between two triangulations of an (n+2)-gon.
![Page 141: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/141.jpg)
Triangulations
• Binary trees of size n!!!!!!!!! triangulations of an (n+ 2)-gon
• Then flipping on edge in a triangulation!!!!!!!!! applying one A±1α
Diameter dn of Kn
= maximal rotation distance between two size n trees.= max. flip distance between two triangulations of an (n+2)-gon.
![Page 142: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/142.jpg)
Triangulations
• Binary trees of size n!!!!!!!!! triangulations of an (n+ 2)-gon
• Then flipping on edge in a triangulation!!!!!!!!! applying one A±1α
Diameter dn of Kn
= maximal rotation distance between two size n trees.= max. flip distance between two triangulations of an (n+2)-gon.
![Page 143: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/143.jpg)
An asymptotic result
Theorem (Sleator-Tarjan-Thurston, ’88): dn = 2n− 6 for n >> 0.
• The easy direction: dn 6 2n− 6 holds for n > 10.(Every size n tree is at distance at most n− 1 of a right comb.)
• The problem: Proving lower bounds for dist(T ,T ′).• The solution: Use hyperbolic geometry.
- Glue ∂T and ∂T ′ to get a triangulated polytope Π in S2.
- Then dist(T ,T ′) ≈ # tetrahedra in Π > vol(Π)max vol(tetrahedron) .
- In E3: vol(Π) 6 43πR
3 6 3 max vol(tetrahedron): no hope!
- In H3: vol(Π) may be large. Find polytopes with few vertices and large hyperbolic volume:- Use carefully chosen finite plane tesselations and close them. �
• Wonderful, but nothing for small n. Is there another method?
![Page 144: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/144.jpg)
An asymptotic result
Theorem (Sleator-Tarjan-Thurston, ’88): dn = 2n− 6 for n >> 0.
• The easy direction: dn 6 2n− 6 holds for n > 10.
(Every size n tree is at distance at most n− 1 of a right comb.)
• The problem: Proving lower bounds for dist(T ,T ′).• The solution: Use hyperbolic geometry.
- Glue ∂T and ∂T ′ to get a triangulated polytope Π in S2.
- Then dist(T ,T ′) ≈ # tetrahedra in Π > vol(Π)max vol(tetrahedron) .
- In E3: vol(Π) 6 43πR
3 6 3 max vol(tetrahedron): no hope!
- In H3: vol(Π) may be large. Find polytopes with few vertices and large hyperbolic volume:- Use carefully chosen finite plane tesselations and close them. �
• Wonderful, but nothing for small n. Is there another method?
![Page 145: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/145.jpg)
An asymptotic result
Theorem (Sleator-Tarjan-Thurston, ’88): dn = 2n− 6 for n >> 0.
• The easy direction: dn 6 2n− 6 holds for n > 10.(Every size n tree is at distance at most n− 1 of a right comb.)
• The problem: Proving lower bounds for dist(T ,T ′).• The solution: Use hyperbolic geometry.
- Glue ∂T and ∂T ′ to get a triangulated polytope Π in S2.
- Then dist(T ,T ′) ≈ # tetrahedra in Π > vol(Π)max vol(tetrahedron) .
- In E3: vol(Π) 6 43πR
3 6 3 max vol(tetrahedron): no hope!
- In H3: vol(Π) may be large. Find polytopes with few vertices and large hyperbolic volume:- Use carefully chosen finite plane tesselations and close them. �
• Wonderful, but nothing for small n. Is there another method?
![Page 146: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/146.jpg)
An asymptotic result
Theorem (Sleator-Tarjan-Thurston, ’88): dn = 2n− 6 for n >> 0.
• The easy direction: dn 6 2n− 6 holds for n > 10.(Every size n tree is at distance at most n− 1 of a right comb.)
• The problem: Proving lower bounds for dist(T ,T ′).
• The solution: Use hyperbolic geometry.- Glue ∂T and ∂T ′ to get a triangulated polytope Π in S2.
- Then dist(T ,T ′) ≈ # tetrahedra in Π > vol(Π)max vol(tetrahedron) .
- In E3: vol(Π) 6 43πR
3 6 3 max vol(tetrahedron): no hope!
- In H3: vol(Π) may be large. Find polytopes with few vertices and large hyperbolic volume:- Use carefully chosen finite plane tesselations and close them. �
• Wonderful, but nothing for small n. Is there another method?
![Page 147: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/147.jpg)
An asymptotic result
Theorem (Sleator-Tarjan-Thurston, ’88): dn = 2n− 6 for n >> 0.
• The easy direction: dn 6 2n− 6 holds for n > 10.(Every size n tree is at distance at most n− 1 of a right comb.)
• The problem: Proving lower bounds for dist(T ,T ′).• The solution: Use hyperbolic geometry.
- Glue ∂T and ∂T ′ to get a triangulated polytope Π in S2.
- Then dist(T ,T ′) ≈ # tetrahedra in Π > vol(Π)max vol(tetrahedron) .
- In E3: vol(Π) 6 43πR
3 6 3 max vol(tetrahedron): no hope!
- In H3: vol(Π) may be large. Find polytopes with few vertices and large hyperbolic volume:- Use carefully chosen finite plane tesselations and close them. �
• Wonderful, but nothing for small n. Is there another method?
![Page 148: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/148.jpg)
An asymptotic result
Theorem (Sleator-Tarjan-Thurston, ’88): dn = 2n− 6 for n >> 0.
• The easy direction: dn 6 2n− 6 holds for n > 10.(Every size n tree is at distance at most n− 1 of a right comb.)
• The problem: Proving lower bounds for dist(T ,T ′).• The solution: Use hyperbolic geometry.
- Glue ∂T and ∂T ′ to get a triangulated polytope Π in S2.
- Then dist(T ,T ′) ≈ # tetrahedra in Π > vol(Π)max vol(tetrahedron) .
- In E3: vol(Π) 6 43πR
3 6 3 max vol(tetrahedron): no hope!
- In H3: vol(Π) may be large. Find polytopes with few vertices and large hyperbolic volume:- Use carefully chosen finite plane tesselations and close them. �
• Wonderful, but nothing for small n. Is there another method?
![Page 149: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/149.jpg)
An asymptotic result
Theorem (Sleator-Tarjan-Thurston, ’88): dn = 2n− 6 for n >> 0.
• The easy direction: dn 6 2n− 6 holds for n > 10.(Every size n tree is at distance at most n− 1 of a right comb.)
• The problem: Proving lower bounds for dist(T ,T ′).• The solution: Use hyperbolic geometry.
- Glue ∂T and ∂T ′ to get a triangulated polytope Π in S2.
- Then dist(T ,T ′) ≈ # tetrahedra in Π
>vol(Π)
max vol(tetrahedron) .
- In E3: vol(Π) 6 43πR
3 6 3 max vol(tetrahedron): no hope!
- In H3: vol(Π) may be large. Find polytopes with few vertices and large hyperbolic volume:- Use carefully chosen finite plane tesselations and close them. �
• Wonderful, but nothing for small n. Is there another method?
![Page 150: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/150.jpg)
An asymptotic result
Theorem (Sleator-Tarjan-Thurston, ’88): dn = 2n− 6 for n >> 0.
• The easy direction: dn 6 2n− 6 holds for n > 10.(Every size n tree is at distance at most n− 1 of a right comb.)
• The problem: Proving lower bounds for dist(T ,T ′).• The solution: Use hyperbolic geometry.
- Glue ∂T and ∂T ′ to get a triangulated polytope Π in S2.
- Then dist(T ,T ′) ≈ # tetrahedra in Π > vol(Π)max vol(tetrahedron) .
- In E3: vol(Π) 6 43πR
3 6 3 max vol(tetrahedron): no hope!
- In H3: vol(Π) may be large. Find polytopes with few vertices and large hyperbolic volume:- Use carefully chosen finite plane tesselations and close them. �
• Wonderful, but nothing for small n. Is there another method?
![Page 151: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/151.jpg)
An asymptotic result
Theorem (Sleator-Tarjan-Thurston, ’88): dn = 2n− 6 for n >> 0.
• The easy direction: dn 6 2n− 6 holds for n > 10.(Every size n tree is at distance at most n− 1 of a right comb.)
• The problem: Proving lower bounds for dist(T ,T ′).• The solution: Use hyperbolic geometry.
- Glue ∂T and ∂T ′ to get a triangulated polytope Π in S2.
- Then dist(T ,T ′) ≈ # tetrahedra in Π > vol(Π)max vol(tetrahedron) .
- In E3: vol(Π) 6 43πR
3 6 3 max vol(tetrahedron): no hope!
- In H3: vol(Π) may be large. Find polytopes with few vertices and large hyperbolic volume:- Use carefully chosen finite plane tesselations and close them. �
• Wonderful, but nothing for small n. Is there another method?
![Page 152: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/152.jpg)
An asymptotic result
Theorem (Sleator-Tarjan-Thurston, ’88): dn = 2n− 6 for n >> 0.
• The easy direction: dn 6 2n− 6 holds for n > 10.(Every size n tree is at distance at most n− 1 of a right comb.)
• The problem: Proving lower bounds for dist(T ,T ′).• The solution: Use hyperbolic geometry.
- Glue ∂T and ∂T ′ to get a triangulated polytope Π in S2.
- Then dist(T ,T ′) ≈ # tetrahedra in Π > vol(Π)max vol(tetrahedron) .
- In E3: vol(Π) 6 43πR
3 6 3 max vol(tetrahedron): no hope!
- In H3: vol(Π) may be large.
Find polytopes with few vertices and large hyperbolic volume:- Use carefully chosen finite plane tesselations and close them. �
• Wonderful, but nothing for small n. Is there another method?
![Page 153: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/153.jpg)
An asymptotic result
Theorem (Sleator-Tarjan-Thurston, ’88): dn = 2n− 6 for n >> 0.
• The easy direction: dn 6 2n− 6 holds for n > 10.(Every size n tree is at distance at most n− 1 of a right comb.)
• The problem: Proving lower bounds for dist(T ,T ′).• The solution: Use hyperbolic geometry.
- Glue ∂T and ∂T ′ to get a triangulated polytope Π in S2.
- Then dist(T ,T ′) ≈ # tetrahedra in Π > vol(Π)max vol(tetrahedron) .
- In E3: vol(Π) 6 43πR
3 6 3 max vol(tetrahedron): no hope!
- In H3: vol(Π) may be large. Find polytopes with few vertices and large hyperbolic volume:
- Use carefully chosen finite plane tesselations and close them. �
• Wonderful, but nothing for small n. Is there another method?
![Page 154: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/154.jpg)
An asymptotic result
Theorem (Sleator-Tarjan-Thurston, ’88): dn = 2n− 6 for n >> 0.
• The easy direction: dn 6 2n− 6 holds for n > 10.(Every size n tree is at distance at most n− 1 of a right comb.)
• The problem: Proving lower bounds for dist(T ,T ′).• The solution: Use hyperbolic geometry.
- Glue ∂T and ∂T ′ to get a triangulated polytope Π in S2.
- Then dist(T ,T ′) ≈ # tetrahedra in Π > vol(Π)max vol(tetrahedron) .
- In E3: vol(Π) 6 43πR
3 6 3 max vol(tetrahedron): no hope!
- In H3: vol(Π) may be large. Find polytopes with few vertices and large hyperbolic volume:- Use carefully chosen finite plane tesselations and close them.
�
• Wonderful, but nothing for small n. Is there another method?
![Page 155: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/155.jpg)
An asymptotic result
Theorem (Sleator-Tarjan-Thurston, ’88): dn = 2n− 6 for n >> 0.
• The easy direction: dn 6 2n− 6 holds for n > 10.(Every size n tree is at distance at most n− 1 of a right comb.)
• The problem: Proving lower bounds for dist(T ,T ′).• The solution: Use hyperbolic geometry.
- Glue ∂T and ∂T ′ to get a triangulated polytope Π in S2.
- Then dist(T ,T ′) ≈ # tetrahedra in Π > vol(Π)max vol(tetrahedron) .
- In E3: vol(Π) 6 43πR
3 6 3 max vol(tetrahedron): no hope!
- In H3: vol(Π) may be large. Find polytopes with few vertices and large hyperbolic volume:- Use carefully chosen finite plane tesselations and close them. �
• Wonderful, but nothing for small n. Is there another method?
![Page 156: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/156.jpg)
An asymptotic result
Theorem (Sleator-Tarjan-Thurston, ’88): dn = 2n− 6 for n >> 0.
• The easy direction: dn 6 2n− 6 holds for n > 10.(Every size n tree is at distance at most n− 1 of a right comb.)
• The problem: Proving lower bounds for dist(T ,T ′).• The solution: Use hyperbolic geometry.
- Glue ∂T and ∂T ′ to get a triangulated polytope Π in S2.
- Then dist(T ,T ′) ≈ # tetrahedra in Π > vol(Π)max vol(tetrahedron) .
- In E3: vol(Π) 6 43πR
3 6 3 max vol(tetrahedron): no hope!
- In H3: vol(Π) may be large. Find polytopes with few vertices and large hyperbolic volume:- Use carefully chosen finite plane tesselations and close them. �
• Wonderful,
but nothing for small n. Is there another method?
![Page 157: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/157.jpg)
An asymptotic result
Theorem (Sleator-Tarjan-Thurston, ’88): dn = 2n− 6 for n >> 0.
• The easy direction: dn 6 2n− 6 holds for n > 10.(Every size n tree is at distance at most n− 1 of a right comb.)
• The problem: Proving lower bounds for dist(T ,T ′).• The solution: Use hyperbolic geometry.
- Glue ∂T and ∂T ′ to get a triangulated polytope Π in S2.
- Then dist(T ,T ′) ≈ # tetrahedra in Π > vol(Π)max vol(tetrahedron) .
- In E3: vol(Π) 6 43πR
3 6 3 max vol(tetrahedron): no hope!
- In H3: vol(Π) may be large. Find polytopes with few vertices and large hyperbolic volume:- Use carefully chosen finite plane tesselations and close them. �
• Wonderful, but nothing for small n.
Is there another method?
![Page 158: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/158.jpg)
An asymptotic result
Theorem (Sleator-Tarjan-Thurston, ’88): dn = 2n− 6 for n >> 0.
• The easy direction: dn 6 2n− 6 holds for n > 10.(Every size n tree is at distance at most n− 1 of a right comb.)
• The problem: Proving lower bounds for dist(T ,T ′).• The solution: Use hyperbolic geometry.
- Glue ∂T and ∂T ′ to get a triangulated polytope Π in S2.
- Then dist(T ,T ′) ≈ # tetrahedra in Π > vol(Π)max vol(tetrahedron) .
- In E3: vol(Π) 6 43πR
3 6 3 max vol(tetrahedron): no hope!
- In H3: vol(Π) may be large. Find polytopes with few vertices and large hyperbolic volume:- Use carefully chosen finite plane tesselations and close them. �
• Wonderful, but nothing for small n. Is there another method?
![Page 159: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/159.jpg)
Naive attempts
4. Proving lower bounds on dn
↑using combinatorial methods that work for each n.
• Recall: dn = max. # ofA±1α to transform a sizen tree into another.
• The problem: find size n trees T ,T ′ s.t. many A±1α
(possibly 2n− 6) are provably needed to transform T to T ′.
• Use the algebraic properties of the monoid F +∗?
• A naive attempt: Invariants of the relations.- All relations (including pentagon) preserve global # of A11...1.
Fact 1: For each n, one has dn > n− 1.
...A A A
![Page 160: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/160.jpg)
Naive attempts
4. Proving lower bounds on dn
↑using combinatorial methods that work for each n.
• Recall: dn = max. # ofA±1α to transform a sizen tree into another.
• The problem: find size n trees T ,T ′ s.t. many A±1α
(possibly 2n− 6) are provably needed to transform T to T ′.
• Use the algebraic properties of the monoid F +∗?
• A naive attempt: Invariants of the relations.- All relations (including pentagon) preserve global # of A11...1.
Fact 1: For each n, one has dn > n− 1.
...A A A
![Page 161: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/161.jpg)
Naive attempts
4. Proving lower bounds on dn
↑using combinatorial methods that work for each n.
• Recall: dn = max. # ofA±1α to transform a sizen tree into another.
• The problem: find size n trees T ,T ′ s.t. many A±1α
(possibly 2n− 6) are provably needed to transform T to T ′.
• Use the algebraic properties of the monoid F +∗?
• A naive attempt: Invariants of the relations.- All relations (including pentagon) preserve global # of A11...1.
Fact 1: For each n, one has dn > n− 1.
...A A A
![Page 162: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/162.jpg)
Naive attempts
4. Proving lower bounds on dn
↑using combinatorial methods that work for each n.
• Recall: dn = max. # ofA±1α to transform a sizen tree into another.
• The problem: find size n trees T ,T ′ s.t. many A±1α
(possibly 2n− 6) are provably needed to transform T to T ′.
• Use the algebraic properties of the monoid F +∗?
• A naive attempt: Invariants of the relations.- All relations (including pentagon) preserve global # of A11...1.
Fact 1: For each n, one has dn > n− 1.
...A A A
![Page 163: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/163.jpg)
Naive attempts
4. Proving lower bounds on dn
↑using combinatorial methods that work for each n.
• Recall: dn = max. # ofA±1α to transform a sizen tree into another.
• The problem: find size n trees T ,T ′ s.t. many A±1α
(possibly 2n− 6) are provably needed to transform T to T ′.
• Use the algebraic properties of the monoid F +∗?
• A naive attempt: Invariants of the relations.- All relations (including pentagon) preserve global # of A11...1.
Fact 1: For each n, one has dn > n− 1.
...A A A
![Page 164: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/164.jpg)
Naive attempts
4. Proving lower bounds on dn
↑using combinatorial methods that work for each n.
• Recall: dn = max. # ofA±1α to transform a sizen tree into another.
• The problem: find size n trees T ,T ′ s.t. many A±1α
(possibly 2n− 6) are provably needed to transform T to T ′.
• Use the algebraic properties of the monoid F +∗?
• A naive attempt: Invariants of the relations.
- All relations (including pentagon) preserve global # of A11...1.
Fact 1: For each n, one has dn > n− 1.
...A A A
![Page 165: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/165.jpg)
Naive attempts
4. Proving lower bounds on dn
↑using combinatorial methods that work for each n.
• Recall: dn = max. # ofA±1α to transform a sizen tree into another.
• The problem: find size n trees T ,T ′ s.t. many A±1α
(possibly 2n− 6) are provably needed to transform T to T ′.
• Use the algebraic properties of the monoid F +∗?
• A naive attempt: Invariants of the relations.- All relations (including pentagon) preserve global # of A11...1.
Fact 1: For each n, one has dn > n− 1.
...A A A
![Page 166: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/166.jpg)
Naive attempts
4. Proving lower bounds on dn
↑using combinatorial methods that work for each n.
• Recall: dn = max. # ofA±1α to transform a sizen tree into another.
• The problem: find size n trees T ,T ′ s.t. many A±1α
(possibly 2n− 6) are provably needed to transform T to T ′.
• Use the algebraic properties of the monoid F +∗?
• A naive attempt: Invariants of the relations.- All relations (including pentagon) preserve global # of A11...1.
Fact 1: For each n, one has dn > n− 1.
...A A A
![Page 167: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/167.jpg)
Naive attempts
4. Proving lower bounds on dn
↑using combinatorial methods that work for each n.
• Recall: dn = max. # ofA±1α to transform a sizen tree into another.
• The problem: find size n trees T ,T ′ s.t. many A±1α
(possibly 2n− 6) are provably needed to transform T to T ′.
• Use the algebraic properties of the monoid F +∗?
• A naive attempt: Invariants of the relations.- All relations (including pentagon) preserve global # of A11...1.
Fact 1: For each n, one has dn > n− 1.
...A A A
![Page 168: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/168.jpg)
Addresses of leaves
• A semi-naive attempt: Action on addresses.
• Number the leaves, and follow the address of a given leaf;↑
finite sequence of 0’s and 1’s describing the path from the root
• Action of Aα on an address: β 7→
α00γ if β = α0γ,α01γ if β = α10γ,α1γ if β = α11γ,β otherwise.
Fact 2: For each n, one has dn > 32n− 2.
123
p
p+1 p+2
2p+1 123
p p+1
p+2
2p+1
address of p+ 1 in T : 1p0p
address of p+ 1 in T ′: 0p1p
at least 3p− 2 steps. �
![Page 169: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/169.jpg)
Addresses of leaves
• A semi-naive attempt: Action on addresses.
• Number the leaves, and follow the address of a given leaf;
↑finite sequence of 0’s and 1’s describing the path from the root
• Action of Aα on an address: β 7→
α00γ if β = α0γ,α01γ if β = α10γ,α1γ if β = α11γ,β otherwise.
Fact 2: For each n, one has dn > 32n− 2.
123
p
p+1 p+2
2p+1 123
p p+1
p+2
2p+1
address of p+ 1 in T : 1p0p
address of p+ 1 in T ′: 0p1p
at least 3p− 2 steps. �
![Page 170: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/170.jpg)
Addresses of leaves
• A semi-naive attempt: Action on addresses.
• Number the leaves, and follow the address of a given leaf;↑
finite sequence of 0’s and 1’s describing the path from the root
• Action of Aα on an address: β 7→
α00γ if β = α0γ,α01γ if β = α10γ,α1γ if β = α11γ,β otherwise.
Fact 2: For each n, one has dn > 32n− 2.
123
p
p+1 p+2
2p+1 123
p p+1
p+2
2p+1
address of p+ 1 in T : 1p0p
address of p+ 1 in T ′: 0p1p
at least 3p− 2 steps. �
![Page 171: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/171.jpg)
Addresses of leaves
• A semi-naive attempt: Action on addresses.
• Number the leaves, and follow the address of a given leaf;↑
finite sequence of 0’s and 1’s describing the path from the root
• Action of Aα on an address: β 7→
α00γ if β = α0γ,
α01γ if β = α10γ,α1γ if β = α11γ,β otherwise.
Fact 2: For each n, one has dn > 32n− 2.
123
p
p+1 p+2
2p+1 123
p p+1
p+2
2p+1
address of p+ 1 in T : 1p0p
address of p+ 1 in T ′: 0p1p
at least 3p− 2 steps. �
![Page 172: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/172.jpg)
Addresses of leaves
• A semi-naive attempt: Action on addresses.
• Number the leaves, and follow the address of a given leaf;↑
finite sequence of 0’s and 1’s describing the path from the root
• Action of Aα on an address: β 7→
α00γ if β = α0γ,α01γ if β = α10γ,
α1γ if β = α11γ,β otherwise.
Fact 2: For each n, one has dn > 32n− 2.
123
p
p+1 p+2
2p+1 123
p p+1
p+2
2p+1
address of p+ 1 in T : 1p0p
address of p+ 1 in T ′: 0p1p
at least 3p− 2 steps. �
![Page 173: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/173.jpg)
Addresses of leaves
• A semi-naive attempt: Action on addresses.
• Number the leaves, and follow the address of a given leaf;↑
finite sequence of 0’s and 1’s describing the path from the root
• Action of Aα on an address: β 7→
α00γ if β = α0γ,α01γ if β = α10γ,α1γ if β = α11γ,
β otherwise.
Fact 2: For each n, one has dn > 32n− 2.
123
p
p+1 p+2
2p+1 123
p p+1
p+2
2p+1
address of p+ 1 in T : 1p0p
address of p+ 1 in T ′: 0p1p
at least 3p− 2 steps. �
![Page 174: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/174.jpg)
Addresses of leaves
• A semi-naive attempt: Action on addresses.
• Number the leaves, and follow the address of a given leaf;↑
finite sequence of 0’s and 1’s describing the path from the root
• Action of Aα on an address: β 7→
α00γ if β = α0γ,α01γ if β = α10γ,α1γ if β = α11γ,β otherwise.
Fact 2: For each n, one has dn > 32n− 2.
123
p
p+1 p+2
2p+1 123
p p+1
p+2
2p+1
address of p+ 1 in T : 1p0p
address of p+ 1 in T ′: 0p1p
at least 3p− 2 steps. �
![Page 175: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/175.jpg)
Addresses of leaves
• A semi-naive attempt: Action on addresses.
• Number the leaves, and follow the address of a given leaf;↑
finite sequence of 0’s and 1’s describing the path from the root
• Action of Aα on an address: β 7→
α00γ if β = α0γ,α01γ if β = α10γ,α1γ if β = α11γ,β otherwise.
Fact 2: For each n, one has dn > 32n− 2.
123
p
p+1 p+2
2p+1 123
p p+1
p+2
2p+1
address of p+ 1 in T : 1p0p
address of p+ 1 in T ′: 0p1p
at least 3p− 2 steps. �
![Page 176: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/176.jpg)
Addresses of leaves
• A semi-naive attempt: Action on addresses.
• Number the leaves, and follow the address of a given leaf;↑
finite sequence of 0’s and 1’s describing the path from the root
• Action of Aα on an address: β 7→
α00γ if β = α0γ,α01γ if β = α10γ,α1γ if β = α11γ,β otherwise.
Fact 2: For each n, one has dn > 32n− 2.
123
p
p+1 p+2
2p+1 123
p p+1
p+2
2p+1
address of p+ 1 in T : 1p0p
address of p+ 1 in T ′: 0p1p
at least 3p− 2 steps. �
![Page 177: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/177.jpg)
Addresses of leaves
• A semi-naive attempt: Action on addresses.
• Number the leaves, and follow the address of a given leaf;↑
finite sequence of 0’s and 1’s describing the path from the root
• Action of Aα on an address: β 7→
α00γ if β = α0γ,α01γ if β = α10γ,α1γ if β = α11γ,β otherwise.
Fact 2: For each n, one has dn > 32n− 2.
123
p
p+1 p+2
2p+1
123
p p+1
p+2
2p+1
address of p+ 1 in T : 1p0p
address of p+ 1 in T ′: 0p1p
at least 3p− 2 steps. �
![Page 178: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/178.jpg)
Addresses of leaves
• A semi-naive attempt: Action on addresses.
• Number the leaves, and follow the address of a given leaf;↑
finite sequence of 0’s and 1’s describing the path from the root
• Action of Aα on an address: β 7→
α00γ if β = α0γ,α01γ if β = α10γ,α1γ if β = α11γ,β otherwise.
Fact 2: For each n, one has dn > 32n− 2.
123
p
p+1 p+2
2p+1 123
p p+1
p+2
2p+1
address of p+ 1 in T : 1p0p
address of p+ 1 in T ′: 0p1p
at least 3p− 2 steps. �
![Page 179: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/179.jpg)
Addresses of leaves
• A semi-naive attempt: Action on addresses.
• Number the leaves, and follow the address of a given leaf;↑
finite sequence of 0’s and 1’s describing the path from the root
• Action of Aα on an address: β 7→
α00γ if β = α0γ,α01γ if β = α10γ,α1γ if β = α11γ,β otherwise.
Fact 2: For each n, one has dn > 32n− 2.
123
p
p+1 p+2
2p+1 123
p p+1
p+2
2p+1
address of p+ 1 in T : 1p0p
address of p+ 1 in T ′: 0p1p
at least 3p− 2 steps. �
![Page 180: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/180.jpg)
Addresses of leaves
• A semi-naive attempt: Action on addresses.
• Number the leaves, and follow the address of a given leaf;↑
finite sequence of 0’s and 1’s describing the path from the root
• Action of Aα on an address: β 7→
α00γ if β = α0γ,α01γ if β = α10γ,α1γ if β = α11γ,β otherwise.
Fact 2: For each n, one has dn > 32n− 2.
123
p
p+1 p+2
2p+1 123
p p+1
p+2
2p+1
address of p+ 1 in T : 1p0p
address of p+ 1 in T ′: 0p1p
at least 3p− 2 steps. �
![Page 181: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/181.jpg)
Addresses of leaves
• A semi-naive attempt: Action on addresses.
• Number the leaves, and follow the address of a given leaf;↑
finite sequence of 0’s and 1’s describing the path from the root
• Action of Aα on an address: β 7→
α00γ if β = α0γ,α01γ if β = α10γ,α1γ if β = α11γ,β otherwise.
Fact 2: For each n, one has dn > 32n− 2.
123
p
p+1 p+2
2p+1 123
p p+1
p+2
2p+1
address of p+ 1 in T : 1p0p
address of p+ 1 in T ′: 0p1p
at least 3p− 2 steps. �
![Page 182: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/182.jpg)
The covering relation of a tree
• Number the leaves again.
• Definition: For a, b leaves of T ,T
a b
declare a ///T b true↑
a is covered by b in T
if, for some α,β,k,
T
α
β 1k
a transitive relation attached with T .
Lemma: Assume that Aα maps T to T ′. Thena ///T ′ b iff a ///T b or ( a ∈ Tα0 and b = last(Tα10) ).
T T ′Aα
α α
a ab b6///T ///T ′
Applying associativity = adding covering.
![Page 183: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/183.jpg)
The covering relation of a tree
• Number the leaves again.
• Definition: For a, b leaves of T ,T
a b
declare a ///T b true↑
a is covered by b in T
if, for some α,β,k,
T
α
β 1k
a transitive relation attached with T .
Lemma: Assume that Aα maps T to T ′. Thena ///T ′ b iff a ///T b or ( a ∈ Tα0 and b = last(Tα10) ).
T T ′Aα
α α
a ab b6///T ///T ′
Applying associativity = adding covering.
![Page 184: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/184.jpg)
The covering relation of a tree
• Number the leaves again.
• Definition: For a, b leaves of T ,T
a b
declare a ///T b true↑
a is covered by b in T
if, for some α,β,k,
T
α
β 1k
a transitive relation attached with T .
Lemma: Assume that Aα maps T to T ′. Thena ///T ′ b iff a ///T b or ( a ∈ Tα0 and b = last(Tα10) ).
T T ′Aα
α α
a ab b6///T ///T ′
Applying associativity = adding covering.
![Page 185: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/185.jpg)
The covering relation of a tree
• Number the leaves again.
• Definition: For a, b leaves of T ,T
a b
declare a ///T b true↑
a is covered by b in T
if, for some α,β,k,
T
α
β 1k
a transitive relation attached with T .
Lemma: Assume that Aα maps T to T ′. Thena ///T ′ b iff a ///T b or ( a ∈ Tα0 and b = last(Tα10) ).
T T ′Aα
α α
a ab b6///T ///T ′
Applying associativity = adding covering.
![Page 186: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/186.jpg)
The covering relation of a tree
• Number the leaves again.
• Definition: For a, b leaves of T ,T
a b
declare a ///T b true↑
a is covered by b in T
if, for some α,β,k,
T
α
β 1k
a transitive relation attached with T .
Lemma: Assume that Aα maps T to T ′. Thena ///T ′ b iff a ///T b or ( a ∈ Tα0 and b = last(Tα10) ).
T T ′Aα
α α
a ab b6///T ///T ′
Applying associativity = adding covering.
![Page 187: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/187.jpg)
The covering relation of a tree
• Number the leaves again.
• Definition: For a, b leaves of T ,T
a b
declare a ///T b true↑
a is covered by b in T
if, for some α,β,k,
T
α
β 1k
a transitive relation attached with T .
Lemma: Assume that Aα maps T to T ′. Thena ///T ′ b iff a ///T b or ( a ∈ Tα0 and b = last(Tα10) ).
T T ′Aα
α α
a ab b6///T ///T ′
Applying associativity = adding covering.
![Page 188: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/188.jpg)
The covering relation of a tree
• Number the leaves again.
• Definition: For a, b leaves of T ,T
a b
declare a ///T b true↑
a is covered by b in T
if, for some α,β,k,
T
α
β 1k
a transitive relation attached with T .
Lemma: Assume that Aα maps T to T ′. Thena ///T ′ b iff a ///T b
or ( a ∈ Tα0 and b = last(Tα10) ).
T T ′Aα
α α
a ab b6///T ///T ′
Applying associativity = adding covering.
![Page 189: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/189.jpg)
The covering relation of a tree
• Number the leaves again.
• Definition: For a, b leaves of T ,T
a b
declare a ///T b true↑
a is covered by b in T
if, for some α,β,k,
T
α
β 1k
a transitive relation attached with T .
Lemma: Assume that Aα maps T to T ′. Thena ///T ′ b iff a ///T b or ( a ∈ Tα0 and b = last(Tα10) ).
T T ′Aα
α α
a ab b6///T ///T ′
Applying associativity = adding covering.
![Page 190: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/190.jpg)
The covering relation of a tree
• Number the leaves again.
• Definition: For a, b leaves of T ,T
a b
declare a ///T b true↑
a is covered by b in T
if, for some α,β,k,
T
α
β 1k
a transitive relation attached with T .
Lemma: Assume that Aα maps T to T ′. Thena ///T ′ b iff a ///T b or ( a ∈ Tα0 and b = last(Tα10) ).
T T ′Aα
α α
a ab b
6///T ///T ′
Applying associativity = adding covering.
![Page 191: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/191.jpg)
The covering relation of a tree
• Number the leaves again.
• Definition: For a, b leaves of T ,T
a b
declare a ///T b true↑
a is covered by b in T
if, for some α,β,k,
T
α
β 1k
a transitive relation attached with T .
Lemma: Assume that Aα maps T to T ′. Thena ///T ′ b iff a ///T b or ( a ∈ Tα0 and b = last(Tα10) ).
T T ′Aα
α α
a ab b6///T
///T ′
Applying associativity = adding covering.
![Page 192: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/192.jpg)
The covering relation of a tree
• Number the leaves again.
• Definition: For a, b leaves of T ,T
a b
declare a ///T b true↑
a is covered by b in T
if, for some α,β,k,
T
α
β 1k
a transitive relation attached with T .
Lemma: Assume that Aα maps T to T ′. Thena ///T ′ b iff a ///T b or ( a ∈ Tα0 and b = last(Tα10) ).
T T ′Aα
α α
a ab b6///T ///T ′
Applying associativity = adding covering.
![Page 193: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/193.jpg)
The covering relation of a tree
• Number the leaves again.
• Definition: For a, b leaves of T ,T
a b
declare a ///T b true↑
a is covered by b in T
if, for some α,β,k,
T
α
β 1k
a transitive relation attached with T .
Lemma: Assume that Aα maps T to T ′. Thena ///T ′ b iff a ///T b or ( a ∈ Tα0 and b = last(Tα10) ).
T T ′Aα
α α
a ab b6///T ///T ′
Applying associativity = adding covering.
![Page 194: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/194.jpg)
Using covering
Principle 1: Assume a 6///T b and a ///T ′ b.Then any A±1
α -sequence from T to T ′ contains at least one b-step.
↑s.t. b is the last leaf of the current α10-subtree
• Attaching one step with a leaf cannot give more than n.
Principle 2: Assume a 6///T b, a ///T ′ b, with a 6///T ′ b−1, b−1 ///T ′ b.Then anyA±1
α -sequence from T to T ′ contains at least two (b)-steps.
• Proof: Consider the first step where b−1 /// b holds, a b-step.- Case 1: After this step, we still have a 6/// b:
then a second b-step will occur subsequently.- Case 2: After this step, we have a /// b, which requires a /// b−1;
then a negative b−1-step will occur subsequently. �
![Page 195: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/195.jpg)
Using covering
Principle 1: Assume a 6///T b and a ///T ′ b.Then any A±1
α -sequence from T to T ′ contains at least one b-step.
↑s.t. b is the last leaf of the current α10-subtree
• Attaching one step with a leaf cannot give more than n.
Principle 2: Assume a 6///T b, a ///T ′ b, with a 6///T ′ b−1, b−1 ///T ′ b.Then anyA±1
α -sequence from T to T ′ contains at least two (b)-steps.
• Proof: Consider the first step where b−1 /// b holds, a b-step.- Case 1: After this step, we still have a 6/// b:
then a second b-step will occur subsequently.- Case 2: After this step, we have a /// b, which requires a /// b−1;
then a negative b−1-step will occur subsequently. �
![Page 196: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/196.jpg)
Using covering
Principle 1: Assume a 6///T b and a ///T ′ b.Then any A±1
α -sequence from T to T ′ contains at least one b-step.
↑s.t. b is the last leaf of the current α10-subtree
• Attaching one step with a leaf cannot give more than n.
Principle 2: Assume a 6///T b, a ///T ′ b, with a 6///T ′ b−1, b−1 ///T ′ b.Then anyA±1
α -sequence from T to T ′ contains at least two (b)-steps.
• Proof: Consider the first step where b−1 /// b holds, a b-step.- Case 1: After this step, we still have a 6/// b:
then a second b-step will occur subsequently.- Case 2: After this step, we have a /// b, which requires a /// b−1;
then a negative b−1-step will occur subsequently. �
![Page 197: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/197.jpg)
Using covering
Principle 1: Assume a 6///T b and a ///T ′ b.Then any A±1
α -sequence from T to T ′ contains at least one b-step.
↑s.t. b is the last leaf of the current α10-subtree
• Attaching one step with a leaf cannot give more than n.
Principle 2: Assume a 6///T b, a ///T ′ b, with a 6///T ′ b−1, b−1 ///T ′ b.Then anyA±1
α -sequence from T to T ′ contains at least two (b)-steps.
• Proof: Consider the first step where b−1 /// b holds, a b-step.- Case 1: After this step, we still have a 6/// b:
then a second b-step will occur subsequently.- Case 2: After this step, we have a /// b, which requires a /// b−1;
then a negative b−1-step will occur subsequently. �
![Page 198: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/198.jpg)
Using covering
Principle 1: Assume a 6///T b and a ///T ′ b.Then any A±1
α -sequence from T to T ′ contains at least one b-step.
↑s.t. b is the last leaf of the current α10-subtree
• Attaching one step with a leaf cannot give more than n.
Principle 2: Assume a 6///T b, a ///T ′ b, with a 6///T ′ b−1, b−1 ///T ′ b.Then anyA±1
α -sequence from T to T ′ contains at least two (b)-steps.
• Proof: Consider the first step where b−1 /// b holds, a b-step.
- Case 1: After this step, we still have a 6/// b:then a second b-step will occur subsequently.
- Case 2: After this step, we have a /// b, which requires a /// b−1;then a negative b−1-step will occur subsequently. �
![Page 199: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/199.jpg)
Using covering
Principle 1: Assume a 6///T b and a ///T ′ b.Then any A±1
α -sequence from T to T ′ contains at least one b-step.
↑s.t. b is the last leaf of the current α10-subtree
• Attaching one step with a leaf cannot give more than n.
Principle 2: Assume a 6///T b, a ///T ′ b, with a 6///T ′ b−1, b−1 ///T ′ b.Then anyA±1
α -sequence from T to T ′ contains at least two (b)-steps.
• Proof: Consider the first step where b−1 /// b holds, a b-step.- Case 1: After this step, we still have a 6/// b:
then a second b-step will occur subsequently.- Case 2: After this step, we have a /// b, which requires a /// b−1;
then a negative b−1-step will occur subsequently. �
![Page 200: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/200.jpg)
Using covering
Principle 1: Assume a 6///T b and a ///T ′ b.Then any A±1
α -sequence from T to T ′ contains at least one b-step.
↑s.t. b is the last leaf of the current α10-subtree
• Attaching one step with a leaf cannot give more than n.
Principle 2: Assume a 6///T b, a ///T ′ b, with a 6///T ′ b−1, b−1 ///T ′ b.Then anyA±1
α -sequence from T to T ′ contains at least two (b)-steps.
• Proof: Consider the first step where b−1 /// b holds, a b-step.- Case 1: After this step, we still have a 6/// b:
then a second b-step will occur subsequently.
- Case 2: After this step, we have a /// b, which requires a /// b−1;then a negative b−1-step will occur subsequently. �
![Page 201: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/201.jpg)
Using covering
Principle 1: Assume a 6///T b and a ///T ′ b.Then any A±1
α -sequence from T to T ′ contains at least one b-step.
↑s.t. b is the last leaf of the current α10-subtree
• Attaching one step with a leaf cannot give more than n.
Principle 2: Assume a 6///T b, a ///T ′ b, with a 6///T ′ b−1, b−1 ///T ′ b.Then anyA±1
α -sequence from T to T ′ contains at least two (b)-steps.
• Proof: Consider the first step where b−1 /// b holds, a b-step.- Case 1: After this step, we still have a 6/// b:
then a second b-step will occur subsequently.- Case 2: After this step, we have a /// b, which requires a /// b−1;
then a negative b−1-step will occur subsequently. �
![Page 202: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/202.jpg)
Using covering
Principle 1: Assume a 6///T b and a ///T ′ b.Then any A±1
α -sequence from T to T ′ contains at least one b-step.
↑s.t. b is the last leaf of the current α10-subtree
• Attaching one step with a leaf cannot give more than n.
Principle 2: Assume a 6///T b, a ///T ′ b, with a 6///T ′ b−1, b−1 ///T ′ b.Then anyA±1
α -sequence from T to T ′ contains at least two (b)-steps.
• Proof: Consider the first step where b−1 /// b holds, a b-step.- Case 1: After this step, we still have a 6/// b:
then a second b-step will occur subsequently.- Case 2: After this step, we have a /// b, which requires a /// b−1;
then a negative b−1-step will occur subsequently. �
![Page 203: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/203.jpg)
Current results
Fact 3: For each n, one has dn > 53n− 3.
Fact 4: For each n, one has dn > 74n− 4.
• Conjecture: Such methods lead to dn = 2n− 6 for n > 10.
![Page 204: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/204.jpg)
Current results
Fact 3: For each n, one has dn > 53n− 3.
Fact 4: For each n, one has dn > 74n− 4.
• Conjecture: Such methods lead to dn = 2n− 6 for n > 10.
![Page 205: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/205.jpg)
Current results
Fact 3: For each n, one has dn > 53n− 3.
Fact 4: For each n, one has dn > 74n− 4.
• Conjecture: Such methods lead to dn = 2n− 6 for n > 10.
![Page 206: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/206.jpg)
Current results
Fact 3: For each n, one has dn > 53n− 3.
Fact 4: For each n, one has dn > 74n− 4.
• Conjecture: Such methods lead to dn = 2n− 6 for n > 10.
![Page 207: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/207.jpg)
Current results
Fact 3: For each n, one has dn > 53n− 3.
Fact 4: For each n, one has dn > 74n− 4.
• Conjecture: Such methods lead to dn = 2n− 6 for n > 10.
![Page 208: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/208.jpg)
References
• R. McKenzie & R.J. Thompson, An elementary construction of unsolvable wordproblems in group theory; in Word Problems, Boone & al. eds.,
Studies in Logic vol. 71, North Holland (1973)
• B. Fordham, Minimal length elements of Thompson’s group FGeom. Dedicata 99 (2003) 179–220
• D. Sleator, R. Tarjan, W. Thurston, Rotation distance, triangulations, andhyperbolic geometry J. Amer. Math. Soc. 1 (1988) 647–681
• P. Dehornoy, The structure group for the associativity identity,J. Pure Appl. Algebra 111 (1996) 59–82
• P. Dehornoy, Geometric presentations of Thompson’s groups,J. Pure Appl. Algebra 203 (2005) 1–44
• P. Dehornoy, Braids and Self-Distributivity,Progress in Math. vol. 192, Birkhauser, (2000)
• D. Krammer, A class of Garside groupoid structures on the pure braid group,Trans. Amer. Math. Soc. 360 (2008), 4029-4061
![Page 209: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/209.jpg)
References
• R. McKenzie & R.J. Thompson, An elementary construction of unsolvable wordproblems in group theory; in Word Problems, Boone & al. eds.,
Studies in Logic vol. 71, North Holland (1973)
• B. Fordham, Minimal length elements of Thompson’s group FGeom. Dedicata 99 (2003) 179–220
• D. Sleator, R. Tarjan, W. Thurston, Rotation distance, triangulations, andhyperbolic geometry J. Amer. Math. Soc. 1 (1988) 647–681
• P. Dehornoy, The structure group for the associativity identity,J. Pure Appl. Algebra 111 (1996) 59–82
• P. Dehornoy, Geometric presentations of Thompson’s groups,J. Pure Appl. Algebra 203 (2005) 1–44
• P. Dehornoy, Braids and Self-Distributivity,Progress in Math. vol. 192, Birkhauser, (2000)
• D. Krammer, A class of Garside groupoid structures on the pure braid group,Trans. Amer. Math. Soc. 360 (2008), 4029-4061
![Page 210: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/210.jpg)
References
• R. McKenzie & R.J. Thompson, An elementary construction of unsolvable wordproblems in group theory; in Word Problems, Boone & al. eds.,
Studies in Logic vol. 71, North Holland (1973)
• B. Fordham, Minimal length elements of Thompson’s group FGeom. Dedicata 99 (2003) 179–220
• D. Sleator, R. Tarjan, W. Thurston, Rotation distance, triangulations, andhyperbolic geometry J. Amer. Math. Soc. 1 (1988) 647–681
• P. Dehornoy, The structure group for the associativity identity,J. Pure Appl. Algebra 111 (1996) 59–82
• P. Dehornoy, Geometric presentations of Thompson’s groups,J. Pure Appl. Algebra 203 (2005) 1–44
• P. Dehornoy, Braids and Self-Distributivity,Progress in Math. vol. 192, Birkhauser, (2000)
• D. Krammer, A class of Garside groupoid structures on the pure braid group,Trans. Amer. Math. Soc. 360 (2008), 4029-4061
![Page 211: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/211.jpg)
References
• R. McKenzie & R.J. Thompson, An elementary construction of unsolvable wordproblems in group theory; in Word Problems, Boone & al. eds.,
Studies in Logic vol. 71, North Holland (1973)
• B. Fordham, Minimal length elements of Thompson’s group FGeom. Dedicata 99 (2003) 179–220
• D. Sleator, R. Tarjan, W. Thurston, Rotation distance, triangulations, andhyperbolic geometry J. Amer. Math. Soc. 1 (1988) 647–681
• P. Dehornoy, The structure group for the associativity identity,J. Pure Appl. Algebra 111 (1996) 59–82
• P. Dehornoy, Geometric presentations of Thompson’s groups,J. Pure Appl. Algebra 203 (2005) 1–44
• P. Dehornoy, Braids and Self-Distributivity,Progress in Math. vol. 192, Birkhauser, (2000)
• D. Krammer, A class of Garside groupoid structures on the pure braid group,Trans. Amer. Math. Soc. 360 (2008), 4029-4061
![Page 212: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/212.jpg)
References
• R. McKenzie & R.J. Thompson, An elementary construction of unsolvable wordproblems in group theory; in Word Problems, Boone & al. eds.,
Studies in Logic vol. 71, North Holland (1973)
• B. Fordham, Minimal length elements of Thompson’s group FGeom. Dedicata 99 (2003) 179–220
• D. Sleator, R. Tarjan, W. Thurston, Rotation distance, triangulations, andhyperbolic geometry J. Amer. Math. Soc. 1 (1988) 647–681
• P. Dehornoy, The structure group for the associativity identity,J. Pure Appl. Algebra 111 (1996) 59–82
• P. Dehornoy, Geometric presentations of Thompson’s groups,J. Pure Appl. Algebra 203 (2005) 1–44
• P. Dehornoy, Braids and Self-Distributivity,Progress in Math. vol. 192, Birkhauser, (2000)
• D. Krammer, A class of Garside groupoid structures on the pure braid group,Trans. Amer. Math. Soc. 360 (2008), 4029-4061
![Page 213: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/213.jpg)
References
• R. McKenzie & R.J. Thompson, An elementary construction of unsolvable wordproblems in group theory; in Word Problems, Boone & al. eds.,
Studies in Logic vol. 71, North Holland (1973)
• B. Fordham, Minimal length elements of Thompson’s group FGeom. Dedicata 99 (2003) 179–220
• D. Sleator, R. Tarjan, W. Thurston, Rotation distance, triangulations, andhyperbolic geometry J. Amer. Math. Soc. 1 (1988) 647–681
• P. Dehornoy, The structure group for the associativity identity,J. Pure Appl. Algebra 111 (1996) 59–82
• P. Dehornoy, Geometric presentations of Thompson’s groups,J. Pure Appl. Algebra 203 (2005) 1–44
• P. Dehornoy, Braids and Self-Distributivity,Progress in Math. vol. 192, Birkhauser, (2000)
• D. Krammer, A class of Garside groupoid structures on the pure braid group,Trans. Amer. Math. Soc. 360 (2008), 4029-4061
![Page 214: Nicolas Oresme, Universit e de Caen - Patrick …Nicolas Oresme, Universit e de Caen Main theme: Algebraic and combinatorial properties of F DualpresentationofThompson’sgroupF and](https://reader030.vdocuments.net/reader030/viewer/2022040821/5e6accecf5364368ff5db019/html5/thumbnails/214.jpg)
References
• R. McKenzie & R.J. Thompson, An elementary construction of unsolvable wordproblems in group theory; in Word Problems, Boone & al. eds.,
Studies in Logic vol. 71, North Holland (1973)
• B. Fordham, Minimal length elements of Thompson’s group FGeom. Dedicata 99 (2003) 179–220
• D. Sleator, R. Tarjan, W. Thurston, Rotation distance, triangulations, andhyperbolic geometry J. Amer. Math. Soc. 1 (1988) 647–681
• P. Dehornoy, The structure group for the associativity identity,J. Pure Appl. Algebra 111 (1996) 59–82
• P. Dehornoy, Geometric presentations of Thompson’s groups,J. Pure Appl. Algebra 203 (2005) 1–44
• P. Dehornoy, Braids and Self-Distributivity,Progress in Math. vol. 192, Birkhauser, (2000)
• D. Krammer, A class of Garside groupoid structures on the pure braid group,Trans. Amer. Math. Soc. 360 (2008), 4029-4061