[論文レビュー] Dye's Theorem and Gleason's Theorem for AW*-algebras

Jan Hamhalter|arXiv (Cornell University)|Aug 20, 2014

Advanced Operator Algebra Research参考文献 2被引用数 4

ひとこと要約

この論文は、型 I₂ 直和成分を含まない場合に限って、Dye の定理と Gleason の定理を AW*-代数へ一般化する。任意の正射影格子間の写像が直交補元と任意の上限を保存するならば、その写像は正規のジョルダン ∗-準同型に拡張可能であることを示す。主な貢献は、AW*-代数におけるラティス的構造とジョルダン代数的構造の深い関係を確立し、アーベル部分代数の順序集合からジョルダン構造を再構成可能にすることを可能にすることにある。

ABSTRACT

We prove that any map between projection lattices of $AW^\ast$-algebras $A$ and $B$, where $A$ has no Type $I_2$ direct summand, that preserves orthocomplementation and suprema of arbitrary elements, is a restriction of a normal Jordan $\ast$-homomorphism between $A$ and $B$. This allows us to generalize Dye's Theorem from von Neumann algebras to $AW^\ast$-algebras. We show that Mackey-Gleason-Bunce-Wright Theorem can be extended to homogeneous $AW^\ast$-algebras of Type I. The interplay between Dye's Theorem and Gleason's Theorem is shown. As an application we prove that Jordan $\ast$-homomorphims are commutatively determined. Another corollary says that Jordan parts of $AW^\ast$-algebras can be reconstructed from posets of their abelian subalgebras.

研究の動機と目的

• von ネウマン代数から AW*-代数へ Dye の定理を拡張し、ジョルダン ∗-準同型から生じる射影格子間の写像を特徴付ける。
• 型 I の均質な AW*-代数へ Mackey-Gleason-Bunce-Wright の定理を一般化し、射影上の有界加法的測度が有界線形汎関数に拡張可能であることを示す。
• AW*-代数間のジョルダン ∗-準同型が、そのアーベル部分代数上の振る舞いによって完全に決定されることを確立し、アーベル部分代数の順序集合からジョルダン構造を再構成可能にする。
• AW*-代数の理論における未解決問題を解決し、正規性とラティス適合性を満たす準ジョルダン ∗-準同型が本質的にジョルダン ∗-準同型であることを証明する。

提案手法

• 領域代数が型 I₂ 直和成分を含まない場合に限り、AW*-代数の射影格子間の写像が直交補元と任意の上限を保存するならば、その写像は正規のジョルダン ∗-準同型に拡張可能であることを証明する。
• ラティス的技術とアーベル部分代数の構造を用いて、スペクトル射影を通じてジョルダン積構造を保存することを示す。
• 準ジョルダン ∗-準同型（アーベル部分代数上でジョルダン ∗-準同型であり、自己共役元の線形結合を保存する）の概念を適用し、その正規性が完全なジョルダン ∗-準同型性を示すことを証明する。
• AW*-代数では、射影の増加ネットが上限を持つことを利用し、スペクトル分解と Stonean 空間表現を通じてラティス写像を線形写像に拡張可能であることを活用する。
• 型 I₂ 直和成分が存在しない場合、射影格子の正規同型とジョルダン ∗-同型の間の同値性を用いて、ラティス同型と代数的同型を結びつける。
• AW*-代数のアーベル C*-部分代数の順序集合間の順序同型が、一意的なジョルダン ∗-同型から生じることを示し、ラティスデータから構造を再構成可能にすることを確立する。

実験結果

リサーチクエスチョン

• RQ1 Dye の定理を von Neumann 代数から AW*-代数へ拡張可能か？ すなわち、ジョルダン ∗-準同型から生じるラティス写像を特徴付けることができるか？
• RQ2 Mackey-Gleason-Bunce-Wright の定理は、有限型 Iₙ（n ≥ 3）の AW*-代数へ拡張可能か？ 有界加法的測度が射影上で定義されれば、有界線形汎関数に拡張可能か？
• RQ3 AW*-代数間のジョルダン ∗-準同型は、そのアーベル部分代数または射影格子上の振る舞いによってどの程度決定可能か？
• RQ4 AW*-代数間の準ジョルダン ∗-準同型が、どのような条件下で本質的なジョルダン ∗-準同型に一致するか？
• RQ5 AW*-代数のジョルダン構造は、そのアーベル C*-部分代数の順序集合から再構成可能か？

主な発見

• 領域代数が型 I₂ 直和成分を含まない場合に限り、AW*-代数の射影格子間の写像が直交補元と任意の上限を保存するならば、その写像は正規のジョルダン ∗-準同型に拡張可能である。
• Mackey-Gleason-Bunce-Wright の定理は、型 I の均質な AW*-代数へ拡張可能であり、射影上の有界加法的測度が有界線形汎関数に拡張可能であることを保証する。
• AW*-代数間のジョルダン ∗-準同型は、可換的に決定可能である。つまり、そのアーベル部分代数上の振る舞いが写像を完全に決定する。
• 領域代数が型 I₂ 直和成分を含まない場合に限り、正規な準ジョルダン ∗-準同型は本質的にジョルダン ∗-準同型である。
• AW*-代数のアーベル C*-部分代数の順序集合間の順序同型は、一意的にジョルダン ∗-同型に対応し、アーベル部分代数の順序集合からジョルダン構造を再構成可能である。
• AW*-代数のジョルダン部分は、そのアーベル C*-部分代数の順序集合から再構成可能であり、構造的双対性を確立する。