-
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.
-
Bounded cohomology, quotient extensions, and hierarchical hyperbolicity
Authors:
Francesco Fournier-Facio,
Giorgio Mangioni,
Alessandro Sisto
Abstract:
We call a central extension bounded if its Euler class is represented by a bounded cocycle. We prove that a bounded central extension of a hierarchically hyperbolic group (HHG) is still a HHG; conversely if a central extension is a HHG, then the extension is bounded, and the quotient is commensurable to a HHG. Motivated by questions on hierarchical hyperbolicity of quotients of mapping class group…
▽ More
We call a central extension bounded if its Euler class is represented by a bounded cocycle. We prove that a bounded central extension of a hierarchically hyperbolic group (HHG) is still a HHG; conversely if a central extension is a HHG, then the extension is bounded, and the quotient is commensurable to a HHG. Motivated by questions on hierarchical hyperbolicity of quotients of mapping class groups, we therefore consider the general problem of determining when a quotient of a bounded central extension is still bounded, which we prove to be equivalent to an extendability problem for quasihomomorphisms. Finally, we show that quotients of the 4-strands braid group by suitable powers of a pseudo-Anosov are HHG, and in fact bounded central extensions of some HHG. We also speculate on how to extend the previous result to all mapping class groups.
△ Less
Submitted 26 May, 2025;
originally announced May 2025.
-
Property $R_{\infty}$ for groups with infinitely many ends
Authors:
Harry Iveson,
Armando Martino,
Wagner Sgobbi,
Peter Wong with an appendix by Francesco Fournier-Facio
Abstract:
We show that an accessible group with infinitely many ends has property $R_{\infty}$. That is, it has infinitely many twisted conjugacy classes for any twisting automorphism. We deduce that having property $R_{\infty}$ is undecidable amongst finitely presented groups.
We also show that the same is true for a wide class of relatively hyperbolic groups, filling in some of the gaps in the literatur…
▽ More
We show that an accessible group with infinitely many ends has property $R_{\infty}$. That is, it has infinitely many twisted conjugacy classes for any twisting automorphism. We deduce that having property $R_{\infty}$ is undecidable amongst finitely presented groups.
We also show that the same is true for a wide class of relatively hyperbolic groups, filling in some of the gaps in the literature. Specifically, we show that a non-elementary, finitely presented relatively hyperbolic group with finitely generated peripheral subgroups which are not themselves relatively hyperbolic, has property $R_{\infty}$.
In an appendix, Francesco Fournier-Facio shows that a group with a non-zero Aut-invariant homogeneous quasimorphism has property $R_\infty$, which applies to many groups with hyperbolic features.
△ Less
Submitted 4 June, 2025; v1 submitted 16 April, 2025;
originally announced April 2025.
-
Stable reflection length in Coxeter groups
Authors:
Francesco Fournier-Facio,
Marco Lotz,
Timothée Marquis
Abstract:
We introduce stable reflection length in Coxeter groups, as a way to study the asymptotic behaviour of reflection length. This creates connections to other well-studied stable length functions in groups, namely stable commutator length and stable torsion length. As an application, we give a complete characterisation of elements whose reflection length is unbounded on powers.
We introduce stable reflection length in Coxeter groups, as a way to study the asymptotic behaviour of reflection length. This creates connections to other well-studied stable length functions in groups, namely stable commutator length and stable torsion length. As an application, we give a complete characterisation of elements whose reflection length is unbounded on powers.
△ Less
Submitted 31 March, 2025;
originally announced April 2025.
-
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.
-
Dimensions of finitely generated simple groups and their subgroups
Authors:
Francesco Fournier-Facio,
Bin Sun
Abstract:
We construct finitely generated simple torsion-free groups with strong homological control. Our main result is that every subset of $\mathbb{N} \cup \{\infty\}$, with some obvious exceptions, can be realized as the set of dimensions of subgroups of a finitely generated simple torsion-free group. This is new even for basic cases such as $\{ 0, 1, 3 \}$ and $\{ 0, 1, \infty \}$, even without simplic…
▽ More
We construct finitely generated simple torsion-free groups with strong homological control. Our main result is that every subset of $\mathbb{N} \cup \{\infty\}$, with some obvious exceptions, can be realized as the set of dimensions of subgroups of a finitely generated simple torsion-free group. This is new even for basic cases such as $\{ 0, 1, 3 \}$ and $\{ 0, 1, \infty \}$, even without simplicity or finite generation, and answers a question of Talelli and disproves a conjecture of Petrosyan. Moreover, we prove that every countable group of dimension at least $2$ embeds into a finitely generated simple group of the same dimension. These are the first examples of finitely generated simple groups with dimension other than $2$ or $\infty$. As another application, we exhibit the first examples of torsion-free groups with the fixed point property for actions on finite-dimensional contractible CW-complexes, and construct torsion-free groups in all countable levels of Kropholler's hierarchy, answering a question of Januszkiewicz, Kropholler and Leary. Our method combines small cancellation theory with group theoretic Dehn filling, and allows to do several other exotic constructions with control on the dimension. Along the way we construct the first uncountable family of pairwise non-measure equivalent finitely generated torsion-free groups.
△ Less
Submitted 10 April, 2025; v1 submitted 3 March, 2025;
originally announced March 2025.
-
A note on separability in outer automorphism groups
Authors:
Francesco Fournier-Facio
Abstract:
We give a criterion for separability of subgroups of certain outer automorphism groups. This answers questions of Hagen and Sisto, by strengthening and generalizing a result of theirs on mapping class groups.
We give a criterion for separability of subgroups of certain outer automorphism groups. This answers questions of Hagen and Sisto, by strengthening and generalizing a result of theirs on mapping class groups.
△ Less
Submitted 6 January, 2025; v1 submitted 18 July, 2024;
originally announced July 2024.
-
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.
-
The bounded cohomology of transformation groups of Euclidean spaces and discs
Authors:
Francesco Fournier-Facio,
Nicolas Monod,
Sam Nariman,
Alexander Kupers
Abstract:
We prove that the groups of orientation-preserving homeomorphisms and diffeomorphisms of $\mathbb{R}^n$ are boundedly acyclic, in all regularities. This is the first full computation of the bounded cohomology of a transformation group that is not compactly supported, and it implies that many characteristic classes of flat $\mathbb{R}^n$- and $S^n$-bundles are unbounded. We obtain the same result f…
▽ More
We prove that the groups of orientation-preserving homeomorphisms and diffeomorphisms of $\mathbb{R}^n$ are boundedly acyclic, in all regularities. This is the first full computation of the bounded cohomology of a transformation group that is not compactly supported, and it implies that many characteristic classes of flat $\mathbb{R}^n$- and $S^n$-bundles are unbounded. We obtain the same result for the group of homeomorphisms of the disc that restrict to the identity on the boundary, and for the homeomorphism group of the non-compact Cantor set. In the appendix, Alexander Kupers proves a controlled version of the annulus theorem which we use to study the bounded cohomology of the homeomorphism group of the discs.
△ Less
Submitted 26 September, 2024; v1 submitted 30 May, 2024;
originally announced May 2024.
-
Displacement techniques in bounded cohomology
Authors:
Caterina Campagnolo,
Francesco Fournier-Facio,
Yash Lodha,
Marco Moraschini
Abstract:
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 a…
▽ More
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.
△ Less
Submitted 20 September, 2024; v1 submitted 16 January, 2024;
originally announced January 2024.
-
Infinite simple characteristic quotients
Authors:
Rémi Coulon,
Francesco Fournier-Facio
Abstract:
We construct continuum many infinite, simple, characteristic quotients of non-abelian free groups, answering a 1978 question of James Wiegold. The method is very flexible, allowing to impose certain properties on the quotients, to generalize the construction to large classes of groups with hyperbolic features, and to produce quasi-isometrically diverse examples.
We construct continuum many infinite, simple, characteristic quotients of non-abelian free groups, answering a 1978 question of James Wiegold. The method is very flexible, allowing to impose certain properties on the quotients, to generalize the construction to large classes of groups with hyperbolic features, and to produce quasi-isometrically diverse examples.
△ Less
Submitted 6 November, 2024; v1 submitted 18 December, 2023;
originally announced December 2023.
-
An algebraic criterion for the vanishing of bounded cohomology
Authors:
Caterina Campagnolo,
Francesco Fournier-Facio,
Yash Lodha,
Marco Moraschini
Abstract:
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 questio…
▽ More
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öh; 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.
△ Less
Submitted 6 July, 2024; v1 submitted 27 November, 2023;
originally announced November 2023.
-
GAGTA 2023 Problem Session
Authors:
Henry Bradford,
Christopher H. Cashen,
Francesco Fournier-Facio,
Nicolás Matte Bon,
Harry Petyt
Abstract:
The conference `Geometric and Asymptotic Group Theory with Applications (GAGTA) 2023: Groups and Dynamics' took place at the Erwin Schrödinger Institute on July 17-21. These are the problems that were proposed during the Problem Session: Residual finiteness growth, Geometric v. random walk boundaries, Stability, Cogrowth, Embedding left orderable groups, Schreier growth gap, $\ell^p$ models for hy…
▽ More
The conference `Geometric and Asymptotic Group Theory with Applications (GAGTA) 2023: Groups and Dynamics' took place at the Erwin Schrödinger Institute on July 17-21. These are the problems that were proposed during the Problem Session: Residual finiteness growth, Geometric v. random walk boundaries, Stability, Cogrowth, Embedding left orderable groups, Schreier growth gap, $\ell^p$ models for hyperbolic groups, Characterizing hyperbolic groups
△ Less
Submitted 6 October, 2023;
originally announced October 2023.
-
Local Hilbert--Schmidt stability
Authors:
Francesco Fournier-Facio,
Maria Gerasimova,
Pieter Spaas
Abstract:
We introduce a notion of local Hilbert--Schmidt stability, motivated by the recent definition by Bradford of local permutation stability, and give examples of (non-residually finite) groups that are locally Hilbert--Schmidt stable but not Hilbert--Schmidt stable. For amenable groups, we provide a criterion for local Hilbert--Schmidt stability in terms of group characters, by analogy with the chara…
▽ More
We introduce a notion of local Hilbert--Schmidt stability, motivated by the recent definition by Bradford of local permutation stability, and give examples of (non-residually finite) groups that are locally Hilbert--Schmidt stable but not Hilbert--Schmidt stable. For amenable groups, we provide a criterion for local Hilbert--Schmidt stability in terms of group characters, by analogy with the character criterion of Hadwin and Shulman for Hilbert--Schmidt stable amenable groups. Furthermore, we study the (very) flexible analogues of local Hilbert--Schmidt stability, and we prove several results analogous to the classical setting. Finally, we prove that infinite sofic, respectively hyperlinear, property (T) groups are never locally permutation stable, respectively locally Hilbert--Schmidt stable. This strengthens the result of Becker and Lubotzky for classical stability, and answers a question of Lubotzky.
△ Less
Submitted 7 October, 2024; v1 submitted 24 July, 2023;
originally announced July 2023.
-
Ulam stability of lamplighters and Thompson groups
Authors:
Francesco Fournier-Facio,
Bharatram Rangarajan
Abstract:
We show that a large family of groups is uniformly stable relative to unitary groups equipped with submultiplicative norms, such as the operator, Frobenius, and Schatten $p$-norms. These include lamplighters $Γ\wr Λ$ where $Λ$ is infinite and amenable, as well as several groups of dynamical origin such as the classical Thompson groups $F, F', T$ and $V$. We prove this by means of vanishing results…
▽ More
We show that a large family of groups is uniformly stable relative to unitary groups equipped with submultiplicative norms, such as the operator, Frobenius, and Schatten $p$-norms. These include lamplighters $Γ\wr Λ$ where $Λ$ is infinite and amenable, as well as several groups of dynamical origin such as the classical Thompson groups $F, F', T$ and $V$. We prove this by means of vanishing results in asymptotic cohomology, a theory introduced by the second author, Glebsky, Lubotzky and Monod, which is suitable for studying uniform stability. Along the way, we prove some foundational results in asymptotic cohomology, and use them to prove some hereditary features of Ulam stability. We further discuss metric approximation properties of such groups, taking values in unitary or symmetric groups.
△ Less
Submitted 8 July, 2023; v1 submitted 10 January, 2023;
originally announced January 2023.
-
Property (NL) for group actions on hyperbolic spaces
Authors:
Sahana Balasubramanya,
Francesco Fournier-Facio,
Anthony Genevois,
Alessandro Sisto
Abstract:
We introduce Property (NL), which indicates that a group does not admit any (isometric) action on a hyperbolic space with loxodromic elements. In other words, such a group $G$ can only admit elliptic or horocyclic hyperbolic actions, and consequently its poset of hyperbolic structures $\mathcal{H}(G)$ is trivial. It turns out that many groups satisfy this property; and we initiate the formal study…
▽ More
We introduce Property (NL), which indicates that a group does not admit any (isometric) action on a hyperbolic space with loxodromic elements. In other words, such a group $G$ can only admit elliptic or horocyclic hyperbolic actions, and consequently its poset of hyperbolic structures $\mathcal{H}(G)$ is trivial. It turns out that many groups satisfy this property; and we initiate the formal study of this phenomenon. Of particular importance is the proof of a dynamical criterion in this paper that ensures that groups with rich actions on compact Hausdorff spaces have Property (NL). These include many Thompson-like groups, such as $V, T$ and even twisted Brin--Thompson groups, which implies that every finitely generated group quasi-isometrically embeds into a finitely generated simple group with Property (NL). We also study the stability of the property under group operations and explore connections to other fixed point properties. In the appendix (by Alessandro Sisto) we describe a construction of cobounded actions on hyperbolic spaces starting from non-cobounded ones that preserves various properties of the initial action.
△ Less
Submitted 1 September, 2023; v1 submitted 29 December, 2022;
originally announced December 2022.
-
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.
-
Hopfian wreath products and the stable finiteness conjecture
Authors:
Henry Bradford,
Francesco Fournier-Facio
Abstract:
We study the Hopf property for wreath products of finitely generated groups, focusing on the case of an abelian base group. Our main result establishes a strong connection between this problem and Kaplansky's stable finiteness conjecture. Namely, the latter holds true if and only if for every finitely generated abelian group $A$ and every finitely generated Hopfian group $Γ$ the wreath product…
▽ More
We study the Hopf property for wreath products of finitely generated groups, focusing on the case of an abelian base group. Our main result establishes a strong connection between this problem and Kaplansky's stable finiteness conjecture. Namely, the latter holds true if and only if for every finitely generated abelian group $A$ and every finitely generated Hopfian group $Γ$ the wreath product $A \wr Γ$ is Hopfian. In fact, we characterize precisely when $A \wr Γ$ is Hopfian, in terms of the existence of one-sided units in certain matrix algebras over $\mathbb{F}_p[Γ]$, for every prime $p$ occurring as the order of some element in $A$. A tool in our arguments is the fact that fields of positive characteristic locally embed into matrix algebras over $\mathbb{F}_p$ thus reducing the stable finiteness conjecture to the case of $\mathbb{F}_p$. A further application of this result shows that the validity of Kaplansky's stable finiteness conjecture is equivalent to a version of Gottschalk's surjunctivity conjecture for additive cellular automata.
△ Less
Submitted 2 September, 2024; v1 submitted 2 November, 2022;
originally announced November 2022.
-
Aut-invariant quasimorphisms on groups
Authors:
Francesco Fournier-Facio,
Richard D. Wade
Abstract:
For a large class of groups, we exhibit an infinite-dimensional space of homogeneous quasimorphisms that are invariant under the action of the automorphism group. This class includes non-elementary hyperbolic groups, infinitely-ended finitely generated groups, some relatively hyperbolic groups, and a class of graph products of groups that includes all right-angled Artin and Coxeter groups that are…
▽ More
For a large class of groups, we exhibit an infinite-dimensional space of homogeneous quasimorphisms that are invariant under the action of the automorphism group. This class includes non-elementary hyperbolic groups, infinitely-ended finitely generated groups, some relatively hyperbolic groups, and a class of graph products of groups that includes all right-angled Artin and Coxeter groups that are not virtually abelian. This was known for $F_2$ by a result of Brandenbursky and Marcinkowski, but is new even for free groups of higher rank, settling a question of Miklós Abért. The case of graph products of finitely generated abelian groups settles a question of Michal Marcinkowski. As a consequence, we deduce that a variety of Aut-invariant norms on such groups are unbounded.
△ Less
Submitted 5 May, 2023; v1 submitted 1 November, 2022;
originally announced November 2022.
-
Median quasimorphisms on CAT(0) cube complexes and their cup products
Authors:
Benjamin Brück,
Francesco Fournier-Facio,
Clara Loeh
Abstract:
Cup products provide a natural approach to access higher bounded cohomology groups. We extend vanishing results on cup products of Brooks quasimorphisms of free groups to cup products of median quasimorphisms, i.e., Brooks-type quasimorphisms of group actions on CAT(0) cube complexes. In particular, we obtain such vanishing results for groups acting on trees and for right-angled Artin groups. More…
▽ More
Cup products provide a natural approach to access higher bounded cohomology groups. We extend vanishing results on cup products of Brooks quasimorphisms of free groups to cup products of median quasimorphisms, i.e., Brooks-type quasimorphisms of group actions on CAT(0) cube complexes. In particular, we obtain such vanishing results for groups acting on trees and for right-angled Artin groups. Moreover, we outline potential applications of vanishing results for cup products in bounded cohomology.
△ Less
Submitted 1 December, 2023; v1 submitted 13 September, 2022;
originally announced September 2022.
-
No quasi-isometric rigidity for proper actions on CAT(0) cube complexes
Authors:
Francesco Fournier-Facio,
Anthony Genevois
Abstract:
We exhibit a variety of groups that act properly and even cocompactly on median graphs (a.k.a. one-skeletons of CAT(0) cube complexes), with quasi-isometric groups that do not admit any proper action on a median graph. This answes a question of Niblo, Sageev and Wise. Our examples are all quasi-isometrically trivial central extensions of certain cubulated groups.
We exhibit a variety of groups that act properly and even cocompactly on median graphs (a.k.a. one-skeletons of CAT(0) cube complexes), with quasi-isometric groups that do not admit any proper action on a median graph. This answes a question of Niblo, Sageev and Wise. Our examples are all quasi-isometrically trivial central extensions of certain cubulated groups.
△ Less
Submitted 9 May, 2023; v1 submitted 15 August, 2022;
originally announced August 2022.
-
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.
-
Finitely generated simple left orderable groups with vanishing second bounded cohomology
Authors:
Francesco Fournier-Facio,
Yash Lodha
Abstract:
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 pr…
▽ More
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és Navas.
△ Less
Submitted 4 June, 2023; v1 submitted 8 December, 2021;
originally announced December 2021.
-
Second bounded cohomology of groups acting on $1$-manifolds and applications to spectrum problems
Authors:
Francesco Fournier-Facio,
Yash Lodha
Abstract:
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 nonamenab…
▽ More
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öh.
△ Less
Submitted 4 June, 2023; v1 submitted 15 November, 2021;
originally announced November 2021.
-
Bounded cohomology and binate groups
Authors:
Francesco Fournier-Facio,
Clara Loeh,
Marco Moraschini
Abstract:
A group is boundedly acyclic if its bounded cohomology with trivial real coefficients vanishes in all positive degrees. Amenable groups are boundedly acyclic, while the first non-amenable examples were the group of compactly supported homeomorphisms of $\mathbb{R}^n$ (Matsumoto--Morita) and mitotic groups (Löh). We prove that binate (alias pseudo-mitotic) groups are boundedly acyclic, which provid…
▽ More
A group is boundedly acyclic if its bounded cohomology with trivial real coefficients vanishes in all positive degrees. Amenable groups are boundedly acyclic, while the first non-amenable examples were the group of compactly supported homeomorphisms of $\mathbb{R}^n$ (Matsumoto--Morita) and mitotic groups (Löh). We prove that binate (alias pseudo-mitotic) groups are boundedly acyclic, which provides a unifying approach to the aforementioned results. Moreover, we show that binate groups are universally boundedly acyclic.
We obtain several new examples of boundedly acyclic groups as well as computations of the bounded cohomology of certain groups acting on the circle. In particular, we discuss how these results suggest that the bounded cohomology of the Thompson groups $F$, $T$, and $V$ is as simple as possible.
△ Less
Submitted 21 March, 2022; v1 submitted 8 November, 2021;
originally announced November 2021.
-
Algebraic irrational stable commutator length in finitely presented groups
Authors:
Francesco Fournier-Facio,
Yash Lodha
Abstract:
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_τ$: the circle analogue of the Cleary's golden ratio Thompson group $F_τ$ which acts on the interval.
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_τ$: the circle analogue of the Cleary's golden ratio Thompson group $F_τ$ which acts on the interval.
△ Less
Submitted 16 November, 2021; v1 submitted 12 October, 2021;
originally announced October 2021.
-
Bounded cohomology of finitely presented groups: vanishing, non-vanishing, and computability
Authors:
Francesco Fournier-Facio,
Clara Loeh,
Marco Moraschini
Abstract:
We provide new computations in bounded cohomology:
A group is boundedly acyclic if its bounded cohomology with trivial real coefficients is zero in all positive degrees. We show that there exists a continuum of finitely generated non-amenable boundedly acyclic groups and construct a finitely presented non-amenable boundedly acyclic group.
On the other hand, we construct a continuum of finitely…
▽ More
We provide new computations in bounded cohomology:
A group is boundedly acyclic if its bounded cohomology with trivial real coefficients is zero in all positive degrees. We show that there exists a continuum of finitely generated non-amenable boundedly acyclic groups and construct a finitely presented non-amenable boundedly acyclic group.
On the other hand, we construct a continuum of finitely generated groups, whose bounded cohomology has uncountable dimension in all degrees greater than or equal to~$2$, and a concrete finitely presented one. Countable non-amenable groups with these two extreme properties were previously known to exist, but these constitute the first finitely generated/finitely presented examples.
Finally, we show that various algorithmic problems on bounded cohomology are undecidable.
△ Less
Submitted 21 October, 2022; v1 submitted 25 June, 2021;
originally announced June 2021.
-
Ultrametric analogues of Ulam stability of groups
Authors:
Francesco Fournier-Facio
Abstract:
We study stability of metric approximations of countable groups with respect to groups endowed with ultrametrics, the main case study being a $p$-adic analogue of Ulam stability, where we take $\mathrm{GL}_n(\mathbb{Z}_p)$ as approximating groups instead of $\mathrm{U}(n)$. For finitely presented groups, the ultrametric nature implies equivalence of the pointwise and uniform stability problems, an…
▽ More
We study stability of metric approximations of countable groups with respect to groups endowed with ultrametrics, the main case study being a $p$-adic analogue of Ulam stability, where we take $\mathrm{GL}_n(\mathbb{Z}_p)$ as approximating groups instead of $\mathrm{U}(n)$. For finitely presented groups, the ultrametric nature implies equivalence of the pointwise and uniform stability problems, and the profinite one implies that the corresponding approximation property is equivalent to residual finiteness. Moreover, a group is uniformly stable if and only if its largest residually finite quotient is. We provide several examples of uniformly stable groups, including finite groups, virtually free groups, some groups acting on rooted trees, and certain lamplighter and (Generalized) Baumslag--Solitar groups. We construct a finitely generated group that is not uniformly stable. Finally, we prove and apply a (bounded) cohomological criterion for stability of a finitely presented group.
△ Less
Submitted 31 December, 2023; v1 submitted 2 May, 2021;
originally announced May 2021.
-
Normed amenability and bounded cohomology over non-Archimedean fields
Authors:
Francesco Fournier-Facio
Abstract:
We study continuous bounded cohomology of totally disconnected locally compact groups with coefficients in a non-Archimedean valued field $K$. To capture the features of classical amenability that induce the vanishing of real bounded cohomology, we introduce the notion of normed $K$-amenability, of which we prove an algebraic characterization. It implies that normed $K$-amenable groups are locally…
▽ More
We study continuous bounded cohomology of totally disconnected locally compact groups with coefficients in a non-Archimedean valued field $K$. To capture the features of classical amenability that induce the vanishing of real bounded cohomology, we introduce the notion of normed $K$-amenability, of which we prove an algebraic characterization. It implies that normed $K$-amenable groups are locally elliptic, and it relates an invariant, the norm of a $K$-amenable group, to the order of its discrete finite $p$-subquotients, where $p$ is the characteristic of the residue field of $K$. Moreover, we prove a bounded-cohomological characterization for discrete groups.
The algebraic characterization shows that normed $K$-amenability is a very restrictive condition, so the bounded cohomological one suggests that there should be plenty of groups with rich bounded cohomology with trivial $K$ coefficients. We explore this intuition by studying the injectivity and surjectivity of the comparison map, for which surprisingly general statements are available. Among these, we show that if either $K$ has positive characteristic or its residue field has characteristic 0, then the comparison map is injective in all degrees. If $K$ is a finite extension of $\mathbb{Q}_p$, we classify quasimorphisms of a group and relate them to its subgroup structure. For discrete groups, we show that suitable finiteness conditions imply that the comparison map is an isomorphism.
A motivation as to why the comparison map is often an isomorphism, in stark contrast with the real case, is given by moving to topological spaces. We show that over a non-Archimedean field, bounded cohomology is a cohomology theory in the sense of Eilenberg--Steenrod, except for a weaker version of the additivity axiom which is however equivalent for finite disjoint unions. In particular there exists a Mayer--Vietoris sequence.
△ Less
Submitted 7 March, 2022; v1 submitted 8 November, 2020;
originally announced November 2020.
-
Infinite sums of Brooks quasimorphisms and cup products in bounded cohomology
Authors:
Francesco Fournier-Facio
Abstract:
We study a class of quasimorphisms of the free group that can be expressed as infinite sums of Brooks quasimorphisms with some nice properties. We then review Heuer's framework of decompositions developed in arXiv:1710.03193, and put these quasimorphisms in that context. This allows us to prove triviality of a number of cup products in the bounded cohomology of the free group with trivial real coe…
▽ More
We study a class of quasimorphisms of the free group that can be expressed as infinite sums of Brooks quasimorphisms with some nice properties. We then review Heuer's framework of decompositions developed in arXiv:1710.03193, and put these quasimorphisms in that context. This allows us to prove triviality of a number of cup products in the bounded cohomology of the free group with trivial real coefficients. Finally, we introduce free products of decompositions and relate them to Rolli's quasimorphisms of free products. A technical result concerning these, which remains an open question, implies a strong triviality result for the cup product.
△ Less
Submitted 24 February, 2020;
originally announced February 2020.
-
Comments on "Discrete Groups, Expanding Graphs and Invariant Measures", by Alexander Lubotzky
Authors:
Francesco Fournier-Facio
Abstract:
This document is a collection of comments that I wrote down while reading the first four chapters of the book "Discrete Groups, Expanding Graphs and Invariant Measures" by Alexander Lubotzky. Most of them are more detailed versions of proofs. Some imprecisions are pointed out and discussed, and some facts referenced in the book are proven. In the appendix we discuss topics of interest in relation…
▽ More
This document is a collection of comments that I wrote down while reading the first four chapters of the book "Discrete Groups, Expanding Graphs and Invariant Measures" by Alexander Lubotzky. Most of them are more detailed versions of proofs. Some imprecisions are pointed out and discussed, and some facts referenced in the book are proven. In the appendix we discuss topics of interest in relation to this book, which are however not necessary for its understanding. The aim of this document, which is not quite complete in that respect, is to provide, together with Lubotzky's book, a self-contained read.
△ Less
Submitted 7 February, 2019;
originally announced February 2019.
