[論文レビュー] Constructive Gelfand duality for non-unital commutative C*-algebras

Simon Henry|arXiv (Cornell University)|Dec 5, 2014

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

ひとこと要約

この論文は、非単位的可換 C*-代数に対する構成的 Gelfand 対称性を確立し、一様的コンパクト化と単位化の構成的枠組みを用いて、このような代数と局所コンパクトかつ完全正規な局所的空間との間の双対性を導入する。主な貢献は、局所正の性質とファイバーごとの閉イデアルを用いた、スペクトルとノルム連続性の完全な構成的特徴付けである。

ABSTRACT

We prove constructive versions of various usual results related to the Gelfand duality. Namely, that the constructive Gelfand duality extend to a duality between commutative nonunital C*-algebras and locally compact completely regular locales, that ideals of a commutative C*-algebras are in order preserving bijection with the open sublocales of its spectrum, and a purely constructive result saying that a commutative C*-algebra has a continuous norm if and only its spectrum is open. We also extend all these results to the case of localic C*-algebras. In order to do so we develop the notion of one point compactification of a locally compact regular locale and of unitarization of a C*-algebra in a constructive framework.

研究の動機と目的

• 非単位的可換 C*-代数に対する Gelfand 対称性を完全に構成的設定で拡張すること。
• 構成的・トポス的枠組みにおいて、開部分局所的空間とイデアルを用いて C*-代数のスペクトルを特徴付けること。
• スペクトルの局所正の性質を用いたノルムの連続性の構成的基準を確立すること。
• 降下とファイバーごとの閉包を用いて、局所的 C*-代数へ結果を一般化すること。

提案手法

• 局所コンパクト正則局所的空間に対する構成的一点コンパクト化を構築し、非単位的代数を扱う。
• 構成的トポス的設定において C*-代数の単位化を導入し、非単位的ケースを単位的ケースに還元する。
• 自然数対象を備えた初等トポスの内部論理を用いて、構成的推論を形式化する。
• 開被覆を介した降下理論を適用し、局所同型をグローバルに拡張することで、局所的空間および C*-代数構造と整合性を保つ。
• 古典的閉イデアルに代えて、構成的解析における局所正のファイバーごとの閉イデアルの概念を用いる。
• 内部論理に依拠して、上界と連続実数局所的空間を介して実数とノルム写像を定義・操作する。

実験結果

リサーチクエスチョン

• RQ1 Gelfand 対称性を非単位的可換 C*-代数へどのように構成的に拡張できるか？
• RQ2 非単位的 C*-代数のスペクトルの構成的特徴付けは、開部分局所的空間を用いてどのように記述できるか？
• RQ3 どのような構成的条件下で C*-代数上のノルムが連続的になるか？
• RQ4 構成的設定において、C*-代数のイデアルとそのスペクトルの開部分局所的空間との対応関係は何か？
• RQ5 降下と正の性質を用いて、構成的枠組みで双対性を局所的 C*-代数へ拡張できるか？

主な発見

• 可換非単位的 C*-代数と局所コンパクトかつ完全正規な局所的空間との間には、構成的双対性が存在する。
• 可換 C*-代数のイデアルとそのスペクトルの開部分局所的空間との間には、構成的かつ順序を保つ双対写像が存在する。
• 可換 C*-代数のノルムが連続的であるための必要十分条件は、そのスペクトルが局所正であることである。
• 双対性は局所的 C*-代数へ拡張可能であり、スペクトルの開部分局所的空間は局所正のファイバーごとの閉イデアルに対応する。
• C*-局所的空間からそのスペクトルへの標準写像は、開被覆に沿った降下によって同型であることが示された。
• ノルム連続性は、ノルム写像が連続的実数局所的空間を介して因数分解可能であることと同値であり、これはスペクトルが局所正であるときに限り成立する。