BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Matthew C. B. Zaremsky

Matthew C. B. Zaremsky appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.GRmath.GTmath.ATmath.OA

Catalog footprint

What is connected

25works
4topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

25 published item(s)

preprint2026arXiv

Configuration spaces of circles in the plane

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 semidirect products of subgroups 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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

A taste of twisted Brin-Thompson groups

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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

A user's guide to cloning systems

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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Von Neumann algebras of Thompson-like groups from cloning systems

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.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Twisted Brin-Thompson groups

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.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

The BNSR-invariants of the Houghton groups, concluded

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}$.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Separation in the BNSR-invariants of the pure braid groups

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$.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

A combinatorial proof of the Degree Theorem in Auter space

We use discrete Morse theory to give a new proof of the Degree Theorem in Auter space A_n. There is a filtration of A_n into subspaces A_{n,k} using the degree of a graph, and the Degree Theorem says that each A_{n,k} is (k-1)-connected. This result is useful, for example to calculate stability bounds for the homology of Aut(F_n). The standard proof of the Degree Theorem is global in nature. Here we give a proof that only uses local considerations, and lends itself more readily to generalization.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

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

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).

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Division algebras and transitivity of group actions on buildings

Let D be a division algebra with center F and degree d>2. Let K|F be any splitting field. We analyze the action of D^\times and SL_1(D) on the spherical and affine buildings that may be associated to GL_d(K) and SL_d(K), and in particular show it is never strongly transitive. In the affine case we find examples where the action is nonetheless Weyl transitive. This extends results of Abramenko and Brown concerning the d=2 case, where strong transitivity is in fact possible. Our approach produces some explicit constructions, and we find that for d>2 the failure of the action to be strongly transitive is quite dramatic.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Rational homological stability for groups of symmetric automorphisms of free groups

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.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Strongly and Weyl transitive group actions on buildings arising from Chevalley groups

Let K be a field and g(K) a Chevalley group (scheme) over K. Let (B,N) be the standard spherical BN-pair in g(K), with T=B\cap N and Weyl group W=N/T. We prove that there exist non-trivial elements w\in W such that all representatives of w in N have finite order. This allows us to exhibit examples of subgroups of g(Q_p) that act Weyl transitively but not strongly transitively on the affine building Delta associated with g(Q_p). Such examples were previously known only in the case when g(Q_p)=SL_2(Q_p) and Delta is a tree.

0 citations0 reviewsNo code linkedOpen access