[Paper Review] Two New Complete Invariants of von Neumann Algebras

Andreas Döring|arXiv (Cornell University)|Nov 20, 2014

Advanced Operator Algebra Research15 references6 citations

TL;DR

This paper introduces two new complete invariants—oriented context category and oriented spectral presheaf—for von Neumann algebras that are not isomorphic to ℂ ⊕ ℂ and lack type I₂ direct summands. By leveraging categorical and spectral structures, the authors prove these invariants fully classify such algebras up to isomorphism, offering a novel framework for structural analysis in operator algebras.

ABSTRACT

We show that the oriented context category and the oriented spectral presheaf are complete invariants of a von Neumann algebra not isomorphic to C ⊕ C and with no direct summand of type I2.

Motivation & Objective

• To identify new complete invariants for von Neumann algebras beyond standard classification tools.
• To address the limitation of existing invariants in distinguishing algebras with specific type I₂ summands.
• To establish that the oriented context category and oriented spectral presheaf uniquely determine a von Neumann algebra up to isomorphism when excluding C⊕C and type I₂ components.
• To extend the categorical and spectral approach to operator algebras using order-theoretic and topos-theoretic structures.

Proposed method

• Construct the oriented context category as a category of projections and commutative subalgebras with orientation data reflecting order structure.
• Define the oriented spectral presheaf as a presheaf over the oriented context category, encoding spectral information with orientation-sensitive assignments.
• Use the spectral presheaf construction to recover the underlying algebra via a duality principle in the topos-theoretic framework.
• Apply the Gel'fand-Naimark duality in a generalized form to relate the presheaf to the original von Neumann algebra.
• Establish isomorphism invariance by showing that isomorphic algebras yield isomorphic invariants.
• Prove completeness by demonstrating that non-isomorphic algebras yield non-isomorphic invariants under the specified exclusion conditions.

Experimental results

Research questions

• RQ1 Can the oriented context category serve as a complete invariant for von Neumann algebras not isomorphic to ℂ ⊕ ℂ and without type I₂ summands?
• RQ2 Does the oriented spectral presheaf uniquely reconstruct the original von Neumann algebra under the same restrictions?
• RQ3 How do orientation structures refine the standard spectral presheaf construction in the context of operator algebras?
• RQ4 To what extent do these invariants distinguish algebras that are otherwise indistinguishable via standard invariants?
• RQ5 What is the role of the type I₂ summand in obstructing the completeness of these invariants?

Key findings

• The oriented context category is a complete invariant for von Neumann algebras not isomorphic to ℂ ⊕ ℂ and with no type I₂ direct summand.
• The oriented spectral presheaf is a complete invariant under the same algebraic restrictions.
• The invariants fully classify such algebras up to isomorphism, meaning isomorphic algebras yield isomorphic invariants and vice versa.
• The construction relies on a refined duality between the algebraic structure and its spectral data, enhanced by orientation data.
• The exclusion of ℂ ⊕ ℂ and type I₂ summands is necessary, as these cases admit non-isomorphic algebras with isomorphic invariants.
• The results extend the applicability of topos-theoretic methods in the classification of von Neumann algebras.