Hausdorff Tight Groupoids Generalised

We extend Exel's ample tight groupoid construction to general locally compact \'etale groupoids in the Hausdorff case. Moreover, we show how inverse semigroups are represented in this way as 'pseudobases' of open bisections, thus yielding a duality which encompasses various extensions of the classic Stone duality.


Introduction
Motivation. Exel's original tight groupoid construction in [Exe08] produces an ample (i.e. totally disconnectedétale) groupoid from an inverse semigroup. Since then, this general construction has proved extremely successful in producing groupoid models for a vast array of C*-algebras. The only caveat here is that C*-algebras coming from ample groupoids inevitably have plenty of projections. Our ultimate goal is to produce combinatorial groupoid models even for projectionless C*algebras which means we must first find a non-ample generalisation of the tight groupoid construction.
Remark . This task seems all the more urgent given that projectionless C*-algebras like the Jiang-Su and Jacelon-Razak algebras have come to the fore in other contexts, namely the classification program for C*-algebras. Whether these C*-algebras have any groupoid models at all was only resolved recently in [DPS16] and [AM18]. The hope would be that an even better picture of these C*-algebras could be provided by more combinatorial groupoid models obtained from a generalised tight groupoid construction. One might even hope that important C*-algebra properties (e.g. strong self-absorption) could be detected at the inverse semigroup level.
Outline. In Exel's original tight groupoid construction, the elements of the inverse semigroup get represented as compact open bisections in the resulting groupoid. To produce more general (potentially non-ample) groupoids we should of course take the inverse semigroup elements to represent more general (potentially non-compact) open bisections. However, we still require some information about compactness in order to produce locally compact groupoids.
As in domain theory, the key idea is to obtain this information from a (potentially non-reflexive) relation ≺ representing 'compact containment'. In compact Hausdorff spaces, this is the same as 'closed containment', so in this case p ≺ q represents p ⊆ q.
Remark . We will define several other abstract relations but, as above, in order to provide some intuition, we will say what each relation informally 'represents' for subsets of compact Hausdorff spaces.
At first we put the inverse semigroup structure to one side and focus just on the relation ≺. In §1, we take ≺ to be a binary relation on an arbitrary set P , from which we define cover relations D and C. We then consider centred subsets and finish with a selection principle extending König's Lemma in Lemma 1.17.
In §2, we move on to the topological part of our construction. With just the single weak interpolation assumption in (Shrinking), we are able to show that the tight spectrum always produces a locally compact space in Corollary 2.28. Moreover, this yields a duality between abstract and concrete 'pseudobases' of locally compact Hausdorff spaces, as we show in Proposition 2.44 and Theorem 2.45.
In §3, we extend this to inverse semigroups, showing how the the algebraic structure passes to the topological space. This yields a duality between pseudobasic inverse semigroups andétale pseudobases of locally compact Hausdorffétale groupoids, as shown in Theorem 3.23 and Proposition 3.26.
Background. We have taken inspiration from a number sources, notably domain theory (see [GHK + 03] and [GL13]), set theory (see [Kun11]), point-free topology (see [PP12]) and its non-commutative generalisations (see [Res07], [LL13] and [KL17]). We also discovered that the earlier parts of our theory were developed independently in some of Exel's unpublished notes, namely [Exe12a] and [Exe12b] (kindly provided to us by the author after presenting our work at the UFSC Operator Algebra Seminar in August 2018), as we mention at relevant points below.
Probably the best way of putting our construction in context is to view it as a generalisation of various Stone type dualities, as summarised in the diagram below. Note each duality is connected above to all those dualities it generalises and is expressed in the following form: Author (Year) [Paper] Abstract Structure Concrete (Pseudo)basis Topological Space/Groupoid Remark . Our construction can also be viewed as a generalization of a classical set theoretic construction of a Boolean algebra from a poset (see [Kun11,Lemma III.4.8] and [BS18b,§7]). Specifically, given any poset (P, ≤), the regular open sets in the Alexandroff topology form a Boolean algebra and, moreover, P is dense in the subalgebra it generates, which can then be identified with its (totally disconnected) Stone space. The topological part of our construction extends this from posets (P, ≤) to abstract pseudobases (P, ≺) where ≺ need not be reflexive and the resulting spaces are no longer necessarily totally disconnected.
Acknowledgements. We would like to thank Gilles de Castro and Ruy Exel for some very useful comments and questions (see Remark 2.14 and Example 2.29) after presenting our work at the UFSC operator algebra seminar in August 2018.

Preliminaries
Throughout we assume ≺ is a binary relation on a set P . First let us make some general notational conventions.
We extend ≺ to a binary relation on P(P ) = {Q : Q ⊆ P } by defining Note this convention makes ≺ 'auxiliary' to ⊆ on P(P ), i.e.
This is also the same convention used in [Exe12a,Definition 4.1] and [Len08,§3] (at least for filters, just in reverse). Also note above that we are using the standard convention of writing ≻ for the opposite relation of ≺, i.e. p ≻ q means q ≺ p. For subsets, however, R ≻ Q is not the same as Q ≺ R -the former means R ⊆ Q ≺ while the latter means Q ⊆ R ≻ .
Definition 1.2. We define the relations D and C on P(P ) by Essentially the same relations appear in [Exe12a,Definition 4.2]. Note that we again immediately obtain the following auxiliarity properties.
Also note the dense cover relation D can be expressed more concisely by (For more precise statements, see Corollary 2.24, Corollary 2.27, (2.16) and (2.17)). Note here it is important that we consider the elements of P to represent nonempty sets, i.e. P will not have a minimum 0 (i.e. satisfying 0 ≺ = P ) except in trivial cases. Indeed, in §3 when we consider an inverse semigroup S with 0, we will take P = S \ {0}. However, P(P ) certainly has a minimum with respect to ⊆, namely the empty set ∅, which we immediately see is also a minimum with respect to ≺, D and C on P(P ), i.e. ∅ ≺ Q, ∅ D Q and ∅ C Q, for all Q ⊆ P . Remark 1.3. Alternatively, one could assume that P always has a minimum 0 and then modify the definitions of D and C accordingly. However, we would then have to say 'non-zero' all the time, e.g. 'for all non-zero p...' or 'there exists non-zero p...', which can get somewhat tiresome.
Remark 1.4. In the classical case when ≺ is a preorder ≤, D is essentially the same as the Lenz arrow relation in [Law12], originally from [Len08]. Equivalently, Q D R is saying that R is an 'outer cover' of Q ≥ in sense of [EP16]. There is also another more topological description of D, which provides extra motivation for calling it the 'dense cover relation' (in fact the 'dense' terminology is already used for singleton sets in [Exe08, Definition 11.10]). Specifically, Q D R means that Q ≥ ∩ R ≥ is dense in Q ≥ in the Alexandroff topology, where the open sets are precisely the lower sets. Also, if R ≤ Q then, in set theoretic terminology, Q D R means 'R is predense in Proposition 1.5. If ≺ is transitive on P , D and C are transitive on P(P ) and the middle ⊆ following from R ⊆ S ≻ and the last ⊆ following from transitivity of ≺ on P . Thus ≺ is transitive on P(P ) and hence D is transitive, by (1.3). ( C is also transitive. Finally note that if Q D R then, for all q ≺ Q, we have r ≺ q ≺ Q with r ≺ R. By transitivity, r ≺ Q so we can further take r ′ ≺ r (with r ′ ≺ R), so r ′ ≺ q and r ′ ∈ R ≻≻ , i.e. Q D R implies Q D R ≻ . (1.5) Assume Q ≻ ≻ Q ′≻ and R ≻ ≻ R ′≻ . For any p ∈ Q ≻ ∩ R ≻ , we have p ′ ≺ p with p ′ ≺ Q ′ , as Q ≻ ≻ Q ′≻ . Then p ′ ≺ p ≺ R so p ′ ≺ R, by the transitivity of ≺, and hence we have 1.2. Round Subsets. Other properties of C and D require an extra assumption.
Definition 1.6. We call R ⊆ P round if R ≻ R, i.e.
Equivalently, R ⊆ P is round if iff R has no strictly minimal elements (where r ∈ R is strictly minimal if q ≺ r, for any q ∈ R). The 'round' terminology is common when talking about ideals, for example, in domain theory -see [GL13, Proposition 5.1.33] or [GHK + 03, Proposition III-4.3]. As long as P itself is round, P D P and ∅ is the only (non-strict) minimum for D and C.
Proposition 1.7. Consider the following statements.
Proposition 1.8. If P is round and ≺ is transitive then 1.3. Centred Subsets. Definition 1.9. We define the formal meet Q of any Q ⊆ P by The term 'centred' comes from [Kun11, Definition III.3.23]. It will be convenient to also define centred versions of the relations we have considered so far.
Definition 1.10. For any relation ⊏ on P(P ), we define a centred version ⊏ by We are particularly interested in the centred compact cover relation C, which is related to the centred dense cover relation D as before, i.e.
We also have the following auxiliarity property (note the first relation is ⊇ not ⊆) at least when Q = ∅ (while ∅ C R means ∅ = P C R). Also, by (1.10), at least when P is round. If Q is round then Q C R also can be interpreted topologically as saying that the intersection of the sets represented by Q (or their compact closures) are covered by R, i.e.
Lemma 1.11. If ≺ is transitive and F is finite then Proof. Assume we have finite G ⊆ Q with G D F and, for all f ∈ F , we have By (1.10), we can apply this result with R = ∅ to obtain the following corollary (note here that P has to be round, otherwise we could potentially have F = ∅).
Corollary 1.12. If P is round, ≺ is transitive and F is finite then The ⇐ part is saying U is upwards closed while the ⇒ part is saying U is downwards directed. In contrast to Exel's construction, our tight subsets need not be filters, at least in the usual sense. However, they will satisfy the following weaker condition.
Definition 1.13. We call U ⊆ P a Frink filter if The ⇐ part of (Frink Filter) can be stated more explicitly by saying u ∈ U whenever u is above some upper bound w for a formal meet F , where F is a finite subset of U . In particular, taking singleton F , we see that Likewise, the ⇒ part of (Frink Filter) is immediate if U is round because then, for any u ∈ U , we have w ≺ u with w ∈ U and w = w ≻ ≺ w. Conversely, if P satisfies (Interpolation), U is a Frink filter ⇒ U is round.
Indeed, u ∈ U implies U ≺ w ≺ u, for some w, and (Interpolation) then yields v with w ≺ v ≺ u. Thus v ∈ U , by the ⇐ part of (Frink Filter).
If P is round then, for every p ∈ P , we have q ∈ P with (∅ ≺)q ≺ p and hence P is the only possible non-centred Frink filter. Indeed, as long as P itself is not centred (which will be true except in trivial cases -see Proposition 2.8 (1) below), U is a centred Frink filter ⇔ U is a proper (i.e. = P ) Frink filter.
U is a filter. To see why Frink filters might be more natural for general posets, it is instructive to consider Exel's original motivation for introducing tight filters. First note that when B is a Boolean algebra, the ultrafilters(=maximal proper filters) are closed in P(B) when we identify each subset of B with its characteristic function in {0, 1} B (with its usual product topology). Exel observed that ultrafilters are no longer closed when B is an arbitrary ∧-semilattice.
To obtain a compact space, one therefore needs to consider the closure of the ultrafilters, i.e. the tight filters. But when B is an arbitrary poset, even the filters may not be closed and this is why one must consider more general Frink filters. So as we get more general, this shift can be represented as In fact, our tight subsets will automatically be Frink filters -see Proposition 2.5.
Definition 1.15. We define the disjoint relation ⊥ on P(P ) by We also define Q ⊥ = {p ∈ P : Q ⊥ p} so that we always have Q ⊥ Q ⊥ and As the the name suggests, again thinking of the elements of P as open subsets, Also D could have equivalently been defined from ⊥ as Moreover, just as D is auxiliary to ⊆ -see (1.1) -⊥ is auxiliary to D.
Proposition 1.16. If ≺ is transitive then Proof. If we had Q ⊥ R, then we would have q ∈ Q ≻ ∩ R ≻ . Then Q D Q ′ would yield q ′ ≺ q with q ′ ≺ Q ′ and hence q ′ ∈ Q ′≻ ∩ R ≻ , i.e. Q ′ ⊥ R.
1.6. A Selection Principle. Later we will need the following selection principle to obtain an certain subset from a family of finite subsets (in fact, for the most part a weaker version which could be derived from König's lemma would suffice, but the full strength version will be required once in the proof of Theorem 2.26 below). Roughly speaking, (1) ∆ represents the finite families of open sets with non-empty intersection.
(2) Γ represents a round collection of finite families whose unions have the FIP (i.e. finite subsets have non-empty intersection).
The goal is to select one open set in each family in Γ in a coherent way so that the chosen sets still form round subset with the finite intersection property.
Lemma 1.17. Say ∆ and Γ are collections of finite subsets of P such that Proof. First we prove some basic facts about Γ. To start with, say we had F ∈ Γ and G ′ ⊆ G ∈ Γ such that We claim that we can remove G ′ from G, i.e. replace G with G \ G ′ , without destroying the ∆-centred property of Γ. To see this, take any finite Φ ⊆ Γ. As Γ is ∆-centred, we have some D ∈ ∆ such that D ∩ F = ∅ = D ∩ H, for all H ∈ Φ. As F ≺ G \ G ′ , we have some g ∈ G \ G ′ with g ≻ D ∩ F . Thus D ∪ {g} ∈ ∆, by (≻-Closed), and (D ∪ {g}) ∩ (G \ G ′ ) ⊇ {g} = ∅ as well. As Φ was arbitrary, this proves the claim.
Next, take disjoint subsets F + , F − ⊆ F ∈ Γ. We claim that we can remove at least one of these subsets from F again without destroying the ∆-centred property of Γ. If not then we could find finite Φ + ⊆ Γ and Φ − ⊆ Γ such that Φ + ∪ {F \ F + } and Φ − ∪ {F \ F − } are not ∆-centred. This means that, for any D ∈ ∆ such that Now take another G ∈ Γ with G ≺ F and set , it follows that G + and G − are also disjoint. Also note that G + and G − are the smallest subsets of G such that Thus if we can remove G + from G without destroying the ∆-centred property of Γ, we can also remove F + from F , by what we proved above (and likewise for G − ).
With these basic properties out of the way, let us now index Γ by some set Λ, i.e. let Γ be (F λ ) λ∈Λ . As Γ is ≺-round, we also have a function θ on Λ such that We claim that any decreasing (potentially transfinite) sequence in Θ λ To see this, note that for each λ, G λ and G θ(λ) are finite so there must be some α with Thus, by the Kuratowski-Zorn lemma, we have some minimal (G λ ) λ∈Λ below the given (F λ ) λ∈Λ . As (G λ ) λ∈Λ is ∆-centred, each G λ is non-empty. In fact, we claim that each G λ must be a singleton. If not then some G γ has disjoint non-empty subsets G + γ and G − γ . Let θ 0 (γ) = γ and θ n+1 (γ) = θ(θ n (γ)) and, for * = + or −, recursively define As noted above, G + θ n (γ) and G − θ n (γ) are disjoint and (1.13) then we can also remove G * θ n (γ) from G θ n (γ) , without destroying the ∆-centred property of Γ. But for each n, we must be able to remove G * θ n (γ) from G θ n (γ) for either * = + or −. Thus for either * = + or −, we can in fact remove G * θ n (γ) from G θ n (γ) for all n. Then the resulting (G ′ λ ) λ∈Λ will not only remain ∆-centred but also still satisfy G ′ θ(λ) ≺ G ′ θ , by (1.13). But this means (G ′ λ ) λ∈Λ is in Θ Λ , even though it is strictly below (G λ ), contradicting the minimality of (G λ ) λ∈Λ . So each G λ must have been a singleton, proving the claim.

Pseudobases
2.1. The Shrinking Condition. From now on we will focus on transitive relations ≺ that make P round. However, there is one more condition that we need to be able to define general locally compact Hausdorff spaces from (P, ≺). Specifically, we need a condition which represents the ability to 'shrink' a cover to another cover, each element of which is compactly contained in some element of the original cover.
Definition 2.1. (P, ≺) is an abstract pseudobasis if P is round, ≺ is transitive and More explicitly, this condition is saying This makes it clear that (Shrinking) is a kind of weak interpolation condition.
Remark 2.2. By (1.12), (Shrinking) weakens the more standard interpolation condition considered in domain theory (see [GHK + 03, Definition I-1.17]) given by In [Exe12a, Definition 2.1 (v)] and [Exe12b, Definition 1.2 (v)], (Interpolation) is also considered as a kind of regularity/normality condition. In particular, any poset becomes an abstract pseudobasis when we take ≺ = ≤, as reflexive relations are trivially round and satisfy (Interpolation). However, it would seem that (Shrinking) is more appropriate for our work than (Interpolation), as (Shrinking) applies to arbitrary (pseudo)bases of locally compact Hausdorff spaces, even when they are not closed under taking finite unions. The extra freedom coming from (Shrinking) will also be convenient for constructing specific examples. In any case, (Shrinking) suffices to guarantee that we have a large supply of tight subsets, as we will soon see.
First we note (Shrinking) extends to C, allowing us to replace D with C in (1.4).
Proof. First note that, for all finite F ⊆ P , (Shrinking) and (1.7) yields Thus if R C Q, i.e. R D F ≺ Q, for some finite F ⊆ P , then R D F C Q ≻ and hence R C Q ≻ , by (1.4).

Tight Subsets.
From now on we assume (P, ≺) is an abstract pseudobasis. Again recall that we are thinking of elements of P as open subsets of a topological space. It should then be possible to recover the points of the space from their open neighbourhoods. The key thing to note here is that no neighborhood of a point x can be covered by subsets which do not contain x. Moreover, in locally compact spaces every neighborhood of x compactly contains a smaller neighbourhood of x. Thus the neighbourhoods of x in P are 'tight' in the following sense.
So T is tight iff T is round and, for all finite F, G ⊆ P , In particular, any tight T is upwards closed and thus T = T ≺ , as T is also round.
Remark 2.6. If (P, ≺) = (S \ {0}, ≤), for some ∧-semilattice S with minimum 0, then every tight subset is a filter, by Remark 1.14 and Proposition 2.5. In this case, our tight subsets are precisely the tight filters defined in [EP16]. This becomes clear from the following general characterisation of tight subsets, as (Tight ′ ) below extends [EP16, (2.10)].
Proposition 2.7. If T = P then T is tight iff either of the following holds.
Proof. If T is round then, for any t ∈ T , we have s ∈ T with s ≺ t and hence , as the latter is just the former restricted to singleton H. Now say T satisfies (Tight). For any t ∈ T , we have finite Then H ⊆ P \ T would imply G ∪ I ≺ P \ T and hence T = P , by (Tight), contradicting our assumption. Thus H ∩ T = ∅, which shows that T is round.
Still assuming T satisfies (Tight), say we had T C P \ T , which means we have finite F ⊆ T and G ≺ P \ T with F D G. Then F ∩ G ⊥ = ∅ C p, for all p ∈ P , so T = P , by (Tight), again contradicting our assumption. Thus T C P \ T , showing that (Tight) does indeed imply that T is tight.
Incidentally, P itself will only be tight in trivial cases. At the other extreme, it is more common for ∅ to be tight, although we will specifically omit ∅ from the tight spectrum considered in the next section (in order to be able to obtain locally compact rather than just compact spaces).
(1) P is tight iff P is centred, in which case P is the only tight subset of P .
(1) By definition, P is tight iff P C ∅. This means F C ∅, for all finite F ⊆ P , which is just saying that P is centred. In particular, this implies P D p and hence P C p, for any p ∈ P . Thus T C P \ T whenever T = P so there can be no other tight subsets.
(2) By definition, ∅ is tight iff ∅ C P , which means ∅ = P C P .
Thus, instead of T = P , we could assume T is centred in Proposition 2.7, i.e.
T is tight ⇔ T is centred and satisfies (Tight).
While round centred subsets need not be tight (or even upwards closed), they always have tight extensions. Indeed, by the Kuratowski-Zorn Lemma, any such subset is contained in one that is maximal among all round centred subsets. By the following result, these subsets will necessarily be tight and, in particular, Frink filters. Thus this result generalizes [Exe08, Proposition 12.7], which says that ultrafilters in ∧-semilattices are necessarily tight.
Proposition 2.9. If U is round and centred then Proof.
(2.2) Any round extension of U must contain some a ≺ P \ U . So if the right side of (2.2) holds then such an extension could not be centred, which implies that U must be maximal. Conversely, say the right side of (2.2) fails, so we have some a ≺ P \ U with F ⊥ a, for all finite F ⊆ U , i.e. U ∪ {a} is centred. By (Shrinking), we have a sequence (F n ) of finite subsets of P such that, for all n, In particular, for all n, a D F n which implies that U ∪ {f } is centred, for some f ∈ F n , by Corollary 1.12 (with Q = U ∪ {a} and F = F n ). Thus we can apply Lemma 1.17, taking (F n ) for Γ and setting to obtain round T such that U ∪ T is centred and T ∩ F n = ∅, for all n (actually F ′ n = {f ∈ F n : U ∪ {f } is centred} defines a finitely branching ω-tree so in this case we could also obtain T from a simple application of König's lemma -see [Kun11, Lemma III.5.6]). Thus U ∪ T ≺ is a round centred subset containing some element of P \ U so U could not have been maximal.
(2.3) We immediately see that (2.3) implies (2.2). Conversely, if (2.2) holds and we are given finite G ≺ P \ U then, for each g ∈ G, we have finite 3) holds and we are given The following result shows that we can even be more selective about our tight extensions. For example, we might want to find a tight extension of some round R but still avoid another given subset S. The following result (in the Q = ∅ case) shows that this can be done as long as R C S.
Remark 2.10. Consequently, this result is essentially an extension of Birkhoff's prime ideal theorem for distributive lattices (see [GHK + 03, Lemma I-3.20]). Indeed, if (P, ≺) = (L \ {0}, ≤), for some separative distributive lattice L with minimum 0, then the tight subsets are precisely the prime filters. In this case, R C S is saying that the filter generated by R is disjoint from the ideal generated by S. Birkhoff's theorem says that R therefore extends to a prime filter disjoint from S. Theorem 2.11. For any Q, R, S ⊆ P , Proof. As Q ∪ T C S depends only on the finite subsets of T , we can apply the Kuratowski-Zorn lemma to obtain maximal round T ⊇ R with Q ∪ T C S. Looking for a contradiction, assume that Q∪T C P \T , which means we have finite F ⊆ Q∪T and G ≺ P \ T with F D G. By (1.12) and (C-Shrinking), we have a sequence (G n ) of finite subsets of P such that and hence F D G n , for all n. Thus for each n, we have g ∈ G n with Q ∪T ∪{g} C S, by Lemma 1.11. Thus we can apply Lemma 1.17, taking (G n ) for Γ and setting Recall our standing assumption that P is an abstract pseudobasis.
Definition 2.12. The tight spectrum T (P ) of P is the set of non-empty tight subsets of P with the topology given by the following basis, for finite F, G ⊆ P .
O G F = {T ∈ T (P ) : F ⊆ T and G C P \ T }. Remark 2.13. If we allowed ∅ to be part of the tight spectrum then we would always obtain compact rather than locally compact spaces. A more serious issue arises for inverse semigroups, where we need to avoid the empty subset to ensure that multiplying tight subsets yields a groupoid operation.
For convenience, we often omit empty sets and write , which of course would be open even if we did not include it in the basis. Also note that (1.7) yields so the given sets are closed under finite intersections and really do form a basis.
Remark 2.14. For anyone familiar with Stone duality or point-free topology, it might be tempting to consider the weaker topology on tight subsets generated just by the sets O f = {T ∈ T (P ) : f ∈ T }. The problem is that, for general abstract pseudobases, the resulting space may not be Hausdorff or even T 1 , although it will still be locally compact and T 0 . A standard way of strengthening such a topology to make it Hausdorff is to consider the patch topology as in Proposition 2.37 below. Indeed, combined with Proposition 2.44, this shows that the resulting patch topology is precisely the topology obtained by adding the sets O g = {T ∈ T (P ) : g C P \ T } to the subbasis. This answers a question posed by Gilles de Castro.
Remark 2.15. Note G C P \ T implies G ⊆ P \ T , but not conversely. That is unless ≺ is reflexive and hence a preorder -then G C P \ T is indeed the same as G ⊆ P \ T and the topology in this case could be viewed as coming from the product topology on the characteristic functions of the tight subsets. Thus when (P, ≺) = (S \ {0}, ≤), for some ∧-semilattice S with minimum 0, our tight spectrum agrees with Exel's original tight spectrum -see [EP16].
Remark 2.16. There is also actually no need for G above to be finite. Indeed, for any Q ⊆ P , the definition of C, (1.4) and (1.12) shows that Q C P \ T is equivalent to Q D G C P \ T , for some finite G.
Now we consider topological properties of the tight spectrum.
Proposition 2.17. The tight spectrum is Hausdorff.
Proof. Take distinct T, U ∈ T (P ). Thus we must have t ∈ T \ U (or vice versa).
Note the above proof used the fact that O s s = ∅. More generally, for any finite F, G ⊆ P , we can characterize when O G F = ∅ as follows.
Proof. Assume G C H and F C H. By (C-Shrinking), we have finite G ′ with G C G ′ ≺ H and hence F D G ′ . This means we have p with F ≻ p ⊥ G ′ . As P is round, we have a sequence p = p 1 ≻ p 2 ≻ . . .. By the Kuratowski-Zorn lemma, this sequence extends to some maximal round centred T , necessarily with F ⊆ T and T ∩ G ′ = ∅. By (2.4), T is tight so T ∈ O G F , proving the 'only if' part.
This has several important corollaries, e.g. we can generalise [Exe08, Theorem 12.9] which says that ultrafilters are dense in the tight spectrum of a ∧-semilattice.
Corollary 2.19. The maximal round centred subsets of P are dense in T (P ).
Proof. Any non-empty open set contains some non-empty O G F . Now just note that the T ∈ O G F in the proof of Proposition 2.18 is a maximal round centred subset. Corollary 2.20. For all p, q ∈ P Proof. If p ⊥ q then no centred set can contain both p and q so O p ∩ O q = ∅. In particular, for any p ∈ P , we have p ⊥ p, as P is round, so (2.7) yields by (1.4), so O G F = ∅, by Proposition 2.18. Conversely, if O G F = ∅ and P is a poset then G itself is a C/D-cover of G so F D G, by Proposition 2.18.
Example 2.22. This no longer holds when P is not a poset. For example, let P = N ∪ {a} and let ≺ be = on N while n ≺ a iff n = 2 and a ≺ a. Then 2 ⊥ a and, in particular, 2 D a even though a has no C-cover and hence O a 2 = ∅. We can now show that D has the desired representation in T (P ).
Proposition 2.23. For any F, Q ⊆ P with F finite, by (2.7). As we also have F ≻ p, this shows that F D Q.
Corollary 2.24. For any Q, R ⊆ P , Proof. Note R D Q iff r D Q, for all r ∈ R. By (2.9), this is the same as saying O r ⊆ q∈Q O q , for all r ∈ R, i.e. r∈R O r ⊆ q∈Q O q .
Next we wish to do the same for C. First we need the following.
Proposition 2.25. For any finite F ⊆ P and T ∈ T (P ), Proof. Assume F is finite and F C Q. Then, for any T ∈ T (P ) \ q∈Q O q , we have To prove that O F is compact, it suffices to show that every subbasic open cover has a finite subcover, by the Alexander subbasis theorem. So assume we have some S ⊆ P and a collection G of finite subsets of P such that no finite subcollection of (O s ) s∈S and (O G ) G∈G covers O F (in particular we must have O F = ∅ and hence F = ∅). We can also assume that G contains some G with G C H, for some finite We immediately see that ∆ satisfies (≻-Closed). Also Γ satisfies (≺-Round), by (C-Shrinking). Moreover, we can assume Γ contains some non-empty H, as mentioned above. To see that (∆-Centred) holds, take finite Φ ⊆ Γ. For each H ∈ Φ, we have G H ∈ G with G H C H. For every finite I ⊆ S, the fact that O F has no finite cover in (O s ) s∈S and (O G ) G∈G yields As this holds for all finite I ⊆ S, we have D ∪ F C S and hence D ∈ ∆. This verifies (∆-Centred), as required.
Applying Lemma 1.17 we obtain R ⊆ P such that H ∩ R = ∅, for all H ∈ Γ, and D ∈ ∆, for all finite D ⊆ R, which means R ∪ F C S. By Theorem 2.11, we have tight T ⊇ R with T ∪ F C P \ T ⊇ S. Thus T = ∅, as Γ = ∅, and T ∈ O F , by (2.10). Moreover T / ∈ s∈S O s , as S ⊆ P \ T , and T / Conversely, assume F C Q. If, moreover, F C P then, by (C-Shrinking), we have a sequence (G n ) of finite subsets of P such that, for all n, F C G n+1 ≺ G n ≺ P.
Using Lemma 1.11 and Lemma 1.17 (or König's lemma), we obtain round R with F ∪ R C Q and R ∩ G n = ∅, for each n. In particular, R = ∅. By Theorem 2.11, we have tight T ⊇ R with F ∪ T C P \ T ⊇ Q. By (2.10), this means T ∈ O F \ q∈Q O q and hence O F ⋐ q∈Q O q .
On the other hand, if F C P then O F is not even compact so O F ⋐ q∈Q O q . To see this, note that (O p ) p∈P ≻ covers the entire tight spectrum, as each T ∈ T (P ) is non-empty and round. However, for any finite G ≺ P , F C P yields F D G so we have f with F ≻ f ⊥ G. By (2.8), we have T ∈ O f ⊆ O F and hence T / ∈ g∈G O g , by (2.7). As G was arbitrary, this shows (O p ) p∈P ≻ has no finite subcover of O F . Corollary 2.27. For any Q, R ⊆ P , Proof. If R C Q then R D F ≺ Q, for some finite F ⊆ P . Then (2.24) yields Recall that a Hausdorff space is locally compact iff each point has a compact neighbourhood (which implies that each point actually has a neighbourhood base of compact sets and is thus consistent with Definition 2.30 below).
Corollary 2.28. The tight spectrum is locally compact.
Proof. Any T ∈ T (P ) is non-empty and round, so we have s, t ∈ T with s ≺ t. By (1.12), s C t so T ∈ O s ⋐ O t , by Theorem 2.26. In particular, T has a compact neighbourhood so, as T was arbitrary, T (P ) is locally compact.
For T (P ) to be locally compact as above, (Shrinking) is crucial, as the following example shows (this answers a question posed by Exel).
Example 2.29. Let P be the collection of all dyadic open intervals in R, i.e. P = {( k 2 n , k+1 2 n ) : k, n ∈ Z}. Considering (P, ⋐), we see that ⋐ is transitive and P is round but (Shrinking) fails so (P, ⋐) is not an abstract pseudobasis. Moreover, T (P ) can be identified with the complement R \ D of the dyadic numbers D ⊆ R. As both D and R \ D are dense in R, all compact subsets of R \ D have empty interior and hence T (P ) ≈ R \ D is not locally compact.
2.4. Patch Topologies. We are primarily concerned with pseudobases (to be introduced in the next section) in locally compact Hausdorff spaces. However, it will be useful to first consider more general pseudosubbases and how they relate to more general stably locally compact T 0 spaces via the patch construction.
First, for any topological space X, let O(X) denote the open subsets of X and let C(X) denote the compact saturated subsets of X, i.e. the compact subsets C ⊆ X that are also intersections of open sets so Note that if X is Hausdorff or even T 1 then arbitrary subsets are saturated so C(X) in this case just consists of arbitrary compact subsets.
Definition 2.30. A topological space X is (1) locally compact if each point has a neighbourhood base of compact sets.
(2) coherent if X is locally compact and C(X) is closed under ∩, i.e.
(3) stably locally compact if X is coherent and, for O ∈ O(X) and C ⊆ C(X) (see [GHK +  In a stably locally compact space X, both C(X) and ⋐ behave like they would in a Hausdorff space. Indeed, in this case C(X) and ⋐ are stable under the patch construction, which makes X Hausdorff, as long as X was originally T 0 .
Specifically, recall that the patch topology of a topological space is the topological join of O(X) and C(X) c , i.e. the topology generated by all open sets and all complements of compact saturated sets (see [GHK + 03, Definition V-5.11] or [GL13, Definition 9.1.26]). We denote X with its patch topology by X patch so Proposition 2.32. If X is a stably locally compact T 0 space then X patch is a locally compact Hausdorff space such that C(X) ⊆ C(X patch ) and, for all O, N ∈ O(X), Proof. First note that the patch topology of any locally compact T 0 space is Hausdorff, by [GL13, Proposition 9.1.12 and Lemma 9.1.31]. For any C, D ∈ C(X), C ∩ D ∈ C(X), as X is coherent. Thus C patch , the patch topology coming from the subspace topology of C, coincides with the subspace topology coming from X patch . By [GL13, Proposition 9.1.27], C patch is compact so C is compact in X patch and hence C ∈ C(X patch ), as X is Hausdorff.
As X is locally compact, every x ∈ X has a neighbourhood in C(X) ⊆ C(X patch ). As X patch is Hausdorff, it follows that X patch is also locally compact. Now take any O, N ∈ O(X). If O ⋐ N in X patch then this remains true in X because any compact subset of X patch is certainly compact in the coarser original topology of X. Conversely, if O ⋐ N in X then we have compact C in X with O ⊆ C ⊆ N . But the saturation of C is also compact, by [GL13,Proposition 4.4.14], and is still contained in the open set N . Thus we may take C ∈ C(X) ⊆ C(X patch ) and hence O ⋐ N in X patch .
Conversely, to produce general stably locally compact T 0 spaces from locally compact Hausdorff spaces, we consider pseudosubbases.
Remark 2.34. Recall that a subbasis S of a space X is a collection of open sets that generates the topology of X, i.e. such that every element of O(X) is a union of finite intersections of elements of S. In particular, every subbasis of a locally compact T 0 space is a pseudosubbasis. Conversely, if X has a pseudosubbasis then X must be both locally compact and T 0 .
Remark 2.35. By (Separating), any pseudosubbasis P must cover all except possibly one point of X, i.e. |X \ P | ≤ 1. Taking F = ∅ in (∩-Point-Round) we see that, for any x ∈ X = ∅, we have finite G ⊆ P with x ∈ G ⋐ X. If X is compact then we can always take G = ∅ too but otherwise G must be non-empty, i.e. if X is not compact then P must truly cover X.
Proposition 2.36. Any pseudosubbasis of a stably locally compact space X is a pseudosubbasis of X patch .
Proof. Immediate because ⋐ is the same on O(X) and O(X patch ), by (2.12).
In particular, any true subbasis of a stably locally compact T 0 space X is a pseudosubbasis of the locally compact Hausdorff space X patch . Conversely, we now show that any pseudosubbasis of a locally compact Hausdorff space generates a stably locally compact T 0 topology from which the original topology can be recovered from the patch construction. Thus we have the following duality: pseudosubbases of locally compact Hausdorff spaces (2.13) subbases of stably locally compact T 0 spaces. Given P ⊆ P(X), let X P denote X with the topology generated by P .
Proposition 2.37. If P is a pseudosubbasis of a locally compact Hausdorff space X then X P is a stably locally compact T 0 space such that X = X patch P .
Proof. First replace P with its closure under finite intersections. Note P is still a pseudosubbasis of X and now also a basis of X P .
We claim that C(X P ) ⊆ C(X). To see this, take any C ∈ C(X P ) and x ∈ X \ C.
For every c ∈ C, we have N ∈ P with c ∈ N ⊆ O. As C is compact in X P , we thus have finite F ⊆ P with C ⊆ F ⊆ O. As x was arbitrary, this shows that C = F ∈Γ F , where Γ is the collection of all finite F ⊆ P with C ⊆ F . Again by compactness in X P and (∩-Point-Round), Γ is ⋐-round (where ⋐ is defined from the original topology of X), i.e. for all F ∈ Γ, we have G ∈ Γ with G ⊆ F ⋑ . As X is Hausdorff this means C = F ∈Γ F = F ∈Γ F , where the closure is taken in X. Thus C is an intersection of compact subsets in the Hausdorff space X so C ∈ C(X).
As in the proof of (2.12), this means that, for any O, N ∈ O(X P ), As stable local compactness can be characterised by ⋐ as in Remark 2.31, and X is certainly stably locally compact (being Hausdorff), it follows that X P is also stably locally compact. By (Separating), X P is also T 0 . Thus X patch P is Hausdorff, by [GL13, Proposition 9.1.12 and Lemma 9.1.31]. As C(X P ) ⊆ C(X), the identity id : X → X patch P is continuous. For any x ∈ X, (∩-Point-Round) yields O, N ∈ P with x ∈ N ⋐ O. As N is compact and X patch P is Hausdorff, id takes closed subsets of N to closed subsets, i.e. id is a homeomorphism on N and hence on N . As N is also open in X patch P , id is a local homeomorphism. But id is clearly bijective and thus a global homeomorphism.
Remark 2.38. There is also an ordering induced on X by P , namely As long as P is a pseudosubbasis of a locally compact Hausdorff space, one can verify that ≤ is closed in X × X and thus turns X into a pospace. Moreover, the open up-sets in X are then precisely the open sets in X P (and ≤ is just the specialisation order in X P ). By (∩-Point-Round), the open up-sets N ↑ x containing any x ∈ X will also be ⋐-round. Thus an alternative way of viewing (2.13) is locally compact pospaces such that each N ↑ x is ⋐-round stably locally compact T 0 spaces. In both cases, P is a (even ∩-closed) pseudosubbasis for X, considered as a discrete space. Moreover, the resulting relational structures (P, ⋐) are immediately seen to be isomorphic, even though the spaces are certainly not homeomorphic, having different numbers of points.
This leads us to consider the following stronger structures. Note (Dense) is the key extra condition distinguishing pseudobases from pseudosubbases.
Definition 2.40. We call P ⊆ O(X) a (concrete) pseudobasis of a space X if Every x ∈ X is contained in some O ∈ P . (Cover) The subsets in P distinguish the points of X.
The neighborhoods in P of any fixed x ∈ X are ⋐-round. Our primary goal in this section is to exhibit a duality between abstract and concrete pseudobases. First, however, we make some general observations.
To begin with, pseudobases are indeed generalisations of bases, at least when X is locally compact and T 0 . Indeed, bases of locally compact spaces satisfy (Point-Round), while bases of T 0 spaces satisfy (Separating) and, by definition, bases of arbitrary spaces satisfy (Cover) and (Dense).
Example 2.41. Consider the one-point compactification X = N ∪ {∞} of N and let P = {{n} : n ∈ N} ∪ {X}. It is immediately verified that P is a pseudobasis but not a basis, as it does not contain a neighbourhood base of the point ∞.
Remark 2.42. Our previous notion of a pseudobasis from [BS18b, Definition 8.2] contained all the above axioms except (Point-Round). Indeed, (Point-Round) holds trivially for the compact pseudobases considered in [BS18b]. One immediate consequence of (Point-Round) worth noting is that ⊆ coincides with the lower order defined from ⋐, i.e. for all O, N ∈ P , We will primarily be concerned with pseudobases of non-empty sets. In this case, we can set N x = {O ∈ P : x ∈ O} and concisely state the pseudobasis axioms as Now for the promised duality between abstract and concrete pseudobases. First we represent abstract pseudobases as concrete pseudobases.
Proposition 2.44. If (P, ≺) is an abstract pseudobasis then (O p ) p∈P is a concrete pseudobasis of T (P ).

Proof.
(Cover) As every T ∈ T (P ) is non-empty, we have some t ∈ T and hence T ∈ O t . (Point-Round) If T ∈ O t then t ∈ T so, as T is round, we have s ∈ T with s ≺ t and hence T ∈ O s ⋐ O t , by (1.12) and Theorem 2.26.
) form a basis for T (P ), this shows that any non-empty open O ⊆ T (P ) contains some O p , which is non-empty by (2.8).
(Separating) If T, U ∈ T (P ) are distinct then we have some t ∈ T \ U or t ∈ U \ T , i.e.
Next we show how concrete pseudobases yield abstract pseudobases. Note the following extends [BS18b,Theorem 8.4] to non-0-dimensional spaces.
Theorem 2.45. If P ∋ ∅ is a pseudobasis of X and we take ≺ = ⋐ then If X is also Hausdorff then P is an abstract pseudobasis with (2.17) If G is Hausdorff and Q ⋐ R then Q is compact and Q ⊆ R.
Thus, for each g ∈ Q, we have O ∈ R with g ∈ O. Then (Point-Round) yields N ∈ P with g ∈ N ⋐ O. As Q is compact we can therefore cover is compact, as a finite union of compact sets, and hence Q ⋐ R. Certainly ⋐ is transitive and P is round, by (Point-Round). Moreover, as above we see that whenever O ⋐ N we can find F with O C F ≺ N , so P also satisfies (Shrinking) and is thus an abstract pseudobasis. Now each T x is non-empty and round by (Cover) and (Point-Round). We claim each T x is also tight. Indeed, for any finite F ⊆ T x and H ≺ P \ T x , note that O ∈ H means O ⋐ N ∋ x, for some N ∈ P , and hence x / ∈ O, as X is Hausdorff. Thus x ∈ F \ H so we have some O ∈ P with O ⋐ F \ H, by (Dense), thus verifying (2.1).
Thus x → T x maps X to T (P ). By (Separating), x → T x is injective. To see that it is also surjective, take T ∈ T (P ) and note that as T is round and P is point-round (so that we can replace N ∈ P \T with N ≺ P \T at the end). As T is tight, this last collection of sets has the finite intersection property. As it also consists of compact closed subsets, the entire intersection must also be non-empty and hence x ∈ C, for some x ∈ G. By the definition of Then we immediately see that x → T x is a homeomorphism with respect to the topologies on X and T (P ) generated by P and (O p ) p∈P respectively. Thus x → T x is also a homeomorphism with respect to the corresponding patch topologies, which are just the original topologies of X and T (P ), by Proposition 2.37 and Proposition 2.44.
In summary, a concrete pseudobasis of a locally compact Hausdorff space always yields an abstract pseudobasis. Moreover, if we represent this abstract pseudobasis as a concrete pseudobasis of its tight spectrum, we recover the original pseudobasis.
However, if we represent a given abstract pseudobasis (P, ≺) as a concrete pseudobasis ((O p ) p∈P , ⋐) then we lose ≺, as ⋐ corresponds instead to the weaker relation C on P . We could even have O p = O q for distinct p, q ∈ P . If we want a true duality then we should really restrict to the abstract pseudobases with ≺ = C on P . More explicitly, these are the separative pseudobases, i.e. satisfying Thus the duality we obtain can be represented as separative abstract pseudobases ↔ pseudobases of Hausdorff spaces.
Remark 2.46. When ≺ is reflexive it suffices to consider F = q in (Separative), in which case this reduces to the usual notion of a separative poset (see [Kun11,Definition III.4.10]) and (P, C) is the separative quotient of (P, ≺). In general, if (P, ≺) is an abstract pseudobasis then (P, C) is again an abstract pseudobasis, which can be seen by going through the representation above or more directly using the basic properties in Proposition 1.5.

Inverse Semigroups
Next we examine what happens when our abstract pseudobases have some extra inverse semigroup structure. In this case, each tight subset will be a coset which will naturally give the tight spectrum an extraétale groupoid structure. First, however, we need some general results about inverse semigroups and their cosets.
Recall that an inverse semigroup (see [Law98]) is a semigroup S in which every s ∈ S has a unique generalised inverse s −1 , i.e. satisfying ss −1 s = s and s −1 ss −1 = s −1 .
Actually, uniqueness here is equivalently to saying that the idempotents E = {s ∈ S : s = s 2 } = {s −1 s : s ∈ S} = {ss −1 : s ∈ S} always commute. The canonical partial order ≤ on S is given by Also, a zero in S is a (necessarily unique) element 0 ∈ S such that Note this implies 0 ∈ E and S ≥ 0.

Cosets.
Throughout this section we assume S is an inverse semigroup.
As s = ss −1 s, for all s ∈ S, for C to be a coset it suffices that Moreover, even if C just satisfies CC −1 C ⊆ C ≤ , we can still obtain a coset by taking the upwards closure, as Proposition 3.2. For any non-empty T, U, C ⊆ S, if C is a coset then Conversely, if T −1 U C ⊆ C( = ∅ and T = ∅) then Thus the same applies to (T C) ≤ and hence (T C) ≤ is a coset.
On the other hand, if C = (CC −1 ) ≤ then cc −1 ∈ C ∩ E, for any c ∈ C.
In [LMS13, §3.1] the cosets are considered as an inverse semigroup with the product C ⊗ D defined to be the coset generated by CD. In particular, we always have (CD) ≤ ⊆ C ⊗ D. In the cases we are interested in, equality will even hold here. Indeed, by Proposition 3.3 with T = C −1 , we always have by (3.1), and hence (CD) ≤ = (cD) ≤ is a coset, again by Proposition 3.3.
As with any inverse semigroup, this restricted product yields a groupoid (see [Law98, §3.1]), i.e. a set G with an inverse operation and partial product operation making G a small category in which all morphisms are isomorphisms.
Definition 3.5. The coset groupoid of S is the set of cosets of S with operations C → C −1 and (Inverse) 3.2. Ordered Inverse Semigroups. We will be interested inverse semigroups with an extra (possibly non-reflexive) order relation ≺ which behaves well with respect to the inverse semigroup structure.
Definition 3.6. An ordered inverse semigroup is an inverse semigroup S together with a transitive left auxiliary relation ≺ ⊆ ≤ preserving products and inverses, i.e.
Remark 3.7. Any inverse semigroup S becomes an ordered inverse semigroup when we take ≺ = ≤. The point is that there may be many other strictly stronger relations ≺ which make S an ordered inverse semigroup.
One immediate consequence is the following auxiliary-product property.
Proposition 3.8. If r −1 r ≤ ss −1 and s ≺ S in an ordered inverse semigroup S, Proof. Take t ∈ S with s ≺ t and hence s ≤ t. By (Multiplicative), Proposition 3.9. Every Frink filter T in an ordered inverse semigroup is a coset.
Proof. To see that T = T ≤ , note that if u ≥ t ∈ T then, as T is a Frink filter, we have w ∈ P and finite F ⊆ T with F ≺ w ≺ t ≤ u. As ≺ is auxiliary to ≤, this yields F ≺ w ≺ u and hence u ∈ T , as T is a Frink filter.
To see that T = T T −1 T , again note that, for any a, b, c ∈ T , we have a ′ , b ′ , c ′ ∈ P and finite F, G, H ⊆ T with F ≺ a ′ ≺ a, G ≺ b ′ ≺ b and H ≺ c ′ ≺ c. For any d ∈ I, where I = F ∪ G ∪ H, (Multiplicative) and (Invertive) yields For the rest of this section we assume that (S, ≺) is an ordered inverse semigroup with zero and P = S \ {0} is round.
Remark 3.10. If ≺ is not just left but also right auxiliary, i.e.
then, as P is round, for any p ∈ P , we have p ′ ∈ P with 0 ≤ p ′ ≺ p and hence 0 ≺ p. As long as we also have some p, q ∈ P with pq = 0 then (Multiplicative) yields 0 = 00 ≺ pq = 0 too. So in this case 0 is not just a ≤-minimum but also a ≺-minimum (which is moreover unique, as ≺ ⊆ ≤).
We define D, C and ⊥ on P from ≺ exactly as before. For convenience, we extend these relations to S by simply ignoring 0, e.g. for Q, R ⊆ S, First we note that ⊥ and D can equivalently be defined from ≤ rather than ≺.
(3.5) If Q D Q ′ and R D R ′ then QR D Q ′ R D Q ′ R ′ , by (3.4) and (1.6) (or rather an extension of (1.6) to infinite unions). (3.6) If Q C Q ′ and R C R ′ then Q D F ≺ Q ′ and R D G ≺ R ′ , for some finite F, G ⊆ S, and hence QR D F G ≺ Q ′ R ′ , by (3.5) and (Multiplicative).
Proposition 3.14. If s ≺ S and ss −1 ∈ (T −1 T ) ≤ then Proof. If T is tight then T is a round Frink filter and hence a coset, by Proposition 3.9. Also, for any t ∈ T , (3.1) yields tss −1 ∈ T ss −1 ⊆ T . As T is round, we have u ∈ T with u ≺ tss −1 and then (3.2) yields us ≺ tss −1 s = ts. This shows that T s is round and hence so is (T s) ≤ , by (Left Auxiliary). Now we need to show that (T s) ≤ C S \ (T s) ≤ . For this it suffices to show that So take finite F ⊆ T s with F C H. Then (3.2) yields F s −1 = F s −1 C Hr −1 , for any r ≻ s, by (1.12) and (3.6). As T is tight and F s −1 ⊆ T ss −1 ⊆ T , we have h ∈ H with hr −1 ∈ T . Thus h ≥ hr −1 r ≥ hr −1 s ∈ T s so H ∩ (T s) ≤ = ∅.
Corollary 3.15. T (P ) is a subgroupoid of the coset groupoid of S.
Proof. Take any T, U ∈ T (P ) with (T −1 T ) ≤ = (U U −1 ) ≤ . As U is round, we have u ∈ U with u ≺ U ⊆ S. Thus (T U ) ≤ = (T u) ≤ ∈ T (P ), by (3.1) and (3.7). Thus T (P ) is closed under the restricted product. By (Invertive), T (P ) is also immediately seen to be closed under taking inverses.
Definition 3.16. We call T (P ) the tight groupoid of S.

3.3.Étale
Groupoids. Recall that anétale groupoid G is a groupoid together with a topology that behaves well with respect to the groupoid operations, specifically g → g −1 g is a local homeomorphism and (g, h) → gh and g → g −1 are continuous.
However, we will use an equivalent more algebraic definition. First let Anétale (pseudo)(sub)basis is a (pseudo)(sub)basis that is also anétale family.
Proposition 3.18. G is anétale groupoid if and only if G has anétale subbasis.
Proof. By [BS18a, Proposition 6.6], G isétale if and only if G has anétale basis.
To show that anétale subbasis suffices, one only has to note that the pointwise product preserves intersections of bisections, i.e. for any A, B ⊆ B(G). This follows from the fact that, for any B ∈ B(G) and A ⊆ P(G), In Hausdorff groupoids evenétale pseudosubbases suffice, as we now show.
Proposition 3.19. If G is a coherentétale groupoid then G patch is alsoétale.
Proof. First note saturated subsets are closed under taking products (even in an arbitraryétale groupoid). Indeed, as OB(G) covers G, for any Q, R ⊆ O(G), Next we claim that products of compact saturated subsets are again compact. To see this, take C, D ∈ C(G). For each c ∈ C, we have O, N ∈ OB(G) with c ∈ O ⋐ N , as OB(G) covers G and G is locally compact. As C is compact, we can cover it with finitely many such O. This yields a finite F ⊆ C(G) ∩ OB(G) ⋑ with C ⊆ F , i.e. each C ′ ∈ F is compact, saturated and contained in some open bisection. As G is coherent, C ′ ∩ C ∈ C(G), for all C ′ ∈ F , and C = C ′ ∈F C ′ ∩ C. The same applies to D and thus CD can be expressed as a finite union of products of compact saturated subsets, each of which is contained in some open bisection. As C(G) is closed under finite unions, it suffices to consider the case that C and D are already contained in open bisections O and N respectively. Now consider the maps s(g) = g −1 g and r(g) = gg −1 restricted to O and N respectively, which are homeomorphisms. In particular, as they are continuous, C −1 C and DD −1 are compact and also saturated, as mentioned above. As G is coherent, the same applies to their intersection, i.e. E = C −1 C ∩ DD −1 ∈ C(G). Now p(g) = s −1 (g)r −1 (g) restricted to O −1 O ∩ N N −1 is also a homeomorphism and hence CD = p[E] is also compact and saturated, i.e. CD ∈ C(G), as required.
Lastly, note that G patch has a basis of elements of the form O \ C where O ∈ O(G) ∩ OB(G) ⋑ and C ∈ C(G), so each O is open and contained in some compact bisection B O . But then, for any such O \ C and N \ D, As C(G) is closed under products, this shows that our basis is closed under products too, and it is immediately seen to be closed under inverses as well.
Corollary 3.20. If G is Hausdorff with anétale pseudosubbasis P then G isétale.
Proof. By Proposition 3.18, G P (= G with the topology generated by P ) isétale. By Proposition 2.37 and Proposition 3.19, G = G patch P isétale.
Later we will need the following elementary result onétale families. Proof. We immediately see that T −1 g = T g −1 and T g T h ⊆ T gh and hence (T g T h ) ≤ ⊆ T gh , as gh ∈ O ⊆ N implies gh ∈ N . Conversely, take any O ∈ T g and note that, as O is a bisection, OO −1 N ⊆ N , for any N ∈ T gh , so 3.4. Pseudobasic Inverse Semigroups. Now we can finally show that, for suitable inverse semigroups, our tight groupoid is necessarilyétale.
Definition 3.22. We call (S, ≺) a pseudobasic inverse semigroup if S is an ordered inverse semigroup with zero and P = S \ {0} is an abstract pseudobasis.
Theorem 3.23. If S is a pseudobasic inverse semigroup then T (P ) is a locally compact Hausdorffétale groupoid with anétale pseudobasis (O s ) s≺S .
Proof. By Proposition 2.17, Corollary 2.28 and Corollary 3.15, T (P ) is locally compact Hausdorff groupoid. By Proposition 2.44, (O p ) p∈P and hence (O s ) s≺S is a pseudo(sub)basis for T (P ). In particular, (O s ) s≺S covers T (P ) so, by Corollary 3.20, it suffices to verify that (O s ) s≺S is anétale family.
First note that, for any s ≺ S, Thus (O s ) s≺S is also closed under products, as required.
Exel's original tight groupoid construction was obtained from the groupoid of germs coming from the canonical partial action of S on the tight spectrum of E. In the Hausdorff case, this agrees with our tight groupoid when we consider S as a pseudobasic inverse semigroup with ≺ = ≤ (see Remark 2.2 and Remark 3.7). Indeed, it follows from the Hausdorff characterization in [EP16,Theorem 3.16] that in this case every one of our tight subsets will be a true filter, not just a Frink filter, and these can be identified with germs just like in Lenz's alternative construction of Paterson's universal groupoid (see [Len08] and [LMS13, §3.3]). In the non-Hausdorff case, our tight groupoid will instead be a 'Hausdorffification' of Exel's original tight groupoid. To illustrate this, we give a simple example. Remark 3.25. If we want a faithful extension of Exel's original contruction, even in the non-Hausdorff case, then this can still be done in a similar way. Basically, the idea is to modify the definition of (both abstract and concrete) pseudobases and work with 'local' versions of tight subsets and the tight spectrum, as we discuss in a follow up paper. However, the Hausdorff construction presented here may be of some interest in its own right, even in the original ≺ = ≤ case. Indeed, it would be interesting to see if our Hausdorff tight groupoid might be a suitable alternative to some of the non-Hausdorff tight groupoids already considered in the literature.
We can also turn our tight groupoid construction into a duality: separative pseudobasic inverse semigroups étale pseudobases of Hausdorff groupoids.
Indeed, Theorem 3.23 has already provided the ↓ part (although strictly speaking should also assume (3.2) holds for arbitrary s ∈ S, not just s ≺ S, so that the entirety of (O s ) s∈S is anétale family). The ↑ part and its reversibility comes from the following extension of the Hausdorff case of [Exe10, Theorem 4.8] (from bases to pseudobases but, more importantly, even for non-ample groupoids).
Proof. It is immediately verified that P ∪ {∅} is inverse semigroup where ≤ = ⊆ on P . As ⋐ is a stronger relation than ⊆, (Left Auxiliary) and (Invertive) for ≺ = ⋐ immediately follows. As G is Hausdorff, (Multiplicative) holds, by [BS18a, Proposition 6.4] (or note products of compact subsets are compact as in the proof of Proposition 3.19). By Theorem 2.45, P is an abstract pseudobasis and g → T g is a homeomorphism onto T (P ). By (3.9), g → T g is also functor. Also, if g −1 g = hh −1 then, by (Separating), (T −1 g T g ) ≤ = T g −1 g = T hh −1 = (T h T −1 h ) ≤ , i.e. (g, h) ∈ G (2) iff (T g , T h ) ∈ T (P ) (2) . So G is isomorphic to T (P ) via g → T g .
Example 3.27. Say G is a discrete group acting on some locally compact Hausdorff space X. Given any pseudobasis P for X, we can obtain a larger pseudobasis P ′ by taking its closure under finite intersections and images of elements of G (and if X is second countable then we can even take P to be a countable (pseudo)basis which will remain countable when enlarged in this way, as long as G is also countable). Then S = (g, O) g∈G,O∈P ′ will form aétale pseudobasis of the transformation groupoid (G, X). Applying Proposition 3.26 allows us to recover (G, X) just from the inverse semigroup structure of S.