In mathematics, a uniformly bounded representation T {\displaystyle T} of a locally compact group G {\displaystyle G} on a Hilbert space H {\displaystyle H} is a homomorphism into the bounded invertible operators which is continuous for the strong operator topology, and such that sup g ∈ G ‖ T g ‖ B ( H ) {\displaystyle \sup _{g\in G}\|T_{g}\|_{B(H)}} is finite. In 1947 Béla Szőkefalvi-Nagy established that any uniformly bounded representation of the integers or the real numbers is unitarizable, i.e. conjugate by an invertible operator to a unitary representation. For the integers this gives a criterion for an invertible operator to be similar to a unitary operator: the operator norms of all the positive and negative powers must be uniformly bounded. The result on unitarizability of uniformly bounded representations was extended in 1950 by Dixmier, Day and Nakamura-Takeda to all locally compact amenable groups, following essentially the method of proof of Sz-Nagy. The result is known to fail for non-amenable groups such as SL(2,R) and the free group on two generators. Dixmier (1950) conjectured that a locally compact group is amenable if and only if every uniformly bounded representation is unitarizable.
Statement Let G be a locally compact amenable group and let Tg be a homomorphism of G into GL(H), the group of an invertible operators on a Hilbert space such that
for every x in H the vector-valued gx on G is continuous; the operator norms of the operators Tg are uniformly bounded. Then there is a positive invertible operator S on H such that S Tg S−1 is unitary for every g in G. As a consequence, if T is an invertible operator with all its positive and negative powers uniformly bounded in operator norm, then T is conjugate by a positive invertible operator to a unitary.
Proof By assumption the continuous functions
f x , y ( g ) = ( T g − 1 x , T g − 1 y ) , {\displaystyle \displaystyle {f_{x,y}(g)=(T_{g}^{-1}x,T_{g}^{-1}y),}}
generate a separable unital C* subalgebra A of the uniformly bounded continuous functions on G. By construction the algebra is invariant under left translation. By amenability there is an invariant state φ on A. It follows that
( x , y ) 0 = φ ( f x , y ) {\displaystyle \displaystyle {(x,y)_{0}=\varphi (f_{x,y})}}
is a new inner product on H satisfying
M − 1 ‖ x ‖ ≤ ‖ x ‖ 0 ≤ M ‖ x ‖ {\displaystyle \displaystyle {M^{-1}\|x\|\leq \|x\|_{0}\leq M\|x\|}}
where
M = sup g ‖ T g ‖ < ∞ . {\displaystyle \displaystyle {M=\sup _{g}\|T_{g}\|<\infty .}}
So there is a positive invertible operator P such that
( x , y ) 0 = ( P x , y ) . {\displaystyle \displaystyle {(x,y)_{0}=(Px,y).}}
By construction
( T g x , T g y ) 0 = ( x , y ) 0 . {\displaystyle \displaystyle {(T_{g}x,T_{g}y)_{0}=(x,y)_{0}.}}
Let S be the unique positive square root of P. Then
… excerpt ends here. Continue reading the full article.
