[論文レビュー] On quantales and spectra of C*-algebras

David Kruml, Joan Wick Pelletier+2 more|ArXiv.org|Nov 21, 2002

Advanced Operator Algebra Research参考文献 10被引用数 7

ひとこと要約

この論文は、単位的 C*-代数 A の量的スペクトル Max A を調査し、A が可換であるときその空間化が閉イデアルの局所に一致することを示している。Max が単位的 C*-代数の忠実かつ完全な不変量であることが確立されているが、極限や余極限を保存しないため、非可換な状況下でゲルファンド双対性を一般化する圏論的同値を与えない。

ABSTRACT

We study properties of the quantale spectrum Max A of an arbitrary unital C*-algebra A. In particular we show that the spatialization of Max A with respect to one of the notions of spatiality in the literature yields the locale of closed ideals of A when A is commutative. We study under general conditions functors with this property, in addition requiring that colimits be preserved, and we conclude in this case that the spectrum of A necessarily coincides with the locale of closed ideals of the commutative reflection of A. Finally, we address functorial properties of Max, namely studying (non-)preservation of limits and colimits. Although Max is not an equivalence of categories, therefore not providing a direct generalization of Gelfand duality to the noncommutative case, it is a faithful complete invariant of unital C*-algebras.

研究の動機と目的

• 単位的 C*-代数における量的スペクトル Max A の構造と性質を理解すること。
• Max A が非可換な状況下でゲルファンド双対性の一般化として機能するかどうか、空間化の観点から検討すること。
• Max の函子的性質、特に極限や余極限の保存性を調査すること。
• 可換な場合における Max A と閉イデアルの局所との関係を明確にすること。
• Max が単位的 C*-代数の完全な不変量であることを確立すること、すなわち同型類を保存すること。

提案手法

• A の閉右イデアルのなす量的構造 Max A を、乗法 I & J = cl(IJ) および対合と順序構造を備えて定義する。
• 文献に由来する空間化の概念を用いて Max A に空間化を施し、局所を回復する。
• A が可換であるとき、Max A の空間化が A の閉イデアルの局所に一致することを示す。
• 単位的 C*-代数の圏における余積と積の上での Max の関手的性質を分析する。
• Max が余積を保存しないこと（例：Max(C² + C²) ≇ Max(C²) + Max(C²)）を示す明示的反例を構成する。
• Max C⁴ の原子的構造を用いて、余積の射の像が全射でないことを示す。

実験結果

リサーチクエスチョン

• RQ1 A が可換であるとき、Max A の空間化は閉イデアルの局所を回復するか？
• RQ2 C*-代数から量的構造への函手が余極限を保存し、かつ閉イデアルの局所に空間化される条件は何か？
• RQ3 函手 Max は単位的 C*-代数の圏において余極限を保存するか？
• RQ4 函手 Max は単位的 C*-代数の圏において極限を保存するか？
• RQ5 Max は単位的 C*-代数の完全な不変量であるか、すなわち Max(A) ≅ Max(B) ならば A ≅ B であるか？

主な発見

• 標準的な空間化の概念を用いた Max A の空間化は、A が可換であるとき、A の閉イデアルの局所に一致する。
• 函手 Max は余積を保存しない：単位的自己対合量的構造の圏において、Max(C² + C²) は Max(C²) + Max(C²) に同型でない。
• 函手 Max は積を保存しない：Max(C × C) は Max(C) × Max(C) に同型でない。なぜなら、Max(C × C) は無限個の原子を有するが、Max(C) × Max(C) は4要素のブール代数であるため。
• 函手 Max は忠実である：Max(A) ≅ Max(B) が単位的自己対合量的構造として成り立つならば、A ≅ B が C*-代数として成り立つ。
• 函手 Max は完全な不変量である：A ≅ B であることと、Max(A) ≅ Max(B) が単位的自己対合量的構造として成り立つことは同値である。
• C² + C² の余射から誘導される写像 Max(C²) + Max(C²) → Max(C⁴) は全射でない。なぜなら、Max(C⁴) の原子 ⟨(1,0,1,1)⟩ は像に属さないからである。