[论文解读] Complete isometries into C*-algebras

David P. Blecher, Damon M. Hay|ArXiv.org|Mar 18, 2002

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

一句话总结

本文通过将 Holsztynski 关于 C(K) 空间之间等距同构的经典结果推广，刻画了 C*-代数之间的完全等距同构。结果表明，线性映射 $ T: A \to B $ 是完全等距同构当且仅当它是完全有界的，并且允许一种形式为 $ u\pi(\cdot) $ 的约化 $\wedge$-压缩，其中 $ \pi $ 是 *-同态，$ u $ 是 $ B^{**} $ 中的局部等距算子，关键洞见在于 *-同态部分决定了等距性，而互补部分仅起最小作用。

ABSTRACT

We give various characterizations of into (not necessarily onto) complete isometries between $C^*$-algebras, generalizing a classical result of Holsztynski. Our results are related to a natural embedding of the noncommutative Shilov boundary in a second dual.

研究动机与目标

• 将 Holsztynski 对交换 C*-代数之间等距同构的刻画推广至非交换 C*-代数。
• 确定 C*-代数之间线性映射为完全等距同构的必要与充分条件。
• 阐明非交换 Shilov 边界与第二对偶嵌入在刻画完全等距同构中的作用。
• 将理论扩展至非自伴算子代数，应用于三重系统与算子空间理论。

提出的方法

• 引入映射 $ T: A \to B $ 的约化 $\wedge$-压缩概念，通过标准嵌入 $ B \to B^{**} $ 定义。
• 利用 $ B $ 的通用表示，将 $ T $ 表示为 $ B(H_u) $ 中的分块对角算子矩阵，将其分解为 *-同态部分与互补部分。
• 证明 $ T $ 是完全等距同构当且仅当它是完全有界，并且允许形式为 $ u\pi(\cdot) $ 的约化 $\wedge$-压缩，其中 $ \pi $ 是 *-同态，$ u $ 是 $ B^{**} $ 中的局部等距算子。
• 利用 $ B^{**} $ 中的投影分析此类压缩的结构，并在 $ T $ 为单位元映射时将其与 $ B $ 关于左理想的商联系起来。
• 建立对于单位元映射，局部等距算子 $ u $ 可取为 1，且互补部分 $ S $ 为完全正的结论，推广了 Choi 与 Effros 的结果。
• 通过 $ \ell^\infty_n $ 与 $ M_n $ 的例子表明，即使对于单位元完全等距同构，互补部分的约化投影也未必存在。

实验结果

研究问题

• RQ1 什么特征使得 C*-代数之间线性映射成为完全等距同构，尤其是当其非满射时？
• RQ2 非交换 Shilov 边界与第二对偶 $ B^{**} $ 如何影响完全等距同构的结构？
• RQ3 Holsztynski 的交换情形下关于等距同构的结果能否以精确且内在的方式推广至非交换 C*-代数？
• RQ4 *-同态部分在决定映射是否为完全等距同构中起什么作用，而互补部分又如何影响这一性质？
• RQ5 在何种条件下，完全等距同构可分解为第二对偶中的 *-同态与完全正部分？

主要发现

• C*-代数之间线性映射 $ T: A \to B $ 是完全等距同构当且仅当它是完全有界，并且允许形式为 $ u\pi(\cdot) $ 的约化 $\wedge$-压缩，其中 $ \pi $ 是 *-同态，$ u $ 是 $ B^{**} $ 中的局部等距算子。
• 对于单位元映射，局部等距算子 $ u $ 可取为 1，且互补部分 $ S $ 为完全正，推广了 Choi 与 Effros 的结果。
• 映射的结构主要由 *-同态部分决定，而互补部分在确保等距性质方面仅起最小作用。
• 本文构造了一个单位元完全等距同构 $ \Psi: M_n \to B(H) $ 的例子，其中 $ H $ 为无穷维空间，使得不存在投影 $ p $ 使得 $ (1-p)\Psi(\cdot) $ 为 *-同态，除非 $ p = 1 $，此时映射为零。
• 该例子表明，即使在单位元情形下，互补部分的约化投影也未必存在，且非交换结构阻碍了对交换情形的直接类比。
• 该理论可自然推广至非自伴算子代数，对三重系统与算子空间理论具有应用价值，如相关工作中所展示。