Kadison similarity problem

OPENMajorOpen problemProposed 1955 · Full conjecture

Canonical statement

For every unital C∗C^{*}-algebra AA, every complex Hilbert space HH, and every bounded unital algebra homomorphism π:A→B(H)\pi:A\to B(H), there is an invertible S∈B(H)S\in B(H) such that a↦Sπ(a)S−1a\mapsto S\pi(a)S^{-1} is a ∗*-homomorphism.
View source LaTeX
For every unital \(C^{*}\)-algebra \(A\), every complex Hilbert space \(H\), and every bounded unital algebra homomorphism \(\pi:A\to B(H)\), there is an invertible \(S\in B(H)\) such that \(a\mapsto S\pi(a)S^{-1}\) is a \(*\)-homomorphism.

Kadison's similarity problem, posed in 1955, asks whether every bounded unital algebra homomorphism π\pi from a unital C∗C^*-algebra AA into the bounded operators B(H)B(H) on a complex Hilbert space is similar to a ∗*-homomorphism: is there an invertible S∈B(H)S\in B(H) such that a↦Sπ(a)S−1a\mapsto S\pi(a)S^{-1} is a ∗*-homomorphism? The question originates in Kadison's paper on the orthogonalization of operator representations [Kadison1955OperatorAlgebras], and can be viewed as an operator-algebraic analogue of unitarizability questions for bounded group representations.

Many important cases are settled affirmatively. Haagerup solved the problem for cyclic representations [Haagerup1983SimilarityCyclic], and the answer is positive for nuclear C∗C^*-algebras and for the many classes of algebras known to have finite similarity degree, a framework treated systematically in [Pisier2001SimilarityProblems]; a bounded homomorphism is similar to a ∗*-homomorphism precisely when it is completely bounded.

For an arbitrary C∗C^*-algebra the problem remains open; a positive solution amounts to showing that every bounded unital homomorphism of a C∗C^*-algebra is automatically completely bounded.

The boxed statement is the canonical open formulation — not a stronger variant or a related research program. The status reflects the catalog's last review; do your own literature search before investing serious effort.