Continuous Fields of C*-Algebras Coming from Group Cocycles and Actions.
In this paper, we prove a covariant version of the Stinespring theorem for Hilbert C*-modules. Also, we show that there is a bijective correspondence between operator valued completely positive maps, (u′, u)-covariant with respect to the dynamical system (G, η, X) on Hilbert C*-modules and (u′, u)-covariant operator valued completely positive maps on the crossed product G ×η X of X by η.
We define the crossed product of a pro-C*-algebra A by a Hilbert A-A pro-C*-bimodule and we show that it can be realized as an inverse limit of crossed products of C*-algebras by Hilbert C*-bimodules. We also prove that under some conditions the crossed products of two Hilbert pro-C*-bimodules over strongly Morita equivalent pro-C*-algebras are strongly Morita equivalent.