 Main
Operator algebras in Solovay's model
 Kornell, Andre Val
 Advisor(s): Rieffel, Marc A
Abstract
We develop the theory of operator algebras in the Solovay model obtained by applying Solovay's construction to a countable transitive model of the axiom of constructibility. We exposit an approach to verifying familiar theorems in the Solovay model by appealing to its absoluteness properties. In this way, we verify a substantial portion of the elementary theory of operator algebras. In this Solovay model, we define a continuum analog of the ultraweak topology, which we call the continuumweak topology. We define a V*algebra to be a concrete algebra of operators that is closed in the continuumweak topology. We show that every separable C*algebra has an enveloping V*algebra. If the separable C*algebra is commutative, then its enveloping V*algebra is isomorphic to the V*algebra of bounded complexvalued functions on its spectrum. More generally, if the separable C*algebra is type I, then its enveloping V*algebra is isomorphic to a direct sum of type I factors, one for each irreducible representation.
Main Content
Enter the password to open this PDF file:













