[论文解读] The algebra of bounded linear operators on $\ell_p\oplus\ell_q$ has infinitely many closed ideals

Thomas Schlumprecht, András Zsák|arXiv (Cornell University)|Sep 11, 2014

Rings, Modules, and Algebras参考文献 1被引用 5

一句话总结

本文证明了当 $1 < p < q < \infty$ 时，有界线性算子代数 $\mathcal{L}(\ell_p \oplus \ell_q)$ 拥有无穷多个闭理想，建立了从通过 $I_{p,q}$ 因子化的理想到有限严格奇异算子理想的连续统大小的理想链。该结果解决了 Pietsch 长期以来提出的关于此情形下算子理想结构的问题。

ABSTRACT

We prove that in the reflexive range $1

研究动机与目标

• 解决 A. Pietsch 在《算子理想》（Problem 5.3.3）中提出的开放问题：当 $1 < p < q < \infty$ 时，$\mathcal{L}(\ell_p, \ell_q)$ 是否拥有无穷多个闭理想。
• 在 $\mathcal{L}(\ell_p, \ell_q)$ 中构造一个未数列的、连续统大小的闭理想链，该链严格位于 $\mathcal{J}^{I_{p,q}}$ 与 $\mathcal{F}\mathcal{S}$（有限严格奇异算子的理想）之间。
• 将此构造扩展到范围 $1 < p < 2 < q < \infty$，证明在 $\mathcal{J}^{I_{p,q}}$ 与 $\mathcal{J}^{I_{2,q}}$（通过 $\ell_2$ 因子化的算子生成的理想）之间存在一个连续统大小的闭理想链。
• 证明 $\mathcal{L}(\ell_p, \ell_q)$ 的闭理想格具有高度非平凡且丰富的结构，即使在自反范围内也是如此。
• 提供新的可分自反巴拿赫空间的例子，其算子代数拥有不可数个闭理想。

提出的方法

• 通过参数化无限子集 $M \subset \mathbb{N}$ 的 $\ell_p$-直和构造一族巴拿赫空间 $Y_M = Y_{p, \boldsymbol{w}_M}$，其构成元素为有限维的 $X_p$-型空间。
• 利用 Rosenthal 的 $X_p$ 空间及其有限维变体，定义具有受控下基本函数的中间空间。
• 定义形式包含映射 $I_{Y_M, q}: Y_M \to \ell_q$，并分析其通过 $\ell_2$ 和 $\ell_q$ 的因式分解性质。
• 证明由这些包含映射生成的算子理想 $\mathcal{J}^{I_{Y_M, q}}$ 在嵌套集合 $M \subset N$ 下形成严格递增的包含链。
• 应用一个关键的技术引理（定理 6），通过 $B$ 的 $\ell_\infty$-范数与 $Y_M$ 的下基本函数来控制复合算子 $AI_{Y_M, q}B$ 的算子范数。
• 建立 $\mathcal{J}^{I_{Y_M, q}} \subset \mathcal{J}^{I_{2,q}}$ 与 $\mathcal{J}^{I_{Y_M, q}} \supset \mathcal{J}^{I_{p,q}}$，确保这些理想位于期望的区间内。

实验结果

研究问题

• RQ1 当 $1 < p < q < \infty$ 时，$\mathcal{L}(\ell_p, \ell_q)$ 是否拥有无穷多个闭理想？
• RQ2 能否在 $\mathcal{J}^{I_{p,q}}$ 与 $\mathcal{F}\mathcal{S}$ 之间构造一个未数列的闭理想链？
• RQ3 当 $1 < p < 2 < q < \infty$ 时，是否在 $\mathcal{J}^{I_{p,q}}$ 与 $\mathcal{J}^{I_{2,q}}$ 之间存在一个连续统大小的闭理想链？
• RQ4 $\mathcal{L}(\ell_p, \ell_q)$ 中的闭理想是否均由单个算子生成，还是存在不能由单个算子生成的理想？
• RQ5 当 $1 < p < q < \infty$ 时，$\mathcal{L}(\ell_p, \ell_q)$ 中闭理想的集合的确切基数是多少？

主要发现

• 对于所有 $1 < p < q < \infty$，代数 $\mathcal{L}(\ell_p \oplus \ell_q)$ 拥有无穷多个闭理想，从而解决了 Pietsch 的问题 5.3.3。
• 在 $\mathcal{L}(\ell_p, \ell_q)$ 中存在一个大小为连续统的闭理想链，严格位于 $\mathcal{J}^{I_{p,q}}$ 与 $\mathcal{F}\mathcal{S}$（有限严格奇异算子的理想）之间。
• 当 $1 < p < 2 < q < \infty$ 时，在 $\mathcal{J}^{I_{p,q}}$ 与 $\mathcal{J}^{I_{2,q}}$（通过 $\ell_2$ 因子化的算子生成的理想）之间存在一个连续统大小的闭理想链。
• $\mathcal{J}^{I_{Y_M, q}}$（由构造的空间 $Y_M$ 的形式包含映射生成的算子理想）在嵌套指标集 $M \subset N$ 下形成严格递增的包含链。
• 每个理想 $\mathcal{J}^{I_{Y_M, q}}$ 严格包含于 $\mathcal{J}^{I_{2,q}}$ 且严格包含于 $\mathcal{J}^{I_{p,q}}$，确认其在理想格中的正确位置。
• 该构造提供了新的可分自反巴拿赫空间 $X$ 的例子，使得 $\mathcal{L}(X)$ 拥有不可数个闭理想，扩展了 Pietsch 的早期工作。