[论文解读] Lie derivations on the algebras of locally measurable operators

Vladimir Chilin, I. T. Juraev|arXiv (Cornell University)|Aug 13, 2016

Advanced Topics in Algebra参考文献 3被引用 3

一句话总结

该论文证明了在与冯诺依曼代数相关的局部可测算子的实心*-子代数上，每个李导子均可唯一分解为内导子、由中心值导子诱导的导子以及中心值迹的和。该结果将C*-代数和冯诺依曼代数中李导子的标准形式分解推广至更广泛的局部可测算子代数类，并在类型I情形下提供了完整的结构表征。

ABSTRACT

We prove that every Lie derivation on a solid $\star-$subalgebras of locally measurable operators it is equal to a sum of the associative derivation and the center-valued trace.

研究动机与目标

• 表征与冯诺依曼代数相关的局部可测算子实心*-子代数上李导子的结构。
• 将已知于C*-代数和冯诺依曼代数的李导子标准形式分解推广至更一般的局部可测算子代数设定。
• 证明此类代数上的每个李导子均可唯一表示为内导子、由中心值导子诱导的导子以及中心值迹的和。
• 在类型I冯诺依曼代数情形下，提供李导子的完整结构分类，包括有限型和非有限型因子。

提出的方法

• 作者使用局部可测算子及其代数LS(M)的理论，该代数推广了可测算子代数S(M)。
• 他们将LS(M)的实心*-子代数定义为在von Neumann代数M的元素从左右两边相乘下封闭的子代数。
• 关键技术涉及利用中心投影对LS(M)上的导子进行分解，并通过直和分解将问题约化至有限型I冯诺依曼代数。
• 对于有限型I代数，导子通过中心的可测算子上的矩阵代数构造，利用中心代数S(Z)上的导子。
• 导子Dδ通过公式(4.1)在乘积代数∏_{n∈F} LS(z_nM)上显式定义，即对每个矩阵元应用中心导子δ_n。
• 最终导子D通过设定Dδ(x₁ + x₂) = Dδ(x₁)（其中x₁ ∈ z₀LS(M)，x₂ ∈ z₀⊥LS(M)）扩展至整个LS(M)，并借助在非有限部分已知的内导子结果。

实验结果

研究问题

• RQ1 已知于C*-代数和冯诺依曼代数的李导子标准形式，能否推广至局部可测算子代数？
• RQ2 在包含M的LS(M)的实心*-子代数上，李导子的精确结构分解是什么？
• RQ3 LS(M)中心上的导子如何诱导整个代数上的导子？它们在分解中起什么作用？
• RQ4 李导子的分解在多大程度上依赖于底层冯诺依曼代数的类型I结构？
• RQ5 在LS(M)背景下，李导子分解为内导子、中心导子和中心值迹是否唯一？

主要发现

• 在包含M的LS(M)的实心*-子代数上，每个李导子均可唯一分解为内导子、由中心值导子诱导的导子以及中心值迹的和。
• 在冯诺依曼代数M为类型I的情形下，分解形式为L = D_a + D_δ + E，其中D_a为内导子，D_δ由中心S(Z)上的导子δ生成，E为一中心值迹。
• 导子D_δ通过公式D_δ(∑λ_ij e_ij) = ∑δ(λ_ij)e_ij显式构造，其中δ作用于中心S(Z)。
• 对于有限型I冯诺依曼代数，LS(M)同构于L^0-空间上矩阵代数的乘积，当中心无原子时，可构造不可数多个不同的导子。
• 任何LS(M)上导子D在中心S(Z)上的限制决定了整个D_δ分量，且当通过中心投影限制时，D_δ在非有限部分为平凡。
• 该结果证实了LS(M)中李导子的标准形式成立，将S(M)和C*-代数中的已知结果推广至局部可测算子的非有界设定。