Localic metric spaces and the localic Gelfand duality

DOI10.1016/J.AIM.2016.03.006zbMATH Open1338.18015arXiv1411.0898OpenAlexW2963871922MaRDI QIDQ266141FDOQ266141

Authors: Simon Henry 

Publication date: 13 April 2016

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

Abstract: In this paper we prove, as conjectured by B.Banachewski and C.J.Mulvey, that the constructive Gelfand duality can be extended into a duality between compact regular locales and unital abelian localic C*-algebras. In order to do so we develop a constructive theory of localic metric spaces and localic Banach spaces, we study the notion of localic completion of such objects and the behaviour of these constructions with respect to pull-back along geometric morphisms.

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

Recommendations

• A globalisation of the Gelfand duality theorem
• Gelfand-type duality for commutative von Neumann algebras
• The spectral theory of commutative C^∗-algebras: The constructive spectrum
• scientific article; zbMATH DE number 971675
• scientific article; zbMATH DE number 1261797
• A horizontal categorification of Gel'fand duality
• A constructive proof of the Gelfand--Kolmogorov theorem
• Spectral decomposition and duality in commutative locally \(C^*\)-algebras
• scientific article; zbMATH DE number 4107476
• Gelfand-Naimark-Stone duality for normal spaces and insertion theorems

zbMATH Keywords

Banach localescompact regualrGelfand dualitylocalesmetric locales

Mathematics Subject Classification ID

General theory of (C^*)-algebras (46L05) Frames, locales (06D22) Categorical logic, topoi (03G30) Topoi (18B25) Constructive operator theory (47S30)

Cites Work

• A globalization of the Hahn-Banach theorem
• Induced representations and Banach \(^*\)-algebraic bundles. With an appendix due to A. Douady and L. Dal Soglio-Herault
• A globalisation of the Gelfand duality theorem
• Frames and Locales
• Title not available (Why is that?)
• An extension of the Galois theory of Grothendieck
• An application of descent to a classification theorem for toposes
• Connected Locally Connected Toposes are Path-Connected
• 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?)

Cited In (11)

• The spectrum of a localic semiring
• Title not available (Why is that?)
• Uniform locales and their constructive aspects
• The spectral theory of commutative C^∗-algebras: The constructive spectrum
• A Gelfand-Type Duality for Coarse Metric Spaces With Property A
• Spectral decomposition and duality in commutative locally \(C^*\)-algebras
• A constructive and functorial embedding of locally compact metric spaces into locales
• Filtral pretoposes and compact Hausdorff locales
• A globalisation of the Gelfand duality theorem
• Gelfand-type duality for commutative von Neumann algebras
• On the locally Minkowski \(\mathrm{GL}^n\) space

This page was built for publication: Localic metric spaces and the localic Gelfand duality

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