[논문 리뷰] Projective Tensor Products of $C^*$-algebras

Ajay Kumar, Vandana Rajpal|arXiv (Cornell University)|2013. 05. 03.

Advanced Operator Algebra Research참고 문헌 17인용 수 4

한 줄 요약

이 논문은 C*-대수의 사영 텐서곱을 조사하며, $A^{**} \otimes_{\gamma} B^{**}$ 에서 $(A \otimes_{\gamma} B)^{**}$ 로의 표준 포함사상의 이연속성과 동형성에 초점을 맞추고, 연산자 노름 상한을 $\frac{1}{2}\|u\|_{\gamma} \leq \|\theta(u)\| \leq \|u\|_{\gamma}$ 으로 개선한다. 또한 한 C*-대수가 유한한 닫힌 아이디얼을 가진다면, $A \widehat{\otimes} B$ 의 모든 닫힌 아이디얼은 유한한 수의 곱 아이디얼의 합으로 표현되며, 특정 조건 하에서 $V \otimes_h W$ 에서 외부 자명변환이 존재함을 증명한다.

ABSTRACT

For $C^*$-algebras $A$ and $B$, we study the bi-continuity of the canonical embedding of $A^{**}\ot_γ B^{**}$ ($A^{**}\hat{\ot} B^{**}$) into $(A \ot_γ B)^{**}$ (resp. $(A \hat{\ot} B)^{**}$), and its isomorphism. Ideal structure of $A\hat{\ot} B$ has been obtained in case $A$ or $B$ has only finitely many closed ideals.

연구 동기 및 목표

• C*-대수 $A$ 와 $B$ 에 대해 표준 포함사상 $A^{**} \otimes_{\gamma} B^{**} \to (A \otimes_{\gamma} B)^{**}$ 의 이연속성과 동형성 분석
• 한 대수가 유한한 닫힌 아이디얼을 가질 경우, 연산자 공간 사영 텐서곱 $A \widehat{\otimes} B$ 의 아이디얼 구조 특성화
• C*-대수와 정확한 연산자 대수에서 $A \otimes_h B$ 와 $A \widehat{\otimes} B$ 에서 외부 자명변환의 존재성 조사
• 슬라이스 사상의 스펙트럼 및 준동형 성질을 하이거룹 텐서곱 설정으로 확장

제안 방법

• 바나흐 공간 사영 텐서 노름과 포함 텐서 노름 간의 쌍대성을 사용하여, 개선된 상수를 갖는 표준 포함사상의 이연속성을 재유도
• 비가환 고티젠의 정리와 최근의 공동 완전 유계 이항형식 결과를 활용하여 연산자 공간 사영 텐서곱 분석
• 슬라이스 사상과 순수 상태를 활용하여 $A \otimes_h B$ 의 스펙트럼 성질을 인자 대수의 성질과 연결
• 하이거룹 노름 및 그 성질을 활용하여 $V \otimes_h W$ 의 자명변환을 연구하며, 특히 슬라이스 사상의 모듈로 성질 활용
• 코르올라리 4.5 와 프로포지션 4.4 를 적용하여 하이거룹 설정에서 텐서 사상의 단사성과 전사성 증명
• 상대적 중심 $V \otimes_h Z(W)$ 와 내부 자명변환의 구조를 활용하여, $\Phi$ 가 외부일 경우 외부 자명변환의 존재성 증명

실험 결과

연구 질문

• RQ1 표준 포함사상 $A^{**} \otimes_{\gamma} B^{**} \to (A \otimes_{\gamma} B)^{**}$ 이 동형이 되는 조건은 무엇인가?
• RQ2 표준 사상 $\theta$ 에 대해 노름 부등식 $\frac{1}{2}\|u\|_{\gamma} \leq \|\theta(u)\| \leq \|u\|_{\gamma}$ 의 최적 상수는 무엇인가?
• RQ3 $A \widehat{\otimes} B$ 의 모든 닫힌 아이디얼이 곱 아이디얼의 유한한 합으로 분해되는 조건은 무엇인가?
• RQ4 만약 $V$ 가 완전 수축적 외부 자명변환을 가지며 $W$ 가 $*$-감소된 경우, $V \otimes_h W$ 에서 외부 자명변환의 존재는 보장될 수 있는가?
• RQ5 슬라이스 사상을 통해 $A \otimes_h B$ 의 원소 스펙트럼 성질은 인자 대수의 성질과 어떻게 관련되는가?

주요 결과

• 표준 사상 $\theta: A \otimes_{\gamma} B \to (A^* \otimes_{\lambda} B^*)^*$ 는 $\frac{1}{2}\|u\|_{\gamma} \leq \|\theta(u)\| \leq \|u\|_{\gamma}$ 를 만족하며, 이는 이전의 상한을 개선하고 이연속성을 증명한다.
• 만약 $A$ 또는 $B$ 가 유한한 닫힌 아이디얼만을 가진다면, $A \widehat{\otimes} B$ 의 모든 닫힌 아이디얼은 유한한 수의 곱 아이디얼의 합으로 표현되며, 이는 최소 텐서곱에서는 성립하지 않는다.
• 항등원을 가진 연산자 대수 $V$ 와 $W$ 에 대해 $W$ 가 $*$-감소되고 $V$ 가 완전 수축적 외부 자명변환 $\Phi$ 를 가질 경우, $V \otimes_h W$ 에서 $\mu(x) = \Phi(a_i) \otimes b_i$ 는 완전 수축적 외부 자명변환이다.
• 슬라이스 사상 $R_\phi: A \otimes_h B \to B$ 는 $A$ 가 항등원을 가진 가환 $*$-감소 바나흐 $*$-대수이고 $\phi$ 가 순수 상태일 경우 대수 준동형사상이다.
• 만약 모든 $x \in A \otimes_h B$ 에 대해 $\sigma(ux) = \sigma(vx)$ 이면, $A \otimes_h B$ 에서 $u = v$ 이다. 이는 유니탈 가환 $*$-감소 $A$ 와 유니탈 $B$ 에 대해 슬라이스 사상을 통한 스펙트럼 동등성 때문이다.
• 만약 $\phi$ 와 $\psi$ 가 각각 $V$ 와 $W$ 의 자명변환일 경우, $\phi \otimes_h \psi$ 는 $V \otimes_h W$ 에서 자기 자신으로의 동형사상이며, 하이거룹 텐서곱에서 단사적이고 전사적이다.