Frames, locales (06D22) Quantales (06F07) Groupoids, semigroupoids, semigroups, groups (viewed as categories) (18B40) Groupoids (i.e. small categories in which all morphisms are isomorphisms) (20L05) Inverse semigroups (20M18) Topological groupoids (including differentiable and Lie groupoids) (22A22)
Abstract: It is well known that inverse semigroups are closely related to 'etale groupoids. In particular, it has recently been shown that there is a (non-functorial) equivalence between localic 'etale groupoids, on one hand, and complete and infinitely distributive inverse semigroups (abstract complete pseudogroups), on the other. This correspondence is mediated by a class of quantales, known as inverse quantal frames, that are obtained from the inverse semigroups by a simple join completion that yields an equivalence of categories. Hence, we can regard abstract complete pseudogroups as being essentially ``the same as inverse quantal frames, and in this paper we exploit this fact in order to find a suitable replacement for inverse semigroups in the context of open groupoids that are not necessarily 'etale. The interest of such a generalization lies in the importance and ubiquity of open groupoids in areas such as operator algebras, differential geometry and topos theory, and we achieve it by means of a class of quantales, called open quantal frames, which generalize inverse quantal frames and whose properties we study in detail. The resulting correspondence between quantales and open groupoids is not a straightforward generalization of the previous results concerning 'etale groupoids, and it depends heavily on the existence of inverse semigroups of local bisections of the quantales involved.
Recommendations
Cites work
- An extension of the Galois theory of Grothendieck
- Cartan subalgebras in C*-algebras
- Differentiable stacks and gerbes
- Étale groupoids and their quantales
- Étale groupoids as germ groupoids and their base extensions.
- Groupoids, inverse semigroups, and their operator algebras
- Groupoids: unifying internal and external symmetry. A tour through some examples.
- scientific article; zbMATH DE number 3787631 (Why is no real title available?)
- scientific article; zbMATH DE number 671685 (Why is no real title available?)
- scientific article; zbMATH DE number 1956612 (Why is no real title available?)
- scientific article; zbMATH DE number 1512860 (Why is no real title available?)
- scientific article; zbMATH DE number 1761434 (Why is no real title available?)
- scientific article; zbMATH DE number 2151117 (Why is no real title available?)
- scientific article; zbMATH DE number 822489 (Why is no real title available?)
- Noncommutative Cartan subalgebras of C*-algebras
- Sheaves as modules
- The point of pointless topology
Cited in
(20)- Open maps of involutive quantales
- Quantales and Fell bundles
- The many groupoids of a stably Gelfand quantale
- Semitopological groups, semiclosure semigroups and quantales
- Relational representation of groupoid quantales
- Effective equivalence relations and principal quantales
- Functoriality of groupoid quantales. II
- Morita equivalence of pseudogroups
- Actions of étale-covered groupoids
- Generalising the étale groupoid-complete pseudogroup correspondence
- Functoriality of groupoid quantales. I.
- Quantum B-algebras
- Étale groupoids as germ groupoids and their base extensions.
- The Involutive Quantaloid of Completely Distributive Lattices
- Groupoid quantales: A non-étale setting
- Quantale-Valued Generalizations of Approach Groups
- Topological groupoid quantales
- Groupoid sheaves as quantale sheaves
- Not every complete lattice can support a unital quantale
- Étale groupoids and their quantales
This page was built for publication: Quantales of open groupoids
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q426730)
