[논문 리뷰] An abstract characterization of unital operator spaces

Xujian Huang, Chi–Keung Ng|ArXiv.org|2008. 05. 16.

Advanced Operator Algebra Research참고 문헌 20인용 수 9

한 줄 요약

이 논문은 완전 유계 노름 양 $ n_{\rm cb}(\mathbf{V},u) $ 를 사용하여 단위 원소를 가진 연산자 공간의 추상적 특성화를 제공하며, $ n_{\rm cb}(\mathbf{V},u) = 1 $ 이 되는 것은 $ \mathbf{V} $ 에서 어떤 $ \mathcal{L}(H) $ 로의 완전 등장사상이 존재하여 $ u $ 를 항등원 연산자로 보낸다는 것과 필요충분조건임을 보여준다. 이 결과는 연산자 체계의 추상적 특성화를 가능하게 하며, 단위 원소를 가진 연산자 공간의 진짜 완전 $ M $-이데알에 대한 몫이 여전히 단위 원소를 가짐을 보여주며, 연산자 체계로까지 확장된다.

ABSTRACT

In this article, we give an abstract characterization of the ``identity'' of an operator space $V$ by looking at a quantity $n_{cb}(V,u)$ which is defined in analogue to a well-known quantity in Banach space theory. More precisely, we show that there exists a complete isometry from $V$ to some $\mathcal{L}(H)$ sending $u$ to ${ m id}_H$ if and only if $n_{cb}(V,u) =1$. We will use it to give an abstract characterization of operator systems. Moreover, we will show that if $V$ is a unital operator space and $W$ is a proper complete $M$-ideal, then $V/W$ is also a unital operator space. As a consequece, the quotient of an operator system by a proper complete $M$-ideal is again an operator system. In the appendix, we will also give an abstract characterisation of ``non-unital operator systems'' using an idea arose from the definition of $n_{cb}(V,u)$.

연구 동기 및 목표

• 연산자 공간 내에서 '항등원'의 추상적 특성화를 제공함에 있어, 바나흐 공간 기하학적 유니터리와 유사한 완전 유계 노름 양을 사용하는 것.
• 주어진 원소가 항등원 연산자로 대응되는 완전 등장사상이 연산자 공간 $ \mathcal{L}(H) $ 에 존재하는지 여부를 판별하는 기준을 설정하는 것.
• 이 특성화를 연산자 체계로 확장하고, 단위 원소를 가진 연산자 공간의 진짜 완전 $ M $-이데알에 대한 몫이 여전히 단위 원소를 가짐을 보이는 것.
• 수정된 $ n_{\rm cb} $ 양을 사용하여 비단위 원소를 가진 연산자 체계의 추상적 특성화를 제공하는 것.

제안 방법

• 단위 원소 $ u $ 에 대해 $ n_{\rm cb}(\mathbf{V},u) $ 를 정의한다. 이는 $ M_k(\mathbf{V}) $ 의 단위 구면에서 $ \gamma^u_{\rm cb}(x) $ 의 하한값이며, 여기서 $ \gamma^u_{\rm cb}(x) $ 는 $ \|\varphi\|_{\rm cb} \leq 1 $ 이고 $ \varphi(u) = 1 $ 인 완전 유계 함수 $ \varphi $ 에 대해 $ \|\varphi(x)\| $ 의 상한값이다.
• 완전 유계 사상과 쌍대성의 성질을 이용하여, $ n_{\rm cb}(\mathbf{V},u) = 1 $ 이 되는 것은 $ \mathbf{V} $ 에서 어떤 $ \mathcal{L}(H) $ 로의 완전 등장사상이 존재하여 $ u $ 를 $ \mathrm{id}_H $ 로 보낸다는 것과 필요충분조건임을 증명한다.
• $ n_{\rm cb}(\mathbf{V},u) $ 를 사용하여 연산자 체계를 추상적으로 특성화한다: 연산자 체계는 $ n_{\rm cb}(\mathbf{V},u) = 1 $ 인 특별히 구분된 원소 $ u $ 를 가진 연산자 공간이다.
• 만약 $ \mathbf{V} $ 가 단위 원소를 가진 연산자 공간이고 $ \mathbf{W} $ 가 $ \mathbf{V} $ 의 진짜 완전 $ M $-이데알이라면, 몫 $ \mathbf{V}/\mathbf{W} $ 는 원래의 단위의 상을 통해 단위 원소를 가진 연산자 공간으로서의 성질을 유지한다.
• 비단위 원소를 가진 연산자 체계에 대해 $ n_{\rm cb}^+(\mathbf{V}) $ 를 정의한다. 이는 $ M_n(\mathbf{V}) $ 에 대해 코너 구조를 정의하고, $ n_{\rm cb}^+(\mathbf{V}) = 1 $ 이고 $ M_n(\mathbf{V})_+ = \mathbf{K}_n $ 이 모든 $ n \in \mathbb{N} $ 에 대해 성립함을 증명함으로써, 행렬 확장에서의 코너 구조를 통해 비단위 원소를 가진 연산자 체계를 추상적으로 특성화한다.
• 행렬 노름 공간의 정규화와 쌍대성 논증을 사용하여 $ \mathcal{S}_n(\mathbf{V};u) $ 가 $ \mathcal{L}(H) $ 로의 완전 등장사상 존재성과 관련이 있음을 밝힌다.

실험 결과

연구 질문

• RQ1 주어진 원소 $ u \in \mathbf{V} $ 가 노름이 1인 행렬 노름 공간 $ \mathbf{V} $ 에서 $ \mathcal{L}(H) $ 로의 완전 등장사상에 의해 항등원 연산자로 대응되는 조건은 무엇인가?
• RQ2 완전 유계 노름 양 $ n_{\rm cb}(\mathbf{V},u) $ 를 사용하여 연산자 체계의 추상적 특성화는 어떻게 이루어지는가?
• RQ3 단위 원소를 가진 연산자 공간의 진짜 완전 $ M $-이데알에 대한 몫이 다시 단위 원소를 가질 조건은 무엇인가?
• RQ4 비단위 원소를 가진 연산자 체계는 $ n_{\rm cb}(\mathbf{V},u) $ 의 변형된 형태를 사용하여 추상적으로 특성화할 수 있는가? 만약 가능하다면 필요한 및 충분한 조건은 무엇인가?
• RQ5 양 $ n_{\rm cb}(\mathbf{V},u) $ 는 고전적인 바나흐 공간의 기하학적 유니터리 개념과 어떻게 관련이 있는가?

주요 결과

• $ n_{\rm cb}(\mathbf{V},u) = 1 $ 이 되는 것은 $ \mathbf{V} $ 에서 어떤 $ \mathcal{L}(H) $ 로의 완전 등장사상이 존재하여 $ u $ 를 $ \mathrm{id}_H $ 로 보낸다는 것과 필요충분조건이며, 이는 연산자 공간 내에서 항등원의 완전한 추상적 특성화를 제공한다.
• 연산자 체계는 $ n_{\rm cb}(\mathbf{V},u) = 1 $ 인 특별히 구분된 원소 $ u $ 를 가진 연산자 공간으로 추상적으로 특성화되며, 이는 $ \mathcal{L}(H) $ 에서의 구체적 실현과 무관하다.
• 만약 $ \mathbf{V} $ 가 단위 원소를 가진 연산자 공간이고 $ \mathbf{W} $ 가 $ \mathbf{V} $ 의 진짜 완전 $ M $-이데알이라면, 몰입 $ \mathbf{V}/\mathbf{W} $ 는 원래의 단위의 상을 통해 단위 원소를 가진 연산자 공간이 된다.
• 비단위 원소를 가진 연산자 체계의 진짜 완전 $ M $-이데알에 대한 몫은 여전히 연산자 체계이며, 몫은 원래의 단위의 상을 통해 단위 원소를 가진다.
• 비단위 원소를 가진 연산자 체계의 경우, 모든 $ n \in \mathbb{N} $ 에 대해 $ n_{\rm cb}^+(\mathbf{V}) = 1 $ 이고 $ M_n(\mathbf{V})_+ = \mathbf{K}_n $ 이 성립함으로써, 행렬 확장에서의 코너 구조를 통해 추상적인 비단위 원소를 가진 연산자 체계를 특성화한다.
• $ n_{\rm cb}(\mathbf{V},u) $ 는 계약형 위상적 포함사상 $ \Psi: \mathbf{Z} \to \mathbf{V} $ 에 대해 부등식 $ n_{\rm cb}(\mathbf{V},u) \leq \|\Psi^{-1}\| \cdot n_{\rm cb}(\mathbf{Z},u) $ 를 만족함을 보여주며, 이러한 사상에 대해 안정성을 보인다.