Search

A fundamental notion in group theory, which originates in an article of Ulam and von Neumann from $1947$ is uniform simplicity. A group $G$ is said to be $n$-uniformly simple for $n \in \mathbf{N}$ if for every $f,g\in G\setminus \{id\}$, there is a product of no more than $n$ conjugates of $g$ and $g^{-1}$ that equals $f$. Then $G$ is uniformly simple if it is $n$-uniformly simple for some $n \in \mathbf{N}$, and we refer to the smallest such $n$ as the Ulam width, denoted as $\mathcal{R}(G)$. If $G$ is simple but not uniformly simple, one declares $\mathcal{R}(G)=\infty$. In this article, we construct for each $n\in \mathbf{N}$, a finitely presented infinite simple group $G$ such that $n<\mathcal{R}(G)<\infty$. To our knowledge, these are the first such examples among the class of finitely presented infinite simple groups. Moreover, our examples are also of type $F_{\infty}$, which means that they are fundamental groups of aspherical CW complexes with finitely many cells in each dimension. Uniformly simple groups are in particular uniformly perfect: there is an $n\in \mathbf{N}$ such that every element of the group can be expressed as a product of at most $n$ commutators of elements in the group. We also show that the analogous notion of width for uniform perfection is also unbounded for our family of finitely presented infinite simple groups. Finally, since these notions of width are invariants of elementary equivalence, our construction also provides a natural infinite family of pairwise non-elementarily equivalent finitely presented infinite simple groups., Comment: 25 pages

Several algebraic criteria, reflecting displacement properties of transformation groups, have been used in the past years to prove vanishing of bounded cohomology and stable commutator length. Recently, the authors introduced the property of commuting cyclic conjugates, a new displacement technique that is widely applicable and provides vanishing of the bounded cohomology in all positive degrees and all dual separable coefficients. In this note we consider the most recent along with the by now classical displacement techniques and we study implications among them as well as counterexamples., Comment: 26 pages, 8 figures. Companion to arXiv:2311.16259. v2: minor changes

We prove the vanishing of bounded cohomology with separable dual coefficients for many groups of interest in geometry, dynamics, and algebra. These include compactly supported structure-preserving diffeomorphism groups of certain manifolds; the group of interval exchange transformations of the half line; piecewise linear and piecewise projective groups of the line, giving strong answers to questions of Calegari and Navas; direct limit linear groups of relevance in algebraic K-theory, thereby answering a question by Kastenholz and Sroka and a question of two of the authors and L\"oh; and certain subgroups of big mapping class groups, such as the stable braid group and the stable mapping class group, proving a conjecture of Bowden. Moreover, we prove that in the recently introduced framework of enumerated groups, the generic group has vanishing bounded cohomology with separable dual coefficients. At the heart of our approach is an elementary algebraic criterion called the commuting cyclic conjugates condition that is readily verifiable for the aforementioned large classes of groups., Comment: 67 pages, 7 figures. v2: added Corollary 1.19, expanded Section 6, updated references to the companion paper arXiv:2401.08857. v3: added Corollary 1.11. v4: rewrote Section 5.2 on compactly supported big mapping class groups

We construct the first examples of finitely presented simple groups of orientation-preserving homeomorphisms of the real line. Our examples are also of type $F_{\infty}$, have infinite geometric dimension, and admit a nontrivial homogeneous quasimorphism (and hence have infinite commutator width)., Comment: 10 pages. The proofs have been streamlined. To appear in Annales Scientifiques de l'\'{E}cole Normale Sup\'{e}rieure

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., Comment: 12 pages. v2: Final version, to appear in Ergodic Theory and Dynamical Systems

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., Comment: v2: final version, to appear in Algebraic & Geometric Topology

We prove that the finitely generated simple left orderable groups constructed by the second author with Hyde have vanishing second bounded cohomology, both with trivial real and trivial integral coefficients. As a consequence, these are the first examples of finitely generated non-indicable left orderable groups with vanishing second bounded cohomology. This answers Question 8 from the 2018 ICM proceedings article of Andr\'es Navas., Comment: 18 pages. The content of this preprint has been moved to another paper of the authors: arXiv:2111.07931

We prove a general criterion for the vanishing of second bounded cohomology (with trivial real coefficients) for groups that admit an action satisfying certain mild hypotheses. This leads to new computations of the second bounded cohomology for a large class of groups of homeomorphisms of $1$-manifolds, and a plethora of applications. First, we demonstrate that the finitely presented and nonamenable group $G_0$ constructed by the second author with Justin Moore satisfies that every subgroup has vanishing second bounded cohomology. This provides the first solution to a homological version of the von Neumann--Day Problem, posed by Calegari. Next, we develop a technical refinement of our criterion to demonstrate the existence of finitely generated non-indicable (even simple) left orderable groups with vanishing second bounded cohomology. This answers Question 8 from the 2018 ICM proceedings article of Navas. Then we provide the first examples of finitely presented groups whose spectrum of stable commutator length contains algebraic irrationals, answering a question of Calegari. Finally, we provide the first examples of manifolds whose simplicial volumes are algebraic and irrational, as further evidence towards a conjecture of Heuer and L\"{o}h., Comment: v3: 37 pages. This paper subsumes two other preprints of the authors: arXiv:2110.06286 and arXiv:2112.04458. Final version, to appear in Advances in Mathematics

We provide the first example of a finitely presented (in fact, type $F_\infty$) group with elements whose stable commutator length is algebraic and irrational, answering a question of Calegari. Our example is the lift to the real line of the \emph{golden ratio Thompson group} $T_\tau$: the circle analogue of the Cleary's golden ratio Thompson group $F_\tau$ which acts on the interval., Comment: 12 pages. This paper is subsumed by the following preprint of the authors: arXiv:2111.07931. Any reader interested only in the results for stable commutator length may find it easier to start here

The goal of this article is to exhibit two new families of finitely generated simple groups of homeomorphisms of $\mathbf{R}$. These families are strikingly different from existing families owing to the nature of their actions on $\mathbf{R}$, and exhibit surprising algebraic and dynamical features. In particular, one construction provides the first examples of finitely generated simple groups of homeomorphisms of the real line which also admit a minimal action by homeomorphisms on the circle. This provides new examples of finitely generated simple groups with infinite commutator width, and the first such left orderable examples. Another construction provides the first examples of finitely generated simple left orderable groups that admit minimal actions by homeomorphisms on the torus.

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., Comment: 25 pages, 3 figures

We introduce and study Polish topologies on various spaces of countable enumerated groups, where an enumerated group is simply a group whose underlying set is the set of natural numbers. Using elementary tools and well known examples from combinatorial group theory, combined with the Baire category theorem, we obtain a plethora of results demonstrating that several phenomena in group theory are generic. In effect, we provide a new topological framework for the analysis of various well known problems in group theory. We also provide a connection between genericity in these spaces, the word problem for finitely generated groups and model-theoretic forcing. Using these connections, we investigate the natural question: when does a certain space of enumerated groups contain a comeager isomorphism class? We obtain a sufficient condition that allows us to answer the question in the negative for the space of all enumerated groups and the space of left orderable enumerated groups. We document several open questions in connection with these considerations., Comment: 47 pages. The problem of existence of co-meager isomorphism classes for the space of left orderable enumerated groups is settled in the negative. Comments welcome!

We show that for a large class $\mathcal{C}$ of finitely generated groups of orientation preserving homeomorphisms of the real line, the following holds: Given a group $G$ of rank $k$ in $\mathcal{C}$, there is a sequence of $k$-markings $(G, S_n), n\in \mathbf{N}$ whose limit in the space of marked groups is the free group of rank $k$ with the standard marking. The class we consider consists of groups that admit actions satisfying mild dynamical conditions and a certain "self-similarity" type hypothesis. Examples include Thompson's group $F$, Higman-Thompson groups, Stein-Thompson groups, various Bieri-Strebel groups, the golden ratio Thompson group, and finitely presented non amenable groups of piecewise projective homeomorphisms. For the case of Thompson's group $F$ we provide a new and considerably simpler proof of this fact proved by Brin (Groups, Geometry, and Dynamics 2010)., Comment: 8 pages. Referee comments incorporated: to appear in the Journal of Algebra

We show that the finitely generated simple left orderable groups $G_{\rho}$ constructed by the first two authors in arXiv:1807.06478 are uniformly perfect - each element in the group can be expressed as a product of three commutators of elements in the group. This implies that the group does not admit any homogeneous quasimorphism. Moreover, any nontrivial action of the group on the circle, which lifts to an action on the real line, admits a fixed point. Most strikingly, it follows that the groups are examples of left orderable monsters, which means that any faithful action on the real line without a global fixed point is globally contracting. This answers Question 4 from the 2018 ICM proceedings article of the third author. (This question has also been answered simultaneously and independently, using completely different methods, by Matte Bon and Triestino in arXiv:1811.12256.) To prove our results, we provide a certain characterisation of elements of the group $G_{\rho}$ which is a useful new tool in the study of these examples., Comment: 20 pages (The spelling of the first name of the last author has been fixed. The statement of Corollary 0.2 has been amended.)

We construct examples of finitely generated infinite simple groups of homeomorphisms of the real line. Equivalently, these are examples of finitely generated simple left (or right) orderable groups. This answers a well known open question of Rhemtulla from 1980 concerning the existence of such groups. In fact, our construction provides a family of continuum many isomorphism types of groups with these properties., Comment: 21 pages. To appear in Inventiones Mathematicae

We provide a smoothening criterion for group actions on manifolds by singular diffeomorphisms. We prove that if a countable group $\Gamma$ has the fixed point property FW for walls (e.g. if it has property (T)), every aperiodic action of $\Gamma$ by diffeomorphisms that are of class $C^r$ with countably many singularities is conjugate to an action by true diffeomorphisms of class $C^r$ on a homeomorphic (possibly non-diffeomorphic) manifold. As applications, we show that Navas's result for actions of Kazhdan groups on the circle, as well as the recent solutions to Zimmer's conjecture, generalise to aperiodic actions by diffeomorphisms with countably many singularities., Comment: 20 pages, to appear in Journal of Topology

We study actions of groups by homeomorphisms on $\mathbf{R}$ (or an interval) that are minimal, have solvable germs at $\pm \infty$ and contain a pair of elements of a certain type. We call such actions coherent. We establish that such an action is rigid, i.e. any two such actions of the same group are topologically conjugate. We also establish that the underlying group is always non elementary amenable, but satisfies that every proper quotient is solvable. As a first application, we demonstrate that any coherent group action $G

We construct a finitely presented, infinite, simple group that acts by homeomorphisms on the circle, but does not admit a non-trivial action by $C^1$-diffeomorphisms on the circle. The group emerges as a group of piecewise projective homeomorphisms of $S^1=\mathbf{R}\cup \{\infty\}$. However, we show that it does not admit a non-trivial action by piecewise linear homeomorphisms of the circle. Another interesting and new feature of this example is that it produces a non amenable orbit equivalence relation with respect to the Lebesgue measure., Comment: 30 pages (Some typos have been corrected and some proofs have been streamlined.)

Ghys and Sergiescu proved in the $80$s that Thompson's group $T$, and hence $F$, admits actions by $C^{\infty}$ diffeomorphisms of the circle . They proved that the standard actions of these groups are topologically conjugate to a group of $C^\infty$ diffeomorphisms. Monod defined a family of groups of piecewise projective homeomorphisms, and Lodha-Moore defined finitely presentable groups of piecewise projective homeomorphisms. These groups are of particular interest because they are nonamenable and contain no free subgroup. In contrast to the result of Ghys-Sergiescu, we prove that the groups of Monod and Lodha-Moore are not topologically conjugate to a group of $C^1$ diffeomorphisms. Furthermore, we show that the group of Lodha-Moore has no nonabelian $C^1$ action on the interval. We also show that many Monod's groups $H(A)$, for instance when $A$ is such that $\mathsf{PSL}(2,A)$ contains a rational homothety $x\mapsto \tfrac{p}{q}x$, do not admit a $C^1$ action on the interval. The obstruction comes from the existence of hyperbolic fixed points for $C^1$ actions. With slightly different techniques, we also show that some groups of piecewise affine homeomorphisms of the interval or the circle are not smoothable., Comment: 26 pages, 1 figure. Arithmetic conditions in the main theorems have been weakened

We study two--generated subgroups $\langle f,g\rangle<\mathrm{Homeo}^+(I)$ such that $\langle f^2,g^2\rangle$ is isomorphic to Thompson's group $F$, and such that the supports of $f$ and $g$ form a chain of two intervals. We show that this class contains uncountably many isomorphism types. These include examples with nonabelian free subgroups, examples which do not admit faithful actions by $C^2$ diffeomorphisms on $1$--manifolds, examples which do not admit faithful actions by $PL$ homeomorphisms on an interval, and examples which are not finitely presented. We thus answer questions due to M. Brin. We also show that many relatively uncomplicated groups of homeomorphisms can have very complicated square roots, thus establishing the behavior of square roots of $F$ as part of a general phenomenon among subgroups of $\mathrm{Homeo}^+(I)$., Comment: 20 pages. Revised according to referee report. To appear in Ergodic Theory Dynam. Systems

We introduce and study the notion of a chain group of homeomorphisms of a one-manifold, which is a certain generalization of Thompson's group $F$. The resulting class of groups exhibits a combination of uniformity and diversity. On the one hand, a chain group either has a simple commutator subgroup or the action of the group has a wandering interval. In the latter case, the chain group admits a canonical quotient which is also a chain group, and which has a simple commutator subgroup. On the other hand, every finitely generated subgroup of $\operatorname{Homeo}^+(I)$ can be realized as a subgroup of a chain group. As a corollary, we show that there are uncountably many isomorphism types of chain groups, as well as uncountably many isomorphism types of countable simple subgroups of $\operatorname{Homeo}^+(I)$. We consider the restrictions on chain groups imposed by actions of various regularities, and show that there are uncountably many isomorphism types of $3$--chain groups which cannot be realized by $C^2$ diffeomorphisms, as well as uncountably many isomorphism types of $6$--chain groups which cannot be realized by $C^1$ diffeomorphisms. As a corollary, we obtain uncountably many isomorphism types of simple subgroups of $\operatorname{Homeo}^+(I)$ which admit no nontrivial $C^1$ actions on the interval. Finally, we show that if a chain group acts minimally on the interval, then it does so uniquely up to topological conjugacy., Comment: 24 pages, 4 figues. To appear in Ann. Sci. de l'ENS

The Tarski number of a non amenable group is the smallest number of pieces needed for a paradoxical decomposition of the group. Non amenable groups of piecewise projective homeomorphisms were introduced by Monod, and non amenable finitely presented groups of piecewise projective homeomorphisms were introduced by the author in joint work with Justin Moore. These groups do not contain non abelian free subgroups. In this article we prove that the Tarski number of all groups in both families is at most 25. In particular we demonstrate the existence of a paradoxical decomposition with 25 pieces. Our argument also applies to any group of piecewise projective homeomorphisms that contains as a subgroup the group of piecewise $PSL_2(\mathbb{Z})$ homeomorphisms of $\mathbb{R}$ with rational breakpoints, and an affine map that is a not an integer translation.

In 2012 Monod introduced examples of groups of piecewise projective homeomorphisms which are not amenable and which do not contain free subgroups, and later Lodha and Moore introduced examples of finitely presented groups with the same property. In this article we examine the normal subgroup structure of these groups. Two important cases of our results are the groups $H$ and $G_0$. We show that the group $H$ of piecewise projective homeomorphisms of $\mathbb{R}$ has the property that $H"$ is simple and that every proper quotient of $H$ is metabelian. We establish simplicity of the commutator subgroup of the group $G_0$, which admits a presentation with $3$ generators and $9$ relations. Further we show that every proper quotient of $G_0$ is abelian. It follows that the normal subgroups of these groups are in bijective correspondence with those of the abelian (or metabelian) quotient.

We prove that the group of homeomorphisms of the circle introduced by the author with Justin Moore (Groups, Geometry and Dynamics 2015) is of type $F_{\infty}$. This makes the group the first example of a type $F_{\infty}$ group which is nonamenable and does not contain nonabelian free subgroups. To prove our result we provide a certain generalisation of cube complexes, which we refer to as cluster complexes. We also obtain a computable normal form, or a canonical unique choice of a word for each element of the group., Comment: 72 Pages. Referee comments have been incorporated. To appear in the Journal of Topology

Brady proved that there are hyperbolic groups with finitely presented subgroups that are not of type $FP_3$ (and hence not hyperbolic). We reprove Brady's theorem by presenting a new construction. Our construction uses Bestvina-Brady Morse theory, but does not involve branched coverings., Comment: 11 pages

In this article we will describe a finitely presented subgroup of Monod's group of piecewise projective homeomorphisms of R. This in particular provides a new example of a finitely presented group which is nonamenable and yet does not contain a nonabelian free subgroup. It is in fact the first such example which is torsion free. We will also develop a means for representing the elements of the group by labeled tree diagrams in a manner which closely parallels Richard Thompson's group F., Comment: Formerly "A geometric solution to the von Neumann-Day problem for finitely presented groups". Section added on tree diagrams. Minor revisions elsewhere