Covariant Completely Positive Maps

Tianzhou Xu
2003-01-01
Abstract:Let A, B are unital C*-algebras, M is a left-cancellative semigroup with unit, theta is a fixed 2-cocycle of M. alpha: x --> alpha(x). is a hornomorphism from M into the group Aut (A) of automorphisms of A, W is an isometric projective homomorphism from M to B, J is a closed two-sided deal of B, tau is a unital *-homomorphism from C-theta(*)(M) to B/J. An abstract covariant version of Stinespring's dilation theorem is given. It is shown that a W-covariant completely positive map phi from A to B extends to a completely positive map on the (twisted) crossed product C-theta(*) (A, M, alpha). These results are used to give necessary and sufficient conditions for tau to have a completely positive lifting.
What problem does this paper attempt to address?