Abstract
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 \({\mathscr {G}}\) the Boolean inverse semigroup of its compact open local bisections \(\varGamma ({\mathscr {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 \(\text {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_{\mathrm {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 \({\mathscr {G}}\) be a second countable, ample Hausdorff groupoid. Then \({\mathscr {G}}\) is CCR if and only if the following two conditions are satisfied.

All group quotients of corners^{Footnote 1} of \(\varGamma ({\mathscr {G}})\) are virtually abelian, and

\(\varGamma ({\mathscr {G}})\) does not have \(B_{\mathrm {T}_1}\) as a subquotient^{Footnote 2}
Theorem 2
Let \({\mathscr {G}}\) be a second countable, ample Hausdorff groupoid. Then \({\mathscr {G}}\) is type \(\mathrm{I}\) if and only if the following two conditions are satisfied.

All group quotients of corners of \(\varGamma ({\mathscr {G}})\) are virtually abelian, and

\(\varGamma ({\mathscr {G}})\) does not have an infinite, unital and 0simplifying subquotient.
Historically the notation of CCR and type I \(\text {C}^*\)algebras was motivated by problems in representation theory. Roughly speaking groups enjoying one of these properties have a wellbehaved unitary dual. Originally studied in the context of Lie groups and algebraic groups [3, 4, 7, 9], other classes of nondiscrete 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 \(\text {C}^*\)algebras also led to the study of other grouplike 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] which we denote by B(S). Additional investigations of the passage from S to the universal groupoid \({\mathscr {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.
Theorem 3
Let S be a countable inverse semigroup with meets. Then S is CCR if and only if the following two conditions are satisfied.

1.
All group subquotients of S are virtually abelian, and

2.
B(S) does not have \(B_{\mathrm {T}_1}\) as a subquotient.
Theorem 4
Let S be a countable inverse semigroup with meets. Then S is type I if and only if the following two conditions are satisfied.

1.
All group subquotients of S are virtually abelian, and

2.
B(S) does not have an infinite, unital, 0simplifying subquotient.
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 \({\mathrm {T}_1}\) and \({\mathrm {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 \in S\) there is a unique element \(s^* \in S\) satisfying \(ss^*s = s\) and \(s^*ss^* = s^*\). The set of idempotents \(E(S) \subseteq S\) forms a commutative meetsemilattice when endowed with the partial order \(e \le f\) if \(e f = e\). We denote by \(\mathop {\mathrm {supp}}s = s^*s\) and \(\mathop {\mathrm {im}}s = ss^*\) the support and the image of an element \(s \in S\), which are idempotents. The partial order on E(S) extends to S by declaring \(s \le t\) if \(t \mathop {\mathrm {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 nonzero semilattice homomorphism to \(\{ 0, 1 \}\). We will denote by \(\widehat{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 \in S\) (which are not necessarily idempotents) are called orthogonal, denoted \(s \perp t\), if \(s t^* = 0 = s^*t\). 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 nonunital Boolean ring. Given two Boolean inverse semigroups B and C and an inverse semigroup morphism \(\phi : B \rightarrow C\) we say that \(\phi \) 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 \subseteq B(S)\) which satisfies the universal property that for every Boolean inverse semigroup B and every semigroup homomorphism \(S \rightarrow B\) there is a unique extension to B(S) such that the following diagram commutes.
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 nonunital Boolean ring whose characters (as a nonunital ring) are in onetoone correspondence with characters of E(S). We consider the following set of formal sums.
We consider the equivalence relation given by the condition that \(\sum _i s_i e_i \sim \sum _j t_j f_j\) if and only if \(e_i f_j \ne 0\) implies that there is some \(p \in E(S)\) such that \(e_if_j \le 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 \rightarrow B\) extends uniquely to a map \({C(S)}/{\sim } \rightarrow B\). By uniqueness of adjoint functors this shows that \({C(S)}/{\sim } \cong 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 \({\mathscr {G}}\), we denote its set of units by \({\mathscr {G}}^{(0)}\) and the range and source map by \(r: {\mathscr {G}}\rightarrow {\mathscr {G}}^{(0)}\) and \(d: {\mathscr {G}}\rightarrow {\mathscr {G}}^{(0)}\) respectively. Throughout the text \({\mathscr {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 \({\mathscr {G}}\) is a subset \(U \subseteq {\mathscr {G}}\) such that the restrictions \(d_U\) and \(r_U\) are homeomorphisms onto their images. We call \({\mathscr {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 \({\mathscr {G}}\) is a groupoid and \(A \subseteq {\mathscr {G}}^{(0)}\) is a set of units we denote by \({\mathscr {G}}_A = \{g \in {\mathscr {G}}\mid d(g), r(g) \in A\}\) the restriction of \({\mathscr {G}}\) to A. It does not need to be étale even if \({\mathscr {G}}\) is so. If \({\mathscr {G}}\) is étale and \(A \subseteq {\mathscr {G}}^{(0)}\) is open, then \({\mathscr {G}}_A\) is étale too.
The isotropy at \(x \in {\mathscr {G}}^{(0)}\) is \({\mathscr {G}}_x = {\mathscr {G}}_{\{x\}}\). We denote by \(\text {Iso}({\mathscr {G}})\) the union of all isotropy groups considered as subsets of \({\mathscr {G}}\). Then \({\mathscr {G}}\) is effective if the interior of \(\text {Iso}({\mathscr {G}})\) equals \({\mathscr {G}}^{(0)}\). Given a unit \(x \in {\mathscr {G}}^{(0)}\) its orbit is denoted by \({\mathscr {G}}x \subseteq {\mathscr {G}}^{(0)}\). We call \({\mathscr {G}}\) minimal if all its orbits are dense.
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 \({\mathrm {T}_0}\)space if for every pair of points \(x,y \in X\) there is an open set that contains exactly one of these points. It is a \({\mathrm {T}_1}\)space if for every pair of points \(x,y \in X\) there is an open set containing x but not y. First we observe that the orbit space of a groupoid is a \({\mathrm {T}_1}\)space if and only if its orbits are closed. An analogous characterisation of groupoids whose orbit space is a \({\mathrm {T}_0}\)space is the subject of the RamseyEffrosMackey dichotomy, which we now recall in the context of ample groupoids.
Proposition 1
Let \({\mathscr {G}}\) be a second countable ample groupoid. Then the following statements are equivalent.

The orbit space of \({\mathscr {G}}\) is \({\mathrm {T}_0}\).

\({\mathscr {G}}\) has a selfaccumulating orbit.

The orbits of \({\mathscr {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 \({\mathscr {G}}\) on \(X = {\mathscr {G}}^{(0)}\) is an \(F_\sigma \)subset of \(X \times X\). The map \({\mathscr {G}}\rightarrow X \times X\) restricted to any compact open local bisection of \({\mathscr {G}}\) has a closed image. We conclude with the observation that there are only countably many compact open local bisections since \({\mathscr {G}}\) is second countable. \(\square \)
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 \(\mathrm {CO}(X)\), the algebra of compact open subsets of X. Conversely, given a generalised Boolean algebra B, its spectrum \({\widehat{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 \({\mathscr {G}}\), we denote by \(\varGamma ({\mathscr {G}})\) the set of compact open local bisections of \({\mathscr {G}}\), which is a Boolean inverse semigroup. Conversely, given a Boolean inverse semigroup B, the set of ultrafilters for the natural order on B forms an ample groupoid \({\mathscr {G}}(B)\). Then \({\mathscr {G}}\) is Hausdorff if and only if \(\varGamma ({\mathscr {G}})\) has meets. It follows from [14, Duality Theorem] that these two operations are dual to each other. See also [16, Theorem 4.4] and [19, Theorem 4.2]. We will not need to specify the morphisms of the categories involved in this duality. Invoking [19, Theorem 1.2] the universal groupoid of an inverse semigroup S can be naturally identified with \({\mathscr {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 \({\mathscr {G}}\), idempotents in \(\varGamma ({\mathscr {G}})\) correspond to compact open subsets of \({\mathscr {G}}\). Given such idempotent \(p \in E(\varGamma ({\mathscr {G}}))\) corresponding to \(U \subseteq {\mathscr {G}}^{(0)}\), the corner \(p \varGamma ({\mathscr {G}}) p\) is naturally isomorphic with \(\varGamma ({\mathscr {G}}_U)\). Further there is a onetoone correspondence between open subgroupoids of \({\mathscr {G}}\) and Boolean inverse subsemigroups \(E(\varGamma ({\mathscr {G}})) \subseteq B \subseteq \varGamma ({\mathscr {G}})\) assigning the groupoid \(\bigcup B \subseteq {\mathscr {G}}\) to a Boolean inverse semigroup \(B \subseteq \varGamma ({\mathscr {G}})\). Note in particular that if \(E(\varGamma ({\mathscr {G}})) \subseteq B \subseteq \varGamma ({\mathscr {G}})\) is as above and \(s,t \in B\), then their meet \(s(s^*s \wedge 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].
Proposition 2
Let \({\mathscr {G}}\) be an ample groupoid and let \(A \subseteq {\mathscr {G}}^{(0)}\) be a closed \({\mathscr {G}}\)invariant set. Then the restriction map \(\mathrm {CO}({\mathscr {G}}^{(0)}) \rightarrow \mathrm {CO}(A)\) extends to a unique homomorphism \(\varGamma ({\mathscr {G}}) \rightarrow \varGamma ({\mathscr {G}}_A)\) with the universal property that for every homomorphism \(\pi : \varGamma ({\mathscr {G}}) \rightarrow B\) such that
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 \({\mathscr {G}}\) be an ample groupoid and \(A \subseteq {\mathscr {G}}^{(0)}\) a closed subset such that the restriction \(\mathrm {res}_A: \mathrm {CO}({\mathscr {G}}^{(0)}) \rightarrow \mathrm {CO}(A)\) extends to a map of inverse semigroups \(\varGamma ({\mathscr {G}}) \rightarrow B\), for some inverse semigroup B. Then A is \({\mathscr {G}}\)invariant.
Proof
Denote by \(\pi : \varGamma ({\mathscr {G}}) \rightarrow B\) a map as in the statement of the lemma. Take \(s \in \varGamma ({\mathscr {G}})\) satisfying \(\mathop {\mathrm {supp}}(s) \cap A = \emptyset \). Then the calculation
shows that \(\mathop {\mathrm {im}}(s) \cap A = \emptyset \). So A is indeed \({\mathscr {G}}\)invariant. \(\square \)
Minimal groupoids and 0simplifying Boolean inverse semigroups
We introduce the algebraic notion corresponding to minimality of groupoids, following the reference [28].
Definition 1
Let B be a Boolean inverse semigroup. An ideal I of B is called additive, if it is closed under joins of orthogonal elements. Further B is called 0simplifying if its only additive ideals are \(\{0\}\) and B.
The name of the notation 0simplifying stems from the fact that additive ideals are exactly of the form \(\pi ^{1}(0)\) for homomorphisms of Boolean inverse semigroups \(B \rightarrow C\).
Proposition 3
([28, Proposition 2.7]) Let \({\mathscr {G}}\) be an ample groupoid. Then \({\mathscr {G}}\) is minimal if and only if \(\varGamma ({\mathscr {G}})\) is 0simplifying.
CCR and type I groupoids
We refer the reader to [22] for the basic theory of \(\text {C}^*\)algebras. To each of the objects considered in Sects. 2.1 and 2.2 one can associate a \(\text {C}^*\)algebra. For groupoid \(\text {C}^*\)algebras \(\text {C}^*({\mathscr {G}})\), we refer the reader to [25]. The \(\text {C}^*\)algebras \(\text {C}^*(S)\) associated with inverse semigroups are explained in [11, 23]. In particular it is known that \(\text {C}^*(S) \cong \text {C}^*({\mathscr {G}}(S))\) canonically. We refer to [22, Section 5.6] for details on the following two notions from representation theory of \(\text {C}^*\)algebras.
Definition 2
Let A be a \(\text {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 \(\text {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.
Theorem 5
([6, 30, Theorem 5.3], [31, Theorem 3.5] and [29]) Let \({\mathscr {G}}\) be a second countable, étale, Hausdorff groupoid. Then \({\mathscr {G}}\) is CCR if and only if all the isotropy groups are virtually abelian and the orbit space of \({\mathscr {G}}\) is \({\mathrm {T}_1}\). Further \({\mathscr {G}}\) is type I if and only if all the isotropy groups are virtually abelian and the orbit space of \({\mathscr {G}}\) is \({\mathrm {T}_0}\).
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 \({\mathrm {T}_1}\)space and a \({\mathrm {T}_0}\)space respectively. We start by introducing the simplest example of a groupoid whose orbit space is not \({\mathrm {T}_1}\).
Example 1
Let \({\mathscr {G}}_{\mathrm {T}_1}\) be the groupoid associated with the equivalence relation on the onepoint compactification \({\mathbb {N}}\cup \{\infty \}\) given by
Denote by \(B_{\mathrm {T}_1}= \varGamma ({\mathscr {G}}_{\mathrm {T}_1})\) the Boolean inverse semigroup of compact open local bisections of \({\mathscr {G}}_{\mathrm {T}_1}\). Then \(B_{\mathrm {T}_1}\) can be described as a set of partial bijections of \({\mathbb {N}}\cup \{\infty \}\). It is the union of all finite partial bijections of \({\mathbb {N}}\) together with the identity maps on sets \(A \cup \{\infty \}\) where \(A \subset {\mathbb {N}}\) runs through all cofinite subsets of the natural numbers. Further \(B_{\mathrm {T}_1}\) admits a presentation with generators \((s_n)_{n \in {\mathbb {N}}}\) and f satisfying the relations
The idempotents \(\mathop {\mathrm {supp}}s_n\) together with f generate a Boolean ring isomorphic with the algebra of compact open subsets \({\mathrm {CO}({\mathbb {N}}\cup \{\infty \})}\) and the elements \(s_n\) are identified with the compact open local bisections \(\{(n, n+1)\}\) of \({\mathscr {G}}_{\mathrm {T}_1}\).
Proposition 4
Let \({\mathscr {G}}\) be an ample groupoid. Then the orbit space of \({\mathscr {G}}\) is not \({\mathrm {T}_1}\) if and only if \(\varGamma ({\mathscr {G}})\) has \(B_{{\mathrm {T}_1}}\) as a subquotient.
Proof
Assume that the orbit space of \({\mathscr {G}}\) is not \({\mathrm {T}_1}\). Then by Proposition 1 there is some nonclosed orbit, say \({\mathscr {G}}x \subseteq {\mathscr {G}}^{(0)}\). Let \((x_n)_{n \in {\mathbb {N}}}\) be a convergent sequence from \({\mathscr {G}}x\) whose limit \(x_\infty = \lim x_n\) does not lie in \({\mathscr {G}}x\). Since \({\mathscr {G}}\) is ample, there are local bisections \((s_n)_{n \in {\mathbb {N}}}\) in \(\varGamma ({\mathscr {G}})\) such that \(s_n \cap d^{1}(x_n) \cap r^{1}(x_{n+1}) \ne \emptyset \) for all \(n \in {\mathbb {N}}\). Without loss of generality we may assume that \((\mathop {\mathrm {supp}}s_n)_n\) are pairwise disjoint subsets of \({\mathscr {G}}^{(0)}\). Let \(B \subseteq \varGamma ({\mathscr {G}})\) be the Boolean inverse semigroup generated by all \((s_n)_{n \in {\mathbb {N}}}\) together with the idempotents of \(\varGamma ({\mathscr {G}})\). Denote by \({\mathscr {H}}= \bigcup B\) the open subgroupoid of \({\mathscr {G}}\) associated with B. The subset \(A = \{x_n \mid n \in {\mathbb {N}}\cup \{\infty \}\} \subseteq {\mathscr {G}}^{(0)}\) is \({\mathscr {H}}\)invariant, so that by Proposition 2 there is a quotient map of Boolean inverse semigroups \(B \cong \varGamma ({\mathscr {H}}) \rightarrow \varGamma ({\mathscr {H}}_A)\). If suffices to note that \({\mathscr {H}}_A \cong {\mathscr {G}}_{{\mathrm {T}_1}}\) so that \(\varGamma ({\mathscr {H}}_A) \cong B_{{\mathrm {T}_1}}\) follows.
Assume now that \(B_{\mathrm {T}_1}\) is a subquotient of \(\varGamma ({\mathscr {G}})\). Denote by \((s_n)_{n \in {\mathbb {N}}}\) and f preimages in \(\varGamma ({\mathscr {G}})\) of the generators of \(B_{\mathrm {T}_1}\). Replacing \(s_n\) by \(s_n f\) we may suppose that \(\mathop {\mathrm {supp}}s_n \le f\) holds for all \(n \in {\mathbb {N}}\). Further, writing \(p_n = \bigvee _{k < n} \mathop {\mathrm {supp}}s_k\) and replacing \(s_n\) by \(s_n(f  p_n)\), we may assume that \((\mathop {\mathrm {supp}}s_n)_n\) are pairwise orthogonal. Write \(t_n = s_{n1} \cdots s_0\) and \(q_n = t_n^* (\mathop {\mathrm {supp}}s_n) t_n\). Then every finite subfamily of \((q_n)_{n \in {\mathbb {N}}}\) has a nonzero meet, since the same statement holds true for their images in \(B_{\mathrm {T}_1}\). Denoting by \(U_n \subset {\mathscr {G}}^{(0)}\) the compact open subset corresponding to \(q_n\) it follows that \(\bigcap _{n \in {\mathbb {N}}} U_n \ne \emptyset \). Choose \(x_0\) in there and define \(x_n = t_n x_0 \in \mathop {\mathrm {supp}}s_n\). Since \(\mathop {\mathrm {supp}}s_n \le f\) for all \(n \in {\mathbb {N}}\), there is a convergent subsequence \((x_{n_k})_k\) of \((x_n)_n\). So the orbit \({\mathscr {G}}x_0\) has an accumulation point which proves that the orbit space of \({\mathscr {G}}\) is not \({\mathrm {T}_1}\). \(\square \)
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 \(\varGamma ({\mathscr {G}})\) that has \(B_{\mathrm {T}_1}\) as a quotient rather than finding \(B_{\mathrm {T}_1}\) as a subquotient of \(\varGamma ({\mathscr {G}})\). This is not possible as the following example shows. We consider the groupoid \({\mathscr {G}}\) arising from the equivalence relation on \(\beta {\mathbb {N}}\), the StoneC̆ech compactification of \({\mathbb {N}}\), that relates all elements from \({\mathbb {N}}\) and nothing else. It is straight forward to check that \({\mathscr {G}}\) is an ample groupoid, since every point of \({\mathbb {N}}\) is isolated in \(\beta {\mathbb {N}}\). Corners of \(\varGamma ({\mathscr {G}})\) correspond to restrictions of \({\mathscr {G}}\) to compact open subsets as explained in Sect. 2.3. Compact open subsets of \(\beta {\mathbb {N}}\) are exactly of the form \(U = {\overline{D}}\) for subsets \(D \subset {\mathbb {N}}\). Clearly if D is finite \({\mathscr {G}}_{\mathrm {T}_1}\) cannot arise as a restriction of \({\mathscr {G}}_U = {\mathscr {G}}_D\). But every infinite subset of \({\mathbb {N}}\) has infinitely many accumulation points in \(\beta {\mathbb {N}}\) so \({\mathscr {G}}_{\mathrm {T}_1}\) cannot arise as a restriction of \({\mathscr {G}}\) at all.
Proposition 5
Let \({\mathscr {G}}\) be a second countable, ample groupoid. Then the orbit space of \({\mathscr {G}}\) is not \({\mathrm {T}_0}\) if and only if there is an infinite, unital and 0simplifying subquotient of \(\varGamma ({\mathscr {G}})\).
Proof
Assume first that the orbit space of \({\mathscr {G}}\) is not \({\mathrm {T}_0}\). By Proposition 1 there exists a selfaccumulating orbit of \({\mathscr {G}}\). Denote its closure by A. Since \({\mathscr {G}}\) is étale, for every open subset \(U \subset {\mathscr {G}}^{(0)}\) that intersects A nontrivially there is some element \(s \in \varGamma ({\mathscr {G}})\) whose support and image are disjoint and both lie in U and intersect A nontrivially. Let \(s_0 \in \mathrm {CO}({\mathscr {G}}^{(0)})\) be some trivial local bisection intersecting A nontrivially. If \(s_0, \dotsc , s_n\) have been defined, choose some \(s_{n+1} \in \varGamma ({\mathscr {G}})\) with disjoint support and image both contained in \(\mathop {\mathrm {supp}}s_n\) and both intersecting A nontrivially. For \(n \ge 1\) define
and observe that the open subgroupoid of \({\mathscr {G}}\) generated by \(s_1, \dotsc , s_n\) leaves \(K_n\) invariant. Further, since the subsets \(t_1 \cdots t_n (\mathop {\mathrm {supp}}s_n \cap A)\) with \((t_1, \dotsc , t_n) \in \prod _{i = 1}^n \{s_0, s_i\}\) are pairwise disjoint, all of its orbits in \(K_n\) have size \(2^n\). The nonempty compact sets \((K_n)_n\) are descending, and thus their intersection is nonempty. Denote the open subgroupoid of \({\mathscr {G}}\) generated by all \(s_1, s_2, \dotsc \) with \({\mathscr {H}}\). Then \(\bigcap _{n \ge 1} K_n\) is \({\mathscr {H}}\)invariant and every \({\mathscr {H}}\)orbit in \(\bigcap _{n \ge 1} K_n\) is infinite. Let \(K \subseteq \bigcap _{n \ge 1} K_n\) be any \({\mathscr {H}}\)minimal subset. Then \(\varGamma ({\mathscr {H}}_K)\) is 0simplifying by Proposition 3. We also observe that \(\varGamma ({\mathscr {H}}_K)\) is infinite, because K is infinite and it is unital, since K is compact. Since \({\mathscr {H}}\) is an open subgroupoid of \({\mathscr {G}}\), we obtain an inclusion of Boolean inverse semigroups \(\varGamma ({\mathscr {H}}) \subseteq \varGamma ({\mathscr {G}})\). Moreover, since K is \({\mathscr {H}}\)invariant by construction, Proposition 2 says that there is a quotient map \(\varGamma ({\mathscr {H}}) \rightarrow \varGamma ({\mathscr {H}}_K)\). So \(\varGamma ({\mathscr {H}}_K)\) is a subquotient of \(\varGamma ({\mathscr {G}})\).
Let us now assume that there is an infinite, unital and 0simplifying subquotient of \(\varGamma ({\mathscr {G}})\). We will show that the orbit space of \({\mathscr {G}}\) is not \({\mathrm {T}_0}\). Write \(\varGamma ({\mathscr {G}}) \supset C \twoheadrightarrow B\) for the given subquotient. Choosing an idempotent preimage \(p \in \mathrm {E}(C)\) of the unit of B we obtain a surjection \(p C p \twoheadrightarrow B\). Let \(V \subset {\mathscr {G}}^{(0)}\) be the compact open subset corresponding to p. Replacing C by pCp we thus find a unital inclusion \(\varGamma ({\mathscr {G}}_V) \supset C\) and a quotient map \(\pi : C \twoheadrightarrow B\). Let \({\mathscr {H}}\) be the ample groupoid associated with C by noncommutative Stone duality, that is \(\varGamma ({\mathscr {H}}) \cong C\). Write \(X = {\mathscr {H}}^{(0)}\). Considering the restriction of \(\pi \) to idempotents we find a closed subset \(A \subseteq X\) such that the following diagram commutes.
Let \(x \in A\). We will show that \({\mathscr {H}}x \cap A\) is selfaccumulating. By noncommutative Stone duality there is an ample groupoid \({\mathscr {K}}\) such that \(\varGamma ({\mathscr {K}}) \cong B\). From the fact that B is infinite, unital and 0simplifying it follows that \({\mathscr {K}}\) is infinite, has a compact unit space and is minimal. In particular, the orbits of \({\mathscr {K}}\) are selfaccumulating. So for every compact open neighbourhood \(U \subseteq A\) of x there is some local bisection \(t \in \varGamma ({\mathscr {K}})\) such that \(x \in \mathop {\mathrm {supp}}t\) and \(x \notin \mathop {\mathrm {im}}t \le U\). Let \(s \in \pi ^{1}(t)\) denote a preimage of t. Then \(\mathop {\mathrm {supp}}s \cap A = \pi (\mathop {\mathrm {supp}}s) = \mathop {\mathrm {supp}}\pi (s) = \mathop {\mathrm {supp}}t\) and similarly \(\mathop {\mathrm {im}}s \cap A = \mathop {\mathrm {im}}t\). It follows that \({\mathscr {H}}x \cap A\) and thus also the \({\mathscr {H}}\)orbit of x is selfaccumulating. Thus the orbit space of \({\mathscr {H}}\) is not \({\mathrm {T}_0}\). Consider now the surjective map \(\varphi : V \rightarrow X\) which is dual to the inclusion \(\mathrm {CO}(X) \subset \mathrm {CO}(V)\). Given \(x,y \in X\) in the same \({\mathscr {H}}\)orbit there is \(s \in C\) such that \(sx = y\). Let \(u \in V\) be some preimage of x under \(\varphi \). Considering s as a local bisection of \({\mathscr {G}}_V\), we define \(v = su\) which lies in the same \({\mathscr {G}}_V\)orbit as u and satisfies \(\varphi (v) = y\). This shows that every \({\mathscr {H}}\)orbit is contained in the image of a \({\mathscr {G}}_V\)orbit. In particular, there is some orbit of \({\mathscr {G}}_V\) that is not finite and hence not locally closed. So Proposition 1 says that the orbit space of \({\mathscr {G}}\) is not \({\mathrm {T}_0}\). \(\square \)
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].
Proposition 6
Let \({\mathscr {G}}\) be a second countable, ample groupoid whose orbit space is \({\mathrm {T}_0}\). Let \(x \in {\mathscr {G}}^{(0)}\) be a unit, write \(G ={\mathscr {G}}_x\) for the isotropy group at x and denote by \(G_0\) the associated group with zero. Then \(G_0\) is a quotient of a corner of \(\varGamma ({\mathscr {G}})\). Conversely, if \({\mathscr {G}}\) is any ample groupoid and G is a group such that \(G_0\) is a quotient of a corner of \({\mathscr {G}}\) then G is a quotient of a point stabiliser of \({\mathscr {G}}\).
Proof
Since the orbit space of \({\mathscr {G}}\) is assumed to be \({\mathrm {T}_0}\) and \({\mathscr {G}}\) is second countable, its orbits are locally closed by Proposition 1. Let \(U \subseteq {\mathscr {G}}^{(0)}\) be a compact open neighbourhood of x such that \({\mathscr {G}}x \cap U\) is closed in U and hence compact. Since \({\mathscr {G}}\) is étale, we know that \({\mathscr {G}}x\) is countable so that \({\mathscr {G}}x \cap U\) is actually finite. We may thus shrink U so that \({\mathscr {G}}x \cap U = \{x\}\) holds. Denote by \(p = U \in \varGamma ({\mathscr {G}})\) the idempotent local bisection associated with U. Then the corner of \(\varGamma ({\mathscr {G}})\) can be identified as \(p \varGamma ({\mathscr {G}}) p = \varGamma ({\mathscr {G}}_U)\). Since x is fixed by \({\mathscr {G}}_U\), the restriction from U to \(\{x\}\) induces a quotient of Boolean inverse semigroups \(\varGamma ({\mathscr {G}}_U) \rightarrow \varGamma ({\mathscr {G}}_x) = ({\mathscr {G}}_x)_0\) by Proposition 2.
Let us now assume that \({\mathscr {G}}\) is any ample groupoid, let G be a group and \(p \in \varGamma ({\mathscr {G}})\) an idempotent for which there is a quotient map \(\pi : p\varGamma ({\mathscr {G}})p \twoheadrightarrow G_0\). Denote by \(U \subseteq {\mathscr {G}}^{(0)}\) the compact open subset corresponding to p. Then there is a natural isomorphism \(p \varGamma ({\mathscr {G}}) p \cong \varGamma ({\mathscr {G}}_U)\). Since the algebra of idempotents of \(G_0\) is trivial, \(\pi _{\mathrm {E}(\varGamma ({\mathscr {G}}_U))}\) is a character. By Stone duality there is \(x \in U\) such that \(\pi _{\mathrm {E}(\varGamma ({\mathscr {G}}_U))} = \mathrm {ev}_x\). In particular, \(\{x\} \subseteq U\) is a \({\mathscr {G}}_U\)invariant subset by Lemma 1. So by the universal property of the restriction map described in Proposition 2 the homomorphism \(\pi \) factors through \(\varGamma ({\mathscr {G}}_U) \rightarrow \varGamma ({\mathscr {G}}_x) = ({\mathscr {G}}_x)_0\). So \(G_0\) is a quotient of \(({\mathscr {G}}_x)_0\) which implies that G is a quotient of \({\mathscr {G}}_x\). \(\square \)
Example 2
It might be tempting to admit arbitrary subquotients of \(\varGamma ({\mathscr {G}})\) in the statement of Proposition 6, however this does not even suffice under the condition that the orbit space of \({\mathscr {G}}\) is \({\mathrm {T}_1}\). Indeed, the topological full group of \({\mathscr {G}}\) is always a subgroup of \(\varGamma ({\mathscr {G}})\), and it can be large even if \({\mathscr {G}}\) is effective. For example the topological full group associated with \(B_{\mathrm {T}_1}\) is the group of all finitely supported permutations of \({\mathbb {N}}\).
We next formulate an appropriate version of Proposition 6 for inverse semigroups. Let us start with a short lemma relating quotients of an inverse semigroup and its Booleanisation.
Lemma 2
Let S be an inverse semigroup and \(B(S) \twoheadrightarrow G_0\) a group quotient of its Booleanisation. Then \(S_0 \rightarrow G_0\) is surjective.
Proof
Denote the quotient map \(B(S) \twoheadrightarrow G_0\) by \(\pi \) and let \(g \in G\). Using the description of B(S) presented in Sect. 2.1 there is some preimage \(\sum _i t_i e_i \in B(S)\) of g. Since \(G_0\) has only two idempotents, \(\pi _{E(B(S))}\) is a character. So there is a unique \(i_0\) satisfying \(\pi (e_{i_0}) = 1\). This implies \(\pi (\sum _i t_i e_i) = \pi (t_{i_0})\) showing that \(g \in \pi (S_0)\). \(\square \)
Proposition 7
Let S be a countable inverse semigroup such that the orbit space of \({\mathscr {G}}= {\mathscr {G}}(S)\) is \({\mathrm {T}_0}\). Let \(x \in {\mathscr {G}}^{(0)}\) and write \(G = {\mathscr {G}}\vert _x\). Then the group with zero \(G_0\) is a quotient of a corner of \(S_0\).
Proof
Fix \(x \in {\mathscr {G}}^{(0)}\). Since \({\mathscr {G}}^{(0)}\cong \widehat{E(S)}\), there is \(q \in E(S)\) such that \(x(q) = 1\). Denote by \(U \subseteq {\mathscr {G}}^{(0)}\) the compact open subset corresponding to q. As in the proof of Proposition 6 the fact that orbits of \({\mathscr {G}}\) are locally closed implies that \({\mathscr {G}}x \cap U\) is finite. Fix an enumeration \(x = x_0, x_1, \dotsc , x_n\) of \({\mathscr {G}}x \cap U\). For \(i \in \{1, \dotsc , n\}\) there is \(q_i \in E(S)\) such that \(x_0(q_i) = 1\) and \(x_i(q_i) = 0\). Put \(p = q \cdot q_1 \cdots q_n\) and let \(V \subseteq {\mathscr {G}}^{(0)}\) be the compact open subset corresponding to p. Then the identification of corners of Boolean inverse semigroups says that
Since \(x \in V\) is \({\mathscr {G}}_V\)fixed, there is a quotient map \(\varGamma ({\mathscr {G}}_V) \rightarrow \varGamma ({\mathscr {G}}_x) \cong ({\mathscr {G}}_x)_0\). The identification \(\varGamma ({\mathscr {G}}_V) \cong B(pSp)\) shows that there is a surjection \(B(pSp) \rightarrow ({\mathscr {G}}_x)_0\). By Lemma 2 its restriction \(p S_0 p \cong (pSp)_0 \rightarrow ({\mathscr {G}}_x)_0\) remains surjective. \(\square \)
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 \({\mathscr {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 \({\mathscr {G}}\) is CCR if and only if all its isotropy groups are virtually abelian and its orbit space is \({\mathrm {T}_1}\). We can thus combine Proposition 6 and Proposition 4 to complete our proof. \(\square \)
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. \(\square \)
Proof of Theorem 3
Since S has meets, it follows that \({\mathscr {G}}(S)\) is Hausdorff. So replacing the reference to Proposition 6 by Proposition 7, and alluding to the fact that \(\varGamma ({\mathscr {G}}(S)) \cong B(S)\) the proof of Theorem 1 applies. \(\square \)
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. \(\square \)
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 \({\mathscr {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 0simplifying 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.
Notes
Corners are operator algebraic terminology, while semigroup theory knows them as local submonoids.
In semigroup theory subquotients are called divisors.
References
Armstrong, B., Clark, L.O., an Huef, A., Jones, M., Lin, Y.F.: Filtering germs: groupoids associated to inverse semigroups. Exp. Math. (2021). https://doi.org/10.1016/j.exmath.2021.07.001
Bekka, B.: The Plancherel formula for countable groups. Indag. Math. 32(3), 619–638 (2021). https://doi.org/10.1016/j.indag.2021.01.002
Bekka, B., Echterhoff, S.: On unitary representations of algebraic groups over local fields. Repr. Theory 25, 508–526 (2021). https://doi.org/10.1090/ert/574
Bernstein, I.N.: All reductive \(p\)adic groups are tame. Funct. Anal. Appl. 8(2), 91–93 (1974). https://doi.org/10.1007/BF01078592
Ciobotaru, C.: A note on type I groups acting on dregular trees, (2015)
Clark, L.O.: CCR and GCR groupoid C\(^*\)algebras. Ind. Univ. Math. J. 56(5), 2087–2110 (2007)
Dixmier, J.: Sur les représentations unitaires des groupes de Lie algébriques. Ann. Inst. Fourier 7, 315–328 (1957). https://doi.org/10.5802/aif.73
Exel, R.: Tight representations of semilattices and inverse semigroups. Semigroup Forum 79, 159–182 (2009). https://doi.org/10.1007/s002330099165x
HarishChandra: Representations of a semisimple Lie group on a Banach space. I. Trans. Am. Math. Soc. 75, 185–243 (1953)
Houdayer, C., Raum, S.: Locally compact groups acting on trees, the type I conjecture and nonamenable von Neumann algebras. Comm. Math. Helv. 94(1), 185–219 (2019). https://doi.org/10.4171/CMH/458
Kumjian, A.: On localizations and simple C\(^*\)algebras. Pac. J. Math. 112(1), 141–192 (1984). https://doi.org/10.2140/pjm.1984.112.141
Lawson, M.V.: Inverse Semigroups. The Theory of Partial Symmetries. World Scientific, Singapore (1998). https://doi.org/10.1142/3645
Lawson, M.V.: A noncommutative generalization of Stone duality. J. Aust. Math. Soc. 88(3), 385–404 (2010). https://doi.org/10.1017/s1446788710000145
Lawson, M.V.: Noncommutative Stone duality: inverse semigroups, topological groupoids and C\(^*\)algebras. Int. J. Algebra Comput. 22(6), 47p (2012). https://doi.org/10.1142/s0218196712500580
Lawson, M.V.: The Booleanization of an inverse semigroup. Semigroup Forum 100, 283–314 (2020). https://doi.org/10.1007/s00233019100718
Lawson, M.V.: Recent developments in inverse semigroup theory. Semigroup Forum 100(1), 103–118 (2020). https://doi.org/10.1007/s00233019100674
Lawson, M.V., Lenz, D.H.: Pseudogroups and their étale groupoids. Adv. Math. 244, 117–170 (2013). https://doi.org/10.1016/j.aim.2013.04.022
Lawson, M.V., Margolis, S.W., Steinberg, B.: The étale groupoid of an inverse semigroup as a groupoid of filters. J. Aust. Math. Soc. 94, 234–256 (2013). https://doi.org/10.1017/S144678871200050X
Lawson, M.V., Vdovina, A.: The universal Boolean inverse semigroup presented by the abstract CuntzKrieger relations. J. Noncommut. Geo. 15(1), 279–304 (2021). https://doi.org/10.4171/JNCG/400
Lenz, D.H.: On an orderbased construction of a topological groupoid from an inverse semigroup. Proc. Edinb. Math. Soc. 51(2), 387–406 (2008). https://doi.org/10.1017/S0013091506000083
Li, X.: Semigroup C\(^*\)algebras. In: KTheory for group C\(^*\)algebras and semigroup C\(^*\)algebras, Oberwolfach Seminars, vol. 47, pp. 167–272. Springer / Birkhäuser, Cham (2017). https://doi.org/10.1007/9783319599151_5
Murphy, G.J.: C\(^*\)algebras and Operator Theory. Academic Press, Boston, MA (1990)
Paterson, A.L.: Groupoids, inverse semigroups, and their operator algebras, Progress in Mathematics, vol. 170. Birkhäuser, Boston, MA (1999). https://doi.org/10.1007/9781461217749
Ramsay, A.: The MackeyGlimm dichotomy for foliations and other Polish groupoids. J. Funct. Anal. 94(2), 358–374 (1990). https://doi.org/10.1016/00221236(90)90018G
Renault, J.: A Groupoid Approach to C\(^*\)algebras. Lecture Notes in Mathematics, vol. 793. Springer, Berlin (1980)
Resende, P.: Étale groupoids and their quantales. Adv. Math. 208(1), 147–209 (2007). https://doi.org/10.1016/j.aim.2006.02.004
Smith, M.: Regular representations of discrete groups. J. Func. Anal. 11(4), 401–406 (1972). https://doi.org/10.1016/00221236(72)900626
Steinberg, B., Szakács, N.: Simplicity of inverse semigroup and étale groupoid algebras. Adv. Math. (2021). https://doi.org/10.1016/j.aim.2021.107611
Thoma, E.: Eine Charakterisierung diskreter Gruppen vom Typ I. Invent. Math. 6, 190–196 (1968). https://doi.org/10.1007/BF01404824
van Wyk, D.W.: The orbit spaces of groupoids whose C\(^*\)algebras are GCR. J. Oper. Theory 80(1), 167–185 (2018). https://doi.org/10.7900/jot.2017sep11.2185
van Wyk, D.W.: The orbit spaces of groupoids whose C\(^*\)algebras are CCR. J. Math. Anal. Appl. 478(1), 304–319 (2019). https://doi.org/10.1016/j.jmaa.2019.05.034
Acknowledgements
S.R. would like to thank Piotr Nowak and Adam Skalski for their hospitality during the authors stay at IM PAN in autumn 2020. G.F. would like to thank Piotr Nowak for the hospitality and financial support during his visit to IM PAN in autumn 2020. We thank Mark Lawson for helpful comments on semigroup terminology and the anonymous referee for pointing out the relevance of inverse semigroups with meets and for useful suggestions improving the presentation of this article.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Mark V. Lawson.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
G.F. and S.R. were supported by the Swedish Research Council through grant number 201804243. S.R. was supported by the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement no. 677120INDEX)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Favre, G., Raum, S. An algebraic characterisation of ample type I groupoids. Semigroup Forum 104, 58–71 (2022). https://doi.org/10.1007/s00233021102417
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00233021102417
Keywords
 Inverse semigroup
 Ample groupoid
 Noncommutative stone duality
 CCR
 Type I