[논문 리뷰] A simple proof of a theorem of Kirchberg and related results on $C^*$-norms

Gilles Pisier|arXiv (Cornell University)|1995. 12. 07.

Advanced Operator Algebra Research참고 문헌 16인용 수 83

한 줄 요약

이 논문은 자유군의 전체 군 C*-대수에서 $ C^*(F) \otimes_{\min} B(H) = C^*(F) \otimes_{\max} B(H) $ 라는 키르히버그 정리의 간결한, 연산자 공간 기반의 증명을 제공하며, 동일한 성질을 가진 단위를 가진 C*-대수의 자유곱으로 이를 확장한다. 핵심 통찰은 단위 생성자와 관련된 사상의 완전 유계 노름을 이용하여, 이러한 생성자들과 $ B(H) $의 텐서곱에서 최소 및 최대 텐서 노름을 동일시하는 데 있다. 이는 C*-대수에서 약한 기대 성질(WEP)과 정확성(exactness)을 새롭게 특성화하는 데 기여한다.

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)과 정확성(exactness)을 특성화하는 것.
• 관련 사상의 완전 유계 노름과 텐서곱에서의 $ C^* $-노름 동등성 간의 연결 고리를 설정하는 것.

제안 방법

• 단위 생성자로 생성되는 C*-대수의 구조를 분석하기 위해 완전 유계 사상 이론과 $ \|\cdot\|_{cb} $ 노름을 포함한 연산자 공간 이론의 응용.
• 이 스펙트럼이 완전 등거리로 C*-대수를 결정하므로, 문제를 $ C^*(F) $ 의 단위와 자유 단위 생성자들의 선형 스트레치 $ E $ 에서의 노름 동등성으로 환원하는 것.
• 완전 유계 사상의 인수분해 정리를 적용하여 $ \ell_\infty(I) \to B(H) $ 인 사상 $ T $ 의 노름을 $ C^*(F) \otimes_{\min} B(H) $ 에서의 $ \sum U_i \otimes x_i $ 의 연산자 노름과 연결하는 것.
• 카우치-슈바르츠 유사 부등식(보조정리 3)을 사용하여 단위와 연산자를 포함하는 합의 노름을 유계화함으로써 최소 노름을 제어하는 것.
• 사상 $ T $ 의 완전 유계성과 $ \sum U_i \otimes x_i $ 의 노름 최소성 간의 동치성을 입증하며, $ \|T\|_{cb} = \| \sum U_i \otimes x_i \|_{\min} $ 라는 식으로 식별하는 것.
• von Neumann 대수에 대해 $ \|\cdot\|_{\rm nor} $ 노름을 활용하여 결과를 확장하여, 임의의 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} $ 라는 식이 성립한다.