[論文レビュー] Toward a non-commutative Gelfand duality: Boolean locally separated toposes and Monoidal monotone complete $C^{*}$-categories

Simon Henry|arXiv (Cornell University)|Jan 28, 2015

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

ひとこと要約

この論文は、ヒルベルトバンドルおよび可積分ヒルベルトバンドルの対応する対称モノイダル単調完備 $C^*$-カテゴリから、ブール的で局所的に分離されたトポスの再構成定理を確立する。このようなトポスが、これらのカテゴリの非退化で正規の対称モノイダル $*$-表現の分類トポスであることを示し、ゲルファンド双対性の非可換一般化を示唆する。

ABSTRACT

** Draft Version ** To any boolean topos one can associate its category of internal Hilbert spaces, and if the topos is locally separated one can consider a full subcategory of square integrable Hilbert spaces. In both case it is a symmetric monoidal monotone complete $C^{*}$-category. We will prove that any boolean locally separated topos can be reconstructed as the classifying topos of "non-degenerate" monoidal normal $*$-representations of both its category of internal Hilbert spaces and its category of square integrable Hilbert spaces. This suggest a possible extension of the usual Gelfand duality between a class of toposes (or more generally localic stacks or localic groupoids) and a class of symmetric monoidal $C^{*}$-categories yet to be discovered.

研究の動機と目的

• トポス理論的および作用素代数的構造を通じて、可換 $C^*$-代数に限らない非可換設定へのゲルファンド双対性の拡張を図ること。
• 内部ヒルベルトバンドルおよび可積分ヒルベルトバンドルの内部カテゴリを用いた、ブール的で局所的に分離されたトポスの再構成定理を確立すること。
• 対称モノイダル単調完備 $C^*$-カテゴリが、位相空間または群体の非可換類似物として機能しうるかを検討すること。
• このような双対性が一般に成り立つために必要な公理および構造を、$C^*$-カテゴリに特定すること。
• 単調完備性、弱収束、$C^*$-カテゴリにおける双対性が、トポス理論における幾何的再構成とどのように関係するかを調査すること。

提案手法

• 任意のブール的トポス $\mathcal{T}$ に対して、内部ヒルベルトバンドルの対称モノイダル単調完備 $C^*$-カテゴリ $\mathcal{H}(\mathcal{T})$ を関連付ける。
• 局所的に分離されたトポスに対しては、可積分ヒルベルトバンドルの全部分カテゴリ $\mathcal{H}^{\text{red}}(\mathcal{T})$ を定義する。
• 非退化で正規の対称モノイダル $*$-表現の分類トポスから、元のトポス $\mathcal{T}$ への幾何的準同型を構成する。
• 内部論理およびクリプケ＝ジョイアル意味論を用いて、分離的対象およびその表現の構造を分析する。
• 点のカテゴリが、ネット $V_U$ に依存する構成を通じて、このような表現のカテゴリと同値であることを証明する。
• ブール性および局所的分離性を活用して、単調完備性および漸近的双対の存在を保証し、再構成を可能にする。

実験結果

リサーチクエスチョン

• RQ1 ブール的で局所的に分離されたトポスは、そのヒルベルトバンドルの対称モノイダル $C^*$-カテゴリから再構成可能か？
• RQ2 対称モノイダル $C^*$-カテゴリが、あるブール的で局所的に分離されたトポス $\mathcal{T}$ に対して $\mathcal{H}^{\text{red}}(\mathcal{T})$ として現れるために必要な条件は何か？
• RQ3 『良い』または『非退化で正規』の表現の概念を、$C^*$-カテゴリ的構造のみを用いて公理化できるか？
• RQ4 この双対性をブール的で局所的に分離された場合を超えて一般化するために、弱収束、重み付き極限、双対性などの追加構造や性質がどのように重要か？
• RQ5 この枠組みを、局所的群体／スタックと対称モノイダル $C^*$-カテゴリの間の完全な非可換ゲルファンド双対性に拡張できるか？

主な発見

• 任意のブール的で局所的に分離されたトポス $\mathcal{T}$ は、$\mathcal{H}^{\text{red}}(\mathcal{T})$ の非退化で正規の対称モノイダル $*$-表現の分類トポスである。
• $\mathcal{T}$ の再構成は、双対性を漸近的に実現する演算子のネット $V_U$ に依存しており、これは $\mathcal{T}$ のブール性および局所的分離性によって本質的に可能である。
• $\mathcal{H}^{\text{red}}(\mathcal{T})$ は単位対象を持たない対称モノイダル単調完備 $C^*$-カテゴリではあるが、依然として完全な再構成が可能である。
• 非削除カテゴリ $\mathcal{H}(\mathcal{T})$ に対しても $\mathcal{T}$ を分類することができ、$\mathcal{H}^{\text{red}}(\mathcal{T})$ からの再構成は $\mathcal{H}(\mathcal{T})$ からの再構成を含意する。
• 結果から、適切な構造（例えば弱収束、双対性）を備えた単調完備 $C^*$-カテゴリが、位相空間の非可換類似物として機能しうると示唆される。
• この枠組みは、ゲルファンド双対性、$W^*$-代数双対性、ドプリューラ＝ロバーツ再構成を統合する可能性を示し、より広範な非可換双対性を示唆する。