[논문 리뷰] A universal nuclear operator system

Martino Lupini|arXiv (Cornell University)|2014. 11. 30.

Advanced Operator Algebra Research참고 문헌 40인용 수 6

한 줄 요약

이 논문은 분리 가능하고 1-정확하며, 핵심적이고, 균일한 연산자 체계인 구르라지 연산자 체계(GS)를 소개한다. 이는 거의 보편적 배치를 가지며, 완전 순서 동형사상에 관하여 유일하다. 메트릭 구조에 대한 프라이세 이론을 사용하여, GS는 모든 분리 가능한 1-정확한 연산자 체계에 유니버설로 통합되며, 어떤 단위 원소를 가진 C*-대수와도 완전 순서 동형사상이 되지 않음을 증명한다. 이는 예버그가 제기한 정확한 C*-대수의 통합 문제를 해결한다.

ABSTRACT

By means of Fraïssé theory for metric structures developed by Ben Yaacov, we show that there exists a separable $1$-exact operator system $\mathbb{GS}$---which we call the Gurarij operator system---of almost universal disposition. This means that whenever $E\subset F$ are finite-dimensional $1$-exact operator systems, $ϕ:E ightarrow \mathbb{GS}$ is a unital complete isometry, and $\varepsilon >0$, there is a linear extension $\widehat{ϕ}:F ightarrow \mathbb{GS}$ of $ϕ$ such that $||\widehat{ϕ}||_{cb}{}||\widehat{ϕ}^{-1}||_{cb}\leq 1+\varepsilon $. Such an operator system is unique up to complete order isomorphism. Furthermore it is nuclear, homogeneous, and any separable $1$-exact operator system admits a complete order embedding into $\mathbb{GS}$. The space $\mathbb{GS}$ can be regarded as the operator system analog of the Gurarij operator space $\mathbb{NG}$ introduced by Oikhberg, which is in turn a canonical operator space structure on the Gurarij Banach space. We also show that the canonical $\ast $-homomorphism from the universal C*-algebra of $\mathbb{GS}$ to the C*-envelope of $\mathbb{GS}$ is a $\ast $-isomorphism. This implies that $\mathbb{GS}$ does not admit any complete order embedding into a unital exact C*-algebra. In particular $\mathbb{GS}$ is not completely order isomorphic to a unital C*-algebra. With similar methods we show that the Gurarij operator space $\mathbb{NG}$ does not admit any completely isometric embedding into an exact C*-algebra, and in particular $\mathbb{NG}$ is not completely isometric to a C*-algebra. This answers a question of Timur Oikhberg.

연구 동기 및 목표

• 분리 가능한 1-정확한 연산자 체계의 범주에서 거의 보편적 배치를 가지는 보편적 대상을 구성하기.
• 이 보편적 대상의 유일성과 균일성(완전 순서 동형사상에 관하여)을 확립하기.
• 티무르 옥버그가 제기한 질문을 해결하기: 구르라지 연산자 공간 또는 그 연산자 체계 대응체가 정확한 C*-대수로 완전 등장사상으로 통합될 수 있는가?
• 이 보편적 연산자 체계의 C*-환경이 그 보편 C*-대수와 동형임을 보여주어, C*-대수로의 통합이 불가능함을 암시하기.

제안 방법

• 유한 차원 1-정확한 연산자 체계의 범주에 대해 메트릭 구조에 대한 프라이세 이론을 적용하고, 단위 완전 등장사상으로 구성한다.
• 이 범주의 프라이세 극한으로서 구르라지 연산자 체계(GS)를 구성한다.
• GS가 거의 보편적 배치를 가짐을 증명한다: 어떤 유한 차원 1-정확한 연산자 체계에서 GS로의 단위 완전 등장사상은 어떤 유한 차원 초체계로의 거의 완전 유계 확장을 갖는다.
• GS의 핵심성과 균일성을 사용하여, 분리 가능한 1-정확한 연산자 체계 중에서의 유일성과 보편성을 확립한다.
• GS의 C*-환경을 분석하고, 그 보편 C*-대수에서 C*-환경으로의 표준 \'-환원사상이 \'-동형사상임을 보인다.
• 이 방법을 구르라지 연산자 공간 NG로 확장하여, 이 역시 어떤 정확한 C*-대수로도 완전 등장사상으로 통합되지 않음을 증명한다.

실험 결과

연구 질문

• RQ1 분리 가능하고 1-정확하며, 거의 보편적 배치를 가지는 연산자 체계가 존재하는가? 이는 모든 분리 가능한 1-정확한 연산자 체계에 대해 보편적으로 통합되는가?
• RQ2 이러한 보편적 연산자 체계는 완전 순서 동형사상에 관하여 유일한가?
• RQ3 구르라지 연산자 체계는 단위 원소를 가진 정확한 C*-대수로 완전 순서 동형사상으로 통합될 수 있는가?
• RQ4 구르라지 연산자 체계의 보편 C*-대수에서 C*-환경으로의 표준 \'-환원사상은 동형사상인가?
• RQ5 구르라지 연산자 공간 NG는 정확한 C*-대수로 완전 등장사상으로 통합될 수 있는가?

주요 결과

• 구르라지 연산자 체계(GS)는 분리 가능하고 1-정확하며, 핵심적이고, 균일한 연산자 체계로서 거의 보편적 배치를 가진다.
• GS는 분리 가능한 1-정확한 연산자 체계 중에서 거의 보편적 배치를 가지며, 완전 순서 동형사상에 관하여 유일하다.
• 모든 분리 가능한 1-정확한 연산자 체계는 GS로 완전 순서 통합된다.
• GS의 보편 C*-대수에서 C*-환경으로의 표준 \'-환원사상은 \'-동형사상이며, 이는 GS가 어떤 단위 원소를 가진 C*-대수와도 완전 순서 동형사상이 되지 않음을 암시한다.
• 구르라지 연산자 공간 NG는 어떤 정확한 C*-대수로도 완전 등장사상으로 통합되지 않으며, 이는 옥버그의 질문에 대한 답이 된다.
• GS와 NG는 어떤 C*-대수와도 완전 등장사상이 되지 않으며, GS는 어떤 단위 원소를 가진 정확한 C*-대수로도 통합되지 않는다.