Showing 1–32 of 32 results for author: Belk, J

Boone-Higman embeddings of $\mathrm{Aut}(F_n)$ and mapping class groups of punctured surfaces

Authors: James Belk, Francesco Fournier-Facio, James Hyde, Matthew C. B. Zaremsky

Abstract: We prove that the groups $\mathrm{Aut}(F_n)$ satisfy the Boone-Higman conjecture for all $n$, meaning each $\mathrm{Aut}(F_n)$ embeds in a finitely presented simple group. In fact, we prove that each $\mathrm{Aut}(F_n)$ satisfies the "permutational" Boone-Higman conjecture, which means the simple group in question can be taken to be a twisted Brin-Thompson group. A far-reaching consequence of our… ▽ More We prove that the groups $\mathrm{Aut}(F_n)$ satisfy the Boone-Higman conjecture for all $n$, meaning each $\mathrm{Aut}(F_n)$ embeds in a finitely presented simple group. In fact, we prove that each $\mathrm{Aut}(F_n)$ satisfies the "permutational" Boone-Higman conjecture, which means the simple group in question can be taken to be a twisted Brin-Thompson group. A far-reaching consequence of our approach is that finitely presented twisted Brin-Thompson groups are universal among finitely presented simple groups that are highly transitive. This is evidence toward the Boone-Higman conjecture being equivalent to its permutational version. Proving the conjecture for $\mathrm{Aut}(F_n)$ also confirms the conjecture for all groups (virtually) embedding into some $\mathrm{Aut}(F_n)$, such as mapping class groups of non-closed surfaces, braid groups, loop braid groups, ribbon braid groups and certain Artin groups. This answers several questions of the first and fourth authors with Bleak and Matucci. Yet another consequence of our approach is that satisfying the permutational Boone-Higman conjecture is closed under free products. △ Less

Submitted 14 April, 2025; v1 submitted 27 March, 2025; originally announced March 2025.

Comments: 19 pages. V2: Minor edits, submitted version

MSC Class: 20F65; 20E32

The Maximality of $T$ in Thompson's group $V$

Authors: James Belk, Collin Bleak, Martyn Quick, Rachel Skipper

Abstract: We show that R. Thompson's group $T$ is a maximal subgroup of the group $V$. The argument provides examples of foundational calculations which arise when expressing elements of $V$ as products of transpositions of basic clopen sets in Cantor space $\mathfrak{C}$. We show that R. Thompson's group $T$ is a maximal subgroup of the group $V$. The argument provides examples of foundational calculations which arise when expressing elements of $V$ as products of transpositions of basic clopen sets in Cantor space $\mathfrak{C}$. △ Less

Submitted 18 April, 2025; v1 submitted 19 September, 2024; originally announced September 2024.

Comments: 8 pages. To appear in Archiv der Math

MSC Class: 20E28 20E32 20F65 20F05

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

Quasisymmetries of finitely ramified Julia sets

Authors: James Belk, Bradley Forrest

Abstract: We develop a theory of quasisymmetries for finitely ramified fractals, with applications to finitely ramified Julia sets. We prove that certain finitely ramified fractals admit a naturally defined class of "undistorted metrics" that are all quasi-equivalent. As a result, piecewise-defined homeomorphisms of such a fractal that locally preserve the cell structure are quasisymmetries. This immediatel… ▽ More We develop a theory of quasisymmetries for finitely ramified fractals, with applications to finitely ramified Julia sets. We prove that certain finitely ramified fractals admit a naturally defined class of "undistorted metrics" that are all quasi-equivalent. As a result, piecewise-defined homeomorphisms of such a fractal that locally preserve the cell structure are quasisymmetries. This immediately gives a solution to the quasisymmetric uniformization problem for topologically rigid fractals such as the Sierpiński triangle. We show that our theory applies to many finitely ramified Julia sets, and we prove that any connected Julia set for a hyperbolic unicritical polynomial has infinitely many quasisymmetries, generalizing a result of Lyubich and Merenkov. We also prove that the quasisymmetry group of the Julia set for the rational function $1-z^{-2}$ is infinite, and we show that the quasisymmetry groups for the Julia sets of a broad class of polynomials contain Thompson's group $F$. △ Less

Submitted 23 January, 2024; v1 submitted 26 October, 2023; originally announced October 2023.

Comments: 49 pages, 17 figures, typos corrected

MSC Class: 37F10 (Primary) 20F38; 28A80; 30C62 (Secondary)

Thurston's theorem and the Nielsen-Thurston classification via Teichmüller's theorem

Authors: James Belk, Dan Margalit, Rebecca R. Winarski

Abstract: We give a unified and self-contained proof of the Nielsen-Thurston classification theorem from the theory of mapping class groups and Thurston's characterization of rational maps from the theory of complex dynamics (plus various extensions of these). Our proof follows Bers' proof of the Nielsen-Thurston classification. We give a unified and self-contained proof of the Nielsen-Thurston classification theorem from the theory of mapping class groups and Thurston's characterization of rational maps from the theory of complex dynamics (plus various extensions of these). Our proof follows Bers' proof of the Nielsen-Thurston classification. △ Less

Submitted 13 September, 2023; originally announced September 2023.

Comments: 36 pages, 0 figures

MSC Class: 57M12 (Primary); 37F34; 57K20; 37F10 (Secondary)

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 22 May, 2025; v1 submitted 28 June, 2023; originally announced June 2023.

Comments: v2: minor changes, submitted version. v3: accepted version, to appear in EMS Surv. Math. Sci

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

Embedding hyperbolic groups into finitely presented infinite simple groups

Authors: James Belk, Collin Bleak

Abstract: The Boone--Higman conjecture is that every recursively presented group with solvable word problem embeds in a finitely presented simple group. We discuss a brief history of this conjecture and work towards it. Along the way we describe some classes of finitely presented simple groups, and we briefly outline work of Belk, Bleak, Matucci, and Zaremsky showing that the broad class of hyperbolic group… ▽ More The Boone--Higman conjecture is that every recursively presented group with solvable word problem embeds in a finitely presented simple group. We discuss a brief history of this conjecture and work towards it. Along the way we describe some classes of finitely presented simple groups, and we briefly outline work of Belk, Bleak, Matucci, and Zaremsky showing that the broad class of hyperbolic groups embeds in a class of finitely presented simple groups. △ Less

Submitted 26 June, 2023; originally announced June 2023.

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

Pseudo-$F_4$ is isomorphic to $F_4$

Authors: James Belk, Liam Stott

Abstract: We prove that the "pseudo-$F_4$" group is isomorphic to $F_4$, answering a question of Brin. Both of these groups can be described as fast groups of homeomorphisms of the interval generated by bumps, as introduced by Bleak, Brin, Kassabov, Moore, and Zaremsky. The proof uses a representation of fast groups as Guba-Sapir diagram groups in order to leverage known results on isomorphisms of diagram g… ▽ More We prove that the "pseudo-$F_4$" group is isomorphic to $F_4$, answering a question of Brin. Both of these groups can be described as fast groups of homeomorphisms of the interval generated by bumps, as introduced by Bleak, Brin, Kassabov, Moore, and Zaremsky. The proof uses a representation of fast groups as Guba-Sapir diagram groups in order to leverage known results on isomorphisms of diagram groups. △ Less

Submitted 29 March, 2023; originally announced March 2023.

A piecewise linear homeomorphim of the circle which is periodic under renormalization

Authors: James Belk, James Hyde, Justin Tatch Moore

Abstract: We demonstrate the existence of a piecewise linear homeomorphism $f$ of $\mathbb{R}/\mathbb{Z}$ which maps rationals to rationals, whose slopes are powers of $\frac{2}{3}$, and whose rotation number is $\sqrt{2}-1$. This is achieved by showing that a renormalization procedure becomes periodic when applied to $f$. Our construction gives a negative answer to a question of D. Calegari. When combined… ▽ More We demonstrate the existence of a piecewise linear homeomorphism $f$ of $\mathbb{R}/\mathbb{Z}$ which maps rationals to rationals, whose slopes are powers of $\frac{2}{3}$, and whose rotation number is $\sqrt{2}-1$. This is achieved by showing that a renormalization procedure becomes periodic when applied to $f$. Our construction gives a negative answer to a question of D. Calegari. When combined with work of the 2nd and 3rd authors, our result also shows that $F_{\frac{2}{3}}$ does not embed into $F$, where $F_{\frac{2}{3}}$ is the subgroup of the Stein-Thompson group $F_{2,3}$ consisting of those elements whose slopes are powers of $\frac{2}{3}$. Finally, we produce some evidence suggesting a positive answer to a variation of Calegari's question and record a number of computational observations. △ Less

Submitted 5 November, 2023; v1 submitted 10 November, 2022; originally announced November 2022.

Comments: 8 pages. Minor revisions reflect suggestions made to the authors

MSC Class: 20F38; 37E45; 37E10; 54H15

Type systems and maximal subgroups of Thompson's group $V$

Authors: James Belk, Collin Bleak, Martyn Quick, Rachel Skipper

Abstract: We introduce the concept of a type system~$\Part$, that is, a partition on the set of finite words over the alphabet~$\{0,1\}$ compatible with the partial action of Thompson's group~$V$, and associate a subgroup~$\Stab{V}{\Part}$ of~$V$. We classify the finite simple type systems and show that the stabilizers of various simple type systems, including all finite simple type systems, are maximal sub… ▽ More We introduce the concept of a type system~$\Part$, that is, a partition on the set of finite words over the alphabet~$\{0,1\}$ compatible with the partial action of Thompson's group~$V$, and associate a subgroup~$\Stab{V}{\Part}$ of~$V$. We classify the finite simple type systems and show that the stabilizers of various simple type systems, including all finite simple type systems, are maximal subgroups of~$V$. We also find an uncountable family of pairwise non-isomorphic maximal subgroups of~$V$. These maximal subgroups occur as stabilizers of infinite simple type systems and have not been described in previous literature: specifically, they do not arise as stabilizers in $V$ of finite sets of points in Cantor space. Finally, we show that two natural conditions on subgroups of $V$ (both related to primitivity) are each satisfied only by $V$ itself, giving new ways to recognise when a subgroup of $V$ is not actually proper. △ Less

Submitted 26 February, 2024; v1 submitted 25 June, 2022; originally announced June 2022.

Comments: v2: Some changes in exposition, upgraded the theorem on "uncountably many maximal subgroups" to "uncountably many non-isomorphic maximal subgroups"

MSC Class: 20E28; 20E32; 20F65

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)

Automorphisms of shift spaces and the Higman-Thompson groups: the two-sided case

Authors: James Belk, Collin Bleak, Peter J. Cameron, Feyishayo Olukoya

Abstract: In this article, we further explore the nature of a connection between the groups of automorphisms of full shift spaces and the groups of outer automorphisms of the Higman--Thompson groups $\{G_{n,r}\}$. We show that the quotient of the group of automorphisms of the (two-sided) shift dynamical system $\mathrm{Aut}(X_n^{\mathbb{N}}, σ_{n})$ by its centre embeds as a particular subgroup… ▽ More In this article, we further explore the nature of a connection between the groups of automorphisms of full shift spaces and the groups of outer automorphisms of the Higman--Thompson groups $\{G_{n,r}\}$. We show that the quotient of the group of automorphisms of the (two-sided) shift dynamical system $\mathrm{Aut}(X_n^{\mathbb{N}}, σ_{n})$ by its centre embeds as a particular subgroup $\mathcal{L}_{n}$ of the outer automorphism group $\mathop{\mathrm{Out}}(G_{n,n-1})$ of $G_{n,n-1}$. It follows by a result of Ryan that we have the following central extension: $$\langle σ_{n}\rangle \hookrightarrow \mathrm{Aut}(X_n^{\mathbb{N}}, σ_{n}) \twoheadrightarrow \mathcal{L}_{n}$$ where here, $\langle σ_{n} \rangle \cong \mathbb{Z}$. We prove that this short exact sequence splits if and only if $n$ is not a proper power, and, in all cases, we compute the 2-cocycles and 2-coboundaries for the extension. We also use this central extension to prove that for $1 \le r < n$, the groups $\mathop{\mathrm{Out}}(G_{n,r})$ are centreless and have undecidable order problem. Note that the group $\mathop{\mathrm{Out}}(G_{n,n-1})$ consists of finite transducers (combinatorial objects arising in automata theory), and elements of the group $\mathcal{L}_{n}$ are easily characterised within $\mathop{\mathrm{Out}}(G_{n,n-1})$ by a simple combinatorial property. In particular, the short exact sequence allows us to determine a new and efficient purely combinatorial representation of elements of $\mathrm{Aut}(X_n^{\mathbb{N}}, σ_{n})$, and we demonstrate how to compute products using this new representation. △ Less

Submitted 31 October, 2021; v1 submitted 2 June, 2020; originally announced June 2020.

Comments: Added a new result characterising when the central extension splits; explicitly compute the 2-cocyles and co-boundaries associated to the central extension. New coauthor added and minor typos corrected; 43 pages, 6 figures

MSC Class: 20F10; 20E36; 54H15; 28D15

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

Twisted Brin-Thompson groups

Authors: James Belk, Matthew C. B. Zaremsky

Abstract: We construct a family of infinite simple groups that we call \emph{twisted Brin-Thompson groups}, generalizing Brin's higher-dimensional Thompson groups $sV$ ($s\in\mathbb{N}$). We use twisted Brin-Thompson groups to prove a variety of results regarding simple groups. For example, we prove that every finitely generated group embeds quasi-isometrically as a subgroup of a two-generated simple group,… ▽ More We construct a family of infinite simple groups that we call \emph{twisted Brin-Thompson groups}, generalizing Brin's higher-dimensional Thompson groups $sV$ ($s\in\mathbb{N}$). We use twisted Brin-Thompson groups to prove a variety of results regarding simple groups. For example, we prove that every finitely generated group embeds quasi-isometrically as a subgroup of a two-generated simple group, strengthening a result of Bridson. We also produce examples of simple groups that contain every $sV$ and hence every right-angled Artin group, including examples of type $\textrm{F}_\infty$ and a family of examples of type $\textrm{F}_{n-1}$ but not of type $\textrm{F}_n$, for arbitrary $n\in\mathbb{N}$. This provides the second known infinite family of simple groups distinguished by their finiteness properties. △ Less

Submitted 9 May, 2021; v1 submitted 13 January, 2020; originally announced January 2020.

Comments: 26 pages, 3 figures. v2: final version, to appear in Geometry & Topology

MSC Class: 20F65; 57M07; 20E32

Journal ref: Geom. Topol. 26 (2022) 1189-1223

Recognizing topological polynomials by lifting trees

Authors: James Belk, Justin Lanier, Dan Margalit, Rebecca R. Winarski

Abstract: We give a simple algorithm that determines whether a given post-critically finite topological polynomial is Thurston equivalent to a polynomial. If it is, the algorithm produces the Hubbard tree; otherwise, the algorithm produces the canonical obstruction. Our approach is rooted in geometric group theory, using iteration on a simplicial complex of trees, and building on work of Nekrashevych. As on… ▽ More We give a simple algorithm that determines whether a given post-critically finite topological polynomial is Thurston equivalent to a polynomial. If it is, the algorithm produces the Hubbard tree; otherwise, the algorithm produces the canonical obstruction. Our approach is rooted in geometric group theory, using iteration on a simplicial complex of trees, and building on work of Nekrashevych. As one application of our methods, we resolve the polynomial case of Pilgrim's finite global attractor conjecture. We also give a new solution to Hubbard's twisted rabbit problem, and we state and solve several generalizations of Hubbard's problem where the number of post-critical points is arbitrarily large. △ Less

Submitted 24 November, 2021; v1 submitted 18 June, 2019; originally announced June 2019.

Comments: 57 pages, 32 figures; accepted to Duke Mathematical Journal

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)

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

Rearrangement groups of fractals

Authors: James Belk, Bradley Forrest

Abstract: We construct rearrangement groups for edge replacement systems, an infinite class of groups that generalize Richard Thompson's groups F, T, and V . Rearrangement groups act by piecewise-defined homeomorphisms on many self-similar topological spaces, among them the Vicsek fractal and many Julia sets. We show that every rearrangement group acts properly on a locally finite CAT(0) cubical complex, an… ▽ More We construct rearrangement groups for edge replacement systems, an infinite class of groups that generalize Richard Thompson's groups F, T, and V . Rearrangement groups act by piecewise-defined homeomorphisms on many self-similar topological spaces, among them the Vicsek fractal and many Julia sets. We show that every rearrangement group acts properly on a locally finite CAT(0) cubical complex, and we use this action to prove that certain rearrangement groups are of type F infinity. △ Less

Submitted 17 October, 2023; v1 submitted 12 October, 2015; originally announced October 2015.

Comments: Published version

MSC Class: 20F65 (Primary); 20F38; 28A80 (Secondary)

Journal ref: Transactions of the American Mathematical Society 372.7 (2019): 4509-4552

Some undecidability results for asynchronous transducers and the Brin-Thompson group 2V

Authors: James Belk, Collin Bleak

Abstract: Using a result of Kari and Ollinger, we prove that the torsion problem for elements of the Brin-Thompson group 2V is undecidable. As a result, we show that there does not exist an algorithm to determine whether an element of the rational group R of Grigorchuk, Nekrashevich, and Sushchanskii has finite order. A modification of the construction gives other undecidability results about the dynamics o… ▽ More Using a result of Kari and Ollinger, we prove that the torsion problem for elements of the Brin-Thompson group 2V is undecidable. As a result, we show that there does not exist an algorithm to determine whether an element of the rational group R of Grigorchuk, Nekrashevich, and Sushchanskii has finite order. A modification of the construction gives other undecidability results about the dynamics of the action of elements of 2V on Cantor Space. Arzhantseva, Lafont, and Minasyanin prove in 2012 that there exists a finitely presented group with solvable word problem and unsolvable torsion problem. To our knowledge, 2V furnishes the first concrete example of such a group, and gives an example of a direct undecidability result in the extended family of R. Thompson type groups. △ Less

Submitted 5 May, 2014; originally announced May 2014.

Comments: 16 pages, 3 figures

MSC Class: 20F10 (Primary) 68Q45; 37B99; 03B25 (Secondary)

Journal ref: Trans. Amer. Math. Soc. 369 (2017), 3157-3172

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

A Thompson group for the basilica

Authors: James Belk, Bradley Forrest

Abstract: We describe a Thompson-like group of homeomorphisms of the basilica Julia set. Each element of this group acts as a piecewise-linear homeomorphism of the unit circle that preserves the invariant lamination for the basilica. We develop an analogue of tree pair diagrams for this group which we call arc pair diagrams, and we use these diagrams to prove that the group is finitely generated. We also pr… ▽ More We describe a Thompson-like group of homeomorphisms of the basilica Julia set. Each element of this group acts as a piecewise-linear homeomorphism of the unit circle that preserves the invariant lamination for the basilica. We develop an analogue of tree pair diagrams for this group which we call arc pair diagrams, and we use these diagrams to prove that the group is finitely generated. We also prove that the group is virtually simple. △ Less

Submitted 17 October, 2023; v1 submitted 20 January, 2012; originally announced January 2012.

Comments: Published version

MSC Class: 20F65 (Primary) 20F38; 37F10 (Secondary)

Journal ref: Group. Geom. Dynam. 9.4 (2015) 975-1000

Compact aspherical solenoids

Authors: James Belk, Bradley Forrest

Abstract: We consider compact, aspherical solenoids obtained as the inverse limit of a system of CW~complexes and covering maps. This includes $P$-adic solenoids, as well as the universal hyperbolic solenoid of Teichmüller theory. Using ideas from shape theory, we classify maps between such solenoids up to homotopy, and we prove a Dehn-Nielsen-type theorem for self-homotopy equivalences of such a solenoid.… ▽ More We consider compact, aspherical solenoids obtained as the inverse limit of a system of CW~complexes and covering maps. This includes $P$-adic solenoids, as well as the universal hyperbolic solenoid of Teichmüller theory. Using ideas from shape theory, we classify maps between such solenoids up to homotopy, and we prove a Dehn-Nielsen-type theorem for self-homotopy equivalences of such a solenoid. This generalizes a result of Odden regarding the universal hyperbolic solenoid. △ Less

Submitted 1 July, 2025; v1 submitted 28 September, 2010; originally announced September 2010.

Comments: This is a revision of our 2011 preprint entitled "Covering systems, solenoids, and shape theory". The error has been corrected

MSC Class: 55P55 (Primary) 55P10; 30F60; 37B45 (Secondary)

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 https://arxiv.boxedpaper.com/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

Thompson's Group F

Authors: James Belk

Abstract: We introduce forest diagrams and strand diagrams for elements of Thompson's group F. A forest diagram is a pair of infinite, bounded binary forests together with an order-preserving bijection of the leaves. Using forest diagrams, we derive a simple length formula for elements of F, and we discuss applications to the geometry of the Cayley graph, including a new upper bound on the isoperimetric c… ▽ More We introduce forest diagrams and strand diagrams for elements of Thompson's group F. A forest diagram is a pair of infinite, bounded binary forests together with an order-preserving bijection of the leaves. Using forest diagrams, we derive a simple length formula for elements of F, and we discuss applications to the geometry of the Cayley graph, including a new upper bound on the isoperimetric constant (a.k.a. Cheeger constant) of F. Strand diagrams are similar to tree diagrams, but they can be concatenated like braids. Motivated by the fact that configuration spaces are classifying spaces for braid groups, we present a classifying space for F that is the ``configuration space'' of finitely many points on a line, with the points allowed to split and merge in pairs. Strand diagrams are related to a description of F as a groupoid, which we use to derive presentations for F, T, V, and the braided Thompson group BV. In addition to the new results, we include a thorough exposition of the basic theory of the group F. Highlights include a simplified proof that the commutator subgroup of F is simple, a discussion of open problems (with a focus on amenability), and a simplified derivation of the standard presentation and normal forms for F using forest diagrams. △ Less

Submitted 26 August, 2007; originally announced August 2007.

Comments: Ph.D. Thesis (Cornell University). Includes arXiv:math/0305412 and arXiv:math/0301141, as well as much additional material

MSC Class: 20F65

Forest diagrams for elements of Thompson's group F

Authors: James M. Belk, Kenneth S. Brown

Abstract: We introduce forest diagrams to represent elements of Thompson's group F. These diagrams relate to a certain action of F on the real line in the same way that tree diagrams relate to the standard action of F on the unit interval. Using forest diagrams, we give a conceptually simple length formula for elements of F with respect to the {x_0,x_1} generating set, and we discuss the construction of m… ▽ More We introduce forest diagrams to represent elements of Thompson's group F. These diagrams relate to a certain action of F on the real line in the same way that tree diagrams relate to the standard action of F on the unit interval. Using forest diagrams, we give a conceptually simple length formula for elements of F with respect to the {x_0,x_1} generating set, and we discuss the construction of minimum-length words for positive elements. Finally, we use forest diagrams and the length formula to examine the structure of the Cayley graph of F. △ Less

Submitted 28 May, 2003; originally announced May 2003.

Comments: 44 pages, 70 figures

MSC Class: 20F65

Journal ref: Int. J. Algebr. Comput. 15.05n06 (2005) 815-850

Thompson's Group F is not Minimally Almost Convex

Authors: James Belk, Kai-Uwe Bux

Abstract: We prove that Richard Thompson's group F is not minimally almost convex with respect to the two standard generators. This improves upon a recent result of S. Cleary and J. Taback. We make use of the forest diagrams for elements of F introduced by J. Belk and K. Brown. These diagrams seem particularly well-suited for understanding the Cayley graph for the two standard generators. We prove that Richard Thompson's group F is not minimally almost convex with respect to the two standard generators. This improves upon a recent result of S. Cleary and J. Taback. We make use of the forest diagrams for elements of F introduced by J. Belk and K. Brown. These diagrams seem particularly well-suited for understanding the Cayley graph for the two standard generators. △ Less

Submitted 13 January, 2003; originally announced January 2003.

Comments: 14 pages, 15 figures, 1 table

MSC Class: 20F65