A short proof of the homomorphic property for Fock-adapted regular Markovian cocycles is given for two cases. The first is new, and facilitates dilation of quantum dynamical semigroups on a separable C * -algebra.
IntroductionLet j be a Fock-adapted regular Markovian cocycle on A with noise dimension space k, where A is a unital C * -algebra acting on a Hilbert space h, and k is a separable Hilbert space. If j is completely bounded (CB) then the cocycle relation it enjoys may be expressed simplywhere σ is the Fock space shift semigroup and s is the map between matrix spaces M(F s ; A) b and M(F; A) b (defined below) induced by j s . Regularity for the cocycle means that its associated semigroups are norm continuous. If j is completely positive and contractive then it has a CB stochastic generator where k := C ⊕ k and P is the orthogonal projection in B( k) with range k ⊂ k. Conversely, (0.2) entails complete boundedness of θ, which implies that θ generates a regular Markovian cocycle j on A; 10 in turn (0.2) also implies that j is completely positive and contractive (Lemma 2.1 below). The question we seek to answer is when is j multiplicative too, and so * -homomorphic? When k has finite dimension d, Evans 3 proved multiplicativity by showing that the difference J t (a, b, ζ, η) := j t (a)ζ, j t (b)η − ζ, j t (a * b)η satisfies3)