[论文解读] Derivations in algebras of operator-valued functions

A. F. Ber, B. de Pagter+1 more|ArXiv.org|Nov 6, 2008

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

一句话总结

本文证明，当 $ X $ 为可分且无限维时，所有代数 $ L_0^{wo}(\nu; \mathcal{L}(X)) $ 上的导子均为内导子，这与有限维情形下存在非内导子的情况形成鲜明对比。关键结果可推广至与冯诺依曼代数相关的各类可测算子代数，包括 $ S(\mathcal{M}) $、$ LS(\mathcal{M}) $ 和 $ S(\tau) $，在适当条件下，这些代数中的所有导子均为内导子。

ABSTRACT

In this paper we study derivations in subalgebras of $L_{0}^{wo}(ν;% \mathcal{L}(X)) $, the algebra of all weak operator measurable funtions $f:S o \mathcal{L}(X) $, where $% \mathcal{L}(X) $ is the Banach algebra of all bounded linear operators on a Banach space $X$. It is shown, in particular, that all derivations on $L_{0}^{wo}(ν;\mathcal{L}(X)) $ are inner whenever $X$ is separable and infinite dimensional. This contrasts strongly with the fact that $L_{0}^{wo}(ν;\mathcal{L}(X)) $ admits non-trivial non-inner derivations whenever $X$ is finite dimensional and the measure $ν$ is non-atomic. As an application of our approach, we study derivations in various algebras of measurable operators affiliated with von Neumann algebras.

研究动机与目标

• 研究巴拿赫空间 $ X $ 上有界算子代数 $ \mathcal{L}(X) $ 值的弱算子可测函数代数中导子的结构。
• 确定此类代数上导子是否为内导子或非内导子，取决于 $ X $ 的维数。
• 将结果推广至与半有限冯诺依曼代数相关的可测算子代数，包括 $ S(\mathcal{M}) $、$ LS(\mathcal{M}) $ 和 $ S(\tau) $。
• 提出一种新的泛函分析方法来研究非交换积分中的导子，与现有的模理论方法形成对比。
• 在适当无限冯诺依曼代数中建立导子的 $ \mathcal{Z} $-线性性，揭示其在关联算子代数中导子结构中的意义。

提出的方法

• 作者分析了子代数 $ L_0^{wo}(\nu; \mathcal{L}(X)) $ 上的导子，即从测度空间 $ (S, \Sigma, \nu) $ 到 $ \mathcal{L}(X) $ 的弱算子可测函数代数。
• 他们引入了 $ L_0^{wo}(\nu; \mathcal{L}(X)) $ 的‘可容许子代数’概念，这些子代数在特定收敛性和谱条件之下封闭。
• 证明依赖于谱理论以及 $ \mathcal{L}(X) $ 中投影的性质，特别是无界算子谱投影的行为。
• 作者利用当 $ \mathcal{M} = L_\infty(\nu) \overline{\otimes} B(H) $ 时，$ LS(\mathcal{M}) $ 与 $ L_0^{wo}(\nu; B(H)) $ 的同构关系，将函数空间框架与算子代数框架联系起来。
• 他们应用了关于测度收敛与局部可测性的结果，证明 $ S(\mathcal{M}) $、$ LS(\mathcal{M}) $ 和 $ S(\tau) $ 上的导子为内导子，利用无限维情形下的内导子性质。
• 证明适当无限冯诺依曼代数中导子的 $ \mathcal{Z} $-线性性，依赖于无限投影的存在性与谱分解技术。

实验结果

研究问题

• RQ1 当 $ X $ 为可分且无限维时，$ L_0^{wo}(\nu; \mathcal{L}(X)) $ 上的所有导子是否均为内导子？
• RQ2 当 $ X $ 为有限维与无限维时，导子的性质有何不同？
• RQ3 能否将 $ L_0^{wo}(\nu; \mathcal{L}(X)) $ 中的内导子性质推广至与冯诺依曼代数相关的可测算子代数？
• RQ4 收敛于测度的拓扑在刻画这些代数上导子的性质中起什么作用？
• RQ5 适当无限冯诺依曼代数中导子的 $ \mathcal{Z} $-线性性是否源于代数的谱结构？

主要发现

• 当 $ X $ 为可分且无限维时，$ L_0^{wo}(\nu; \mathcal{L}(X)) $ 上的所有导子均为内导子。
• 当 $ X $ 为有限维且 $ \nu $ 为非原子测度时，$ L_0^{wo}(\nu; \mathcal{L}(X)) $ 存在非平凡的非内导子。
• 与 $ \mathcal{M} = L_\infty(\nu) \overline{\otimes} B(H) $ 关联的局部可测算子代数 $ LS(\mathcal{M}) $ 同构于 $ L_0^{wo}(\nu; B(H)) $，且 $ LS(\mathcal{M}) $ 上的所有导子均为内导子。
• $ S(\mathcal{M}) $ 和 $ S(\tau) $ 上的导子也为内导子，这是通过将主要结果应用于可容许子代数而证明的。
• $ LS(\mathcal{M}) $ 上收敛于局部测度的拓扑与 $ L_0^{wo}(\nu; B(H)) $ 上自然的测度收敛拓扑一致，这一事实支持了内导子结果。
• 在 $ LS(\mathcal{M}) $ 的 $ \ast $-子代数 $ \mathcal{A} \supseteq \mathcal{M} $ 上，若 $ \mathcal{M} $ 为适当无限，则任意导子均为 $ \mathcal{Z} $-线性，这是关键的结构性性质。