Gelfand spectra in Grothendieck toposes using geometric mathematics

MaRDI QIDQ4995148zbMATH OpenFDO

Authors Bas Spitters, Steven Vickers, Sander A. M. Wolters

Publication date 23 June 2021

Full work available at URL https://arxiv.org/abs/1310.0705, http://eptcs.web.cse.unsw.edu.au/paper.cgi?QPL2012.7

zbMATH Keywords

\(C^*\)-algebraGelfand spectrumsheaves on a localetopos

Mathematics Subject Classification ID

Grothendieck topologies and Grothendieck topoi (18F10) General theory of (C^*)-algebras (46L05) Operator algebra methods applied to problems in quantum theory (81R15)

Abstract: In the (covariant) topos approach to quantum theory by Heunen, Landsman and Spitters, one associates to each unital C*-algebra, A, a topos T(A) of sheaves on a locale and a commutative C*-algebra, a, within that topos. The Gelfand spectrum of a is a locale S in this topos, which is equivalent to a bundle over the base locale. We further develop this external presentation of the locale S, by noting that the construction of the Gelfand spectrum in a general topos can be described using geometric logic. As a consequence, the spectrum, seen as a bundle, is computed fibrewise. As a by-product of the geometricity of Gelfand spectra, we find an explicit external description of the spectrum whenever the topos is a functor category. As an intermediate result we show that locally perfect maps compose, so that the externalization of a locally compact locale in a topos of sheaves over a locally compact locale is locally compact, too.

Recommendations

• The Gelfand spectrum of a noncommutative C^*-algebra: a topos-theoretic approach
• A topos for algebraic quantum theory
• Spectral presheaves, Kochen-Specker contextuality, and quantale-valued relations
• Intuitionistic quantum logic of an \(n\)-level system
• The spectral theory of commutative C^∗-algebras: The constructive spectrum

Cited in

(9)

• (Almost) \({C}^\ast\)-algebras as sheaves with self-action
• A globalisation of the Gelfand duality theorem
• The spectral theory of commutative C^∗-algebras: The constructive spectrum
• The Gelfand spectrum of a noncommutative C^*-algebra: a topos-theoretic approach
• scientific article; zbMATH DE number 2070132 (Why is no real title available?)
• Generalized spaces for constructive algebra
• scientific article; zbMATH DE number 5230829 (Why is no real title available?)
• Ortho-sets and Gelfand spectra
• Compact Hausdorff locales in presheaf toposes

This page was built for publication: Gelfand spectra in Grothendieck toposes using geometric mathematics

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