[論文レビュー] Generalised Gelfand Spectra of Nonabelian Unital C*-Algebras

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

Advanced Operator Algebra Research参考文献 30被引用数 9

ひとこと要約

本稿では、非可換な単位的 C*-代数に対する一般化された Gelfand スペクトルとしてのスペクトル・プレシェーフを導入し、単位的 C*-代数とプレシェーフの圏の間でカテゴリカルな双対性を確立する。非可換 C*-代数で $\mathbb{C}^2$ や $\mathcal{B}(\mathbb{C}^2)$ に同型でないものについては、スペクトル・プレシェーフが代数を quasi-Jordan $*$-同型の意味で一意に決定し、型 $I_2$ の和成分を含まない von Neumann 代数では、スペクトル・プレシェーフが Jordan $*$-構造を同型の意味で完全に符号化する。

ABSTRACT

To each unital C*-algebra A we associate a presheaf Σ^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*-代数とコンパクト Hausdorff 空間のプレシェーフの圏との間で、局所的双対性をカテゴリカルに確立すること。
• スペクトル・プレシェーフから回復可能な代数的構造（特に Jordan $*$-構造）の程度を特定すること。
• スペクトル・プレシェーフが C*-代数を同型または quasi-同型の意味でどの程度分類可能であるかを明確にすること。
• 今後の研究で扱うように、自己随伴元上の Lie 代数構造をスペクトル・プレシェーフの幾何的データから再構成する基盤を築くこと。

提案手法

• 単位的 C*-代数 $\mathcal{A}$ の可換 C*-部分代数の圏 $\mathcal{C}(\mathcal{A})$ をベースとするプレシェーフ $\underline{\Sigma}^\mathcal{A}$ を定義し、各可換部分代数にその Gelfand スペクトルを割り当てる。
• 単位的 C*-代数の圏からプレシェーフの圏への反変関手を構成し、$*$-準同型を逆方向のプレシェーフの準同態に写す。
• quasi-Jordan $*$-同型の概念を用いて、代数的同型とスペクトル・プレシェーフの同型を関連付ける。
• スペクトル・プレシェーフの自己同型と、代数の Jordan $*$-構造、コンテキスト圏、Bohrification の自己同型との間の対応を確立する。
• $\dim \mathcal{H} \geq 3$ のとき $\mathcal{B}(\mathcal{H})$ のスペクトル・プレシェーフにグローバルセクションが存在しないことを利用して、Kochen-Specker 定理と関連付ける。
• 自己随伴元上の Lie 代数構造は、スペクトル・プレシェーフ上の方向と流れの幾何的データから再構成可能であり、詳細は今後の研究 [26] で示す。

実験結果

リサーチクエスチョン

• RQ1 非可換な単位的 C*-代数のスペクトル・プレシェーフは、その代数的構造をどの程度決定するか？
• RQ2 単位的 C*-代数とプレシェーフの圏との間に、Gelfand 双対性を一般化したカテゴリカルな双対性を確立できるか？
• RQ3 C*-代数の Jordan $*$-構造のどの程度がそのスペクトル・プレシェーフに符号化されているか？
• RQ4 スペクトル・プレシェーフの自己同型と、それに対応する C*-代数の自己同型との関係は何か？
• RQ5 自己随伴元上の Lie 代数構造は、スペクトル・プレシェーフの幾何的データから再構成可能か？

主な発見

• 可換でない単位的 C*-代数 $\mathcal{A}$ が $\mathbb{C}^2$ や $\mathcal{B}(\mathbb{C}^2)$ に同型でない限り、スペクトル・プレシェーフ $\underline{\Sigma}^\mathcal{A}$ は $\mathcal{A}$ を quasi-Jordan $*$-同型の意味で一意に決定する。
• 型 $I_2$ の和成分を含まない von Neumann 代数では、スペクトル・プレシェーフは Jordan $*$-構造を同型の意味で完全に決定する。
• スペクトル・プレシェーフ $\underline{\Sigma}^\mathcal{B} \to \underline{\Sigma}^\mathcal{A}$ 間の任意の同型は、逆方向の唯一の Jordan $*$-同型 $T: \mathcal{A} \to \mathcal{B}$ を誘導する。
• スペクトル・プレシェーフの自己同型群 $\operatorname{Aut}(\underline{\Sigma}^\mathcal{A})$ は、Jordan $*$-自己同型群 $\operatorname{Aut}_{Jordan}(\mathcal{A})$ と反変同型である。
• 型 $I_2$ の和成分を含まない von Neumann 代数 $\mathcal{N}$ に対して、スペクトル・プレシェーフは、誘導される幾何的準同型のベース写像によって、コンテキスト圏 $\mathcal{C}(\mathcal{A})$ を順序同型の意味で決定する。
• スペクトル・プレシェーフはコンテキスト圏の順序構造を符号化しており、この構造は代数の自己同型群およびその Bohrification の自己同型群と同型である。