Structure of block quantum dynamical semigroups and their product systems

Abstract

W. Paschke's version of Stinespring's theorem associates a Hilbert $C^*$-module along with a generating vector to every completely positive map. Building on this, to every quantum dynamical semigroup (QDS) on a $C^*$-algebra $\mathcal A$ one may associate an inclusion system $E=(E_t)$ of Hilbert $\mathcal A$-$\mathcal A$-modules with a generating unit $ξ=(ξ_t)$. Suppose $\mathcal B$ is a von Neumann algebra, consider $M_2(\mathcal B)$, the von Neumann algebra of $2\times 2$ matrices with entries from $\mathcal B$. Suppose $(Φ_t)_{t\ge 0}$ with $Φ_t=\begin{pmatrix} ϕ_t^1& ψ_t ψ_t^*&ϕ_t^2 \end{pmatrix},$ is a QDS on $M_2(B)$ which acts block-wise and let $(E^i_t)_{t\ge 0}$ be the inclusion system associated to the diagonal QDS $(ϕ^i_t)_{t\ge 0}$ with the generating unit $(ξ_t^i)_{t\ge 0}, i=1,2.$ It is shown that there is a contractive (bilinear) morphism $T=(T_t)_{t\ge0}$ from $(E^2_t)_{t\ge 0}$ to $(E^1_t)_{t\ge 0}$ such that $ψ_t(a)=\langle ξ^1_t, T_t aξ^2_t\rangle $ for all $a\in\mathcal B.$ We also prove that any contractive morphism between inclusion systems of von Neumann $\mathcal B$-$\mathcal B$-modules can be lifted as a morphism between the product systems generated by them. We observe that the $E_0$-dilation of a block quantum Markov semigroup (QMS) on a unital $C^*$-algebra is again a semigroup of block maps.