The automorphism group of Thompson's group \(F\): subgroups and metric properties. (Q373500): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / review text | |||
In this paper the authors study some natural subgroups of the automorphism group of Thompson's group \(F\), focusing particularly on their metric properties. Thompson's group \(F\) is a much-studied infinite group with a number of interesting properties. It can be defined in several ways, the most common being as a particular group of homeomorphisms of the unit interval. A standard technique when working with the group \(F\) is to represent each element of \(F\) by a pair of finite binary trees with the same number of leaves [see, for instance \textit{J. W. Cannon, W. J. Floyd} and \textit{W. R. Parry}, Enseign. Math., II. Sér. 42, No. 3-4, 215-256 (1996; Zbl 0880.20027)]. In this paper the authors show that a similar technique can be applied to \(\Aut^+(F)\), the set of orientation-preserving automorphisms of \(F\); in particular each element of \(\Aut^+(F)\) can be represented as a pair of marked infinite binary trees that are eventually periodic. The authors use this representation to prove their main result. To state this result we start with a result of \textit{M. G. Brin} [Publ. Math., Inst. Hautes Étud. Sci. 84, 5-33 (1996; Zbl 0891.57037)], which asserts that there is a short exact sequence \(1\to F\to\Aut^+(F)\to T\times T\to 1\), where \(T\) is Thompson's group \(T\). The group \(T\) contains subgroups isomorphic to \(F\) and, by taking a `diagonal' subgroup isomorphic to \(F\) in \(T\times T\), one can use the given short exact sequence to construct a particular semi-direct product \(C:=F_x\rtimes F_w\) as a subgroup of \(\Aut^+(F)\). (Here both groups \(F_x\) and \(F_w\) are isomorphic to Thompson's group \(F\).) The groups \(F_x\) and \(F_w\) are naturally provided with a set of generators, \(F_x=\langle x_0,x_1\rangle\) and \(F_w=\langle w_0,w_1\rangle\), and so the same is true of \(C=\langle x_0,x_1,w_0,w_1\rangle\). This allows the authors to study the distortion of \(F_x\) and \(F_w\) in \(C\). (Given two finitely generated groups \(H<G\), the `distortion function' is defined to be \[ \delta(n)=\max\{|x|_H:x\in H\text{ and }|x|_G\leq n\}, \] where the value of \(|\cdot|\) is given by the respective word metric. The order of growth of the distortion function is independent of the choice of generating sets for \(H\) and \(G\).) Now the main theorem of the paper asserts that \(F_x\) is quadratically distorted in \(C\), whereas \(F_w\) is undistorted. The presence of a quadratically distorted subgroup in \(C\) isomorphic to \(F\) is of particular interest, as it represents different behaviour from the embeddings of \(F\) studied to this point. | |||
Property / review text: In this paper the authors study some natural subgroups of the automorphism group of Thompson's group \(F\), focusing particularly on their metric properties. Thompson's group \(F\) is a much-studied infinite group with a number of interesting properties. It can be defined in several ways, the most common being as a particular group of homeomorphisms of the unit interval. A standard technique when working with the group \(F\) is to represent each element of \(F\) by a pair of finite binary trees with the same number of leaves [see, for instance \textit{J. W. Cannon, W. J. Floyd} and \textit{W. R. Parry}, Enseign. Math., II. Sér. 42, No. 3-4, 215-256 (1996; Zbl 0880.20027)]. In this paper the authors show that a similar technique can be applied to \(\Aut^+(F)\), the set of orientation-preserving automorphisms of \(F\); in particular each element of \(\Aut^+(F)\) can be represented as a pair of marked infinite binary trees that are eventually periodic. The authors use this representation to prove their main result. To state this result we start with a result of \textit{M. G. Brin} [Publ. Math., Inst. Hautes Étud. Sci. 84, 5-33 (1996; Zbl 0891.57037)], which asserts that there is a short exact sequence \(1\to F\to\Aut^+(F)\to T\times T\to 1\), where \(T\) is Thompson's group \(T\). The group \(T\) contains subgroups isomorphic to \(F\) and, by taking a `diagonal' subgroup isomorphic to \(F\) in \(T\times T\), one can use the given short exact sequence to construct a particular semi-direct product \(C:=F_x\rtimes F_w\) as a subgroup of \(\Aut^+(F)\). (Here both groups \(F_x\) and \(F_w\) are isomorphic to Thompson's group \(F\).) The groups \(F_x\) and \(F_w\) are naturally provided with a set of generators, \(F_x=\langle x_0,x_1\rangle\) and \(F_w=\langle w_0,w_1\rangle\), and so the same is true of \(C=\langle x_0,x_1,w_0,w_1\rangle\). This allows the authors to study the distortion of \(F_x\) and \(F_w\) in \(C\). (Given two finitely generated groups \(H<G\), the `distortion function' is defined to be \[ \delta(n)=\max\{|x|_H:x\in H\text{ and }|x|_G\leq n\}, \] where the value of \(|\cdot|\) is given by the respective word metric. The order of growth of the distortion function is independent of the choice of generating sets for \(H\) and \(G\).) Now the main theorem of the paper asserts that \(F_x\) is quadratically distorted in \(C\), whereas \(F_w\) is undistorted. The presence of a quadratically distorted subgroup in \(C\) isomorphic to \(F\) is of particular interest, as it represents different behaviour from the embeddings of \(F\) studied to this point. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Nick Gill / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20F65 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20F28 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20E07 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20F05 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6216020 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Thompson group \(F\) | |||
Property / zbMATH Keywords: Thompson group \(F\) / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
automorphism groups | |||
Property / zbMATH Keywords: automorphism groups / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
subgroup distortion | |||
Property / zbMATH Keywords: subgroup distortion / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
tree pair diagrams | |||
Property / zbMATH Keywords: tree pair diagrams / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
orientation-preserving automorphisms | |||
Property / zbMATH Keywords: orientation-preserving automorphisms / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1107.4336 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Chameleon groups of Richard J. Thompson: Automorphisms and dynamics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Automorphisms of generalized Thompson groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quasi-isometrically embedded subgroups of Thompson's group \(F\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Metric properties of higher-dimensional Thompson's groups. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Commensurations and subgroups of finite index of Thompson's group \(F\). / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Metrics and embeddings of generalizations of Thompson’s group $F$ / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Combinatorial and metric properties of Thompson’s group 𝑇 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Introductory notes on Richard Thompson's groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Distortion of wreath products in some finitely presented groups. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Combinatorial properties of Thompson’s group 𝐹 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Minimal length elements of Thompson's group \(F\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On subgroups of R. Thompson's group $ F$ and other diagram groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Thompson's group is distorted in the Thompson-Stein groups. / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 23:39, 6 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The automorphism group of Thompson's group \(F\): subgroups and metric properties. |
scientific article |
Statements
The automorphism group of Thompson's group \(F\): subgroups and metric properties. (English)
0 references
17 October 2013
0 references
In this paper the authors study some natural subgroups of the automorphism group of Thompson's group \(F\), focusing particularly on their metric properties. Thompson's group \(F\) is a much-studied infinite group with a number of interesting properties. It can be defined in several ways, the most common being as a particular group of homeomorphisms of the unit interval. A standard technique when working with the group \(F\) is to represent each element of \(F\) by a pair of finite binary trees with the same number of leaves [see, for instance \textit{J. W. Cannon, W. J. Floyd} and \textit{W. R. Parry}, Enseign. Math., II. Sér. 42, No. 3-4, 215-256 (1996; Zbl 0880.20027)]. In this paper the authors show that a similar technique can be applied to \(\Aut^+(F)\), the set of orientation-preserving automorphisms of \(F\); in particular each element of \(\Aut^+(F)\) can be represented as a pair of marked infinite binary trees that are eventually periodic. The authors use this representation to prove their main result. To state this result we start with a result of \textit{M. G. Brin} [Publ. Math., Inst. Hautes Étud. Sci. 84, 5-33 (1996; Zbl 0891.57037)], which asserts that there is a short exact sequence \(1\to F\to\Aut^+(F)\to T\times T\to 1\), where \(T\) is Thompson's group \(T\). The group \(T\) contains subgroups isomorphic to \(F\) and, by taking a `diagonal' subgroup isomorphic to \(F\) in \(T\times T\), one can use the given short exact sequence to construct a particular semi-direct product \(C:=F_x\rtimes F_w\) as a subgroup of \(\Aut^+(F)\). (Here both groups \(F_x\) and \(F_w\) are isomorphic to Thompson's group \(F\).) The groups \(F_x\) and \(F_w\) are naturally provided with a set of generators, \(F_x=\langle x_0,x_1\rangle\) and \(F_w=\langle w_0,w_1\rangle\), and so the same is true of \(C=\langle x_0,x_1,w_0,w_1\rangle\). This allows the authors to study the distortion of \(F_x\) and \(F_w\) in \(C\). (Given two finitely generated groups \(H<G\), the `distortion function' is defined to be \[ \delta(n)=\max\{|x|_H:x\in H\text{ and }|x|_G\leq n\}, \] where the value of \(|\cdot|\) is given by the respective word metric. The order of growth of the distortion function is independent of the choice of generating sets for \(H\) and \(G\).) Now the main theorem of the paper asserts that \(F_x\) is quadratically distorted in \(C\), whereas \(F_w\) is undistorted. The presence of a quadratically distorted subgroup in \(C\) isomorphic to \(F\) is of particular interest, as it represents different behaviour from the embeddings of \(F\) studied to this point.
0 references
Thompson group \(F\)
0 references
automorphism groups
0 references
subgroup distortion
0 references
tree pair diagrams
0 references
orientation-preserving automorphisms
0 references