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.

On normed semigroups

On the norm of the lower central series in a finite group

Regularity of the Semigroup of Regular Probability Measures on Locally Compact Hausdorff Topological Groups in which every element is of finite order

On the Weak Regularity of Semigroup Rings

Large norms in group theory

Partial metrics and normed inverse semigroups

On the norm attainment set of a bounded linear operator and semi-inner-products in normed spaces

Supernilpotent Semigroups

The Regularity of Munn Rings and Semigroup Rings

Regularity of Semigroup Rings

A groupoid approach to regular $*$-semigroups

Some generalized metric properties of $n$-semitopological groups

On the norm of the centralizers of a group

$\mathrm{C}$-maximal regularity for operator semigroups on locally convex spaces

Norm upper-semicontinuity of functions supported on open abelian isotropy in étale groupoids (a corrigendum to "Reconstruction of groupoids and C*-rigidity of dynamical systems," Adv. Math 390 (2021), 107923)

On Extensions over Semigroups and Applications

On ℑ n -normal subgroups of finite groups

Some Properties on Group-Graded Weakly Regular Rings

Cyclically regular semigroups

On nilpotent subsemigroups in some matrix semigroups