Abstract:In this paper we develop a new groupoid-based structure theory for the class of regular $*$-semigroups. This class occupies something of a `sweet spot' between the important classes of inverse and regular semigroups, and contains many natural examples. Some of the most significant families include the partition, Brauer and Temperley-Lieb monoids, among other diagram monoids. Our main result is that the category of regular $*$-semigroups is isomorphic to the category of so-called `chained projection groupoids'. Such a groupoid is in fact a triple $(P,\mathcal G,\varepsilon)$, where: $\bullet$ $P$ is a projection algebra (in the sense of Imaoka and Jones), $\bullet$ $\mathcal G$ is an ordered groupoid with object set $P$, and $\bullet$ $\varepsilon:\mathscr C\to\mathcal G$ is a special functor, where $\mathscr C$ is a certain natural `chain groupoid' constructed from $P$. Roughly speaking: the groupoid $\mathcal G=\mathcal G(S)$ remembers only the `easy' products in a regular $*$-semigroup $S$; the projection algebra $P=P(S)$ remembers only the `conjugation action' of the projections of $S$; and the functor $\varepsilon=\varepsilon(S)$ tells us how $\mathcal G$ and $P$ `fit together' in order to recover the entire structure of $S$. In this way, we obtain the first completely general structure theorem for regular $*$-semigroups. As a consequence of our main result, we give a new proof of the celebrated Ehresmann--Schein--Nambooripad Theorem, which establishes an isomorphism between the categories of inverse semigroups and inductive groupoids. Other applications will be given in future works. We consider several examples along the way, and pose a number of problems that we believe are worthy of further attention.

Group representation for even and odd involutive commutative residuated chains

Densification in classes of involutive commutative residuated lattices

A categorical equivalence for odd or even involutive FL$_e$-chains

Dual Pairs and Contragredients of Irreducible Representations

The Structure of Semiconic Idempotent Commutative Residuated Lattices

Local newforms for generic representations of unramified even unitary groups I: Even conductor case

Special unipotent representations of real classical groups: counting and reduction

Representing Sugihara monoids via weakening relations

Groups with $\mathsf{BC}_\ell$-commutator relations

On the metaplectic group in even residual characteristic

On the structure of groups, possessing Carter subgroups of odd order

Coherent confluence modulo relations and double groupoids

Unstable cohomology of $\mathsf{GL}_{2n}(\mathbb{Z})$ and the odd commutative graph complex

Equivalence of categories between coefficient systems and systems of idempotents

From Subdirect Sums to Virtuality

Even Galois representations and the cohomology of GL(2,Z)

Modulo l distinction problems

A groupoid approach to regular $*$-semigroups

On the representation theory of the symmetry group of the Cantor set

Cocompact amenable closed subgroups: weakly inequivalent representations in the left-regular representation

Even Circuits in Oriented Matroids