[论文解读] 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

一句话总结

本文对与类型 I 为冯诺依曼代数 $ M $ 相关的 $ \tau $-可测算子代数 $ L(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) $ 上任意导子唯一分解为一个内导子与一个源于 $ L(M,\tau) $ 中心上导子的中心导子。
• 证明当冯诺依曼代数为类型 $ I_\infty $ 时，$ L(M,\tau) $ 上的所有导子均为内导子，从而将有界冯诺依曼代数上的经典内导子性质推广至无界可测算子情形。

提出的方法

• 利用类型 I 冯诺依曼代数 $ M $ 的典范分解，将其表示为同质代数 $ L^\infty(\Omega_\alpha, \mu_\alpha) \bar{\otimes} B(H_\alpha) $ 的直和，其中指标对应于 $ H_\alpha $ 的维数。
• 将 $ L(M,\tau) $ 表示为代数 $ L(L^\infty(\Omega_\alpha, \mu_\alpha) \bar{\otimes} B(H_\alpha), \tau_\alpha) $ 的拓扑积，借助测度拓扑和可测算子的结构。
• 通过公式 $ D_\delta((x_\alpha)) = (D_{\delta_\alpha}(x_\alpha)) $，将中心 $ L^0(\Omega_\alpha) $ 上的导子 $ \delta_\alpha $ 提升至矩阵代数 $ M_{\dim H_\alpha}(L^0(\Omega_\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 $ 上存在一个非零导子时会产生 $ L(M,\tau) $ 中元素序列，其范数无界增长的矛盾，证明在 $ I_\infty $ 情形下此类导子无法延拓为有界算子。

实验结果

研究问题

• RQ1 与类型 I 冯诺依曼代数 $ M $ 相关的 $ \tau $-可测算子代数 $ L(M,\tau) $ 上导子的完整结构是什么？
• RQ2 在何种条件下 $ L(M,\tau) $ 上存在非内导子，且它们如何参数化？
• RQ3 当 $ M $ 为类型 $ I_\infty $ 时，$ L(M,\tau) $ 上的所有导子是否都是内导子？
• RQ4 是否每个 $ L(M,\tau) $ 上的导子均可唯一分解为一个内导子与一个源于其中心上导子的中心导子？
• RQ5 $ M $ 的有限维与无限维同质分量中，$ L(M,\tau) $ 上导子的行为有何不同？

主要发现

• 对于类型 I 冯诺依曼代数 $ M $，$ L(M,\tau) $ 上的每个导子 $ D $ 均有唯一分解 $ D = D_a + D_\delta $，其中 $ D_a $ 为内导子，$ D_\delta $ 由 $ L(M,\tau) $ 的中心上的导子诱导。
• 当 $ M $ 为类型 $ I_\infty $ 冯诺依曼代数时，$ L(M,\tau) $ 上的所有导子均为内导子，即存在某个 $ a \in L(M,\tau) $ 使得 $ D = D_a $，这将经典内导子性质从有界代数推广至可测算子情形。
• 非内导子仅存在于 $ M $ 的有限维同质分量中，具体而言当 $ \dim H_\alpha < \infty $ 时存在，且通过将 $ L^0(\Omega_\alpha) $ 上的导子逐项作用于矩阵代数 $ M_{\dim H_\alpha}(L^0(\Omega_\alpha)) $ 构造而成。
• 导子 $ D_\delta $ 由每个 $ L^0(\Omega_\alpha) $ 上诱导的导子 $ \delta_\alpha $ 唯一确定，且内导子 $ D_a $ 中的元素 $ a $ 唯一确定，至多相差一个中心分量。
• 证明依赖于反证法：若 $ L^0 $ 上存在非零导子 $ \delta $，则会在 $ L(M,\tau) $ 中产生范数无界增长的元素序列，与 $ (bo) $-拓扑下的有界性矛盾。
• 即使在非可分情形下，该结果仍成立：通过投影技巧将问题约化至可分情形，并利用先前工作中已确立的结论——在中心上为零的导子必为内导子。