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
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