On the ternary domain of a completely positive map on a Hilbert C*-module

Abstract

We associate to an operator valued completely positive linear map $φ$ on a $C^{\ast }$-algebra $A$ and a Hilbert $C^{\ast }$-module $X$ over $A$ a subset $X_{φ}$ of $X,$ called '\textit{ternary domain}' of $φ$ on $X,$ which is a Hilbert $C^{\ast }$-module over the multiplicative domain of $φ$ and every $φ$-map (i.e., associated quaternary map with $φ$) acts on it as a ternary map. We also provide several characterizations for this set. The ternary domain \ of $φ$ on $A\ $ is a closed two-sided $\ast $-ideal $T_{φ}$ of the multiplicative domain of $φ$. We show that $XT_{φ}=X_{φ}$ and give several characterizations of the set $X_{φ}.$ Furthermore, we establish some relationships between $X_{φ}$ and minimal Stinespring dilation triples associate to $φ$. Finally, we show that every operator valued completely positive linear map $φ$ on a $C^{\ast }$ -algebra $A$ induces a unique (in a some sense) completely positive linear map on the linking algebra of $X$ and we determine its multiplicative domain in terms of the multiplicative domain of $φ$ and the ternary domain of $φ$ on $X$.