[논문 리뷰] The Operator System Generated by Cuntz Isometries

Da Wei Zheng|arXiv (Cornell University)|2014. 10. 25.

Advanced Operator Algebra Research참고 문헌 7인용 수 7

한 줄 요약

이 논문은 $n$ 개의 Cuntz 등장사상으로 생성된 연산자 체계 $\mathcal{S}_n$ 가 특정 연산자 부분체계 $\mathcal{E}_n \subseteq M_{n+1}$ 의 몫과 완전 순서 이sov모르픽임을 증명하며, $M_p(\mathcal{S}_n)$ 내의 양성원을 블록 행렬 조건을 통해 구체적으로 기술한다. 이 결과는 Cuntz 등장사상의 보편 성질과 연산자 체계 이론에서 몫 구조를 활용한다.

ABSTRACT

In this paper we consider the operator system $\cl{S}_n$ generated by $n$ Cuntz isometries, i.e. the span of the generators of the Cuntz algebra $\cl{O}_n$ together with their adjoints and the identity. We define an operator subsystem $\cl{E}_n\subseteq M_{n+1}$ and then prove that $\cl{S}_n$ is completely order isomorphic to a quotient of $\cl{E}_n$. This result implies a characterization of positive elements in $M_p(\cl{S}_n)$.

연구 동기 및 목표

• 특정 관계를 만족하는 보편적인 등장사상인 $n$ 개의 Cuntz 등장사상으로 생성된 연산자 체계 $\mathcal{S}_n$ 를 조사한다.
• Toeplitz-Cuntz 등장사상으로 생성된 연산자 체계와 동일한 보편 성질을 $\mathcal{S}_n$ 가 갖는 것을 보여주어 이를 완전 순서 이sov모르픽으로 증명한다.
• 연산자 부분체계 $\mathcal{E}_n \subseteq M_{n+1}$ 를 정의하고, $\mathcal{E}_n$ 에서 $\mathcal{S}_n$ 으로의 유니탈 완전 양성 지ap을 구성한다.
• $\mathcal{S}_n$ 이 $\mathcal{E}_n$ 의 몫과 완전 순서 이sov모르픽임을 증명함으로써, $M_p(\mathcal{S}_n)$ 내의 양성의를 기술한다.
• Cuntz 대수 $\mathcal{O}_n$ 의 관련 연산자 체계 $\mathcal{S}_n$ 를 통해 $C^*$-대수 계열의 새로운 기준을 제공할 수 있는 새로운 프레임워크를 제시한다.

제안 방법

• $\mathcal{S}_n$ 을 Cuntz 대수 $\mathcal{O}_n$ 내에서 $n$ 개의 Cuntz 등장사상과 그 수반 연산자들의 유니탈 $*$-닫힘 선형 결합으로 정의한다.
• $\mathcal{E}_n \subseteq M_{n+1}$ 을 특정 행렬 단위와 항등원으로 생성되는 구체적인 연산자 부분체계로 정의하여 Cuntz 관계의 대수적 구조를 반영한다.
• $\mathcal{E}_n$ 의 생성자를 $\mathcal{S}_n$ 내의 해당 Cuntz 등장사상으로 매핑함으로써 유니탈 완전 양성 지압 $\phi: \mathcal{E}_n \to \mathcal{S}_n$ 을 구성한다.
• $\mathcal{S}_n$ 이 어떤 핵 $J$ 에 대해 $\mathcal{E}_n / J$ 와 완전 순서 이sov모르픽임을 증명하기 위해 $\mathcal{S}_n$ 의 보편 성질과 행렬 수축의 구조를 활용한다.
• Choi-Effros 정리와 행렬 대수 내의 양성 기준을 활용하여 $M_p(\mathcal{S}_n)$ 내의 양성의를 $M_{n+1}(M_p)$ 내의 블록 행렬 조건을 통해 기술한다.
• 수축 $T$ 가 $\|T\| \leq 1$ 이라는 조건은 블록 행렬 $\begin{pmatrix} I & T^* \\ T & I \end{pmatrix} \geq 0$ 이 양성임과 동치라는 사실을 활용하여 몫 체계 내의 양성의를 분석한다.

실험 결과

연구 질문

• RQ1 Cuntz 등장사상 $n$ 개로 생성된 연산자 체계 $\mathcal{S}_n$ 은 유한 차원 행렬 대수에 완전 순서 이sov모르픽으로 통합될 수 있는가?
• RQ2 유한 차원 연산자 체계 $\mathcal{E}_n \subseteq M_{n+1}$ 이 존재하여 $\mathcal{S}_n$ 이 $\mathcal{E}_n$ 의 몫과 완전 순서 이sov모르픽인가?
• RQ3 행렬 블록 구조를 사용하여 $M_p(\mathcal{S}_n)$ 내의 양성원을 정확히 어떻게 기술할 수 있는가?
• RQ4 Cuntz 등장사상의 보편 성질은 Cuntz 대수 $\mathcal{O}_n$ 의 유일성에 대한 새로운 증명을 가능하게 하는가?
• RQ5 $\mathcal{S}_n$ 의 구조는 약한 기대 성질(WEP)을 갖는 $C^*$-대수 계열과 같은 중요한 $C^*$-대수 계열의 새로운 기준을 제공할 수 있는가?

주요 결과

• Cuntz 등장사상 $n$ 개로 생성된 연산자 체계 $\mathcal{S}_n$ 은 $M_{n+1}$ 내의 연산자 부분체계 $\mathcal{E}_n$ 의 몫과 완전 순서 이sov모르픽이며, 이는 $\mathcal{S}_n$ 에 대한 유한 차원 모델을 확립한다.
• 유니탈 완전 양성 지압이 $\mathcal{E}_n$ 에서 $\mathcal{S}_n$ 으로 존재하며, 이 지압은 어떤 핵 $J$ 에 대해 $\mathcal{E}_n / J$ 에서 $\mathcal{S}_n$ 으로의 완전 순서 이sov모르픽을 유도한다.
• $M_p(\mathcal{S}_n)$ 내의 양성원은 다음 조건을 만족할 때, 즉 블록 행렬 $\begin{pmatrix} A_0 & 2A_1^* & \cdots & 2A_n^* \\ 2A_1 & A_0 & & \\ \vdots & & \ddots & \\ 2A_n & & & A_0 \end{pmatrix} + \begin{pmatrix} B & & \\ & -B & \\ & & \ddots & \\ & & & -B \end{pmatrix}$ 가 $M_{n+1}(M_p)$ 내에서 양성일 때 기술된다. 여기서 $B \in M_p$ 이다.
• 이 결과는 $\mathcal{S}_n$ 이 Cuntz 등장사상의 보편 성질을 계승하며, 임의의 두 이러한 체계는 유니탈 완전 순서 이sov모르픽임을 의미한다. 이는 Cuntz 대수 $\mathcal{O}_n$ 의 유일성에 대한 새로운 증명으로 이어질 수 있다.
• 이 구성은 $\mathcal{O}_n$ 을 그 연산자 체계 $\mathcal{S}_n$ 를 통해 연구하는 데 새로운 프레임워크를 제공하며, 약한 기대 성질을 갖는 $C^*$-대수 계열과 같은 중요한 $C^*$-대수 계열의 새로운 기준을 제공할 수 있다.
• 증명은 $\|T\| \leq 1$ 과 블록 행렬 $\begin{pmatrix} I & T^* \\ T & I \end{pmatrix}$ 의 양성 간의 동치성에 기반하며, 이는 $\mathcal{E}_n$ 이 $\mathcal{S}_n$ 으로의 사상에서의 이미지가 행렬 수축을 이룬다는 것을 확인하는 데 사용된다.