File(s) not publicly available
On the quantisation of points
journal contribution
posted on 2023-06-07, 23:26 authored by Christopher J Mulvey, Joan Wick PelletierIn the study of quantales arising naturally in the context of -algebras, Gelfand quantales have emerged as providing the basic setting. In this paper, the problem of defining the concept of point of the spectrum of a -algebra A, which is one of the motivating examples of a Gelfand quantale, is considered. Intuitively, one feels that points should correspond to irreducible representations of A. Classically, the notions of topological and algebraic irreducibility of a representation are equivalent. In terms of quantales, the irreducible representations of a -algebra A are shown to be captured by the notion of an algebraically irreducible representation of the Gelfand quantale on an atomic orthocomplemented sup-lattice S, defined in terms of a homomorphism of Gelfand quantales to the Hilbert quantale of sup-preserving endomorphisms on S. This characterisation leads to a concept of point of an arbitrary Gelfand quantale Q as a map of Gelfand quantales into a Hilbert quantale , the inverse image homomorphism of which is an algebraically irreducible representation of Q on the atomic orthocomplemented sup-lattice S. The aptness of this definition of point is demonstrated by observing that in the case of locales it is exactly the classical notion of point, while the Hilbert quantale of an atomic orthocomplemented sup-lattice S has, up to equivalence, exactly one point. In this sense, the Hilbert quantale is considered to be a quantised version of the one-point space.
History
Publication status
- Published
Journal
Journal of Pure and Applied AlgebraISSN
0022-4049Publisher
ElsevierExternal DOI
Issue
2-3Volume
159Page range
231-295Department affiliated with
- Mathematics Publications
Full text available
- No
Peer reviewed?
- Yes
Legacy Posted Date
2012-02-06Usage metrics
Categories
No categories selectedKeywords
Licence
Exports
RefWorks
BibTeX
Ref. manager
Endnote
DataCite
NLM
DC