arXiv:1705.07665v3 [math.OA] 16 Feb 2018

ON THE C ∗ -ALGEBRA GENERATED BY THE KOOPMAN
REPRESENTATION OF A TOPOLOGICAL FULL GROUP
EDUARDO SCARPARO
Abstract. Let (X, T, µ) be a Cantor minimal sytem and [[T ]] the associated
topological full group. We analyze Cπ∗ ([[T ]]), where π is the Koopman representation attached to the action of [[T ]] on (X, µ).
Specifically, we show that Cπ∗ ([[T ]]) = Cπ∗ ([[T ]]′ ) and that the kernel of the
character τ on Cπ∗ ([[T ]]) coming from containment of the trivial representation
is a hereditary C ∗ -subalgebra of C(X) ⋊ Z. Consequently, ker τ is stably
isomorphic to C(X) ⋊ Z, and Cπ∗ ([[T ]]′ ) is not AF.
We also prove that if G is a finitely generated, elementary amenable group
and C ∗ (G) has real rank zero, then G is finite.

1. Introduction
In this work, we study the real rank zero and AF properties for certain classes of
group C ∗ -algebras. The motivations are the classical equivalence between amenability of a group and nuclearity of its C ∗ -algebra, and the equivalence between local
finiteness of a group and finiteness of its uniform Roe algebra worked out in [21],
[11] and [20].
For a compact metric space X, both C(X) being AF and having real rank zero
are equivalent to total disconnectedness of X.
If a group G is countable and locally finite, then C ∗ (G) is clearly AF (hence it
has real rank zero). Conversely, in [10, Theorem 2], Kaniuth proved that if G is a
nilpotent group and C ∗ (G) has real rank zero, then G is locally finite.
In section 2, we show that if G is a finitely generated, elementary amenable group,
and C ∗ (G) has real rank zero, then G is finite (Theorem 2.4). Our proof relies on
the fact that infinite, finitely generated, elementary amenable groups virtually map
onto Z [7, Chapter I, Lemma 1].
Let (X, T, µ) be a Cantor minimal system and π the Koopman representation
associated to the action of the topological full group [[T ]] on (X, µ).
Notice that C ∗ ([[T ]]) does not have real rank zero, since [[T ]] maps onto Z (by
[19, Theorem 1.1(i)], or [5, Proposition 5.5]). On the other hand, by results of
Matui, the commutator subgroup [[T ]]′ is simple ([13]) and non-locally finite (this
follows from much sharper results from [14]). Hence, commutators of topological
full groups form a class which is not covered by Theorem 2.4.
Futhermore, it was proven by Juschenko and Monod ([8]) that [[T ]] is amenable.
In Section 3, we prove that C ∗ ([[T ]]′ ) is not AF. This is done by showing that
Cπ∗ ([[T ]]) = Cπ∗ ([[T ]]′ ), and that the kernel of the character τ on Cπ∗ ([[T ]]) coming
2010 Mathematics Subject Classification. 22D25.
Key words and phrases. group C ∗ -algebra, real rank zero, topological full group.
This work was supported by CNPq, National Council for Scientific and Technological Development - Brazil.
1

2

EDUARDO SCARPARO

from containment of the trivial representation is a hereditary C ∗ -subalgebra of
C(X) ⋊ Z. Consequently, ker τ is stably isomorphic to C(X) ⋊ Z, and Cπ∗ ([[T ]]′ ) is
not AF and has real rank zero.
In Section 4, we discuss examples coming from odometers.
2. Elementary amenable groups and real rank zero
Recall that the class of elementary amenable groups is the smallest class of groups
containing all abelian and all finite groups, and closed under taking subgroups,
quotients, extensions and inductive limits.
In order to show Theorem 2.4, we will need the fact, due to Hillman ([7, Chapter
I, Lemma 1]), that if G is an infinite, finitely generated, elementary amenable group,
then there is a finite index subgroup of G which admits a homomorphism onto Z.
For completeness, we provide a proof of this result in Lemma 2.2.
Let B denote the class of groups consisting of finite groups and Z. The next
lemma is immediate from the proof of [16, Corollary 2.1]. For the conveninence of
the reader, we give a proof of it by recalling Osin’s argument and notation.
Lemma 2.1. The class of elementary amenable groups is the smallest class of
groups containing B and closed under taking direct limits with injective connecting
maps and extensions by groups from B.
Proof. Let E(B) be the smallest class of groups containing B and closed under
taking subgroups, quotients, extensions and inductive limits. Clearly, E(B) is equal
to the class of elementary amenable groups.
Let E0 (B) be the class consisting only of the trivial group. Supposing that α > 0
is an ordinal and we have already defined the classes Eβ (B) for all ordinals β < α,
put
[
Eα (B) =
Eβ (B)
β<α

if α is a limit ordinal. If α is a successor ordinal, define Eα (B) to be the class
of groups that can be obtained from groups of the class Eα−1 (B) by taking direct
limits or by taking an extension of a given group by a group from B.
By [16, Lemma 3.1], each Eα is closed under taking quotients. Hence, in the
definition of Eα for α a successor ordinal, we could have considered only direct
limits with injective connecting maps.
Therefore, it follows from [16, Theorem 2.1] that E(B) is the smallest class of
groups containing B and closed under taking direct limits with injective connecting
maps and extensions by groups from B.

Lemma 2.2 ([7]). If G is an infinite, finitely generated, elementary amenable
group, then there is a subgroup of finite index of G which admits a homomorphism
onto Z.
Proof. Let A be the class of all finite groups, all non-finitely generated groups, and
all groups containing a finite index subgroup which maps onto Z.
We claim that A contains the class of elementary amenable groups. Obviously,
A contains all finite groups, it contains Z, and it is closed under taking inductive
limits with injective connecting maps, and extensions by Z.

KOOPMAN REPRESENTATION OF A TOPOLOGICAL FULL GROUP

3

Let us check that A is also closed under taking extensions by finite groups. Let
H ∈ A, F be a finite group, and G a group which fits into the short exact sequence
1 → H → G → F → 1.
If G is infinite and finitely generated, then also H is infinite and finitely generated. Hence, H contains a finite index subgroup H ′ which maps onto Z. Since F
is finite, also H ′ has finite index in G. Therefore, G ∈ A.
By Lemma 2.1, it follows that A contains the elementary amenable groups. 
A C ∗ -algebra A is said to have real rank zero if every hereditary C ∗ -subalgebra
of A has an approximate unit of projections (not necessarily increasing). We refer
the reader to, for example, [3, Section V.7] for other equivalent definitions of real
rank zero.
Lemma 2.3. If A is an infinite-dimensional, real rank zero C ∗ -algebra, then it
contains a sequence of non-zero, orthogonal projections.
Proof. Since A is infinite-dimensional, there is a sequence (an )n∈N ⊂ A of non-zero,
positive elements such that aj ak = 0 when j 6= k (see, for example, [9, Exercise
4.6.13] or [15]).
For each n ∈ N, take a non-zero projection pn in the hereditary (hence real rank
zero) C ∗ -subalgebra an Aan . By construction, pj pk = 0 when j 6= k.

Theorem 2.4. If G is a finitely generated, elementary amenable group and C ∗ (G)
has real rank zero, then G is finite.
Proof. Suppose G is infinite. By Lemma 2.2, there is a subgroup H of G with
finite index n, and Φ : H → Z a surjective homomorphism. Let ϕ : C ∗ (H) → C ∗ (Z)
be the ∗-homomorphism induced by Φ, and ϕn : Mn (C ∗ (H)) → Mn (C ∗ (Z)) the
inflation of ϕ.
There is an injective ∗-homomorphism ψ : C ∗ (G) → Mn (C ∗ (H)) such that the
image of ϕn ◦ ψ is infinite-dimensional. For the convenience of the reader, we sketch
the construction of ψ, which is standard.
Let x1 , . . . , xn ∈ G be such that x1 = e and G = ⊔ni=1 xi H. Consider the
following unitary defined on canonical basis vectors:
n
M
ℓ2 (H) → ℓ2 (G)
U:
i=1

δi,h 7→ δxi h .

2

2

Let S : B(ℓ (G)) → Mn (B(ℓ (H)) be the isomorphism induced by U .
By using the left regular representations λG and λH , we see C ∗ (G) as contained
in B(ℓ2 (G)) and analogously for C ∗ (H).
It is easy to check that S(λG (g)) ∈ Mn (C ∗ (H)) for every g ∈ G. Hence,
S(C ∗ (G)) ⊂ Mn (C ∗ (H)). Furthermore, for h ∈ H, we have that S(λG (h))1,1 =
λH (h). Let ψ := S|C ∗ (G) . Then ϕn (ψ(C ∗ (G))) is infinite-dimensional.
Hence, by Lemma 2.3, Mn (C ∗ (Z)) ≃ Mn (C(T)) contains a sequence of non-zero,
orthogonal projections. Since T is connected, we get a contradiction. Hence, G is
finite.

Remark 2.5. Recall that a C ∗ -algebra A is said to have property (SP) if every nonzero hereditary C ∗ -subalgebra of A contains a non-zero projection. Furthermore,

4

EDUARDO SCARPARO

A is said to have residual property (SP) if every quotient of A has property (SP)
(see [17, Section 7] for more details about these properties).
In the proof of Theorem 2.4, the only aspects of real rank zero that were used
are that it implies property (SP) and that having real rank zero is closed under
taking quotients. In particular, Theorem 2.4 remains true if one replaces “real rank
zero” by “residual property (SP)”.
3. Koopman representation of a topological full group
Given a unitary representation π of a group G, we denote by Cπ∗ (G) the C ∗ algebra generated by the image of π.
We will denote the Cantor set by X.
Let α be an action of a group G on X by homeomorphisms. The topological
full group associated to α, denoted by [[α]], is the group of all homeomorphisms
γ on X for which there exists a finite partition of X into clopen sets {Ai }ni=1 and
g1 , . . . , gn ∈ G such that γ|Ai = αgi |Ai for 1 ≤ i ≤ n. That is, [[α]] consists of the
homeomorphisms on X which are locally given by the action α.
Fix T a minimal homeomorphim on X. We denote by [[T ]] the topological full
group associated to the Z-action induced by T .
Let µ be a T -invariant probability measure on X. Note that µ is also invariant under the action of [[T ]] on X. Let π : [[T ]] → B(L2 (X, µ)) be given by
π(g)(f ) := f ◦ g −1 , for g ∈ [[T ]] and f ∈ L2 (X, µ). This π is the so called Koopman
representation associated to the action of [[T ]] on (X, µ).
We will use the faithful representation of C(X) ⋊ Z in B(L2 (X, µ)), with C(X)
acting by multiplication operators, and, for n∈ Z, δn := π(T n ), so that C(X)⋊Z :=
span{f δn : f ∈ C(X), n ∈ Z}.
Given g ∈ [[T ]] and {Ai }ni=1 a partition of X into clopen sets such that g|Ai =
ni
T |Ai for 1 ≤ i ≤ n, notice that
(1)

π(g) =

In particular, Cπ∗ ([[T ]]) ⊂ C(X) ⋊ Z.

X

1T ni (Ai ) δni .

Definition 3.1. Given n ∈ N, we say that a subset A ⊂ X is n-disjoint if
A, T (A), . . . , T n−1 (A)
are pairwise disjoint.
Suppose A ⊂ X is a clopen and n-disjoint set. Consider the symmetric group
Sn acting on {0, . . . , n − 1}. For σ ∈ Sn , let σA ∈ [[T ]] be given by
(
T σ(i)−i (x), if 0 ≤ i < n and x ∈ T i (A)
σA (x) =
(2)
x ∈ X.
n−1 i
x,
if x ∈
/ ⊔i=0
T (A),
Note that, for 0 ≤ i < n, σA (T i (A)) = T σ(i) (A).
Lemma 3.2. Let n ≥ 4 and A ⊂ X be a clopen and n-disjoint set. For every
σ ∈ Sn , it holds that π(σA ) ∈ Cπ∗ ([[T ]]′ ).
Proof. Notice first that {1T i (A) δi−j }0≤i,j<n forms a system of matrix units in
C(X) ⋊ Z of type Mn (C) (we see Mn (C) as matrices indexed by the set {0, . . . , n −
1}).

KOOPMAN REPRESENTATION OF A TOPOLOGICAL FULL GROUP

5

n−1 i
Let B := (⊔i=0
T (A))c and ϕ : C⊕ Mn(C) → C(X)⋊ Z be the ∗-homomorphism
given by ϕ(α, eij ) := α1B + 1T i (A) δi−j , for α ∈ C and 0 ≤ i, j ≤ n − 1.
Let ρ : Sn → C ⊕ Mn (C) be the direct sum of the trivial representation and the
permutation representation.
P
Given σ ∈ Sn , by (1) and (2), it holds that π(σA ) = 1B + 1T σ(i) (A) δσ(i)−i =
ϕ(ρ(σ)).
Furthermore, since n ≥ 4, the permutation representations of Sn′ and Sn decompose into the direct sum of a trivial representation and an irreducible representation
of degree n − 1. Therefore, we have that Cρ∗ ((Sn )′ ) = Cρ∗ (Sn ).
Hence, π(σA ) ∈ Cπ∗ ([[T ]]′ ) for any σ ∈ Sn .


Given A ⊂ X clopen, consider the continuous function
tA : A → N
x 7→ min{k ∈ N : T k (x) ∈ A}.
This is the so called function of first return to A.
Notice that, for j ∈ Z, it holds that
(3)

tT j (A) ◦ T j |A = tA .

Let TA ∈ [[T ]] be defined by
(
T tA (x) (x),
TA (x) =
(4)
x,

if x ∈ A
,
otherwise.

x ∈ X.

If B ⊂ X is a clopen set disjoint from A, then TA and TB commute.
In order to prove Lemma 3.4, we will have to analyze the spectrum of C ∗ -algebras
generated by certain commuting unitaries, and the next lemma will be useful for
this.
We consider the circle T as a pointed space with basepoint 1.
Lemma 3.3. The universal C ∗ -algebra generated by commuting unitaries
W n z1 , . . . , zn
subject to the relations {(zi − 1)(zj − 1) = 0 : 1 ≤ i 6= j ≤ n} is C( k=1 T), with
zk being given by
n
_
T→C
zk :
i=1

(x, i) 7→

(

x,
1,

if i = k
if i =
6 k.

W
Proof. Consider the embedding F : ni=1 T → Tn which takes x in the i-th copy
n
of T and sends it into (F (x)i )1≤i≤n
Wn ∈ T such that F′ (x)i := x and F (x)j := 1n if
′
n
j 6= i. Also let F : C(T ) → C( i=1 T) be given by F (f ) := f ◦ F , for f ∈ C(T ).
For 1 ≤ i ≤ n, let wi ∈ C(Tn ) be given by wi (y) := yi , for y ∈ Tn . Then
′
F (wi ) = zi .
Assume n > 1. Let A := C ∗ ({(wi − 1)k (wj − 1)l : i 6= j and k, l ∈ N}). We claim
that ker F ′ = A. Clearly, A ⊂ ker F ′ .
Let Y := Tn \ Im(F ). Notice that ker F ′ = {f ∈ C(Tn ) : f |Im(F ) = 0} ≃ C0 (Y ).
By the Stone-Weierstrass Theorem, in order to show that A = C0 (Y ), it is sufficient
to show that, for every y ∈ Y , there is f ∈ A such that f (y) 6= 0, and that A

6

EDUARDO SCARPARO

separates the points of Y . The proof of the former condition is trivial, so we only
show that A separates the points of Y .
Take (x1 , . . . , xn ), (y1 , . . . yn ) ∈ Y distinct points. There is i such that xi 6= yi .
Without loss of generality, assume xi 6= 1. Take j 6= i such that xj 6= 1. Then, by
choosing k ∈ N appropriately, we get (xi − 1)k (xj − 1) 6= (yi − 1)k (yj − 1).
Since C(Tn ) is the universal C ∗ -algebra generated by n commuting unitaries and
W
n
C( i=1 T) is generated by {z1 , . . . , zn }, the result follows.

Lemma 3.4. Let A ⊂ X be a clopen and 3-disjoint set. Then π(TA ) ∈ C ∗ ([[T ]]′ ).
−1
Proof. Given σ ∈ S3 , x ∈ A and 0 ≤ i, j < 3, we have that σA TT i (A) σA
(T j (x)) =
T j (x) if j 6= σ(i) and
−1
σA TT i (A) σA
(T σ(i) (x)) = σA TT i (A) (T i (x))

= T σ(i)−i T tT i (A) (T
(∗)

= T σ(i)−i T

=T

i

(x))

(T i (x))

tT σ(i) (A) (T σ(i) (x))

tT σ(i) (A) (T σ(i) (x))

(T i (x))

(T σ(i) (x))

= TT σ(i) (A) (T σ(i) (x)),
−1
where the equality in (*) is due to (3). Hence, σA TT i (A) σA
= TT σ(i) (A) .
In particular, for 0 ≤ i, j < 3, we have that TT i (A) (TT j (A) )−1 ∈ [[T ]]′ .
If 0 ≤ i 6= j < 3, then T i (A) and T j (A) are disjoint, hence (π(TT i (A) ) −
1)(π(TT j (A) ) − 1) = 0.
Then, by Lemma 3.3, there is a ∗-homomorphism

ϕ: C

3
_

i=1

!

T

→ C ∗ ({π(TT i (A) ) : 0 ≤ i < 3}

zi 7→ π(TT i−1 (A) ).

W3
Furthermore, by the Stone-Weierstrass theorem, C( i=1 T) is generated by
{zi zj∗ : 1 ≤ i, j ≤ 3}.

Hence, π(TA ) ∈ Cπ∗ ([[T ]]′ ).

Theorem 3.5. Let (X, T, µ) be a Cantor minimal system and π the Koopman representation associated to the action of [[T ]] on (X, µ). Then Cπ∗ ([[T ]]) = Cπ∗ ([[T ]]′ ).
Proof. By [6, Theorem 4.7], given m ∈ N, [[T]] is generated by
[
{TA , σA : σ ∈ Sn , A ⊂ X is clopen and n-disjoint}.
n≥m

By Lemmas 3.2 and 3.4, the result follows.


Notice that 1X ∈ L2 (X, µ) is invariant under π([[T ]]). Therefore, π contains the
trivial representation. Denote by τ the associated character on Cπ∗ ([[T ]]).

KOOPMAN REPRESENTATION OF A TOPOLOGICAL FULL GROUP

7

Lemma 3.6. Let τ be the character on Cπ∗ ([[T ]]) coming from containment of the
trivial representation. Then ker τ = span{1 − π(g) : g ∈ [[T ]]}.
Proof. Given d ∈ ker τ and ǫ > 0, take d′ ∈ span π([[T ]]) such that kd − d′ k < 2ǫ .
Then kd − (d′ − τ (d′ ))k = k(d − d′ ) + τ (d′ − d)k < ǫ. Furthermore, d′ − τ (d′ ) ∈
ker τ ∩ span π([[T ]]).
Since ker τ ∩ span π([[T ]]) = span{1 − π(g) : g ∈ [[T ]]}, the result follows.

Theorem 3.7. Let τ be the character on Cπ∗ ([[T ]]) coming from containment of
the trivial representation. Then ker τ is a hereditary C ∗ -subalgebra of C(X) ⋊ Z.
Proof. We are going to show that, for a ∈ C(X) ⋊ Z and b, c ∈ ker τ , it holds that
bac ∈ ker τ .
Given A ⊂ X clopen and 2-disjoint, notice that (δ0 − δ1 )1A (δ0 − δ−1 ) = δ0 −
(1(A∪T (A))c δ0 + 1T (A) δ1 + 1A δ−1 ) ∈ Cπ∗ ([[T ]]).
By using telescoping sums, it follows that, for n, m ∈ Z and A ⊂ X 2-disjoint
and clopen, (δ0 − δn )1A (δ0 − δm ) ∈ Cπ∗ ([[T ]]).
Given g, h ∈ [[T ]], take a basis B of 2-disjoint, clopen sets for the topology of
X. Moreover, assume that, for each A ∈ B, there is n(A), m(A) ∈ Z such that
g|A = T n(A) |A and h|h−1 (A) = T m(A) |h−1 (A) .
Then
(δ0 − π(g))1A (δ0 − π(h)) = 1A − δn(A) 1A − 1A δm(A) + δn(A) 1A δm(A)
= (δ0 − δn(A) )1A (δ0 − δm(A) ) ∈ Cπ∗ ([[T ]]).
Since C(X) = span{1A : A ∈ B}, we conclude that, for g, h ∈ [[T ]] and f ∈
C(X), (δ0 − π(g))f (δ0 − π(h)) ∈ Cπ∗ ([[T ]]).
By Lemma 3.6 and the fact that C(X) ⋊ Z = span{f δn : f ∈ C(X), n ∈ Z}, we
conclude that, for b, c ∈ ker τ and a ∈ C(X) ⋊ Z, bac ∈ Cπ∗ ([[T ]]).
Since τ is a character, the result follows.

Corollary 3.8. Let τ be the character on Cπ∗ ([[T ]]) coming from containment of the
trivial representation. Then ker τ is stably isomorphic to C(X) ⋊ Z. In particular,
Cπ∗ ([[T ]]′ ) has real rank zero and C ∗ ([[T ]]′ ) is not AF.
Proof. By Theorem 3.7 and the fact that C(X) ⋊ Z is simple, it follows that ker τ is
a full, hereditary C ∗ -subalgebra of C(X) ⋊ Z. Therefore, [2, Theorem 2.8] implies
that ker τ is stably isomorphic to C(X) ⋊ Z.
Furthermore, by Theorem 3.5, Cπ∗ ([[T ]]) = Cπ∗ ([[T ]]′ ). Since C(X) ⋊ Z has real
rank zero (see, for instance, [18] for a proof of this fact), and K1 (C(X) ⋊ Z) ≃ Z,
and K1 (A) = 0 for any AF-algebra A, the conclusion follows.

4. Odometers
We start this section by giving a description of Cπ∗ ([[T ]]) when T is an odometer
map.
Given m ∈ N, let Zm := Z/mZ.
Example 4.1. Let (nk ) be a strictly increasing sequence of natural numbers such
that, for every k, nk |nk+1 . Let ρk : Znk+1 → Znk be the surjective homomorphism
such that ρk (1) = 1, and define
Y
X := {(xk ) ∈
Znk : ρk (xk+1 ) = xk , ∀k ∈ N}.
k∈N

8

EDUARDO SCARPARO

Consider
T:X →X
(xk ) 7→ (xk + 1).
Then (X, T ) is a Cantor minimal system, the so called odometer of type (nk ).
For k ∈ N and l ∈ Znk , let U (k, l) := {(xm ) ∈ X : xk = l}.
Using the notation from (2) and (4), let, for k ∈ N, Γk := h{TU(k,l) , σU(k,0) ∈
[[T ]] : l ∈ Znk , σ ∈ SnkS
}i. As proven by Matui in [14, Proposition 2.1], Γk ⊂ Γk+1 ,
Γk ≃ Znk ⋊ Snk , and k Γk = [[T ]].
For k ∈ N, let Ak := span{1U(k,l) δm : l ∈ Znk , m ∈ Z}. Then Ak ⊂ Ak+1 , and
S
C(X) ⋊ Z = k Ak .
Fix k ∈ N and consider the isomorphism ϕk : Ak → C(T, MZnk (C)), such that
ϕk (1U(k,l) ) = el,l , for l ∈ Znk , and, for z ∈ T,


1, if 0 < i ≤ nk − 1 and j = i − 1
(ϕk (δ1 )(z))i,j := z, if i = 0 and j = nk − 1


0, otherwise.

Let π : [[T ]] → U (C(X) ⋊ Z) be the homomorphismPcoming from
P the Koopman
representation and Bk := {b ∈ MZnk (C) : ∀i, j ∈ Znk , r bi,r = s bs,j }.
P
Then, for σ ∈ Snk , we have that ϕk (π(σU(k,0) )) = eσ(i),i and

C ∗ ({ϕk (π(σU(k,0) )) : σ ∈ Snk }) ≃ Bk .
W
Furthermore, ϕk (C ∗ (π({TU(k,l) : l ∈ Znk }))) ≃ C( l∈Zn T) and ϕk (Cπ∗ (Γk )) =
k
{f ∈ C(T, MZnk (C)) : f (1) ∈ Bk }.

In [4], Dykema and Rørdam gave examples of non-locally finite groups G such
∗
that Cred
(G) has real rank zero. As far as we are aware, there is no known example
of non-locally finite group G such that C ∗ (G) has real rank zero.
Question 4.2. Let (X, T ) be an odometer as in Example 4.1. Does C ∗ ([[T ]]′ ) have
real rank zero?
Example 4.3. Let (X, T ) be an odometer of type (nk ) as in Example 4.1. Consider
J: X → X
(xk ) 7→ (−xk ).
Then J is an involutive homeomorphism on X such that JT J = T −1 . Hence, T
and J induce an action α of the infinite dihedral group Z ⋊ Z2 on X. We will use
Matui’s technique ([14, Proposition 2.1]) in order to compute [[α]].
For every γ ∈ (Z ⋊ Z2 ) \ {e}, it holds that {x ∈ X : αγ (x) = x} has empty
interior (it consists of at most two elements). Hence, given g ∈ [[α]], there exists a
unique continuous function cg : X → Z ⋊ Z2 such that, for x ∈ X, g(x) = αc(g) (x).
For k ∈ N and l ∈ Znk , let U (k, l) be as in Example 4.1 and
Γk := {g ∈ [[α]] : cg is constant on U (k, l) for l ∈ Znk }.
Define Jk,l ∈ [[α]] by
Jk,l (x) =

(

T 2l J(x),
x,

if x ∈ U (k, l)
otherwise,

x ∈ X.

KOOPMAN REPRESENTATION OF A TOPOLOGICAL FULL GROUP

9

Then Γk = h{TU(k,l) , Jk,l , σU(k,0) : l ∈ Znk , σ ∈ Snk }i and
[
Γk ≃ (Z ⋊ Z2 )nk ⋊ Snk , Γk ⊂ Γk+1 , and
(5)
Γk = [[α]].
k

Notice that the constant sequence (0) ∈ X is a fixed point for J. Hence, [1,
Theorem 3.5] implies that C(X) ⋊ (Z ⋊ Z2 ) is AF (see also [12]). Moreover, it
follows from (5) that the abelianization of [[α]] is locally finite.
Therefore, the two obstructions that were used for ruling out the possibility of
C ∗ ([[T ]]) and C ∗ ([[T ]]′ ) being AF do not hold for C ∗ ([[α]]).
Question 4.4. Let α be as in Example 4.3. Is C ∗ ([[α]]) AF?.
Acknowledgements
Part of this work was carried out while the author was attending the research
program Classification of operator algebras: complexity, rigidity, and dynamics at
the Mittag-Leffler Institute. The author thanks the organizers of the program and
the staff of the institute for the excellent work conditions provided.
The author also thanks J. Carrión, T. Giordano, K. Li and J. Rout for helpful
conversations related to topics of this work.
References
[1] Bratteli, O., Evans, D. E., and Kishimoto, A. Crossed products of totally disconnected
spaces by Z2 ∗ Z2 . Ergodic Theory Dynam. Systems 13, 3 (1993), 445–484.
[2] Brown, L. G. Stable isomorphism of hereditary subalgebras of C ∗ -algebras. Pacific J. Math.
71, 2 (1977), 335–348.
[3] Davidson, K. R. C ∗ -algebras by example, vol. 6 of Fields Institute Monographs. American
Mathematical Society, Providence, RI, 1996.
[4] Dykema, K. J., and Rørdam, M. Projections in free product C ∗ -algebras. II. Math. Z. 234,
1 (2000), 103–113.
[5] Giordano, T., Putnam, I. F., and Skau, C. F. Full groups of Cantor minimal systems.
Israel J. Math. 111 (1999), 285–320.
[6] Grigorchuk, R. I., and Medinets, K. S. On the algebraic properties of topological full
groups. Mat. Sb. 205, 6 (2014), 87–108.
[7] Hillman, J. A. The algebraic characterization of geometric 4-manifolds, vol. 198 of London
Mathematical Society Lecture Note Series. Cambridge University Press, Cambridge, 1994.
[8] Juschenko, K., and Monod, N. Cantor systems, piecewise translations and simple amenable
groups. Ann. of Math. (2) 178, 2 (2013), 775–787.
[9] Kadison, R. V., and Ringrose, J. R. Fundamentals of the theory of operator algebras. Vol.
I, vol. 15 of Graduate Studies in Mathematics. American Mathematical Society, Providence,
RI, 1997. Elementary theory, Reprint of the 1983 original.
[10] Kaniuth, E. Group C ∗ -algebras of real rank zero or one. Proc. Amer. Math. Soc. 119, 4
(1993), 1347–1354.
[11] Kellerhals, J., Monod, N., and Rørdam, M. Non-supramenable groups acting on locally
compact spaces. Doc. Math. 18 (2013), 1597–1626.
[12] Kumjian, A. An involutive automorphism of the Bunce-Deddens algebra. C. R. Math. Rep.
Acad. Sci. Canada 10, 5 (1988), 217–218.
[13] Matui, H. Some remarks on topological full groups of Cantor minimal systems. Internat. J.
Math. 17, 2 (2006), 231–251.
[14] Matui, H. Some remarks on topological full groups of Cantor minimal systems II. Ergodic
Theory Dynam. Systems 33, 5 (2013), 1542–1549.
[15] Ogasawara, T. Finite-dimensionality of certain Banach algebras. J. Sci. Hiroshima Univ.
Ser. A. 17 (1954), 359–364.
[16] Osin, D. V. Elementary classes of groups. Mat. Zametki 72, 1 (2002), 84–93.

10

EDUARDO SCARPARO

[17] Pasnicu, C., and Phillips, N. C. Crossed products by spectrally free actions. J. Funct.
Anal. 269, 4 (2015), 915–967.
[18] Phillips, N. C. Crossed products of the Cantor set by free minimal actions of Zd . Comm.
Math. Phys. 256, 1 (2005), 1–42.
[19] Putnam, I. F. The C ∗ -algebras associated with minimal homeomorphisms of the Cantor set.
Pacific J. Math. 136, 2 (1989), 329–353.
[20] Scarparo, E. Characterizations of locally finite actions of groups on sets. Glasgow Mathematical Journal (2017), 1–4.
[21] Wei, S. On the quasidiagonality of Roe algebras. Sci. China Math. 54, 5 (2011), 1011–1018.
Departamento de Matemática, Universidade Federal de Santa Catarina,
Campus Universitário Trindade, 88040-900, Florianópolis - SC, Brazil
E-mail address: duduscarparo@gmail.com

