An algebraic characterisation of ample type I groupoids

We give algebraic characterisations of the type I and CCR properties for locally compact second countable, ample Hausdorff groupoids in terms of subquotients of its Boolean inverse semigroup of compact open local bisections. It yields in turn algebraic characterisations of both properties for inverse semigroups with meets in terms of subquotients of their Booleanisation.


Introduction
Inverse semigroups provide an algebraic framework for studying partial dynamical systems and groupoids. This is particularly clearly described by noncommutative Stone duality, extending the classical duality between totally disconnected Hausdorff spaces and generalised Boolean algebras to a duality between ample groupoids and Boolean inverse semigroups. This cornerstone of the modern theory of inverse semigroups was introduced by Lawson and Lenz [13,14,17] following ideas of Resende [26], Lenz [20] and Exel [8]. In a nutshell noncommutative Stone duality associates to an ample groupoid G the Boolean inverse semigroup of its compact open local bisections Γ (G ). Various filter constructions can be employed to describe the converse operation [1,14,18].
Since the discovery of noncommutative Stone duality an important aspect of this theory was to establish a dictionary between properties of ample groupoids and properties of Boolean inverse semigroups. A summary of the results obtained so far can be found in Lawson's survey article [16]. From an operator algebraic and representation theoretic point of view one fundamental side of groupoids and semigroups is the property of being CCR and the property of being type I. These notions arise upon considering groupoid and semigroup C * -algebras. So far neither of these properties has been addressed by the dictionary of noncommutative Stone duality. Our first two main results fill this gap and establish algebraic characterisations of CCR and type I Boolean inverse semigroups, matching Clark and van Wyk's characterisations of the respective properties for groupoids [6,30,31].
Our characterisation takes the form of forbidden subquotients in analogy with the theme of forbidden minors in graph theory and other fields of combinatorics. The Boolean inverse semigroup B T 1 featuring in the next statement is introduced and described explicitly in Example 1. It is the algebraically simplest possible Boolean inverse semigroup which is not CCR. We refer the reader to Sects. 2.1 and 2.3 for further information about Boolean inverse semigroups, their corners and group quotients.

Theorem 1 Let G be a second countable, ample Hausdorff groupoid. Then G is CCR if and only if the following two conditions are satisfied.
• All group quotients of corners 1 of Γ (G ) are virtually abelian, and • Γ (G ) does not have B T 1 as a subquotient 2 Theorem 2 Let G be a second countable, ample Hausdorff groupoid. Then G is type I if and only if the following two conditions are satisfied.
• All group quotients of corners of Γ (G ) are virtually abelian, and • Γ (G ) does not have an infinite, unital and 0-simplifying subquotient.
Historically the notation of CCR and type I C * -algebras was motivated by problems in representation theory. Roughly speaking groups enjoying one of these properties have a well-behaved unitary dual. Originally studied in the context of Lie groups and algebraic groups [3,4,7,9], other classes of non-discrete groups were considered more recently [5,10]. The question which discrete groups are CCR and type I was answered conclusively by Thoma [29], characterising them as the virtually abelian groups. A more direct proof of Thoma's result was obtained by Smith [27] and his original proof was the basis for a Plancherel formula for general discrete groups recently obtained by Bekka [2]. The fundamental nature of CCR and type I C * -algebras also led to the study of other group-like objects such as the aforementioned characterisation of groupoids with these properties by Clark and van Wyk [6,30,31]. Compared with Thoma's characterisation of discrete type I groups, our Theorems 1 and 2 can be considered as a generalisation to Boolean inverse semigroups. Naturally the question arises whether a similar characterisation can be obtained for inverse semigroups. The bridge between these structures is provided by the Booleanisation of an inverse semigroup [15,17] 1 Corners are operator algebraic terminology, while semigroup theory knows them as local submonoids. 2 In semigroup theory subquotients are called divisors. which we denote by B(S). Additional investigations of the passage from S to the universal groupoid G (S) going via B(S) allow us to draw the following conclusion. In view of a direct algebraic construction of the Booleanisation we describe in Sect. 2.1, the next two results give an intrinsic characterisation of CCR and type I inverse semigroups. The Booleanisation of an inverse semigroup was first introduced in [15]. Our description is more natural from an operator algebraic point of view and equivalent to the original definition of Lawson. This paper contains five sections. After the introduction we expose necessary preliminaries on (Boolean) inverse semigroups, ample groupoids and noncommutative Stone duality. In Sect. 3 we study separation properties of the orbit space of a groupoid and obtain algebraic characterisations of groupoids with T 1 and T 0 orbit spaces. In Sect. 4 we relate the isotropy groups of a groupoid to subquotients of the associated Boolean inverse semigroup. The proofs of our main results are collected in Sect. 5.

Preliminaries
In this section we recall all notions relevant to our work and introduce some elementary constructions that will be important throughout the text. For inverse semigroups the standard reference is [12]. The survey article [16] describes recent advances and the state of the art in inverse semigroup theory. Further [15] and [16,Sections 3 and 4] provide an introduction to Boolean inverse semigroups. It has to be pointed out that the definition of Boolean inverse semigroups used in the literature has changed over the years, so that care is due when consulting older material. The standard reference for groupoids and their C * -algebras is [25]. For groupoids attached to inverse semigroups and Boolean inverse semigroups, we refer to [14,21].

Inverse semigroups and Boolean inverse semigroups
In this section we recall the notions of inverse semigroups, Boolean inverse semigroups and the link between them provided by the universal enveloping Boolean inverse semigroup of an inverse semigroup, termed the Booleanisation.
An inverse semigroup S is a semigroup in which for every element s ∈ S there is a unique element s * ∈ S satisfying ss * s = s and s * ss * = s * . The set of idempotents E(S) ⊆ S forms a commutative meet-semilattice when endowed with the partial order e ≤ f if e f = e. We denote by supp s = s * s and im s = ss * the support and the image of an element s ∈ S, which are idempotents. The partial order on E(S) extends to S by declaring s ≤ t if t supp s = s. Given an inverse semigroup S we denote by S 0 the inverse semigroup with zero obtained by formally adjoining an absorbing idempotent 0. In particular we will make use of groups with zero. A character on E(S) is a non-zero semilattice homomorphism to {0, 1}. We will denote by E(S) the space of characters on E(S) equipped with the topology of pointwise convergence.
Let S be an inverse semigroup with zero. Two elements s, t ∈ S (which are not A Boolean inverse semigroup is an inverse semigroup with zero whose semilattice of idempotents is a generalised Boolean algebra such that finite families of pairwise orthogonal elements have joins. Recall that a generalised Boolean algebra can be conveniently described as a non-unital Boolean ring. Given two Boolean inverse semigroups B and C and an inverse semigroup morphism φ : B → C we say that φ is a morphism of Boolean inverse semigroups if it preserves the joins of orthogonal elements. To every inverse semigroup S one associates the enveloping Boolean inverse semigroup or Booleanisation S ⊆ B(S) which satisfies the universal property that for every Boolean inverse semigroup B and every semigroup homomorphism S → B there is a unique extension to B(S) such that the following diagram commutes.

S B B(S)
The enveloping Boolean inverse semigroup is conveniently described as the left adjoint of the forgetful functor from Boolean inverse semigroups to inverse semigroups with zero [15]. We will use the following concrete description. Consider an inverse semigroup S. The semigroup algebra I (S) = F 2 [E(S)] is a non-unital Boolean ring whose characters (as a non-unital ring) are in one-to-one correspondence with characters of E(S). We consider the following set of formal sums.
We consider the equivalence relation given by the condition that i s i e i ∼ j t j f j if and only if e i f j = 0 implies that there is some p ∈ E(S) such that e i f j ≤ p and s i p = t j p. One readily checks that the quotient of C(S) by this equivalence relation is a Boolean inverse semigroup. Thanks to the existence of joins of orthogonal families every map of semigroups with zero into a Boolean inverse semigroup S 0 → B extends uniquely to a map C(S)/∼ → B. By uniqueness of adjoint functors this shows that C(S)/∼ ∼ = B(S) is the Booleanisation of S.

Ample groupoids
In this section we fix our notation for groupoids and recall some basic results. We recommend [25] and [23] as resources on the topic. Given a groupoid G , we denote its set of units by G (0) and the range and source map by r : G → G (0) and d : G → G (0) respectively. Throughout the text G will be a topological groupoid meaning it is equipped with a topology making the multiplication and inversion continuous. A local bisection of a topological groupoid G is a subset U ⊆ G such that the restrictions d| U and r | U are homeomorphisms onto their images. We call G étale if its topology has a basis consisting of open local bisections. It is called ample if its topology has a basis consisting of compact open local bisections.
If G is a groupoid and We denote by Iso(G ) the union of all isotropy groups considered as subsets of G . Then G is effective if the interior of The set of orbits of a topological groupoid inherits a natural topology. We will be interested in separation properties of this orbit space. Recall that a topological space X is a T 0 -space if for every pair of points x, y ∈ X there is an open set that contains exactly one of these points. It is a T 1 -space if for every pair of points x, y ∈ X there is an open set containing x but not y. First we observe that the orbit space of a groupoid is a T 1 -space if and only if its orbits are closed. An analogous characterisation of groupoids whose orbit space is a T 0 -space is the subject of the Ramsey-Effros-Mackey dichotomy, which we now recall in the context of ample groupoids.

Proposition 1
Let G be a second countable ample groupoid. Then the following statements are equivalent.
• The orbit space of G is T 0 . • G has a self-accumulating orbit.
• The orbits of G are locally closed.
Proof Observe that [24, p. 362] explains why the Hausdorffness assumption in [24] is redundant. So the equivalence between the first two items follows from [24, Theorem 2.1, (2) and (4)]. In order to prove the equivalence to the last item, we want to apply [24, Theorem 2.1, (4) and (5)]. To this end we have to show that the equivalence relation induced by G on X = G (0) is an F σ -subset of X × X . The map G → X × X restricted to any compact open local bisection of G has a closed image. We conclude with the observation that there are only countably many compact open local bisections since G is second countable.

Noncommutative stone duality
Classical Stone duality establishes an equivalence of categories between locally compact totally disconnected Hausdorff topological spaces and generalised Boolean algebras. If X is such a space the generalised Boolean algebra associated with it is CO(X ), the algebra of compact open subsets of X . Conversely, given a generalised Boolean algebra B, its spectrum B is a locally compact totally disconnected Hausdorff topological space. Noncommutative Stone duality generalises this correspondence to an equivalence between ample Hausdorff groupoids and Boolean inverse semigroups. We refer the reader to [13,14].
Given an ample groupoid G , we denote by Γ (G ) G (B(S)).
Noncommutative Stone duality establishes a dictionary between properties of Boolean inverse semigroups and those of ample Hausdorff groupoids. We recall some of its aspects that will be needed in this piece.

Corners and subgroupoids
Given an ample Hausdorff groupoid G , idempotents in Γ (G ) correspond to compact open subsets of G . Given such idempotent p ∈ E(Γ (G )) corresponding to U ⊆ G (0) , the corner pΓ (G ) p is naturally isomorphic with Γ (G | U ). Further there is a one-to-one correspondence between open subgroupoids of G and Boolean inverse subsemigroups E(Γ (G )) ⊆ B ⊆ Γ (G ) assigning the groupoid B ⊆ G to a Boolean inverse semigroup B ⊆ Γ (G ). Note in particular that if E(Γ (G )) ⊆ B ⊆ Γ (G ) is as above and s, t ∈ B, then their meet s(s * s ∧ s * t) lies in B.

Morphisms
Noncommutative Stone duality does not cover all morphisms that one would naturally consider in the respective categories. This is why it is necessary and useful to note the following two statements. They ensure compatibility of noncommutative Stone duality with restriction maps. The next proposition is a reformulation of [19,Proposition 5.10]. See also [20].

commutes, there is a unique extension to a commutative diagram
The following converse to Proposition 2 can be considered a reformulation of [19,Lemma 5.6].

Lemma 1 Let G be an ample groupoid and A ⊆ G (0) a closed subset such that the restriction res A : CO(G (0) ) → CO(A) extends to a map of inverse semigroups Γ (G ) → B, for some inverse semigroup B. Then A is G -invariant.
Proof Denote by π : Γ (G ) → B a map as in the statement of the lemma. Take s ∈ Γ (G ) satisfying supp(s) ∩ A = ∅. Then the calculation

Minimal groupoids and 0-simplifying Boolean inverse semigroups
We introduce the algebraic notion corresponding to minimality of groupoids, following the reference [28]. The name of the notation 0-simplifying stems from the fact that additive ideals are exactly of the form π −1 (0) for homomorphisms of Boolean inverse semigroups B → C.

Proposition 3 ([28, Proposition 2.7]) Let G be an ample groupoid. Then G is minimal if and only if Γ (G )
is 0-simplifying.

CCR and type I groupoids
We refer the reader to [22] for the basic theory of C * -algebras. To each of the objects considered in Sects. 2.1 and 2.2 one can associate a C * -algebra. For groupoid C *algebras C * (G ), we refer the reader to [25]. The C * -algebras C * (S) associated with inverse semigroups are explained in [11,23]. In particular it is known that C * (S) ∼ = C * (G (S)) canonically. We refer to [22,Section 5.6] for details on the following two notions from representation theory of C * -algebras.

Definition 2 Let
A be a C * -algebra. Then A is called CCR if the image of every irreducible *-representation of A equals the compact operators. We say that A is GCR or of type I if the image of every irreducible *-representation of A contains the compact operators.
Inverse semigroups and groupoids are called CCR or type I respectively, if their C * -algebras have this property.
In this article, the notions of CCR and type I are accessed solely through the following special case of a result of Clark and van Wyk combined with the characterisation of discrete type I groups by Thoma

Separation properties of orbit spaces
In this section we consider separation properties of orbit spaces and provide algebraic characterisations of ample groupoids whose orbit space is a T 1 -space and a T 0 -space respectively. We start by introducing the simplest example of a groupoid whose orbit space is not T 1 .

Proposition 4 Let G be an ample groupoid. Then the orbit space of G is not T 1 if and only if Γ (G ) has B T 1 as a subquotient.
Proof Assume that the orbit space of G is not T 1 . Then by Proposition 1 there is some non-closed orbit, say G x ⊆ G (0) . Let (x n ) n∈N be a convergent sequence from G x whose limit x ∞ = lim x n does not lie in G x. Since G is ample, there are local bisections (s n ) n∈N in Γ (G ) such that s n ∩ d −1 (x n ) ∩ r −1 (x n+1 ) = ∅ for all n ∈ N.
Without loss of generality we may assume that (supp s n ) n are pairwise disjoint subsets of G ( Γ (H | A ). If suffices to note that H | A ∼ = G T 1 so that Γ (H | A ) ∼ = B T 1 follows. Assume now that B T 1 is a subquotient of Γ (G ). Denote by (s n ) n∈N and f preimages in Γ (G ) of the generators of B T 1 . Replacing s n by s n f we may suppose that supp s n ≤ f holds for all n ∈ N. Further, writing p n = k<n supp s k and replacing s n by s n ( f − p n ), we may assume that (supp s n ) n are pairwise orthogonal. Write t n = s n−1 · · · s 0 and q n = t * n (supp s n )t n . Then every finite subfamily of (q n ) n∈N has a nonzero meet, since the same statement holds true for their images in B T 1 . Denoting by U n ⊂ G (0) the compact open subset corresponding to q n it follows that n∈N U n = ∅. Choose x 0 in there and define x n = t n x 0 ∈ supp s n . Since supp s n ≤ f for all n ∈ N, there is a convergent subsequence (x n k ) k of (x n ) n . So the orbit G x 0 has an accumulation point which proves that the orbit space of G is not T 1 .

Remark 1
Comparing the statement of Proposition 4 with Proposition 6, it is natural to ask whether it is possible to find a corner of Γ (G ) that has B T 1 as a quotient rather than finding B T 1 as a subquotient of Γ (G ). This is not possible as the following example shows. We consider the groupoid G arising from the equivalence relation on βN, the Stone-Cech compactification of N, that relates all elements from N and nothing else. It is straight forward to check that G is an ample groupoid, since every point of N is isolated in βN. Proof Assume first that the orbit space of G is not T 0 . By Proposition 1 there exists a self-accumulating orbit of G . Denote its closure by A. Since G is étale, for every open subset U ⊂ G (0) that intersects A non-trivially there is some element s ∈ Γ (G ) whose support and image are disjoint and both lie in U and intersect A non-trivially. Let s 0 ∈ CO(G (0) ) be some trivial local bisection intersecting A non-trivially. If s 0 , . . . , s n have been defined, choose some s n+1 ∈ Γ (G ) with disjoint support and image both contained in supp s n and both intersecting A non-trivially. For n ≥ 1 define and observe that the open subgroupoid of G generated by s 1 , . . . , s n leaves K n invariant. Further, since the subsets t 1 · · · t n (supp s n ∩ A) with (t 1 , . . . , t n ) ∈ n i=1 {s 0 , s i } are pairwise disjoint, all of its orbits in K n have size 2 n . The non-empty compact sets (K n ) n are descending, and thus their intersection is non-empty. Denote the open subgroupoid of G generated by all s 1 , s 2 , . . . with H . Then n≥1 K n is H -invariant and every H -orbit in n≥1 K n is infinite. Let K ⊆ n≥1 K n be any H -minimal subset. Then Γ (H | K ) is 0-simplifying by Proposition 3. We also observe that Γ (H | K ) is infinite, because K is infinite and it is unital, since K is compact. Since H is an open subgroupoid of G , we obtain an inclusion of Boolean inverse semigroups Let us now assume that there is an infinite, unital and 0-simplifying subquotient of Γ (G ). We will show that the orbit space of G is not T 0 . Write Γ (G ) ⊃ C B for the given subquotient. Choosing an idempotent preimage p ∈ E(C) of the unit of B we obtain a surjection pC p B. Let V ⊂ G (0) be the compact open subset corresponding to p. Replacing C by pC p we thus find a unital inclusion Γ (G | V ) ⊃ C and a quotient map π : C B. Let H be the ample groupoid associated with C by noncommutative Stone duality, that is Γ (H ) ∼ = C. Write X = H (0) . Considering the restriction of π to idempotents we find a closed subset A ⊆ X such that the following diagram commutes.
We will show that H x ∩ A is self-accumulating. By noncommutative Stone duality there is an ample groupoid K such that Γ (K ) ∼ = B. From the fact that B is infinite, unital and 0-simplifying it follows that K is infinite, has a compact unit space and is minimal. In particular, the orbits of K are self-accumulating. So for every compact open neighbourhood U ⊆ A of x there is some local bisection t ∈ Γ (K ) such that x ∈ supp t and x / ∈ im t ≤ U . Let s ∈ π −1 (t) denote a preimage of t. Then supp s ∩ A = π(supp s) = supp π(s) = supp t and similarly im s ∩ A = im t. It follows that H x ∩ A and thus also the H -orbit of x is self-accumulating. Thus the orbit space of H is not T 0 . Consider now the surjective map ϕ : V → X which is dual to the inclusion CO(X ) ⊂ CO(V ). Given x, y ∈ X in the same H -orbit there is s ∈ C such that sx = y. Let u ∈ V be some preimage of x under ϕ. Considering s as a local bisection of G | V , we define v = su which lies in the same G | V -orbit as u and satisfies ϕ(v) = y. This shows that every H -orbit is contained in the image of a G | V -orbit. In particular, there is some orbit of G | V that is not finite and hence not locally closed. So Proposition 1 says that the orbit space of G is not T 0 .

Group quotients and isotropy groups
In this section we relate the isotropy groups of an ample groupoid with certain subquotients of the Boolean inverse semigroup of its compact open local bisections. This result will allow us to translate the condition on isotropy groups from [6,30,31].
Proof Denote the quotient map B(S) G 0 by π and let g ∈ G. Using the description of B(S) presented in Sect. 2.1 there is some preimage i t i e i ∈ B(S) of g. Since G 0 has only two idempotents, π | E(B(S)) is a character. So there is a unique i 0 satisfying π(e i 0 ) = 1. This implies π( i t i e i ) = π(t i 0 ) showing that g ∈ π(S 0 ). ∈ G (0) and write G = G | x . Then the group with zero G 0 is a quotient of a corner of S 0 .

Proposition 7 Let S be a countable inverse semigroup such that the orbit space of
the compact open subset corresponding to q. As in the proof of Proposition 6 the fact that orbits of G are locally closed implies that G x ∩ U is finite. Fix an enumeration x = x 0 , x 1 , . . . , x n of G x ∩ U . For i ∈ {1, . . . , n} there is q i ∈ E(S) such that x 0 (q i ) = 1 and x i (q i ) = 0. Put p = q · q 1 · · · q n and let V ⊆ G (0) be the compact open subset corresponding to p. Then the identification of corners of Boolean inverse semigroups says that shows that there is a surjection B( pSp) → (G | x ) 0 . By Lemma 2 its restriction pS 0 p ∼ = ( pSp) 0 → (G | x ) 0 remains surjective.

Proof of the main results
We now obtain the proof of our main theorems. Thanks to the preparation made in the previous sections all proofs are rather similar and we spell out details only for Theorem 1.

Proof of Theorem 1
Since G is an étale, second countable Hausdorff groupoid, we may appeal to the results of Clark, van Wyk and Thoma described in Theorem 5. It follows that G is CCR if and only if all its isotropy groups are virtually abelian and its orbit space is T 1 . We can thus combine Proposition 6 and Proposition 4 to complete our proof.

Proof of Theorem 2
Upon replacing the reference to Proposition 4 by Proposition 5 the same argument as used in the proof of Theorem 1 can be applied.

Proof of Theorem 3
Since S has meets, it follows that G (S) is Hausdorff. So replacing the reference to Proposition 6 by Proposition 7, and alluding to the fact that Γ (G (S)) ∼ = B(S) the proof of Theorem 1 applies.

Proof of Theorem 4
Making the same adaptions as in the passage from the proof of Theorem 1 to 2, the proof of Theorem 3 applies.

Remark 2
In view of our construction of B(S) described in Sect. 2.1, the Booleanisation of an inverse semigroup can be concretely calculated, so that the conditions on B(S) in Theorems 3 and 4 can be checked. Specifically for Theorem 4 we remark that the groupoid G (S) associated with an inverse semigroup always has a fixed point (whose isotropy group is the maximal group quotient of S). It corresponds to the trivial character on E(S) that maps every idempotent to 1. Since 0-simplifying Boolean inverse semigroups correspond to minimal groupoids, it is not possible to directly translate the condition on B(S) in Theorem 4 to an algebraic statement about S itself.