Localic metric spaces and the localic Gelfand duality

DOI10.1016/J.AIM.2016.03.006MaRDI QIDQ266141zbMATH OpenOpenAlexFDO

Authors Simon Henry

Publication date 13 April 2016

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

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

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)

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.

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

Cites work

• scientific article; zbMATH DE number 4181603 (Why is no real title available?)
• scientific article; zbMATH DE number 4093447 (Why is no real title available?)
• scientific article; zbMATH DE number 3672982 (Why is no real title available?)
• scientific article; zbMATH DE number 3759128 (Why is no real title available?)
• scientific article; zbMATH DE number 626734 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• scientific article; zbMATH DE number 3234211 (Why is no real title available?)
• scientific article; zbMATH DE number 2222240 (Why is no real title available?)
• A globalisation of the Gelfand duality theorem
• A globalization of the Hahn-Banach theorem
• An application of descent to a classification theorem for toposes
• An extension of the Galois theory of Grothendieck
• Connected Locally Connected Toposes are Path-Connected
• Frames and Locales
• Induced representations and Banach ^*-algebraic bundles. With an appendix due to A. Douady and L. Dal Soglio-Herault

Cited in

(11)

• The spectrum of a localic semiring
• scientific article; zbMATH DE number 3962708 (Why is no real title available?)
• 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)