CONSTRUCTION OF MINIMAL SKEW PRODUCTS OF AMENABLE
MINIMAL DYNAMICAL SYSTEMS

arXiv:1503.01317v3 [math.OA] 9 Mar 2016

YUHEI SUZUKI
Abstract. For an amenable minimal topologically free dynamical system α of a group
on a compact metrizable space Z and for a compact metrizable space Y satisfying a
mild condition, we construct a minimal skew product extension of α on Z × Y . This
generalizes a result of Glasner and Weiss. We also study the pure infiniteness of the
crossed products of minimal dynamical systems arising from this result. In particular,
we give a generalization of a result of Rørdam and Sierakowski.

1. Introduction
Recall that a topological dynamical system Γ y X is said to be minimal if every Γorbit is dense in X. It is an interesting question to ask that for a given group Γ which
space admits a minimal (topologically) free dynamical system of Γ. Certainly a space
admitting a minimal Γ-dynamical system must have a nice homogeneity. However, this
is not sufficient even for the simplest case, that is, the case Γ = Z. For example, an
obstruction from homological algebra shows that there is no minimal homeomorphism on
even dimensional spheres S 2n (see Chapter I.6 of [3] for instance).
In [10], Glasner and Weiss have shown the existence of minimal skew product extensions
of a minimal homeomorphism under mild conditions. Their result in particular shows that
many spaces admit a minimal homeomorphism. For example, it follows that there exists a
minimal homeomorphism on the product of the Hilbert cube and S 1 . This solved a question asked by T. Chapman [7]. For certain amenable groups, their result is generalized
in [16]. (It also deals generalizations of other results in [10]; e.g., the existence of strictly
ergodic skew products.) In this paper, following the argument of Glasner and Weiss in
[10], we construct minimal skew products of amenable minimal topologically free dynamical systems (Theorem 2.1). This provides many new examples of (amenable) minimal
topologically free dynamical systems of exact groups.
We also study the reduced crossed product of these minimal skew products. Recall
that a unital C∗ -algebra A is purely infinite and simple if for any nonzero positive element
a ∈ A, there is b ∈ A with b∗ ab = 1. Pure infiniteness plays an important role in the
study of C∗ -algebras. See [8], [12], [13], [18], and [21] for example. A C∗ -algebra is said
to be a Kirchberg algebra if it is simple, separable, nuclear, and purely infinite. A deep
theorem of Kirchberg [12] and Phillips [18] states that the Kirchberg algebras are classified
in terms of the KK-theory. In particular, the Kirchberg algebras in the UCT class are
classified by their K-theoretic data, and consequently each of which is isomorphic to the
one constructed in [21]. For these reasons, it is important to know whether a given C∗ algebra is purely infinite. Obviously pure infiniteness implies other infiniteness properties;
e.g., tracelessness, properly infiniteness. The latter conditions are easy to check in many
situations. However, even in the nuclear case, Rørdam has constructed a counterexample
2000 Mathematics Subject Classification. Primary 37B05 ; Secondary 54H20.
Key words and phrases. C∗ -algebras; amenable actions; pure infiniteness.
1

2

YUHEI SUZUKI

for the converse implications [23]. See [22] and the references therein for more information
on pure infiniteness and Kirchberg algebras. In Section 3, under certain assumptions on
Y and α : Γ y Z, we show that the crossed products of many of dynamical systems
obtained in our result are Kirchberg algebras in the UCT class (Proposition 3.11). For
this purpose, we generalize the notion of the finite filling property, which is introduced in
[11] for dynamical systems, to étale groupoids. It turns out that the generalized version
is useful to construct minimal skew products with the purely infinite crossed products.
This result is applied particularly to the case that Y is a connected closed topological
manifold and that α is a dynamical system on the Cantor set constructed in [24]. As a
consequence, we generalize a result of Rørdam and Sierakowski [24], which is a result for
the Cantor set, to the products of connected closed topological manifolds and the Cantor
set (Theorem 3.12). This is the first generalization of their result, and shows that for
topological dynamical systems, not only the structure of groups but also the structure of
spaces is not an obstruction to form a Kirchberg algebra.
In Section 4, we study the K-theory of the crossed products of these minimal skew
products in the free group case. Using the Pimsner–Voiculescu six-term exact sequence,
we prove a Künneth-type formula for them. As an application, for any connected closed
topological manifold M and for any (non-amenable, countable) virtually free group Γ, we
show that there exist continuously many amenable minimal free dynamical systems of Γ on
the product of M and the Cantor set whose crossed products are mutually non-isomorphic
Kirchberg algebras. This generalizes a result in [26].
Spaces of dynamical systems. For a compact metrizable space X, let H(X) denote
the group of homeomorphisms on X. We equip the metric d on H(X) as follows. First let
us fix a metric dX on X. Then define
d(ϕ, ψ) := max(dX (ϕ(x), ψ(x))) + max(dX (ϕ−1 (x), ψ −1 (x)))
x∈X

x∈X

for ϕ, ψ ∈ H(X). It is not hard to check that the metric d is complete and H(X) becomes
a topological group with respect to d. Note that the sequence (ϕn )n in H(X) converges to
ϕ in this topology if and only if ϕn uniformly converges to ϕ. For a countable group Γ, let
H(Γ, X) denote the set of dynamical systems of Γ on
QX, i.e., H(Γ, X) = Hom(Γ, H(X)).
This set is naturally regarded as a closed subset of Γ H(X). Since Γ is countable, this
makes H(Γ, X) to be a complete metric space.
Next let Y be a compact metrizable space and let G y Y be a continuous action of a
topological group G on Y . Let α : Γ y Z be a topological dynamical system of a group Γ on
a compact metrizable space Z. Put X = Z×Y . Recall that a continuous map c : Γ×Z → G
is said to be a cocycle if it satisfies the equation c(s, t.z)c(t, z) = c(st, z) for all s, t ∈ Γ and
z ∈ Z. When there is a continuous map h : Z → G satisfying c(s, z) = h(s.z)−1 h(z) for all
s ∈ Γ and z ∈ Z, the cocycle c is said to be a coboundary. Each cocycle c : Γ × Z → G
defines an extension of α on X by the following equation.
s.(z, y) = (s.z, c(s, z)y) for s ∈ Γ and (z, y) ∈ X.
Such an extension is called a skew product extension. Note that when c is a coboundary,
the associated skew product extension is conjugate to ᾱ. Here and throughout the paper,
for a dynamical system α : Γ y Z and a compact space Y , we denote by ᾱ the diagonal
action of α and the trivial action on Y . Since the space Y is always clear from the context,
we omit Y in our notation.
For a continuous map h from Z into G, we have an associated homeomorphism H on
X defined by the formula H(z, y) := (z, hz (y)) for (z, y) ∈ X. We denote by Gs the set

MINIMAL SKEW PRODUCTS

3

of homeomorphisms given in the above way. Obviously, Gs is a subgroup of H(X). For a
topological dynamical system α : Γ y Z, we define a subset SG (α) of H(Γ, X) to be
SG (α) := {H −1 ◦ ᾱ ◦ H : H ∈ Gs }.

We note that the set SG (α) consists of skew product extensions of α by coboundaries.
We denote by S G (α) the closure of SG (α) in H(Γ, X). Note that any β ∈ S G (α) is a
skew product extension of α on X whose associated cocycle takes the value in G. Here G
denotes the closure of the image of G in H(X). In particular, when α is amenable, every
dynamical system contained in S G (α) is amenable. Throughout the paper, we always fix
metrics dY and dZ on Y and Z respectively and consider the metric on X = Z × Y defined
by dX ((z1 , y1 ), (z2 , y2 )) = dY (y1 , y2 ) + dZ (z1 , z2 ), and use these metrics to define metrics
on the homeomorphism groups.
In Section 3, we discuss étale groupoids. Throughout the paper, we always assume
that étale groupoids are locally compact Hausdorff and their unit spaces are compact and
infinite (as a set). For an étale groupoid G, we denote by r and s the range and source
map unless they are specified. As usual, for a dynamical system α of a discrete group
Γ on a compact space X, we usually regard the transformation groupoid X ⋊α Γ as the
following subspace of X × Γ × X.
X ⋊α Γ = {(αg (x), g, x) ∈ X × Γ × X : x ∈ X, g ∈ Γ}.

Note that the range and source map correspond to the projections onto the first and third
coordinate respectively. For detailed explanations and basic knowledges of étale groupoids,
we refer the reader to Section 5.6 of [4].
Notation.
• For a subset U of a topological space, its closure and interior are denoted by cl(U )
and int(U ) respectively.
• For a ∗-homomorphism α between C∗ -algebras, denote by α∗,i the homomorphism
induced on the Ki -groups.
• Denote by K the C∗ -algebra of all compact operators on ℓ2 (N).
• Let A be a C∗ -algebra. For a projection p in A or A⊗K, denote by [p]0 the element
of K0 (A) represented by p.
• For a compact space X, we denote Ki (C(X)) by K i (X) for short. (Note that this
coincides with the usual definition of K i -group.)
2. Construction of minimal skew product
The goal of this section is to prove the following theorem. The proof is done by following
the same line as that of Theorem 1 in [10].
Before the proof, recall that a dynamical system α : Γ y Z of a group Γ on a compact
metrizable space Z is said to be amenable if there is a sequence of continuous maps
µn : Z → Prob(Γ)

satisfying

lim sup ks.µzn − µs.z
n k1 = 0 for all s ∈ Γ.

n→∞ z∈Z

Here Prob(Γ) denotes the space of probability measures on Γ with the pointwise convergence topology, and Γ acts on Prob(Γ) by the left translation. It is shown by Ozawa [17]
that for discrete groups, the existence of an amenable action is equivalent to exactness.
See [1] and [4] for more information on amenable actions. In the proof of the following

4

YUHEI SUZUKI

theorem, we use amenability of dynamical systems to construct suitable continuous functions. In other word, amenability of dynamical systems plays the role of the Følner sets
in the proof of Theorem 1 of [10].
Theorem 2.1. Let G y Y be a minimal action of a path connected group G on a compact
metrizable space Y . Let α : Γ y Z be an amenable minimal topologically free dynamical
system of a countable group Γ on a compact metrizable space Z. Then the set
{β ∈ S G (α) : β is minimal}
is a Gδ -dense subset of S G (α).
Proof. Let G y Y and α : Γ y Z be as in the statement. For an open set U of X = Z × Y ,
we define the subset EU of S G (α) to be
[
EU := {β ∈ S G (α) :
βg (U ) = X}.
g∈Γ

Since X is compact, it is not hard to check that the set EU is open in S G (α).
Let (Un )n be a countable basis
T of X. We observe that an element in S G (α) is minimal
if and only if it is contained in n EUn . Therefore, thanks to the Baire category theorem,
our claim follows once we show the density of EU in S G (α) for each non-empty open set
U in X. To see this, it is enough to show the following claim. For any H ∈ Gs and any
non-empty open set U ⊂ X, H −1 ◦ ᾱ ◦ H ∈ cl(EU ). This is equivalent to the condition
ᾱ ∈ cl(HEU H −1 ). A direct computation shows that HEU H −1 = EH(U ) . Since H(U ) is
again a non-empty open set, now it is enough to show the following statement. For any
non-empty open set U ⊂ X, we have ᾱ ∈ cl(EU ). Now let U be a non-empty open set in X.
Let S be a finite subset of Γ and let ǫ > 0. Take non-empty open sets V
S ⊂ Y and W ⊂ Z
with W × V ⊂ U . By assumption, there are h̃0 , . . . , h̃n ∈ G satisfying 0≤i≤n h̃i (V ) = Y .
Since G is path-connected, there is a continuous map h : [0, 1] → G satisfying hi/n = h̃i for
0 ≤ i ≤ n. By the continuity of h, there is δ > 0 such that the condition |t1 −t2 | < δ implies
d(h−1
t1 ht2 , idY ) < ǫ. Now we use the amenability of α to choose a continuous map µ : Z →
Prob(Γ) satisfying supz∈Z ks.µz − µs.z k1 < δ for all s ∈ S. By perturbing µ within a small
error and replacing W by a smaller one, we may assume that there is a finite set F ⊂ Γ such
that supp(µw ) ⊂ F for all w ∈ W . (Cf. Lemma 4.3.8 of [4].) Since α is topologically free,
by replacing W by a smaller one further, we may assume that the open sets (g.W )g∈F −1 are
mutually disjoint. Since W is a locally compact metrizable space without isolated points,
we can choose a compact subset K of W homeomorphic to the Cantor set. (To see this,
take a sequence of families ((Ki1 ,...,in )0≤i1 ,...,in ≤1 )n∈N satisfying the following conditions.
Each family (Ki1 ,...,in )i1 ,...,in consists of pairwise disjoint closed subsets of W with nonempty interior, Ki1 ,...,in ⊂ Ki1 ,...,in−1 for any i1 , . . .T
, inS
, and maxi1 ,...,in {diam(Ki1 ,...,in )}
converges to 0 as n tends to infinity. Then the set n i1 ,...,in Ki1 ,...,in gives the desired
subset.)
F
Next take a continuous surjection θ0 : K → [0, 1]. Extend θ0 to a map g∈F −1 gK →
[0, 1] by the formula θ0 (g.z) := θ0 (z) for g ∈ F −1 and z ∈ K. Then take a continuous
extension θ̃ : Z → [0, 1] of θ0 . Using θ̃ and µ, we define θ : Z → [0, 1] by
X
θ(z) :=
µz (g−1 )θ̃(g.z).
g∈Γ

MINIMAL SKEW PRODUCTS

5

Note that the continuity of θ̃ and µ implies that of θ. For z ∈ K, since supp(µz ) ⊂ F , we
have θ(z) = θ0 (z). In particular, θ(K) = [0, 1]. Moreover, for z ∈ Z and s ∈ S, we have
X
|θ(s.z) − θ(z)| = |
(µs.z (g−1 )θ̃(gs.z) − µz (g −1 )θ̃(g.z))|
g∈Γ

X
= |
(µs.z (g−1 )θ̃(gs.z) − µz (s−1 g−1 )θ̃(gs.z))|
g∈Γ

≤ kµs.z − s.µz k1
< δ.
Now define the map g : Z → G by gz := hθ(z) for z ∈ Z. We will show that the
corresponding homeomorphism G ∈ Gs satisfies the following conditions.
(1) d(ᾱs , G−1 ◦ ᾱs ◦ G) < ǫ for s ∈ S.
(2) G−1 ◦ ᾱ ◦ G ∈ EU .
Since U , ǫ, and S are arbitrarily, this ends the proof. Let s ∈ S and (z, y) ∈ X. Then a
direct computation shows that
−1
gz (y)).
(G−1 ◦ ᾱs ◦ G)(z, y) = (αs (z), gs.z

−1 g , id ) < ǫ for all z ∈ Z, we obtain the first condition.
Since d(gs.z
z
Y
S
For the second condition, note that G−1 ◦ ᾱ ◦ G ∈ EU if and only if g∈Γ ᾱg (G(U )) = X
holds. By the choice of G, for any 0 ≤ i ≤ n, there is w ∈ W satisfying gw =Sh̃i . It follows
that for any 0 ≤ i ≤ n, there is w ∈ W with {w} × h̃i (V ) ⊂ G(U ). Since i h̃i (V ) = Y ,
this shows that for any y ∈ Y , the intersection (Z × {y}) ∩ G(U
S ) is non-empty (which is

open in Z × {y}). This with the minimality of α shows that g∈Γ ᾱg (G(U )) = X.

Remark 2.2. Theorem 2.1 does not hold when Z is not metrizable. To see this, consider
a minimal subsystem α : Γ y Z of Γ y βΓ. (Note that α is amenable when Γ is exact.)
Then α is the universal minimal Γ-system (see Theorem 1.24 of [9]). Thus it does not
have a nontrivial minimal extension.

Remark 2.3. Let α : Γ y Z be a minimal topologically free dynamical system of an
amenable group Γ whose crossed product is quasi-diagonal. Then for any β ∈ S G (α), its
crossed product is quasi-diagonal. Indeed, since β is a limit of conjugations of ᾱ, there is a
continuous field of C∗ -algebras over N ∪ {∞}, the one-point compactification of N, whose
fiber at n ∈ N is isomorphic to C(Y ) ⊗ (C(Z) ⋊α Γ) and the one at ∞ is isomorphic to
C(X)⋊β Γ. (See Corollary 3.6 of [20].) Now Lemma 3.10 of [5] proves the quasi-diagonality
of C(X) ⋊β Γ.
3. Pure infiniteness of crossed products of minimal skew products
3.1. Finite filling property for étale groupoids. To study the pure infiniteness of
crossed products of dynamical systems arising from Theorem 2.1, we introduce a notion of
the finite filling property for étale groupoids. First recall from [11] the finite filling property
for dynamical systems. Although their definition and result also cover noncommutative
C∗ -dynamical systems, in this paper, we concentrate on the commutative case. See [11] for
the general case. We remark that, although the following formulation is slightly different
from the original one, it is easily checked that they are equivalent. (Cf. Definition 0.1,
Proposition 0.3, and Remark 0.4 of [11].)
Definition 3.1. A dynamical system Γ y X is said to have the n-filling
S property if for
any non-empty open set U of X, there are n elements g1 , . . . , gn ∈ Γ with ni=1 gi (U ) = X.

6

YUHEI SUZUKI

We say that a dynamical system has the finite filling property if it has the n-filling property
for some n ∈ N.
Note that the finite filling property implies minimality. In [11], it is shown that the
finite filling property of a topological dynamical system implies the pure infiniteness of
the reduced crossed product by a similar way to the one in [14]. However, as shown in
[11], the n-filling property is inherited to factors. This makes the usage of the n-filling
property restrictive in our application. To avoid this difficulty, we introduce a notion of
the finite filling property for étale groupoids, which can be regarded as a localized version
of [11]. This helps to construct minimal skew products with the purely infinite reduced
crossed product.
Next we recall that a subset U of an étale groupoid G is said to be a G-set if both the
range and source map are injective on U . For two G-sets U and V , we set U V := {uv ∈
G : u ∈ U, v ∈ V, s(u) = r(v)}. Obviously it is again a G-set. Furthermore, if both U
and V are open, then U V is again open. Recall also that an étale groupoid is said to be
minimal if for any x ∈ G(0) , the set {r(u) : u ∈ G, s(u) = x} is dense in G(0) . Note that
the unit space G(0) has no isolated points whenever G is minimal. (Recall that G(0) is
always assumed to be infinite.)
Definition 3.2. Let G be an étale groupoid. For a natural number n, we say that G
has the n-filling property if every non-empty open set W of G(0) satisfies the following
conditon. There are n open G-sets U1 , . . . , Un satisfying
n
[

r(Ui W ) = G(0) .

i=1

For short, we say that a dynamical system has the weak n-filling (resp. weak finite filling)
property if its transformation groupoid has the n-filling (resp. finite filling) property.
Obviously, for dynamical systems, the n-filling (resp. finite filling) property implies the
weak n-filling (resp. weak finite filling) property. However, the converses are not true.
We also remark that it is possible to define the weak finite filling property without going
through the transformation groupoid. However, this specialization does not make the arguments below easier and this generality makes notation simpler. Considering applications
elsewhere also, we study the property under this generality.
When the unit space G(0) has finite covering dimension, we have a useful criteria for
the finite filling property. The following definition is inspired from [15] and [24].
Definition 3.3. We say that an étale groupoid G is purely infinite if for any non-empty
open set U of G(0) , there is a non-empty open subset V of U with the following condition.
There are open G-sets U1 and U2 such that r(Ui ) ⊂ V ⊂ s(Ui ) for i = 1, 2 and r(U1 ) and
r(U2 ) are disjoint. We say that a dynamical system is purely infinite if its transformation
groupoid is purely infinite.
We remark that Matui [15] has introduced pure infiniteness for totally disconnected étale
groupoids for the study of the topological full groups. Clearly, our definition is weaker
than Matui’s one. We will see later that our definition of pure infiniteness coincides with
Matui’s one for minimal totally disconnected étale groupoids.
Proposition 3.4. Let G be a minimal purely infinite étale groupoid and assume that
dim(G(0) ) = n < ∞. Then G has the (n + 1)-filling property.

MINIMAL SKEW PRODUCTS

7

Proof. Let U be a non-empty open subset of G(0) . Replacing U by a smaller one, we may
assume that there are open G-sets U1 and U2 such that r(Ui ) ⊂ U ⊂ s(Ui ) for i = 1, 2 and
r(U1 ) and r(U2 ) are disjoint. We first show that for any N ∈ N, there are N open G-sets
V1 , . . . , VN satisfying r(Vi ) ⊂ U ⊂ s(Vi ) for i = 1, . . . , N and the ranges r(V1 ), . . . , r(VN )
are mutually disjoint. To see this, first take M ∈ N with 2M ≥ N and then take N
mutually distinct elements from the set
{Ui1 Ui2 · · · UiM : ik = 1 or 2 for each k}.

Then it gives the desired sequence.
By the compactness of G(0) and theSminimality of G, for some natural number N , there
(0)
are N open G-sets W1 , . . . , WN with N
i=1 r(Wi U ) = G . Take N open G-sets V1 , . . . , VN
−1
as in the previous paragraph and put Zi := Wi Vi for each i. Then we have
N
[

i=1

r(Zi U ) ⊃

N
[

r(Wi U ) = G(0) .

i=1

Note that since s(Zi ) ⊂ r(Vi ), the sources of Zi ’s are mutually disjoint. Since dim(G(0) ) =
n, we can choose a refinement (Yj )j∈J of (r(Zi U ))N
i=1 with the decomposition J = J0 ⊔
J1 ⊔ · · · ⊔ Jn such that the members of the family (Yj )j∈Jk are mutually disjoint for each
k. Choose
S a map ϕ : J → {1, . . . , N } satisfying Yj ⊂ r(Zϕ(j) U ) for each j ∈ J. Set
Xk := j∈Jk Yj Zϕ(j) for each k. Then it is not hard to check that each Xk is an open
S
S

G-set and that r(Xk U ) = j∈Jk Yj . This shows nk=0 r(Xk U ) = G(0) .

Remark 3.5. The argument in Remark 4.12 of [15] shows that for totally disconnected
étale groupoids, the finite filling property implies pure infiniteness in Matui’s sense. Thus
for a minimal totally disconnected étale groupoid G, pure infiniteness in Matui’s sense
[15], that in our sense, the finite filling property, and the 1-filling property are equivalent.
(Here total disconnectedness is used to replace open G-sets by clopen ones.)
Next we see a few examples of dynamical systems with the weak finite filling property.
The following three examples are particularly important for us. See [11] for more examples
of dynamical systems with the finite filling property.
Example 3.6. It follows from the proof of Theorem 6.11 of [24] that every countable
non-amenable exact group admits an amenable minimal free purely infinite dynamical
system on the Cantor set. (To see this, use the equivalence of conditions (i) and (iii)
in Proposition 5.5 in the proof of Proposition 6.8.) By Proposition 3.4, it has the weak
1-filling property. We remark that these dynamical systems almost never have the finite
filling property.
Recall that a manifold is said to be closed if it is compact and has no boundaries.
Lemma 3.7. Let M be a connected closed topological manifold. Let H0 (M ) denote the
path connected component of H(M ) containing the identity. Then the action H0 (M ) y M
has the finite filling property.
Proof. It is not hard to show that the above action is transitive by using the connectedness
of M with the fact that M is locally homeomorphic to Rn .
Take an open cover U1 , . . . , UN of M each of which is homeomorphic to Rn . We show
that for any non-empty open set V in M , for any i, and for any compact subset K of
Ui , there is an element g ∈ H0 (M ) with g(V ) ⊃ K. Since M is compact, the claim with
a standard argument for compactness shows the N -filling property of the action in the

8

YUHEI SUZUKI

question. Since the action is transitive, replacing V by g(V ) for a suitable g ∈ H0 (X)
and replacing it by a smaller one further, we may assume that V is contained in Ui . Take
a homeomorphism ϕ : Ui → Rn satisfying 0 ∈ ϕ(V ). Take a sufficiently large positive
number λ > 0 with ϕ(K) ⊂ λϕ(V ). Then choose a continuous function f : R≥0 → R≥0
satisfying the following conditions.
(1) For t ≤ diam(ϕ(V )), we have f (t) = λ.
(2) For all sufficiently large t, we have f (t) = 1.
(3) The function t 7→ tf (t) is strictly monotone increasing.

Now set ϕf (x) := ϕ−1 (f (kϕ(x)k)ϕ(x)) for x ∈ Ui . Here k · k denotes the Euclidean norm
on Rn . From the assumptions on f , the map ϕf is a homeomorphism on Ui satisfying
K ⊂ ϕf (V ). We extend ϕf to a homeomorphism ψf on M as follows.

ϕf (x) if x ∈ Ui
ψf (x) :=
.
x
if x ∈ M \ Ui
It is clear from the properties of f that ψf is indeed a homeomorphism on M . Clearly we
have K ⊂ ψf (V ). Moreover, the map t ∈ [0, 1] 7→ ψ(1−t)f +tk defines a continuous path in
H(M ) from ψf to the identity. Here k denotes the constant function of value 1 defined on
R≥0 . Thus we have ψf ∈ H0 (M ).

Next we see examples of Q
finite filling actions of path-connected groups on infinite dimensional spaces. Let Q := N [0, 1] be the Hilbert cube. Recall that a topological space
is said to be a Hilbert cube manifold if there is an open cover each of the member is
homeomorphic to an open subset of Q. It is not hard to show that open subsets of Q
in the definition can be taken to be [0, 1) × Q. (See Theorem 12.1 of [7] for instance.)
Obvious examples are Q itself and the product of Q and a topological manifold (possible
with boundary). We refer the reader to [7] for more information of Hilbert cube manifolds.
Lemma 3.8. Let M be a connected compact Hilbert cube manifold. Then the action
H0 (M ) y M has the finite filling property.
Proof. We first show the following claim. For any open subset U of [0, 1) × [0, 1]n of the
form (a, b)n × [0, 1] (0 < a < b < 1) and for any compact subset K of [0, 1) × [0, 1]n ,
there is a homeomorphism h ∈ Hc,0 ([0, 1) × [0, 1]n ) satisfying K ⊂ h(U ). Here, for a
locally compact metrizable space Y , Hc,0 (Y ) denotes the subgroup of homeomorphisms
on Y defined as follows. First we define Hc (Y ) to be the group of homeomorphisms
on Y which coincide with the identity off a compact subset. Then we identify Hc (Y )
with the inductive limit of subgroups of homeomorphism groups of compact subsets of
Y in the natural way. Then we topologize Hc (Y ) with the inductive topology. Now
we define Hc,0 (Y ) to be the path-connected component of Hc (Y ) containing the identity
with respect to this topology. To show the claim, we first construct a homeomorphism
h1 ∈ Hc,0 ([0, 1) × [0, 1]n ) satisfying h1 ({0} × [0, 1]n ) ⊂ (a, b)n × [0, 1] in a similar way to
the proof of Lemma 3.7. Then, since h1 is a homeomorphism, there is a positive number
δ > 0 satisfying h1 ([0, δ) × [0, 1]n ) ⊂ (a, b)n × [0, 1]. On the one hand, it is easy to find
h2 ∈ Hc,0 ([0, 1) × [0, 1]n ) satisfying K ⊂ h2 ([0, δ) × [0, 1]n ). Now the homeomorphism
h := h2 ◦ h−1
1 satisfies the required condition.
Next we observe that for any compact metrizable space X and its open subset U , any
h ∈ Hc,0 (U ) extends to a homeomorphism h̃ in H0 (X) by defining h̃(x) = x off U . Now
thanks to the claim in the previous paragraph with this observation, the rest of the proof
can be completed by a similar way to that of Lemma 3.7.


MINIMAL SKEW PRODUCTS

9

We next show that the finite filling property gives a sufficient condition for the pure
infiniteness of the reduced groupoid C∗ -algebra. Recall from [15] that an étale groupoid G
is said to be essentially principal if the interior of the set {g ∈ G : r(g) = s(g)} coincides
with G(0) . Note that for transformation groupoids, this condition is equivalent to the
topological freeness of the original dynamical system.
Proposition 3.9. Let G be an étale groupoid with the finite filling property. Assume further that G is essentially principal. Then the reduced groupoid C∗ -algebra C∗r (G) is purely
infinite and simple. In particular, if G is additionally assumed to be second countable and
amenable, then C∗r (G) is a Kirchberg algebra in the UCT class.
We note that the last statement immediately follows from the first one since the reduced
groupoid C∗ -algebra of an amenable étale groupoid is nuclear (see Theorem 5.6.18 of [4])
and is in the UCT class [28]. To show the main statement, we need the following lemma,
which is the analogue of Lemma 1.5 of [11].
Lemma 3.10. Let G be an étale groupoid with the n-filling property. Let b be a positive
(0)
∗
element
√ in C(G∗ ) with norm one. Then for any ǫ > 0, there is c ∈ Cr (G) such that
kck ≤ n and c bc ≥ 1 − ǫ.
Proof. Set U := {x ∈ G(0) : b(x) > 1 − ǫ}. Take n mutually disjoint non-empty open
subsets U1 , . . . , Un of U . Since T
G is minimal, there are n open G-sets V1 , . . . , Vn with the
property that the intersection i r(Vi Ui ) is non-empty. Using the n-filling property of G
with this observation, we can find n open G-sets W1 , . . . , Wn satisfying
n
[
r(Wi Ui ) = G(0) .
i=1

By replacing Wi by Wi Ui , we may assume s(Wi ) ⊂ Ui . Since G is locally compact and
G(0) is compact, replacing each Wi by a smaller one if necessary, we may assume further
that each Wi is relatively compact in G. Since G is locally compact, for each i, it is
not hard to find an increasing net (Wi,λ )λ∈Λ of open subsets of Wi that satisfies the
following conditions. The closure of Wi,λ in G is contained in Wi for each λ, and the union
S
W is equal to Wi . Since the unit space G(0) is compact, there is λ ∈ Λ satisfying
Snλ i,λ
(0)
i=1 r(Wi,λ ) = G . Now fix such λ and put Zi := cl(Wi,λ ) for each i. Then, by the
choice of Wi,λ , the Zi is a compact G-set. Moreover we have
G(0) =

n
[

i=1

r(Wi,λ ) ⊂

n
[

r(Zi ).

i=1

Now for each i, take a continuous function fi ∈ Cc (G) satisfying the following conditions.
(1) 0 ≤ fi ≤ 1.
(2) supp(fi ) ⊂ Wi .
(3) fi ≡ 1 on Zi .
(Since Zi and the closure of Wi in G are compact, such function exists.) Since Wi is a
G-set, these conditions imply that fi ∗ fi∗ ∈ C(G(0) ) and that fi ∗ fi∗ ≤ 1. Since the sets
s(W1 ), . . . , s(Wn ) are mutually disjoint, we have fi ∗ fj∗ = 0 for two distinct i and j. Now
P
∗
∗
(0)
∗
put c := ni=1
√ fi . The above observations show that c ∗ c ∈ C(G ) and that c ∗ c ≤ n.
Thus kck ≤ n. Since the G-sets W1 , . . . , Wn have mutually
disjoint sources, we also get
Sn
∗
(0)
c ∗ b ∗ c ∈ C(G ). Since s(Wi ) ⊂ U for each i and i=1 r(Zi ) = G(0) , we further obtain
c∗ ∗ b ∗ c ≥ 1 − ǫ.


10

YUHEI SUZUKI

Proof of Proposition 3.9. The rest of the proof is basically the same as that in [11]. We first
observe that since G is essentially principal, it is not hard to show that for any b ∈ Cc (G)
and ǫ > 0, there is a positive element y ∈ C(G(0) ) with norm one satisfying yby = yE(b)y
and kybyk > kE(b)k − ǫ, where E denotes the restriction map Cc (G) → C(G(0) ). Note
that the map E extends to a faithful conditional expectation on C∗r (G). From this with
Lemma 3.10, for any positive element b ∈ Cc (G) with kE(b)k = 1, there is an element
√
n and c∗ bc ≥ 1/2. Since the norm of c is bounded by the
c ∈ Cc (G(0) ) satisfying
kck
≤
√
fixed constant n, now a standard argument completes the proof.

3.2. Minimal skew products with purely infinite crossed products. Now using the
finite and weak finite filling property, we construct minimal skew products whose crossed
products are purely infinite.
Proposition 3.11. Let α : Γ y Z be an amenable topologically free dynamical system
with the weak n-filling property. Let G y Y be a minimal dynamical system of a path
connected group G with the m-filling property. Then the set

β ∈ S G (α) : β has the weak (nm)-filling property

is a Gδ -dense subset of S G (α).

Proof. For an open set U of X = Z ×Y , let FU denote the set of elements βSof S G (α) satisfying the following condition. There are nm open Gβ -sets V1 , . . . , Vnm with i r(Vi U ) = X.
Here Gβ denotes the transformation groupoid X ⋊β Γ of β. Then forTa countable basis
(Un )n of X, the set in the question coincides with the intersection n FUn . Hence it
suffices to show that each FU is open and dense in S G (α).
We first show the openness of FU . Let β ∈ FU . Let V1 , . . . , Vnm be open Gβ -sets as
above. Replacing Vi ’s by smaller ones, we may assume that they
S are relatively compact in
Gβ and that the sources s(Vi ) are contained in U . Set F := π( i Vi ), where π : X ⋊β Γ → Γ
denotes the projection onto the second coordinate. Since each Vi is relatively compact in
Gβ , the set F is a finite subset of Γ. Now we apply the argument in the proof of Lemma
3.10 to (Vi )i to choose compact Gβ -sets W1 , . .S
. , Wnm with the following properties. The
Wi is contained in Vi for each i and the union i r(int(Wi )) is equal to X. Now for a Gβ set W and g ∈ Γ, define the subset Wg ⊂ X to be r(W ∩ π −1 ({g})). Then, for
S each i, the
sets (Wi,g )g∈F are mutually disjoint compact sets in X. Moreover, the union i,g int(Wi,g )
is equal to X.
For W ⊂ X and δ > 0, we define the (open) subsets Nδ (W ) and Iδ (W ) of X as follows.
[
Nδ (W ) :=
B(x, δ),
x∈W

Iδ (W ) := {x ∈ X : there is η > δ with B(x, η) ⊂ W }.
Here for x ∈ X and η > 0, B(x, η) denotes the open ball of center x and radius η. Then,
from the properties of Wi ’s and the compactness of X, for a sufficiently small positive
number δ > 0, the following conditions hold. The sets (Nδ (Wi,g ))g are mutually disjoint
for each i and the sets (Iδ (Wi,g ))i,g cover X. We fix such positive number δ. From the first
condition, for any γ ∈ S G (α) satisfying d(γs , βs ) < δ for all s ∈ F , each Wi is a Gγ -set.
Here Wi is regarded as a subset of Gγ by identifying the transformation groupoids with
the set Γ × X by ignoring the first coordinates. Let rβ and rγ denote the range map of
Gβ and Gγ respectively. Then we have
[
[
[
rγ (int(Wi )) ⊃
Iδ (rβ (int(Wi ))) =
Iδ (Wi,g ) = X.
i

i

i,g

MINIMAL SKEW PRODUCTS

11

Therefore we have γ ∈ FU , which proves the openness of FU .
To show the density of FU , by the similar reason to that in the proof of Theorem 2.1,
it suffices to show the following statement. For any ǫ > 0 and any finite subset S ⊂ Γ,
there is a homeomorphism H ∈ Gs satisfying the following conditions.
(1) d(ᾱs , H −1 ◦ ᾱs ◦ H) < ǫ for s ∈ S.
(2) H −1 ◦ ᾱ ◦ H ∈ FU .
Replacing U by a smaller open set, we may assume U = W × V for some W ⊂ Z and
V ⊂Y
S. By the m-filling property of G y Y , we can choose m elements h̃1 , . . . , h̃m of G
with i h̃i (V ) = Y . Now proceeding the same argument as in the proof of Theorem 2.1,
we get a continuous map g : Z → G with the following conditions.
−1 g , id ) < ǫ for all z ∈ Z and s ∈ S.
(1) d(gs.z
z
Y
S
(2) There are m elements w1 , . . . , wm in W with the condition i gwi (V ) = Y .
Let H ∈ Gs be the element corresponding to g. Then from the first condition, we conclude
d(ᾱs , H −1 ◦ ᾱs ◦ H) < ǫ for s ∈ S. To show β := H −1 ◦ ᾱ ◦ H ∈ FUS
, it suffices to show
the following claim. There are nm open Gᾱ -sets W1 , . . . , Wnm with i r(Wi H(U )) = X.
Indeed the sets
{(H −1 (z), s, H −1 (w)) ∈ X × Γ × X : (z, s, w) ∈ Wi } (i = 1, . . . , nm)
then define the desired open Gβ -sets. To show the claim, first note that since g is continuous, there are an open subset Ui of U containing wi for i = 1, . . . , m and an open covering
(Vi )m
condition. For any z ∈ Ui , we have Vi ⊂ gz (V ). From
i=1 of Y satisfying the followingS
m
these conditions, we have H(U
)
⊃
i=1 (Ui × Vi ). Now for each 1 ≤ i ≤ m, take n open
Sn
Gα -sets Wi,1 , . . . , Wi,n with j=1 r(Wi,j Ui ) = Z. For each 1 ≤ i ≤ m and 1 ≤ j ≤ n, set
Zi,j := ϕ−1 (Wi,j ), where ϕ : Gᾱ → Gα denotes the canonical quotient map. Then each
Zi,j is an open Gᾱ -set and we further get
[
[
[
rᾱ (Zi,j H(U )) ⊃
rᾱ (Zi,j (Ui × Vi )) = (rα (Wi,j Ui ) × Vi ) = X.
i,j

i,j

i,j


In [24], Rørdam and Sierakowski have shown that every countable non-amenable exact
group admits an amenable minimal free dynamical system on the Cantor set whose crossed
product is a Kirchberg algebra in the UCT class. Proposition 3.11 particularly gives an
extension of their result to more general spaces.
Theorem 3.12. Let M be a connected closed topological manifold, a connected compact
Hilbert cube manifold, or a countable direct product of these manifolds. Let X be the
Cantor set. Then every countable non-amenable exact group admits an amenable minimal
free dynamical system on M × X whose crossed product is a Kirchberg algebra in the UCT
class.
Proof. For the first two cases, the statement immediately follows from Example 3.6, Lemmas 3.7 and 3.8, and Propositions 3.9 and 3.11.
For the last case, let M1 , M2 , . . . be a sequence of spaces each of which is either connected
closed topological manifold or connected compact Hilbert cube manifold. Set Nn :=
M1 × · · · × Mn × X for each n. We put α0 := α and N0 := X for convenience. We
inductively apply Proposition 3.11 to αn : Γ y Nn and Mn+1 to get a minimal skew
product extension αn+1 : Γ y Nn+1 of αn with the weak finite filling property. Then we
get the projective system (αn )∞
n=1 of dynamical systems of Γ. Since pure infiniteness of

12

YUHEI SUZUKI

C∗ -algebras is preserved under taking increasing union (Prop 4.1.8 of [22]), the projective
limit α∞ := lim αn possesses the desired properties.

←−
4. Minimal dynamical systems of free groups on products of Cantor set
and closed manifolds

In this section, we investigate the K-groups of the crossed products of minimal dynamical
systems obtained in Theorem 2.1 for the free group case. By using the Pimsner–Voiculescu
six term exact sequence [19], we give a Künneth-type formula for K-groups of their crossed
products. As an application, we give the following generalization of Theorems 4.10 and
4.22 of [26].
Theorem 4.1. Let Γ be a countable non-amenable virtually free group. Let M be either connected closed topological manifold or connected compact Hilbert cube manifold.
Then there exist continuously many amenable minimal free dynamical systems of Γ on
the product of M and the Cantor set whose crossed products are mutually non-isomorphic
Kirchberg algebras.
In the below, we regard abelian groups as Z-modules. We simply denote the tensor product ‘⊗Z ’ by ‘⊗’ for short. Recall that for two abelian groups G, H, the group TorZ1 (G, H)
is defined as follows. First take a projective resolution of G.
· · · → P2 → P1 → P0 → G → 0.

Then by tensoring H with the above resolution, we obtain a complex
· · · → P2 ⊗ H → P1 ⊗ H → P0 ⊗ H → 0.

The group TorZ1 (G, H) is then defined as the first homology of the above complex. Note
that the definition does not depend on the choice of the projective resolution. We remark
that when we have a projective resolution of length one
0 → P1 → P0 → G → 0,

then TorZ1 (G, H) is computed as the kernel of the homomorphism P1 ⊗ H → P0 ⊗ H. See
[3] for the detail.
Proposition 4.2. Let α : Fd y X be an amenable minimal topologically free dynamical
system of the free group Fd on the Cantor set X. Let G y Y be a minimal action of a
path-connected group G on a compact metrizable space Y . Let β ∈ S G (α). Let A and B
denote the crossed product of α and β respectively. Then for i = 0, 1, we have the following
short exact sequence.
0 → K0 (A) ⊗ K i (Y ) → Ki (B) → (K1 (A) ⊗ K 1−i (Y )) ⊕ TorZ1 (K0 (A), K 1−i (Y )) → 0.

Moreover, the first map maps [1A ]0 ⊗ [1Y ]0 to [1B ]0 when i = 0.

Proof. Since C(X) is an AF-algebra, we have a canonical isomorphism
K i (X × Y ) → C(X, K i (Y ))(∼
= K 0 (X) ⊗ K i (Y ))

for i = 0, 1. Here C(X, K i (Y )) denotes the group of continuous maps from X into K i (Y )
and K i (Y ) is regarded as a discrete group. For i = 0, the isomorphism is given by
mapping the element [p]0 where p is a projection in K ⊗ C(X) ⊗ C(Y ) to the map x ∈
X 7→ [p(x, ·)]0 ∈ K 0 (Y ) and similarly for the case i = 1.
From this isomorphism and the fact that G is path-connected, for any γ ∈ SG (α) and
g ∈ Fd , we have (γg )∗,i = (αg )∗,0 ⊗ idK i (Y ) for i = 0, 1. Here we identify K i (X × Y ) with
K 0 (X) ⊗ K i (Y ) under the above isomorphism. By continuity of the K-theory, the above

MINIMAL SKEW PRODUCTS

13

equality holds for all γ ∈ S G (α). Now let S be a free basis of Fd . Then by the Pimsner–
Voiculescu six term exact sequence [19], we have the following short exact sequence.
0 → coker(ϕ ⊗ idK i (Y ) ) → Ki (B) → ker(ϕ ⊗ idK 1−i (Y ) ) → 0.

Here ϕ denotes the homomorphism

ϕ : K 0 (X)⊕S → K 0 (X)

P
which maps (fs )s∈S to s∈S (fs − (αs )∗,0 (fs )). Since K 0 (X) is a free abelian group, the
exact sequence
0 → K1 (A) → K 0 (X)⊕S → K 0 (X) → K0 (A) → 0
obtained by the Pimsner–Voiculescu six-term exact sequence is a free resolution of K0 (A).
This also gives the free resolution
0 → im(ϕ) → K 0 (X) → K0 (A) → 0

of K0 (A). Here the first map is given by the inclusion map, say ι.
Let ψ : K 0 (X)⊕S → im(ϕ) be the surjective homomorphism obtained by restricting the
range of ϕ. By tensoring K i (Y ) with the second free resolution, we obtain the following
exact sequence.
0 → TorZ1 (K0 (A), K i (Y )) → im(ϕ) ⊗ K i (Y ) → K 0 (X) ⊗ K i (Y ) → K0 (A) ⊗ K i (Y ) → 0.

This shows that

ker(ι ⊗ idK i (Y ) ) ∼
= TorZ1 (K0 (A), K i (Y )).

Since the second map surjects onto im(ϕ ⊗ idK i (Y ) ), we also obtain the isomorphism
coker(ϕ ⊗ idK i (Y ) ) ∼
= K0 (A) ⊗ K i (Y ).

Since ϕ = ι ◦ ψ and ψ is surjective, we have the following exact sequence.

(1)

0 → ker(ψ ⊗ idK i (Y ) ) → ker(ϕ ⊗ idK i (Y ) ) → ker(ι ⊗ idK i (Y ) ) → 0.

Here the first map is the canonical inclusion and the second map is the restriction of
ψ ⊗ idK i (Y ) . Since im(ϕ) is free abelian, there is a direct complement K of ker(ϕ) in
K 0 (X)⊕S . Note that the restriction of ψ on K is an isomorphism. Hence we have the
isomorphism
ker(ψ ⊗ idK i (Y ) ) = ker(ψ) ⊗ K i (Y ) ∼
= K1 (A) ⊗ K i (Y ).

Again by the freeness of im(ϕ), we have a right inverse σ of ψ. Then the homomorphism
σ ⊗idK i (Y ) gives a splitting of the short exact sequence (1). Combining these observations,
we obtain the isomorphism
ker(ϕ ⊗ id i ) ∼
= (K1 (A) ⊗ K i (Y )) ⊕ TorZ (K0 (A), K i (Y )).
K (Y )

Now the first exact sequence completes the proof.

1



Remark 4.3. Certainly, when K ∗ (Y ) has a good property, the short exact sequence in
Proposition 4.2 is spilitting. For example, it holds true when K 1−i (Y ) is projective or
one of K0 (A) or K i (Y ) is injective. (Recall that K1 (A) is always free abelian and that
the tensor product of an injective Z-module with an arbitrary Z-module is again injective
by Corollary 4.2 of Ch.III of [3].) However, we do not know whether it is splitting in
general. Recall that a splitting of the Künneth tensor product theorem is obtained by
replacing considered C∗ -algebras by easier ones by using suitable elements of the KKgroups (see Remark 7.11 of [25]). However, in our setting, this argument does not work.
Such replacement does not respect the relation among C(X), C(Y ), A, B, and Fd .

14

YUHEI SUZUKI

Proof of Theorem 4.1. We first prove the claim for free groups. Theorem 5.3 of [27] shows
that for any finite d, there is an amenable minimal topologically free dynamical system
γ of Fd on the Cantor set whose crossed product A satisfies the following condition. The
unit [1]0 ∈ K0 (A) generates a direct summand of K0 (A) isomorphic to Z. Note that this
property passes to unital C∗ -subalgebras of A. Moreover, since γ is found as a factor of
the ideal boundary action, its restriction to any finite index subgroup of Fd is minimal.
It is also not hard to show that the restriction of γ to any finite index subgroup of Fd is
purely infinite (cf. the proof of Lemma 4.8 of [27]). Applying the argument in the proof
of Theorem 4.22 in [26] using γ instead of the action used there, we obtain the following
consequence. (By finite generatedness, in this case the proof becomes easier than the one
there.) For any non-empty set Q of prime numbers, there is an amenable minimal free
purely infinite dynamical system αQ of Fd on the Cantor set whose K0 -group G satisfies
the following condition.
{p ∈ P : [1]0 ∈ pG} = Q.
Here P denotes the set of all prime numbers. The similar statement for F∞ is shown in the
proof of Theorem 4.22 of [26]. We also denote by αQ a dynamical system of F∞ satisfying
the above conditions.
Now let M be as in the statement. Put
R := {p ∈ P : K 1 (M ) contains an element of order p}.

Then by [6], R is finite. (Indeed, in either case, M × [0, 1]N is a compact Hilbert cube
manifold. Now the main theorem of [6] shows that K 1 (M ) is in fact finitely generated.)
Let G denote the path-connected component of H(M ) containing the identity. For each
non-empty subset Q of P \ R, we apply Proposition 3.11 to αQ to choose β from S G (αQ )
whose crossed product is a Kirchberg algebra. For i = 0, 1, denote by Gi and Hi the
Ki -group of the crossed products of αQ and β respectively. We claim that
Q̃ := {p ∈ P \ R : [1]0 ∈ pH0 } = Q.

Since the cardinal of the power set of P \R is continuum, this ends the proof. The inclusion
Q ⊂ Q̃ is obvious. To see the converse, let p ∈ Q̃ and take h ∈ H0 with ph = [1]0 . Denote
by ∂i the third map of the short exact sequence in Proposition 4.2. Then since ∂0 ([1]0 ) = 0,
we have p∂0 (h) = 0. On the other hand, by the definition of R and the fact that G1 is
torsion free, there is no element of order p in the third term of the short exact sequence.
Thus p∂0 (h) = 0 implies ∂0 (h) = 0. Hence there is an element y in the first term of
the short exact sequence with σ0 (y) = h. Here σi denotes the second map in the short
exact sequence. Then from the injectivity of σ0 and the equality ph = [1]0 , we must have
py = [1]0 ⊗[1M ]0 . Now let τ : K 0 (M ) → Z be the homomorphism induced from a character
on C(M ). Put w := (id ⊗ τ )(y) ∈ G0 . (We identify G0 with G0 ⊗ Z in the obvious way.)
Then we have pw = (id ⊗ τ )([1]0 ⊗ [1M ]0 ) = [1]0 . Thus we get p ∈ Q as desired.
The proof for general case is done by taking the induced dynamical systems of the actions
obtained in above. For the detail, see the proof of Theorem 4.7 in [26] for instance.

Acknowledgement. The author was supported by Research Fellow of the JSPS (No.257810) and the Program of Leading Graduate Schools, MEXT, Japan.
References
[1] C. Anantharaman-Delaroche, Systèmes dynamiques non commutatifs et moyennabilité. Math. Ann.
279 (1987), 297–315.
[2] C. Anantharaman-Delaroche, Purely infinite C∗ -algebras arising from dynamical systems. Bull. Soc.
Math. France 125 (1997), 199–225.

MINIMAL SKEW PRODUCTS

15

[3] K. S. Brown, Cohomology of Groups. Graduate Texts in Mathematics 87 (1982), Springer-Verlag, New
York-Berlin.
[4] N. P. Brown, N. Ozawa, C∗ -algebras and finite-dimensional approximations. Graduate Studies in
Mathematics 88. American Mathematical Society, Providence, RI, 2008. xvi+509 pp.
[5] J. Carrion, M. Dadarlat, C. Eckhardt, On groups with quasidiagonal C∗ -algebras. J. Funct. Anal. 265
(2013), no. 1, 135–152.
[6] T. A. Chapman, Compact Hilbert cube manifolds and the invariance of Whitehead torsion. Bull. Amer.
Math. Soc. 79 (1973), 52–56.
[7] T. A. Chapman, Lectures on Hilbert cube manifolds. Vol. 28 (1975), Amer. Math. Soc.
[8] J. Cuntz, K-theory for certain C∗ -algebras. Ann. of Math. 113 (1981), no. 1, 181–197.
[9] E. Glasner, Ergodic theory via joinings. Mathematical Surveys and Monographs 101, American Mathematical Society, Providence, RI, 2003.
[10] E. Glasner, B. Weiss, On the construction of minimal skew products. Israel J. Math. 34 (1979), 321–
336.
[11] P. Jolissaint and G. Robertson, Simple purely infinite C∗ -algebras and n-filling actions. J. Funct. Anal.
175 (2000), no. 1, 197-213.
[12] E. Kirchberg, The classification of purely infinite C∗ -algebras using Kasparov’s theory. Preprint.
[13] E. Kirchberg, N. C. Phillips, Embedding of exact C∗ -algebras in the Cuntz algebra O2 . J. reine angew.
Math. 525 (2000), 17-53.
[14] M. Laca, J. Spielberg, Purely infinite C∗ -algebras from boundary actions of discrete groups. J. reine
angew. Math. 480 (1996), 125–139.
[15] H. Matui, Topological full groups of one-sided shifts of finite type. J. reine angew. Math. 705 (2015),
35–84.
[16] M. Nerurkar, Ergodic continuous skew product actions of amenable groups. Pacific J. Math. 119 (1985),
343–363.
[17] N. Ozawa, Amenable actions and exactness for discrete groups. C. R. Acad. Sci. Paris Ser. I Math.
330 (2000), 691–695.
[18] N. C. Phillips. A classification theorem for nuclear purely infinite simple C∗ -algebras. Doc. Math 5
(2000), 49–114.
[19] M. Pimsner, D. Voiculescu, K-groups of reduced crossed products by free groups. J. Operator Theory
8 (1982), 131–156.
[20] M. A. Rieffel, Continuous fields of C∗ -algebras coming from group cocycles and actions. Math. Ann.
283 (1989). no. 4 631–643.
[21] M. Rørdam, Classification of certain infinite simple C∗ -algebras. J. Funct. Anal. 131 (1995), 415–458.
[22] M. Rørdam, Classification of nuclear C∗ -algebras. Encyclopaedia of Mathematical Sciences 126 (2002),
1–145.
[23] M. Rørdam, A simple C*-algebra with a finite and an infinite projection. Acta Math. 191 (2003),
109–142.
[24] M. Rørdam, A. Sierakowski, Purely infinite C∗ -algebras arising from crossed products. Ergodic Theory
Dynam. Systems 32 (2012), 273–293.
[25] J. Rosenberg, C. Schochet, The Künneth theorem and the universal coefficient theorem for Kasparov’s
generalized K-functor. Duke Math. J. 55 (1987), no. 2, 431–474.
[26] Y. Suzuki, Amenable minimal Cantor systems of free groups arising from diagonal actions. To appear
in J. reine angew. Math., arXiv:1312.7098.
[27] Y. Suzuki, Group C∗ -algebras as decreasing intersection of nuclear C*-algebras. To appear in
Amer. J. Math., arXiv:1410.8347.
[28] J.-L. Tu, La conjecture de Baum–Connes pour les feuilletages moyennables. K-theory 17 (1999), 215–
264.
Department of Mathematical Sciences, University of Tokyo, Komaba, Tokyo, 153-8914,
Japan
E-mail address: suzukiyu@ms.u-tokyo.ac.jp

