Duality for noncommutative frames

DOI10.1016/J.TOPOL.2020.107310MaRDI QIDQ2215637zbMATH OpenOpenAlexFDO

Authors Karin Cvetko Vah, Jens Hemelaer, Lieven Le Bruyn

Publication date 14 December 2020

Published in Topology and its Applications (Search for Journal in Brave)

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

zbMATH Keywords

dissolution localeframe of nucleinoncommutative framenoncommutative toposPriestley dualityskew latticestone duality

Mathematics Subject Classification ID

Frames, locales (06D22) Frames and locales, pointfree topology, Stone duality (18F70)

Abstract: We characterize the left-handed noncommutative frames that arise from sheaves on topological spaces. Further, we show that a general left-handed noncommutative frame $A$ arises from a sheaf on the dissolution locale associated to the commutative shadow of $A$. Both constructions are made precise in terms of dual equivalences of categories, similar to the duality result for strongly distributive skew lattices in arXiv:1206.5848.

Review text

In this interesting investigation, the authors give a noncommutative facet of the well-known equivalence between spatial frames and sober spaces. This new equivalence is given by the adjoint situation for the categories of left-handed noncommutative frames and sheaves for the front topology (this theorem can be seen as a reminisces of the well know fact: every sheaf over a spatial frame is isomorphic to the sheaf of global section of a suitable étale space over the space associated to the spatial frame in play). Among other interesting subjects as noncommutative Priestly duality and sheaves over the dissolution of a locale ( here the dissolution of a locale is the assembly of the locale), with these elements the authors describes an equivalence between \(\mathrm{Shv}(PS)\) the category of pairs \((S,\mathcal{F})\) where \(S\) is a priestley space and \(\mathcal{F}\) is a sheaf on \(S\) with global support and the category \(SDL\) of left-hamded strongly distributive skew lattices with \(0\). As a consequence of this duality the authors obtain the following: These exists a duality between left-handed noncommutative frames and the category of \(\mathrm{Shv}(\mathrm{Loc}_{d})\) the category of sheaves on dissolution locales.

Recommendations

• What is a noncommutative topos?
• Noncommutative frames
• A non-commutative Priestley duality.
• Noncommutative Topologies, Localization, and Sheaves
• A dualizing object approach to noncommutative Stone duality.

Cites work

• A non-commutative Priestley duality.
• Frames and Locales
• scientific article; zbMATH DE number 4090347 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 3536176 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• scientific article; zbMATH DE number 897923 (Why is no real title available?)
• My journey into noncommutative lattices and their theory
• Noncommutative frames
• Normal skew lattices
• Prime Ideal Structure in Commutative Rings
• Recent developments in the theory of skew lattices
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Sheaves in geometry and logic: a first introduction to topos theory
• Skew Boolean algebras
• Skew Boolean algebras and discriminator varieties
• Skew lattices in rings
• Spaces with Boolean assemblies
• Spectral sets
• The arithmetic site
• The sieve topology on the arithmetic site
• What is a noncommutative topos?
• When is the frame of nuclei spatial: a new approach

Cited in

(4)

• A perspective on non-commutative frame theory
• Frame duality properties for projective unitary representations
• Noncommutative frames
• What is a noncommutative topos?

This page was built for publication: Duality for noncommutative frames

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