Abstract
This paper extends the fundamental results of frame theory to a noncommutative setting where the role of locales is taken over by étale localic categories. This involves ideas from quantale theory and from semigroup theory, specifically Ehresmann semigroups, restriction semigroups and inverse semigroups. We prove several main results. To start with, we establish a duality between the category of complete restriction monoids and the category of étale localic categories. The relationship between monoids and categories is mediated by a class of quantales called restriction quantal frames. This result builds on the work of Pedro Resende on the connection between pseudogroups and étale localic groupoids but in the process we both generalize and simplify: for example, we do not require involutions and, in addition, we render his result functorial. A wider class of quantales, called multiplicative Ehresmann quantal frames, is put into a correspondence with those localic categories where the multiplication structure map is semiopen, and all the other structure maps are open. We also project down to topological spaces and, as a result, extend the classical adjunction between locales and topological spaces to an adjunction between étale localic categories and étale topological categories. In fact, varying morphisms, we obtain several adjunctions. Just as in the commutative case, we restrict these adjunctions to spatialsober and coherentspectral equivalences. The classical equivalence between coherent frames and distributive lattices is extended to an equivalence between coherent complete restriction monoids and distributive restriction semigroups. Consequently, we deduce several dualities between distributive restriction semigroups and spectral étale topological categories. We also specialize these dualities for the setting where the topological categories are cancellative or are groupoids. Our approach thus links, unifies and extends the approaches taken in the work by Lawson and Lenz and by Resende.
Original language  English 

Pages (fromto)  378468 
Number of pages  91 
Journal  Advances in Mathematics 
Volume  311 
Early online date  5 Apr 2017 
DOIs  
Publication status  Published  30 Apr 2017 
Keywords
 Quantale
 Frame
 Locale
 Localic category
 Topological category
ASJC Scopus subject areas
 Mathematics(all)
Fingerprint Dive into the research topics of 'A perspective on noncommutative frame theory'. Together they form a unique fingerprint.
Profiles

Mark Lawson
 School of Mathematical & Computer Sciences  Professor
 School of Mathematical & Computer Sciences, Mathematics  Professor
Person: Academic (Research & Teaching)