BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Matthew C. B. Zaremsky

Matthew C. B. Zaremsky contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.GRmath.GTmath.ATmath.OA

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
14works
0followers
4topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

14 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
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 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