Domains of commutative C-subalgebras

DOI10.1109/LICS.2015.49MaRDI QIDQ4635826zbMATH OpenOpenAlexFDO

Authors Chris Heunen, Bert Lindenhovius

Publication date 23 April 2018

Published in 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Selfadjoint operator algebras ((C^*)-algebras, von Neumann ((W^*)-) algebras, etc.) (46L99) Semantics in the theory of computing (68Q55)

Abstract: A C*-algebra is determined to a great extent by the partial order of its commutative C*-algebras. We study order-theoretic properties of this dcpo. Many properties coincide: the dcpo is, equivalently, algebraic, continuous, meet-continuous, atomistic, quasi-algebraic, or quasi-continuous, if and only if the C*-algebra is scattered. For C*-algebras with enough projections, these properties are equivalent to finite-dimensionality. Approximately finite-dimensional elements of the dcpo correspond to Boolean subalgebras of the projections of the C*-algebra, which determine the projections up to isomorphism. Scattered C*-algebras are finite-dimensional if and only if their dcpo is Lawson-scattered. General C*-algebras are finite-dimensional if and only if their dcpo is order-scattered.

Recommendations

• Domains of commutative C*-subalgebras
• Towards a quantum domain theory: order-enrichment and fixpoints in W^*-algebras
• Operator algebras and the operational semantics of probabilistic languages
• The Cuntz semigroup and domain theory
• scientific article; zbMATH DE number 33416

Cited in

(6)

• Submodules in polydomains and noncommutative varieties
• Towards a quantum domain theory: order-enrichment and fixpoints in W^*-algebras
• Domains of commutative C*-subalgebras
• Orthogeometries and AW*-algebras
• The domain algebra of a CP-semigroup.
• Classifying finite-dimensional \(C^*\)-algebras by posets of their commutative \(C^*\)-subalgebras

This page was built for publication: Domains of commutative C-subalgebras

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