[論文レビュー] A Geometric Bohr topos

Simon Henry|arXiv (Cornell University)|Feb 6, 2015

Advanced Operator Algebra Research参考文献 11被引用数 3

ひとこと要約

本稿では、C*-代数の幾何的ボアールトポスを、局所的完備化の下位パワー局所の部分局所として構成することにより導入する。この部分局所は、可換な局所的部分C*-代数を分類し、引き戻しに関して安定であり、位相的構造を組み込む。主な貢献は、離散的ボアールトポスを精緻化するトポス理論的枠組みを提供することであり、可換C*-代数を局所的対象として内部化することで、量子基礎における幾何論理に基づくアプローチを可能にする。

ABSTRACT

In this short note, we construct a variant of the Bohr topos of a C*-algebra which takes into account the topology of the algebra in a finer way and such that this construction is stable under pullback along geometric morphisms. This generalizes a construction for finite dimensional algebras of G.Raynaud. Our idea is to construct the Bohr topos of a C*-algebra A as the sublocale of the lower power locale of the localic completion of A which classifies the commutative localic sub-C*-algebras of A.

研究の動機と目的

• 離散的ボアールトポスが位相的構造を無視し、引き戻しに関して安定でないという限界を是正する。
• 幾何論理と局所理論を用いて、レーヌ・ドの有限次元的構成を任意のC*-代数へ一般化する。
• C*-代数Aの可換局所的部分C*-代数を分類するトポスを構成し、ボアールの教義（古典的概念）を保つ。
• 引き戻しに関する幾何的準同型に関して、構成が安定であることを保証し、トポス理論的物理学におけるtovariance原理を満たす。
• 可換局所的C*-代数のバンドルにおけるゲルファンド双対性を内部化し、トポスへのスペクトル写像を可能にする。

提案手法

• C*-代数Aの局所的完備化を構成し、その台集合を局所として扱う。
• 下位パワー局所の構成を用いて、A×Aのファイバーごとの閉かつ局所正の部分局所を分類する。
• S(A)を、局所的完備化の下位パワー局所の部分局所として定義し、Aの可換局所的部分C*-代数を分類する。
• 分類トポスとしての普遍性を活用して、幾何的準同型に沿った引き戻しに関して安定であることを保証する。
• S(A)上の内部バンドルである可換局所的C*-代数に構成的ゲルファンド双対性を適用し、スペクトル写像ΣA→S(A)を導出する。
• 構成が非退化の特徴を持つ可換局所的部分C*-代数に対応する一般化された点を分類することを保証する。

実験結果

リサーチクエスチョン

• RQ1 C*-代数における可換部分C*-代数の位相的構造を統合するには、ボアールトポスの構成をどのように精緻化できるか？
• RQ2 幾何的準同型に沿った引き戻しに関して安定なボアールトポスのトポス理論的構成は可能か？
• RQ3 局所的C*-代数は、離散的状況を超えてボアールトポスを一般化する役割を果たすか？
• RQ4 可換局所的C*-代数のバンドルのスペクトルは、トポスの内部幾何学とどのように関係するか？
• RQ5 新しい幾何的ボアールトポスS(A)と元の離散的ボアールトポスSd(A)との関係は何か？

主な発見

• 幾何的ボアールトポスS(A)は、Aの局所的完備化の下位パワー局所の部分局所として構成され、可換局所的部分C*-代数を分類する。
• 分類トポスとしての普遍性のおかげで、幾何的準同型に沿った引き戻しに関して安定である。
• S(A)は、トポス内で内部化された可換局所的C*-代数のバンドルを備えており、構成的ゲルファンド双対性を支持する。
• スペクトル対象ΣAは、BがAの可換局所的部分C*-代数で、χがBの非退化特徴であるような対(B,χ)を分類する。
• 古典的論理において、ΣAの点は、Bが可換部分C*-代数で、χが非ゼロ特徴であるような対(B,χ)に対応する。
• 離散的ボアールトポスSd(A)から幾何的ボアールトポスS(A)への自然な幾何的準同型が存在し、元のバンドルとスペクトルがその引き戻しとして回復される。