[논문 리뷰] Characterisations of the weak expectation property

Douglas Farenick, Ali S. Kavruk외 2명|Research Portal (Queen's University Belfast)|2013. 07. 03.

Advanced Operator Algebra Research참고 문헌 22인용 수 43

한 줄 요약

이 논문은 연산자 체계 텐서곱과 리에스 분해 성질을 이용하여 C*-대수에 대한 약한 기대 성질(WEP)의 새로운 특성화를 제공한다. 유한차원의 보편적 연산자 체계를 행렬 대수의 몫으로 표현함으로써, 저자들은 WEP가 이러한 몫에 대한 정확성 또는 올림프로퍼티와 동치임을 보이며, C*-대수 내의 보간 및 분해 조건을 통해 콘네스의 임bedding 문제의 새로운 형태를 제시한다.

ABSTRACT

We use representations of operator systems as quotients to deduce various characterisations of the weak expectation property (WEP) for C?*-algebras. By Kirchberg's work on WEP, these results give new formulations of Connes' embedding problem.

연구 동기 및 목표

• 연산자 체계 이론을 사용하여 C*-대수에 대한 약한 기대 성질(WEP)의 표현에 의존하지 않는 새로운 특성화를 제공하기 위해.
• C*-대수 내의 리에스 분해 및 보간 성질을 통해 WEP를 콘네스의 임베딩 문제와 연결하기 위해.
• 주어진 C*-대수를 포함하는 임베딩 C*-대수에서 WEP가 완전한 n-리에스 분해 성질과 동치임을 증명하기 위해.
• 유한차원 행렬 대수에서 특정 올림프의 존재가 선형 제약 조건의 해결으로 감소함을 보여, WEP의 효과적 분석을 가능하게 하기 위해.
• 연산자 체계 내의 텐서곱 구조와 몫 사상으로 이전의 WEP 특성화를 통합하고 확장하기 위해.

제안 방법

• 비가환 큐브 $NC(n)$와 함께 특별히 사용된 연산자 체계 텐서곱을 이용하여 완전한 순서 동형사상으로 WEP를 특성화하기 위해.
• 유한차원 행렬 대수의 몫으로서 보편적인 유한차원 연산자 체계를 표현함으로써 WEP를 올림프 문제로 감소시키기 위해.
• 초이-에프로스 정리를 적용하여 추상적 연산자 체계를 힐베르트 공간에 충실하게 표현함으로써 구체적 분석을 가능하게 하기 위해.
• 완전한 양성 및 확장 사상 $\phi^{(n)}$을 사용하여 완전한 순서 동형사상과 몫 사상을 정의하고 연구하기 위해.
• 최대 및 최소 텐서곱($\otimes_{\max}$, $\otimes_{\min}$)을 사용하여 임베딩을 비교하고, 텐서곱의 일치를 통해 WEP를 탐지하기 위해.
• 입사 C*-대수(예: $I(\mathcal{A})$ 또는 $\prod M_{n(k)}$)가 WEP를 가짐을 이용하여, WEP 조건을 이러한 대수 내의 몫 사상으로 감소시키기 위해.

실험 결과

연구 질문

• RQ1 약한 기대 성질(WEP)은 보편적 표현이나 약한 기대에 의존하지 않고 특성화될 수 있는가?
• RQ2 리에스 분해 및 보간 성질을 통해 WEP와 콘네스의 임베딩 문제 사이의 관계는 어떻게 되는가?
• RQ3 임베딩 C*-대수 내에서 C*-대수 $\mathcal{A}$가 WEP를 가지기 위한 조건은 무엇인가?
• RQ4 모든 $n$에 대해 C*-대수에서 완전한 $n$-리에스 분해 성질이 WEP와 동치인가?
• RQ5 유한차원 행렬 대수에서 올림프의 존재는 선형 제약 조건의 해결으로 감소할 수 있는가?

주요 결과

• 유니탈 C*-대수 $\mathcal{A}$는 모든 $n$에 대해 $\mathcal{A} \otimes_{\max} NC(n) \subseteq_{\rm coi} \mathcal{B}(H) \otimes_{\max} NC(n)$이면 WEP를 가지며, 이는 $n=3$일 때에도 동치이다.
• WEP는 모든 $n \in \mathbb{N}$에 대해 임베딩 C*-대수 $I(\mathcal{A})$ 내에서 완전한 $n$-리에스 분해 성질과 동치이다.
• C*-대수 $\mathcal{B}$가 WEP를 가진다면, 유니탈 C*-부분대수 $\mathcal{A} \subseteq \mathcal{B}$가 WEP를 가지는 것은 $\mathcal{B}$ 내에서 완전한 $2$-리에스 분해 성질을 가지는 것과 동치이다.
• 모든 유니탈 C*-대수 $\mathcal{A}$는 모든 $n \in \mathbb{N}$에 대해 이중이중 $\mathcal{A}^{**}$ 내에서 $n$-리에스 분해 성질을 가진다.
• 콘네스의 임베딩 문제에 대한 긍정적 해답이 존재하는 것은 $C^*(\mathbb{F}_2)$가 $\prod_{k=1}^\infty M_{n(k)}$ 내에서 완전한 $2$-리에스 분해 성질을 가지는 것과 동치이다.
• $\mathcal{B}(H)$ 내에서 완전한 $2$-리에스 분해 성질은 완전한 TR$(2,3)$-성질과 WEP와 동치이며, 리에스 보간 및 분해를 WEP와 통합한다.