[논문 리뷰] On certain extension properties for the space of compact operators

Timur Oikhberg, Haskell P. Rosenthal|ArXiv.org|1999. 05. 04.

Advanced Operator Algebra Research참고 문헌 31인용 수 10

한 줄 요약

이 논문은 분리 가능 힐버트 공간 위의 컴팩트 연산자 공간 $\mathbf{K}$의 확장 성질을 조사하며, Complete Separable Extension Property (CSEP), Mixed Separable Extension Property (MSEP), Complete Separable Complementation Property (CSCP)에 초점을 맞춘다. $\mathbf{K}_0$에 관한 이전 결과를 활용하여 $\mathbf{K}$가 CSCP를 만족함을 증명하고, $\mathbf{K}_0$ (따라서 $\mathbf{K}$)가 CSEP를 만족하지 못함을 위한 새로운 증명을 제시하며, $\mathbf{K}$가 MSEP를 가짐과 $\mathbf{K}_0$가 MSEP를 가짐이 동치임을 보이며, 이 열린 문제를 분석하기 위해 새로운 개념인 Extendable Local Reflexivity (ELR)를 도입한다.

ABSTRACT

Let $Z$ be a fixed separable operator space, $X\subset Y$ general separable operator spaces, and $T:X o Z$ a completely bounded map. $Z$ is said to have the Complete Separable Extension Property (CSEP) if every such map admits a completely bounded extension to $Y$; the Mixed Separable Extension Property (MSEP) if every such $T$ admits a bounded extension to $Y$. Finally, $Z$ is said to have the Complete Separable Complementation Property (CSCP) if $Z$ is locally reflexive and $T$ admits a completely bounded extension to $Y$ provided $Y$ is locally reflexive and $T$ is a complete surjective isomorphism. Let ${\bf K}$ denote the space of compact operators on separable Hilbert space and ${\bf K}_0$ the $c_0$ sum of ${\Cal M}_n$'s (the space of ``small compact operators''). It is proved that ${\bf K}$ has the CSCP, using the second author's previous result that ${\bf K}_0$ has this property. A new proof is given for the result (due to E. Kirchberg) that ${\bf K}_0$ (and hence ${\bf K}$) fails the CSEP. It remains an open question if ${\bf K}$ has the MSEP; it is proved this is equivalent to whether ${\bf K}_0$ has this property. A new Banach space concept, Extendable Local Reflexivity (ELR), is introduced to study this problem. Further complements and open problems are discussed.

연구 동기 및 목표

• 분리 가능 힐버트 공간 위의 컴팩트 연산자 공간 $\mathbf{K}$에 대한 Complete Separable Extension Property (CSEP)를 조사한다.
• Mixed Separable Extension Property (MSEP)를 검토하고, $\mathbf{K}$와 $\mathbf{K}_0$ 사이의 동치성을 규명한다.
• $\mathbf{K}_0$에 관한 결과를 활용하여 $\mathbf{K}$가 Complete Separable Complementation Property (CSCP)를 만족함을 증명한다.
• 확장 문제를 분석하기 위해 새로운 개념인 Extendable Local Reflexivity (ELR)를 도입하고 적용한다.
• 확장 성질에 관한 열린 문제를 해결하고, $\mathbf{K}$와 $\mathbf{K}_0$ 사이의 관계를 명확히 한다.

제안 방법

• $\mathbf{K}_0$가 CSCP를 만족한다는 제2저자의 이전 결과를 활용하여 $\mathbf{K}$도 CSCP를 만족함을 증명한다.
• 연산자 공간 이론과 완전 유계 사상들을 활용하여 $\mathbf{K}$ 및 $\mathbf{K}_0$로의 부분공간에서의 사상의 확장 행동을 분석한다.
• MSEP를 분석하기 위한 새로운 도구로 Extendable Local Reflexivity (ELR) 개념을 도입한다.
• 대칭성과 국소 반사성 기법을 활용하여 유계 또는 완전 유계 확장이 존재하는 조건을 조사한다.
• $\mathbf{K}_0$가 CSEP를 만족하지 못함을 증명하는 새로운 증명을 제시하며, Kirchberg의 원래 결과를 바탕으로 한다.
• $\mathbf{K}_0$가 행렬 대수 $\mathcal{M}_n$들의 $c_0$-합으로서의 구조를 분석하여 확장 성질을 도출한다.

실험 결과

연구 질문

• RQ1 분리 가능 힐버트 공간 위의 컴팩트 연산자 공간 $\mathbf{K}$는 Complete Separable Extension Property (CSEP)를 가질까?
• RQ2 $\mathbf{K}$에 대한 Mixed Separable Extension Property (MSEP)는 $\mathbf{K}_0$에 대한 동일한 성질과 동치일까?
• RQ3 $\mathbf{K}$는 Complete Separable Complementation Property (CSCP)를 만족할까?
• RQ4 MSEP에 대한 새로운 개념인 Extendable Local Reflexivity (ELR)를 활용하여 $\mathbf{K}$의 MSEP 문제를 해결할 수 있을까?
• RQ5 $\mathbf{K}$와 $\mathbf{K}_0$의 확장 성질 간의 관계, 특히 유계 및 완전 유계 확장의 관점에서 어떤가?

주요 결과

• $\mathbf{K}$는 분리 가능 힐버트 공간 위의 컴팩트 연산자 공간으로서 Complete Separable Complementation Property (CSCP)를 만족한다.
• $\mathbf{K}_0$는 행렬 대수 $\mathcal{M}_n$들의 $c_0$-합으로 정의되며, CSCP를 만족하며, 이는 $\mathbf{K}$도 CSCP를 만족함을 증명하는 데 활용된다.
• $\mathbf{K}_0$ (따라서 $\mathbf{K}$)는 Complete Separable Extension Property (CSEP)를 만족하지 못하며, Kirchberg의 원래 결과를 바탕으로 한 새로운 증명을 통해 이를 입증한다.
• $\mathbf{K}$에 대한 Mixed Separable Extension Property (MSEP)가 성립하는 것과 $\mathbf{K}_0$에 대한 MSEP가 성립하는 것은 동치이며, 이는 두 공간 간의 동치성을 확인한다.
• 논문은 Extendable Local Reflexivity (ELR)라는 개념을 도입하여, 연산자 공간 이론에서 MSEP 및 관련 확장 문제를 분석하는 데 새로운 프레임워크를 제공한다.
• 열린 문제인 $\mathbf{K}$의 MSEP 여부는 $\mathbf{K}_0$에 대한 동일한 질문으로 환원되며, ELR 성질이 핵심 분석 도구로 기능한다.