An algebraic characterisation of ample type I groupoids

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

Higher Regularity, Inverse and Polyadic Semigroups

We generalize the regularity concept for semigroups in two ways simultaneously: to higher regularity and to higher arity. We show that the one-relational and multi-relational formulations of higher regularity do not coincide, and each element has several inverses. The higher idempotents are introduced, and their commutation leads to unique inverses in the multi-relational formulation, and then further to the higher inverse semigroups. For polyadic semigroups we introduce several types of higher regularity which satisfy the arity invariance principle as introduced: the expressions should not depend of the numerical arity values, which allows us to provide natural and correct binary limits. In the first definition no idempotents can be defined, analogously to the binary semigroups, and therefore the uniqueness of inverses can be governed by shifts. In the second definition called sandwich higher regularity, we are able to introduce the higher polyadic idempotents, but their commutation does not provide uniqueness of inverses, because of the middle terms in the higher polyadic regularity conditions. Finally, we introduce the sandwich higher polyadic regularity with generalized idempotents.

TWISTS, CROSSED PRODUCTS AND INVERSE SEMIGROUP COHOMOLOGY

Twisted étale groupoid algebras have recently been studied in the algebraic setting by several authors in connection with an abstract theory of Cartan pairs of rings. In this paper we show that extensions of ample groupoids correspond in a precise manner to extensions of Boolean inverse semigroups. In particular, discrete twists over ample groupoids correspond to certain abelian extensions of Boolean inverse semigroups, and we show that they are classified by Lausch’s second cohomology group of an inverse semigroup. The cohomology group structure corresponds to the Baer sum operation on twists. We also define a novel notion of inverse semigroup crossed product, generalizing skew inverse semigroup rings, and prove that twisted Steinberg algebras of Hausdorff ample groupoids are instances of inverse semigroup crossed products. The cocycle defining the crossed product is the same cocycle that classifies the twist in Lausch cohomology.

K-Theory for Semigroup C*-Algebras and Partial Crossed Products

Using the Baum–Connes conjecture with coefficients, we develop a K-theory formula for reduced C*-algebras of strongly 0-E-unitary inverse semigroups, or equivalently, for a class of reduced partial crossed products. This generalizes and gives a new proof of previous K-theory results of Cuntz, Echterhoff and the author. Our K-theory formula applies to a rich class of C*-algebras which are generated by partial isometries. For instance, as new applications which could not be treated using previous results, we discuss semigroup C*-algebras of Artin monoids, Baumslag-Solitar monoids and one-relator monoids, as well as C*-algebras generated by right regular representations of semigroups of number-theoretic origin, and C*-algebras attached to tilings.

An amalgam of inverse semigroups is embedded into an amalgam with a lower bounded core

Given any amalgam [Formula: see text] of inverse semigroups, we show how to construct an amalgam [Formula: see text] such that [Formula: see text] is embedded into [Formula: see text], where [Formula: see text], [Formula: see text], [Formula: see text] and, for any [Formula: see text] and [Formula: see text] with [Formula: see text] in [Formula: see text], where [Formula: see text], there exists [Formula: see text] with [Formula: see text] in [Formula: see text]; that is, [Formula: see text] is a lower bounded subsemigroup of [Formula: see text] and [Formula: see text]. A recent paper by the author describes the Schützenberger automata of [Formula: see text], for an amalgam [Formula: see text] where [Formula: see text] is lower bounded in [Formula: see text] and [Formula: see text], giving conditions for [Formula: see text] to have decidable word problem. Thus we can study [Formula: see text] by considering [Formula: see text]. As an example, we generalize results by Cherubini, Jajcayová, Meakin, Piochi and Rodaro on amalgams of finite inverse semigroups.

Cohomology and extensions of ordered groupoids

We adapt and generalize results of Loganathan on the cohomology of inverse semigroups to the cohomology of ordered groupoids. We then derive a five-term exact sequence in cohomology from an extension of ordered groupoids, and show that this sequence leads to a classification of extensions by a second cohomology group. Our methods use structural ideas in cohomology as far as possible, rather than computation with cocycles.