[論文レビュー] 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 Research被引用数 8

ひとこと要約

この論文は、非可換単位的 C*-代数の一般化された Gelfand スペクトルとして、スペクトル・プレシャーフ Σ^A を導入し、単位的 C*-代数の圏からプレシャーフの圏への反変関手を確立する。非可換単位的 C*-代数の広いクラス、特に型 I_2 和成分を含まないすべての von Neumann 代数に対して、スペクトル・プレシャーフが Jordan 構造を同型を除いて決定することを示し、非可換 C*-代数がそのスペクトル・プレシャーフによって quasi-Jordan 同型を除いて分類可能であることを示す。

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.

研究の動機と目的

• 可換でない C*-代数へまで Gelfand 双対性の概念を一般化すること。
• プレシャーフを用いたカテゴリカルな枠組みを構築し、C*-代数における局所的双対性を扱うこと。
• C*-代数の代数的構造のうち、そのスペクトル・プレシャーフにどれほど符号化されているかを特定すること。
• スペクトル・プレシャーフが C*-代数を Jordan 同型を除いてどの程度分類可能であるかを明確にすること。
• スペクトル・プレシャーフが C*-代数の Jordan 構造を同型を除いて決定する条件を確立すること。

提案手法

• A の可換 C*-部分代数の順序集合上のプレシャーフとしてスペクトル・プレシャーフ Σ^A を構成する。
• 単位的 C*-代数の圏からプレシャーフの圏への反変関手を定義し、C*-代数をそのスペクトル・プレシャーフを介してプレシャーフ枠組みに埋め込む。
• プレシャーフのカテゴリカルな枠組み内での局所的双対性の概念を導入する。
• 型 I_2 和成分を含まない代数に対して、スペクトル・プレシャーフを用いて Jordan 構造を同型を除いて回復する。
• C^2 や B(C^2) に同型でない非可換単位的 C*-代数は、そのスペクトル・プレシャーフによって quasi-Jordan 同型を除いて決定されることを確立する。
• カテゴリカルおよび構造的解析を用いて、自己同型と Jordan 代数的性質をスペクトル・プレシャーフに関連付ける。

実験結果

リサーチクエスチョン

• RQ1 スペクトル・プレシャーフ Σ^A は、非可換単位的 C*-代数 A の代数的構造をどの程度符号化しているか。
• RQ2 スペクトル・プレシャーフは、C*-代数の Jordan 構造を同型を除いて決定できるか。
• RQ3 C*-代数の自己同型は、そのスペクトル・プレシャーフの自己同型とどのように関係するか。
• RQ4 単位的 C*-代数とそのスペクトル・プレシャーフとの間のカテゴリカルな関係は何か。
• RQ5 どの C*-代数が quasi-Jordan 同型を除いて、そのスペクトル・プレシャーフによって完全に特徴付けられるか。

主な発見

• スペクトル・プレシャーフ Σ^A は、非可換単位的 C*-代数の一般化された Gelfand スペクトルを提供する。
• 単位的 C*-代数の圏からプレシャーフの圏への反変関手が存在し、C*-代数がそのスペクトル・プレシャーフを介して埋め込まれる。
• C^2 や B(C^2) に同型でない非可換単位的 C*-代数に対して、スペクトル・プレシャーフは quasi-Jordan 同型を除いて代数を決定する。
• 型 I_2 和成分を含まないすべての von Neumann 代数に対して、スペクトル・プレシャーフは Jordan 構造を同型を除いて決定する。
• スペクトル・プレシャーフは、広いクラスの C*-代数において、Jordan 代数的構造を再構成するのに十分な情報を捉えている。
• この構成により、プレシャーフ論的技法を用いた非可換 C*-代数における局所的双対性のカテゴリカルな枠組みが確立される。