[論文レビュー] Abelian subalgebras and the Jordan structure of a von Neumann algebra

Andreas Doering, John Harding|arXiv (Cornell University)|Sep 24, 2010

Quantum Mechanics and Applications参考文献 23被引用数 34

ひとこと要約

この論文は、型 $I_2$ 和分を含まないフォン・ノイマン代数のジョルダン $^*$-代数構造が、そのアーベル部分代数の順序構造によって完全に決定されることを確立している。具体的には、アーベルフォン・ノイマン部分代数の順序集合の間の順序同型は、代数間の一意なジョルダン $^*$-同型を誘導し、逆にそのような同型も同様に成立する。これにより、ジョルダン構造がアーベル部分代数のラティスから再構成可能であることが示された。

ABSTRACT

For von Neumann algebras M, N not isomorphic to C^2 and without type I_2 summands, we show that for an order-isomorphism f:AbSub(M)->AbSub(N) between the posets of abelian von Neumann subalgebras of M and N, there is a unique Jordan *-isomorphism g:M->N with the image g[S] equal to f(S) for each abelian von Neumann subalgebra S of M. The converse also holds. This shows the Jordan structure of a von Neumann algebra not isomorphic to C^2 and without type I_2 summands is determined by the poset of its abelian subalgebras, and has implications in recent approaches to foundational issues in quantum mechanics.

研究の動機と目的

• フォン・ノイマン代数のアーベル部分代数の順序構造に、代数的構造のどの程度が符号化されているかを特定すること。
• ジョルダン $^*$-代数構造が、アーベルフォン・ノイマン部分代数のラティスから再構成可能かどうかを調査すること。
• アーベル部分代数ラティスの順序同型と、それらの代数間のジョルダン $^*$-同型との間の対応関係を確立すること。
• トポス理論的量子力学の基礎的枠組みを支援するため、古典的視点（アーベル部分代数）から回復可能な構造的情報を明確にすること。
• ボレル部分代数と正規直交モジュラー格子に関する既知の結果を、フォン・ノイマン代数の非アーベルな設定へと拡張すること。

提案手法

• 著者たちは、アーベルフォン・ノイマン部分代数の集合 $AbSub~{}\mathcal{M}$ が、有限結合を備えた完全な交わり半順序集合を形成することを用いる。
• 彼らは[16]の結果を応用し、正規直交モジュラー格子はそのボレル部分代数の集合によって決定されることを示し、これを非アーベルの場合へと拡張する。
• 彼らは、順序同型とスペクトル定理の構成を合成することで、$F: \mathcal{M} \to \mathcal{N}$ を定義し、$F$ がジョルダン $^*$-同型であることを保証する。
• 彼らは、任意の順序同型 $f: AbSub~{}\mathcal{M} \to AbSub~{}\mathcal{N}$ が、$f(\mathcal{S}) = F[\mathcal{S}]$ をすべての $\mathcal{S} \in AbSub~{}\mathcal{M}$ に対して満たすような、一意なジョルダン $^*$-同型 $F: \mathcal{M} \to \mathcal{N}$ に一意に引き上げられることを証明する。
• 一意性は、2つのジョルダン $^*$-同型が射影に一致するならば等しくなること、そしてスペクトル定理とボレル部分代数分解の一意性に依拠して示される。
• 逆方向の証明も行われる：任意のジョルダン $^*$-同型 $F: \mathcal{M} \to \mathcal{N}$ は、像写像により、アーベル部分代数ラティス間の順序同型 $f: AbSub~{}\mathcal{M} \to AbSub~{}\mathcal{N}$ を誘導する。

実験結果

リサーチクエスチョン

• RQ1 フォン・ノイマン代数のジョルダン $^*$-代数構造は、そのアーベル部分代数の順序構造から再構成可能か？
• RQ2 アーベル部分代数ラティスの順序同型と、代数間のジョルダン $^*$-同型との間に、自然な対応関係が存在するか？
• RQ3 ポセット $AbSub~{}\mathcal{M}$ は、特に型 $I_2$ 和分を含まない場合に、代数 $\mathcal{M}$ の代数的構造をどの程度決定するか？
• RQ4 この再構成結果は、トポス理論的量子力学のアプローチをどのように支援または示唆するか？
• RQ5 同様の再構成結果は、$C^*$-代数やその他の非結合的構造へと拡張可能か？

主な発見

• 型 $I_2$ 和分を含まず、$\mathbb{C} \oplus \mathbb{C}$ に同型でない2つの代数 $\mathcal{M}$ と $\mathcal{N}$ の間で、アーベルフォン・ノイマン部分代数のポセット間の順序同型 $f: AbSub~{}\mathcal{M} \to AbSub~{}\mathcal{N}$ は、すべての $\mathcal{S} \in AbSub~{}\mathcal{M}$ に対して $f(\mathcal{S}) = F[\mathcal{S}]$ を満たす一意なジョルダン $^*$-同型 $F: \mathcal{M} \to \mathcal{N}$ を誘導する。
• 逆に、任意のジョルダン $^*$-同型 $F: \mathcal{M} \to \mathcal{N}$ は、$f(\mathcal{S}) = F[\mathcal{S}]$ を用いて、アーベル部分代数ラティス間の順序同型 $f: AbSub~{}\mathcal{M} \to AbSub~{}\mathcal{N}$ を誘導する。
• ジョルダン $^*$-同型の一意性は、スペクトル定理と、2つの同型が射影で一致するならば同一であるという事実に依拠して保証される。
• この結果は、型 $I_2$ 和分を含まず、$\mathbb{C} \oplus \mathbb{C}$ でないフォン・ノイマン代数のジョルダン $^*$-代数構造が、アーベル部分代数の順序的構造に完全に符号化されていることを示唆する。
• この定理は、トポス理論的量子力学の構造的基盤を提供する。ここで、スペクトルプレシェーブ $\underline{\Sigma}^\mathcal{M}$ はポセット $AbSub~{}\mathcal{M}$ から構成され、この結果は $\mathcal{M}$ がこの構造によってジョルダン $^*$-同型の意味で一意に決定されることを示している。
• この結果は、完全な $^*$-代数構造を回復するものではなく、ジョルダン構造のみを回復する。非可換積が異なる非同型のフォン・ノイマン代数が、同じアーベル部分代数のポセットを持つことがあるためである。