arXiv:1606.08262v3 [math.GR] 4 Jan 2017

CHARACTERIZATIONS OF LOCALLY FINITE ACTIONS OF
GROUPS ON SETS
EDUARDO SCARPARO
Abstract. We show that an action of a group on a set X is locally finite if
and only if X is not equidecomposable with a proper subset of itself. As a
consequence, a group is locally finite if and only if its uniform Roe algebra is
finite.

1. Introduction
Given a group acting on a set X, a property that has been well-studied is the
existence of an invariant mean on X, that is, amenability of the action (see [1] for
historical remarks). By Tarski’s Theorem ([6, Corollary 9.2]), this is equivalent to
X not being equidecomposable with two disjoint subsets of itself.
In this note, we address the following question: given an action of a group G
on a set X, when is X not equidecomposable with a proper subset of itself? We
show that this holds if and only if the action is locally finite (Definition 2.2), if and
only if ℓ∞ (X) ⋊r G is a finite C∗ -algebra (Theorem 2.3). It follows from this that
a group is locally finite if and only if its uniform Roe algebra (ℓ∞ (G) ⋊r G) is finite
(Proposition 2.5). In [3], it was shown that ℓ∞ (G) ⋊r G is finite if G is locally finite
and asked if the converse holds.
It was already known that amenability of a group G is equivalent to ℓ∞ (G) ⋊r
G not being properly infinite, and supramenability is equivalent to ℓ∞ (G) ⋊r G
not containing any properly infinite projections ([3, Proposition 5.3]). Therefore,
Proposition 2.5 completes the dictionary between equidecomposition properties of
groups and the type of projections in the uniform Roe algebra.
2. Characterizations of locally finite actions of groups on sets
We start by recalling some definitions:
Definition 2.1. Let be G be a group acting on a set X. Two subsets A and B of
X are said to be equidecomposable if there are finite partitions {Ai }ni=i and {Bi }ni=i
of A and B, respectively, and elements s1 , . . . , sn ∈ G such that Bi = si Ai for
1 ≤ i ≤ n. When we say that two subsets of G are equidecomposable, it is with
respect to the left action of G on itself.
The next definition has already been introduced in [5] for actions on semilattices.
Definition 2.2. An action of a group G on a set X is said to be locally finite if,
for every finitely generated subgroup H of G and every x ∈ X, the H-orbit of x is
finite.
This work was supported by CNPq, National Council for Scientific and Technological Development - Brazil.
1

2

EDUARDO SCARPARO

The left action of a group on itself is locally finite if and only if the group is
locally finite.
The following result shows that the notion of locally finite action is a natural
strengthening of the notion of amenable action on a set.
Theorem 2.3. Let G be a group acting on a set X. The following conditions are
equivalent:
(1) The action is locally finite;
(2) ℓ∞ (X) ⋊r G is finite;
(3) X is not equidecomposable with a proper subset of itself;
(4) No subset of X is equidecomposable with a proper subset of itself.
Proof. (1) ⇒ (2). Since the inductive limit of finite unital C∗ -algebras with unital
conneting maps is finite, it suffices to show that ℓ∞ (X) ⋊r H is finite for every
finitely generated subgroup H of G. Let H be such a subgroup and X = ⊔i∈I Xi
be the partition of X into its H-orbits.
∞
For every i ∈ I, the restriction map ℓ∞ (X) → ℓQ
(Xi ) is H-equivariant. There∞
fore, there is a homomorphism ψ : ℓ (X) ⋊r H → (ℓ∞ (Xi ) ⋊r H). We claim that
ψ is injective.
∞
Let ϕ : ℓ∞ (X)⋊r H → ℓ∞ (X) and, for every i ∈ I, Q
ϕi : ℓ∞ (Xi )⋊r H → ℓQ
(Xi ) be
∞
the canonical conditional expectations. Also let ϕI : Q (ℓ (Xi ) ⋊r H) → ℓ∞ (Xi )
be the product of the maps ϕi , and T : ℓ∞ (X) → ℓ∞ (Xi ) be the isomorphism
which arises from the product of the restriction maps. The following diagram
commutes:
ℓ∞ (X) ⋊r H

ψ

/ Q(ℓ∞ (Xi ) ⋊r H)

ϕ


ℓ∞ (X)

ϕI

/ Q ℓ∞ (Xi ).


T

Since ϕ is faithful, we conclude that ψ is injective. Since the product of finite unital
C∗ -algebras is finite, it suffices to show that ℓ∞ (Xi ) ⋊r H is finite for every i ∈ I
in order to conclude that ℓ∞ (X) ⋊r H is finite.
Given i ∈ I, let τi be the tracial state on ℓ∞ (Xi ) which arises from the uniform
probability measure on the finite set Xi . Since τi is H-invariant and faithful, it
follows that the map τi ◦ ϕi : ℓ∞ (Xi ) ⋊r H → C is a faithful tracial state. Therefore,
ℓ∞ (Xi ) ⋊r H is finite.
(2) ⇒ (3). This follows from the fact that, if A and B are equidecomposable
subsets of X, then the projections 1A and 1B are equivalent in ℓ∞ (X) ⋊r G.
(3) ⇒ (4). If A ⊂ X is equidecomposable with B ( A, then X = A ⊔ Ac is
equidecomposable with B ⊔ Ac ( X.
(4) ⇒ (1). Suppose that there is H < G generated by a finite and symmetric set
S and x ∈ X such that Hx is infinite. Then there exists a sequence (sn )n∈N ⊂ S
such that
∀n, m ∈ N : n 6= m ⇒ sn · · · s1 x 6= sm · · · s1 x.
The sequence (sn · · · s1 x)n∈N can be seen as an infinite simple path in the graph
whose vertex set is Hx and whose edges come from S.
We claim that γ := {sn · · · s1 x : n ∈ N} is equidecomposable with γ \ {s1 x}.

CHARACTERIZATIONS OF LOCALLY FINITE ACTIONS OF GROUPS ON SETS

3

Given s ∈ S, let As := {sn · · · s1 x : sn+1 = s}. It is easy to check that {As }s∈S
partitions γ and {sAs }s∈S partitions γ \ {s1 x}. Hence, γ is equidecomposable with
its proper subset γ \ {s1 x}.

We now proceed to give a characterization of locally finite groups which can be
seen as an analogy to parts of [3, Theorem 1.1].
The next definition is from [4].
Definition 2.4. Let H and G be groups. A map f : H → G is said to be a uniform
embedding if, for every finite set S ⊂ H, there is a finite set T ⊂ G such that:
∀x, y ∈ H : xy −1 ∈ S =⇒ f (x)f (y)−1 ∈ T
and, for every finite set T ⊂ G, there is S ⊂ H finite such that
∀x, y ∈ H : f (x)f (y)−1 ∈ T =⇒ xy −1 ∈ S.
The implication (1) ⇒ (2) in the next result had already been observed in [3,
Remark 5.4], and (5) ⇒ (1) is an immediate consequence of [8, Lemma 1].
Proposition 2.5. Let G be a group. The following conditions are equivalent:
(1) G is locally finite;
(2) The uniform Roe algebra ℓ∞ (G) ⋊r G is finite;
(3) G is not equidecomposable with a proper subset of itself;
(4) No subset A ⊂ G is equidecomposable with a proper subset of itself;
(5) There is no injective uniform embedding from Z into G.
Proof. The implications (1) ⇒ (2) ⇒ (3) ⇒ (4) (and (4) ⇒ (1)) are a consequence
of Theorem 2.3.
(4) ⇒ (5). This follows from the fact that N ⊂ Z is equidecomposable with a
proper subset of itself and [3, Lemma 3.2].
(5) ⇒ (1). This is a consequence of [8, Lemma 1].

Remark 2.6. After this note was made available on arXiv, we became aware of [7],
where it is shown that if a group is infinite and finitely generated, then its uniform
Roe algebra is infinite.
Any locally finite group acts on itself in a transitive, faithful and locally finite
way. If a finitely generated group admits a faithful, transitive, locally finite action
on a set, then the group is finite. This is in stark contrast to the fact that there are
finitely generated, non-amenable groups which admit faithful, transitive, amenable
actions on sets (see [1] for various examples).
A finitely generated group admits a faithful, locally finite action if and only if it
is residually finite.
Proposition 2.7. If a group admits a faithful, locally finite action, then it embeds
into a group which admits a faithful, locally finite and transitive action.
Proof. Let G be a group which acts on a set X in a faithful and locally finite way.
Take a set Y ⊂ X of representatives of all G-orbits, and let SY be the group of
finitely supported permutations of Y . Consider the natural action of SY on X and
the associated action of H := G ∗ SY on X. This action is transitive and locally
finite. By taking the quotient of H by the kernel of this action, we get a faithful,
transitive, locally finite action on X by a group which contains G.

4

EDUARDO SCARPARO


In analogy to what is known for amenable actions ([2, Lemma 3.2]), the following
holds for locally finite actions:
Proposition 2.8. Let G be a group acting on a set X in a locally finite way. If,
for every x ∈ X, the stabilizer subgroup Gx is locally finite, then G is locally finite.
Proof. Take H < G finitely generated and x ∈ X. Since the action is locally finite,
it follows that Hx is finite. Hence, there is H0 a subgroup of finite index in H such
that H0 < Gx . In particular, H0 is locally finite. Therefore, H is also locally finite.
Since H is finitely generated, we conclude that it is finite.

Remark 2.9. One can define in a natural way an action of a group on a set X to
be supramenable if no subset of X is equidecomposable with two disjoint proper
subsets of itself. It is not true that if the action of a group G is supramenable, and
all the stabilizer subgroups are supramenable, then G is supramenable.
Indeed, it is well-known that the class of supramenable groups is not closed by
taking extensions (the lamplighter group Z2 ≀ Z is such an example). Let then G
be a non-supramenable group which contains a supramenable normal subgroup N
G
is also supramenable.
such that N
G
G
. Since N
is supramenable, it follows easily
Consider the left action of G on N
that this action is supramenable. The stabilizer subgroups of the action are all
equal to N , hence are supramenable.
Acknowledgement. The author thanks Claire Anantharaman-Delaroche for calling his attention to the reference [1].
References
[1] Glasner, Y., and Monod, N. Amenable actions, free products and a fixed point property.
Bulletin of the London Mathematical Society 39, 1 (2007), 138–150.
[2] Juschenko, K., and Monod, N. Cantor systems, piecewise translations and simple amenable
groups. Annals of Mathematics 178, 2 (2013), 775–787.
[3] Kellerhals, J., Monod, N., and Rørdam, M. Non-supramenable groups acting on locally
compact spaces. Documenta Mathematica 18 (2013), 1597–1626.
[4] Shalom, Y. Harmonic analysis, cohomology, and the large-scale geometry of amenable groups.
Acta Mathematica 192, 2 (2004), 119–185.
[5] Silva, P. V., and Soares, F. Howson’s property for semidirect products of semilattices by
groups. Communications in Algebra 44, 6 (2016), 2482–2494.
[6] Wagon, S. The Banach-Tarski Paradox, vol. 24. Cambridge University Press, 1993.
[7] Wei, S. On the quasidiagonality of Roe algebras. Science China Mathematics 54, 5 (2011),
1011–1018.
[8] Żuk, A. On an isoperimetric inequality for infinite finitely generated groups. Topology 39, 5
(2000), 947–956.
Department of Mathematical Sciences, University of Copenhagen,
Universitetsparken 5, DK-2100, Copenhagen, Denmark
E-mail address: duduscarparo@gmail.com

