An equivariant completely bounded linear operator between two C*-algebras acted on by an amenable group is shown to lift to a completely bounded operator between the crossed products that is equivariant with respect to the dual coactions. A similar result is proved for coactions and dual actions. It is shown that the only equivariant linear operators that lift twice through the action and dual coaction of an infinite group are the completely bounded ones. 1. Introduction. Let Φ: A -» B be a bounded linear map between C* -algebras, and let a: G —• A\x\A and β: G —> Auti? be actions of an amenable locally compact group G. If Φ is a homomorphism and is equivariant—i .e., Φ(as(a)) = βs(Φ(a)) for s e G, a e A —then it extends to a homomorphism Φ x i from the crossed product A xaG to B XJ^ G. On the other hand, if C is another C*-algebra, then for any completely bounded map Φ: A —• B there is a bounded operator Φ x i: A® C -^ B ® C; indeed, by taking C to be the algebra 3£ of compact operators, we can see that the complete boundedness of Φ is necessary for this to be true. We shall combine these results to prove that any equivariant completely bounded operator extends to a bounded map on the crossed product, formulate and prove the analogous results for crossed products by coactions of nonabelian groups, and investigate the extent to which complete boundedness is a necessary hypothesis. We shall take similar approaches to the problems of lifting through actions and coactions. First, we prove equivariant versions of Stinespring's theorem [23] on completely positive maps into 3§{%f), and we then show how to modify Wittstock's theorem [25] to write an equivariant symmetric completely bounded map into 3S{^) as a difference of equivariant completely positive ones. From these we can use standard symmetrisation techniques to deduce that an equivariant completely bounded operator Φ: A —•ϊ%W) can be realized in the form Φ(a) = Tπ(a)V, where π is part of a covariant representation (π, U) of (A9G,ά) in some larger Hubert space. We can then define
Read full abstract