A solution to Haagerup's problem and positive Hahn-Banach separation theorems in operator algebras

Abstract

We affirmatively resolve a question posed by Uffe Haagerup in 1975 on the positive version of the bipolar theorem on the dual spaces of C${}^{\ast }$-algebras. As a direct consequence, we obtain a complete set of four positive Hahn-Banach separation theorems on von Neumann algebras, their preduals, C${}^{\ast }$-algebras, and their duals. Furthermore, with the idea used to solve the problem, we simplify Haagerup's original solution to Dixmier's problem on normal weights.

v3: 7 pages, final version, to appear in Journal of Functional Analysis