Abstract
The main goal of this article is to unite the theories of groupoids, semigroups and their dynamical aspects under a unique umbrella theory, which is attained with semigroupoids. We start by dealing with a small point of contention, and show that two axiomatizations of semigroupoids which have appeared in the literature, akin to the “graph-theoretic” and “algebraic” descriptions of categories, are not equivalent (to the contrary of the analogous category-theoretical result). The remainder of the paper is specialized to the study of (étale) inverse semigroupoids. Elementary results and notions from the theories of discrete inverse semigroups and étale groupoids are generalized—such as the Vagner–Preston Theorem, (partial and pre-)actions, and semidirect products (which include groupoids of germs by inverse semigroup actions). As our main result, we finish this paper with a non-commutative Stone-type duality for ample inverse semigroupoids.
Similar content being viewed by others
References
Abadie, F.: On partial actions and groupoids. Proc. Am. Math. Soc. 132(4), 1037–1047 (2004)
Bagio, D., Paques, A.: Partial groupoid actions: globalization, Morita theory, and Galois theory. Commun. Algebra 40(10), 3658–3678 (2012)
Beuter, V.M., Daniel, G.: The interplay between Steinberg algebras and skew rings. J. Algebra 497, 337–362 (2018)
Brown, R.: Topology and Groupoids. BookSurge LLC, Charleston (2006)
Brown, R., Hardy, J.L.: Topological groupoids: I. Universal constructions. Math. Nachr. 71, 273–286 (1976)
Buss, A., Exel, R.: Inverse semigroup expansions and their actions on \({C^\ast }\)-algebras. Ill. J. Math. 56(4), 1185–1212 (2012)
Buss, A., Exel, R., Meyer, R.: Inverse semigroup actions as groupoid actions. Semigroup Forum 85(2), 227–243 (2012)
Buss, A., Holkar, R.D., Meyer, R.: A universal property for groupoid \(C^*\)-algebras. I. Proc. Lond. Math. Soc. 117(2), 345–375 (2018)
Cartier, P.: Groupoïdes de Lie et leurs algébroïdes. Astérisque, 26. Séminaire Bourbaki, exp. no. 987, pp. 165–196 (2009)
Cockett, J.R.B., Lack, S.: Restriction categories I: categories of partial maps. Theor. Comput. Sci. 270(1–2), 223–259 (2002)
Cordeiro L.G.: Soficity and other dynamical aspects of groupoids and inverse semigroups. Ph.D. thesis, University of Ottawa (2018)
Cordeiro, L.G., Beuter, V.: The dynamics of partial inverse semigroup actions. J. Pure Appl. Algebra 224(3), 917–957 (2020)
DeWolf, D., Pronk, D.: The Ehresmann-Schein-Nambooripad theorem for inverse categories. Theory Appl. Categ. 33, 813–831 (2018)
Dokuchaev, M.: Partial actions: a survey. In: Milies, C.P. (ed.) Groups, Algebras and Applications. Contemporary Mathematics, vol. 537, pp. 173–184. American Mathematical Society, Providence, RI (2011)
Dokuchaev, M., Exel, R.: Associativity of crossed products by partial actions, enveloping actions and partial representations. Trans. Amer. Math. Soc. 357(5), 1931–1952 (2005)
Exel, R.: Circle actions on \({C^\ast }\)-algebras, partial automorphisms, and a generalized Pimsner-Voiculescu exact sequence. J. Funct. Anal. 122(2), 361–401 (1994)
Exel, R.: Inverse semigroups and combinatorial \(C^\ast \)-algebras. Bull. Braz. Math. Soc. 39(2), 191–313 (2008)
Exel, R.: Reconstructing a totally disconnected groupoid from its ample semigroup. Proc. Am. Math. Soc. 138(8), 2991–3001 (2010)
Exel, R.: Semigroupoid \(C^\ast \)-algebras. J. Math. Anal. Appl. 377(1), 303–318 (2011)
Exel, R.: Partial Dynamical Systems, Fell Bundles and Applications. Mathematical Surveys and Monographs, vol. 224. American Mathematical Society, Providence (2017)
Goehle, G.: Groupoid crossed products. Ph.D. thesis, Darthmouth College (2009)
Heunen, C.: On the Functor \(\ell ^2\). In: Coecke, B., Ong, L., Panangaden, P. (eds.) Computation, Logic, Games, and Quantum Foundations. Lecture Notes in Computer Science, vol. 7860, pp. 107–121. Springer, Heidelberg (2013)
Howie, J.M.: Fundamentals of Semigroup Theory. London Mathematical Society Monographs. New Series, vol. 12. Oxford University Press, New York (1995)
Kaarsgaard, R., Axelsen, H.B., Glück, R.: Join inverse categories and reversible recursion. J. Log. Algebr. Methods Program. 87, 33–50 (2017)
Kastl, J.: One method of representations of inverse semigroups. Sûrikaisekikenkyûsho Kókyûroku 292, 73–89 (1977)
Kellendonk, J., Lawson, M.V.: Tiling semigroups. J. Algebra 224(1), 140–150 (2000)
Khrypchenko, M.: Partial actions and an embedding theorem for inverse semigroups. Periodica Math. Hungarica 78, 47–57 (2019)
Lawson, M.V.: Inverse Semigroups: The Theory of Partial Symmetries. World Scientific, Singapore (1998)
Lawson, M.V.: Non-commutative Stone duality: inverse semigroups, topological groupoids and C*-algebras. Int. J. Algebra Comput. 22(6), 47 (2012)
Lawson, M.V., Lenz, D.H.: Pseudogroups and their étale groupoids. Adv. Math. 244, 117–170 (2013)
Li, X.: Continuous orbit equivalence rigidity. Ergodic Theory Dyn. Syst. 38(4), 1543–1563 (2018)
Liu, V.: Free inverse semigroupoids and their inverse subsemigroupoids. Ph.D. thesis, The University of Alabama (2016)
Mac Lane, S.: Categories for the Working Mathematician. Graduate Texts in Mathematics, vol. 5, 2nd edn. Springer, New York (1978)
Marín, V., Pinedo, H.: Partial groupoid actions on \(R\)-categories: globalization and the smash product. J. Algebra Appl. 19(5), 2050083 (2020)
Matsumoto, K.: Orbit equivalence of topological Markov shifts and Cuntz-Krieger algebras. Pacific J. Math. 246(1), 199–225 (2010)
McAlister, D.B.: Groups, semilattices and inverse semigroups. Trans. Am. Math. Soc. 192, 227–244 (1974)
McAlister, D.B.: \(v\)-prehomomorphisms on inverse semigroups. Pacific J. Math. 67(1), 215–231 (1976)
McAlister, D.B., Reilly, N.R.: \(E\)-unitary covers for inverse semigroups. Pacific J. Math. 68(1), 161–174 (1977)
McClanahan, K.P.: \(K\)-theory for partial crossed products by discrete groups. J. Funct. Anal. 130(1), 77–117 (1995)
Moerdijk, I., Mrčun, J.: Introduction to Foliations and Lie Groupoids. Cambridge Studies in Advanced Mathematics, vol. 91. Cambridge University Press, Cambridge (2003)
Paterson, A.L.T.: Groupoids, Inverse semigroups, and Their Operator Algebras. Progress in Mathematics, vol. 170. Birkhäuser, Boston (1999)
Petrich, M.: Inverse Semigroups. John Wiley & Sons, New York (1984)
Quigg, J.C., Sieben, N.: \(C^*\)-actions of \(r\)-discrete groupoids and inverse semigroups. J. Aust. Math. Soc. 66(2), 143 (1999)
Renault, J.N.: A Groupoid Approach to \(C^*\)-algebras. Lecture Notes in Mathematics, vol. 793. Springer, Berlin (1980)
Renault, J.N.: Cartan subalgebras in \(C^*\)-algebras. Irish Math. Soc. Bull. 61, 29–63 (2008)
Resende, P.: Étale groupoids and their quantales. Adv. Math. 208(1), 147–209 (2007)
Sieben, N.: \(C^*\)-crossed products by partial actions and actions of inverse semigroups. J. Aust. Math. Soc. 63(1), 32–46 (1997)
Steinberg, B.: A groupoid approach to discrete inverse semigroup algebras. Adv. Math. 223(2), 689–727 (2010)
Tilson, B.R.: Categories as algebra: an essential ingredient in the theory of monoids. J. Pure Appl. Algebra 48(1–2), 83–198 (1987)
Todea, C.-C.: Symmetric algebras, skew category algebras and inverse semigroups. J. Algebra 369, 226–234 (2012)
Tominaga, H.: On \(s\)-unital rings. Math. J. Okayama Univ. 18(2), 117–134 (1975)
Acknowledgements
I sincerely thank the reviewer for the careful reading of this paper and the many comments which helped polish this material and make the results clearer.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Mark V. Lawson.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The author was partly supported by the ANR project GAMME (ANR-14-CE25-0004), during his postdoctoral fellowship at UMPA – ENS Lyon.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Cordeiro, L.G. Étale inverse semigroupoids: elementary properties, universal constructions and duality. Semigroup Forum 106, 67–127 (2023). https://doi.org/10.1007/s00233-022-10329-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00233-022-10329-8