Skip to main content
Log in

Étale inverse semigroupoids: elementary properties, universal constructions and duality

  • Research Article
  • Published:
Semigroup Forum Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Abadie, F.: On partial actions and groupoids. Proc. Am. Math. Soc. 132(4), 1037–1047 (2004)

    Article  MATH  Google Scholar 

  2. Bagio, D., Paques, A.: Partial groupoid actions: globalization, Morita theory, and Galois theory. Commun. Algebra 40(10), 3658–3678 (2012)

    Article  MATH  Google Scholar 

  3. Beuter, V.M., Daniel, G.: The interplay between Steinberg algebras and skew rings. J. Algebra 497, 337–362 (2018)

    Article  MATH  Google Scholar 

  4. Brown, R.: Topology and Groupoids. BookSurge LLC, Charleston (2006)

    MATH  Google Scholar 

  5. Brown, R., Hardy, J.L.: Topological groupoids: I. Universal constructions. Math. Nachr. 71, 273–286 (1976)

    Article  MATH  Google Scholar 

  6. Buss, A., Exel, R.: Inverse semigroup expansions and their actions on \({C^\ast }\)-algebras. Ill. J. Math. 56(4), 1185–1212 (2012)

    MATH  Google Scholar 

  7. Buss, A., Exel, R., Meyer, R.: Inverse semigroup actions as groupoid actions. Semigroup Forum 85(2), 227–243 (2012)

    Article  MATH  Google Scholar 

  8. Buss, A., Holkar, R.D., Meyer, R.: A universal property for groupoid \(C^*\)-algebras. I. Proc. Lond. Math. Soc. 117(2), 345–375 (2018)

    Article  MATH  Google Scholar 

  9. Cartier, P.: Groupoïdes de Lie et leurs algébroïdes. Astérisque, 26. Séminaire Bourbaki, exp. no. 987, pp. 165–196 (2009)

  10. Cockett, J.R.B., Lack, S.: Restriction categories I: categories of partial maps. Theor. Comput. Sci. 270(1–2), 223–259 (2002)

    Article  MATH  Google Scholar 

  11. Cordeiro L.G.: Soficity and other dynamical aspects of groupoids and inverse semigroups. Ph.D. thesis, University of Ottawa (2018)

  12. Cordeiro, L.G., Beuter, V.: The dynamics of partial inverse semigroup actions. J. Pure Appl. Algebra 224(3), 917–957 (2020)

    Article  MATH  Google Scholar 

  13. DeWolf, D., Pronk, D.: The Ehresmann-Schein-Nambooripad theorem for inverse categories. Theory Appl. Categ. 33, 813–831 (2018)

    MATH  Google Scholar 

  14. 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)

  15. 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)

    Article  MATH  Google Scholar 

  16. 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)

    Article  MATH  Google Scholar 

  17. Exel, R.: Inverse semigroups and combinatorial \(C^\ast \)-algebras. Bull. Braz. Math. Soc. 39(2), 191–313 (2008)

    Article  MATH  Google Scholar 

  18. Exel, R.: Reconstructing a totally disconnected groupoid from its ample semigroup. Proc. Am. Math. Soc. 138(8), 2991–3001 (2010)

    Article  MATH  Google Scholar 

  19. Exel, R.: Semigroupoid \(C^\ast \)-algebras. J. Math. Anal. Appl. 377(1), 303–318 (2011)

    Article  MATH  Google Scholar 

  20. Exel, R.: Partial Dynamical Systems, Fell Bundles and Applications. Mathematical Surveys and Monographs, vol. 224. American Mathematical Society, Providence (2017)

    Book  MATH  Google Scholar 

  21. Goehle, G.: Groupoid crossed products. Ph.D. thesis, Darthmouth College (2009)

  22. 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)

    Google Scholar 

  23. Howie, J.M.: Fundamentals of Semigroup Theory. London Mathematical Society Monographs. New Series, vol. 12. Oxford University Press, New York (1995)

    MATH  Google Scholar 

  24. Kaarsgaard, R., Axelsen, H.B., Glück, R.: Join inverse categories and reversible recursion. J. Log. Algebr. Methods Program. 87, 33–50 (2017)

    Article  MATH  Google Scholar 

  25. Kastl, J.: One method of representations of inverse semigroups. Sûrikaisekikenkyûsho Kókyûroku 292, 73–89 (1977)

    MATH  Google Scholar 

  26. Kellendonk, J., Lawson, M.V.: Tiling semigroups. J. Algebra 224(1), 140–150 (2000)

    Article  MATH  Google Scholar 

  27. Khrypchenko, M.: Partial actions and an embedding theorem for inverse semigroups. Periodica Math. Hungarica 78, 47–57 (2019)

    Article  MATH  Google Scholar 

  28. Lawson, M.V.: Inverse Semigroups: The Theory of Partial Symmetries. World Scientific, Singapore (1998)

    Book  MATH  Google Scholar 

  29. Lawson, M.V.: Non-commutative Stone duality: inverse semigroups, topological groupoids and C*-algebras. Int. J. Algebra Comput. 22(6), 47 (2012)

  30. Lawson, M.V., Lenz, D.H.: Pseudogroups and their étale groupoids. Adv. Math. 244, 117–170 (2013)

    Article  MATH  Google Scholar 

  31. Li, X.: Continuous orbit equivalence rigidity. Ergodic Theory Dyn. Syst. 38(4), 1543–1563 (2018)

    Article  MATH  Google Scholar 

  32. Liu, V.: Free inverse semigroupoids and their inverse subsemigroupoids. Ph.D. thesis, The University of Alabama (2016)

  33. Mac Lane, S.: Categories for the Working Mathematician. Graduate Texts in Mathematics, vol. 5, 2nd edn. Springer, New York (1978)

    Book  MATH  Google Scholar 

  34. Marín, V., Pinedo, H.: Partial groupoid actions on \(R\)-categories: globalization and the smash product. J. Algebra Appl. 19(5), 2050083 (2020)

    Article  MATH  Google Scholar 

  35. Matsumoto, K.: Orbit equivalence of topological Markov shifts and Cuntz-Krieger algebras. Pacific J. Math. 246(1), 199–225 (2010)

    Article  MATH  Google Scholar 

  36. McAlister, D.B.: Groups, semilattices and inverse semigroups. Trans. Am. Math. Soc. 192, 227–244 (1974)

    MATH  Google Scholar 

  37. McAlister, D.B.: \(v\)-prehomomorphisms on inverse semigroups. Pacific J. Math. 67(1), 215–231 (1976)

    Article  MATH  Google Scholar 

  38. McAlister, D.B., Reilly, N.R.: \(E\)-unitary covers for inverse semigroups. Pacific J. Math. 68(1), 161–174 (1977)

    Article  MATH  Google Scholar 

  39. McClanahan, K.P.: \(K\)-theory for partial crossed products by discrete groups. J. Funct. Anal. 130(1), 77–117 (1995)

    Article  MATH  Google Scholar 

  40. Moerdijk, I., Mrčun, J.: Introduction to Foliations and Lie Groupoids. Cambridge Studies in Advanced Mathematics, vol. 91. Cambridge University Press, Cambridge (2003)

    Book  MATH  Google Scholar 

  41. Paterson, A.L.T.: Groupoids, Inverse semigroups, and Their Operator Algebras. Progress in Mathematics, vol. 170. Birkhäuser, Boston (1999)

    Book  MATH  Google Scholar 

  42. Petrich, M.: Inverse Semigroups. John Wiley & Sons, New York (1984)

    MATH  Google Scholar 

  43. Quigg, J.C., Sieben, N.: \(C^*\)-actions of \(r\)-discrete groupoids and inverse semigroups. J. Aust. Math. Soc. 66(2), 143 (1999)

    Article  MATH  Google Scholar 

  44. Renault, J.N.: A Groupoid Approach to \(C^*\)-algebras. Lecture Notes in Mathematics, vol. 793. Springer, Berlin (1980)

    Book  MATH  Google Scholar 

  45. Renault, J.N.: Cartan subalgebras in \(C^*\)-algebras. Irish Math. Soc. Bull. 61, 29–63 (2008)

    Article  MATH  Google Scholar 

  46. Resende, P.: Étale groupoids and their quantales. Adv. Math. 208(1), 147–209 (2007)

    Article  MATH  Google Scholar 

  47. Sieben, N.: \(C^*\)-crossed products by partial actions and actions of inverse semigroups. J. Aust. Math. Soc. 63(1), 32–46 (1997)

    Article  MATH  Google Scholar 

  48. Steinberg, B.: A groupoid approach to discrete inverse semigroup algebras. Adv. Math. 223(2), 689–727 (2010)

    Article  MATH  Google Scholar 

  49. Tilson, B.R.: Categories as algebra: an essential ingredient in the theory of monoids. J. Pure Appl. Algebra 48(1–2), 83–198 (1987)

    Article  MATH  Google Scholar 

  50. Todea, C.-C.: Symmetric algebras, skew category algebras and inverse semigroups. J. Algebra 369, 226–234 (2012)

    Article  MATH  Google Scholar 

  51. Tominaga, H.: On \(s\)-unital rings. Math. J. Okayama Univ. 18(2), 117–134 (1975)

    MATH  Google Scholar 

Download references

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

Authors

Corresponding author

Correspondence to Luiz Gustavo Cordeiro.

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.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00233-022-10329-8

Keywords

Navigation