English

Hann-Banach-Arveson extension theorem and Kadison isomorphism

Operator Algebras 2018-08-28 v9

Abstract

Let C(\cls)C^*(\cls) be the CC^* algebra generated by an operator system \cls\cls i.e. a unital *-closed subspace of a unital CC^* algebra \cla\cla. We prove that any complete order isomorphism \cli:\cls\raro\cls\cli:\cls \raro \cls' between two such operator systems of matrix algebras has a unique extension to a CC^*-isomorphism \cli:C(\cls)\raroC(\cls)\cli:C^*(\cls) \raro C^*(\cls'). However, the same statement with more general operator systems of infinite dimensional CC^*-algebra is false. As an application of this result, we characterise upto cocycle conjugacy the extreme points of unital completely positive maps on matrix algebra.

Keywords

Cite

@article{arxiv.1304.6849,
  title  = {Hann-Banach-Arveson extension theorem and Kadison isomorphism},
  author = {Anilesh Mohari},
  journal= {arXiv preprint arXiv:1304.6849},
  year   = {2018}
}

Comments

The paper needs further correction and stated main theorem is false unless we add some more structures to it! Such a generalisation is finally aimed to classify extremal elements of unital completely positive map