[论文解读] On certain extension properties for the space of compact operators

Timur Oikhberg, Haskell P. Rosenthal|ArXiv.org|May 4, 1999

Advanced Operator Algebra Research参考文献 31被引用 10

一句话总结

本文研究了在可分希尔伯特空间上紧算子空间的延拓性质，记为 $\mathbf{K}$，重点关注完全可分延拓性质（CSEP）、混合可分延拓性质（MSEP）以及完全可分补全性质（CSCP）。通过利用关于 $\mathbf{K}_0$ 的先前结果，证明了 $\mathbf{K}$ 具有 CSCP；给出了 $\mathbf{K}_0$（因此 $\mathbf{K}$）不具有 CSEP 的新证明；并表明 $\mathbf{K}$ 具有 MSEP 当且仅当 $\mathbf{K}_0$ 具有 MSEP，引入了新的概念——可延拓局部反射性（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}$ 的完全可分延拓性质（CSEP）。
• 考察混合可分延拓性质（MSEP），并确定 $\mathbf{K}$ 与 $\mathbf{K}_0$ 之间该性质的等价性。
• 基于 $\mathbf{K}_0$ 的结果，建立 $\mathbf{K}$ 满足完全可分补全性质（CSCP）。
• 引入并应用新的概念——可延拓局部反射性（ELR），以分析延拓问题。
• 解决关于延拓性质的开放问题，并厘清 $\mathbf{K}$ 与 $\mathbf{K}_0$ 之间的关系。

提出的方法

• 利用第二作者先前的结果，即 $\mathbf{K}_0$ 具有 CSCP，来证明 $\mathbf{K}$ 同样具有 CSCP。
• 应用算子空间理论和完全有界映射，分析从子空间到 $\mathbf{K}$ 和 $\mathbf{K}_0$ 的映射的延拓行为。
• 引入可延拓局部反射性（ELR）的概念，作为研究 $\mathbf{K}$ 和 $\mathbf{K}_0$ 的 MSEP 的新工具。
• 运用对偶性和局部反射性技术，考察有界或完全有界延拓存在的条件。
• 提供了一种新证明，表明 $\mathbf{K}_0$ 不具有 CSEP，该证明基于 Kirchberg 的原始结果。
• 分析 $\mathbf{K}_0$ 作为矩阵代数 $\mathcal{M}_n$ 的 $c_0$-直和的结构，以推导其延拓性质。

实验结果

研究问题

• RQ1 紧算子空间 $\mathbf{K}$ 是否具有完全可分延拓性质（CSEP）？
• RQ2 对于 $\mathbf{K}$ 的混合可分延拓性质（MSEP）是否与 $\mathbf{K}_0$ 的该性质等价？
• RQ3 $\mathbf{K}$ 是否满足完全可分补全性质（CSCP）？
• RQ4 能否通过引入的可延拓局部反射性（ELR）概念来解决 $\mathbf{K}$ 的 MSEP 问题？
• RQ5 $\mathbf{K}$ 与 $\mathbf{K}_0$ 的延拓性质之间存在何种关系，特别是关于有界和完全有界延拓？

主要发现

• 在可分希尔伯特空间上的紧算子空间 $\mathbf{K}$ 具有完全可分补全性质（CSCP）。
• $\mathbf{K}_0$（定义为矩阵代数 $\mathcal{M}_n$ 的 $c_0$-直和）具有 CSCP，该结果被用于证明 $\mathbf{K}$ 同样具有 CSCP。
• $\mathbf{K}_0$（因此 $\mathbf{K}$）不具有完全可分延拓性质（CSEP），该结论通过基于 Kirchberg 原始结果的新证明得以确立。
• $\mathbf{K}$ 的混合可分延拓性质（MSEP）成立，当且仅当 $\mathbf{K}_0$ 的 MSEP 成立，从而在两者之间建立了该性质的等价性。
• 本文引入了可延拓局部反射性（ELR）的概念，为分析算子空间理论中 MSEP 及相关延拓问题提供了新框架。
• 关于 $\mathbf{K}$ 是否具有 MSEP 的开放问题，已简化为对 $\mathbf{K}_0$ 的相同问题，其中 ELR 性质作为关键分析工具。