Abstract
We prove the vanishing of the bounded cohomology of lamplighter groups for a wide range of coefficients. This implies the same vanishing for a number of groups with selfsimilarity properties, such as Thompson’s group F. In particular, these groups are boundedly acyclic. Our method is ergodic and applies to “large” transformation groups where the Mather–Matsumoto–Morita method sometimes fails because not all are acyclic in the usual sense.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The initial goal of this note is to prove the following, answering a question of Grigorchuk [Gri95, p. 131].
Theorem 1
Thompson’s group F is boundedly acyclic.
This statement means that the bounded cohomology \(\mathrm {H}_{\mathrm {b}}^n(F)\) vanishes for all \(n>0\), where \(\mathrm {H}_{\mathrm {b}}^n()\) denotes the bounded cohomology (of Gromov [Gro82] and Johnson [Joh72, §2]) with coefficients in \(\mathbf {R}\) viewed as a trivial module. As for the group F, it appeared in many different contexts [CFP96, CF11] since its 1965 definition by Thompson [Tho65] but the main outstanding question seems to be whether it is amenable.
One motivation for Theorem 1 is that bounded acyclicity is a necessary condition for amenability, although far from sufficient. In fact, amenability is equivalent to the vanishing of \(\mathrm {H}_{\mathrm {b}}^n(,E)\) with coefficients in all dual Banach modules E, see [Joh72, Thm. 2.5]. In that context, Theorem 1 is a special case of the following.
Theorem 2
The vanishing \(\mathrm {H}_{\mathrm {b}}^n(F,E)=0\) holds for all \(n>0\) and all separable dual Banach Fmodules E.
This is the first known example of acyclicity for such general coefficients — except of course amenable groups.
However we caution the reader that this statement does not answer the amenability question. Indeed, our proof also works for many groups that are similar to F but known to be nonamenable. For instance, the proof holds unchanged for all piecewiseprojective groups introduced in [Mon13].
In fact, we reduce Theorem 2 to a general result on “lamplighter” groups defined as (restricted) wreath products:
Theorem 3
Let G be any group and consider the wreath product
Then \(\mathrm {H}_{\mathrm {b}}^n(W,E)\) vanishes for all \(n>0\) and all separable dual Banach Wmodules E.
In particular, the case of the trivial module \(E=\mathbf {R}\) shows that W is boundedly acyclic, answering Question 1.8 in [Löh17]. The vanishing statement of Theorem 3 fails if we drop either the separability or the duality assumption.
The connection between this general result for lamplighters and the particular case of Thompson’s group F comes from the fact that F contains coamenable lamplighter subgroups. This condition will be further discussed in the proof, but for now we point out that this situation is by far not limited to F. Indeed, after coamenability has been applied, the following is not much more than a reformulation of Theorem 3:
Theorem 4
Let G be a group and \(G_0<G\) a coamenable subgroup. Suppose that G contains an element g such that \(G_0\) commutes with its conjugate by \(g^p\) for every \(p\ge 1\).
Then \(\mathrm {H}_{\mathrm {b}}^n(G,E)=0\) holds for all \(n>0\) and all separable dual Banach Gmodules E.
Ignoring for a moment the definition of coamenability, this result can be applied under general algebraic conditions that we think of as a form of selfsimilarity:
Corollary 5
Let G be a group and \(G_0<G\) a subgroup with the following two properties:

(i)
every finite subset of G is contained in some Gconjugate of \(G_0\),

(ii)
G contains an element g such that \(G_0\) commutes with its conjugate by \(g^p\) for every \(p\ge 1\).
Then \(\mathrm {H}_{\mathrm {b}}^n(G,E)=0\) holds for all \(n>0\) and all separable dual Banach Gmodules E.
This conclusion holds more generally if (5) is required only for finite subsets of the derived subgroup \(G'\) of G, or of any (fixed) higher derived subgroup \(G^{(k)}\) of G.
Beyond F, these conditions are satisfied by many generalisations of this group, including all nonamenable groups introduced in [Mon13] and their subgroups studied in [LM16].
We obtain perhaps more intuitive conditions with the following special case, stated for groups appearing as transformations of some underlying space. Recall that a transformation is said to be supported on a subset if it is the identity outside that subset.
Corollary 6
Let G be a group acting faithfully on a set Z. Suppose that Z contains a subset \(Z_0\) and that G contains an element \(g\in G\) with the following properties:

(i)
every finite subset of G can be conjugated so that all its elements are supported in \(Z_0\);

(ii)
\(g^p(Z_0)\) is disjoint from \(Z_0\) for every integer \(p\ge 1\).
Then \(\mathrm {H}_{\mathrm {b}}^n(G,E)=0\) holds for all \(n>0\) and all separable dual Banach Gmodules E. In particular, G is boundedly acyclic.
Many classical “large” transformation groups satisfy these conditions, starting with the group of compactly supported homeomorphisms of \(\mathbf {R}^n\) which was proved to be boundedly acyclic by Matsumoto–Morita [MM85]; the latter result was recently widely generalised in [Löh17] and [FFLM21a].
Corollary 6 has the following advantage in comparison with the strategy behind the classical Matsumoto–Morita [MM85] theorem and its generalisations, a strategy rooted in Mather’s acyclicity theorem for ordinary (co)homology [Mat71]. Namely, the latter relies ultimately on pasting together infinitely many compactly supported transformations (which Berrick describes as occasionally “difficult to substantiate” [Ber02, 3.1.6]). In our approach, only finitely many elements need to be pasted together at any one time, according to the definition of lamplighters, recalling the Aristotelian distinction between actual and potential infinity.
This makes it possible to apply Corollary 6 to less flexible situations, such as diffeomorphisms or PL homeomorphisms, see [MN21]. By contrast, in ordinary cohomology, the acyclicity of these less flexible groups is often not true or unresolved. We refer to [MN21] for applications.
In this context, we mention that Kotschick introduced in [Kot08] a commuting conjugates condition which resembles one half of our hypothesis in Corollary 6 and hence holds more generally. He used it to prove the vanishing of the stable commutator length [Cal09], which according to Bavard’s result [Bav91] follows from the vanishing of \(\mathrm {H}_{\mathrm {b}}^2(,\mathbf {R})\). There is no reason, however, that Kotschick’s groups should all be boundedly acyclic or satisfy the vanishing with coefficients. Similar comments hold for the very recent “commuting conjugates” criterion for the vanishing of \(\mathrm {H}_{\mathrm {b}}^2(,\mathbf {R})\) given in [FFL21].
2 Lamplighters
We shall first work towards the proof of Theorem 3 for the case of a countable group G. This restriction will be lifted in Sect. 2.4.
2.1 Ergodicity.
In order to handle nontrivial coefficients, we recall the notion of ergodicity with coefficients introduced with M. Burger in [BM02]. The reader only interested in bounded acyclicity can transpose the next few bars down to ordinary ergodicity.
Consider a group G with a nonsingular action on a standard probability space \((X, \mu )\). We recall here that a measurable Gaction on \((X, \mu )\) is called nonsingular if every \(g\in G\) preserves the measure class of \(\mu \), or equivalently preserves the notion of nullsets for \(\mu \). For us, only the class of \(\mu \) is relevant and the measure space is usually simply denoted by X. Note that \(L^\infty (X)\) is a Banach Gmodule which is dual (but not separable).
Recall that usual ergodicity is equivalent to the statement that every Ginvariant measurable function (class) \(f:X\rightarrow \mathbf {R}\) is (essentially) constant. There is no difference if instead \(f:X\rightarrow E\) ranges in a separable Banach space, or indeed any polish space. However, if E is endowed with a nontrivial Grepresentation, then the requirement that every Gequivariant measurable function class \(f:X\rightarrow E\) be essentially constant is much stronger. This is called ergodicity with coefficients in E.
A standard fact is that ergodicity with coefficients in separable Banach modules follows from the ergodicity of the diagonal action on \(X^2\). It is important here to recall that Banach modules are always assumed to be endowed with an isometric Grepresentation. The proof then consists in observing that \(f:X\rightarrow E\) as above must satisfy that \(\Vert f(x)  f(x') \Vert \) is essentially constant by equivariance, and that this constant must be zero because E is second countable. Indeed, if that constant were some \(r>0\), then we could cover E with countably many r/3balls and hence f would range in one such ball on a subset of positive measure in X, which contradicts the definition of r. (See [GW16] for more context.)
One of the earliest examples of an ergodic action is the Bernoulli shift, defined as follows. Let X be a standard probability space and consider the countable power \(Y=X^\mathbf {Z}\). Then the shift of coordinates is an ergodic \(\mathbf {Z}\)action on Y; this is essentially the same statement as Kolmogorov’s zeroone law. It follows that the diagonal action on any power \(Y^d\) is also ergodic, because \(Y^d= (X^\mathbf {Z})^d\) can be identified with \((X^d)^\mathbf {Z}\) in a \(\mathbf {Z}\)equivariant manner. Considering 2d instead of d, we can therefore upgrade this classical ergodicity to ergodicity with separable coefficients, using the argument recalled above.
2.2 Amenable actions and coamenable subgroups.
In the proof of Theorem 3, we shall use the terminology of amenable actions in Zimmer’s sense in the setting of a countable group G with a nonsingular action on a standard probability space X.
To give context for Zimmer’s definition, we first recall that the group G is amenable if and only if every convex compact Gset \(K\ne \varnothing \) (in a Hausdorff locally convex Gmodule) has a Gfixed point; we can moreover assume that the ambient space is the dual of a Banach Gmodule in the weak* topology, and for countable G it suffices to consider duals of separable spaces; see e.g. [Zim78, Prop. 1.5].
Zimmer’s definition of the amenability of the Gaction on X is the corresponding fixedpoint property for the following specific subclass of Gsets K depending on X. We refer to [Zim78] or to [Zim84, §4] for background and underlying technical definitions (but we use left actions and cocycles where Zimmer works from the right). Start with a measurable field of convex weak* compact \(K_x\ne \varnothing \) (over \(x\in X\)) in the unit ball of some dual of a Banach space and with a cocycle action over \(G\times X\) instead of a Gaction. Thus, for every \(g\in G\) and a.e. \(x\in X\) there is a continuous affine transformation \(\alpha (g,x):K_x \rightarrow K_{gx}\). We then obtain a convex compact Gset \(K=L^\infty (X, K_\bullet )\) of measurable sections s, where the topology is the weak* topology and the Gaction is the \(\alpha \)twisted action \((g.s)(x) = \alpha (g^{1}, x)^{1}s(g^{1}x)\).
By definition, the nonsingular Gaction on X is amenable in Zimmer’s sense if G has a fixed point in any convex compact Gset \(K=L^\infty (X, K_\bullet )\) as above. The point here is that a section is a Gfixed point exactly when it is \(\alpha \)equivariant as a map; compare [Zim84, 4.3.1]. The following are standard properties of these definitions.
Lemma 7
(i) Consider Zimmeramenable actions of \(G_i\) on \(X_i\) for \(i=1,2\). Then the product action of \(G_1\times G_2\) on \(X_1\times X_2\) is Zimmeramenable.
(ii) Suppose that G is the union of an increasing sequence of subgroups \(G_n<G\), \(n\in \mathbf {N}\). A nonsingular action of G is Zimmeramenable if the corresponding action of every \(G_n\) is Zimmeramenable.
Proof
Both statements follow readily from Zimmer’s original definition. They also both follow from the equivalent characterisation given in [AEG94, Thm. A(v)]. \(\square \)
Next, we combine these two facts and consider infinite products of nonsingular Gspaces. Some care is required since an infinite product of nonsingular transformations is a priori singular, unless the measure is actually invariant, which is never the case in our context unless G itself is amenable. We avoid this obstacle by endowing the infinite product of spaces with an action of the restricted product of groups.
Corollary 8
For each integer n, let \(G_n\) be a countable group with a Zimmeramenable nonsingular action on a standard probability space \(X_n\). Then the action of the restricted product \(\bigoplus _n G_n\) on the (unrestricted) product \(\prod _n X_n\) is a Zimmeramenable nonsingular action on a standard probability space.
Proof
The action is indeed nonsingular since any given group element acts on only finitely many coordinates. Consider first a product of finitely many \(G_n\) acting on the full product \(\prod _n X_n\). This action in Zimmeramenable by the first point of Lemma 7, grouping together all coordinates \(X_n\) without action into a single factor. Next, view \(\bigoplus _n G_n\) as an increasing union of finite products and apply the second point of Lemma 7. \(\square \)
We now observe that there is a nice interplay between Zimmeramenability and Eymard’s notion of coamenability [Eym72]. Recall that a subgroup \(H<G\) is coamenable in G if there is a Ginvariant mean on G/H; another equivalent condition is recalled in the proof below.
Proposition 9
Let G be a countable group with a nonsingular action on a standard probability space X. Let \(H<G\) be a coamenable subgroup. If the corresponding Haction on X is Zimmeramenable, then so is the Gaction.
Proof
At the beginning of this section, we recalled the characterisation of amenability in terms of convex weak* compact Gsets K in dual Banach Gmodules. We further recalled that for countable G it suffices to consider duals of separable spaces. All this generalises to coamenability: a subgroup \(H<G\) is coamenable if this condition holds for the subclass of those Gsets K which have an Hfixed point (this follows from [Eym72, no. 2 §4]).
If we combine this with the definition of Zimmeramenability recalled above, then we obtain precisely the conclusion of the proposition. \(\square \)
Since we just recalled the definition(s) of coamenability, we can see how this notion is relevant to condition (5) in Corollary 5:
Proposition 10
Let G be any group and \(G_0<G\) a subgroup.
If every finite subset of G is contained in some conjugate of \(G_0\), then \(G_0\) is coamenable in G.
This holds more generally if every finite subset of a fixed coamenable subgroup \(G_1<G\) is contained in some Gconjugate of \(G_0\).
The more general form above is relevant to the additional statement in Corollary 5 by setting \(G_1=G^{(k)}\); indeed \(G^{(k)}\) is coamenable in G since it is normal with soluble quotient.
Proof of Proposition 10
Let K be a convex compact Gset containing some \(G_0\)fixed point k. We need to prove that K has a Gfixed point, but it suffices to show that it has a \(G_1\)fixed point since the latter is coamenable in G. Given any finite subset F of \(G_1\), let \(g_F\in G\) be an element conjugating F into \(G_0\). Then \(g_F k\) is fixed by the group generated by F. Consider \(g_F k\) as a net indexed by the directed set of all finite subsets F of \(G_1\). Then any accumulation point of this net in the compact space K will be fixed by \(G_1\). \(\square \)
The connection between coamenability and bounded cohomology is the following basic fact. A proof can be found e.g. in [Mon01, Prop. 8.6.6] and actually it provides a characterisation of coamenability, see [MP03, Prop. 3]. (There is a countability assumption in [Mon01, Prop. 8.6.6] but it is not needed nor used.)
Proposition 11
Let G be a group, \(G_0<G\) a coamenable subgroup and E a dual Banach Gmodule. Then the restriction map
is injective. \(\square \)
2.3 Vanishing for countable wreath products.
Let G be a countable group, \(W=G \wr \mathbf {Z}\) the (restricted) wreath product and E a separable dual Wmodule.
Let further X be any standard probability space with a nonsingular Gaction which is amenable in Zimmer’s sense. One can for instance simply take X to be G itself, endowed with any distribution of full support. The countable power \(Y=X^\mathbf {Z}\) is a standard probability space with a nonsingular action of \(\bigoplus _{n\in \mathbf {Z}} G\) which is Zimmeramenable by Corollary 8. We let \(\mathbf {Z}\) act on Y by shifting the coordinates; that is, Y is the Xbased Bernoulli shift. Combining the two actions, we have thus endowed Y with an action of the (restricted) wreath product \(W=G \wr \mathbf {Z}\).
The subgroup \(\bigoplus _{n\in \mathbf {Z}} G\) is coamenable in W since it is a normal subgroup with amenable quotient. Therefore, the above discussion allows us to apply Proposition 9 and conclude that the Waction on Y is Zimmeramenable.
According to [BM02, Thm. 2] or to [Mon01, Thm. 7.5.3], the bounded cohomology of W with coefficient in E is realised by the complex of Wequivariant measurable bounded function classes
with the usual “simplicial” Alexander–Kolmogorov–Spanier differentials. (The general references above specify that measurability is in the weak* sense, but this is irrelevant here, see [Mon01, Lem. 3.3.3].)
The discussion of Sect. 2.1 shows that the \(\mathbf {Z}\)equivariant elements of \(L^\infty (Y^d, E)\) are essentially constant, and hence so is every element of \(L^\infty (Y^d, E)^W\). It follows that the latter space consists of all essentially constant maps ranging in \(E^W\). Since the simplicial differentials are alternating sums of the map omitting each variable, we conclude that the above complex of Wequivariant maps is acyclic except possibly in degree zero, where its cohomology is \(E^W\). This completes the proof of Theorem 3 when G is countable.
2.4 To \(\aleph _0\) and beyond.
We imposed a countability assumption on our groups in order to be able to apply standard ergodic methods straight out of the shipping box. There does not appear to be a deeper reason that countability should be needed. In any case, the following general principle will allow us to reduce Theorem 3 to the countable case.
Proposition 12
Let G be any group and E a separable dual Banach Gmodule. Suppose that every countable subset of G is contained in a subgroup \(G_1 < G\) such that \(\mathrm {H}_{\mathrm {b}}^n(G_1, E)\) vanishes for all \(n>0\).
Then \(\mathrm {H}_{\mathrm {b}}^n(G, E)\) vanishes for all \(n>0\).
Since the classical examples of boundedly acyclic groups were precisely large, uncountable, groups, we single out the following particular case of Proposition 12.
Corollary 13
Let G be any group. Suppose that every countable subset of G is contained in some boundedly acyclic subgroup of G.
Then G is boundedly acyclic. \(\square \)
Proof of Proposition 12
Consider a group J and a separable Banach Jmodule E which is the dual of some Banach Jmodule F. The key claim is that \(\mathrm {H}_{\mathrm {b}}^n(J, E)\) vanishes for all \(n>0\) if and only if the \(\ell ^1\)homology \(\mathrm {H}^{\ell ^1}_n(J,F)\) vanishes for all \(n>0\). This fact then implies the proposition when we apply it to both G and \(G_1\), viewing E also as a dual Banach \(G_1\)module, because any given \(\ell ^1\)chain is supported on a countable set.
The claim is established as [MM85, Cor. 2.4(iii)] in the special case of E trivial, which is sufficient for Corollary 13.
In the general case, we recall first that \(\mathrm {H}_{\mathrm {b}}^n(J, E)\) vanishes for all \(n>0\) if and only if the following two conditions hold: first, \(\mathrm {H}^{\ell ^1}_n(J,F)\) vanishes for all \(n>0\); second, \(\mathrm {H}^{\ell ^1}_0(J,F)\) is Hausdorff. This equivalence relies on the closed range theorem and was already established by Johnson [Joh72, Cor. 1.3], see also [MM85, Cor. 2.4(i),(ii)]. Moreover, the second condition is equivalent to \(\mathrm {H}_{\mathrm {b}}^1(J, E)\) being Hausdorff, see [MM85, Thm. 2.3]
In conclusion, it certainly suffices to prove \(\mathrm {H}_{\mathrm {b}}^1(J, E)=0\). This amounts to showing that every affine isometric action with bounded orbits on a separable dual Banach space admits a fixed point. That statement is a variant of the RyllNardzewski theorem. Specifically, it is the case (c) in Bourbaki’s account, Appendix 3 to part IV of [Bou87]. Warning: the English translation incorrectly requires first countability for the norm of E, which is both empty and insufficient, whereas the proof and the French original correctly use second countability, which here is just the separability of E that we assumed. \(\square \)
End of proof of Theorem 3
Let G by an arbitrary group and \(S\subseteq G\wr \mathbf {Z}\) a countable subset of the wreath product. Then there is a countable subgroup \(G_1\) of G such that \(G_1\wr \mathbf {Z}\) contains S. In consequence, Proposition 12 allows us to reduce the general case to the case of wreath products of countable groups. \(\square \)
3 SelfSimilar Situations
We now consider the situation where a group contains a suitable supply of copies of a given coamenable subgroup; in particular the case of Corollaries 5 and 6 where the replicating subgroup also progressively swallows the entire ambient group, eating it up from the inside.
Proof of Theorem 4
Let G be a group, \(G_0<G\) a coamenable subgroup and suppose that G contains an element g such that \(G_0\) commutes with its conjugate by \(g^p\) for every \(p\ge 1\). Let further E be a separable dual Banach Gmodule.
Let \(W_1<G\) be the subgroup generated by \(G_0\) and g. Then \(W_1\) is coamenable in G since it contains \(G_0\). Therefore, by Proposition 11, it suffices to show that \(\mathrm {H}_{\mathrm {b}}^n(W_1,E)\) vanishes for all \(n>0\).
There is a natural map from the wreath product \(W = G_0 \wr \mathbf {Z}\) onto \(W_1\) mapping \(1\in \mathbf {Z}\) to g. Indeed, the commutativity assumption implies that the conjugates of \(G_0\) by \(g^p\) and by \(g^q\) commute for all \(p\ne q\) in \(\mathbf {Z}\). Therefore, there is a natural map from the restricted product \(\bigoplus _{\mathbf {Z}} G_0\) to the subgroup of G generated by all those conjugates. If we further map \(\mathbf {Z}\) to the subgroup generated by g with \(1\mapsto g\), then the definition of semidirect products yields the desired morphism of W onto \(W_1\).
This turns E into a Wmodule and Theorem 3 implies the vanishing of \(\mathrm {H}_{\mathrm {b}}^n(W,E)\). It only remains to justify that the inflation
is injective. By construction, the kernel of the projection \(W \rightarrow W_1\) is metabelian and hence amenable. This implies that the inflation is an isomorphism (see [Nos91, Thm. 1] or [Mon01, Rem. 8.5.4]) and thus Theorem 4 follows. \(\square \)
Proof of Corollary 5
Let G be a group, E a separable dual Banach Gmodule and \(G_0<G\) a subgroup. To prove the general case of Corollary 5, we can assume the following.

(i)
Every finite subset of a (fixed) coamenable subgroup \(G_1<G\) is contained in some Gconjugate of \(G_0\).

(ii)
G contains an element g such that \(G_0\) commutes with its conjugate by \(g^p\) for every \(p\ge 1\).
In view of Proposition 10, the first condition implies that \(G_0\) is coamenable in G. Therefore, we are in a position to apply Theorem 4 and hence Corollary 5 is established. \(\square \)
Proof of Corollary 6
We are given a group G acting faithfully on a set Z, an element \(g\in G\) and a subset \(Z_0\subseteq Z\) such that:

(i)
every finite subset of G can be conjugated so that all its elements are supported in \(Z_0\);

(ii)
\(g^p(Z_0)\) is disjoint from \(Z_0\) for every integer \(p\ge 1\).
Define \(G_0<G\) to be the subgroup consisting of all elements of G supported in \(Z_0\). The first assumption implies that every finite subset of G is contained in some conjugate of \(G_0\). Since G acts faithfully, the second condition implies that \(G_0\) commutes with its conjugate by \(g^p\) for all \(p\ge 1\). Thus Corollary 6 follows indeed from Corollary 5. \(\square \)
We can now apply this result to the case of Thompson’s group F. Since this group has a number of very different descriptions linking it to interesting objects in homotopy, algebra and combinatorics, we should specify which description of F we work with. We consider F to be the group of piecewise affine homeomorphisms of [0, 1] with dyadic breakpoints and slopes in \(2^\mathbf {Z}\). We refer to [CFP96] for background.
Proof of Theorem 2 and hence also of Theorem 1
We work with the derived subgroup \(F'\) of F, which is sufficient by Proposition 11. Recall that \(F'\) consists of all elements of F with trivial germs at 0 and 1 [CFP96, Thm. 4.1].
Choose a nontrivial element \(g\in F'\) and choose a dyadic point \(x_0 \in (0,1)\) not fixed by g. Let Z be the \(F'\)orbit of \(x_0\) (which happens to consist of all dyadic points of (0, 1)). Define \(Z_0\) to be the open interval determined by \(x_0\) and \(g(x_0)\), which is nonempty by construction.
The first condition of Corollary 6 is satisfied by the transitivity properties of the \(F'\)action: any interval strictly contained in (0, 1) can be shrunk into \(Z_0\) (compare e.g. the proof of Cor. 2.3 in [CM09]). More precisely, F acts transitively on increasing ntuples of dyadic points in (0, 1) [CFP96, Lem. 4.2]; in particular, \(F'\) acts transitively on increasing pairs of dyadic points in (0, 1), which implies the claimed shrinking.
The second condition follows from the fact that g preserves the order on (0, 1). In conclusion, we are in a situation to appeal to Corollary 6 and thus complete the proof of Theorem 2 and hence also of Theorem 1. \(\square \)
(The reader might notice that this reasoning, when brought all the way back to the underlying wreath product subgroup of F, is an improvement of our comments in Section 6.C of [Mon10].)
The above argument hold for a group of similar selfsimilar groups since it only relies on the abstract statement of Corollary 6; as mentioned in the introduction, this includes all piecewiseprojective groups of homeomorphisms of the line that have sufficiently transitive orbits.
4 Further Comments
4.1 More acyclicity.
First, we should recall that many examples of boundedly acyclic groups (with trivial coefficients) have been discovered, starting with the theorem of Matsumoto–Morita [MM85]. Recent examples include, among others, [Löh17, FFLM21a, FFLM21b, MN21]. A very nice general criterion, but for degree two only, is given in [FFL21].
Furthermore, boundedly acyclic groups can be used as a tool in results aiming to determine nontrivial bounded cohomology of larger groups. This has recently led to the complete computation of the bounded cohomology of some groups that are not boundedly acyclic [MN21]. These methods, or the methods of [FFLM21a, §6], can now leverage Theorem 1 above to establish that the bounded cohomology of Thompson’s circle group T is generated by the bounded Euler class, in perfect analogy to the result of [MN21] about the entire group of (orientationpreserving) homeomorphisms of the circle. By contrast, the usual cohomology of T (and of F) is richer and completely described in [GS87].
4.2 More lamplighters.
In the proof of the vanishing for wreath products, the only properties of \(\mathbf {Z}\) that we used were that it is infinite and amenable. Therefore, the same results holds more generally for all (restricted) wreath products \(G\wr \Gamma \) as long as \(\Gamma \) is infinite amenable.
A closer examination of the proof also shows that it holds for suitable permutational wreath products where \(\mathbf {Z}\) is replaced by an amenable group with a permutation action having only infinite orbits; the ergodicity of the corresponding generalised Bernoulli shifts is recorded e.g. in [KT08, Prop. 2.1].
These generalisations can in turn be used to extend the statements of Theorem 4 and of Corollary 5. Specifically, instead of a single element g and the corresponding commuting conjugates \(G_0^{g^p}\), it suffices to assume there is some infinite amenable subgroup \(\Gamma <G\) such that the \(\Gamma \)conjugates of \(G_0\) commute pairwise. We can proceed similarly to generalise Corollary 6.
4.3 No more coefficients.
As recalled in the introduction, Theorem 3 does not hold without the separability assumption on the dual module E. Indeed, in that case the vanishing of \(\mathrm {H}_{\mathrm {b}}^n(, E)\) for all \(n>0\) is equivalent to amenability. (Theorem 3 does hold for some very specific nonseparable modules such as the semiseparable case introduced in [Mon10], but only because they can be reduced to the separable case.)
A very concrete example, not relying on the huge coefficient module witnessing nonamenability in general, is as follows. Choose a group G with \(\mathrm {H}_{\mathrm {b}}^2(G)\ne 0\), for instance a free group of rank two. Then, by inflation, \(\mathrm {H}_{\mathrm {b}}^2\big (\bigoplus _\mathbf {Z}G \big )\) is also nonzero. It follows by cohomological induction [Mon01, §10.1] that
where \(G\wr \mathbf {Z}\) acts on \(\ell ^\infty (\mathbf {Z})\) by translation via the quotient morphism \(G\wr \mathbf {Z}\rightarrow \mathbf {Z}\). The only circumstance preventing a contradiction with Theorem 3 is that the dual Banach module \(\ell ^\infty (\mathbf {Z})\) is not separable.
We mention here that Grigorchuk asked about the vanishing of \(\mathrm {H}_{\mathrm {b}}^n(F, E)\) for all \(n\ge 2\) and all dual E, see Problem 3.19 in [Gri95]. This is a priori a weakening of amenability, first considered by Johnson in §10.10 of [Joh72]. However, it was shown in [Mon06, Cor. 5.10] that this condition is in fact also equivalent to amenability; this result relies on the Gaboriau–Lyons theorem [GL09].
The condition that E be dual cannot be removed either (even when keeping it separable). Indeed it is wellknown that the vanishing of \(\mathrm {H}_{\mathrm {b}}^1(G, E)\) for all Banach modules characterises finite groups G. This follows by applying the cohomological long exact sequence (for bounded cohomology) to the submodule inclusion \(\ell ^1_0 (G) \rightarrow \ell ^1(G)\), where \(\ell ^1_0 (G)\) denotes the summable functions with vanishing sum. This module is separable when G is countable.
4.4 Amenability vs. Ergodicity.
It is a remarkable fact (in the author’s opinion) that every group admits a Zimmeramenable space X which is doubly ergodic with separable coefficients. An early proof is found in [BM99, BM02] and the most luminous argument is in [Kaĭ03]. This cannot be extended to higher ergodicity in general precisely because nontrivial bounded cohomology provides an obstruction.
This fact, together with the observation that the amenability of F is equivalent to the Zimmeramenability of the Taction on the circle, has prompted us to ask whether nonamenable groups can have Zimmeramenable actions that are multiply ergodic far beyond two factors, see Problem H in [Mon06]. The construction of Sect. 2.3 shows that this is indeed possible.
References
S. Adams, G.A. Elliott, and T. Giordano, Amenable actions of groups, Trans. Am. Math. Soc. (2)344 (1994), 803–822
C. Bavard, Longueur stable des commutateurs, Enseign. Math. (2)37 (1991), 109–150
A.J. Berrick, A topologist’s view of perfect and acyclic groups, Invitations to geometry and topology, Oxf. Grad. Texts Math., vol. 7, Oxford Univ. Press, Oxford, (2002), pp. 1–28
M. Burger and N. Monod, Bounded cohomology of lattices in higher rank Lie groups, J. Eur. Math. Soc. (JEMS) (2)1 (1999), 199–235
M. Burger and N. Monod, Continuous bounded cohomology and applications to rigidity theory, Geom. Funct. Anal. (2)12 (2002), 219–280
N. Bourbaki, Topological vector spaces. Chapters 1–5, Elements of Mathematics, SpringerVerlag, Berlin, 1987, Translated from the French by H. G. Eggleston and S. Madan.
D. Calegari, scl, MSJ Memoirs, vol. 20, Mathematical Society of Japan, Tokyo, (2009)
J. W. Cannon and W.J. Floyd, What is \(\ldots \) Thompson’s group?, Notices Amer. Math. Soc. (8)58 (2011), 1112–1113
J. W. Cannon, W. J. Floyd, and W. R.Parry, Introductory notes on Richard Thompson’s groups, Enseign. Math. (2) (34) 42 (1996), 215–256
P.E. Caprace and N. Monod, Isometry groups of nonpositively curved spaces: discrete subgroups, J. Topol. (4)2 (2009), 701–746
P. Eymard, Moyennes invariantes et représentations unitaires, SpringerVerlag, Berlin, 1972, Lecture Notes in Mathematics, Vol. 300
F. FournierFacio and Y. Lodha, Second bounded cohomology of groups acting on 1manifolds and applications to spectrum problems, Preprint, 2021
F. FournierFacio, C. Löh, and M. Moraschini, Bounded cohomology and binate groups, Preprint, 2021
F. FournierFacio, C. Löh, and M. Moraschini, Bounded cohomology of finitely generated groups: vanishing, nonvanishing, and computability, Preprint, (2021)
D. Gaboriau and R. Lyons, A measurablegrouptheoretic solution to von Neumann’s problem, Invent. Math. (3)177 (2009), 533–540
R.I. Grigorchuk, Some results on bounded cohomology, Combinatorial and geometric group theory (Edinburgh, 1993), London Math. Soc. Lecture Note Ser., vol. 204, Cambridge Univ. Press, Cambridge, (1995), pp. 111–163.
M. Gromov, Volume and bounded cohomology, Inst. Hautes Études Sci. Publ. Math. (1982), no. 56, 5–99 (1983)
É. Ghys and V. Sergiescu, Sur un groupe remarquable de difféomorphismes du cercle, Comment. Math. Helv. (2)62 (1987), 185–239
E. Glasner and B. Weiss, Weak mixing properties for nonsingular actions, Ergodic Theory Dynam. Systems (7)36 (2016), 2203–2217
B.E. Johnson, Cohomology in Banach algebras, AMS, 1972, Mem. Am. Math. Soc. 127.
V.A. Kaĭmanovich, Double ergodicity of the Poisson boundary and applications to bounded cohomology, Geom. Funct. Anal. (4)13 (2003), 852–861
D. Kotschick, Stable length in stable groups, Groups of diffeomorphisms, Adv. Stud. Pure Math., vol. 52, Math. Soc. Japan, Tokyo, (2008), pp. 401–413.
A.S. Kechris and T. Tsankov, Amenable actions and almost invariant sets, Proc. Amer. Math. Soc. (2)136 (2008), 687–697 (electronic).
Y. Lodha and J.T. Moore, A nonamenable finitely presented group of piecewise projective homeomorphisms, Groups Geom. Dyn. (1)10 (2016), 177–200
C. Löh, A note on boundedcohomological dimension of discrete groups, J. Math. Soc. Japan (2)69 (2017), 715–734
J. N. Mather, The vanishing of the homology of certain groups of homeomorphisms, Topology 10 (1971), 297–298
S. Matsumoto and S. Morita, Bounded cohomology of certain groups of homeomorphisms, Proc. Amer. Math. Soc. (3)94 (1985), 539–544
N. Monod and S. Nariman, Bounded and unbounded cohomology of homeomorphism and diffeomorphism groups, Preprint, (2021).
N. Monod, Continuous bounded cohomology of locally compact groups, Lecture Notes in Mathematics 1758, Springer, Berlin, (2001).
N. Monod, An invitation to bounded cohomology, Proceedings of the international congress of mathematicians (ICM), Madrid, Spain, August 22–30, 2006. Volume II: Invited lectures. Zürich: European Mathematical Society, 1183–1211, 2006.
N. Monod, On the bounded cohomology of semisimple groups, \(S\) arithmetic groups and products, J. reine angew. Math. [Crelle’s J.] 640 (2010), 167–202
N. Monod, Groups of piecewise projective homeomorphisms, Proc. Natl. Acad. Sci. USA (12) 110 (2013), 4524–4527
N. Monod and S. Popa, On coamenability for groups and von Neumann algebras, C. R. Math. Acad. Sci. Soc. R. Can. 3 25 (2003), 82–87
G.A. Noskov, Bounded cohomology of discrete groups with coefficients, Leningr. Math. J. (5)2 (1991), 1067–1084
R.J. Thompson, Unpublished notes, (1965).
R.J. Zimmer, Amenable ergodic group actions and an application to Poisson boundaries of random walks, J. Functional Analysis (3)27 (1978), 350–372
R.J. Zimmer, Ergodic theory and semisimple groups, Birkhäuser Verlag, Basel, (1984).
Acknowledgements
I am indebted to S. Nariman for rekindling my interest in the question of bounded acyclicity. I am grateful to F. FournierFacio, C. Löh and M. Moraschini for showing me their preprint [FFLM21a], for referring me to Grigorchuk’s question and for many comments. I thank the referee for numerous comments which improved the exposition.
Funding
Open access funding provided by EPFL Lausanne.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Monod, N. Lamplighters and the bounded cohomology of Thompson’s group. Geom. Funct. Anal. 32, 662–675 (2022). https://doi.org/10.1007/s00039022006049
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00039022006049