[论文解读] Similarity problems and length

Gilles Pisier|arXiv (Cornell University)|May 8, 2000

Holomorphic and Operator Theory参考文献 29被引用 12

一句话总结

本文研究了C*-代数中的凯迪森相似问题及其相关的导子问题，证明了它们与同态和表示的完全有界性之间的等价性。主要贡献在于证明：通过子代数生成定义的C*-代数的长度是有限的，当且仅当该代数满足相似性质，且利用算子空间理论和矩阵范数得出了明确的界。

ABSTRACT

This is a survey of the author's recent results on the Kadison and Halmos similarity problems and the closely connected notion of ``length'' of an operator algebra.

研究动机与目标

• 通过将凯迪森相似问题与算子代数中的完全有界性概念联系起来，解决该问题。
• 建立C*-代数中相似问题与导子问题之间的等价性。
• 将C*-代数的“长度”定义为子代数生成整个代数的度量，并加以分析。
• 利用矩阵范数和算子空间技术，为长度提供定量界。
• 证明代数 $ A_3 = \bigoplus_{n \to \infty} M_n $ 的长度超过2，从而反驳了既有的猜想界。

提出的方法

• 使用完全有界（c.b.）映射及其范数 $ \|u\|_{cb} $ 来刻画与*-同态相似的性质。
• 应用哈格鲁普定理：一个同态与*-同态相似，当且仅当它是完全有界的，且满足 $ \|u\|_{cb} = \inf \|\xi\| \|\xi^{-1}\| $，其中下确界取遍所有此类相似变换。
• 应用保拉斯的推广结果至非自伴算子代数，表明 $ \|u\|_{cb} < \infty $ 当且仅当 $ u $ 与一个完全压缩同态相似。
• 将单子算子代数 $ A $ 的长度 $ \ell(A) $ 定义为最小的 $ d $，使得 $ A $ 的单位球位于子代数有界子集 $ C $ 的 $ C^d $ 的闭凸包中。
• 通过对 $ A_3 $ 中元素乘积的矩阵范数估计，特别是分析 $ w_{\alpha\beta} $ 在 $ (\alpha,\beta) = (1,2), (2,1) $ 时的情形，得到 $ \|v\|_{[2]} \leq 2 + 2\sqrt{m} $ 的界。
• 通过反证法假设 $ \ell(A_3) \leq 2 $，利用不等式 $ C(m,3) \leq K(2 + \sqrt{m}) $，导致对 $ d=3 $ 的引理11产生矛盾。

实验结果

研究问题

• RQ1 每个从C*-代数到 $ B(H) $ 的有界单位同态是否都与*-同态相似？
• RQ2 一个 $ \pi $-导子的有界性是否意味着它是内导子，即形如 $ \delta(a) = \pi(a)T - T\pi(a) $？
• RQ3 C*-代数的长度与其相似性质之间的确切关系是什么？
• RQ4 代数 $ A_3 = \bigoplus_{n \geq 1} M_n $ 的长度能否被2上界控制？
• RQ5 矩阵范数和算子空间技术如何约束由子代数生成的算子代数的长度？

主要发现

• C*-代数 $ A $ 的相似问题与导子问题等价，且两者均与同态和导子的完全有界性等价。
• 对任意单子算子代数 $ A $，同态 $ u: A \to B(H) $ 与完全压缩同态相似，当且仅当 $ \|u\|_{cb} < \infty $，且 $ \|\xi\| \|\xi^{-1}\| $ 的下确界达到cb-范数。
• 代数 $ A_3 = \bigoplus_{n \geq 1} M_n $ 的长度 $ \ell(A_3) $ 大于2，通过反证法结合 $ \|v\|_{[2]} \leq 2 + 2\sqrt{m} $ 的界以及对 $ d=3 $ 的引理11的违反得以证明。
• 若 $ \ell(A) \leq d $，则对任意单位同态 $ u $ 到巴拿赫代数 $ \beta $，有 $ \|u\| \leq dK \max\{\|u|_{B_1}\|, \|u|_{B_2}\|\}^d $，从而建立了范数的多项式界。
• 对于 $ \mathcal{K}(A) $，其中 $ A $ 为单子算子代数，有 $ \ell(\mathcal{K}(A)) \leq 2\ell(A) + 1 $，且反之若 $ \ell(\mathcal{K}(A)) \leq m $，则 $ \ell(A) \leq \lfloor (m+1)/2 \rfloor $。
• 对于 $ A = C_1 \otimes_{\max} C_2 $，其中 $ A_1 = C_1 \otimes 1 $，$ A_2 = 1 \otimes C_2 $，$ A $ 的长度与 $ \mathcal{K}(A) $ 由 $ \mathcal{K}(A_1) $ 和 $ \mathcal{K}(A_2) $ 生成的方式相关，且通过矩阵范数分析得出了明确的界。