[论文解读] The complete separable extension property

Haskell P. Rosenthal|ArXiv.org|Apr 14, 1998

Advanced Banach Space Theory参考文献 30被引用 26

一句话总结

本文引入了算子空间中分离扩张性质（SEP）的类比——即完全分离扩张性质（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。
• 应用维奇论证中的范数一提升技术，证明 $c_0$ 在某些上空间中是压缩性共补全的，从而推出 2-SEP。
• 以算子空间 $\mathbf{K}_0 = (\oplus M_n)_{c_0}$ 作为核心例子，研究 CSCP 及其与紧算子的补子空间之间的关系。
• 应用算子空间中的局部对偶性与局部希茨菲尔德性结果，分析 $Z_n$ 序列及其无限 $c_0$-直和的结构。
• 利用算子空间的一致精确性与内射性概念，推导出 $c_0$-直和中 CSEP 与 CSCP 的充分条件。

实验结果

研究问题

• RQ1 当 $Z_n$ 为一致精确且内射的算子空间时，$c_0$-直和 $(\oplus_{n=1}^\infty Z_n)_{c_0}$ 在何种条件下满足 CSEP？
• RQ2 能否从关于具有 1-SEP 的空间序列的一般原理出发，推导出 $c_0(\ell^\infty)$ 的 $(2+\varepsilon)$-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}$ 具有 CSCP，这是由于一般原理：内射可分算子空间的 $c_0$-直和满足 CSCP。
• $c_0(\ell^\infty)$ 对所有 $\varepsilon > 0$ 具有 $(2+\varepsilon)$-SEP，且此结论源于一般结果：若 $Z_n$ 具有 1-SEP，则 $(\oplus Z_n)_{c_0}$ 具有 $(2+\varepsilon)$-SEP。
• 维奇论证表明，$c_0$ 在任意满足 $c_0 \subsetneqq Y$ 的可分空间 $Y \subset \ell^\infty$ 中是压缩性共补全的，从而推出 $c_0$ 具有 2-SEP。
• 短正合列 $0 \to c_0 \to Y \to Z \to 0$ 若 $Y$ 可分且 $Z = Y/c_0$，则存在范数一提升，这意味着 $c_0$ 在 $Y$ 中是压缩性共补全的。