[论文解读] 2-Local derivations and automorphisms on $B(H)$

Sh. A. Ayupov, Karimbergen Kudaybergenov|arXiv (Cornell University)|Nov 12, 2011

Advanced Topics in Algebra参考文献 11被引用 9

一句话总结

本文证明了在希尔伯特空间 $ H $ 上的有界线性算子代数 $ B(H) $ 上，每个2-局部导子都是导子，每个2-局部自同构都是自同构。作者利用迹性质、有限秩算子的结构以及空间导子理论，证明即使未预先假设线性性，$ B(H) $ 上的2-局部映射也必须是全局线性导子或自同构。

ABSTRACT

The paper is devoted to 2-local derivations and 2-local automorphisms on the algebra $B(H)$ of all bounded linear operators on a Hilbert space $H.$ We prove that every 2-local derivation on $B(H)$ is a derivation. A similar result is obtained for automorphisms.

研究动机与目标

• 确定在希尔伯特空间 $ H $ 上的有界算子代数 $ B(H) $ 上，2-局部导子和自同构是否必然为全局导子或自同构。
• 将此前在可分希尔伯特空间上的结果推广到任意（不一定可分的）希尔伯特空间。
• 确立2-局部映射在 $ B(H) $ 上是线性的并满足莱布尼茨法则，即使事先未假设其线性性。
• 表明2-局部映射在有限秩算子理想 $ \mathcal{F}(H) $ 上的限制决定了其在整个 $ B(H) $ 上的行为，通过迹和空间导子技术。

提出的方法

• 利用 $ B(H) $ 上的典范迹 $ \operatorname{tr} $ 分析2-局部映射在有限秩算子 $ \mathcal{F}(H) $ 上的行为，利用其非退化性。
• 证明若一个2-局部导子在 $ \mathcal{F}(H) $ 上为零，则它在整个 $ B(H) $ 上恒为零，利用迹恒等式和交换子的结构。
• 证明2-局部导子在 $ \mathcal{F}(H) $ 上的限制是乔丹导子，并应用半单代数上乔丹导子即为导子的结果。
• 通过引用 [5, 定理 3.3] 的结果，证明2-局部导子在 $ \mathcal{F}(H) $ 上的限制是空间的（由 $ B(H) $ 中某元素的交换子实现）。
• 定义新映射 $ \Delta_0 = \Delta - D_a $，其中 $ D_a $ 是由元素 $ a $ 诱导的空间导子，并利用其在 $ \mathcal{F}(H) $ 上的零性证明 $ \Delta_0 \equiv 0 $ 在 $ B(H) $ 上成立。
• 对于2-局部自同构，利用其在 $ \mathcal{F}(H) $ 上的限制是自同构的事实，并通过 $ B(H) $ 中某个可逆元 $ a $ 的共轭作用将其提升至整个代数，证明对所有 $ x \in B(H) $ 有 $ \Theta(x) = axa^{-1} $。

实验结果

研究问题

• RQ1 对于任意希尔伯特空间 $ H $，$ B(H) $ 上的2-局部导子是否必然为导子？
• RQ2 能否在不假设连续性或可分性的前提下，证明 $ B(H) $ 上的2-局部自同构是自同构？
• RQ3 2-局部映射在有限秩算子理想 $ \mathcal{F}(H) $ 上的行为是否决定其在 $ B(H) $ 上的全局行为？
• RQ4 能否利用 $ \mathcal{F}(H) $ 上的迹来证明2-局部映射是线性的并满足莱布尼茨法则？
• RQ5 每个 $ B(H) $ 上的2-局部自同构是否都由 $ B(H) $ 中某个固定的可逆算子的共轭实现？

主要发现

• 即使事先未假设线性性，$ B(H) $ 上的每个2-局部导子都是导子。
• 每个 $ B(H) $ 上的2-局部自同构都是自同构，且由 $ B(H) $ 中某个固定的可逆算子的共轭实现。
• 任何2-局部导子在有限秩算子理想 $ \mathcal{F}(H) $ 上的限制都是导子，因此也是空间的。
• 若一个2-局部导子在 $ \mathcal{F}(H) $ 上为零，则由于迹的非退化性，它在整个 $ B(H) $ 上恒为零。
• 2-局部导子的线性性通过由2-局部条件导出的可加性和齐次性得以确立。
• 关键技术步骤是证明对所有 $ x \in B(H) $ 有 $ \Delta(x) = ax - xa $，其中 $ a \in B(H) $ 是在 $ \mathcal{F}(H) $ 上实现空间导子的元素。