Manuscript Oai069-A@1 · Oai069-A.tex · proposition · a4913aab

Proposition: Complex-linear equivalence need not preserve positivity

An explicit abelian local-system category › Positive channels require more than the categorical equivalence · lines 569–590 · proof included or linked

Oai069-A@1#prop:nopositive

Back to manuscript

An equivalence of complex-linear categories can induce an endomorphism-algebra isomorphism that is not positive with respect to a chosen Hilbert adjoint.

Proof. On a one-object complex-linear category with endomorphism algebra , take

This is an algebra automorphism and hence a category equivalence. It sends the Hermitian matrix to

which is not Hermitian. A positive linear map sends Hermitian matrices to Hermitian matrices, so this automorphism is not positive for the fixed Hilbert structure.

Displayed formulas in this passage

  • unlabeled · line 579

  • unlabeled · line 584

Nearby in this section