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

v a r p h i

on a

C^{a s t}

-algebra

A

and a Hilbert

C^{a s t}

-module

X

over

A

a subset

X_{v a r p h i}

of

X,

called ' extit{ternary domain}' of

v a r p h i

on

X,

which is a Hilbert

C^{a s t}

-module over the multiplicative domain of

v a r p h i

and every

v a r p h i

-map (i.e., associated quaternary map with

v a r p h i

) acts on it as a ternary map. We also provide several characterizations for this set. The ternary domain of

v a r p h i

on

A

is a closed two-sided

a s t

-ideal

T_{v a r p h i}

of the multiplicative domain of

v a r p h i

. We show that

X T_{v a r p h i} = X_{v a r p h i}

and give several characterizations of the set

X_{v a r p h i} .

Furthermore, we establish some relationships between

X_{v a r p h i}

and minimal Stinespring dilation triples associate to

v a r p h i

. Finally, we show that every operator valued completely positive linear map

v a r p h i

on a

C^{a s t}

-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

v a r p h i

and the ternary domain of

v a r p h i

on

X

.

Recommendations

Cites work

Cited in

(3)

This page was built for publication: On the ternary domain of a completely positive map on a Hilbert \(C^{\ast }\)-module