[Paper Review] Generalised Gelfand Spectra of Nonabelian Unital $C^*$-Algebras I: Categorical Aspects, Automorphisms and Jordan Structure

Andreas Doering|arXiv (Cornell University)|Dec 11, 2012

Advanced Operator Algebra Research8 citations

TL;DR

This paper introduces the spectral presheaf Σ^A as a generalized Gelfand spectrum for nonabelian unital C*-algebras, establishing a contravariant functor from the category of unital C*-algebras to a category of presheaves. It shows that the spectral presheaf determines the Jordan structure up to isomorphism for a broad class of C*-algebras, including all von Neumann algebras without type I_2 summands, and classifies nonabelian C*-algebras up to quasi-Jordan isomorphism via their spectral presheaves.

ABSTRACT

To each unital C*-algebra A we associate a presheaf \Sigma^A, called the spectral presheaf of A, which can be regarded as a generalised Gelfand spectrum. We develop a categorical notion of local duality and show that there is a contravariant functor from the category of unital C*-algebras to a suitable category of presheaves containing the spectral presheaves. We clarify how much algebraic information about a C*-algebra is contained in its spectral presheaf. A nonabelian unital C*-algebra A that is neither isomorphic to C^2 nor to B(C^2) is determined by its spectral presheaf up to quasi-Jordan isomorphisms. For a particular class of unital C*-algebras, including all von Neumann algebras with no type I_2 summand, the spectral presheaf determines the Jordan structure up to isomorphisms.

Motivation & Objective

• To generalize the Gelfand duality concept beyond abelian C*-algebras to nonabelian unital C*-algebras.
• To develop a categorical framework for local duality in C*-algebras using presheaves.
• To determine how much algebraic structure of a C*-algebra is encoded in its spectral presheaf.
• To clarify the extent to which spectral presheaves classify C*-algebras up to Jordan isomorphism.
• To establish conditions under which the spectral presheaf determines the Jordan structure of a C*-algebra.

Proposed method

• Construct the spectral presheaf Σ^A as a presheaf over the poset of commutative C*-subalgebras of A.
• Define a contravariant functor from the category of unital C*-algebras to a category of presheaves, embedding C*-algebras into a presheaf framework.
• Introduce a notion of local duality within the categorical framework of presheaves.
• Use the spectral presheaf to recover the Jordan structure of a C*-algebra up to isomorphism for algebras without type I_2 summands.
• Establish that nonabelian unital C*-algebras not isomorphic to C^2 or B(C^2) are determined up to quasi-Jordan isomorphism by their spectral presheaves.
• Apply categorical and structural analysis to relate automorphisms and Jordan algebraic properties to the spectral presheaf.

Experimental results

Research questions

• RQ1 To what extent does the spectral presheaf Σ^A encode the algebraic structure of a nonabelian unital C*-algebra A?
• RQ2 Can the spectral presheaf determine the Jordan structure of a C*-algebra up to isomorphism?
• RQ3 How do automorphisms of a C*-algebra relate to automorphisms of its spectral presheaf?
• RQ4 What is the categorical relationship between unital C*-algebras and their spectral presheaves?
• RQ5 Which C*-algebras are fully characterized by their spectral presheaves up to quasi-Jordan isomorphism?

Key findings

• The spectral presheaf Σ^A provides a generalized Gelfand spectrum for nonabelian unital C*-algebras.
• There exists a contravariant functor from the category of unital C*-algebras to a category of presheaves, embedding C*-algebras via their spectral presheaves.
• For nonabelian unital C*-algebras not isomorphic to C^2 or B(C^2), the spectral presheaf determines the algebra up to quasi-Jordan isomorphism.
• For all von Neumann algebras without a type I_2 summand, the spectral presheaf determines the Jordan structure up to isomorphism.
• The spectral presheaf captures sufficient information to reconstruct the Jordan algebraic structure in a broad class of C*-algebras.
• The construction establishes a categorical framework for local duality in nonabelian C*-algebras through presheaf-theoretic methods.