[论文解读] Almost normal operators mod Hilbert-Schmidt and the K-theory of the Banach algebras $E\Lambda(\Omega)$

Dan-Virgil Voiculescu|arXiv (Cornell University)|Dec 21, 2011

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

一句话总结

本文引入了巴拿赫 ∗-代数 $E\Lambda(\Omega)$ 以研究模希尔伯特-施密特算子的几乎正规算子，建立了其 K-理论与平库斯 g-函数之间的联系。结果表明，$E\Lambda(\Omega)$ 同构于其理想 $K\Lambda(\Omega)$ 的双对偶，且余锥代数 $E\Lambda(\Omega)/K\Lambda(\Omega)$ 是一个 C∗-代数。关键结果是：模希尔伯特-施密特的 BDF 型定理等价于通过 g-函数，$E\Lambda(\Omega)$ 的 K-理论同构于 $L^1_{\text{re}}(\Omega, \lambda)$。

ABSTRACT

Is there a mod Hilbert-Schmidt analogue of the BDF-theorem, with the Pincus g-function playing the role of the index ? We show that part of the question is about the K-theory of certain Banach algebras. These Banach algebras, related to Lipschitz functions and dirichlet algebras have nice Banach space duality properties. Moreover their corona algebras are C*-algebras.

研究动机与目标

• 建立模希尔伯特-施密特算子的 BDF 定理的类比，其中平库斯 g-函数取代了指标的角色。
• 研究建模了正规算子压缩后产生迹类自交换子的算子的巴拿赫代数 $E\Lambda(\Omega)$ 的 K-理论。
• 阐明正规扩张在模希尔伯特-施密特算子分类几乎正规算子中的作用。
• 证明余锥代数 $E\Lambda(\Omega)/K\Lambda(\Omega)$ 是一个 C∗-代数，尽管其底层代数并非 C∗-代数。
• 探讨 $K_0(E\Lambda(\Omega))$ 的整性性质是否可能阻碍正规扩张，从而为扩张问题提供一个潜在的否定答案。

提出的方法

• 将 $E\Lambda(\Omega)$ 定义为 $L^2(\Omega, \lambda)$ 中满足与利普希茨函数乘法算子的交换子为希尔伯特-施密特算子的算子代数。
• 证明 $K\Lambda(\Omega)$（即 $E\Lambda(\Omega)$ 中的紧算子理想）是狄利克雷代数，且与 $E\Lambda(\Omega)$ 的预对偶等距同构。
• 利用对偶配对 $\mathrm{Tr}(T x + [Z, T] y)$ 将 $E\Lambda(\Omega)$ 识别为 $K\Lambda(\Omega)$ 的双对偶。
• 应用希尔伯特空间算子的范数理想扰动结果，在 $K\Lambda(\Omega)$ 中构造有界逼近单位的投影。
• 利用平库斯 g-函数作为到 $L^1_{\text{re}}(\Omega, \lambda)$ 的候选同构，分析 $E\Lambda(\Omega)$ 和 $E\Lambda(\Omega)_0$（在有界 $\Omega$ 上的归纳极限）的 K-理论。
• 证明余锥代数 $E\Lambda(\Omega)/K\Lambda(\Omega)$ 是一个 C∗-代数，尽管 $E\Lambda(\Omega)$ 并非 C∗-代数。

实验结果

研究问题

• RQ1 是否存在一个模希尔伯特-施密特算子的 BDF 型分类定理，其中平库斯 g-函数扮演指标的角色？
• RQ2 $E\Lambda(\Omega)$ 的 K-理论，特别是 $K_0(E\Lambda(\Omega))$，是否反映了 g-函数作为 $L^1$-函数的结构？
• RQ3 是否 $K_0(E\Lambda(\Omega))$ 的整性性质可能阻碍几乎正规算子的正规扩张，从而为扩张问题提供一个潜在的否定答案？
• RQ4 余锥代数 $E\Lambda(\Omega)/K\Lambda(\Omega)$ 的结构是什么？为何尽管 $E\Lambda(\Omega)$ 不是 C∗-代数，其余锥代数却是一个 C∗-代数？
• RQ5 从 Borel 集 $\Omega_1$ 到 $\Omega_2$ 的双李普希茨映射如何诱导 $E\Lambda(\Omega)$ 及其余锥代数之间的同构？

主要发现

• $E\Lambda(\Omega)$ 通过对偶配对 $\mathrm{Tr}(T x + [Z, T] y)$ 同构于其理想 $K\Lambda(\Omega)$（即 $E\Lambda(\Omega)$ 中的紧算子）的双对偶。
• 尽管 $E\Lambda(\Omega)$ 不是 C∗-代数，余锥代数 $E\Lambda(\Omega)/K\Lambda(\Omega)$ 仍是一个 C∗-代数。
• 模希尔伯特-施密特的 BDF 定理问题等价于通过平库斯 g-函数，$E\Lambda(\Omega)_0$ 的 K-理论同构于 $L^1_{\text{re}}(\Omega, \lambda)$。
• $K\Lambda(\Omega)$ 是狄利克雷代数，其上由导子 $\partial a = [X, a] \oplus [Y, a]$ 诱导出一个马尔可夫半群的完全正收缩。
• 从 Borel 集 $\Omega_1$ 到 $\Omega_2$ 的双李普希茨映射诱导出 $E\Lambda(\Omega_1)$ 与 $E\Lambda(\Omega_2)$ 之间的 $*$-同构，以及其相应余锥代数之间的同构。
• 余锥代数 $(E/K)\Lambda(\Omega)$ 的中心尚属未解问题，尽管其与卡金代数双交换子问题类似。