Etale groupoids and their quantales

Abstract

We establish a close and previously unknown relation between quantales and groupoids, in terms of which the notion of etale groupoid is subsumed in a natural way by that of quantale. In particular, to each etale groupoid, either localic or topological, there is associated a unital involutive quantale. We obtain a bijective correspondence between localic etale groupoids and their quantales, which are given a rather simple characterization and are here called inverse quantal frames. We show that the category of inverse quantal frames is equivalent to the category of complete and infinitely distributive inverse monoids, and as a consequence we obtain a correspondence between these and localic etale groupoids that generalizes more classical results concerning inverse semigroups and topological etale groupoids. This generalization is entirely algebraic and it is valid in an arbitrary topos. As a consequence of these results we see that a localic groupoid is etale if and only if its sublocale of units is open and its multiplication map is semiopen, and an analogue of this holds for topological groupoids. In practice we are provided with new tools for constructing localic and topological etale groupoids, as well as inverse semigroups, for instance via presentations of quantales by generators and relations. The characterization of inverse quantal frames is to a large extent based on a new quantale operation, here called a support, whose properties are thoroughly investigated, and which may be of independent interest.

Version 3 contains 16 additional pages (now the total is 75) and completes the characterization of etale groupoid quantales; in particular it is proved that every inverse quantal frame is multiplicative

References in corpus (2)

• Restriction categories III: colimits, partial limits, and extensivity
• On quantales that classify C*-algebras

Cited by in corpus (55)

• Relative Frobenius algebras are groupoids
• Quantale Modules and their Operators, with Applications
• Spectral Continuity for Aperiodic Quantum Systems I. General Theory
• A perspective on non-commutative frame theory
• Semigroup and Category-Theoretic Approaches to Partial Symmetry
• A Groupoid Approach to Discrete Inverse Semigroup Algebras
• Groupoid sheaves as quantale sheaves
• Quantale Modules, with Applications to Logic and Image Processing
• The dynamics of partial inverse semigroup actions
• Quantales of open groupoids
• General Non-Commutative Locally Compact Locally Hausdorff Stone Duality
• Relational symplectic groupoids and Poisson sigma models with boundary
• An Algebraic Approach to the Weyl Groupoid
• Strong Morita Equivalence of Inverse Semigroups
• Symmetry and Cauchy completion of quantaloid-enriched categories
• Sheaves as modules
• Iterated crossed products for groupoid fibrations
• Distributive inverse semigroups and non-commutative Stone dualities
• Contextuality and noncommutative geometry in quantum mechanics
• Functoriality of groupoid quantales. I
• Tensor Topology
• Open quotients of trivial vector bundles
• A general Banach-Stone type theorem and applications
• An algebraic generalization of Kripke structures
• The many groupoids of a stably Gelfand quantale
• Hausdorff Tight Groupoids Generalised
• Quantales and Fell bundles
• Realizing ultragraph Leavitt path algebras as Steinberg algebras
• Linear structures on locales
• Morita equivalence of pseudogroups
• C*-bundle dynamical systems
• The ideal intersection property for essential groupoid C*-algebras
• An abstract theory of physical measurements
• Open maps of involutive quantales
• Spectral C*-categories and Fell bundles with path-lifting
• Actions of étale-covered groupoids
• Groupoid actions as quantale modules
• On a class of countable Boolean inverse monoids and Matui's spatial realization theorem
• Pseudogroups and their etale groupoids
• Effective equivalence relations and principal quantales
• On the geometry of physical measurements: topological and algebraic aspects
• Functoriality of groupoid quantales. II
• Relating ample and biample topological categories with Boolean restriction and range semigroups
• Étale inverse semigroupoids - the fundamentals
• A non-commutative generalization of Stone duality
• Principal bundles of open groupoids
• Tarski monoids: Matui's spatial realization theorem
• The etale groupoid of an inverse semigroup as a groupoid of filters
• Two partial monoid structures on a set
• Sheaf theoretic characterization of etale groupoids
• Invariant means on Boolean inverse monoids
• Groupoid Quantales: a non étale setting
• Quantales as geometric objects: symmetry beyond groupoids?
• Boolean inverse semigroups and their type monoids
• Limits of groupoid C*-algebras arising from open covers