Showing 1–50 of 53 results for author: Zaremsky, M C B

Finiteness properties of stabilisers of oligomorphic actions

Authors: Francesco Fournier-Facio, Peter H. Kropholler, Robert Alonzo Lyman, Matthew C. B. Zaremsky

Abstract: An action of a group on a set is oligomorphic if it has finitely many orbits of $n$-element subsets for all $n$. We prove that for a large class of groups (including all groups of finite virtual cohomological dimension and all countable linear groups), for any oligomorphic action of such a group on an infinite set there exists a finite subset whose stabiliser is not of type $\mathrm{FP}_\infty$. T… ▽ More An action of a group on a set is oligomorphic if it has finitely many orbits of $n$-element subsets for all $n$. We prove that for a large class of groups (including all groups of finite virtual cohomological dimension and all countable linear groups), for any oligomorphic action of such a group on an infinite set there exists a finite subset whose stabiliser is not of type $\mathrm{FP}_\infty$. This leads to obstructions on finiteness properties for permutational wreath products and twisted Brin-Thompson groups. We also prove a version for actions on flag complexes, and discuss connections to the Boone-Higman conjecture. In the appendix, we improve on the criterion of Bartholdi-Cornulier-Kochloukova for finiteness properties of wreath products, and the criterion of Kropholler-Martino for finiteness properties of graph-wreath products. △ Less

Submitted 2 June, 2025; originally announced June 2025.

Comments: 16 pages

MSC Class: 20F65; 20B07

Dense and empty BNSR-invariants of the McCool groups

Authors: Mikhail Ershov, Matthew C. B. Zaremsky

Abstract: An automorphism of the free group $F_n$ is called pure symmetric if it sends each generator to a conjugate of itself. The group $\mathrm{PSAut}_n$ of all pure symmetric automorphisms, and its quotient $\mathrm{PSOut}_n$ by the group of inner automorphisms, are called the McCool groups. In this paper we prove that every BNSR-invariant $Σ^m$ of a McCool group is either dense or empty in the characte… ▽ More An automorphism of the free group $F_n$ is called pure symmetric if it sends each generator to a conjugate of itself. The group $\mathrm{PSAut}_n$ of all pure symmetric automorphisms, and its quotient $\mathrm{PSOut}_n$ by the group of inner automorphisms, are called the McCool groups. In this paper we prove that every BNSR-invariant $Σ^m$ of a McCool group is either dense or empty in the character sphere, and we characterize precisely when each situation occurs. Our techniques involve understanding higher generation properties of abelian subgroups of McCool groups, coming from the McCullough-Miller space. We also investigate further properties of the second invariant $Σ^2$ for McCool groups, using a general criterion due to Meinert for a character to lie in $Σ^2$. △ Less

Submitted 18 June, 2025; v1 submitted 24 May, 2025; originally announced May 2025.

Comments: 23 pages. v2: minor changes

MSC Class: 20F65; 57M07

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

Configuration spaces of circles in the plane

Authors: Justin Curry, Ryan Gelnett, Matthew C. B. Zaremsky

Abstract: We consider the space of all configurations of finitely many (potentially nested) circles in the plane. We prove that this space is aspherical, and compute the fundamental group of each of its connected components. It turns out these fundamental groups are obtained as iterated semdirect products of braid groups, with the structure for each component dictated by a finite rooted tree. These groups c… ▽ More We consider the space of all configurations of finitely many (potentially nested) circles in the plane. We prove that this space is aspherical, and compute the fundamental group of each of its connected components. It turns out these fundamental groups are obtained as iterated semdirect products of braid groups, with the structure for each component dictated by a finite rooted tree. These groups can be viewed as "braided" versions of the automorphism groups of such trees. We also discuss connections to statistical mechanics, topological data analysis, and geometric group theory. △ Less

Submitted 7 November, 2024; originally announced November 2024.

Comments: 27 pages, 13 figures

MSC Class: 55R80; 20F65; 20F36

Contractible Vietoris-Rips complexes of $\mathbb{Z}^n$

Authors: Matthew C. B. Zaremsky

Abstract: We give a new, short proof of a result of Virk, that the Vietoris-Rips complex of the group $\mathbb{Z}^n$ with the standard word metric is contractible at large enough scales. This is inspired by a key observation in Virk's proof, but we use Bestvina-Brady discrete Morse theory to get a very short proof with better bounds. In the course of this, we get a new, general criterion for a metric space… ▽ More We give a new, short proof of a result of Virk, that the Vietoris-Rips complex of the group $\mathbb{Z}^n$ with the standard word metric is contractible at large enough scales. This is inspired by a key observation in Virk's proof, but we use Bestvina-Brady discrete Morse theory to get a very short proof with better bounds. In the course of this, we get a new, general criterion for a metric space to have contractible Vietoris-Rips complexes at large enough scales, which could prove useful in the future. △ Less

Submitted 15 October, 2024; originally announced October 2024.

Comments: 4 pages

Hyperbolic actions of Thompson's group $F$ and generalizations

Authors: Sahana Balasubramanya, Francesco Fournier-Facio, Matthew C. B. Zaremsky

Abstract: We study the poset of hyperbolic structures on Thompson's group $F$ and its generalizations $F_n$ for $n \geq 2$. The global structure of this poset is as simple as one would expect, with the maximal non-elementary elements being two quasi-parabolic actions corresponding to well-known ascending HNN-extension expressions of $F_n$. However, the local structure turns out to be incredibly rich, in sta… ▽ More We study the poset of hyperbolic structures on Thompson's group $F$ and its generalizations $F_n$ for $n \geq 2$. The global structure of this poset is as simple as one would expect, with the maximal non-elementary elements being two quasi-parabolic actions corresponding to well-known ascending HNN-extension expressions of $F_n$. However, the local structure turns out to be incredibly rich, in stark contrast with the situation for the $T$ and $V$ counterparts. We show that the subposet of quasi-parabolic hyperbolic structures consists of two isomorphic posets, each of which contains uncountably many subposets of \emph{lamplike} structures, which can be described combinatorially in terms of certain hyperbolic structures on related lamplighter groups. Moreover, each of these subposets, as well as intersections and complements thereof, is very large, in that it contains a copy of the power set of the natural numbers. We also prove that these uncountably many uncountable subposets are not the entire picture, indeed there exists a copy of the power set of the natural numbers consisting entirely of non-lamplike structures. We also prove that this entire vast array of hyperbolic structures on $F_n$ collapses as soon as one takes a natural semidirect product with $\mathbb{Z}/2\mathbb{Z}$. These results are all proved via a detailed analysis of confining subsets, and along the way we establish a number of fundamental results in the theory of confining subsets of groups. △ Less

Submitted 18 June, 2024; originally announced June 2024.

Comments: 60 pages, 4 figures

Finite presentability of twisted Brin-Thompson groups

Authors: Matthew C. B. Zaremsky

Abstract: Given a group $G$ acting faithfully on a set $S$, we characterize precisely when the twisted Brin-Thompson group $SV_G$ is finitely presented. The answer is that $SV_G$ is finitely presented if and only if we have the following: $G$ is finitely presented, the action of $G$ on $S$ has finitely many orbits of two-element subsets of $S$, and the stabilizer in $G$ of any element of $S$ is finitely gen… ▽ More Given a group $G$ acting faithfully on a set $S$, we characterize precisely when the twisted Brin-Thompson group $SV_G$ is finitely presented. The answer is that $SV_G$ is finitely presented if and only if we have the following: $G$ is finitely presented, the action of $G$ on $S$ has finitely many orbits of two-element subsets of $S$, and the stabilizer in $G$ of any element of $S$ is finitely generated. Since twisted Brin-Thompson groups are simple, a consequence is that any subgroup of a group admitting an action as above satisfies the Boone-Higman conjecture. In the course of proving this, we also establish a sufficient condition for a group acting cocompactly on a simply connected complex to be finitely presented, even if certain edge stabilizers are not finitely generated, which may be of independent interest. △ Less

Submitted 25 November, 2024; v1 submitted 28 May, 2024; originally announced May 2024.

Comments: 20 pages. V2: Accepted version, to appear in Proc. Roy. Soc. Edinburgh Sect. A

Embedding finitely presented self-similar groups into finitely presented simple groups

Authors: Matthew C. B. Zaremsky

Abstract: We prove that every finitely presented self-similar group embeds in a finitely presented simple group. This establishes that every group embedding in a finitely presented self-similar group satisfies the Boone-Higman conjecture. The simple groups in question are certain commutator subgroups of Röver-Nekrashevych groups, and the difficulty lies in the fact that even if a Röver-Nekrashevych group is… ▽ More We prove that every finitely presented self-similar group embeds in a finitely presented simple group. This establishes that every group embedding in a finitely presented self-similar group satisfies the Boone-Higman conjecture. The simple groups in question are certain commutator subgroups of Röver-Nekrashevych groups, and the difficulty lies in the fact that even if a Röver-Nekrashevych group is finitely presented, its commutator subgroup might not be. We also discuss a general example involving matrix groups over certain rings, which in particular establishes that every finitely generated subgroup of $\mathrm{GL}_n(\mathbb{Q})$ satisfies the Boone-Higman conjecture. △ Less

Submitted 20 January, 2025; v1 submitted 15 May, 2024; originally announced May 2024.

Comments: 10 pages; v2: minor edits, final version accepted to Bull. Lond. Math. Soc

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

Finitely presented simple groups with at least exponential Dehn function

Authors: Matthew C. B. Zaremsky

Abstract: We construct examples of finitely presented simple groups whose Dehn functions are at least exponential. To the best of our knowledge, these are the first such examples known. Our examples arise from Röver-Nekrashevych groups, using carefully calibrated self-similar representations of Baumslag-Solitar groups. We construct examples of finitely presented simple groups whose Dehn functions are at least exponential. To the best of our knowledge, these are the first such examples known. Our examples arise from Röver-Nekrashevych groups, using carefully calibrated self-similar representations of Baumslag-Solitar groups. △ Less

Submitted 11 July, 2024; v1 submitted 24 May, 2023; originally announced May 2023.

Comments: 11 pages. v2: Following referee report, made minor changes and fixed a computational error in the proof of Prop 3.1. Final version, to appear in Michigan Math. J

MSC Class: 20F65; 20E08

Finitely presented left orderable monsters

Authors: Francesco Fournier-Facio, Yash Lodha, Matthew C. B. Zaremsky

Abstract: A left orderable monster is a finitely generated left orderable group all of whose fixpoint-free actions on the line are proximal: the action is semiconjugate to a minimal action so that for every bounded interval $I$ and open interval $J$, there is a group element that sends $I$ into $J$. In his 2018 ICM address, Navas asked about the existence of left orderable monsters. By now there are several… ▽ More A left orderable monster is a finitely generated left orderable group all of whose fixpoint-free actions on the line are proximal: the action is semiconjugate to a minimal action so that for every bounded interval $I$ and open interval $J$, there is a group element that sends $I$ into $J$. In his 2018 ICM address, Navas asked about the existence of left orderable monsters. By now there are several examples, all of which are finitely generated but not finitely presentable. We provide the first examples of left orderable monsters that are finitely presentable, and even of type $F_\infty$. The construction itself is elementary, and these groups satisfy several additional properties separating them from the previous examples: they are not simple, they act minimally on the circle, and they have an infinite-dimensional space of homogeneous quasimorphisms. Our construction is flexible enough that it produces infinitely many isomorphism classes of finitely presented (and type $F_{\infty}$) left orderable monsters. △ Less

Submitted 8 June, 2023; v1 submitted 9 November, 2022; originally announced November 2022.

Comments: 12 pages. v2: Final version, to appear in Ergodic Theory and Dynamical Systems

Journal ref: Ergod. Th. Dynam. Sys. 44 (2024) 1367-1378

Braided Thompson groups with and without quasimorphisms

Authors: Francesco Fournier-Facio, Yash Lodha, Matthew C. B. Zaremsky

Abstract: We study quasimorphisms and bounded cohomology of a variety of braided versions of Thompson groups. Our first main result is that the Brin--Dehornoy braided Thompson group $bV$ has an infinite-dimensional space of quasimorphisms and thus infinite-dimensional second bounded cohomology. This implies that despite being perfect, $bV$ is not uniformly perfect, in contrast to Thompson's group $V$. We al… ▽ More We study quasimorphisms and bounded cohomology of a variety of braided versions of Thompson groups. Our first main result is that the Brin--Dehornoy braided Thompson group $bV$ has an infinite-dimensional space of quasimorphisms and thus infinite-dimensional second bounded cohomology. This implies that despite being perfect, $bV$ is not uniformly perfect, in contrast to Thompson's group $V$. We also prove that relatives of $bV$ like the ribbon braided Thompson group $rV$ and the pure braided Thompson group $bF$ similarly have an infinite-dimensional space of quasimorphisms. Our second main result is that, in stark contrast, the close relative of $bV$ denoted $\hat{bV}$, which was introduced concurrently by Brin, has trivial second bounded cohomology. This makes $\hat{bV}$ the first example of a left-orderable group of type $\operatorname{F}_\infty$ that is not locally indicable and has trivial second bounded cohomology. This also makes $\hat{bV}$ an interesting example of a subgroup of the mapping class group of the plane minus a Cantor set that is non-amenable but has trivial second bounded cohomology, behaviour that cannot happen for finite-type mapping class groups. △ Less

Submitted 28 August, 2022; v1 submitted 11 April, 2022; originally announced April 2022.

Comments: v2: final version, to appear in Algebraic & Geometric Topology

Journal ref: Algebr. Geom. Topol. 24 (2024) 1601-1622

Non-inner amenability of the Higman-Thompson groups

Authors: Eli Bashwinger, Matthew C. B. Zaremsky

Abstract: We prove that the Higman-Thompson groups $T_n$ and $V_n$ are non-inner amenable for all $n\ge 2$. This extends Haagerup and Olesen's result that Thompson's groups $T=T_2$ and $V=V_2$ are non-inner amenable. Their proof relied on machinery only available in the $n=2$ case, namely Thurston's piecewise-projective model for Thompson's group $T$, so our approach necessarily utilizes different tools. Th… ▽ More We prove that the Higman-Thompson groups $T_n$ and $V_n$ are non-inner amenable for all $n\ge 2$. This extends Haagerup and Olesen's result that Thompson's groups $T=T_2$ and $V=V_2$ are non-inner amenable. Their proof relied on machinery only available in the $n=2$ case, namely Thurston's piecewise-projective model for Thompson's group $T$, so our approach necessarily utilizes different tools. This also provides an alternate proof of Haagerup-Olesen's result when $n=2$. △ Less

Submitted 25 March, 2022; originally announced March 2022.

Comments: 10 pages, 2 figures

Houghton-like groups from "shift-similar" groups

Authors: Brendan Mallery, Matthew C. B. Zaremsky

Abstract: We introduce and study \emph{shift-similar} groups $G\le\textrm{Sym}(\mathbb{N})$, which play an analogous role in the world of Houghton groups that self-similar groups play in the world of Thompson groups. We also introduce Houghton-like groups $H_n(G)$ arising from shift-similar groups $G$, which are an analog of Röver-Nekrashevych groups from the world of Thompson groups. We prove a variety of… ▽ More We introduce and study \emph{shift-similar} groups $G\le\textrm{Sym}(\mathbb{N})$, which play an analogous role in the world of Houghton groups that self-similar groups play in the world of Thompson groups. We also introduce Houghton-like groups $H_n(G)$ arising from shift-similar groups $G$, which are an analog of Röver-Nekrashevych groups from the world of Thompson groups. We prove a variety of results about shift-similar groups and these Houghton-like groups, including results about finite generation and amenability. One prominent result is that every finitely generated group embeds as a subgroup of a finitely generated shift-similar group, in contrast to self-similar groups, where this is not the case. This establishes in particular that there exist uncountably many isomorphism classes of finitely generated shift-similar groups, again in contrast to the self-similar situation. △ Less

Submitted 24 October, 2024; v1 submitted 1 February, 2022; originally announced February 2022.

Comments: 32 pages, 2 figures. v2: Accepted version, incorporating referee suggestions; in particular Example 3.31 is new. To appear in J. Comb. Algebra

A taste of twisted Brin-Thompson groups

Authors: Matthew C. B. Zaremsky

Abstract: This note serves as a short and reader-friendly introduction to twisted Brin-Thompson groups, which were recently constructed by Belk and the author to provide a family of simple groups with a variety of interesting properties. Most notably, twisted Brin-Thompson groups can be used to show that every finitely generated group quasi-isometrically embeds as a subgroup of a finitely generated simple g… ▽ More This note serves as a short and reader-friendly introduction to twisted Brin-Thompson groups, which were recently constructed by Belk and the author to provide a family of simple groups with a variety of interesting properties. Most notably, twisted Brin-Thompson groups can be used to show that every finitely generated group quasi-isometrically embeds as a subgroup of a finitely generated simple group. Another important application is a concrete construction of a family of simple groups with arbitrary finiteness length. In addition to giving a concise introduction to the groups and these applications, we also prove here a strengthening of one of the results from the original paper. Namely, we prove that any finitely presented group acting faithfully and oligomorphically on a set, with finitely generated stabilizers of finite subsets, embeds in a finitely presented simple group. We believe this could potentially lead to future progress on resolving the Boone-Higman Conjecture for certain groups. △ Less

Submitted 3 January, 2022; originally announced January 2022.

Comments: 13 pages, 2 figures

Braiding groups of automorphisms and almost-automorphisms of trees

Authors: Rachel Skipper, Matthew C. B. Zaremsky

Abstract: We introduce "braided" versions of self-similar groups and Röver--Nekrashevych groups, and study their finiteness properties. This generalizes work of Aroca and Cumplido, and the first author and Wu, who considered the case when the self-similar groups are what we call "self-identical". In particular we use a braided version of the Grigorchuk group to construct a new group called the braided Röver… ▽ More We introduce "braided" versions of self-similar groups and Röver--Nekrashevych groups, and study their finiteness properties. This generalizes work of Aroca and Cumplido, and the first author and Wu, who considered the case when the self-similar groups are what we call "self-identical". In particular we use a braided version of the Grigorchuk group to construct a new group called the braided Röver group, which we prove is of type $F_\infty$. Our techniques involve using so called $d$-ary cloning systems to construct the groups, and analyzing certain complexes of embedded disks in a surface to understand their finiteness properties. △ Less

Submitted 10 March, 2023; v1 submitted 27 September, 2021; originally announced September 2021.

Comments: 39 pages, 7 figures, v2: accepted version, Canad. J. Math

MSC Class: Primary 20F65; Secondary 57M07

Journal ref: Can. J. Math.-J. Can. Math. 76 (2024) 555-593

Random subcomplexes of finite buildings, and fibering of commutator subgroups of right-angled Coxeter groups

Authors: Eduard Schesler, Matthew C. B. Zaremsky

Abstract: The main theme of this paper is higher virtual algebraic fibering properties of right-angled Coxeter groups (RACGs), with a special focus on those whose defining flag complex is a finite building. We prove for particular classes of finite buildings that their random induced subcomplexes have a number of strong properties, most prominently that they are highly connected. From this we are able to de… ▽ More The main theme of this paper is higher virtual algebraic fibering properties of right-angled Coxeter groups (RACGs), with a special focus on those whose defining flag complex is a finite building. We prove for particular classes of finite buildings that their random induced subcomplexes have a number of strong properties, most prominently that they are highly connected. From this we are able to deduce that the commutator subgroup of a RACG, with defining flag complex a finite building of a certain type, admits an epimorphism to $\mathbb{Z}$ whose kernel has strong topological finiteness properties. We additionally use our techniques to present examples where the kernel is of type $\textrm{F}_2$ but not $\textrm{FP}_3$, and examples where the RACG is hyperbolic and the kernel is finitely generated and non-hyperbolic. The key tool we use is a generalization of an approach due to Jankiewicz-Norin-Wise involving Bestvina-Brady discrete Morse theory applied to the Davis complex of a RACG, together with some probabilistic arguments. △ Less

Submitted 9 November, 2022; v1 submitted 22 July, 2021; originally announced July 2021.

Comments: 32 pages. v2: accepted version, to appear in Journal of Topology

MSC Class: 20F65; 57M07

Von Neumann algebras of Thompson-like groups from cloning systems

Authors: Eli Bashwinger, Matthew C. B. Zaremsky

Abstract: We prove a variety of results about the group von Neumann algebras associated to Thompson-like groups arising from so called $d$-ary cloning systems. Cloning systems are a framework developed by Witzel and the second author, with a $d$-ary version subsequently developed by Skipper and the second author, which can be used to construct generalizations of the classical Thompson's groups $F$, $T$, and… ▽ More We prove a variety of results about the group von Neumann algebras associated to Thompson-like groups arising from so called $d$-ary cloning systems. Cloning systems are a framework developed by Witzel and the second author, with a $d$-ary version subsequently developed by Skipper and the second author, which can be used to construct generalizations of the classical Thompson's groups $F$, $T$, and $V$. Given a family of groups $(G_n)_{n\in\mathbb{N}}$ with a $d$-ary cloning system, we get a Thompson-like group $\mathscr{T}_d(G_*)$, and in this paper we find some mild, natural conditions under which the group von Neumann algebra $\mathcal{L}(\mathscr{T}_d(G_*))$ has desirable properties. For instance, if the $d$-ary cloning system is "fully compatible" and "diverse" then we prove that $\mathcal{L}(\mathscr{T}_d(G_*))$ is a type $\textrm{II}_1$ factor. If moreover the $d$-ary cloning system is "uniform" and "slightly pure" then we prove $\mathcal{L}(\mathscr{T}_d(G_*))$ is even a McDuff factor, so $\mathscr{T}_d(G_*)$ is inner amenable. Examples of $d$-ary cloning systems satisfying these conditions are easy to come by, and include many existing examples, for instance our results show that for $bV$ and $bF$ the Brin-Dehornoy braided Thompson group and pure braided Thompson group, $\mathcal{L}(bV)$ and $\mathcal{L}(bF)$ are type $\textrm{II}_1$ factors and $\mathcal{L}(bF)$ is McDuff. In particular we get the surprising result that $bF$ is inner amenable. △ Less

Submitted 10 January, 2022; v1 submitted 10 April, 2021; originally announced April 2021.

Comments: 24 pages, 3 figures. v2: Minor edits. To appear, J. Operator Theory

MSC Class: 46L10; 20F65

The BNSR-invariants of the Stein group $F_{2,3}$

Authors: Robert Spahn, Matthew C. B. Zaremsky

Abstract: The Stein group $F_{2,3}$ is the group of orientation-preserving homeomorphisms of the unit interval with slopes of the form $2^p3^q$ ($p,q\in\mathbb{Z}$) and breakpoints in $\mathbb{Z}[\frac{1}{6}]$. This is a natural relative of Thompson's group $F$. In this paper we compute the Bieri-Neumann-Strebel-Renz (BNSR) invariants $Σ^m(F_{2,3})$ of the Stein group for all $m\in\mathbb{N}$. A consequence… ▽ More The Stein group $F_{2,3}$ is the group of orientation-preserving homeomorphisms of the unit interval with slopes of the form $2^p3^q$ ($p,q\in\mathbb{Z}$) and breakpoints in $\mathbb{Z}[\frac{1}{6}]$. This is a natural relative of Thompson's group $F$. In this paper we compute the Bieri-Neumann-Strebel-Renz (BNSR) invariants $Σ^m(F_{2,3})$ of the Stein group for all $m\in\mathbb{N}$. A consequence of our computation is that (as with $F$) every finitely presented normal subgroup of $F_{2,3}$ is of type $\textrm{F}_\infty$. Another, more surprising, consequence is that (unlike $F$) the kernel of any map $F_{2,3}\to\mathbb{Z}$ is of type $\textrm{F}_\infty$, even though there exist maps $F_{2,3}\to \mathbb{Z}^2$ whose kernels are not even finitely generated. In terms of BNSR-invariants, this means that every discrete character lies in $Σ^\infty(F_{2,3})$, but there exist (non-discrete) characters that do not even lie in $Σ^1(F_{2,3})$. To the best of our knowledge, $F_{2,3}$ is the first group whose BNSR-invariants are known exhibiting these properties. △ Less

Submitted 9 December, 2020; originally announced December 2020.

Comments: 11 pages

The BNSR-invariants of the Lodha-Moore groups, and an exotic simple group of type $\textrm{F}_\infty$

Authors: Yash Lodha, Matthew C. B. Zaremsky

Abstract: In this paper we give a complete description of the Bieri-Neumann-Strebel-Renz invariants of the Lodha-Moore groups. The second author previously computed the first two invariants, and here we show that all the higher invariants coincide with the second one, which finishes the complete computation. As a consequence, we present a complete picture of the finiteness properties of normal subgroups of… ▽ More In this paper we give a complete description of the Bieri-Neumann-Strebel-Renz invariants of the Lodha-Moore groups. The second author previously computed the first two invariants, and here we show that all the higher invariants coincide with the second one, which finishes the complete computation. As a consequence, we present a complete picture of the finiteness properties of normal subgroups of the first Lodha-Moore group. In particular, we show that every finitely presented normal subgroup of the group is of type $\textrm{F}_\infty$, answering question 112 from Oberwolfach Rep., 15(2):1579-1633, 2018. The proof involves applying a variation of Bestvina-Brady discrete Morse theory to the so called cluster complex $X$ introduced by the first author. As an application, we also demonstrate that a certain simple group $S$ previously constructed by the first author is of type $\textrm{F}_\infty$. This provides the first example of a type $\textrm{F}_\infty$ simple group that acts faithfully on the circle by homeomorphisms, but does not admit any nontrivial action by $C^1$-diffeomorphisms, nor by piecewise linear homeomorphisms, on any $1$-manifold. △ Less

Submitted 24 July, 2020; originally announced July 2020.

Comments: 25 pages, 3 figures

MSC Class: 20F65; 57M07

Higher connectivity of the Morse complex

Authors: Nicholas A. Scoville, Matthew C. B. Zaremsky

Abstract: The Morse complex $\mathcal{M}(Δ)$ of a finite simplicial complex $Δ$ is the complex of all gradient vector fields on $Δ$. In this paper we study higher connectivity properties of $\mathcal{M}(Δ)$. For example, we prove that $\mathcal{M}(Δ)$ gets arbitrarily highly connected as the maximum degree of a vertex of $Δ$ goes to $\infty$, and for $Δ$ a graph additionally as the number of edges goes to… ▽ More The Morse complex $\mathcal{M}(Δ)$ of a finite simplicial complex $Δ$ is the complex of all gradient vector fields on $Δ$. In this paper we study higher connectivity properties of $\mathcal{M}(Δ)$. For example, we prove that $\mathcal{M}(Δ)$ gets arbitrarily highly connected as the maximum degree of a vertex of $Δ$ goes to $\infty$, and for $Δ$ a graph additionally as the number of edges goes to $\infty$. We also classify precisely when $\mathcal{M}(Δ)$ is connected or simply connected. Our main tool is Bestvina-Brady Morse theory, applied to a "generalized Morse complex." △ Less

Submitted 20 November, 2021; v1 submitted 22 April, 2020; originally announced April 2020.

Comments: 12 pages, 2 figures. v2: Substantial rewrite with stronger results, final version, accepted by Proc. Amer. Math. Soc

MSC Class: 55U05; 57Q05

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

A short account of why Thompson's group $F$ is of type $\textrm{F}_\infty$

Authors: Matthew C. B. Zaremsky

Abstract: In 1984 Brown and Geoghegan proved that Thompson's group $F$ is of type $\textrm{F}_\infty$, making it the first example of an infinite dimensional torsion-free group of type $\textrm{F}_\infty$. Over the decades a different, shorter proof has emerged, which is more streamlined and generalizable to other groups. It is difficult, however, to isolate this proof in the literature just for $F$ itself,… ▽ More In 1984 Brown and Geoghegan proved that Thompson's group $F$ is of type $\textrm{F}_\infty$, making it the first example of an infinite dimensional torsion-free group of type $\textrm{F}_\infty$. Over the decades a different, shorter proof has emerged, which is more streamlined and generalizable to other groups. It is difficult, however, to isolate this proof in the literature just for $F$ itself, with no complicated generalizations considered and no additional properties proved. The goal of this expository note then is to present the "modern" proof that $F$ is of type $\textrm{F}_\infty$, and nothing else. △ Less

Submitted 2 June, 2020; v1 submitted 24 December, 2019; originally announced December 2019.

Comments: Expository note. 8 pages, 3 figures. v2: Corrected the reference [BG84]. v3: Incorporated referee's suggestions (including title change). Accepted version, to appear in Topology Proc

Equivariant Morse theory on Vietoris-Rips complexes & universal spaces for proper actions

Authors: Marco Varisco, Matthew C. B. Zaremsky

Abstract: We formalize an equivariant version of Bestvina-Brady discrete Morse theory, and apply it to Vietoris-Rips complexes in order to exhibit finite universal spaces for proper actions for all asymptotically CAT(0) groups. We formalize an equivariant version of Bestvina-Brady discrete Morse theory, and apply it to Vietoris-Rips complexes in order to exhibit finite universal spaces for proper actions for all asymptotically CAT(0) groups. △ Less

Submitted 9 June, 2021; v1 submitted 10 September, 2019; originally announced September 2019.

Comments: Final revision, to appear in Bulletin of the London Mathematical Society. Minor changes, correcting some inconsequential mistakes and improving the exposition, based on a thorough referee report. 18 pages

MSC Class: 20F65; 20F67; 57M07; 55R35

Journal ref: Bull. London Math. Soc. 53 (2021), no. 6, 1724-1739

Bestvina-Brady discrete Morse theory and Vietoris-Rips complexes

Authors: Matthew C. B. Zaremsky

Abstract: We inspect Vietoris-Rips complexes $VR_t(X)$ of certain metric spaces $X$ using a new generalization of Bestvina-Brady discrete Morse theory. Our main result is a pair of metric criteria on $X$, called the Morse Criterion and Link Criterion, that allow us to deduce information about the homotopy types of certain $VR_t(X)$. One application is to topological data analysis, specifically persistence o… ▽ More We inspect Vietoris-Rips complexes $VR_t(X)$ of certain metric spaces $X$ using a new generalization of Bestvina-Brady discrete Morse theory. Our main result is a pair of metric criteria on $X$, called the Morse Criterion and Link Criterion, that allow us to deduce information about the homotopy types of certain $VR_t(X)$. One application is to topological data analysis, specifically persistence of homotopy type for certain Vietoris-Rips complexes. For example we recover some results of Adamaszek-Adams and Hausmann regarding homotopy types of $VR_t(S^n)$. Another application is to geometric group theory; we prove that any group acting geometrically on a metric space satisfying a version of the Link Criterion admits a geometric action on a contractible simplicial complex, which has implications for the finiteness properties of the group. This applies for example to asymptotically $CAT(0)$ groups. We also prove that any group with a word metric satisfying the Link Criterion in an appropriate range has a contractible Vietoris-Rips complex, and use combings to exhibit a family of groups with this property. △ Less

Submitted 28 March, 2021; v1 submitted 28 December, 2018; originally announced December 2018.

Comments: v1: Preliminary version, comments encouraged. v2: Incorporated comments. Version to be submitted. v3: Accepted version. To appear, Amer. J. Math

MSC Class: 55D15; 57M07; 20F65

The BNSR-invariants of the Houghton groups, concluded

Authors: Matthew C. B. Zaremsky

Abstract: We give a complete computation of the BNSR-invariants $Σ^m(H_n)$ of the Houghton groups $H_n$. Partial results were previously obtained by the author, with a conjecture about the full picture, which we now confirm. The proof involves covering relevant subcomplexes of an associated $CAT(0)$ cube complex by their intersections with certain locally convex subcomplexes, and then applying a strong form… ▽ More We give a complete computation of the BNSR-invariants $Σ^m(H_n)$ of the Houghton groups $H_n$. Partial results were previously obtained by the author, with a conjecture about the full picture, which we now confirm. The proof involves covering relevant subcomplexes of an associated $CAT(0)$ cube complex by their intersections with certain locally convex subcomplexes, and then applying a strong form of the Nerve Lemma. A consequence of the full computation is that for each $1\le m\le n-1$, $H_n$ admits a map onto $\mathbb{Z}$ whose kernel is of type $F_{m-1}$ but not $F_m$, and moreover no such kernel is ever of type $F_{n-1}$. △ Less

Submitted 15 April, 2019; v1 submitted 1 August, 2018; originally announced August 2018.

Comments: v2: Accepted version, to appear in Proc. Edinb. Math. Soc. 10 pages

Journal ref: Proceedings of the Edinburgh Mathematical Society 63 (2020) 1-11

Geometric structures related to the braided Thompson groups

Authors: Matthew C. B. Zaremsky

Abstract: In previous work, joint with Bux, Fluch, Marschler and Witzel, we proved that the braided Thompson groups are of type $\textrm{F}_\infty$. The proof utilized certain contractible cube complexes, which in this paper we prove are CAT(0). We then use this fact to compute the geometric invariants $Σ^m(F_{\textrm{br}})$ of the pure braided Thompson group $F_{\textrm{br}}$. Only the first invariant… ▽ More In previous work, joint with Bux, Fluch, Marschler and Witzel, we proved that the braided Thompson groups are of type $\textrm{F}_\infty$. The proof utilized certain contractible cube complexes, which in this paper we prove are CAT(0). We then use this fact to compute the geometric invariants $Σ^m(F_{\textrm{br}})$ of the pure braided Thompson group $F_{\textrm{br}}$. Only the first invariant $Σ^1(F_{\textrm{br}})$ was previously known. A consequence of our computation is that as soon as a subgroup of $F_{\textrm{br}}$ containing the commutator subgroup $[F_{\textrm{br}},F_{\textrm{br}}]$ is finitely presented, it is automatically of type $\textrm{F}_\infty$. △ Less

Submitted 10 April, 2021; v1 submitted 7 March, 2018; originally announced March 2018.

Comments: 22 pages, 3 figures. v2: Removed Subsection 4.3, after a mistake came to light. This subsection was unrelated to the rest of the paper, so nothing else changed in any important ways

MSC Class: 20F65; 20F36; 57M07

Simple groups separated by finiteness properties

Authors: Rachel Skipper, Stefan Witzel, Matthew C. B. Zaremsky

Abstract: We show that for every positive integer $n$ there exists a simple group that is of type $\mathrm{F}_{n-1}$ but not of type $\mathrm{F}_n$. For $n\ge 3$ these groups are the first known examples of this kind. They also provide infinitely many quasi-isometry classes of finitely presented simple groups. The only previously known infinite family of such classes, due to Caprace--Rémy, consists of non-a… ▽ More We show that for every positive integer $n$ there exists a simple group that is of type $\mathrm{F}_{n-1}$ but not of type $\mathrm{F}_n$. For $n\ge 3$ these groups are the first known examples of this kind. They also provide infinitely many quasi-isometry classes of finitely presented simple groups. The only previously known infinite family of such classes, due to Caprace--Rémy, consists of non-affine Kac--Moody groups over finite fields. Our examples arise from Röver--Nekrashevych groups, and contain free abelian groups of infinite rank. △ Less

Submitted 22 October, 2018; v1 submitted 14 December, 2017; originally announced December 2017.

Comments: 25 pages. v2: incorporated comments v3: final version, to appear, Invent. Math

Almost-automorphisms of trees, cloning systems and finiteness properties

Authors: Rachel Skipper, Matthew C. B. Zaremsky

Abstract: We prove that the group of almost-automorphisms of the infinite rooted regular $d$-ary tree $\mathcal{T}_d$ arises naturally as the Thompson-like group of a so called $d$-ary cloning system. A similar phenomenon occurs for any Röver-Nekrashevych group $V_d(G)$, for $G\le Aut(\mathcal{T}_d)$ a self-similar group. We use this framework to expand on work of Belk and Matucci, who proved that the Röver… ▽ More We prove that the group of almost-automorphisms of the infinite rooted regular $d$-ary tree $\mathcal{T}_d$ arises naturally as the Thompson-like group of a so called $d$-ary cloning system. A similar phenomenon occurs for any Röver-Nekrashevych group $V_d(G)$, for $G\le Aut(\mathcal{T}_d)$ a self-similar group. We use this framework to expand on work of Belk and Matucci, who proved that the Röver group, using the Grigorchuk group for $G$, is of type $F_\infty$. Namely, we find some natural conditions on subgroups of $G$ to ensure that $V_d(G)$ is of type $F_\infty$, and in particular we prove this for all $G$ in the infinite family of Šunić groups. We also prove that if $G$ is itself of type $F_\infty$ then so is $V_d(G)$, and that every finitely generated virtually free group is self-similar, so in particular every finitely generated virtually free group $G$ yields a type $F_\infty$ Röver-Nekrashevych group $V_d(G)$. △ Less

Submitted 13 April, 2021; v1 submitted 19 September, 2017; originally announced September 2017.

Comments: 44 pages, 11 figures. v2: accepted version, published in J. Topol. Anal

MSC Class: 20F65; 57M07

Commensurability invariance for abelian splittings of right-angled Artin groups, braid groups and loop braid groups

Authors: Matthew C. B. Zaremsky

Abstract: We prove that if a right-angled Artin group $A_Γ$ is abstractly commensurable to a group splitting non-trivially as an amalgam or HNN-extension over $\mathbb{Z}^n$, then $A_Γ$ must itself split non-trivially over $\mathbb{Z}^k$ for some $k\le n$. Consequently, if two right-angled Artin groups $A_Γ$ and $A_Δ$ are commensurable and $Γ$ has no separating $k$-cliques for any $k\le n$ then neither does… ▽ More We prove that if a right-angled Artin group $A_Γ$ is abstractly commensurable to a group splitting non-trivially as an amalgam or HNN-extension over $\mathbb{Z}^n$, then $A_Γ$ must itself split non-trivially over $\mathbb{Z}^k$ for some $k\le n$. Consequently, if two right-angled Artin groups $A_Γ$ and $A_Δ$ are commensurable and $Γ$ has no separating $k$-cliques for any $k\le n$ then neither does $Δ$, so "smallest size of separating clique" is a commensurability invariant. We also discuss some implications for issues of quasi-isometry. Using similar methods we also prove that for $n\ge 4$ the braid group $B_n$ is not abstractly commensurable to any group that splits non-trivially over a "free group-free" subgroup, and the same holds for $n\ge 3$ for the loop braid group $LB_n$. Our approach makes heavy use of the Bieri--Neumann--Strebel invariant. △ Less

Submitted 21 May, 2017; originally announced May 2017.

Comments: 14 pages

MSC Class: 20F65; 57M07; 20F36

Journal ref: Algebr. Geom. Topol. 19 (2019) 1247-1264

Groups of fast homeomorphisms of the interval and the ping-pong argument

Authors: Collin Bleak, Matthew G. Brin, Martin Kassabov, Justin Tatch Moore, Matthew C. B. Zaremsky

Abstract: We adapt the Ping-Pong Lemma, which historically was used to study free products of groups, to the setting of the homeomorphism group of the unit interval. As a consequence, we isolate a large class of generating sets for subgroups of $\mathrm{Homeo}_+(I)$ for which certain finite dynamical data can be used to determine the marked isomorphism type of the groups which they generate. As a corollary,… ▽ More We adapt the Ping-Pong Lemma, which historically was used to study free products of groups, to the setting of the homeomorphism group of the unit interval. As a consequence, we isolate a large class of generating sets for subgroups of $\mathrm{Homeo}_+(I)$ for which certain finite dynamical data can be used to determine the marked isomorphism type of the groups which they generate. As a corollary, we will obtain a criteria for embedding subgroups of $\mathrm{Homeo}_+(I)$ into Richard Thompson's group $F$. In particular, every member of our class of generating sets generates a group which embeds into $F$ and in particular is not a free product. An analogous abstract theory is also developed for groups of permutations of an infinite set. △ Less

Submitted 28 January, 2017; originally announced January 2017.

Comments: 32 pages, 7 figures; comments welcome

MSC Class: 20B07; 20B10; 20E07; 20E34

Symmetric automorphisms of free groups, BNSR-invariants, and finiteness properties

Authors: Matthew C. B. Zaremsky

Abstract: The BNSR-invariants of a group $G$ are a sequence $Σ^1(G)\supseteq Σ^2(G) \supseteq \cdots$ of geometric invariants that reveal important information about finiteness properties of certain subgroups of $G$. We consider the symmetric automorphism group $ΣAut_n$ and pure symmetric automorphism group $PΣAut_n$ of the free group $F_n$, and inspect their BNSR-invariants. We prove that for $n\ge 2$, all… ▽ More The BNSR-invariants of a group $G$ are a sequence $Σ^1(G)\supseteq Σ^2(G) \supseteq \cdots$ of geometric invariants that reveal important information about finiteness properties of certain subgroups of $G$. We consider the symmetric automorphism group $ΣAut_n$ and pure symmetric automorphism group $PΣAut_n$ of the free group $F_n$, and inspect their BNSR-invariants. We prove that for $n\ge 2$, all the ``positive'' and ``negative'' character classes of $PΣAut_n$ lie in $Σ^{n-2}(PΣAut_n)\setminus Σ^{n-1}(PΣAut_n)$. We use this to prove that for $n\ge 2$, $Σ^{n-2}(ΣAut_n)$ equals the full character sphere $S^0$ of $ΣAut_n$ but $Σ^{n-1}(ΣAut_n)$ is empty, so in particular the commutator subgroup $ΣAut_n'$ is of type $F_{n-2}$ but not $F_{n-1}$. Our techniques involve applying Morse theory to the complex of symmetric marked cactus graphs. △ Less

Submitted 11 July, 2016; originally announced July 2016.

Comments: 25 pages, 3 figures

MSC Class: 20F65; 20F28; 57M07

A user's guide to cloning systems

Authors: Matthew C. B. Zaremsky

Abstract: In joint work of the author with Stefan Witzel, a procedure was developed for building new examples of groups in the extended family of R. Thompson's groups, using what we termed \emph{cloning systems}. These new Thompson-like groups can be thought of as limits of families of groups, though unlike other limiting processes, e.g., direct limits, these tend to be well behaved with respect to finitene… ▽ More In joint work of the author with Stefan Witzel, a procedure was developed for building new examples of groups in the extended family of R. Thompson's groups, using what we termed \emph{cloning systems}. These new Thompson-like groups can be thought of as limits of families of groups, though unlike other limiting processes, e.g., direct limits, these tend to be well behaved with respect to finiteness properties. In this expository note, we distill the crucial parts of that 50-page paper into a more digestible form, for those curious to understand the construction but less curious about the gritty details. We also give one new example, of a cloning system involving signed symmetric groups. △ Less

Submitted 23 March, 2022; v1 submitted 28 June, 2016; originally announced June 2016.

Comments: v2: I never updated arXiv with the final version of this paper; here it is, 5 years later. In particular the first arXiv version didn't include Example 4.2 on ribbon braided Thompson groups, so now this is here. 14 pages, 5 figures. (Published in Topology Proceedings.) Short expository note summarizing the long paper arXiv:1405.5491

The Basilica Thompson group is not finitely presented

Authors: Stefan Witzel, Matthew C. B. Zaremsky

Abstract: We show that the Basilica Thompson group introduced by Belk and Forrest is not finitely presented, and in fact is not of type FP_2. The proof involves developing techniques for proving non-simple connectedness of certain subcomplexes of CAT(0) cube complexes. We show that the Basilica Thompson group introduced by Belk and Forrest is not finitely presented, and in fact is not of type FP_2. The proof involves developing techniques for proving non-simple connectedness of certain subcomplexes of CAT(0) cube complexes. △ Less

Submitted 3 March, 2016; originally announced March 2016.

Comments: 14 pages, 4 figures

MSC Class: 20F65; 57M07

Separation in the BNSR-invariants of the pure braid groups

Authors: Matthew C. B. Zaremsky

Abstract: We inspect the BNSR-invariants $Σ^m(P_n)$ of the pure braid groups $P_n$, using Morse theory. The BNS-invariants $Σ^1(P_n)$ were previously computed by Koban, McCammond and Meier. We prove that for any $3\le m\le n$, the inclusion $Σ^{m-2}(P_n)\subseteq Σ^{m-3}(P_n)$ is proper, but $Σ^\infty(P_n)=Σ^{n-2}(P_n)$. We write down explicit character classes in each relevant… ▽ More We inspect the BNSR-invariants $Σ^m(P_n)$ of the pure braid groups $P_n$, using Morse theory. The BNS-invariants $Σ^1(P_n)$ were previously computed by Koban, McCammond and Meier. We prove that for any $3\le m\le n$, the inclusion $Σ^{m-2}(P_n)\subseteq Σ^{m-3}(P_n)$ is proper, but $Σ^\infty(P_n)=Σ^{n-2}(P_n)$. We write down explicit character classes in each relevant $Σ^{m-3}(P_n)\setminus Σ^{m-2}(P_n)$. In particular we get examples of normal subgroups $N\le P_n$ with $P_n/N\cong\mathbb{Z}$ such that $N$ is of type $F_{m-3}$ but not $F_{m-2}$, for all $3\le m\le n$. △ Less

Submitted 30 July, 2015; originally announced July 2015.

Comments: 21 pages, 3 figures

MSC Class: 20F63; 57M07; 20F36

On the $Σ$-invariants of generalized Thompson groups and Houghton groups

Authors: Matthew C. B. Zaremsky

Abstract: We compute the higher $Σ$-invariants $Σ^m(F_{n,\infty})$ of the generalized Thompson groups $F_{n,\infty}$, for all $m,n\ge 2$. This extends the $n=2$ case done by Bieri, Geoghegan and Kochloukova, and the $m=2$ case done by Kochloukova. Our approach differs from those used in the $n=2$ and $m=2$ cases; we look at the action of $F_{n,\infty}$ on a $\textrm{CAT}(0)$ cube complex, and use Morse theo… ▽ More We compute the higher $Σ$-invariants $Σ^m(F_{n,\infty})$ of the generalized Thompson groups $F_{n,\infty}$, for all $m,n\ge 2$. This extends the $n=2$ case done by Bieri, Geoghegan and Kochloukova, and the $m=2$ case done by Kochloukova. Our approach differs from those used in the $n=2$ and $m=2$ cases; we look at the action of $F_{n,\infty}$ on a $\textrm{CAT}(0)$ cube complex, and use Morse theory to compute all the $Σ^m(F_{n,\infty})$. We also obtain lower bounds on $Σ^m(H_n)$, for the Houghton groups $H_n$, again using actions on $\textrm{CAT}(0)$ cube complexes, and discuss evidence that these bounds are sharp. △ Less

Submitted 9 February, 2015; originally announced February 2015.

Comments: 30 pages, 6 figures

MSC Class: 20F65; 57M07

The $Σ$-invariants of Thompson's group $F$ via Morse theory

Authors: Stefan Witzel, Matthew C. B. Zaremsky

Abstract: Bieri, Geoghegan and Kochloukova computed the BNSR-invariants $Σ^m(F)$ of Thompson's group $F$ for all $m$. We recompute these using entirely geometric techniques, making use of the Stein--Farley CAT(0) cube complex on which $F$ acts. Bieri, Geoghegan and Kochloukova computed the BNSR-invariants $Σ^m(F)$ of Thompson's group $F$ for all $m$. We recompute these using entirely geometric techniques, making use of the Stein--Farley CAT(0) cube complex on which $F$ acts. △ Less

Submitted 28 April, 2015; v1 submitted 27 January, 2015; originally announced January 2015.

Comments: 17 pages, 2 figures. v2: updated to add an acknowledgment (and some very minor edits)

MSC Class: 20F65; 57M07

HNN decompositions of the Lodha-Moore groups, and topological applications

Authors: Matthew C. B. Zaremsky

Abstract: The Lodha-Moore groups provide the first known examples of type F_\infty groups that are non-amenable and contain no non-abelian free subgroups. These groups are related to Thompson's group F in certain ways, for instance they contain it as a subgroup in a natural way. We exhibit decompositions of four Lodha-Moore groups, G, G_y, {_y}G and {_y}G_y, into ascending HNN extensions of isomorphic copie… ▽ More The Lodha-Moore groups provide the first known examples of type F_\infty groups that are non-amenable and contain no non-abelian free subgroups. These groups are related to Thompson's group F in certain ways, for instance they contain it as a subgroup in a natural way. We exhibit decompositions of four Lodha-Moore groups, G, G_y, {_y}G and {_y}G_y, into ascending HNN extensions of isomorphic copies of each other, both in ways reminiscent to such decompositions for F and also in quite different ways. This allows us to prove two new topological results about the Lodha-Moore groups. First, we prove that they all have trivial homotopy groups at infinity; in particular they are the first examples of groups satisfying all four parts of Geoghegan's 1979 conjecture about F. Second, we compute the Bieri-Neumann-Strebel invariant Sigma^1 for the Lodha-Moore groups, and get some partial results for the Bieri-Neumann-Strebel-Renz invariants Sigma^m, including a full computation of Sigma^2. △ Less

Submitted 30 October, 2014; originally announced October 2014.

Comments: 19 pages, 7 figures

MSC Class: 20F65; 57M07; 20E06; 20F69

Thompson groups for systems of groups, and their finiteness properties

Authors: Stefan Witzel, Matthew C. B. Zaremsky

Abstract: We describe a procedure for constructing a generalized Thompson group out of a family of groups that is equipped with what we call a cloning system. The previously known Thompson groups F, V, Vbr and Fbr arise from this procedure using, respectively, the systems of trivial groups, symmetric groups, braid groups and pure braid groups. We give new examples of families of groups that admit a clonin… ▽ More We describe a procedure for constructing a generalized Thompson group out of a family of groups that is equipped with what we call a cloning system. The previously known Thompson groups F, V, Vbr and Fbr arise from this procedure using, respectively, the systems of trivial groups, symmetric groups, braid groups and pure braid groups. We give new examples of families of groups that admit a cloning system and study how the finiteness properties of the resulting generalized Thompson group depend on those of the original groups. The main new examples here include upper triangular matrix groups, mock reflection groups, and loop braid groups. For generalized Thompson groups of upper triangular matrix groups over rings of S-integers of global function fields, we develop new methods for (dis-)proving finiteness properties, and show that the finiteness length of the generalized Thompson group is exactly the limit inferior of the finiteness lengths of the groups in the family. △ Less

Submitted 24 October, 2018; v1 submitted 21 May, 2014; originally announced May 2014.

Comments: 48 pages, 14 figures; version 2 with various minor corrections, notably to property (FSC3) and Section 3; version 3 final version with minor corrections

MSC Class: 20F65; 57M07; 20G30

Journal ref: Groups Geom. Dyn. 12(1), 2018, pp. 289-358

On normal subgroups of the braided Thompson groups

Authors: Matthew C. B. Zaremsky

Abstract: We inspect the normal subgroup structure of the braided Thompson groups Vbr and Fbr. We prove that every proper normal subgroup of Vbr lies in the kernel of the natural quotient Vbr \onto V, and we exhibit some families of interesting such normal subgroups. For Fbr, we prove that for any normal subgroup N of Fbr, either N is contained in the kernel of Fbr \onto F, or else N contains [Fbr,Fbr]. We… ▽ More We inspect the normal subgroup structure of the braided Thompson groups Vbr and Fbr. We prove that every proper normal subgroup of Vbr lies in the kernel of the natural quotient Vbr \onto V, and we exhibit some families of interesting such normal subgroups. For Fbr, we prove that for any normal subgroup N of Fbr, either N is contained in the kernel of Fbr \onto F, or else N contains [Fbr,Fbr]. We also compute the Bieri-Neumann-Strebel invariant Sigma^1(Fbr), which is a useful tool for understanding normal subgroups containing the commutator subgroup. △ Less

Submitted 31 January, 2018; v1 submitted 31 March, 2014; originally announced March 2014.

Comments: 21 pages, 6 figures. v2: accepted version, to appear in Groups, Geometry & Dynamics

MSC Class: 20F65

On Belk's classifying space for Thompson's group F

Authors: Lucas Sabalka, Matthew C. B. Zaremsky

Abstract: The space of configurations of n ordered points in the plane serves as a classifying space for the pure braid group PB_n. Elements of Thompson's group F admit a model similar to braids, except instead of braiding the strands split and merge. In Belk's thesis, a space CF was considered, of configurations of points on the real line allowing for splitting and merging, and a proof was sketched that CF… ▽ More The space of configurations of n ordered points in the plane serves as a classifying space for the pure braid group PB_n. Elements of Thompson's group F admit a model similar to braids, except instead of braiding the strands split and merge. In Belk's thesis, a space CF was considered, of configurations of points on the real line allowing for splitting and merging, and a proof was sketched that CF is a classifying space for F. The idea there was to build the universal cover and construct an explicit contraction to a point. Here we start with an established CAT(0) cube complex X on which F acts freely, and construct an explicit homotopy equivalence between X/F and CF, proving that CF is indeed a K(F,1). △ Less

Submitted 6 April, 2014; v1 submitted 27 June, 2013; originally announced June 2013.

Comments: v2 is a significant rewrite of v1. An error was found in Lemma 4.5 of v1, invalidating the last 25% of the paper. As such, v2 comprises the first part of v1, with some related necessary revisions. The main result about Thompson's group F remains unchanged. v2 has 12 pages and 4 figures

MSC Class: 20F65; 57M07

A free subgroup in the image of the 4-strand Burau representation

Authors: Stefan Witzel, Matthew C. B. Zaremsky

Abstract: It is known that the Burau representation of the 4-strand braid group is faithful if and only if certain matrices f and k generate a (non-abelian) free group. Regarding f and k as isometries of a euclidean building we show that f^3 and k^3 generate a free group. We give two proofs, one utilizing the metric geometry of the building, and the other using simplicial retractions. It is known that the Burau representation of the 4-strand braid group is faithful if and only if certain matrices f and k generate a (non-abelian) free group. Regarding f and k as isometries of a euclidean building we show that f^3 and k^3 generate a free group. We give two proofs, one utilizing the metric geometry of the building, and the other using simplicial retractions. △ Less

Submitted 30 April, 2013; originally announced April 2013.

Comments: 14 pages, 6 figures

MSC Class: 20F65; 51E24; 57M07

Journal ref: J. Knot Theory Ramifications 24 (2015)

Higher generation for pure braid groups

Authors: Matthew C. B. Zaremsky

Abstract: We exhibit some families of subgroups of the pure braid group that are highly generating, in the sense of Abels and Holz. In one class of examples, the relevant geometric object is a complex termed the restricted arc complex of a surface. Another arises by considering "dangling braiges," introduced by Bux, Fluch, Schwandt, Witzel and the author. We exhibit some families of subgroups of the pure braid group that are highly generating, in the sense of Abels and Holz. In one class of examples, the relevant geometric object is a complex termed the restricted arc complex of a surface. Another arises by considering "dangling braiges," introduced by Bux, Fluch, Schwandt, Witzel and the author. △ Less

Submitted 16 March, 2014; v1 submitted 6 December, 2012; originally announced December 2012.

Comments: This paper has been withdrawn by the author. Merged with arXiv:1210.2931 as an appendix. Withdrawn to avoid duplicate versions

MSC Class: 20F65; 20F36

The braided Thompson's groups are of type $F_\infty$

Authors: Kai-Uwe Bux, Martin Fluch, Marco Marschler, Stefan Witzel, Matthew C. B. Zaremsky

Abstract: We prove that the braided Thompson's groups $V_{\rm br}$ and $F_{\rm br}$ are of type $F_\infty$, confirming a conjecture by John Meier. The proof involves showing that matching complexes of arcs on surfaces are highly connected. In an appendix, Zaremsky uses these connectivity results to exhibit families of subgroups of the pure braid group that are highly generating, in the sense of Abels and Ho… ▽ More We prove that the braided Thompson's groups $V_{\rm br}$ and $F_{\rm br}$ are of type $F_\infty$, confirming a conjecture by John Meier. The proof involves showing that matching complexes of arcs on surfaces are highly connected. In an appendix, Zaremsky uses these connectivity results to exhibit families of subgroups of the pure braid group that are highly generating, in the sense of Abels and Holz. △ Less

Submitted 22 June, 2021; v1 submitted 10 October, 2012; originally announced October 2012.

Comments: 51 pages, 24 figures, v3 including erratum

MSC Class: 20F65; 20F36; 57M07; 20F05

Journal ref: J. Reine Angew. Math. 718 (2016), 59-101

The Brin-Thompson groups sV are of type F_\infty

Authors: Martin Fluch, Marco Marschler, Stefan Witzel, Matthew C. B. Zaremsky

Abstract: We prove that the Brin-Thompson groups sV, also called higher dimensional Thompson's groups, are of type F_\infty for all natural numbers s. This result was previously shown for s up to 3, by considering the action of sV on a naturally associated space. Our key step is to retract this space to a subspace sX which is easier to analyze. We prove that the Brin-Thompson groups sV, also called higher dimensional Thompson's groups, are of type F_\infty for all natural numbers s. This result was previously shown for s up to 3, by considering the action of sV on a naturally associated space. Our key step is to retract this space to a subspace sX which is easier to analyze. △ Less

Submitted 18 March, 2014; v1 submitted 19 July, 2012; originally announced July 2012.

Comments: Final version, in Pacific J. Math., 10 pages, 4 figures

MSC Class: 20F65; 57Q12

Journal ref: Pacific J. Math. 266 (2013) 283-295

Rational homological stability for groups of partially symmetric automorphisms of free groups

Authors: Matthew C. B. Zaremsky

Abstract: Let F_{n+m} be the free group of rank n+m, with generators x_1,...,x_{n+m}. An automorphism φof F_{n+m} is called partially symmetric if for each 1 \le i \le m, φ(x_i) is conjugate to x_j or x_j^{-1} for some 1 \le j \le m. Let Σ\Aut_n^m be the group of partially symmetric automorphisms. We prove that for any m \ge 0 the inclusion Σ\Aut_n^m \to Σ\Aut_{n+1}^m induces an isomorphism in rational homo… ▽ More Let F_{n+m} be the free group of rank n+m, with generators x_1,...,x_{n+m}. An automorphism φof F_{n+m} is called partially symmetric if for each 1 \le i \le m, φ(x_i) is conjugate to x_j or x_j^{-1} for some 1 \le j \le m. Let Σ\Aut_n^m be the group of partially symmetric automorphisms. We prove that for any m \ge 0 the inclusion Σ\Aut_n^m \to Σ\Aut_{n+1}^m induces an isomorphism in rational homology for dimensions i satisfying n \ge (3(i+1)+m)/2, with a similar statement for the groups PΣ\Aut_n^m of pure partially symmetric automorphisms. We also prove that for any n \ge 0 the inclusion Σ\Aut_n^m \to Σ\Aut_n^{m+1} induces an isomorphism in rational homology for dimensions i satisfying m > (3i-1)/2. △ Less

Submitted 12 December, 2012; v1 submitted 21 March, 2012; originally announced March 2012.

Comments: v2: Updated to reflect changes made to arxiv:0907.4642. v3: Significant simplification of Section 4.3 and Lemma 5.2. v4: Reorganized paper, most notably switched order of sections 4 and 5, and generally improved formatting/readability. Also added more historical background to introduction. Results and methods unchanged. 20 pages, 7 figures

MSC Class: 20F65; 20F28; 57M07

Journal ref: Algebr. Geom. Topol. 14 (2014) 1845-1879

Rational homological stability for groups of symmetric automorphisms of free groups

Authors: Matthew C. B. Zaremsky

Abstract: Let F_n be the free group of rank n, with generating set S=\{x_1,...,x_n\}. An automorphism φof F_n is called symmetric if for each 1\leq i\leq n, φ(x_i) is conjugate to x_j or x_j^{-1} for some 1\leq j\leq n. Let ΣAut(F_n) be the group of symmetric automorphisms. We prove that the inclusion ΣAut(F_n) \rightarrow ΣAut(F_{n+1}) induces an isomorphism in rational homology for n>(3i-1)/2. Let F_n be the free group of rank n, with generating set S=\{x_1,...,x_n\}. An automorphism φof F_n is called symmetric if for each 1\leq i\leq n, φ(x_i) is conjugate to x_j or x_j^{-1} for some 1\leq j\leq n. Let ΣAut(F_n) be the group of symmetric automorphisms. We prove that the inclusion ΣAut(F_n) \rightarrow ΣAut(F_{n+1}) induces an isomorphism in rational homology for n>(3i-1)/2. △ Less

Submitted 23 March, 2012; v1 submitted 28 November, 2011; originally announced November 2011.

Comments: Results subsumed by arXiv:1203.4845. Minor edits, references updated. 8 pages

Representatives of elliptic Weyl group elements in algebraic groups

Authors: Matthew C. B. Zaremsky

Abstract: An element w of a Weyl group W is called elliptic if it has no eigenvalue 1 in the standard reflection representation. We determine the order of any representative g in a semisimple algebraic group G of an elliptic element w in the corresponding Weyl group W. In particular if w has order d and G is simple of type different from C_n or F_4, then g has order d in G. An element w of a Weyl group W is called elliptic if it has no eigenvalue 1 in the standard reflection representation. We determine the order of any representative g in a semisimple algebraic group G of an elliptic element w in the corresponding Weyl group W. In particular if w has order d and G is simple of type different from C_n or F_4, then g has order d in G. △ Less

Submitted 26 September, 2011; originally announced September 2011.

Comments: 20 pages

Some reductive anisotropic groups that admit no non-trivial split spherical BN-pairs

Authors: Peter Abramenko, Matthew C. B. Zaremsky

Abstract: We prove, for any infinite field k, that any virtually trivial split spherical BN-pair in the group G(k) of k-rational points of a reductive k-group G is already trivial. We then inspect the case when G is k-anisotropic and show that in many situations G(k) admits no non-trivial split spherical BN-pairs. This improves results and contributes to a conjecture of Caprace and Marquis, which can be vie… ▽ More We prove, for any infinite field k, that any virtually trivial split spherical BN-pair in the group G(k) of k-rational points of a reductive k-group G is already trivial. We then inspect the case when G is k-anisotropic and show that in many situations G(k) admits no non-trivial split spherical BN-pairs. This improves results and contributes to a conjecture of Caprace and Marquis, which can be viewed as a converse to a well-known result of Borel and Tits. △ Less

Submitted 24 August, 2011; originally announced August 2011.

Comments: 11 pages, 1 figure