[論文レビュー] Conditional expectations onto maximal abelian *-subalgebras

Charles A. Akemann, David K. Sherman|ArXiv.org|Jun 10, 2009

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

ひとこと要約

この論文は、半有限なフォン・ノイマン代数において、一意な条件付き期待値が単一生成の最大アーベル*-部分代数（MASA）へ存在するための必要十分条件を確立している。その条件は、MASAがアーベル射影によって生成されることに他ならない。このことは、代数が型I型であることを示唆する。主な革新点は、フーリエ解析を避けて、状態拡張理論と双対性の議論に依拠することで、任意の一意な条件付き期待値が正規であることを証明したことにある。

ABSTRACT

We determine when there is a unique conditional expectation from a semifinite von Neumann algebra onto a singly-generated maximal abelian *-subalgebra. Our work extends the results of Kadison and Singer via new methods, notably the observation that a unique conditional expectation onto a singly-generated maximal abelian *-subalgebra must be normal.

研究の動機と目的

• 半有限なフォン・ノイマン代数から単一生成の最大アーベル*-部分代数（MASA）への一意な条件付き期待値が存在する条件を特定すること。
• フーリエ解析に依存せずに、カジソン＝シンガーの結果を条件付き期待値に関して拡張すること。
• 一意な条件付き期待値と純粋状態のMASA上での一意な状態拡張との関係を明確にすること。
• 一意な条件付き期待値が正規であることを示すという、これまでに知られていなかった新しい知見を確立すること。
• 半有限代数におけるMASAが一意な条件付き期待値をもつための特徴付けを提供し、その条件が恒等元を生成するアーベル射影の存在と関連することを示すこと。

提案手法

• 弱*極限を用いて条件付き期待値を構成するために、特に逐次的完全集合と呼ばれるMASA内の射影の完全集合の概念を導入・利用する。
• 単一生成MASAへの一意な条件付き期待値が正規でなければならないことを、双対性と余対象の構造を用いて証明する。
• 線形汎関数を正規部分と特異部分に分解することで、状態拡張とその一意性を分析する。
• 状態の中心化作用素を用いて、MASA上の正規状態が特異拡張を持たないならば、MASAはアーベル射影によって生成されていることを示す。
• 型II₁と型I代数の構造を活用して、MASAにアーベル射影が存在するか否かのケースを区別する。
• 型II₁代数において不適切な条件付き期待値を構成することで、一意性が成立しない場合に非正規の条件付き期待値が存在しうることを示す。

実験結果

リサーチクエスチョン

• RQ1 半有限なフォン・ノイマン代数から単一生成MASAへの一意な条件付き期待値が存在する条件は何か？
• RQ2 MASAへの一意な条件付き期待値の存在は、MASAがアーベル射影によって生成されることと同値か？
• RQ3 一意な条件付き期待値の存在は、それが正規でなければならないことを意味するか？
• RQ4 複数の条件付き期待値の存在は、MASA上の純粋状態の状態拡張の一意性の欠如と関連づけられるか？
• RQ5 アーベル射影は、半有限代数におけるMASAへの条件付き期待値の構造を決定づける役割を果たすか？

主な発見

• 半有限なフォン・ノイマン代数から単一生成MASAへの一意な条件付き期待値が存在するための必要十分条件は、MASAがアーベル射影によって生成されることであり、このことは代数が型I型であることを示唆する。
• 単一生成MASAへの一意な条件付き期待値は、すべて正規でなければならない。この結果は、双対性と状態拡張解析から導かれる。
• 型II₁因子では、MASAへの不適切な条件付き期待値が存在し、非正規の条件付き期待値が存在しうることを示している。
• MASAがアーベル射影によって生成されていない（例：型I型でない代数において）場合、MASA上のいくつかの純粋状態は、環境代数への複数の状態拡張を持つ。
• 複数の条件付き期待値の存在は、MASA上のいくつかの純粋状態が非一意な拡張を持つことを示しており、カジソン＝シンガー型問題の部分的解決を提供する。
• 状態の台がMASAにおけるアーベル射影部分に集中している場合、その状態は一意な正規拡張を持つが、その補集合上にある状態は特異拡張を持つ可能性がある。