Inverse semigroup actions as groupoid actions

To an inverse semigroup, we associate an étale groupoid such that its actions on topological spaces are equivalent to actions of the inverse semigroup. Both the object and the arrow space of this groupoid are non-Hausdorff. We show that this construction provides an adjoint functor to the functor that maps a groupoid to its inverse semigroup of bisections, where we turn étale groupoids into a category using algebraic morphisms. We also discuss how to recover a groupoid from this inverse semigroup.     

Inverse semigroups and combinatorial C*-algebras

We describe a special class of representations of an inverse semigroup S on Hilbert's space which we term tight. These representations are supported on a subset of the spectrum of the idempotent semilattice of S, called the tight spectrum, which is in turn shown to be precisely the closure of the space of ultra-filters, once filters are identified with semicharacters in a natural way. These representations are moreover shown to correspond to representations of the C*-algebra of the groupoid of germs for the action of S on its tight spectrum. We then treat the case of certain inverse semigroups constructed from semigroupoids, generalizing and inspired by inverse semigroups constructed from ordinary and higher rank graphs. The tight representations of this inverse semigroup are in one-to-one correspondence with representations of the semigroupoid, and consequently the semigroupoid algebra is given a groupoid model. The groupoid which arises from this construction is shown to be the same as the boundary path groupoid of Farthing, Muhly and Yeend, at least in the singly aligned, sourceless case. *Partially supported by CNPq.     

Reduced C*-algebras of Fell bundles over inverse semigroups

We construct a weak conditional expectation from the section C*-algebra of a Fell bundle over a unital inverse semigroup to its unit fibre. We use this to define the reduced C*-algebra of the Fell bundle. We study when the reduced C*-algebra for an inverse semigroup action on a groupoid by partial equivalences coincides with the reduced groupoid C*-algebra of the transformation groupoid, giving both positive results and counterexamples.     

Cayley color graphs of inverse semigroups and groupoids

The notion of Cayley color graphs of groups is generalized to inverse semigroups and groupoids. The set of partial automorphisms of the Cayley color graph of an inverse semigroup or a groupoid is isomorphic to the original inverse semigroup or groupoid. The groupoid of color permuting partial automorphisms of the Cayley color graph of a transitive groupoid is isomorphic to the original groupoid.     

Prime étale groupoid algebras with applications to inverse semigroup and Leavitt path algebras

In this paper we give some sufficient and some necessary conditions for an étale groupoid algebra to be a prime ring. As an application we recover the known primeness results for inverse semigroup algebras and Leavitt path algebras. It turns out that primeness of the algebra is connected with the dynamical property of topological transitivity of the groupoid. We obtain analogous results for semiprimeness.     

Congruence-simplicity of Steinberg algebras of non-Hausdorff ample groupoids over semifields

We investigate the algebra of an ample groupoid, introduced by Steinberg, over a semifield S. In particular, we obtain a complete characterization of congruence-simpleness for Steinberg algebras of second-countable ample groupoids, extending the well-known characterizations when S is a field. We apply our congruence-simplicity results to tight groupoids of inverse semigroup representations associated to self-similar graphs.     

Higher-Rank Graph C *-Algebras: An Inverse Semigroup and Groupoid Approach

We provide inverse semigroup and groupoid models for the Toeplitz and Cuntz-Krieger algebras of finitely aligned higher-rank graphs. Using these models, we prove a uniqueness theorem for the Cuntz-Krieger algebra.     

Amenability and uniqueness for groupoids associated with inverse semigroups

We investigate recent uniqueness theorems for reduced \(C^*\)-algebras of Hausdorff étale groupoids in the context of inverse semigroups. In many cases the distinguished subalgebra is closely related to the structure of the inverse semigroup. In order to apply our results to full \(C^*\)-algebras, we also investigate amenability. More specifically, we obtain conditions that guarantee amenability of the universal groupoid for certain classes of inverse semigroups. These conditions also imply the existence of a conditional expectation onto a canonical subalgebra.     

Semigroup actions on ordered groupoids

In this paper we prove that if S is a commutative semigroup acting on an ordered groupoid G, then there exists a commutative semigroup S? acting on the ordered groupoid G?:=(G × S)/ρ? in such a way that G is embedded in G?. Moreover, we prove that if a commutative semigroup S acts on an ordered groupoid G, and a commutative semigroup S? acts on an ordered groupoid G? in such a way that G is embedded in S?, then the ordered groupoid G? can be also embedded in G?. We denote by ρ? the equivalence relation on G × S which is the intersection of the quasi-order ρ (on G × S) and its inverse ρ ^?1.     

Simplicity of algebras associated to étale groupoids

We prove that the full C ^?-algebra of a second-countable, Hausdorff, étale, amenable groupoid is simple if and only if the groupoid is both topologically principal and minimal. We also show that if G has totally disconnected unit space, then the complex ^?-algebra of its inverse semigroup of compact open bisections, as introduced by Steinberg, is simple if and only if G is both effective and minimal.     

A groupoid approach to discrete inverse semigroup algebras

Let K be a commutative ring with unit and S an inverse semigroup. We show that the semigroup algebra KS can be described as a convolution algebra of functions on the universal étale groupoid associated to S by Paterson. This result is a simultaneous generalization of the author's earlier work on finite inverse semigroups and Paterson's theorem for the universal C^∗-algebra. It provides a convenient topological framework for understanding the structure of KS, including the center and when it has a unit. In this theory, the role of Gelfand duality is replaced by Stone duality.Using this approach we construct the finite dimensional irreducible representations of an inverse semigroup over an arbitrary field as induced representations from associated groups, generalizing the case of an inverse semigroup with finitely many idempotents. More generally, we describe the irreducible representations of an inverse semigroup S that can be induced from associated groups as precisely those satisfying a certain “finiteness condition.” This “finiteness condition” is satisfied, for instance, by all representations of an inverse semigroup whose image contains a primitive idempotent.     

Flows on Regular Semigroups

We study the structure of the flow monoid of a regular semigroup. This arises from the approach of Nambooripad of considering a regular semigroup as a groupoid – a category in which every morphism is invertible. A flow is then a section to the source map in this groupoid, and the monoid structure of the set of all flows is determined in terms of the Green relations on the original semigroup.     

Ordered groupoid quotients and congruences on inverse semigroups

We introduce a preorder on an inverse semigroup S associated to any normal inverse subsemigroup N, that lies between the natural partial order and Green’s \({\mathcal {J}}\)–relation. The corresponding equivalence relation \(\simeq _N\) is not necessarily a congruence on S, but the quotient set does inherit a natural ordered groupoid structure. We show that this construction permits the factorisation of any inverse semigroup homomorphism into a composition of a quotient map and a star-injective functor, and that this decomposition implies a classification of congruences on S. We give an application to the congruence and certain normal inverse subsemigroups associate to an inverse monoid presentation.     

An Embedding of an Ordered Groupoid into an le-Groupoid

In this paper we prove that each ordered groupoid (resp. semigroup) S embeds in a complete distributive le-groupoid (resp. le-semigroup) using the ordered groupoid (resp. semigroup) arising from S by the adjunction of a zero element.     

Graded Steinberg algebras and partial actions

Given a graded ample Hausdorff groupoid, we realise its graded Steinberg algebra as a partial skew inverse semigroup ring. We use this to show that for a partial action of a discrete group on a locally compact Hausdorff topological space which is totally disconnected, the Steinberg algebra of the associated groupoid is graded isomorphic to the corresponding partial skew group ring. We show that there is a one-to-one correspondence between the open invariant subsets of the topological space and the graded ideals of the partial skew group ring. We also consider the algebraic version of the partial $C^{?}$-algebra of an abelian group and realise it as a partial skew group ring via a partial action of the group on a topological space. Applications to the theory of Leavitt path algebras are given.     

Ellis semigroupoid

We extend the notion of the enveloping semigroup of a locally compact group to the enveloping semigroupoid of a locally compact groupopid and show that there is a universal enveloping semigroupoid which is unique up to isomorphism. As in the group case, we associate the Ellis semigroupoid to an action of a locally compact groupoid on a fibrewise compact space. We define the notion of proximality for groupoid actions and characterize it in terms of Ellis semigroupoid.

     

Filters in (Quasiordered) Semigroups and Lattices of Filters

A filter in a semigroup is a subsemigroup whose complement is an ideal. (Alternatively, in a quasiordered semigroup, a slightly more general definition can be given.) We prove a number of results related to filters in a semigroup and the lattice of filters of a semigroup. For instance, we prove that every complete algebraic lattice can be the lattice of filters of a semigroup. We prove that every finite semigroup is a homomorphic image of a finite semigroup whose lattice of filters is boolean and which belongs to the pseudovariety generated by the original semigroup. We describe filter lattices of some well-known semigroups such as full transformation semigroups of finite sets (which are three-element chains) and free semigroups (which are boolean).     

Tychonoff's theorem for locally compact spaces and an elementary approach to the topology of path spaces

The path spaces of a directed graph play an important role in the study of graph -algebras. These are topological spaces that were originally constructed using groupoid and inverse semigroup techniques. In this paper, we develop a simple, purely topological, approach to this construction, based on Tychonoff's theorem. In fact, the approach is shown to work even for higher dimensional graphs satisfying the finitely aligned condition, and we construct the groupoid of the graph. Motivated by these path space results, we prove a Tychonoff theorem for an infinite, countable product of locally compact spaces. The main idea is to include certain finite products of the spaces along with the infinite product. We show that the topology is, in a reasonable sense, a pointwise topology.

     

右逆半群上的偏序关系

It is well known that there exists the smallest inverse semigroup congruence on an orthodox semigroup. We denote by Y the smallest inverse semigroup congruence on an orthodox semigroup. Let S be a fight inverse semigroup. We construct partial orders on S by some kind of its subsemigroups and uncover that partial orders on S have close contact with partial orders on S/Y.