[論文レビュー] Approximate double commutants in von Neumann algebras

Don Hadwin|arXiv (Cornell University)|Aug 25, 2011

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

ひとこと要約

本稿では、中心的素なC*-代数における任意の可換C*-部分代数が、その相対的近似二重可換体に等しいことを確立し、フォン・ノイマンの二重可換体定理を近似設定に一般化する。主な結果は、フォン・ノイマン代数において、可換C*-部分代数の近似二重可換体が、その部分代数が生成するC*-代数と一致することを示し、超反射性に関連する距離公式を提示する。

ABSTRACT

Richard Kadison showed that not every commutative von Neumann subalgebra of a factor von Neumann algebra is equal to its relative double commutant. We prove that every commutative C*-subalgebra of a centrally prime C*-algebra $B$ equals its relative approximate double commutant. If $B$ is a von Neumann algebra, there is a related distance formula.

研究の動機と目的

• C*-代数およびフォン・ノイマン代数におけるフォン・ノイマンの二重可換子定理を近似版に拡張すること。
• フォン・ノイマン代数における可換C*-部分代数が、その相対的近似二重可換体に等しいかどうかを調査すること。
• フォン・ノイマン代数における近似二重可換体の距離公式を確立し、超反射性と関連付けること。
• 近似二重可換体が、部分代数が生成するC*-代数に等しくなる条件を探索すること。
• 中心的射影および因子構造が、近似二重可換体の構造を決定する役割を果たす条件を検討すること。

提案手法

• ユニタリC*-代数𝒷内のC*-部分代数𝒮の相対的近似二重可換体を、𝒷に属する各Aλの有界ネット{Aλ}が𝒮の各S∈𝒮と漸近的に可換であるとき、‖AλT − TAλ‖ → 0 を満たすT∈𝒷の集合として定義する。
• 射影およびユニタリのネットを用いて近似二重可換体を特徴づけ、その構造がこのような制限下でもC*(𝒮)に等しいことを示す。
• 中心的射影の構造を活用し、C*-代数の超積を用いた持ち上げの議論により、問題を有限次元代数に還元する。
• 𝒷が中心的素である場合、app(𝒜,𝒷)′′ = C*(𝒜 ∪ ℤ(𝒷)) が成り立つことを証明する。ここでℤ(𝒷)は𝒷の中心を表す。
• C*-代数𝒷のノルム分離的部分𝒮に対して、app(𝒮,𝒷)′′ = (𝒮,𝒷)′′ が成り立つことを示し、分離性の下で近似二重可換体と標準二重可換体が一致することを示す。
• 特定の正則性および直交性条件の下でAV = VB = Vを満たす部分等長射影を用いて、近似ネットを構成する。

実験結果

リサーチクエスチョン

• RQ1 中心的素なC*-代数における任意の可換C*-部分代数は、その相対的近似二重可換体に等しいか？
• RQ2 ある作用素のフォン・ノイマン部分代数への距離と、その可換体に属する射影との交換子ノルムの間に一様な距離公式が存在するか？
• RQ3 非自己共役または非可換なC*-部分代数に対しても、因子型フォン・ノイマン代数における近似二重可換体定理を拡張できるか？
• RQ4 C*-代数𝒷に対して、C*-部分代数の近似二重可換体が、その部分代数が生成するC*-代数に等しくなる条件は何か？
• RQ5 正の元A, B, X, Yに対してAX = X, BY = Y, AB = 0, かつX𝒷Y ≠ {0} を満たすとき、AV = VB = V を満たす部分等長射影Vの存在は、C*-代数に強い構造的性質をもたらすか？

主な発見

• 中心的素なC*-代数𝒷の任意の可換C*-部分代数𝒜に対して、app(𝒜,𝒷)′′ = C*(𝒜 ∪ ℤ(𝒷)) が成り立つ。
• フォン・ノイマン代数𝒷において、𝒜が可換C*-部分代数であれば、app(𝒜,𝒷)′′ = C*(𝒜) が成り立ち、近似二重可換体が𝒜が生成するC*-代数を回復することを示す。
• C*-代数𝒷のノルム分離的部分𝒮に対して、app(𝒮,𝒷)′′ = (𝒮,𝒷)′′ が成り立つ。これは、分離性の下で近似二重可換体と標準二重可換体が一致することを示す。
• 距離公式を確立する：dist(T,𝒜) ≤ 29 limλ ‖TPλ − PλT‖ が、𝒜′に属する射影のネット{Pλ}に対して成り立つ。これにより、C*-部分代数の近似超反射性が証明される。
• 𝒷が因子型フォン・ノイマン代数であれば、任意の可換C*-部分代数𝒜に対して、app(𝒜,𝒷)′′ = C*(𝒜) が成り立つ。
• 正則性および直交性条件の下でAV = VB = V を満たす部分等長射影Vの存在は、証明における近似ネットの構成に重要な技術的道具である。