[论文解读] Some remarks on derivations in algebras of measurable operators

A. F. Ber, B. de Pagter+1 more|ArXiv.org|Jul 7, 2009

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

一句话总结

本文研究了与冯诺依曼代数相关的可测算子代数中的导子，完全刻画了所有导子在局部可测、可测或 τ-可测算子代数中均为内导子的类型 I 冯诺依曼代数。此外，还证明在恰当无限冯诺依曼代数中，每个导子在局部可测算子代数的中心上恒为零。

ABSTRACT

This paper is concerned with derivations in algebras of (unbounded) operators affiliated with a von Neumann algebra $\mathcal{M}$. Let $\mathcal{% A}$ be one of the algebras of measurable operators, locally measurable operators or, $τ$-measurable operators. We present a complete description of von Neumann algebras $\mathcal{M}$ of type $I$ in terms of their central projections such that every derivation in $\mathcal{A}$ is inner. It is also shown that every derivation in the algebra $LS(\mathcal{M})$ of all locally measurable operators with respect to a properly infinite von Neumann algebra $\mathcal{M}$ vanishes on the center of $LS(\mathcal{M})$.

研究动机与目标

• 刻画所有在可测算子代数（LS(M)、S(M)、S(τ)）中导子均为内导子的类型 I 冯诺依曼代数。
• 研究在恰当无限冯诺依曼代数中，导子在局部可测算子代数中心上的行为。
• 将经典算子代数中关于导子的结论推广至非赋范代数的可测算子代数。
• 提供算子不等式，作为非赋范情形下范数不等式的替代。
• 建立冯诺依曼代数的结构条件，使得导子必为内导子或在中心上恒为零。

提出的方法

• 利用与冯诺依曼代数 M 相关的可测算子理论，重点关注 LS(M)、S(M) 和 S(τ) 代数。
• 应用中心投影与幂等元的性质，分析导子的结构及其在中心上的消失性。
• 在 II₁ 因子中应用谱理论与迹性质，特别利用迹通过谱投影定义中心元素 λ₀。
• 应用具有相等迹的投影的酉等价性（通过 Murray-von Neumann 等价性）来构造将算子共轭的酉算子。
• 使用恒等式 |a − λ₀1| + u*|a − λ₀1|u = |ua − au| 推导 II₁ 因子中的关键算子不等式。
• 应用 Z-线性性与换位子结构的概念，证明当 M 为恰当无限时，导子在 LS(M) 的中心上恒为零。

实验结果

研究问题

• RQ1 哪些类型 I 冯诺依曼代数满足 LS(M)、S(M) 和 S(τ) 中的所有导子均为内导子？
• RQ2 在何种条件下，局部可测算子代数上的导子在中心上恒为零？
• RQ3 如何将导子的基于范数的不等式推广至非赋范的可测算子代数？
• RQ4 中心投影与谱投影在刻画内导子中起什么作用？
• RQ5 冯诺依曼代数的结构（如恰当无限或 II₁ 因子）能否与导子的消失性或内导子性质相联系？

主要发现

• 冯诺依曼代数 M 为类型 I 当且仅当 LS(M)、S(M) 或 S(τ) 中的所有导子均为内导子。
• 对于任意恰当无限冯诺依曼代数 M，每个导子 δ: A → LS(M) 在 LS(M) 的任意包含 M 的 *-子代数 A 的中心 Z(A) 上恒为零。
• 在 II₁ 因子中，对任意自伴可测算子 a ∈ S_h(M)，存在 λ₀ ∈ ℝ 和 u ∈ U(M)，使得 |au − ua| = |u*au − a| = |a − λ₀1| + u*|a − λ₀1|u。
• 算子不等式 |a − λ₀1| + u*|a − λ₀1|u = |au − ua| 成立，为非赋范代数中的范数估计提供了替代方案。
• 可测算子代数中的导子为 Z-线性，且对所有 a ∈ Z(A) 有 δ(a) ∈ Z(A)，这意味着 δ 在中心幂等元上恒为零。
• 通过 Murray-von Neumann 等价性构造酉算子，确保具有相等迹的投影酉等价，从而在 II₁ 因子中推导出关键恒等式。