Suppose that $M$ is a von Neumann algebra with a finite, normal, faithful trace $\tau$. Let $T\colon M\to M$ be a completely positive, normal map.

Can $T$ be extended to a `positively linear map' on $L_0(M)_+$, the positive part of the *-algebra of $\tau$-measurable operators affiliated with $M$?

The idea is obvious. We express a positive element from $L_0(M)$ as the limit of an increasing net of positive elements $(x_a)$ in $M$. In this case we ought to define

$Tx = \sup Tx_a$,

as the net $(Tx_a)$ is increasing due to positivity of $T$. This definition readily works for $T=1_M\cdot \tau$, however in full generality there is an issue with the choice of $(x_a)$. I don't think it is obvious that $Tx$ does not depend on $(x_a)$.

  • 1
    $\begingroup$ Maybe I missing something... But what do you intend to do about "infinite values"? E.g. $\tau$ does extend to $L_0(M)_+$, but it may take the value $\infty$. So what are you hoping to do with general CP maps? $\endgroup$ – Matthew Daws Sep 21 '17 at 8:27
  • $\begingroup$ It seems to me that a normal cp map should extend to a map between extended positive parts of $M$. Would that be helpful? $\endgroup$ – Mateusz Wasilewski Oct 19 '17 at 15:33
  • $\begingroup$ @Wasilwski. What do you mean by the extended positive part of $M$? $\endgroup$ – A beginner mathmatician Jul 29 at 13:00

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.