Showing 1–34 of 34 results for author: Matucci, F

Finite Germ Extensions

Authors: James Belk, James Hyde, Francesco Matucci

Abstract: We prove finiteness properties for groups of homeomorphisms that have finitely many "singular points", and we describe the normal structure of such groups. As an application, we prove that every countable abelian group can be embedded into a finitely presented simple group, verifying the Boone-Higman conjecture for countable abelian groups. Indeed, we describe a specific 2-generated,… ▽ More We prove finiteness properties for groups of homeomorphisms that have finitely many "singular points", and we describe the normal structure of such groups. As an application, we prove that every countable abelian group can be embedded into a finitely presented simple group, verifying the Boone-Higman conjecture for countable abelian groups. Indeed, we describe a specific 2-generated, $\mathrm{F}_\infty$ simple group $V\mathcal{A}$ of homeomorphisms of the Cantor set that contains every countable abelian group. As a second application, we prove that if $G$ is a bounded automata group then the associated Röver-Nekrashevych groups $V_{d,r}G$ have type $\mathrm{F}_\infty$, verifying a conjecture of Nekrashevych for a large class of contracting self-similar groups. Among others, this result applies to Röver-Nekrashevych groups associated to Gupta-Sidki groups and the basilica group. △ Less

Submitted 3 July, 2024; originally announced July 2024.

Comments: 34 pages, no figures

MSC Class: 20F65; 20J05; 20E32; 20F10

Boone--Higman Embeddings for Contracting Self-Similar Groups

Authors: James Belk, Francesco Matucci

Abstract: We give a short proof that every contracting self-similar group embeds into a finitely presented simple group. In particular, any contracting self-similar group embeds into the corresponding Röver--Nekrashevych group, and this in turn embeds into one of the twisted Brin--Thompson groups introduced by the first author and Matthew Zaremsky. The proof here is a simplification of a more general argume… ▽ More We give a short proof that every contracting self-similar group embeds into a finitely presented simple group. In particular, any contracting self-similar group embeds into the corresponding Röver--Nekrashevych group, and this in turn embeds into one of the twisted Brin--Thompson groups introduced by the first author and Matthew Zaremsky. The proof here is a simplification of a more general argument given by the authors, Collin Bleak, and Matthew Zaremsky for contracting rational similarity groups. △ Less

Submitted 16 May, 2024; originally announced May 2024.

Comments: 6 page, no figures

MSC Class: 20F65; 20E32; 20F10

Hyperbolic groups satisfy the Boone-Higman conjecture

Authors: James Belk, Collin Bleak, Francesco Matucci, Matthew C. B. Zaremsky

Abstract: The 1973 Boone-Higman conjecture predicts that every finitely generated group with solvable word problem embeds in a finitely presented simple group. In this paper, we show that hyperbolic groups satisfy this conjecture, that is, each hyperbolic group embeds in some finitely presented simple group. This shows that the conjecture holds in the "generic" case for finitely presented groups. Our key to… ▽ More The 1973 Boone-Higman conjecture predicts that every finitely generated group with solvable word problem embeds in a finitely presented simple group. In this paper, we show that hyperbolic groups satisfy this conjecture, that is, each hyperbolic group embeds in some finitely presented simple group. This shows that the conjecture holds in the "generic" case for finitely presented groups. Our key tool is a new family of groups, which we call "rational similarity groups (RSGs)", that is interesting in its own right. We prove that every hyperbolic group embeds in a full, contracting RSG, and every full, contracting RSG embeds in a finitely presented simple group, thus establishing the result. Another consequence of our work is that all contracting self-similar groups satisfy the Boone-Higman conjecture. △ Less

Submitted 30 September, 2023; v1 submitted 12 September, 2023; originally announced September 2023.

Comments: V1: Comments welcome. V2: Submitted version. 69 pages

MSC Class: 20F65; 20F67; 20E32; 20F10

Progress around the Boone-Higman Conjecture

Authors: James Belk, Collin Bleak, Francesco Matucci, Matthew C. B. Zaremsky

Abstract: A conjecture of Boone and Higman from the 1970's asserts that a finitely generated group $G$ has solvable word problem if and only if $G$ can be embedded into a finitely presented simple group. We comment on the history of this conjecture and survey recent results that establish the conjecture for many large classes of interesting groups. A conjecture of Boone and Higman from the 1970's asserts that a finitely generated group $G$ has solvable word problem if and only if $G$ can be embedded into a finitely presented simple group. We comment on the history of this conjecture and survey recent results that establish the conjecture for many large classes of interesting groups. △ Less

Submitted 15 July, 2023; v1 submitted 28 June, 2023; originally announced June 2023.

Comments: v2: minor changes, submitted version. 22 pages

MSC Class: 20F10; 20F65; 20F67; 20E32; 01A65; 20-03

On some questions related to integrable groups

Authors: Russell Blyth, Francesco Fumagalli, Francesco Matucci

Abstract: A group $G$ is integrable if it is isomorphic to the derived subgroup of a group $H$; that is, if $H'\simeq G$, and in this case $H$ is an integral of $G$. If $G$ is a subgroup of $U$, we say that $G$ is integrable within $U$ if $G=H'$ for some $H\leq U$. In this work we focus on two problems posed in [1]. We classify the almost-simple finite groups $G$ that are integrable, which we show to be equ… ▽ More A group $G$ is integrable if it is isomorphic to the derived subgroup of a group $H$; that is, if $H'\simeq G$, and in this case $H$ is an integral of $G$. If $G$ is a subgroup of $U$, we say that $G$ is integrable within $U$ if $G=H'$ for some $H\leq U$. In this work we focus on two problems posed in [1]. We classify the almost-simple finite groups $G$ that are integrable, which we show to be equivalent to those integrable within $\mathrm{Aut}(S)$, where $S$ is the socle of $G$. We then classify all $2$-homogeneous subgroups of the finite symmetric group $S_n$ that are integrable within $S_n$. △ Less

Submitted 7 July, 2022; originally announced July 2022.

Comments: 12 pages, no figures

MSC Class: 20D99; 20F14; 20D06; 20E28; 20G40; 20G41

A short proof of Rubin's theorem

Authors: James Belk, Luke Elliott, Francesco Matucci

Abstract: In a remarkable theorem, M. Rubin proved that if a group $G$ acts in a locally dense way on a locally compact Hausdorff space $X$ without isolated points, then the space $X$ and the action of $G$ on $X$ are unique up to $G$-equivariant homeomorphism. Here we give a short, self-contained proof of Rubin's theorem, using equivalence classes of ultrafilters on a poset to reconstruct the points of the… ▽ More In a remarkable theorem, M. Rubin proved that if a group $G$ acts in a locally dense way on a locally compact Hausdorff space $X$ without isolated points, then the space $X$ and the action of $G$ on $X$ are unique up to $G$-equivariant homeomorphism. Here we give a short, self-contained proof of Rubin's theorem, using equivalence classes of ultrafilters on a poset to reconstruct the points of the space $X$. △ Less

Submitted 22 February, 2023; v1 submitted 11 March, 2022; originally announced March 2022.

Comments: 10 pages, includes an appendix on algebraic disjointness omitted from the published version

MSC Class: 57M07 (Primary) 54D80; 20F38 (Secondary)

Stabilizers in Higman-Thompson groups

Authors: James Belk, James Hyde, Francesco Matucci

Abstract: We investigate stabilizers of finite sets of rational points in Cantor space for the Higman-Thompson groups $V_{n,r}$. We prove that the pointwise stabilizer is an iterated ascending HNN extension of $V_{n,q}$ for any $q\geq 1$. We also prove that the commutator subgroup of the pointwise stabilizer is simple, and we compute the abelianization. Finally, for each $n$ we classify such pointwise stabi… ▽ More We investigate stabilizers of finite sets of rational points in Cantor space for the Higman-Thompson groups $V_{n,r}$. We prove that the pointwise stabilizer is an iterated ascending HNN extension of $V_{n,q}$ for any $q\geq 1$. We also prove that the commutator subgroup of the pointwise stabilizer is simple, and we compute the abelianization. Finally, for each $n$ we classify such pointwise stabilizers up to isomorphism. △ Less

Submitted 13 April, 2021; v1 submitted 12 April, 2021; originally announced April 2021.

Comments: 8 pages, no figures

MSC Class: 20F65; 20E06; 20F05

Conjugator length in Thompson's groups

Authors: James Belk, Francesco Matucci

Abstract: We prove Thompson's group $F$ has quadratic conjugator length function. That is, for any two conjugate elements of $F$ of length $n$ or less, there exists an element of $F$ of length $O(n^2)$ that conjugates one to the other. Moreover, there exist conjugate pairs of elements of $F$ of length at most $n$ such that the shortest conjugator between them has length $Ω(n^2)$. This latter statement holds… ▽ More We prove Thompson's group $F$ has quadratic conjugator length function. That is, for any two conjugate elements of $F$ of length $n$ or less, there exists an element of $F$ of length $O(n^2)$ that conjugates one to the other. Moreover, there exist conjugate pairs of elements of $F$ of length at most $n$ such that the shortest conjugator between them has length $Ω(n^2)$. This latter statement holds for $T$ and $V$ as well. △ Less

Submitted 24 November, 2022; v1 submitted 25 January, 2021; originally announced January 2021.

Comments: 17 pages, 13 figures. Fixed some minor typos

MSC Class: 20F10 (Primary) 20F65; 20E45 (Secondary)

Integrals of groups II

Authors: João Araújo, Peter J. Cameron, Carlo Casolo, Francesco Matucci, Claudio Quadrelli

Abstract: An $integral$ of a group $G$ is a group $H$ whose commutator subgroup is isomorphic to $G$. This paper continues the investigation on integrals of groups started in the work arXiv:1803.10179. We study: (1) A sufficient condition for a bound on the order of an integral for a finite integrable group and a necessary condition for a group to be integrable. (2) The existence of integrals that are… ▽ More An $integral$ of a group $G$ is a group $H$ whose commutator subgroup is isomorphic to $G$. This paper continues the investigation on integrals of groups started in the work arXiv:1803.10179. We study: (1) A sufficient condition for a bound on the order of an integral for a finite integrable group and a necessary condition for a group to be integrable. (2) The existence of integrals that are $p$-groups for abelian $p$-groups, and of nilpotent integrals for all abelian groups. (3) Integrals of (finite or infinite) abelian groups, including nilpotent integrals, groups with finite index in some integral, periodic groups, torsion-free groups and finitely generated groups. (4) The variety of integrals of groups from a given variety, varieties of integrable groups and classes of groups whose integrals (when they exist) still belong to such a class. (5) Integrals of profinite groups and a characterization for integrability for finitely generated profinite centreless groups. (6) Integrals of Cartesian products, which are then used to construct examples of integrable profinite groups without a profinite integral. We end the paper with a number of open problems. △ Less

Submitted 3 May, 2022; v1 submitted 31 August, 2020; originally announced August 2020.

Comments: 44 pages, no figures. Revised version with a new co-author (Claudio Quadrelli). The proof of Theorem 4.1(c) has been revised and Section 8 has been rewritten to address the comments of an anonymous referee

MSC Class: 20D99; 20D25

Embedding $\mathbb{Q}$ into a Finitely Presented Group

Authors: James Belk, James Hyde, Francesco Matucci

Abstract: We observe that the group of all lifts of elements of Thompson's group $T$ to the real line is finitely presented and contains the additive group $\mathbb{Q}$ of the rational numbers. This gives an explicit realization of the Higman embedding theorem for $\mathbb{Q}$, answering a Kourovka notebook question of Martin Bridson and Pierre de la Harpe. We observe that the group of all lifts of elements of Thompson's group $T$ to the real line is finitely presented and contains the additive group $\mathbb{Q}$ of the rational numbers. This gives an explicit realization of the Higman embedding theorem for $\mathbb{Q}$, answering a Kourovka notebook question of Martin Bridson and Pierre de la Harpe. △ Less

Submitted 28 March, 2022; v1 submitted 5 May, 2020; originally announced May 2020.

Comments: 7 pages, no figures; to appear in $\textit{Bulletin of the American Mathematical Society}$. This version contains only the embedding of $\mathbb{Q}$ into the group of all lifts of elements of Thompson's group $T$ to the real line. The discussion of the group $T\mathcal{A}$ will appear elsewhere

MSC Class: 20F05; 57M07; 20E32

Conjugacy and Centralizers in Groups of Piecewise Projective Homeomorphisms

Authors: Francesco Matucci, Altair Santos de Oliveira-Tosti

Abstract: Monod introduced in [14] a family of Thompson-like groups which provides natural counterexamples to the von Neumann-Day conjecture. We construct a characterization of conjugacy and invariant and use them to compute centralizers in one group of this family. Monod introduced in [14] a family of Thompson-like groups which provides natural counterexamples to the von Neumann-Day conjecture. We construct a characterization of conjugacy and invariant and use them to compute centralizers in one group of this family. △ Less

Submitted 25 November, 2021; v1 submitted 25 February, 2020; originally announced February 2020.

Comments: 31 pages, 4 figures; final version, to appear in "Groups, Geometry and Dynamics"

MSC Class: 20E45 (Primary) 20F65; 20E07 (Secundary)

Extensions of automorphisms of self-similar groups

Authors: Francesco Matucci, Pedro V. Silva

Abstract: In this work we study automorphisms of synchronous self-similar groups, the existence of extensions to automorphisms of the full group of automorphisms of the infinite rooted tree on which these groups act on. When they do exist, we obtain conditions for the continuity of such extensions with respect to the depth metric, but we also construct examples of groups where such extensions do not exist.… ▽ More In this work we study automorphisms of synchronous self-similar groups, the existence of extensions to automorphisms of the full group of automorphisms of the infinite rooted tree on which these groups act on. When they do exist, we obtain conditions for the continuity of such extensions with respect to the depth metric, but we also construct examples of groups where such extensions do not exist. We study the case of the lamplighter group $\mathcal{L}_k = \mathbb{Z}_k \wr \mathbb{Z}$ △ Less

Submitted 5 April, 2019; v1 submitted 25 June, 2018; originally announced June 2018.

Comments: 31 pages, no figures; revised introduction and text to include updated references

MSC Class: 20F65; 20E36; 20F38

Integrals of groups

Authors: João Araújo, Peter J. Cameron, Carlo Casolo, Francesco Matucci

Abstract: An $integral$ of a group $G$ is a group $H$ whose derived group (commutator subgroup) is isomorphic to $G$. This paper discusses integrals of groups, and in particular questions about which groups have integrals and how big or small those integrals can be. Our main results are: (1) If a finite group has an integral, then it has a finite integral. (2) A precise characterization of the set of na… ▽ More An $integral$ of a group $G$ is a group $H$ whose derived group (commutator subgroup) is isomorphic to $G$. This paper discusses integrals of groups, and in particular questions about which groups have integrals and how big or small those integrals can be. Our main results are: (1) If a finite group has an integral, then it has a finite integral. (2) A precise characterization of the set of natural numbers $n$ for which every group of order $n$ is integrable: these are the cubefree numbers $n$ which do not have prime divisors $p$ and $q$ with $q\mid p-1$. (3) An abelian group of order $n$ has an integral of order at most $n^{1+o(1)}$, but may fail to have an integral of order bounded by $cn$ for constant $c$. (4) A finite group can be integrated $n$ times (in the class of finite groups) if and only if it is the central product of an abelian group and a perfect group. There are many other results on such topics as centreless groups, groups with composition length $2$, and infinite groups. We also include a number of open problems. △ Less

Submitted 23 August, 2018; v1 submitted 27 March, 2018; originally announced March 2018.

Comments: 31 pages, no figures; new co-author and new title; the previous posting has been split in half, with the second part to be expanded and resubmitted separately

MSC Class: 20D99; 20D25

Rational embeddings of hyperbolic groups

Authors: James Belk, Collin Bleak, Francesco Matucci

Abstract: We prove that all Gromov hyperbolic groups embed into the asynchronous rational group defined by Grigorchuk, Nekrashevych and Sushchanskiĭ. The proof involves assigning a system of binary addresses to points in the Gromov boundary of $G$, and proving that elements of $G$ act on these addresses by transducers. These addresses derive from a certain self-similar tree of subsets of $G$, whose boundary… ▽ More We prove that all Gromov hyperbolic groups embed into the asynchronous rational group defined by Grigorchuk, Nekrashevych and Sushchanskiĭ. The proof involves assigning a system of binary addresses to points in the Gromov boundary of $G$, and proving that elements of $G$ act on these addresses by transducers. These addresses derive from a certain self-similar tree of subsets of $G$, whose boundary is naturally homeomorphic to the horofunction boundary of $G$. △ Less

Submitted 29 October, 2018; v1 submitted 22 November, 2017; originally announced November 2017.

Comments: 73 pages, 17 figures

MSC Class: 20F65 (Primary) 20F67; 20F10; 68Q70 (Secondary)

On the asynchronous rational group

Authors: James Belk, Francesco Matucci, James Hyde

Abstract: We prove that the asynchronous rational group defined by Grigorchuk, Nekrashevych, and Sushchanskii is simple and not finitely generated. Our proofs also apply to certain subgroups of the rational group, such as the group of all rational bilipschitz homeomorphisms. We prove that the asynchronous rational group defined by Grigorchuk, Nekrashevych, and Sushchanskii is simple and not finitely generated. Our proofs also apply to certain subgroups of the rational group, such as the group of all rational bilipschitz homeomorphisms. △ Less

Submitted 5 November, 2017; originally announced November 2017.

Comments: 12 pages, 3 figures

MSC Class: 20F65 (Primary) 20E32; 20F05; 20F10; 68Q70 (Secondary)

Presentations of generalisations of Thompson's group $V$

Authors: Conchita Martínez-Pérez, Francesco Matucci, Brita E. A. Nucinkis

Abstract: We consider generalisations of Thompson's group $V$, denoted by $V_r(Σ)$, which also include the groups of Higman, Stein and Brin. It was shown by the authors in [20] that under some mild conditions these groups and centralisers of their finite subgroups are of type $\mathrm{F}_\infty$. Under more general conditions we show that the groups $V_r(Σ)$ are finitely generated and, under the mild condit… ▽ More We consider generalisations of Thompson's group $V$, denoted by $V_r(Σ)$, which also include the groups of Higman, Stein and Brin. It was shown by the authors in [20] that under some mild conditions these groups and centralisers of their finite subgroups are of type $\mathrm{F}_\infty$. Under more general conditions we show that the groups $V_r(Σ)$ are finitely generated and, under the mild conditions mentioned above, we see that they are finitely presented and give a recipe to find explicit presentations. For the centralisers of finite subgroups we find a suitable infinite presentation and then apply a general procedure to shorten this presentation. In the appendix, we give a proof of this general shortening procedure. △ Less

Submitted 22 September, 2016; originally announced September 2016.

Comments: 24 pages, no figures

MSC Class: 20J05

Journal ref: Pacific J. Math. 296 (2018) 371-403

Embedding Right-Angled Artin Groups into Brin-Thompson Groups

Authors: James Belk, Collin Bleak, Francesco Matucci

Abstract: We prove that every finitely-generated right-angled Artin group can be embedded into some Brin-Thompson group $nV$. It follows that many other groups can be embedded into some $nV$ (e.g., any finite extension of any of Haglund and Wise's special groups), and that various decision problems involving subgroups of $nV$ are unsolvable. We prove that every finitely-generated right-angled Artin group can be embedded into some Brin-Thompson group $nV$. It follows that many other groups can be embedded into some $nV$ (e.g., any finite extension of any of Haglund and Wise's special groups), and that various decision problems involving subgroups of $nV$ are unsolvable. △ Less

Submitted 27 February, 2016; originally announced February 2016.

Comments: 7 pages, no figures

MSC Class: 20F65; 20F10; 37B99

Röver's Simple Group is of Type $F_\infty$

Authors: James Belk, Francesco Matucci

Abstract: We prove that Claas Röver's Thompson-Grigorchuk simple group $V\mathcal{G}$ has type $F_\infty$. The proof involves constructing two complexes on which $V\mathcal{G}$ acts: a simplicial complex analogous to the Stein complex for $V$, and a polysimiplical complex analogous to the Farley complex for $V$. We then analyze the descending links of the polysimplicial complex, using a theorem of Belk and… ▽ More We prove that Claas Röver's Thompson-Grigorchuk simple group $V\mathcal{G}$ has type $F_\infty$. The proof involves constructing two complexes on which $V\mathcal{G}$ acts: a simplicial complex analogous to the Stein complex for $V$, and a polysimiplical complex analogous to the Farley complex for $V$. We then analyze the descending links of the polysimplicial complex, using a theorem of Belk and Forrest to prove increasing connectivity. △ Less

Submitted 16 November, 2014; v1 submitted 8 December, 2013; originally announced December 2013.

Comments: 18 pages, no figures; improved exposition and added details

MSC Class: 20F65; 20J05; 20E08

Embeddings into Thompson's group $V$ and $co\mathcal{CF}$ groups

Authors: Collin Bleak, Francesco Matucci, Max Neunhöffer

Abstract: Lehnert and Schweitzer show in [20] that R. Thompson's group $V$ is a co-context-free ($co\mathcal{CF}$) group, thus implying that all of its finitely generated subgroups are also $co\mathcal{CF}$ groups. Also, Lehnert shows in his thesis that $V$ embeds inside the $co\mathcal{CF}$ group $\mathrm{QAut}(\mathcal{T}_{2,c})$, which is a group of particular bijections on the vertices of an infinite bi… ▽ More Lehnert and Schweitzer show in [20] that R. Thompson's group $V$ is a co-context-free ($co\mathcal{CF}$) group, thus implying that all of its finitely generated subgroups are also $co\mathcal{CF}$ groups. Also, Lehnert shows in his thesis that $V$ embeds inside the $co\mathcal{CF}$ group $\mathrm{QAut}(\mathcal{T}_{2,c})$, which is a group of particular bijections on the vertices of an infinite binary $2$-edge-colored tree, and he conjectures that $\mathrm{QAut}(\mathcal{T}_{2,c})$ is a universal $co\mathcal{CF}$ group. We show that $\mathrm{QAut}(\mathcal{T}_{2,c})$ embeds into $V$, and thus obtain a new form for Lehnert's conjecture. Following up on these ideas, we begin work to build a representation theory into R. Thompson's group $V$. In particular we classify precisely which Baumslag-Solitar groups embed into $V$. △ Less

Submitted 6 December, 2013; originally announced December 2013.

Comments: 15 pages, 2 figures; preliminary version posted at the request of some colleagues

MSC Class: 20F10; 68Q45; 20E07; 37E99

Intersection growth in groups

Authors: Ian Biringer, Khalid Bou-Rabee, Martin Kassabov, Francesco Matucci

Abstract: The intersection growth of a group $G$ is the asymptotic behavior of the index of the intersection of all subgroups of $G$ with index at most $n$, and measures the Hausdorff dimension of $G$ in profinite metrics. We study intersection growth in free groups and special linear groups and relate intersection growth to quantifying residual finiteness. The intersection growth of a group $G$ is the asymptotic behavior of the index of the intersection of all subgroups of $G$ with index at most $n$, and measures the Hausdorff dimension of $G$ in profinite metrics. We study intersection growth in free groups and special linear groups and relate intersection growth to quantifying residual finiteness. △ Less

Submitted 4 December, 2013; v1 submitted 30 September, 2013; originally announced September 2013.

Comments: 20 pages, no figures. Revised version. We extend estimates to polycyclic groups and explain why normal intersection growth is a profinite invariant. Theorem 6.1 previously contained an error which has now been fixed

MSC Class: 20E05; 20E07; 20E26; 20E28; 20F69

On groups with slow intersection growth

Authors: Martin Kassabov, Francesco Matucci

Abstract: Intersection growth concerns the asymptotic behavior of the index of the intersection of all subgroups of a group that have index at most n. In this note we show that the intersection growth of some groups may not be a nicely behaved function by showing the following seemingly contradictory results: (a) for any group G the intersection growth function i_G(n) is super linear infinitely often; and (… ▽ More Intersection growth concerns the asymptotic behavior of the index of the intersection of all subgroups of a group that have index at most n. In this note we show that the intersection growth of some groups may not be a nicely behaved function by showing the following seemingly contradictory results: (a) for any group G the intersection growth function i_G(n) is super linear infinitely often; and (b) for any increasing function f there exists a group G such that i_G below f infinitely often. △ Less

Submitted 30 September, 2013; originally announced September 2013.

Comments: 4 pages, no figures

MSC Class: 20E07; 20E26; 20F69

Cohomological finiteness conditions and centralisers in generalisations of Thompson's group V

Authors: Conchita Martinez-Perez, Francesco Matucci, Brita E. A. Nucinkis

Abstract: We consider generalisations of Thompson's group $V$, denoted $V_r(Σ)$, which also include the groups of Higman, Stein and Brin. We show that, under some mild hypotheses, $V_r(Σ)$ is the full automorphism group of a Cantor-algebra. Under some further minor restrictions, we prove that these groups are of type $\mathrm{F}_\infty$ and that this implies that also centralisers of finite subgroups are of… ▽ More We consider generalisations of Thompson's group $V$, denoted $V_r(Σ)$, which also include the groups of Higman, Stein and Brin. We show that, under some mild hypotheses, $V_r(Σ)$ is the full automorphism group of a Cantor-algebra. Under some further minor restrictions, we prove that these groups are of type $\mathrm{F}_\infty$ and that this implies that also centralisers of finite subgroups are of type $\mathrm{F}_\infty$. △ Less

Submitted 7 October, 2014; v1 submitted 30 September, 2013; originally announced September 2013.

Comments: 19 pages, 2 figures. Revised version. The original submission has now been split into two papers. The current submission contains the first one. The second part is being reworked and will be reposted soon independently. Lemma 4.8 was incorrect as stated and has since been rectified. The results of the paper are unchanged

MSC Class: 20J05

The conjugacy problem in extensions of Thompson's group F

Authors: José Burillo, Francesco Matucci, Enric Ventura

Abstract: We solve the twisted conjugacy problem on Thompson's group F. We also exhibit orbit undecidable subgroups of Aut(F), and give a proof that Aut(F) and Aut_+(F) are orbit decidable provided a certain conjecture on Thompson's group T is true. By using general criteria introduced by Bogopolski, Martino and Ventura in [5], we construct a family of free extensions of F where the conjugacy problem is uns… ▽ More We solve the twisted conjugacy problem on Thompson's group F. We also exhibit orbit undecidable subgroups of Aut(F), and give a proof that Aut(F) and Aut_+(F) are orbit decidable provided a certain conjecture on Thompson's group T is true. By using general criteria introduced by Bogopolski, Martino and Ventura in [5], we construct a family of free extensions of F where the conjugacy problem is unsolvable. As a byproduct of our techniques, we give a new proof of a result of Bleak-Fel'shtyn-Goncalves in [4] showing that F has property R_\infty, and which can be extended to show that Thompson's group T also has property R_\infty. △ Less

Submitted 7 September, 2013; v1 submitted 25 July, 2013; originally announced July 2013.

Comments: 31 pages, 2 figures; improved exposition

MSC Class: 20E45; 20F65; 37E05; 37E10

Centralizers in R. Thompson's group V_n

Authors: Collin Bleak, Hannah Bowman, Alison Gordon, Garrett Graham, Jacob Hughes, Francesco Matucci, Jenya Sapir

Abstract: Let n be bigger than 1 and let A be an element in the Higman-Thompson group V_n. We study the structure of the centralizer of a in V_n through a careful analysis of the action of the group generated by A on the Cantor set C. We make use of revealing tree pairs as developed by Brin and Salazar from which we derive discrete train tracks to assist us in our analysis. A consequence of our structure th… ▽ More Let n be bigger than 1 and let A be an element in the Higman-Thompson group V_n. We study the structure of the centralizer of a in V_n through a careful analysis of the action of the group generated by A on the Cantor set C. We make use of revealing tree pairs as developed by Brin and Salazar from which we derive discrete train tracks to assist us in our analysis. A consequence of our structure theorem is that centralizers are finitely generated. Along the way we give a short argument using revealing tree pairs which shows that cyclic groups are undistorted in V_n. △ Less

Submitted 12 September, 2011; v1 submitted 4 July, 2011; originally announced July 2011.

Comments: 32 pages, 18 figures. Added a reference in the introduction

MSC Class: 20F65; 20E07; 37C85

Presentations for the higher dimensional Thompson's groups nV

Authors: Johanna Hennig, Francesco Matucci

Abstract: In his papers [2], [3] Brin introduced the higher dimensional Thompson groups nV which are generalizations to the Thompson's group V of self-homeomorphisms of the Cantor set and found a finite set of generators and relations in the case n = 2. We show how to generalize his construction to obtain a finite presentation for every positive integer n. As a corollary, we obtain another proof that the gr… ▽ More In his papers [2], [3] Brin introduced the higher dimensional Thompson groups nV which are generalizations to the Thompson's group V of self-homeomorphisms of the Cantor set and found a finite set of generators and relations in the case n = 2. We show how to generalize his construction to obtain a finite presentation for every positive integer n. As a corollary, we obtain another proof that the groups nV are simple (first proved by Brin in [4]). △ Less

Submitted 18 May, 2011; originally announced May 2011.

Comments: 18 pages, 2 figures

MSC Class: 20F05; 20F65

Bounding the residual finiteness of free groups

Authors: Martin Kassabov, Francesco Matucci

Abstract: We find a lower bound to the size of finite groups detecting a given word in the free group, more precisely we construct a word w_n of length n in non-abelian free groups with the property that w_n is the identity on all finite quotients of size ~ n^{2/3} or less. This improves on a previous result of Bou-Rabee and McReynolds quantifying the lower bound of the residual finiteness of free groups. We find a lower bound to the size of finite groups detecting a given word in the free group, more precisely we construct a word w_n of length n in non-abelian free groups with the property that w_n is the identity on all finite quotients of size ~ n^{2/3} or less. This improves on a previous result of Bou-Rabee and McReynolds quantifying the lower bound of the residual finiteness of free groups. △ Less

Submitted 18 May, 2011; v1 submitted 11 December, 2009; originally announced December 2009.

Comments: 6 pages, no figures; final version

MSC Class: 20F65; 20E05;

Journal ref: Proceedings of the American Mathematical Society 139 (2011), no. 7, 2281-2286

Structure theorems for subgroups of homeomorphisms groups

Authors: Collin Bleak, Martin Kassabov, Francesco Matucci

Abstract: In this partly expository paper, we study the set A of groups of orientation-preserving homeomorphisms of the circle S^1 which do not admit non-abelian free subgroups. We use classical results about homeomorphisms of the circle and elementary dynamical methods to derive various new and old results about the groups in A. Of the known results, we include some results from a family of results of Bekl… ▽ More In this partly expository paper, we study the set A of groups of orientation-preserving homeomorphisms of the circle S^1 which do not admit non-abelian free subgroups. We use classical results about homeomorphisms of the circle and elementary dynamical methods to derive various new and old results about the groups in A. Of the known results, we include some results from a family of results of Beklaryan and Malyutin, and we also give a new proof of a theorem of Margulis. Our primary new results include a detailed classification of the solvable subgroups of R. Thompson's group T . △ Less

Submitted 18 May, 2011; v1 submitted 1 October, 2009; originally announced October 2009.

Comments: 31 pages, 3 figures; final version, to appear in "International Journal of Algebra and Computation"

MSC Class: 20E34; 37E05; 37E10

Mather invariants in groups of piecewise-linear homeomorphisms

Authors: Francesco Matucci

Abstract: We describe the relation between two characterizations of conjugacy in groups of piecewise-linear homeomorphisms, discovered by Brin and Squier in [2] and Kassabov and Matucci in [5]. Thanks to the interplay between the techniques, we produce a simplified point of view of conjugacy that allows us to easily recover centralizers and lends itself to generalization. We describe the relation between two characterizations of conjugacy in groups of piecewise-linear homeomorphisms, discovered by Brin and Squier in [2] and Kassabov and Matucci in [5]. Thanks to the interplay between the techniques, we produce a simplified point of view of conjugacy that allows us to easily recover centralizers and lends itself to generalization. △ Less

Submitted 18 May, 2011; v1 submitted 14 November, 2008; originally announced November 2008.

Comments: 8 pages, 4 diagrams, 1 figure; final version

MSC Class: 20E45; 37E05; 37E10

Journal ref: Trends in Mathematics, Combinatorial and Geometric Group Theory (2010) 251--260

Algorithms and Classification in Groups of Piecewise-Linear Homeomorphisms

Authors: Francesco Matucci

Abstract: This manuscript represents the author's PhD dissertation thesis.The first part studies decision problems in Thompson's groups F,T,V and some generalizations. The simultaneous conjugacy problem is determined to be solvable for Thompson's group F and suitable larger groups of piecewise-linear homeomorphisms of the unit interval. We determine algorithms to compute roots and centralizers in these gr… ▽ More This manuscript represents the author's PhD dissertation thesis.The first part studies decision problems in Thompson's groups F,T,V and some generalizations. The simultaneous conjugacy problem is determined to be solvable for Thompson's group F and suitable larger groups of piecewise-linear homeomorphisms of the unit interval. We determine algorithms to compute roots and centralizers in these groups and to detect periodic points and their behavior by looking at a particular diagram associated to an element. In the second part, we describe the structure of subgroups of the group of all homeomorphisms of the unit circle, with the additional requirement that they contain no non-abelian free subgroup. It is shown that in this setting the rotation number map is a group homomorphism. We give a classification of such subgroups as subgroups of certain wreath products and we show that such subgroups can exist by building examples. Similar techniques are then used to compute centralizers in these groups. △ Less

Submitted 17 July, 2008; originally announced July 2008.

Comments: 234 pages, 125 figures, copy of dissertation

MSC Class: 20F65; 20F10; 20E34; 37E05; 37E10

Dynamics in Thompson's Group F

Authors: James Belk, Francesco Matucci

Abstract: We describe an explicit relationship between strand diagrams and piecewise-linear functions for elements of Thompson's group F. Using this correspondence, we investigate the dynamics of elements of F, and we show that conjugacy of one-bump functions can be described by a Mather-type invariant. We describe an explicit relationship between strand diagrams and piecewise-linear functions for elements of Thompson's group F. Using this correspondence, we investigate the dynamics of elements of F, and we show that conjugacy of one-bump functions can be described by a Mather-type invariant. △ Less

Submitted 7 September, 2012; v1 submitted 19 October, 2007; originally announced October 2007.

Comments: This paper has been merged with the preprint http://arxiv.longhoe.net/abs/0708.4250 which underwent a major revision and is now called "Conjugacy and Dynamics in Thompson's groups"

MSC Class: 20F65

Conjugacy and Dynamics in Thompson's Groups

Authors: James Belk, Francesco Matucci

Abstract: We give a unified solution to the conjugacy problem for Thompson's groups F, T, and V. The solution uses strand diagrams, which are similar in spirit to braids and generalize tree-pair diagrams for elements of Thompson's groups. Strand diagrams are closely related to piecewise-linear functions for elements of Thompson's groups, and we use this correspondence to investigate the dynamics of elements… ▽ More We give a unified solution to the conjugacy problem for Thompson's groups F, T, and V. The solution uses strand diagrams, which are similar in spirit to braids and generalize tree-pair diagrams for elements of Thompson's groups. Strand diagrams are closely related to piecewise-linear functions for elements of Thompson's groups, and we use this correspondence to investigate the dynamics of elements of F. Though many of the results in this paper are known, our approach is new, and it yields elegant proofs of several old results. △ Less

Submitted 25 April, 2019; v1 submitted 30 August, 2007; originally announced August 2007.

Comments: 23 pages, 24 figures; final version; clarified role of orientation in the text surrounding Theorem 2.12

MSC Class: 20F65

Journal ref: Geometriae Dedicata 169.1 (2014) 239-261

Cryptanalysis of the Shpilrain-Ushakov Protocol in Thompson's Group

Authors: Francesco Matucci

Abstract: This paper shows that an eavesdropper can always recover efficiently the private key of one of the two parts of the public key cryptography protocol introduced by Shpilrain and Ushakov in [9]. Thus an eavesdropper can always recover the shared secret key, making the protocol insecure. This paper shows that an eavesdropper can always recover efficiently the private key of one of the two parts of the public key cryptography protocol introduced by Shpilrain and Ushakov in [9]. Thus an eavesdropper can always recover the shared secret key, making the protocol insecure. △ Less

Submitted 18 May, 2011; v1 submitted 7 July, 2006; originally announced July 2006.

Comments: 12 pages, 4 figures; final version

MSC Class: 68P25; 94A60; 20F10; 37E05

Journal ref: Journal of Cryptology 21(3) (2008) 458--468

The simultaneous conjugacy problem in groups of piecewise linear functions

Authors: Martin Kassabov, Francesco Matucci

Abstract: Guba and Sapir asked if the simultaneous conjugacy problem was solvable in Diagram Groups or, at least, for Thompson's group F. We give a solution to the latter question using elementary techniques which rely purely on the description of F as the group of piecewise linear orientation-preserving homeomorphisms of the unit interval. The techniques we develop extend the ones used by Brin and Squier a… ▽ More Guba and Sapir asked if the simultaneous conjugacy problem was solvable in Diagram Groups or, at least, for Thompson's group F. We give a solution to the latter question using elementary techniques which rely purely on the description of F as the group of piecewise linear orientation-preserving homeomorphisms of the unit interval. The techniques we develop extend the ones used by Brin and Squier allowing us to compute roots and centralizers as well. Moreover, these techniques can be generalized to solve the same question in larger groups of piecewise-linear homeomorphisms. △ Less

Submitted 18 May, 2011; v1 submitted 6 July, 2006; originally announced July 2006.

Comments: 33 pages, 7 figures; final version; to appear in "Groups, Geometry and Dynamics"

MSC Class: 20F10; 20E45; 37E05

Finite solvable groups whose Quillen complex is Cohen-Macaulay

Authors: Francesco Matucci

Abstract: We prove that the p-Quillen complex of a finite solvable group with cyclic derived group is Cohen-Macaulay, if p is an odd prime. If p = 2 we prove a similar conclusion, but there is a discussion to be made. We prove that the p-Quillen complex of a finite solvable group with cyclic derived group is Cohen-Macaulay, if p is an odd prime. If p = 2 we prove a similar conclusion, but there is a discussion to be made. △ Less

Submitted 18 May, 2011; v1 submitted 9 June, 2006; originally announced June 2006.

Comments: 20 pages, final version

MSC Class: 20D30; 06A11; 20D10; 57M07

Journal ref: Journal of Algebra 322 (2009) 969-982