[论文解读] On a certain class of operator algebras and their derivations

Sh. A. Ayupov, R. Z. Abdullaev+1 more|ArXiv.org|Aug 9, 2009

Holomorphic and Operator Theory参考文献 14被引用 3

一句话总结

本文引入了有限迹代数，定义为冯诺依曼代数 $M$ 上所有忠实正规有限迹下的所有非交换 $L_p$-空间的交集。证明了此类代数上的每个导子都是内导子，推广了关于阿伦斯代数的已知结果，并为基于非交换 $L_p$-空间的算子代数建立了关键的结构性质。

ABSTRACT

Given a von Neumann algebra $M$ with a faithful normal finite trace, we introduce the so called finite tracial algebra $M_f$ as the intersection of $L_p$-spaces $L_p(M, μ)$ over all $p \geq 1$ and over all faithful normal finite traces $μ$ on $M.$ Basic algebraic and topological properties of finite tracial algebras are studied. We prove that all derivations on these algebras are inner.

研究动机与目标

• 定义并研究有限迹代数作为冯诺依曼代数 $M$ 上所有忠实正规有限迹 $\mu$ 的 $L_p(M,\mu)$ 空间的交集。
• 研究这些代数的拓扑与代数性质，特别是其可度量性与自反性。
• 对这些代数上的导子给出完整刻画，证明所有导子均为内导子。
• 将阿伦斯代数中导子结果的已知结论推广至更广泛的基于非交换 $L_p$-空间的算子代数类。
• 为有限迹代数提供对偶空间描述，并澄清其拓扑结构。

提出的方法

• 定义有限迹代数 $M_f = \bigcap_{\mu \in \mathcal{F}} \bigcap_{p \geq 1} L_p(M,\mu)$，其中 $\mathcal{F}$ 是 $M$ 上所有忠实正规有限迹的集合。
• 为 $M_f$ 赋予由所有 $p \geq 1$ 和 $\mu \in \mathcal{F}$ 的 $L_p$-范数 $\|\cdot\|_p^\mu$ 生成的拓扑 $t$。
• 利用拉东-尼科迪姆定理，将任意忠实正规有限迹 $\mu$ 表示为 $\mu(x) = \tau(hx)$ 的形式，其中 $h$ 是 $L^1(M,\tau)$ 中与 $M$ 的中心相关的正元。
• 应用阿伦斯代数 $L^\omega(M,\tau)$ 中导子的已知结果，特别是当 $\tau$ 有限时，$L^\omega(M,\tau)$ 上的导子为内导子。
• 利用 $M_f$ 作为 $L^\omega(M,\tau)$ 的子代数的坚固性，并借助引理 4.2，将 $L^\omega(M,\tau)$ 中导子的实现元 $a$ 提升至 $M_f$ 本身。
• 利用莱布尼茨法则和谱理论（例如，对 $x \geq 0$，$1+x$ 可逆）将导子恒等式从 $M$ 扩展至整个代数 $A \supseteq M$。

实验结果

研究问题

• RQ1 在何种条件下，有限迹代数 $M_f$ 是可度量的或自反的？
• RQ2 在何种条件下，$M_f$ 作为集合与冯诺依曼代数 $M$ 重合？
• RQ3 有限迹代数的对偶空间结构如何？
• RQ4 所有 $M_f$ 上的导子是否都是内导子？若是，对 $M$ 的条件是什么？
• RQ5 与 $M$ 上的算子拓扑和 $L_p$-拓扑相比，$M_f$ 上的拓扑有何异同？

主要发现

• 在由所有 $L_p^\mu$-范数生成的拓扑下，有限迹代数 $M_f$ 是一个完备的局部凸拓扑 $^*$-代数。
• $M_f$ 可度量或自反当且仅当 $M$ 的中心是有限维的，此时 $M_f$ 与某个迹 $\mu$ 对应的阿伦斯代数 $L^\omega(M,\mu)$ 重合。
• 有限迹代数 $M_f$ 作为集合与 $M$ 重合当且仅当 $M$ 是有限维的，或迹空间是平凡的，但此时 $M_f$ 上的拓扑严格强于算子拓扑。
• 在对偶配对 $\langle x, a \rangle = \tau(ax)$ 下，$M_f$ 的对偶空间等距同构于所有 $q \in (1,\infty)$ 和所有忠实正规有限迹 $\mu$ 的 $L_q(M,\mu)$ 空间的交集。
• 在包含 $M$ 的坚固 $^*$-子代数 $A \subseteq L^\omega(M,\tau)$ 上的每个导子都是内导子，其实现元 $a$ 属于 $A$。
• 特别地，$M_f$ 上的每个导子都是内导子，建立了经典交换 $L_p$-代数结果的非交换类比。