[论文解读] Logmodularity and isometries of operator algebras

David P. Blecher, Louis E. Labuschagne|ArXiv.org|May 14, 2002

Holomorphic and Operator Theory参考文献 31被引用 16

一句话总结

本文通过使用 $C^*$-包络（非交换的 Shilov 边界）将经典关于等距同构和对数模性的结果从函数代数推广到非交换算子代数。它建立了算子代数之间完全等距同构的等价刻画，并引入了对数模性的一个非交换类比，证明了对数模或对数刚性迹子代数可唯一正向扩展条件期望，其应用涵盖非交换 $L^p$-空间中的分解与稠密性问题。

ABSTRACT

We generalize some facts about function algebras to operator algebras, using the `noncommutative Shilov boundary' or $C^*$-envelope first considered by Arveson. In the first part we study and characterize complete isometries between operator algebras. In the second part we introduce and study a notion of logmodularity for operator algebras. We also give a result on conditional expectations. Many miscellaneous applications are given.

研究动机与目标

• 将函数代数之间等距同构的经典结果通过 $C^*$-包络推广到非交换算子代数。
• 引入并研究算子代数中对数模性的非交换类比。
• 通过涉及 $C^*$-包络的分块对角形式刻画算子代数之间的完全等距同构。
• 研究对数模或对数刚性算子代数中条件期望的正向扩展的唯一性。
• 探讨 $A^* + A$ 在冯诺依曼代数中的弱*稠密性，其动机来自非交换 Szegő 定理与 Jensen 不等式的类比。

提出的方法

• 使用 $C^*$-包络 $C^*_e(A)$ 作为 Shilov 边界的非交换类比，以刻画完全等距同构。
• 应用 $C^*$-代数的普遍表示，将映射 $T: A \to B$ 分解为包含一个完全等距同态 $\pi$ 和一个完全压缩映射 $S$ 的分块对角形式。
• 利用 Kadison-Schwarz 不等式与正性论证，分析从 $A$ 到冯诺依曼代数 $M$ 的条件期望的扩展。
• 通过非交换 $L^p$-空间中的对偶性与 Hahn-Banach 定理，证明 $L^1$-稠密性结果。
• 应用迹性质与条件期望结构，证明若 $1+x$ 为正，则 $\Phi((1+x)a) = \Phi(a)$，若 $x \neq 0$ 则导致矛盾。
• 利用完全正映射的交换值域自动为完全正的性质，从而可应用已知的非交换算子空间结果。

实验结果

研究问题

• RQ1 在何种条件下，算子代数之间的线性映射是完全等距同构？其可通过 $C^*$-包络如何刻画？
• RQ2 算子代数中对数模性的非交换类比是什么？它与分解和条件期望有何关联？
• RQ3 从冯诺依曼代数 $M$ 到 $\Delta(A)$ 的典型条件期望，何时是 $A$ 上条件期望到 $\Delta(A)$ 的唯一正向扩展？
• RQ4 $A^* + A$ 在冯诺依曼代数 $M$ 中是否弱*稠密？对于对数刚性或对数模迹子代数，其成立的条件是什么？
• RQ5 能否建立 Szegő 定理与 Jensen 不等式的非交换类比，以支持非交换 $L^p$-空间中的稠密性结果？

主要发现

• 在酉算子代数之间的线性映射 $T: A \to B$ 是完全等距同构，当且仅当其可分解为包含到 $C^*$-包络中的完全等距同态与在正交补上的完全压缩映射的分块对角形式。
• 对数模算子代数满足经典分解性质的非交换版本，意味着 $A$ 是其生成的冯诺依曼代数中的极大子对角代数。
• 对于对数刚性或对数模迹子代数 $A$，若 $\Delta(A)$ 属于 $M$ 的中心，则 $A^* + A$ 在 $L^1(M, \tau)$ 中稠密。
• 若 $A$ 为对数刚性或对数模代数，则从 $M$ 到 $\Delta(A)$ 的典型条件期望是 $A$ 上条件期望到 $\Delta(A)$ 的唯一正向扩展。
• 若 $A$ 为对数刚性代数且 $\Delta(A)$ 在 $M$ 中为中心，则通过利用正性与迹性质的反证法，可证 $A^* + A$ 在 $L^1(M, \tau)$ 中稠密。
• $L^1$-稠密性证明的关键在于：若存在非零 $x \in M$ 满足对所有 $a \in A^* + A$ 有 $\tau(xa) = 0$，则导致矛盾，此结论基于 $\Phi((1+x)a)$ 的正性与 $\Phi$ 的忠实性。