A perspective on non-commutative frame theory

DOI10.1016/J.AIM.2017.02.028zbMATH Open1423.06041arXiv1404.6516OpenAlexW2963774568MaRDI QIDQ2400516FDOQ2400516

Mark V. Lawson, Ganna Kudryavtseva

Publication date: 29 August 2017

Published in: Advances in Mathematics (Search for Journal in Brave)

Abstract: This paper extends the fundamental results of frame theory to a non-commutative setting where the role of locales is taken over by 'etale localic categories. This involves ideas from quantale theory and from semigroup theory, specifically Ehresmann semigroups, restriction semigroups and inverse semigroups. We establish a duality between the category of complete restriction monoids and the category of 'etale 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 'etale 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. We also project down to topological spaces and, as a result, extend the classical adjunction between locales and topological spaces to an adjunction between 'etale localic categories and 'etale topological categories. In fact, varying morphisms, we obtain several adjunctions. Just as in the commutative case, we restrict these adjunctions to spatial-sober and coherent-spectral 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 'etale 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.

Full work available at URL: https://arxiv.org/abs/1404.6516

zbMATH Keywords

Boolean algebraframeinverse semigrouplocalequantaledistributive latticespectral spacetopological categorypseudogrouprestriction semigroup[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=%EF%BF%BD%EF%BF%BDtale+groupoid&go=Go ��tale groupoid]spatial frameSober spaceample semigroupEhresmann semigroup[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=%EF%BF%BD%EF%BF%BDtale+category&go=Go ��tale category]localic categoryweakly \(e\)-ample semigroup

Mathematics Subject Classification ID

Frames, locales (06D22) Groupoids, semigroupoids, semigroups, groups (viewed as categories) (18B40) Topological groupoids (including differentiable and Lie groupoids) (22A22) Quantales (06F07) Inverse semigroups (20M18) Stone spaces (Boolean spaces) and related structures (06E15)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Inverse semigroups and combinatorial \(C^*\)-algebras
• A groupoid approach to C*-algebras
• A groupoid approach to discrete inverse semigroup algebras
• Cohesive categories and manifolds
• Semigroups and ordered categories. I: The reduced case
• Groupoids, inverse semigroups, and their operator algebras
• Refinement monoids, equidecomposability types, and Boolean inverse semigroups
• Pseudogroups and their étale groupoids.
• ON AN ORDER-BASED CONSTRUCTION OF A TOPOLOGICAL GROUPOID FROM AN INVERSE SEMIGROUP
• The Polycyclic MonoidsP_nand the Thompson GroupsV_n,1
• Restriction categories. I: Categories of partial maps
• Étale groupoids and their quantales
• Sheaves as modules
• The local structure of tilings and their integer group of coinvariants
• Classical finite transformation semigroups. An introduction.
• A NONCOMMUTATIVE GENERALIZATION OF STONE DUALITY
• On multisemigroups.
• Tight representations of semilattices and inverse semigroups.
• Topological equivalence of tilings
• Restriction Semigroups and Inductive Constellations
• The étale groupoid of an inverse semigroup as a groupoid of filters.
• Range categories. I: General theory

Cited In (18)

• Generalising the étale groupoid-complete pseudogroup correspondence
• On Ehresmann semigroups
• Quotients of the Booleanization of an Inverse Semigroup
• Invariant means on Boolean inverse monoids
• Proper Ehresmann semigroups
• Effective equivalence relations and principal quantales
• General non-commutative locally compact locally Hausdorff Stone duality
• Ehresmann theory and partition monoids
• Difference-restriction algebras of partial functions with operators: discrete duality and completion
• Difference-restriction algebras of partial functions: axiomatisations and representations
• Hausdorff tight groupoids generalised
• Subgroups of the group of homeomorphisms of the Cantor space and a duality between a class of inverse monoids and a class of Hausdorff étale groupoids
• A tribute to John B. Fountain
• Étale categories, restriction semigroups, and their operator algebras
• Non-commutative Stone duality
• Actions of étale-covered groupoids
• Noncommutative Pierce duality between Steinberg rings and ample ringoid bundles
• Recent developments in inverse semigroup theory

Recommendations

• Title not available (Why is that?) 👍 👎
• Observations on noncommuting coordinates and on fields depending on them 👍 👎
• A note on space noncommutativity 👍 👎
• Non-commutative perspectives 👍 👎
• A minimal framework for non-commutative quantum mechanics 👍 👎
• Frame expansions with erasures: an approach through the non-commutative operator theory 👍 👎
• Duality for noncommutative frames 👍 👎
• Noncommutative frames 👍 👎
• Noncommutative frames revisited 👍 👎

This page was built for publication: A perspective on non-commutative frame theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2400516)