Kadison similarity problem

OPENMajorOpen problemProposed 1955 · Full conjecture

Canonical statement

For every unital CC^{*}-algebra AA, every complex Hilbert space HH, and every bounded unital algebra homomorphism π:AB(H)\pi:A\to B(H), there is an invertible SB(H)S\in B(H) such that aSπ(a)S1a\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 CC^*-algebra AA into the bounded operators B(H)B(H) on a complex Hilbert space is similar to a *-homomorphism: is there an invertible SB(H)S\in B(H) such that aSπ(a)S1a\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 CC^*-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 CC^*-algebra the problem remains open; a positive solution amounts to showing that every bounded unital homomorphism of a CC^*-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.