arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2601.13301

Locally involutive semigroups

Clemens Berger·Jonathon Funk
View original source ↗Read source document ↗Export metadata ↓

Abstract

We introduce locally involutive semigroups and embed them into the category of ordered groupoids. This embedding restricts to a correspondence between quasi-involutive semigroups and ordered groupoids with mediator, extending the classical ESN-correspondence between inverse semigroups and inductive groupoids. An important subcategory of locally involutive semigroups is formed by left involutive semigroups because the classifying topos of an inverse semigroup S is equivalent to the category of left involutive semigroups \'etale over S [4]. We recover this equivalence from a general adjointness and use the latter to determine when a left involutive semigroup \'etale over S is actually an involutive semigroup. Any left involutive semigroup \'etale over S embeds into an involutive S-algebra as we call it. The underlying semigroup of this algebra is involutive.

Explore related subjects

math.GRmath.CT

Keep this discovery

BibTeXRIS

Clemens Berger, Jonathon Funk. 2026-01-19. Locally involutive semigroups. https://arxiv.org/abs/2601.13301

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Reversibility and its asymptotic counting in Picard group

We investigate reversible elements in the Picard modular group $\mathrm{PSL}(2,\mathbb{Z}[i])$. We show that reversibility coincides with strong reversibility for Kleinian groups, in particular for the Picard group. We classify reversible elements in the Picard group and characterize loxodromic reversible elements up to conjugacy. We prove that each such conjugacy class contains exactly eight special representatives. We also obtain asymptotic estimates for the number of reversible conjugacy classes with bounded trace.

math.GR↗
arXiv2026

Conjugator length in finitely generated groups

We describe all functions $\mathbb{N}\rightarrow \mathbb{N}$ that can be realized, up to the standard equivalence, as conjugator length functions of finitely generated groups. Furthermore, we show that any two increasing functions $f,g\colon \mathbb N\to \mathbb N$ can be simultaneously realized as conjugator length functions of finitely generated, commensurable (in particular, quasi-isometric) groups.

math.GR↗
arXiv2026

The spectrum of conjugator length functions

A recent program tries to find which functions appear as conjugator length functions. In this note, we show that any (computable) increasing function larger than $n$ appears as $\mathrm{Cl}_G$ for some finitely generated (recursively presented) group. On the other hand, we demonstrate that either $\mathrm{Cl}_G$ must be constant or $\mathrm{Cl}_G(n)\succ n$. Combining these, we obtain a complete description of which functions appear as conjugator length functions of finitely generated groups.

math.GR↗