[论文解读] Closed ideals in $\mathcal{L}(X)$ and $\mathcal{L}(X^*)$ when $X$ contains certain copies of $\ell_p$ and $c_0$

Ben Wallis|arXiv (Cornell University)|Jul 12, 2015

Advanced Banach Space Theory参考文献 2被引用 3

一句话总结

该论文证明，若一个巴拿赫空间 $X$ 包含 $ \ell_p $ 的补子空间（$ p \in (1,2) $）以及 $ \ell_q $ 或 $ c_0 $ 的子空间，则算子代数 $ \mathcal{L}(X) $ 和 $ \mathcal{L}(X^*) $ 各自均包含不可数无穷多个闭理想。此外，在关于 $ q $ 的附加条件下，这些理想并非线性有序，从而揭示了这些算子代数中存在丰富且非平凡的理想结构。

ABSTRACT

Suppose $X$ is a real or complexified Banach space containing a complemented copy of $\ell_p$, $p\in(1,2)$, and a copy (not necessarily complemented) of either $\ell_q$, $q\in(p,\infty)$, or $c_0$. Then $\mathcal{L}(X)$ and $\mathcal{L}(X^*)$ each admit continuum many closed ideals. If in addition $q\geq p'$, $\frac{1}{p}+\frac{1}{p'}=1$, then the closed ideals of $\mathcal{L}(X)$ and $\mathcal{L}(X^*)$ each fail to be linearly ordered. We obtain additional results in the special cases of $\mathcal{L}(\ell_1\oplus\ell_q)$ and $\mathcal{L}(\ell_p\oplus c_0)$, $1

研究动机与目标

• 确定当巴拿赫空间 $ X $ 包含特定经典序列空间时，$ \mathcal{L}(X) $ 和 $ \mathcal{L}(X^*) $ 中闭理想结构的性质。
• 将关于 $ \mathcal{L}(\ell_p \oplus \ell_q) $ 中闭理想格的已知结果推广至更广泛的巴拿赫空间类。
• 证明在某些条件下，$ \mathcal{L}(X) $ 和 $ \mathcal{L}(X^*) $ 中的闭理想格并非线性有序。
• 分析有限严格奇异算子与超严格共奇异算子在生成此类理想中的作用。
• 通过算子理想与因式分解技术，建立统一框架，以证明存在不可数无穷多个闭理想。

提出的方法

• 使用有限严格奇异（FSS）和超严格共奇异（SSSC）算子理想作为构建闭理想的关键工具。
• 应用小扰动原理以建立基序列的等价性并控制算子范数。
• 通过 $ \ell_\infty^{k_n} $ 和 $ \ell_2^n $ 的 $ c_0 $-和构造有界线性算子，利用可分性内射性。
• 定义算子 $ J_n $、$ Q_n $ 和 $ U $，以构建全局算子 $ \widetilde{J}RU $，其通过 $ \theta I_{2,p,0} $ 因式分解，从而证明所需的图示因式分解。
• 利用某些算子的 $ \ell_2 $-因式分解性，建立理想包含关系与不可比较性。
• 将 [SZ14] 和 [SSTT07] 中的证明方法改编，适用于包含 $ \ell_p $、$ \ell_q $ 或 $ c_0 $ 的广义巴拿赫空间。

实验结果

研究问题

• RQ1 在何种条件下，巴拿赫空间 $ X $ 的 $ \mathcal{L}(X) $ 会包含不可数无穷多个闭理想？
• RQ2 在何种情况下，$ \mathcal{L}(X) $ 和 $ \mathcal{L}(X^*) $ 中的闭理想并非线性有序？
• RQ3 补子空间 $ \ell_p $ 与非补子空间 $ \ell_q $ 或 $ c_0 $ 的存在如何影响 $ \mathcal{L}(X) $ 的理想结构？
• RQ4 FSS 与 SSSC 算子理想在 $ \mathcal{L}(X) $ 中生成新闭理想的过程中起何种作用？
• RQ5 用于 $ \mathcal{L}(\ell_p \oplus c_0) $ 和 $ \mathcal{L}(\ell_1 \oplus \ell_q) $ 的因式分解技术能否推广至其他巴拿赫空间？

主要发现

• 若 $ X $ 包含 $ \ell_p $ 的补子空间（$ p \in (1,2) $）以及 $ \ell_q $ 或 $ c_0 $ 的子空间，则 $ \mathcal{L}(X) $ 和 $ \mathcal{L}(X_{\mathbb{C}}) $ 各自均包含一个连续统大小的闭理想链，且所有理想均属于 FSS 理想。
• 对偶空间 $ \mathcal{L}(X^*) $ 和 $ \mathcal{L}(X_{\mathbb{C}}^*) $ 各自均包含一个连续统大小的闭理想链，且所有理想均属于 SSSC 理想。
• 当 $ 1 < p < 2 < p' \leq q < \infty $ 时，$ \mathcal{L}(X) $ 和 $ \mathcal{L}(X^*) $ 中的闭理想并非线性有序，因为其包含两个不可比较的理想。
• 对于 $ \mathcal{L}(\ell_p \oplus c_0) $ 和 $ \mathcal{L}(\ell_1 \oplus \ell_q) $（$ 1 < p < 2 < q < \infty $），算子代数中存在不可数无穷多个闭理想。
• $ \mathcal{L}(\ell_p, c_0) $ 中的理想 $ \mathcal{FSS} \cap [\mathcal{G}_{\ell_2}] $ 和 $ [\mathcal{G}_T] $ 不可比较，且 $ \mathcal{FSS} $ 严格包含于 $ \mathcal{FSS} + [\mathcal{G}_T] $ 中，表明其理想结构具有非平凡性。
• 通过 $ \widetilde{J}RU $ 对算子进行 $ \theta I_{2,p,0} $ 因式分解，证实了 $ \mathcal{L}(X) $ 中存在新闭理想，从而将 $ \mathcal{L}(\ell_p \oplus \ell_q) $ 中的结果推广至更广泛的空间类。