[논문 리뷰] The complete separable extension property

Haskell P. Rosenthal|ArXiv.org|1998. 04. 14.

Advanced Banach Space Theory참고 문헌 30인용 수 26

한 줄 요약

이 논문은 소프체크의 정리의 새로운 증명을 통해, 분리 가능 확장 성질(SEC)에 대한 연산자 공간 해석을 도입한다. 즉, 완전 분리 가능 확장 성질(CSEP)과 완전 분리 가능 보완 성질(CSCP)을 제안한다. 이 성질들은 각각 $Z_n$가 일관되게 정확한 단순형 연산자 공간이거나 분리 가능 단순형 연산자 공간일 때, 무한 직합 $(\oplus_{n=1}^\infty Z_n)_{c_0}$ 가 CSEP 또는 CSCP 를 만족함을 보이며, 이러한 성질을 갖는 주요 연산자 공간의 범주를 규명한다.

ABSTRACT

This work introduces operator space analogues of the Separable Extension Property (SEP) for Banach spaces; the Complete Separable Extension Property (CSEP) and the Complete Separable Complemention Property (CSCP). The results use the technique of a new proof of Sobczyk's Theorem, which also yields new results for the SEP in the non-separable situation, e.g., $(\oplus_{n=1}^\infty Z_n)_{c_0}$ has the $(2+\ep)$-SEP for all $\ep>0$ if $Z_1,Z_2,...$ have the 1-SEP; in particular, $c_0 (\ell^\infty)$ has the SEP. It is proved that e.g., $c_0(\bR\oplus\bC)$ has the CSEP (where $\bR$, $\bC$ denote Row, Column space respectively) as a consequence of the general principle: if $Z_1,Z_2,...$ is a uniformly exact sequence of injective operator spaces, then $(\oplus_{n=1}^\infty Z_n)_{c_0}$ has the CSEP. Similarly, e.g., $\bK_0 \defeq (\oplus_{n=1}^\infty M_n)_{c_0}$ has the CSCP, due to the general principle: $(\oplus_{n=1}^\infty Z_n)_{c_0}$ has the CSCP if $Z_1,Z_2,...$ are injective separable operator spaces. Further structural results are obtained for these properties, and several open problems and conjectures are discussed.

연구 동기 및 목표

• 바나흐 공간의 고전적 분리 가능 확장 성질(SEP)에 대한 연산자 공간 해석을 개발하고, 완전 분리 가능 확장 성질(CSEP)과 완전 분리 가능 보완 성질(CSCP)을 도입한다.
• 소프체크의 정리를 비분리 설정으로 확장하기 위해 새로운 증명 기법을 사용하여, 확장 노름과 보존 성질에 관한 새로운 결과를 도출한다.
• CSEP와 CSCP 를 갖는 분리 가능 무한차원 연산자 공간을 분류하며, 특히 그 완전 동형 유형과 구조적 성질에 중점을 둔다.
• 연산자 공간의 확장과 보완 맥락에서 단순성, 정확성, 보완성의 역할을 조사한다.
• CSEP와 CSCP 를 갖는 주요 연산자 공간의 완전 동형 분류에 대한 깊이 있는 추측을 수립하고 탐구한다.

제안 방법

• 소프체크의 정리를 위한 새로운 증명을 응용하여, 비분리 설정에서의 SEP 보존 성질를 도출하며, 특히 $c_0(\ell^\infty)$ 와 $(\oplus Z_n)_{c_0}$ 에 적용한다.
• cb-노름(완전 유계 노름)을 사용하여 고전적 SEP 와 보완 성질을 '완전히' 양자화함으로써 CSEP 와 CSCP 를 도입한다.
• 베흐의 논증을 통한 노름 1 상향 기법을 적용하여, $c_0$ 가 특정 초공간에서 수축적으로 보완 가능하다는 것을 보이며, 이는 2-SEP 를 의미한다.
• 콤��� 연산자 공간의 보완 부분공간과의 연결을 연구하기 위해 중심 예시로 $\mathbf{K}_0 = (\oplus M_n)_{c_0}$ 의 구조를 활용한다.
• 연산자 공간에서 국소 쌍대성과 국소 반사성 이론의 결과를 응용하여 $Z_n$-수열과 그 무한 $c_0$-합의 구조를 분석한다.
• 연산자 공간의 일관된 정확성과 단순성 개념을 활용하여, $c_0$-합에서 CSEP 와 CSCP 를 만족하는 충분 조건을 도출한다.

실험 결과

연구 질문

• RQ1 만약 $Z_n$ 가 일관되게 정확하고 단순한 연산자 공간이라면, $c_0$-합 $(\oplus_{n=1}^\infty Z_n)_{c_0}$ 는 어떤 조건에서 CSEP 를 만족하는가?
• RQ2 $c_0(\ell^\infty)$ 에 대한 $(2+\varepsilon)$-SEP 는 1-SEP 를 갖는 공간 수열에 대한 일반 원리로부터 유도될 수 있는가?
• RQ3 모든 분리 가능 무한차원 연산자 공간 중 CSEP 를 갖는 것은 추측 4.2에 나열된 일곱 개의 공간 중 하나와 완전 동형인가?
• RQ4 $\mathbf{K}$ 의 모든 무한차원 보완 부분공간은 추론 4.4에 나열된 11개의 공간 중 하나와 반사성인가?
• RQ5 모든 연산자 공간 중 CSCP 를 갖는 것은 주요 연산자 공간의 유한 직합과 완전 동형인가?

주요 결과

• 만약 $Z_1, Z_2, \ldots$ 가 일관되게 정확하고 단순한 연산자 공간이라면, $(\oplus_{n=1}^\infty Z_n)_{c_0}$ 는 CSEP 를 갖는다.
• $c_0(\mathbb{R} \oplus \mathbb{C})$ 는 일관되게 정확하고 단순한 수열에 대한 일반 원리의 결과로서 CSEP 를 갖는다.
• $\mathbf{K}_0 = (\oplus M_n)_{c_0}$ 는 $c_0$-합이 단순한 분리 가능 연산자 공간이면 CSCP 를 만족한다는 일반 원리에 의해 CSCP 를 갖는다.
• $c_0(\ell^\infty)$ 는 모든 $\varepsilon > 0$ 에 대해 $(2+\varepsilon)$-SEP 를 갖는다. 이는 $Z_n$ 이 1-SEP 를 갖는다면 $(\oplus Z_n)_{c_0}$ 는 $(2+\varepsilon)$-SEP 를 갖는다는 일반 결과로부터 유도된다.
• 베흐의 논증은 $c_0$ 가 분리 가능인 $Y \subset \ell^\infty$ 에서 $c_0 \subsetneqq Y$ 를 만족할 경우, 수축적으로 보완 가능하다는 것을 보이며, 이는 $c_0$ 가 2-SEP 를 갖는다는 것을 의미한다.
• 짧은 완전 수열 $0 \to c_0 \to Y \to Z \to 0$ 이 노름 1 상향을 갖는다. 이는 $Y$ 가 분리 가능하고 $Z = Y/c_0$ 일 경우에 성립하며, 이는 $c_0$ 가 $Y$ 에서 수축적으로 보완 가능하다는 것을 의미한다.