[论文解读] A simple proof of a theorem of Kirchberg and related results on $C^*$-norms

Gilles Pisier|arXiv (Cornell University)|Dec 7, 1995

Advanced Operator Algebra Research参考文献 16被引用 83

一句话总结

本文提供了基於算子空間的簡潔證明，證實基爾伯格定理：任何自由群的全群 C*-代數滿足 $ C^*(F) \otimes_{\min} B(H) = C^*(F) \otimes_{\max} B(H) $，並將此結果推廣至具有相同性質的單位 C*-代數的自由積。關鍵洞見在於利用與單位元生成元相關的映射的完全有界范數，將這些生成元及其與 $ B(H) $ 的張量積上的最小與最大張量范數等價起來，從而建立 C*-代數中弱期望性質（WEP）與精確性的新特徵化。

ABSTRACT

Recently, E.\ Kirchberg [K1--2] revived the study of pairs of $C^*$-algebras $A,B$ such that there is only one $C^*$-norm on the algebraic tensor product $A\otimes B$, or equivalently such that $A \otimes_{ m min}B = A\otimes_{ m max}B$. Recall that a $C^*$-algebra is called nuclear cf.\ [L, EL] if this happens for any $C^*$-algebra $B$. Kirchberg [K1] constructed the first example of a non-nuclear $C^*$-algebra such that $A\otimes_{ m min} A^{op} = A \otimes_{ m max} A^{op}$. He also proved the following striking result [K2] for which we give a very simple proof and which we extend. \proclaim Theorem 0.1. {\bf (Kirchberg [K2]).} Let $F$ be any free group and let $C^*(F)$ be the (full) $C^*$-algebra of $F$, then $$C^*(F) \otimes_{ m min} B(H) = C^*(F) \otimes_{ m max} B(H).$$

研究动机与目标

• 提供基於算子空間理論的簡化證明，證實對任何自由群 $ F $，有 $ C^*(F) \otimes_{\min} B(H) = C^*(F) \otimes_{\max} B(H) $。
• 將此結果推廣至滿足相同範數等式的單位 C*-代數的自由積。
• 透過特定算子空間子結構上最小與最大張量範數的相等，特徵化 C*-代數中的弱期望性質（WEP）與精確性。
• 建立相關映射的完全有界范數與張量積上 $ C^* $-範數相等之間的聯繫。

提出的方法

• 運用算子空間理論，特別是完全有界映射與 $ \|\cdot\|_{cb} $ 範數理論，分析由單位元生成的 C*-代數結構。
• 將問題簡化為僅需在 $ C^*(F) $ 的單位與自由單位元生成元的線性張成空間 $ E $ 上驗證範數相等，利用此空間在完全等距同構下決定 $ C^* $-代數的事實。
• 應用完全有界映射的分解定理，將映射 $ T: \ell_\infty(I) \to B(H) $ 的範數與 $ C^*(F) \otimes_{\min} B(H) $ 中 $ \sum U_i \otimes x_i $ 的算子範數聯繫起來。
• 使用柯西-施瓦茨型不等式（引理 3）來控制涉及單位元與算子的和的範數，從而掌握最小範數。
• 透過識別 $ \|T\|_{cb} = \| \sum U_i \otimes x_i \|_{\min} $，建立映射 $ T $ 的完全有界性與 $ \sum U_i \otimes x_i $ 範數最小化的等價性。
• 透過 $ \|\cdot\|_{\rm nor} $ 範數將結果推廣至 von Neumann 代數，證明對任意 von Neumann 代數 $ N $，有 $ C^*(F) \otimes_{\rm nor} N = C^*(F) \otimes_{\max} N $。

实验结果

研究问题

• RQ1 對任何自由群 $ F $，是否成立 $ C^*(F) \otimes_{\min} B(H) = C^*(F) \otimes_{\max} B(H) $？能否以比基爾伯格原始證明更簡潔的方法證明？
• RQ2 若對每個 $ i \in I $，均有 $ A_i \otimes_{\min} B(H) = A_i \otimes_{\max} B(H) $，此性質能否推廣至自由積 $ A = \ast_{i\in I} A_i $，使得 $ A \otimes_{\min} B(H) = A \otimes_{\max} B(H) $？
• RQ3 與單位元生成元相關的映射的完全有界範數在多大程度上決定最小與最大張量範數的相等？
• RQ4 單位元張成空間上的最小與最大範數相等，如何與 C*-代數中的弱期望性質（WEP）與精確性相關聯？
• RQ5 能否利用算子空間技術證明，對任意 von Neumann 代數 $ N $，$ C^*(F) \otimes N $ 上的 $ \|\cdot\|_{\rm nor} $ 範數與最大範數一致？

主要发现

• 本文證實對任何自由群 $ F $，有 $ C^*(F) \otimes_{\min} B(H) = C^*(F) \otimes_{\max} B(H) $，並提供基於算子空間方法的新穎且簡潔的證明。
• 證明若每個 $ A_i $ 滿足 $ A_i \otimes_{\min} B(H) = A_i \otimes_{\max} B(H) $，則其自由積 $ A = \ast_{i\in I} A_i $ 同樣滿足 $ A \otimes_{\min} B(H) = A \otimes_{\max} B(H) $。
• 對任何離散可約群自由積的全 C*-代數，均有 $ A \otimes_{\min} B(H) = A \otimes_{\max} B(H) $。
• 本文證明對任意 von Neumann 代數 $ N $，有 $ C^*(F) \otimes_{\rm nor} N = C^*(F) \otimes_{\max} N $，將基爾伯格結果推廣至 $ \|\cdot\|_{\rm nor} $ 範數。
• 證明若單位與單位元生成元的線性張成空間 $ E $ 滿足 $ d_{SK}(E) = 1 $，則 $ A $ 是精確的，從而提供精確性的一個新充分條件。
• 建立映射 $ T: \ell_\infty(I) \to B(H) $ 的完全有界性與 $ \sum U_i \otimes x_i $ 的最小範數之間的等價性，作為關鍵技術工具，其中 $ \|T\|_{cb} = \| \sum U_i \otimes x_i \|_{\min} $。