ALMOST FINITENESS FOR GENERAL ÉTALE GROUPOIDS AND
ITS APPLICATIONS TO STABLE RANK OF CROSSED PRODUCTS

arXiv:1702.04875v2 [math.OA] 3 Mar 2018

YUHEI SUZUKI
Abstract. We extend Matui’s notion of almost finiteness to general étale groupoids
and show that the reduced groupoid C∗ -algebras of minimal almost finite groupoids
have stable rank one. The proof follows a new strategy, which can be regarded as a local
version of the large subalgebra argument.
The following three are the main consequences of our result. (i) For any group of
(local) subexponential growth and for any its minimal action admitting a totally disconnected free factor, the crossed product has stable rank one. (ii) Any countable amenable
group admits a minimal action on the Cantor set all whose minimal extensions form the
crossed product of stable rank one. (iii) For any amenable group, the crossed product of
the universal minimal action has stable rank one.

1. Introduction
In the seminal paper [33], Rieffel introduced the notion of (topological) stable rank for
The stable rank is introduced as a C∗ -algebraic analogue of the Lebesgue
covering dimension. This in fact detects a topological complexity of C∗ -algebras in the
sense that when a given C∗ -algebra has stable rank one (the smallest possible value), its
K-theory behaves well.
In the celebrated paper [41], Villadsen showed that simple stably finite C∗ -algebras can
have arbitrary stable rank. In fact, Villadsen has constructed such C∗ -algebras as AHalgebras. His work suggests that even for relatively tractable C∗ -algebras, it would be
hard to compute their stable rank.
In the present paper, we develop a new strategy to compute the stable rank of certain
groupoid C∗ -algebras. This strategy may be regarded as a local version of the large
subalgebra argument (cf. [30], [31], [28], [29], [10]). This strategy is originally invented by
Putnam in [30]. To describe the difference between the large subalgebra argument and our
strategy, let us briefly recall how the large subalgebra argument works. For more detailed
explanations and applications of large subalgebras, we refer the reader to the introduction
of the paper [29]. The strategy can be divided into three steps. Firstly, we find a large C∗ subalgebra. Secondly, we study the structure of the large subalgebra. Finally, we analyze
the reduced crossed product based on the large subalgebra. For the last step, Phillips
[29] recently developed general theories. For the first step, when the group is Z, large
subalgebras of the crossed products can be found as Putnam’s orbit-breaking subalgebras
[30], [29]. For the group Zd ; d ∈ N, Phillips [28] has found that Forrest’s result [13] is
sometimes useful to find a large subalgebra of the crossed product. However, Forrest’s
result [13] heavily depends on the fact that Zd is a lattice of the Euclidean space Rd .
Therefore, for groups beyond finitely generated abelian groups (even for Z∞ ), the first
step of the strategy would be very hard to carry out. Our strategy allows us to avoid this
C∗ -algebras.

2000 Mathematics Subject Classification. Primary 46L05, Secondary 54H20.
Key words and phrases. Stable rank one, almost finiteness, reduced crossed products, pure infiniteness.
1

2

YUHEI SUZUKI

difficulty— instead of finding a single large subalgebra, we find a family of homogeneous
C∗ -algebras tending to large in a sense.
Inspired by the work of Latrémolière–Ormes [24], Matui [25] has introduced the notion of almost finiteness for a totally disconnected étale groupoid. He then studies how
the homology groups and the topological full group of an almost finite groupoid reflect
dynamical properties of the groupoid. For other applications of almost finiteness in this
direction, we refer the reader to [26] and [27]. We extend to general étale groupoids the
notion of almost finiteness and adapt this notion in our strategy. Consequently, we obtain
the following Main Theorem of the present paper.
Main Theorem. Let G be a minimal almost finite étale groupoid. Then the reduced
groupoid C∗ -algebra C∗r (G) has stable rank one.
In Appendix B, we show that any countable non-torsion amenable group admits continuously many minimal actions on a prescribed space whose transformation groupoids are
almost finite and pairwise non-isomorphic. See Theorem B.1 for the precise statement.
This is already enough to conclude that the class of groupoids satisfying the assumptions
of the Main Theorem is fairly large. We also remark that the minimality assumption of the
Main Theorem is not removable. Indeed, any compact space is almost finite as a groupoid,
while its groupoid C∗ -algebra does not have stable rank one unless its covering dimension
is less than 2 [33].
We close this section by presenting applications of the Main Theorem. Recall that a
finitely generated group Γ is said to have subexponential growth if some (equivalently, any)
symmetric finite generating set S of Γ fails to have a positive constant C > 1 satisfying
♯(S n ) ≥ C n for all n ∈ N. We say that a group Γ is of local exponential growth if it can be
realized as a directed union of groups of subexponential growth. It is not hard to see that
this property is stable under taking direct sums, inductive limits, subgroups, quotients.
Typical examples of groups of subexponential growth are virtually nilpotent groups, but it
is also known to exist non-virtually-nilpotent groups of subexponential growth. The first
such a group is constructed by Grigorchuk [21]. Thanks to a recent remarkable result of
Downarowicz–Zhang (Corollary 6.4 of [9]), we conclude the following consequence of the
Main Theorem to topological dynamical systems of groups of local subexponential growth.
Corollary I. Let Γ be a group of local exponential growth. Let α be a minimal action of
Γ on a compact space X which factors onto a free action on a totally disconnected space.
Then the reduced crossed product C(X) ⋊r,α Γ has stable rank one.
In the integer group case, this statement was announced in [3]. Phillips also announced
in the same paper that this result also holds true for the finitely generated free abelian
groups. Corollary I includes these statements, and we believe that even for these specific
cases, our new proof is conceptually and practically simpler. (Note that for abelian groups,
we only need Lemma 6.3 of [25], whose proof is much simpler than Forrest’s theorem [13].)
We also remark that, even in the simplest case Γ = Z, Giol–Kerr [14] has constructed
a minimal action which is pathological in the following sense. Its crossed product fails to
have the following regularity properties; real rank zero, strict comparison, finite nuclear
dimension, finite decomposition rank, tracial AF, Jiang–Su algebra stable. (For the definitions and backgrounds of these properties, we refer the reader to [42].) Since Giol–Kerr’s
action is obtained as an extension of the universal odometer transformation, it satisfies
the assumptions of Corollary I. This means that
(1) the stable rank one condition obtained in the Main Theorem is almost the best
possible result under our mild assumption,

CROSSED PRODUCTS OF STABLE RANK ONE

3

(2) our work provides a general framework to analyze groupoid C∗ -algebras beyond the
classifiable class in the sense of Elliott’s program (see [42] for the precise meaning).
As the classification theorem of classifiable C∗ -algebras is now almost complete [42] (modulo the UCT condition, which is automatic for amenable groupoid C∗ -algebras [22], [40]),
our results would motivate next interesting targets of structure theory of C∗ -algebras.
We also have the following result for general countable amenable groups.
Corollary II. Any countable infinite amenable group Γ admits a minimal free action on
the Cantor set whose all minimal extensions have the crossed product of stable rank one.
To the best knowledge of the author, Corollary II is a new phenomenon in the study
of topological dynamical systems of amenable groups. Minimal actions appearing in the
statement can be generic minimal actions as shown in [6]. We recall that any amenable
minimal action admits minimal extensions on various spaces [19], [37]. See Proposition
2.1 in [37] for the precise statement. In Appendix A, we give a non-amenable analogue of
Corollary II.
The Main Theorem also reveals the structure of the crossed product of the universal
minimal action for amenable groups. Recall that any group Γ admits a minimal action
on a compact space which factors onto every minimal action on a compact space. In
[12], Ellis showed that this universal property characterizes a unique minimal action up to
conjugacy. This action is called the universal minimal action of Γ. The universal minimal
action is known to be a free (minimal) action on a Stone space.
Corollary III. For any amenable group, the crossed product of the universal minimal
action has stable rank one.
In Appendix A we give a non-amenable analogue of Corollary III (see Corollary A.5).
Organization of the paper. Section 2 is the preliminary section. We also fix the notations in this section. In Section 3, we introduce and study the notion of almost finiteness
for general étale groupoids. In Section 4, we prove the Main Theorem. In Section 5, we
discuss applications of the Main Theorem to the crossed products of topological dynamical systems. We further provide two appendices. In Appendix A, based on a technique
developed in Section 4, we study pure infiniteness of the reduced groupoid C∗ -algebras.
In particular, we solve the question of pure infiniteness of the reduced crossed product
for minimal extensions. In Appendix B, for any space in a certain large class, we show
that any countable non-torsion amenable group admits a family of continuously many
minimal free actions on it whose transformation groupoids are almost finite and pairwise
non-isomorphic. To distinguish groupoids, we introduce a new invariant which we call the
eigenvalue set. We also discuss a non-amenable analogue of this result.
2. Preliminaries
In this section, we recall some terminologies used throughout the paper. We first fix
the notations used in the paper.
Notations.
• For a set S, ♯S denotes the cardinality of S.
• For a subset S of a set X, χS denotes the characteristic function of S.
• For a subset S of a topological space X, the symbols cl(S) and int(S) stand for
the closure and interior of S respectively.

4

YUHEI SUZUKI

• For a map τ : A → B between subsets of a set X and for a subset U ⊂ X, we
define τ (U ) := τ (U ∩ A). Similarly, for such a map τ and a function f : X → C,
we define the function f ◦ τ : X → C to be

(f ◦ τ )(s) if s ∈ A
(f ◦ τ )(s) :=
0
otherwise.
• For an action α of a group Γ on a set X, weSdenote αs (x) by sx for short. Similarly,
for subsets S ⊂ Γ and U ⊂ X, we denote s∈S αs (U ) by SU .
• For
R a probability space (X, µ) and a µ-integrable function f , we denote the integral
X f dµ by µ(f ) for short.
• For a compact space X and an open subset U ⊂ X, we identify C0 (U ) with the
ideal of C(X) consisting of all functions vanishing on X \ U in the canonical way.
• For a C∗ -algebra A and n ∈ N, Mn (A) denotes the C∗ -algebra of all n-by-n matrices
over A.
2.1. Groupoids. Here we briefly recall basic facts on groupoids. We refer the reader to
Section 5.6 of [5] or [32] for proper treatments.
A groupoid G is a set equipped with the subset G(0) of G (the unit space), the maps
r, s : G → G(0) (the range and source maps), and the map

G(2) := (g, h) ∈ G2 : s(g) = r(h) → G; (g, h) 7→ gh (the groupoid multiplication)

satisfying the following axioms.
(1) For any g ∈ G(0) , r(g) = s(g) = g.
(2) For any (g, h) ∈ G(2) , we have r(gh) = r(g) and s(gh) = s(h).
(3) For any g ∈ G, r(g)g = gs(g) = g.
(4) For any pair (g1 , g2 ), (g2 , g3 ) in G(2) , (g1 g2 )g3 = g1 (g2 g3 ).
(5) For any g ∈ G, there is a (unique) element g −1 ∈ G with gg−1 = r(g), g −1 g = s(g).
A topological groupoid G is a groupoid equipped with a topology which makes all operation
maps continuous. An ètale groupoid is a topological groupoid whose range and source
maps are local homeomorphisms. By this condition, the unit space is clopen in an ètale
groupoid.
Throughout the paper, groupoids are assumed to be locally compact, Hausdorff, étale,
and their unit spaces are assumed to be compact (possibly non-metrizable).
Motivating examples of groupoids in the present work are coming from topological
dynamical systems. Let α be an action of a group Γ on a compact Hausdorff space X.
The transformation groupoid X ⋊α Γ of α is the groupoid obtained by equipping the
product space Γ × X with the following groupoid structure. First, the range and source
maps r and s are defined to be r(g, x) := αg (x) and s(g, x) := x respectively. Then, for
a composable pair ((g, x), (h, y)) (i.e., in the case x = αh (y),) the composite (g, x)(h, y) is
defined to be (gh, y). The unit space is {e} × X which we often identify with X.
Let G be a groupoid. Let Cc (G) denote the space of compactly supported complex
valued continuous functions on G. We equip Cc (G) with the convolution product. Since
we do not consider the pointwise product, we simply denote the convolution product of
two functions f, g ∈ Cc (G) by f g. Namely, for f, g ∈ Cc (G) and x ∈ G,
X
(f g)(x) =
f (y)g(z).
yz=x

The involution on Cc (G) is given by f ∗ (x) = f (x−1 ) for f ∈ Cc (G) and x ∈ G. These
operations make Cc (G) a ∗-algebra with the unit χG(0) . The reduced groupoid C∗ -algebra

CROSSED PRODUCTS OF STABLE RANK ONE

5

C∗r (G) of G is the unique C∗ -completion of the ∗-algebra Cc (G) which admits a (unique)
faithful conditional expectation
E : C∗r (G) → C(G(0) )
satisfying E(f ) = f |G(0) for all f ∈ Cc (G). We refer to E as the canonical conditional
expectation of C∗r (G). We regard Cc (G) as a ∗-subalgebra of C∗r (G). With this identification, positivity and norm make a sense for elements of Cc (G). We note that for the
transformation groupoid of a given action, its reduced groupoid C∗ -algebra is naturally
identified with the associated reduced crossed product C∗ -algebra.
A subset U of G(0) is said to be G-invariant if it satisfies r(GU ) = U . Here for two
subsets V, W of a groupoid G, define
V W := {vw : v ∈ V, w ∈ W, s(v) = r(w)}.
When W is a singleton {w}, we simply denote V W by V w. A groupoid G is said to be
minimal if there is no proper open G-invariant subset of G(0) . A groupoid G is said to be
principal (resp. essentially principal) if the set (resp. the interior of the set)
{g ∈ G \ G(0) : r(g) = s(g)}
is empty. These notions have a strong connection with the simplicity of the reduced
groupoid C∗ -algebras as follows. When the reduced groupoid C∗ -algebra is simple, then
obviously the groupoid must be minimal. Conversely, when a groupoid is minimal and
essentially principal, the reduced groupoid C∗ -algebra is known to be simple [2].
A subset V of G is said to be a G-set if both the range and source maps are injective
on V . For any compact G-set V , the formula τV := r ◦ (s|V )−1 defines a homeomorphism
from s(V ) onto r(V ). Set
[[G]] := {τV : V is a compact open G-set with r(V ) = s(V ) = G(0) }.
Then [[G]] is a group of the homeomorphisms on G(0) . We call [[G]] the topological full
group of G. Note that for totally disconnected groupoids, this definition coincides with
the standard definition (cf. [15], [26] for instance).
A probability regular Borel measure µ on G(0) is said to be G-invariant if for any compact
G-set V and any Borel subset B of s(V ), we have µ(τV (B)) = µ(B). Note that by the
uniqueness statement of the Riesz representation theorem, one can show that a probability
regular Borel measure µ on G(0) is G-invariant if and only if for any compact G-set V and
any continuous function f ∈ C(G(0) ) supported on r(V ), we have µ(f ) = µ(f ◦ τV ). Let
M (G) denote the set of all G-invariant probability measures. Obviously M (G) is compact
with respect to the weak-∗ topology. Every µ ∈ M (G) defines a tracial state on the reduced
groupoid C∗ -algebra by the formula µ ◦ E. Since E is faithful, the resulting tracial state
is faithful if and only if the support of µ is G(0) .
For a nonempty closed subset U of G(0) , set
GU := r −1 (U ) ∩ s−1 (U ).
Then the relative topology makes GU an étale groupoid.
A subset U of G(0) is said to be G-full if it satisfies r(GU ) = G(0) . Note that for any
open G-full subset U , by the compactness
of G(0) , one can find a finite sequence V1 , . . . , Vn
Sn
of compact G-sets satisfying i=1 τVi (U ) = G(0) . Indeed, since G isSètale and locally
compact, one can choose a family (Vλ )λ∈Λ of compact G-sets satisfying λ∈Λ int(Vλ ) = G.
S
This implies λ∈Λ int(τVλ (U )) = G(0) . Thus the family (Vλ )λ∈Λ contains the desired
sequence.

6

YUHEI SUZUKI

2.2. Factors and extensions. Here we briefly recall basic terminologies of topological
dynamical systems. From now on, the symbol Γ stands for a discrete group (possibly
uncountable), and the symbols X, Y stand for compact Hausdorff spaces (possibly nonmetrizable). Actions of Γ on X, Y are always assumed to be continuous.
An action α of Γ on X is said to be minimal if the transformation groupoid is minimal.
An α is said to be free (resp. essentially free) if the transformation groupoid is principal
(resp. essentially principal). For two actions α, β of a group Γ on compact spaces X, Y ,
α is said to be an extension of β (or α extends β) if there is a Γ-equivariant quotient map
π : X → Y . In this case β is said to be a factor of α (or β factors onto α). We say that
an extension is a minimal extension if it is a minimal action.
2.3. Stable rank. Here we recall the definition and basic facts of stable rank for unital
C∗ -algebras. We refer the reader to [33] for further information.
Definition 2.1. Let A be a unital C∗ -algebra. For each n ∈ N, define
Lgn (A) := {(a1 , . . . , an ) ∈ An : Aa1 + · · · + Aan = A}.
Then the stable rank of A is defined to be the value
min{n ∈ N : Lgn (A) is norm dense in An }.
Obviously, the stable rank takes the value in {1, 2, . . . , ∞}. For any n ∈ {1, 2, . . . , ∞},
Villadsen [41] has constructed a simple unital separable AH-algebra of stable rank n.
For the stable rank one, Rieffel has found the following useful characterization.
Proposition 2.2 ([33], Proposition 3.1). A unital C∗ -algebra A has stable rank one if and
only if the set of invertible elements of A is norm dense in A.
Rieffel gave the following striking application of the stable rank one condition in Ktheory. We refer the reader to [4] for basic facts on K-theory.
Theorem 2.3 ([33]). Let A be a unital C∗ -algebra of stable rank one. Let n ∈ N be given.
Then the following statements hold true.
(1) For two projections p, q of Mn (A), they are unitary equivalent in Mn (A) if and only
if we have [p]0 = [q]0 in K0 (A).
(2) For two unitary elements u, v of Mn (A), they sit in the same connected component of
the unitary group of Mn (A) if and only if we have [u] = [v] in K1 (A).
This emphasizes the importance to determine when a given C∗ -algebra has stable rank
one. Note that even for commutative C∗ -algebras, these properties fail in general. This is
one of the major difficulty of the classification problem of vector bundles up to isomorphism
(even on manifolds), in spite of the fact that K-groups are computable invariants. See
also Remark 4.3 for applications to the real rank of certain groupoid C∗ -algebras.
2.4. Connected components and separation by clopen subsets. Let X be a compact Hausdorff space. For x ∈ X, define hxi to be the intersection of all clopen neighborhoods of x. It is not hard to show that the set hxi coincides with the connected component
of X containing x. The following lemmas are immediate consequences of the definition.
Lemma 2.4. Let x ∈ X be given. Let C be a closed subset of X disjoint from hxi. Then
there is a clopen subset U ⊂ X satisfying hxi ⊂ U ⊂ X \ C.
Lemma 2.5. Let x1 , . . . , xn be elements of X satisfying hxi i 6= hxj i for i 6= j. Then there
are pairwise disjoint clopen subsets U1 , . . . , Un of X satisfying xi ∈ Ui for each i.

CROSSED PRODUCTS OF STABLE RANK ONE

7

3. Almost finite groupoids
In this section, we introduce a notion of almost finiteness for general groupoids. This
notion is originally introduced for totally disconnected groupoids by Matui [25]. We then
establish basic properties of almost finite groupoids which are used in Section 4.
We first introduce a few terminologies needed to define almost finiteness.
Definition 3.1. Let C be a compact subset of G and let ǫ > 0. Let K be a compact
subgroupoid of G containing the unit space G(0) . We say that K is (C, ǫ)-invariant if the
following inequality holds for all s ∈ G(0) .
♯(CKs \ Ks)
< ǫ.
♯(Ks)
Remark 3.2. For any group action on a compact space, it is easy to see that almost finiteness of the transformation groupoid implies amenability of the acting group (cf. Lemma
5.2). For general groupoids, it is not known if almost finite implies amenability. Also,
it can be shown that almost finiteness implies the existence of an invariant probability
measure. (See Lemma 6.5 in [25] and Lemma 3.9.) To the author’s knowledge, this is the
only known obstruction of almost finiteness for amenable (minimal) principal groupoids.
Definition 3.3. Let K be a compact groupoid. We say that a clopen subset F of K (0) is
F F i (i)
(0) by clopen
a fundamental domain of K if there is a partition K (0) = ni=1 N
j=1 Fj of K
subsets satisfying the following conditions.
F
(i)
(1) F = ni=1 F1 .
(2) For each i ∈ {1, . . . , n} and j, k ∈ {1, . . . , Ni }, there is a unique compact open K-set
(i)
(i)
(i)
(i)
(i)
Vj,k satisfying r(Vj,k ) = Fj and s(Vj,k ) = Fk .
F F
(i)
(3) K = ni=1 1≤j,k≤Ni Vj,k .

Remark 3.4. The groupoid K appearing in Definition 3.3 is isomorphic to the groupoid
`n
(i)
i=1 F1 ×(ZNi ⋊ZNi ). Here for each i, the group ZNi acts on itselt by the left translations.
From this description, it is easy to show that the analogue of Lemma 6.1 in [25] is valid
for compact groupoids admitting a fundamental domain. A groupoid of this form is said
to be elementary in [32] (III. Definition 1.1). From this particular form, it is not hard to
conclude that a clopen subset U of K (0) contains a fundamental domain if and only if it
satisfies µ(U ) > 0 for all µ ∈ M (K).
Definition 3.5. Let G be a groupoid. We say that a subgroupoid K of G is elementary
if K contains the unit space G(0) and admits a fundamental domain.
Remark 3.6. In [16], the authors introduced the notion of compact ètale equivalence
relation. It follows from Lemma 3.4 of [16] that our notion of an elementary subgroupoid
coincides with the notion of a compact ètale equivalence subrelation in [16].
We now introduce the definition of almost finiteness for general étale groupoids.
Definition 3.7 (cf. Definition 6.2 of [25]). We say that a groupoid G is almost finite if it
satisfies the following conditions.
(1) The union of all compact open G-sets covers G.
(2) For any compact subset C ⊂ G and ǫ > 0, there is a (C, ǫ)-invariant elementary
subgroupoid K of G.

8

YUHEI SUZUKI

We remark that, by Lemma 4.7 of [25], for totally disconnected groupoids, our definition
of almost finiteness coincides with Matui’s original one.
We first study a connection between invariant probability measures of almost finite
groupoids and that of almost invariant elementary subgroupoids.
By modifying the proof of Lemma 6.5 in [25] in a straightforward way, one can show
the following lemma. Here we omit the proof. See [25] for the details.
Lemma 3.8 (cf. Lemma 6.5 in [25]). Let G be a groupoid. Let V be a compact G-set and
let ǫ > 0. Let K be a (V ∪ V −1 , ǫ)-invariant elementary subgroupoid of G. Then for any
µ ∈ M (K), we have
|µ(r(V \ K))| < ǫ and |µ(s(V \ K))| < ǫ.
In particular, for any Borel subset A of s(V ), we have
|µ(A) − µ(τV (A))| < 2ǫ.
Lemma 3.9 (cf. Lemma 6.5 of [25]). Let G be an almost
S finite groupoid. Let (Cλ )λ∈Λ
be an increasing net of compact subsets of G satisfying λ∈Λ int(Cλ ) = G. Let (ǫλ )λ∈Λ
be a net of positive numbers decreasing to 0. For each λ ∈ Λ, let a (Cλ , ǫλ )-invariant
elementary subgroupoid Kλ of G and µλ ∈ M (Kλ ) be given. Then any weak-∗ cluster
point of the net (µλ )λ∈Λ is G-invariant. In particular M (G) is nonempty.
Proof. Let µ be a weak-∗ cluster point of the net (µλ )λ∈Λ . It suffices to show the equality
µ(f ) = µ(f ◦ τV ) for any f ∈ C(X) and any compact G-set V satisfying
F supp(f ) ⊂ r(V ).
Given such f and V . Let ǫ > 0 be given. Take a partition supp(f ) = ni=1 Ai of supp(f )
by Borel sets and a sequence z1 , . . . , zn ∈ C satisfying |f (s) − zi | < ǫ for all s ∈ Ai and
i. For each i, put Bi := τV−1 (Ai ). Then, by Lemma 3.8, one can find λ ∈ Λ satisfying the
following conditions.
(1) |µ(f ) − µλ (f )| < ǫ.
(2) P
|µ(f ◦ τV ) − µλ (f ◦ τV )| < ǫ.
n
(3)
i=1 |zi ||µλ (Ai ) − µλ (Bi )| < ǫ.
By the choices of the partition (Ai )ni=1 and the sequence (zi )ni=1 , we have
µλ (f ) −

n
X

zi µλ (Ai ) < ǫ.

i=1

Since supp(f ◦ τV ) =

τV−1 (supp(f )),

we have

supp(f ◦ τV ) =

n
G

Bi .

i=1

Moreover, for any i ∈ {1, . . . , n} and any s ∈ Bi , we have |(f ◦ τV )(s) − zi | < ǫ. This yields
µλ (f ◦ τV ) −

n
X

zi µλ (Bi ) < ǫ.

i=1

By combining these inequalities, we obtain
|µ(f ) − µ(f ◦ τV )| ≤ |µ(f ) − µλ (f )| + |µλ (f ) − µλ (f ◦ τV )| + |µ(f ◦ τV ) − µλ (f ◦ τV )|
n
X
|zi ||µλ (Ai ) − µλ (Bi )|
< 4ǫ +
i=1

< 5ǫ.

CROSSED PRODUCTS OF STABLE RANK ONE

Since ǫ > 0 is arbitrary, we have µ(f ) = µ(f ◦ τV ) as desired.

9



Lemma 3.10 (cf. Remark 6.6 in [25]). Any minimal almost finite groupoid is essentially
principal.
Proof. To lead to a contradiction, suppose we have a minimal almost finite groupoid G
which is not essentially principal. Take a compact G-set V ⊂ G\G(0) satisfying int(V ) 6= ∅
and r(g) = s(g) for all g ∈ V . Take µ ∈ M (G). For any ǫ > 0, take a (V ∪V −1 , ǫ)-invariant
elementary subgroupoid K of G. Then, since K is principal, we have K ∩ V = ∅. This
equality and Lemma 3.8 yield µ(s(V )) < ǫ. Since ǫ > 0 is arbitrary, we have µ(s(V )) = 0.
This contradicts the minimality of G.

Lemma 3.11. Let G be an almost finite groupoid. Let U be an open G-full set. Then
there is an elementary subgroupoid K of G which makes U a K-full set.
Proof. To lead to a contradiction, assume that such a K does not exist for a G-full open
set U . We observe that for any elementary subgroupoid K of G, U is K-full if and only if
it satisfies µ(U ) > 0 for all µ ∈ M (K). Take nets (Cλ )λ∈Λ , (ǫλ )λ∈Λ , and (Kλ )λ∈Λ as in the
statement of Lemma 3.9. Then by assumption, for each λ ∈ Λ, one can find µλ ∈ M (Kλ )
satisfying µλ (U ) = 0. Let µ be a weak-∗ cluster point of the net (µλ )λ∈Λ . By Lemma 3.9,
we have µ ∈ M (G). Since each µλ is supported on G(0) \ U , so µ is. This contradicts the
G-fullness of U .

Lemma 3.12. Let G be an almost finite groupoid. Let U be a G-full clopen subset of G(0) .
Then the restriction groupoid GU is almost finite.
Proof. Since U is G-full, one can take compact G-sets V1 , . . . , Vn satisfying r(Vi ) ⊂ U for
S
all i and ni=1 s(Vi ) = G(0) . Let a compact subset C ⊂ GU and ǫ > 0 be given. We
e := C ∪ V1 ∪ V2 ∪ · · · ∪ Vn . We claim that for any (C,
e ǫ/2n)assume that ǫ ≤ 1. Set C
invariant elementary subgroupoid K of G, the restriction groupoid KU is a (C, ǫ)-invariant
elementary subgroupoid of GU . This completes the proof.
e ǫ/2n)-invariant elementary subgroupoid of G. Let s ∈ U be given. To
Let K be a (C,
prove the claim, we first show the inequality
1
♯(Ks).
♯(KU s) ≥
2n
S
The equality ni=1 s(Vi ) = G(0) yields
n
X

♯(Vi Ks) ≥ ♯(Ks).

i=1

Hence one can choose i ∈ {1, . . . , n} satisfying
1
♯(Ks).
n
By the choice of K and the assumption ǫ ≤ 1, we have
1
♯(Vi Ks \ Ks) ≤
♯(Ks).
2n
Since Vi Ks ⊂ GU , these two inequalities yield
♯(Vi Ks) ≥

♯(KU s) ≥ ♯(Vi Ks ∩ Ks)
1
≥ ♯(Vi Ks) −
♯(Ks)
2n
1
♯(Ks).
≥
2n

10

YUHEI SUZUKI

e
Since CKU s \ KU s ⊂ CKs
\ Ks, we conclude
♯(CKU s \ KU s)
♯(KU s)

≤ 2n

< ǫ.

e
♯(CKs
\ Ks)
♯(Ks)


The following statement is useful to find minimal almost finite groupoids.
Lemma 3.13. Let G be an almost finite groupoid. Let C be a closed G-invariant subset
of G(0) . Then the restriction groupoid GC is almost finite.
Proof. Let D be a compact subset of GC and let ǫ > 0. Take a (D, ǫ)-invariant elementary
subgroupoid K of G. Since C is G-invariant and closed, the restriction groupoid KC
provides a (D, ǫ)-invariant elementary subgroupoid of GC .

Now it is convenient to introduce the following notion of equivalence for clopen subsets
of the unit space of a groupoid G. We say that two clopen subsets U, V of G(0) are
equivalent in G if there is a compact open G-set W satisfying r(W ) = U and s(W ) = V .
We denote this equivalence relation by ∼.
As a consequence of Lemma 3.12, we have the following divisibility property of a clopen
subset of a minimal almost finite groupoid. This property plays an important role in the
proof of the Main Theorem.
Lemma 3.14. Let G be a minimal almost finite groupoid of infinite cardinality. Let
F F i (i)
U ⊂ G(0) be a clopen subset. Then, for any N ∈ N, there is a partition U = ni=1 N
j=1 Uj
(i)

(i)

of U by clopen subsets such that Uj ∼ Uk for all i, j, k, and that Ni ≥ N for all i.

Proof. By Lemma 3.12, we only need to show the statement in the case U = G(0) . In this
case, the statement is equivalent to the existence of an elementary subgroupoid K of G
satisfying ♯(Ks) ≥ N for all s ∈ G(0) .
To find such a subgroupoid, take a compact subset C of G satisfying ♯(Cs) ≥ 2N for
all s ∈ G(0) . (To find such a C, take an increasing net (Cλ )λ∈Λ of compact open subsets
of G whose union covers G. Then, for each λ ∈ Λ, the set
Uλ := {s ∈ G(0) : ♯(Cλ s) ≥ 2N }
is clopen, and the union of the increasing net (Uλ )λ∈Λ covers G(0) . By the compactness of
G(0) , for sufficiently large λ ∈ Λ, the compact set Cλ satisfies the desired condition.) Take
a (C, 1)-invariant elementary subgroupoid K of G. Then, for any s ∈ G(0) , we have
♯(Cs) − ♯(Ks) ≤ ♯(CKs \ Ks) ≤ ♯(Ks).
This yields ♯(Ks) ≥ N for all s ∈ G(0) .



Lemma 3.15 (cf. [25], Lemma 6.7; see also Lemma 2.5 of [19] and Lemma 3.5 of [15]).
Let G be an almost finite groupoid. Let U and V be clopen subsets of G(0) satisfying
µ(U ) < µ(V ) for all µ ∈ M (G). Then there is an element ϕ ∈ [[G]] with ϕ(U ) ⊂ V .
Proof. As mentioned in Definition 3.3, Lemma 6.1 of [25] is valid for any groupoid admitting a fundamental domain. This fact and Lemma 3.9 allow us to prove the claim in the
same way as Lemma 6.7 of [25]. See [25] for the details.


CROSSED PRODUCTS OF STABLE RANK ONE

11

4. Stable rank of C∗ -algebras of almost finite groupoids
In this section, we prove the Main Theorem. Since the Main Theorem is obviously valid
for groupoids of finite cardinality, throughout this section, we suppose that groupoids are
of infinite cardinality.
We first prove the following key lemma, which is about zero divisors of the reduced
groupoid C∗ -algebras. Recall that an element a of a ring R is called a right (resp. left)
zero divisor if there is a nonzero element x ∈ R satisfying xa = 0 (resp. ax = 0). An
element of R is called a two-sided zero divisor if it is both a right and a left zero divisor.
Lemma 4.1. Let G be a minimal almost finite groupoid. Let a ∈ C∗r (G) be a right zero
divisor. Then for any ǫ > 0, there are a nonempty clopen subset U ⊂ G(0) and a unitary
element u ∈ C∗r (G) satisfying kχU uak < ǫ. The analogous statement also holds true for
left zero divisors.
Proof. Obviously it suffices to show the claim for right zero divisors. Let a right zero
divisor a ∈ C∗r (G) and ǫ > 0 be given. We may assume kak = 1 and ǫ < 1. Choose an
element x ∈ C∗r (G) of norm one with xa = 0. By replacing x by x∗ x, we may assume x is
positive. Since the canonical conditional expectation E is faithful, we have E(x) 6= 0.
Let η be a positive number less than ρ := 21 kE(x)k (determined explicitly later). Choose
a positive element x0 ∈ Cc (G) satisfying kx − x0 k < η and kx0 k = 1. Note that kE(x0 )k >
ρ. Choose compact open G-sets V1 , . . . , Vn whose union covers supp(x0 ). Take s ∈ G(0)
satisfying E(x0 )(s) > ρ. Then, by Lemma 3.14, one can choose a clopen neighborhood
U ⊂ G(0) of s satisfying
n
[
τVi (U ) 6= G(0) .
W :=
i=1
(0)
G . From

Note that W is a clopen subset of
the definition of W , we have χW x0 χU x0 =
x0 χU x0 . This implies the inequality x0 χU x0 ≤ χW . Also, it follows from a direct computation that E(x0 χU x0 )(s) > ρ2 . Define
y := kx0 χU x0 k−1 x0 χU x0 ∈ Cc (G).
We then have kE(y)k > ρ2 and kyak < ρ−2 η. Therefore, by choosing η = ρ4 ǫ, we obtain
a positive element y ∈ Cc (G) of norm one with the following conditions.
(1) kE(y)k > ρ2 .
(2) kyak < ρ2 ǫ.
(3) There is a proper clopen subset W ⊂ G(0) satisfying y ≤ χW .
Note that E(y 2 ) ≥ E(y)2 hence kE(y 2 )k > ρ4 .
Next we will find a nonnegative function f ∈ C(G(0) ) satisfying the following conditions.
(i) kf k ≤ ρ−2 .
(ii) f y 2 f ∈ C(G(0) ).
(iii) kf y 2 f k = 1.
(iv) The set U := int({s ∈ G(0) : (f y 2 f )(s) = 1}) is nonempty.
To construct such a function, we observe first that since G is essentially principal, one can
choose s ∈ G(0) satisfying y 2 (s) > ρ4 and
r −1 ({s}) ∩ s−1 ({s}) ∩ supp(y 2 ) = {s}.
Since supp(y 2 ) is compact, one can find an open neighborhood V ⊂ G(0) of s satisfying
r −1 (V ) ∩ s−1 (V ) ∩ supp(y 2 ) ⊂ G(0) .

12

YUHEI SUZUKI

This relation implies
C0 (V ) · y 2 · C0 (V ) ⊂ C(G(0) ).
Take a nonnegative function g ∈ C0 (V ) satisfying
(y 2 (s))−1/2 < g(s) ≤ kgk ≤ ρ−2 .
We then have gy 2 g ∈ C(G(0) ) and (gy 2 g)(s) > 1. Set D := {t ∈ G(0) : (gy 2 g)(t) ≥ 1}.
Note that D is a closed subset of G(0) containing s in its interior. Define
h := ((gy 2 g)|D )−1/2 ∈ C(D).
Take a continuous extension h̃ ∈ C(G(0) ) of h satisfying 0 ≤ h̃ ≤ 1. Then the function
f := gh̃ satisfies the desired conditions.
Take a nonempty open subset Ua of U satisfying cl(Ua ) ⊂ U . We also fix an element
s ∈ G(0) \W . Put S := hsi (see Section 2.4 for the notation).
By Lemma 3.11, one can find
S
compact open G-sets W1 , . . . , Wm satisfying S ⊂ m
(U
τ
W
a ), S ⊂ r(Wi ) for all i, and
i
i=1
−1
−1
(S)
=
∅
for
i
=
6
j.
Then
by
Lemma
2.5,
one
can
take
pairwise disjoint clopen
(S)
∩
τ
τW
Wj
i
−1
(S) ⊂ Zi for each i. For each i, set Ui := Ua ∩ Zi .
subsets Z1 , . . . , Zm of G(0) satisfying τW
i
(0)
Then the closures of U1 , . . . , Um in G are pairwise disjoint. Moreover,
Sm for each i, as
−1
(U
).
This
yields
S
⊂
(U
)
=
S
∩
τ
(S)
⊂
Z
,
we
have
S
∩
τ
τW
i
a
W
i
W
i
i
i=1 τWi (Ui ). Since
i
S
(U
)
is
open,
thanks
to
Lemma
2.4,
one
can
find
a
clopen
neighborhood
τ
the union m
i
i=1 Wi
Sm
(0)
Z ⊂ G \ W of s contained in i=1 τWi (Ui ).
Choose nonnegative functions ρ1 , . . . , ρm ∈ C(G(0) ) such that ρi ρj = 0 for i 6= j, that
ρi ≡ 1 on Ui for each i, and that supp(ρi ) ⊂ cl(U ) for each i. Set

v :=

m
X

χWi ρi ∈ Cc (G).

i=1

We then have
vf y 2 f v ∗ =
=
=

X

χWi ρi f y 2 f ρj χ∗Wj

1≤i,j≤m
m
X

χWi ρ2i χ∗Wi

i=1
m
X

−1
ρ2i ◦ τW
i

i=1

≥ χZ .
Moreover, this computation shows vf y 2 f v ∗ ∈ C(G(0) ). Hence there is a function k ∈
C(G(0) ) of norm at most one satisfying kvf y 2 f v ∗ k∗ = χZ . Take such a function k and
put w := kv. We claim that w is of norm one. Indeed, since ρi = ρi f y 2 f for all i, we have
v = vf y 2 f . This shows w = wf y 2 f . Hence we have
ww∗ = wf y 2 f w∗ = χZ .
In particular this yields kwk = 1.
Set t := yf w∗ . Then t is a partial isometry element of C∗r (G) satisfying t∗ t = χZ and
∗
tt ≤ χW . Since Z and W are disjoint, the projections t∗ t and tt∗ are orthogonal. Hence
the element
u := t + t∗ + (1 − t∗ t − tt∗ )

CROSSED PRODUCTS OF STABLE RANK ONE

13

is a unitary element of C∗r (G). Moreover, by definition, we have
u∗ χZ u = tt∗ = yf w∗ wf y.
This shows
kχZ uak = kyf w∗ wf yak
≤ kyf kkw∗ wkkf kkyak
< ǫ.
Hence Z and u satisfy the required condition.



The next lemma can be seen as a very special case of Green’s imprimitivity theorem
[20]. Since we need an explicit isomorphism, we include a proof.
Lemma 4.2. Let K be a compact groupoid with a fundamental domain. Let K (0) =
Fn FNi (i)
(0) as in Definition 3.3. Then there is a ∗-isomorphism
i=1 j=1 Fj be a partition of K
Φ:

C∗r (K)

→

n
M

(i)

MNi (C(F1 )).

i=1

(i)

Proof. For each i ∈ {1, . . . , n} and j, k ∈ {1, . . . , Ni }, let Vj,k be the unique compact open
(i)

(i)

K-set satisfying r(Vj,k ) = Fj

(i)

(i)

and s(Vj,k ) = Fk . We then have
K=

n
G

G

(i)

Vj,k .

i=1 1≤j,k≤Ni

This shows that the set


(i)
f χV (i) : 1 ≤ i ≤ n, 1 ≤ j, k ≤ Ni , f ∈ C(Fj )
j,k

(i)

linearly spans C(K) = C∗r (K). For each i ∈ {1, . . . , n}, let (ej,k )1≤j,k≤Ni denote the
L
(i)
(i)
standard matrix units of MNi (C) ⊂ MNi (C(F1 )) ⊂ ni=1 MNi (C(F1 )). Here the first
inclusion is the canonical unital one. Define a linear map
n
M
(i)
MNi (C(F1 ))
Φ : C∗r (K) →
i=1

to be

(i)

Φ(f χV (i) ) := (f ◦ τV (i) ) · ej,k
j,k

j,1

(i)

for i, j, k, and f ∈ C(Fj ). Then direct computations show that Φ is a ∗-isomorphism. 
Before going to the proof, we introduce a notation. Suppose G is an essentially principal
groupoid and let ϕ ∈ [[G]] be given. Take a compact open G-set V satisfying ϕ = τV (=
r ◦ (s|V )−1 ). Since G is essentially principal, the choice of V is unique. We then define
uϕ := χV ∈ Cc (G). A direct computation shows that uϕ is a unitary element of C∗r (G).
Proof of the Main Theorem. By Lemma 3.9, the reduced groupoid C∗ -algebra C∗r (G) admits a faithful tracial state. Hence, thanks to Proposition 3.2 of [34], it suffices to show
that any two-sided zero divisor of C∗r (G) is contained in GL(C∗r (G)), where we denote by
GL(A) the norm closure of the group of invertible elements of a C∗ -algebra A.
Let a be a two-sided zero divisor of C∗r (G). We may assume a is of norm one. Let ǫ > 0
be given. Then by Lemma 4.1, there are unitary elements u, v of C∗r (G) and nonempty

14

YUHEI SUZUKI

clopen subsets U, V ⊂ G(0) satisfying kχU uavk < ǫ and kuavχV k < ǫ. By Lemmas
3.14 and 3.15, one can find a nonempty clopen subset U0 of U and ϕ ∈ [[G]] satisfying
ϕ(U0 ) ⊂ V . Therefore, by replacing U by U0 and replacing v by vu∗ϕ , we may assume
U = V . Choose b0 ∈ Cc (G) satisfying kb0 k ≤ 1 and kuav − b0 k < ǫ. Set
b := b0 − χU b0 − b0 χU + χU b0 χU .
Since χU is a projection, we have χU b = bχU = 0.
By Lemma 3.14, one can find a nonempty clopen subset U1 of U satisfying µ(U1 ) <
1
µ(U
) for all µ ∈ M (G). Define
2
ρ := inf{µ(U1 ) : µ ∈ M (G)}.
Note that ρ is a positive number since M (G) is nonempty (by Lemma 3.14) and weak-∗
compact.
Take a compact open neighborhood B of supp(b). We claim that there is an elementary
subgroupoid K of G satisfying the inequalities
1
µ(s(B \ K)) < µ(U1 ) < µ(U )
2
for all µ ∈ M (K). To lead to a contradiction, assume that such a K does not exist. Set
Λ := {(C, η) : C ⊂ G compact, η > 0}.
We equip Λ with the partial order  defined by (C, η)  (C ′ , η ′ ) if they satisfy the relations
C ⊂ C ′ and η ≥ η ′ . This makes Λ a directed set. For each λ = (C, η) ∈ Λ, take a (C, η)invariant elementary subgroupoid Kλ of G. Since B is realized as the union of finitely
many compact G-sets, by Lemma 3.8, for sufficiently large λ ∈ Λ, we have
1
µ(s(B \ Kλ )) ≤ ρ
2
for all µ ∈ M (Kλ ). Therefore, without loss of generality, we may assume that each Kλ
satisfies the above inequality. By assumption, for each λ ∈ Λ, we must have a Kλ -invariant
probability measure µλ satisfying either
1
µλ (U1 ) ≤ µλ (s(B \ Kλ )) ≤ ρ
2
or
1
µλ (U1 ) ≥ µλ (U ).
2
By Lemma 3.9, any weak-∗ cluster point of the net (µλ )λ∈Λ is G-invariant. Since both U1
and U are clopen, the above condition yields that either µ(U1 ) ≤ 12 ρ or µ(U1 ) ≥ 12 µ(U )
holds for any weak-∗ cluster point µ of (µλ )λ∈Λ . In either case, this is a contradiction.
Take an elementary subgroupoid K of G satisfying the inequalities
1
µ(s(B \ K)) < µ(U1 ) < µ(U )
2
for all µ ∈ M (K). Note that the inequalities trivially implies
µ(s(B \ K) \ U1 ) < µ(U1 ) <

1
.
2

Since s(B \ K) is a clopen subset of G(0) , by Lemma 3.15, one can find a clopen subset V1
of G(0) \ U1 which is equivalent to U1 in K and satisfies
s(B \ K) ⊂ U1 ⊔ V1 .

CROSSED PRODUCTS OF STABLE RANK ONE

15

Then observe that for any µ ∈ M (K),
µ(U \ (U1 ⊔ V1 )) ≥ µ(U ) − 2µ(U1 ) > 0.
This implies that the clopen set U \ (U1 ⊔ V1 ) contains a fundamental domain of K.
Take an element ψ ∈ [[G]] satisfying ψ(U1 ) = V1 , ψ(V1 ) = U1 , and ψ(s) = s for all
s ∈ G(0) \ (U1 ⊔ V1 ). (To find such a ψ, first take a compact open G-set D satisfying
r(D) = U1 , s(D) = V1 . Define
E := D ⊔ D −1 ⊔ (G(0) \ (U1 ⊔ V1 )).
Then a direct computation shows that E is a compact open G-set with r(E) = s(E) = G(0) .
Clearly ψ := τE ∈ [[G]] satisfies the desired condition.)
Set p := χV1 , q := χU1 , and w := uψ . Set W := G(0) \ (U1 ⊔ V1 ) and e := 1 − p − q. Note
that we = ew = e. By the relation
s(supp(b) \ K)(⊂ s(B \ K)) ⊂ U1 ⊔ V1 ,
we have ebe ∈ C∗r (KW ). We also have pwb = wqb = 0 and wbq = 0. Therefore the matrix
form of the element wb with respect to the decomposition 1 = p + e + q is of the form


0 0 0
wb = ∗ d 0 ,
∗ ∗ 0
where d := ewbe = ebe.
We claim that d ∈ GL(C∗r (GW )). This yields that wb, hence b, is contained in GL(C∗r (G)).
Since
kb − uavk ≤ kb − b0 k + kb0 − uavk < 7ǫ,
this completes the proof.
To prove the claim, take a fundamental domain Z of K contained in U \ (U1 ⊔ V1 ). Since
Z is contained in W , it is also a fundamental domain of KW . Note that since Z ⊂ U , we
F F i
(i)
have χZ b = bχZ = 0. Take a partition W = ni=1 N
k=1 Zk of W as in Definition 3.3 for
F
(i)
KW with ni=1 Z1 = Z. Put N := max{Ni : i = 1, . . . , n}. By Lemmas 3.12 and 3.14,
for each i, one can find a partition
(i)
Z1

=

Mi L
i,j
G
G

(i,j)

Zk

j=1 k=1
(i)

(i,j)

(i,j)

of Z1 by clopen subsets satisfying Zk ∼ Zl
in GW and Li,j ≥ N for all i, j, k, l. For
each (i, j), take a compact open GW -set Wi,j satisfying the following conditions.
FLi,j (i,j)
Zk .
(1) r(Wi,j ) = s(Wi,j ) = k=1
(i,j)
(i,j)
(2) τWi,j (Zk ) = Zk+1 for all k (mod Li,j ).
FLi,j (i,j)
Zk .
(3) The Li,j -th power (τWi,j )Li,j is equal to the identity map on k=1
S
Define L to be the (open) subgroupoid of GW generated by KW and i,j Wi,j . Since Z is
a fundamental domain of KW , it is not hard to show that the L is compact and that the
F
(i,j)
union i,j Z1
is a fundamental domain of L. Take a ∗-isomorphism
M
(i,j)
Φ : C∗r (L) →
MNi Li,j (C(Z1 ))
i,j

16

YUHEI SUZUKI

as in the proof of Lemma 4.2. The equalities χZ d = dχZ = 0 show that Φ(f ) is unitary
equivalent to an element of the form
M
diag(0Li,j , ci,j ),
i,j

where ci,j ∈

(i,j)
MLi,j (Ni −1) (C(Z1 ))

for each (i, j). Moreover, since d ∈ C∗r (KW ), for each
(i,j)

i, j, k, the d commutes with the characteristic function of r(KW Zk ) (a central element
(i,j)
in C∗r (KW )), hence with that of r(KW Zk ) ∩ (W \ Z). Since Z is a fundamental domain
(i,j)
of KW , for each i, j, k, the intersection r(KW Zk ) ∩ (W \ Z) decomposes into the disjoint
(i,j)
union of (Ni − 1) clopen subsets of G(0) each of which is equivalent to Zk in KW (hence
in L). This proves that ci,j is unitary equivalent to an element of the form
diag(ci,j,1 , . . . , ci,j,Li,j ),
(i,j)

where ci,j,k ∈ MNi −1 (C(Z1
of [11] now proves

)) for all k. Since Li,j ≥ N > Ni − 1 for all i, j, Lemma 4.2

d ∈ GL(C∗r (L)) ⊂ GL(C∗r (GW )).

Remark 4.3. The Main Theorem and Theorem 2.3 show that the reduced groupoid C∗ algebra of an minimal almost finite groupoid has cancellation of projections. From this,
after minor modifications, one can adapt the arguments in Sections 3 and 4 of [28] to
minimal almost finite totally disconnected groupoids. Consequently, for such a groupoid
G, the reduced groupoid C∗ -algebra C∗r (G) has real rank zero and strict comparison.
5. Applications of Main Theorem to topological dynamical systems
In this section, we give applications of the Main Theorem. We first prove Corollary I.
Lemma 5.1. Let G be a groupoid which admits a quotient homomorphism π from G onto
an almost finite groupoid H with the following properties: π is proper, and the restriction
map π|Gs : Gs → Hπ(s) is bijective for each s ∈ G(0) . Then G is almost finite.
Typical examples of groupoids satisfying the assumptions in Lemma 5.1 come from factor maps of topological dynamical systems. Consider compact spaces X and Y equipped
with a Γ-action. Then any Γ-equivariant quotient map π : X → Y extends to a quotient homomorphism π : X ⋊α Γ → Y ⋊β Γ by the formula π(s, x) := (s, π(x)). This
homomorphism obviously satisfies the two conditions in Lemma 5.1.
Proof of Lemma 5.1. By the assumptions on π, for any elementary subgroupoid K of H,
the preimage π −1 (K) is an elementary subgroupoid of G. Furthermore, for any compact
subset C ⊂ H and ǫ > 0, K is (C, ǫ)-invariant if and only if π −1 (K) is (π −1 (C), ǫ)invariant.

Corollary I now follows from the Main Theorem, Lemma 5.1, and Corollary 6.4 of [9].
We close this section by dealing with topological dynamical systems of amenable groups.
We first recall some terminologies related to partitions of underlying spaces of group actions
(cf. [6], beginning of Section 4). Let α be an action of Γ on X. A tower of α is a pair (S, B)
of a nonempty finite subset S ⊂ Γ and a nonempty subset B ⊂ X such that the sets sB;
s ∈ S, are pairwise disjoint. The set S is called the shape of the tower (S, B).F A tower
decomposition of α is a sequence (S1 , B1 ), . . . , (Sn , Bn ) of towers satisfying X = ni=1 Si Bi .
The sets S1 , . . . , Sn are called the shapes of the tower decomposition ((Si , Bi ))ni=1 . Let F

CROSSED PRODUCTS OF STABLE RANK ONE

17

be a finite subset of Γ and let ǫ > 0. A finite subset S of Γ is said to be (F, ǫ)-invariant if
it satisfies
♯(F S \ S) < ǫ♯S.
n
A tower decomposition ((Si , Bi ))i=1 is said to be (F, ǫ)-invariant if all the shapes S1 , . . . , Sn
are (F, ǫ)-invariant. A tower decomposition ((Si , Bi ))ni=1 is said to be clopen if each Bi is
clopen in X.
Lemma 5.2. Let α be an action of Γ on X. Let F ⊂ Γ be a finite subset and let ǫ > 0.
Then the following conditions are equivalent.
(1) The groupoid X ⋊α Γ admits an (F × X, ǫ)-invariant elementary subgroupoid.
(2) The action α admits an (F, ǫ)-invariant clopen tower decomposition.
Consequently, the transformation groupoid X ⋊α Γ is almost finite if and only if α admits
clopen tower decompositions with arbitrary invariance.
Proof. Put G := X ⋊α Γ. To prove the claim, we first give a correspondence between
elementary subgroupoids of G and clopen tower decompositions of α.
Let K be an elementary subgroupoid of G. Take a partition
n
G
G
(i)
K=
Vj,k
i=1 1≤j,k≤Ni

(i)

of K as in Definition 3.3. By discarding empty sets, we may assume that each Vj,k is
(i)

nonempty. Also, by refining the partition if necessary, we may assume that each Vj,k is
(i)

of the form {s} × U ; s ∈ Γ, U ⊂ X. Put Bi := V1,1 for each i. Let π : G → Γ denote the
projection onto the first coordinate. Define
Si := π(s−1 (Bi ) ∩ K) ⊂ Γ
for each i. Then it is clear from the definition that the sequence ((Si , Bi ))ni=1 is a clopen
tower decomposition of α.
Conversely, if we have a clopen tower decomposition ((Si , Bi ))ni=1 of α, then the formula
K :=

n G
G

{st−1 } × tBi

i=1 s,t∈Si

defines an elementary subgroupoid of G.
We observe that, up to refinements of clopen tower decompositions, these correspondences are each other’s inverse. Now one can show that a clopen tower decomposition is
(F, ǫ)-invariant if and only if the corresponding elementary subgroupoid is (F, ǫ)-invariant.
This proves the statement.

Kerr recently announced the following theorem (now available in [6]). Here we recall
that a property of an action is said to be generic if the property is valid on a Gδ -dense set of
an appropriate Polish space of actions. See [6] for the precise statement. For backgrounds
and history of this subject, see the introduction of the paper [23]. Other connections
between this subject and C∗ -algebra theory can be found in [6], [37], [38], [39].
Theorem 5.3 ([6], Theorem 4.2). For any countable amenable group, its generic minimal
free actions on the Cantor set admit clopen tower decompositions with arbitrary invariance.
Corollary II now follows from the Main Theorem, Lemmas 5.1, 5.2, and Theorem 5.3.
Although the question on genericity no longer makes a sense, by adapting Theorem 4.3
of [8] to standard arguments of extensions, one can prove the following statement.

18

YUHEI SUZUKI

Theorem 5.4. Let Γ be an amenable group. Then there is a totally disconnected compact
space X with the following properties.
(1) X has a clopen basis of cardinality at most ♯Γ.
(2) There is a minimal free action of Γ on X which admits clopen tower decompositions
with arbitrary invariance.
Proof. Since the statement is trivial for finite groups, we assume that Γ is infinite. Let
F denote the set of finite subsets of Γ. For each F ∈ F, denote ΓF the subgroup of Γ
generated by F . For each F ∈ F, we have a ΓF -equivariant unital embedding
ιF : ℓ∞ (ΓF ) → ℓ∞ (Γ)
obtained from the right coset decomposition of Γ with respect to ΓF . (We do not require
the compatibility of maps (ιF )F ∈F with respect to the inclusion.) For any F ∈ F and
N ∈ N, thanks to Theorem 4.3 of [8], we have subsets S1 , . . . , Sn and (F, N −1 )-invariant
F F
finite subsets F1 , . . . , Fn of ΓF satisfying ΓF = B
i=1 xi ∈Fi xi Si . Define

SF,N := {ιF (χSi ) : i = 1, . . . , n} ⊂ ℓ∞ (Γ).
S
Let A be the C∗ -subalgebra of ℓ∞ (Γ) generated by S := F,N Γ · SF,N . A standard
calculation of cardinals shows that ♯S ≤ ♯Γ. Let Y denote the Gelfand dual of A. Then
the induced action α of Γ on Y forms the almost finite transformation groupoid. One can
find an extension β of Y satisfying the following conditions (cf. [35] or the proof of Lemma
3.1 in [38].)
(i) The β is free.
(ii) The underlying space Z of β is totally disconnected and has a clopen basis of cardinality at most ♯Γ.
Let W be a minimal closed Γ-invariant nonempty subset of Z. Let γ be the action
obtained by restricting β to W . By Lemmas 3.13 and 5.1, the action γ posses the desired
properties.

Corollary III now follows from the Main Theorem and Theorem 5.4.
Appendix A. Pure infiniteness of crossed products for minimal extensions
In this appendix, we adapt arguments in the proof of Lemma 4.1 to the study of pure
infiniteness of the reduced groupoid C∗ -algebras. As an application, we solve the question
of pure infiniteness of the reduced crossed product for minimal extensions.
Recall that a simple unital C∗ -algebra A is said to be purely infinite [7] if any nonzero
positive element a ∈ A admits an element x ∈ A satisfying xax∗ = 1. The following
theorem is the main result of this appendix.

Theorem A.1. Let G be a minimal groupoid which admits a quotient homomorphism π
from G onto an essentially principal groupoid H satisfying the following conditions.
(1) π is proper.
(2) For each s ∈ G(0) , the restriction map π|Gs : Gs → Hπ(s) is bijective.
(3) The reduced groupoid C∗ -algebra C∗r (H) is purely infinite.
Then the reduced groupoid C∗ -algebra C∗r (G) is purely infinite.
Proof. By the second and third assumptions, the pull-back map π ∗ : Cc (H) → Cc (G)
of π defines a ∗-homomorphism. As π ∗ is compatible with the canonical conditional
expectations, it extends to an embedding C∗r (H) → C∗r (G). Throughout the proof, we
identify C∗r (H) with a C∗ -subalgebra of C∗r (G) via this embedding.

CROSSED PRODUCTS OF STABLE RANK ONE

19

Let a ∈ C∗r (G) be a positive element satisfying kE(a)k = 1. Choose a positive element
a0 ∈ Cc (G) satisfying ka − a0 k < 1 and kE(a0 )k > 1. Since G is essentially principal
(by assumptions (1) and (2)), as in the proof of Lemma 4.1, one can find a nonnegative
function f ∈ C(G(0) ) satisfying kf k ≤ 1, g := f a0 f ∈ C(G(0) ), kgk = 1, and
U := int({s ∈ G(0) : g(s) = 1}) 6= ∅.
Fix a nonempty open subset U0 of U satisfying cl(U0 ) ⊂ U . Take compact H-sets
V̄1 , . . . , V̄n , W̄1 , . . . , W̄n satisfying the following conditions: W̄i ⊂ int(V̄i ) for all i and G(0) =
S
n
−1
i=1 r(Wi U0 ), where Wi := π (W̄i ) for each i.
Note that by assumptions (1) and (2), each Wi is a compact G-set. Since H is essentially
principal, one can find an element s ∈ H (0) satisfying
r −1 ({s}) ∩ s−1 ({s}) ∩ V̄i V̄j−1 ⊂ {s}
−1 ({s}). Then the equalities r(W ) = π −1 (r(W̄ )); i ∈ {1, . . . , n},
for all i, j. Put S := πS
i
i
yield the relation S ⊂ i∈I τWi (U0 ), where

I := i ∈ {1, . . . , n} : s ∈ r(W̄i ) .
−1
(s); j ∈ J
Take a maximal subset J of I satisfying the following property: the elements τW̄
j
are pairwise distinct. By the choice of s and the third assumption, for any i, j ∈ {1, . . . , n},

r −1 (S) ∩ s−1 (S) ∩ Vi Vj−1 ⊂ S,
where Vi := π −1 (V̄i ) for each i. From the above relations, for any i, j ∈ I, the equality
−1
−1
(s) shows the equality
(s) = τW̄
τW̄
i

j

S

τWi (U0 ) ∩ S = τWj (U0 ) ∩ S.

This yields the relation S ⊂ j∈J τWj (U0 ).
−1
(S); j ∈ J, are pairwise disjoint, one can find nonnegative
Since the compact sets τW
j
functions ρj ∈ C(G(0) ); j ∈ J satisfying ρj ρk = 0 for j 6= k, ρj ≡ 1 on a neighborhood of
−1
(S) ∩ U0 for each j ∈ J, and supp(ρj ) ⊂ cl(U ) for all j ∈ J. For each j ∈ J, take a
τW
j
function ϕj ∈ Cc (G) satisfying ϕj ≡ 1 on a neighborhood of Wj and supp(ϕj ) ⊂ Vj . Set
X
v :=
ϕj ρj .
j∈J

Then, since ρj = ρj g for all j ∈ J, we have vg = v. This implies
X
ϕj ρ2j ϕ∗j ,
vgv ∗ =
j∈J

This equality shows that vgv ∗ ∈ C(G(0) ) and that the inequality (vgv ∗ )(t) ≥ 1 holds on a
neighborhood W of S. Then, by the compactness of G(0) , one can choose a neighborhood
Z̄ of s satisfying Z := π −1 (Z̄) ⊂ W . Take a function h ∈ C(G(0) ) of norm at most one
satisfying (hvgv ∗ h∗ )(t) = 1 for all t ∈ Z. Take functions k1 , k2 ∈ C(H (0) ) of norm one
satisfying k1 k2 = k2 and supp(k1 ) ⊂ Z̄. We then have
k1 hvgv ∗ h∗ k1∗ = |k1 |2 ∈ C(H (0) ).
Put w := k1 hv. Then the above equality yields ww∗ = wgw∗ = |k1 |2 .
Since C∗r (H) is purely infinite, one can find an element y ∈ C∗r (H) satisfying y|k2 |2 y ∗ =
1. Set x := yk2 wf . Then, the equalities k1 k2 = k2 and kf k = 1 yield
xx∗ ≤ yk2 ww∗ k2∗ y ∗ = y|k2 |2 y ∗ = 1.

20

YUHEI SUZUKI

This shows kxk ≤ 1. Moreover, by the equality k1 k2 = k2 , we have
xa0 x∗ = yk2 wgw∗ k2∗ y ∗ = y|k2 |2 y ∗ = 1.
This yields kxax∗ − 1k < 1, from which we conclude the invertibility of xax∗ .



As a special case of Theorem A.1, we obtain the following corollary (cf. a comment
below Lemma 5.1).
Corollary A.2. Let Γ be a group and α be a minimal and essentially free action of Γ on
a compact space whose reduced crossed product is purely infinite. Then the reduced crossed
product associated to any minimal extension of α is purely infinite.
Corollary A.2 has the following three immediate applications. As the first application,
we give the following stronger version of Theorem 3.11 in [35]. This is a new phenomenon
in the study of amenable actions ([1]).
Corollary A.3. Let Γ be a countable non-amenable group. Then Γ admits a free minimal
action α on the Cantor set such that the reduced crossed products of all minimal extensions
of α are purely infinite. Moreover if Γ is exact, the action α can be amenable.
Since a statement similar to Theorem 2.3 holds true for purely infinite C∗ -algebras (see
Theorems 1.4 and 1.9 of [7]), Corollary A.3 can also be seen as an analogue of Corollary
II for non-amenable groups.
The second application is the removal of a technical restriction of Theorem 3.12 in [37].
Let us temporary introduce a class of compact spaces. We first set C ′ to be the class
of compact metrizable spaces which admits a minimal action of a (not necessary locally
compact) path-connected group. This class contains all closed topological manifolds and
compact connected Hilbert manifolds (see [19], [37]). Moreover it is stable under taking
the countable direct product. We then define the class C to be the class of spaces obtained
as the direct product of the Cantor set and a space contained in C ′ .
Corollary A.4. For any countable non-amenable exact group Γ and any space X contained in the class C, there is an amenable minimal free action of Γ on X whose reduced
crossed product is a Kirchberg algebra.
Proof. The statement immediately follows from Theorem 2.1 of [37] and Corollary A.3. 
The third application is on the universal minimal action.
Corollary A.5. For any non-amenable group, the reduced crossed product of the universal
minimal action is purely infinite.
Proof. By replacing sequences by appropriate nets in the arguments in [35], one can prove
the following claim. Any non-amenable group admits a minimal free action on a totally
disconnected compact space whose reduced crossed product is purely infinite. The statement then follows from Corollary A.2.

Appendix B. Eigenvalue set for ètale groupoids and constructions of
distinguished minimal actions
In this section, we introduce an isomorphism invariant of ètale groupoids which we call
the eigenvalue set. This invariant has already been used in Remark 3.12 of [38]. Since only
a few isomorphism invariants are known for ètale groupoids, this invariant itself would be
of independent interest. Here we use this invariant to establish the following theorem.

CROSSED PRODUCTS OF STABLE RANK ONE

21

Theorem B.1. Let Γ be a countable non-torsion exact group. Let X be a space in the class
C (see above Corollary A.4 for the definition). Then there is a family of continuously many
amenable minimal free actions of Γ on X whose transformation groupoids are pairwise
non-isomorphic. Moreover, one can additionally require the following properties to each
member when
Γ is amenable: almost finiteness of the transformation groupoid,
Γ is non-amenable: pure infiniteness of the reduced crossed product,
Γ is non-amenable and X is the Cantor set: pure infiniteness of the transformation groupoid in Matui’s sense (Definition 4.9 in [26]).
We recall that in this paper, groupoids are assumed to be ètale, locally compact, with
the compact unit space.
Let T be the group of complex numbers of modulus one. Let R denote the action of T
on itself by the group multiplication. The next definition is motivated by the analogous
notion in the measured setting (see [17] for instance).
Definition B.2. Let X be a compact space. Let h be a homeomorphism on X. We
say that an element λ ∈ T is an eigenvalue of h if there is a continuous map f : X → T
satisfying f ◦ h = λf . We denote E(h) the set of eigenvalues of h.
Definition B.3. Let G be a groupoid. Define the subset E(G) of T to be
[
E(G) :=
E(ϕ).
ϕ∈[[G]]

Here [[G]] denotes the topological full group of G (see Section 2.1 for the definition). We
call E(G) the eigenvalue set of G.
Since an isomorphism of ètale groupoids induces the conjugacy of the actions of their
topological full groups, the eigenvalue set is an isomorphism invariant for ètale groupoids.
Next we record a few basic properties of the eigenvalue set.
Lemma B.4. Let X be a second countable compact Hausdorff space. Then for any homeomorphism h on X, the set E(h) is countable.
Proof. For each λ ∈ E(h), take a unitary element fλ ∈ C(X) satisfying fλ ◦ h = λfλ . We
show that for any two distinct λ, µ ∈ E(h),
kfλ − fµ k ≥ 1.
To see this, note that for any ν, η ∈ T with ν 6= 1, there is n ∈ Z satisfying |ν n η − 1| ≥ 1.
Put ζ := λµ̄. Since
kfλ − fµ k = k(fλ fµ∗ ) ◦ hn − 1k = kζ n fλ fµ∗ − 1k
for any n ∈ Z, we obtain the desired inequality.
Since C(X) is separable, the set E(h) must be countable.



Proposition B.5. Let G be a second countable groupoid. Then its eigenvalue set E(G)
is countable.
Proof. Since G is second countable, there are only countably many compact open subsets
in G. This in particular shows that the topological full group [[G]] is countable. The claim
now follows from Lemma B.4.

Proposition B.6. Let G and H be groupoids. If there is a quotient homomorphism
π : G → H satisfying

22

YUHEI SUZUKI

(1) π is proper,
(2) for each s ∈ G(0) , the restriction map π|Gs : Gs → Hπ(s) is bijective,
(3) π(G(0) ) = H (0) ,
then E(H) ⊂ E(G).
Proof. Observe that by the first two assumptions, for any compact open H-set V , the
preimage π −1 (H) is a compact open G-set. This shows that for any ϕ ∈ [[H]], the group
[[G]] contains an extension ϕ̃ of ϕ. This implies the desired inclusion.

Proof of Theorem B.1. We first prove the claim in the case that X is the Cantor set. Fix
an element t ∈ Γ of infinite order. We first show that for any countable subset S of T,
there is an action αS of Γ on X which satisfies the prescribed properties and the relation
S ⊂ E(X ⋊αS Γ).

Q
To show the claim, consider the product homeomorphism RS := s∈S Rs on TS . Let Z
be a minimal RS -invariant closed subset of TS . Let TS denote the restriction of RS on Z.
Obviously TS defines a minimal homeomorphism on Z. It is clear that E(TS ) contains S.
Applying Lemma 3.1 of [38] to the action of Υ := {tn : n ∈ Z} on Z given by t 7→ TS ,
we obtain a minimal action αS of Γ on X satisfying S ⊂ E(αS,t ). This yields the relation
S ⊂ E(X ⋊αS Γ).
From now we divide the proof into two cases. We first consider the case that Γ is
amenable. Take a minimal free action β of Γ on the Cantor set X whose transformation
groupoid is almost finite [6] (see also Theorem 5.4). Take a minimal subsystem γS of the
diagonal action of αS and β. Then notice that the underlying space of γS is homeomorphic
to the Cantor set as it is totally disconnected, perfect, metrizable, and compact. Clearly
γS factors onto both αS and β. Therefore, by Lemma 5.1, the transformation groupoid of
γS is almost finite. Also, by Proposition B.6, its eigenvalue set contains S. Now standard
calculations of cardinals show that the family (γS )S contains the desired family.
We next assume that the group Γ is non-amenable. It is not hard to conclude from the
proof of Theorem 6.11 of [35] that any minimal action of Γ on a metrizable compact space
admits an amenable minimal extension on the Cantor set whose transformation groupoid
is purely infinite. The rest of the proof is similar to the amenable case.
The general case follows from the Cantor set case, Proposition 2.1 of [37], Lemma 5.1,
Corollary A.2, and Proposition B.6.

Remark B.7. We do not know if one can further require families in Theorem B.1 to give
rise to pairwise non-isomorphic reduced crossed products. This is the case for virtually
free groups as shown in [36] and [37].
Acknowledgement. The author is grateful to the second reviewer of a journal for his/her
careful reading and valuable comments. This work was supported by JSPS Research
Fellowships for Young Scientists (PD 28-4705), JSPS KAKENHI Grant-in-Aid for Young
Scientists (Start-up) (No. 17H06737), and tenure track funds of Nagoya University.
References
[1] C. Anantharaman-Delaroche, Systèmes dynamiques non commutatifs et moyennabilité.
Math. Ann. 279 (1987). 297–315.
[2] R. J. Archbold, J. S. Spielberg, Topologically free actions and ideals in discrete C∗ -dynamical systems.
Proc. Edinburgh Math. Soc. (2) 37 (1994), no. 1, 119–124.
[3] D. Archey, N. C. Phillips, Permanence of stable rank one for centrally large subalgebras and crossed
products by minimal homeomorphisms. Preprint, arXiv:1505.00725.

CROSSED PRODUCTS OF STABLE RANK ONE

23

[4] B. Blackadar, K-Theory for operator algebras. Second edition, Mathematical Sciences Research Institute Publications 5 (1998), Berkeley, CA.
[5] 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.
[6] C. Conley, S. Jackson, D. Kerr, A. Marks, B. Seward, R. Tucker-Drob, Følner tilings for actions of
amenable groups. To appear in Math. Ann., arXiv:1704.00699.
[7] J. Cuntz, K-theory for certain C∗ -algebras. Ann. of Math. 113 (1981), 181–197.
[8] T. Downarowicz, D. Huczek, G. Zhang, Tilings of amenable groups. To appear in J. reine angew. Math.,
arXiv:1502.02413.
[9] T. Downarowicz, G. Zhang, The comparison property of amenable groups. Preprint, arXiv:1712.05129.
[10] G. A. Elliott, Z. Niu, The C∗ -algebra of a minimal homeomorphism of zero mean dimension. To appear
in Duke Math. J., arXiv:1406.2382.
[11] G. A. Elliott, T. M. Ho, A. S. Toms, A class of simple C∗ -algebras with stable rank one. J. Funct. Anal.
256 (2009), 307–322.
[12] R. Ellis, Universal minimal sets. Proc. Amer. Math. Soc. 11 (1960),540–543.
[13] A. Forrest, A Bratteli diagram for commuting homeomorphisms of the Cantor set. International
J. Math. 11 (2000), 177-200.
[14] J. Giol, D. Kerr, Subshifts and perforation. J. reine angew. Math. 639 (2010), 107–119.
[15] T. Giordano, I. Putnam, C. F. Skau, Full groups of Cantor minimal systems. Israel J. Math., 111
(1999), 285–320.
[16] T. Giordano, I. Putnam, C. F. Skau, Affable equivalence relations and orbit structure of Cantor
dynamical systems. Ergod. Th. Dynam. Sys. 24 (2004), 441–476.
[17] E. Glasner, Ergodic theory via joinings. Mathematical Surveys and Monographs 101, American Mathematical Society, Providence, RI, 2003.
[18] E. Glasner, B. Weiss, On the construction of minimal skew products. Israel J. Math. 34 (1979), 321–
336.
[19] E. Glasner, B. Weiss, Weak orbit equivalence of Cantor minimal systems. Intern. J. Math., 23 (1996),
737–769.
[20] P. Green, The structure of imprimitivity algebras. J. Funct. Anal. 36 (1980), 88–104.
[21] R. I. Grigorchuk, Degrees of growth of nitely generated groups and the theory of invariant means.
Izv. Akad. Nauk SSSR Ser. Mat. 48 (1984), no. 5, 939–985.
[22] N. Higson, G. Kasparov, E-theory and KK-theory for groups which act properly and isometrically on
Hilbert space. Invent. Math. 144 (2001), no. 1, 23–74.
[23] M. Hochman, Genericity in Topological Dynamics. Ergod. Th. Dynam. Sys. 28 (2008), 125–165.
[24] F. Latrémolière, N. Ormes, C∗ -algebraic characterization of bounded orbit injection equivalence for
minimal free Cantor systems. Rocky Mountain J. Math. 42 (2012), 157–200.
[25] H. Matui, Homology and topological full groups of étale groupoids on totally disconnected spaces. Proc.
Lond. Math. Soc. (3) 104 (2012), 27–56.
[26] H. Matui, Topological full groups of one-sided shifts of finite type. J. reine angew. Math. 705 (2015),
35–84.
[27] H. Matui, Étale groupoids arising from products of shifts of finite type. Adv. Math. 303 (2016), 502–
548.
[28] N. C. Phillips, Crossed products of the Cantor set by free minimal actions of Zd . Comm. Math. Phys.
256 (2005), 1–42.
[29] N. C. Phillips, Large subalgebras. Preprint, arXiv:1408.5546.
[30] I. F. Putnam, The C∗ -algebras associated with minimal homeomorphisms of the Cantor set. Pacific
J. Math. 136 (1989), 329-353.
[31] I. F. Putnam, The ordered K-theory of C∗ -algebras associated with substitution tilings.
Comm. Math. Phys. 214 (2000), 593–605.
[32] J. Renault, A groupoid approach to C∗ -algebras. volume 793 of Lecture Notes in Mathematics. Springer,
Berlin, 1980.
[33] M. A. Rieffel, Dimension and stable rank in the K-theory of C∗ -algebras. Proc. London Math. Soc.
(3) 46 (1983), 301–333.
[34] M. Rørdam, On the structure of simple C∗ -algebras tensored with a UHF-algebra. J. Funct. Anal. 100
(1991), 1–17.
[35] M. Rørdam, A. Sierakowski, Purely infinite C∗ -algebras arising from crossed products. Ergodic Theory
Dynam. Systems 32 (2012), 273–293.

24

YUHEI SUZUKI

[36] Y. Suzuki, Amenable minimal Cantor systems of free groups arising from diagonal actions. J. reine
angew Math. 722 (2017), 183–214.
[37] Y. Suzuki, Construction of minimal skew products of amenable minimal dynamical systems. Groups
Geom. Dyn. 11 (2017), 75–94.
[38] Y. Suzuki, Minimal ambient nuclear C∗ -algebras. Adv. Math. 304 (2017), 421–433.
[39] Y. Suzuki, Simple equivariant C∗ -algebras whose full and reduced crossed products coincide. Preprint,
arXiv:1801.06949.
[40] J.-L. Tu, La conjecture de BaumConnes pour les feuilletages moyennables. K-Theory 17 (1999), no.
3, 215–264.
[41] J. Villadsen, On the stable rank of simple C∗ -algebras. J. Amer. Math. Soc. 12 (1999), 1091–1102.
[42] W. Winter. Structure of nuclear C∗ -algebras: From quasidiagonality to classification, and back again.
To appear in Proceedings of the ICM 2018, arXiv:1712.00247.
Graduate school of mathematics, Nagoya University, Chikusaku, Nagoya, 464-8602, Japan
E-mail address: yuhei.suzuki@math.nagoya-u.ac.jp

