Étale groupoids and their quantales

Abstract We establish close and previously unknown relations between quantales and groupoids. 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 here are 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 (non-functorial) 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.

[1]  I. Moerdijk,et al.  Sheaves in geometry and logic: a first introduction to topos theory , 1992 .

[2]  A. Paterson,et al.  Groupoids, Inverse Semigroups, and their Operator Algebras , 1998 .

[3]  Pedro Resende,et al.  On quantales that classify C*-algebras ∗ , 2004 .

[4]  A homology theory for étale groupoids , 1999, math/9905011.

[5]  Joan Wick Pelletier,et al.  On the quantisation of points , 2001 .

[6]  Bob Coecke,et al.  Current research in operational quantum logic : algebras, categories, languages , 2000 .

[7]  Pedro Resende,et al.  A Noncommutative Theory of Penrose Tilings , 2003, math/0306361.

[8]  J. Robin B. Cockett,et al.  Restriction categories I: categories of partial maps , 2002, Theor. Comput. Sci..

[9]  P. Johnstone.  Sketches of an Elephant , 2007 .

[10]  Ieke Moerdijk,et al.  Introduction to Foliations and Lie Groupoids: Prerequisites , 2003 .

[11]  C. Mulvey,et al.  A globalization of the Hahn-Banach theorem , 1991 .

[12]  K. Mackenzie,et al.  General theory of lie groupoids and lie algebroids , 2005 .

[13]  Francis Borceux,et al.  Quantales and C∗‐Algebras , 1989 .

[14]  Calvin C. Moore,et al.  Operator Algebras and their Connections with Topology and Ergodic Theory , 1985 .

[15]  P. Johnstone.  Sketches of an Elephant: A Topos Theory Compendium Volume 1 , 2002 .

[16]  P. Resende.  A Note on Infinitely Distributive Inverse Semigroups , 2005, math/0506454.

[17]  K. I. Rosenthal.  Quantales and their applications , 1990 .

[18]  David Moore,et al.  Current Research in Operational Quantum Logic , 2000 .

[19]  C. Dodson,et al.  LIE GROUPOIDS AND LIE ALGEBROIDS IN DIFFERENTIAL GEOMETRY , 1988 .

[20]  Jirí Rosický,et al.  On Quantales and Spectra of C*-Algebras , 2003, Appl. Categorical Struct..

[21]  M. Lawson.  Inverse Semigroups, the Theory of Partial Symmetries , 1998 .

[22]  J. Renault.  A Groupoid Approach to C*-Algebras , 1980 .

[23]  Francis Borceux,et al.  Quantales and C-star-algebras , 1989 .

[24]  Pedro Resende,et al.  Sup-lattice 2-forms and quantales ∗ , 2002 .

[25]  Andrew Lesniewski,et al.  Noncommutative Geometry , 1997 .

[26]  Joan Wick Pelletier,et al.  On the quantisation of spaces , 2002 .

[27]  A. Joyal,et al.  An extension of the Galois theory of Grothendieck , 1984 .

[28]  M. Hazewinkel.  Encyclopaedia of mathematics , 1987 .