On the Quasitrace Problem and a Characterization of W*-algebras

We conjecture that a unital C${}^{\ast }$-algebra is a W${}^{\ast }$-algebra if and only if each of its maximal abelian self-adjoint subalgebras is a W${}^{\ast }$-algebra; this is a space-free analogue of a known result due to G.K. Pedersen. Our main result is a proof that this characterization holds for finite C${}^{\ast }$-algebras if and only if every $2$-quasitrace on a unital C${}^{\ast }$-algebra is a trace. We also show that the condition in (the spatial version of) Pedersen’s Theorem can be substantially weakened in the case of countably decomposable AW${}^{\ast }$-factors. We conclude with a preliminary result that allows us to relate the question of (quasi)linearity of functionals on AW${}^{\ast }$-algebras to the question of monotone completeness of AW${}^{\ast }$-algebras.