Manuscript Oai290-A@1 · Oai290-A.tex · proposition · 7c6e104a

Proposition: Scalar centralizer is not a finite-code assumption

A separately typed modular bounded-witness module › No finite-code identification · lines 1601–1616 · proof included or linked

Oai290-A@1#prop:finitecentralizer

Back to manuscript

A finite-dimensional von Neumann algebra with a faithful state and scalar modular centralizer is .

Proof. The center is fixed by every modular automorphism. A scalar centralizer therefore forces the finite algebra to be a matrix factor . Write the faithful state with positive density matrix . Its modular group is . If , the commutant of contains nontrivial spectral projections, or all of if is scalar. The centralizer cannot be scalar. Thus .

Nearby in this section