[論文レビュー] Description of Derivations on Measurable Operator Algebras of Type I

Sergio Albeverio, Sh. A. Ayupov+1 more|ArXiv.org|Oct 17, 2007

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

ひとこと要約

本稿は、忠実な正規半有限トレース $ \tau $ を備えた型 $ I $ フォン・ノイマン代数 $ M $ に付随する $ \tau $-可測作用素の代数 $ L(M,\tau) $ における微分の完全分類を提供する。すべての微分が、内微分と $ L(M,\tau) $ の中心上の微分によって誘導される微分に一意に分解されることを確立し、特に $ M $ が型 $ I_\infty $ の場合、すべての微分が内微分であるという主要な結果を示している。

ABSTRACT

Given a type I von Neumann algebra $M$ with a faithful normal semi-finite trace $τ,$ let $L(M, τ)$ be the algebra of all $τ$-measurable operators affiliated with $M.$ We give a complete description of all derivations on the algebra $L(M, τ).$ In particular, we prove that if $M$ is of type I$_\infty$ then every derivation on $L(M, τ)$ is inner.

研究の動機と目的

• 型 $ I $ フォン・ノイマン代数 $ M $ に付随する $ \tau $-可測作用素の代数 $ L(M,\tau) $ におけるすべての微分の完全な記述を提供すること。
• 長年の未解決問題である、$ L(M,\tau) $ に非内微分が存在するかどうか、特に基礎となるフォン・ノイマン代数の型に依存する条件を解明すること。
• 任意の微分が、内微分と $ L(M,\tau) $ の中心上の微分から生じる中心微分に一意に分解されることを確立すること。
• 型 $ I_\infty $ フォン・ノイマン代数に対して、$ L(M,\tau) $ 上のすべての微分が内微分であることを証明し、有界フォン・ノイマン代数における古典的内微分性を、非有界可測作用素の設定にまで拡張すること。

提案手法

• 型 $ I $ フォン・ノイマン代数 $ M $ の標準的分解を、$ H_\alpha $ の次元によってインデックスが付与された一様な代数 $ L^\infty(\Omega_\alpha, \mu_\alpha) \bar{\otimes} B(H_\alpha) $ の直和として用いる。
• 測度位相と可測作用素の構造を活用して、$ L(M,\tau) $ を代数 $ L(L^\infty(\Omega_\alpha, \mu_\alpha) \bar{\otimes} B(H_\alpha), \tau_\alpha) $ の位相的積として表現する。
• 中心 $ L^0(\Omega_\alpha) $ 上の微分 $ \delta_\alpha $ を行列代数 $ M_{\dim H_\alpha}(L^0(\Omega_\alpha)) $ に、式 $ D_\delta((x_\alpha)) = (D_{\delta_\alpha}(x_\alpha)) $ により持ち上げることで、$ L(M,\tau) $ 上の微分 $ D_\delta $ を構成する。ここで $ D_{\delta_\alpha} $ は行列の各成分に作用する。
• $ L(M,\tau) $ 上の任意の微分 $ D $ が、$ D = D_a + D_\delta $ と一意に分解されることを証明する。ここで $ D_a $ は $ L(M,\tau) $ のある元によって生成される内微分であり、$ D_\delta $ は上記の形をしている。
• バナッハ＝カンタロヴィチ空間の構造と $ (bo) $-位相を用いて、特に非分離の場合の微分の収束性と有界性を分析する。
• 非ゼロの微分が $ L^0 $ 上に存在すると仮定し、その像に任意に大きなノルムを持つ要素の列が得られることを示す矛盾による議論を適用し、$ I_\infty $ の場合にそのような微分は有界作用素に拡張できないことを示す。

実験結果

リサーチクエスチョン

• RQ1 型 $ I $ フォン・ノイマン代数 $ M $ に付随する $ \tau $-可測作用素の代数 $ L(M,\tau) $ における微分の完全な構造は何か？
• RQ2 非内微分が $ L(M,\tau) $ 上に存在する条件は何か。また、それらはどのようにパrameter化されるか？
• RQ3 $ M $ が型 $ I_\infty $ の場合、$ L(M,\tau) $ 上のすべての微分が内微分であるか？
• RQ4 任意の微分が、内微分と中心から生じる中心微分に一意に分解可能か？
• RQ5 $ M $ の有限次元と無限次元の均一成分における $ L(M,\tau) $ 上の微分の振る舞いにはどのような違いがあるか？

主な発見

• 型 $ I $ フォン・ノイマン代数 $ M $ に対して、$ L(M,\tau) $ 上の任意の微分 $ D $ は、$ D = D_a + D_\delta $ と一意に分解可能であり、ここで $ D_a $ は内微分、$ D_\delta $ は $ L(M,\tau) $ の中心上の微分によって誘導される。
• 型 $ I_\infty $ フォン・ノイマン代数に対して、$ L(M,\tau) $ 上のすべての微分は内微分である。つまり、ある $ a \in L(M,\tau) $ に対して $ D = D_a $ と書ける。これは、有界代数における古典的内微分性を、可測作用素の設定にまで拡張している。
• 非内微分は、$ M $ の有限次元均一成分、すなわち $ \dim H_\alpha < \infty $ の場合にのみ存在し、$ L^0(\Omega_\alpha) $ 上の微分を行列代数に成分ごとに作用させることで構成される。
• $ D_\delta $ は各 $ L^0(\Omega_\alpha) $ 上の誘導された微分 $ \delta_\alpha $ によって一意に定まる。また、内微分 $ D_a $ を生成する要素 $ a $ は、中心成分の和を除いて一意である。
• 証明は矛盾による議論に依存する。もし $ L^0 $ 上に非ゼロの微分 $ \delta $ が存在すると仮定すれば、$ L(M,\tau) $ の中でノルムが無限大に発散する要素の列が得られ、$ (bo) $-位相における有界性と矛盾する。
• 非分離の場合でも、射影技術を用いて分離の場合に還元することで、この結果は成り立つ。また、中心上で消える微分が内微分であるという、先行研究で確立された事実を用いている。