Let H be an infinite dimensional separable Hilbert space, B (H) the C^*-algebra of all bounded linear operators on H, U (B (H) ) the unitary group of B (H) and K B (H) the ideal of compact operators. Let G be a countable discrete amenable group. We prove the following: For any >0, any finite subset F G, and 00, finite subsets G G and S CG satisfying the following property: For any map: G U (B (H) ) such that \| (fg) - (f) (g) \|<\, \, \, for\, \, all\, \, f, g G\, \, \, and \, \, \, \| (x) \| \|x\|\, \, \, for\, \, all\, \, x S, there is a group homomorphism h: G U (B (H) ) such that \| (f) -h (f) \|<\, \, \, for\, \, \, all\, \, \, f F, where is the linear extension of on the group ring CG and: B (H) B (H) / K is the quotient map. A counterexample is given that the fullness condition above cannot be removed. We actually prove a more general result for separable amenable C^*-algebras.
Huaxin Lin (Mon,) studied this question.