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.

The regular part of transformation semigroups that preserve double direction equivalence relation

Regularity and Green's Relations for Semigroups of Transformations Preserving Orientation and an Equivalence

Semigroups of transformations whose characters belong to a given semigroup

Transformation Semigroups Which Are Disjoint Union of Symmetric Groups

Semigroup of transformations with restricted partial range: Regularity, abundance and some combinatorial results

The natural partial order on semigroups of transformations with restricted range that preserve an equivalence

Congruences of maximum regular subsemigroups of variants of finite full transformation semigroups

Regularity of the semigroup of transformations preserving a length

Green's Relations in Finite Transformation Semigroups

A class of congruences in partial Abelian semigroups

On certain semigroups of full contractions of a finite chain

The structure of End($\mathcal{T}_n$)

A groupoid approach to regular $*$-semigroups

Regularity and Green's relations for the semigroup of partial contractions of a finite chain

On Special Semigroups Derived From an Arbitrary Semigroup

Some special congruences on completely regular semigroups

Primitive permutation groups and strongly factorizable transformation semigroups

Endomorphisms of semigroups of oriented transformations

The Green's Relation of Semiring Whose Additive Reduct is Completely Regular Semigroup

On semigroups of orientation-preserving partial permutations with restricted range

Regularity of Semigroup Rings