[论文解读] Uniqueness of the maximal ideal of operators on the $\ell_p$-sum of $\ell_\infty^n\ (n\in\mathbb{N})$ for $1<p<\infty$

Tomasz Kania, Niels Jakob Laustsen|arXiv (Cornell University)|May 22, 2014

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

一句话总结

该论文证明了当 $1 < p < \infty$ 时，有界线性算子在 $\sigma$-有限 $\sigma$-和空间 $W_p = \left(\bigoplus_{n\in\mathbb{N}} \ell^n_\infty\right)_{\ell^p}$ 及其对偶空间 $W_p^* = \left(\bigbigoplus_{n\in\mathbb{N}} \ell^n_1\right)_{\ell^q}$ 上的 Banach 代数具有唯一的极大理想。证明的关键在于表明：不能通过这些空间将恒等算子因子化的算子集合，恰好等于一个闭算子理想，即那些对族 $\{\ell^n_\infty\}$ 一致固定的算子的集合，该结论通过超积技巧和极小 Banach 空间上严格紧算子的性质得以建立。

ABSTRACT

A recent result of Leung (Proceedings of the American Mathematical Society, to appear) states that the Banach algebra $\mathscr{B}(X)$ of bounded, linear operators on the Banach space $X=\bigl(\bigoplus_{n\in\mathbb{N}}\ell_\infty^n\bigr)_{\ell_1}$ contains a unique maximal ideal. We show that the same conclusion holds true for the Banach spaces $X=\bigl(\bigoplus_{n\in\mathbb{N}}\ell_\infty^n\bigr)_{\ell_p}$ and $X=\bigl(\bigoplus_{n\in\mathbb{N}}\ell_1^n\bigr)_{\ell_p}$ whenever $p\in(1,\infty)$.

研究动机与目标

• 将 Leung 在 $B(W_1)$ 上关于唯一极大理想的结论，推广至 $1 < p < \infty$ 的全范围，适用于空间 $W_p = \left(\bigoplus_{n\in\mathbb{N}} \ell^n_\infty\right)_{\ell^p}$。
• 在对偶空间 $W_p^* = \left(\bigoplus_{n\in\mathbb{N}} \ell^n_1\right)_{\ell^q}$ 上建立相同的唯一性结果，其中 $q$ 是 $p$ 的共轭指数。
• 证明集合 $M_X = \{T \in B(X) : \text{在 } X \text{ 上的恒等算子不能通过 } T \text{ 因子化}\}$ 是 $X = W_p$ 和 $X = W_p^*$ 时的闭算子理想，从而证明其为唯一极大理想。
• 引入并分析一个新的算子理想 $S_{\{\ell^n_p : n\in\mathbb{N}\}}(X,Y)$，即那些不一致固定族 $\{\ell^n_p\}$ 的算子，并证明当 $p \in [1,\infty]$ 时其为闭算子理想。
• 证明当 $p \in (1,\infty)$ 时，集合 $M_{W_p}$ 与算子理想 $S_{\{\ell^n_\infty : n\in\mathbb{N}\}}(W_p)$ 一致，这是证明极大理想唯一性的关键。

提出的方法

• 引入一个新的算子理想 $S_{\{\ell^n_p : n\in\mathbb{N}\}}(X,Y)$，定义为所有不一致固定族 $\{\ell^n_p\}$ 的算子 $T \in B(X,Y)$ 的集合，通过 $\ell^n_p$ 的一致 $C$-固定性来刻画。
• 利用 $\ell^p$-空间的极小性及严格紧算子的性质，证明对所有 $p \in [1,\infty]$，$S_{\{\ell^n_p : n\in\mathbb{N}\}}$ 构成 Pietsch 意义下的闭算子理想。
• 采用超积技巧分析 $W_p$ 和 $W_p^*$ 上算子的行为，特别是恒等算子的因子化性质。
• 利用 $W_p$ 在 $p \in (1,\infty)$ 时的自反性，通过伴随映射 $T \mapsto T^*$ 将 $B(W_p)$ 的理想结构传递到 $B(W_p^*)$，该映射在理想格上诱导一个序同构。
• 应用引理 2.1（关于有下界算子的扰动）证明：若算子 $T$ $C$-固定 $\ell^n_\infty$ 的一个拷贝，则当 $\|S - T\|$ 足够小时，附近的算子 $S$ 也 $C'$-固定该拷贝（$C' > C$），从而保证固定拷贝性质的稳定性。
• 构造有限秩逼近序列，并利用投影 $P_k$、$P_{k'}$ 和 $P_m$ 的交换图，构造一对算子 $R$ 和 $S$，使得 $ST'R = I_{W_p}$，从而证明若 $T$ 一致固定 $\ell^n_\infty$，则恒等算子可通过 $T$ 因子化。

实验结果

研究问题

• RQ1 当 $1 < p < \infty$ 时，Banach 代数 $B(W_p)$ 是否具有唯一的极大理想？这一结果是否扩展了 Leung 在 $p=1$ 时的结果？
• RQ2 集合 $M_{W_p} = \{T \in B(W_p) : \text{在 } W_p \text{ 上的恒等算子不能通过 } T \text{ 因子化}\}$ 是否是 $B(W_p)$ 中的闭理想？若是，是否为唯一极大理想？
• RQ3 集合 $M_{W_p}$ 是否可表征为不一致固定族 $\{\ell^n_\infty\}$ 的算子理想 $S_{\{\ell^n_\infty : n\in\mathbb{N}\}}(W_p)$？
• RQ4 对偶空间 $W_p^* = \left(\bigoplus_{n\in\mathbb{N}} \ell^n_1\right)_{\ell^q}$（其中 $q$ 是 $p$ 的共轭指数）是否也具有相同的唯一性结果？
• RQ5 算子理想 $S_{\{\ell^n_p : n\in\mathbb{N}\}}$ 是否对加法封闭，从而在 $p \in [1,\infty]$ 时构成 Pietsch 意义下的正规算子理想？

主要发现

• 对每个 $p \in (1,\infty)$，集合 $M_{W_p} = \{T \in B(W_p) : \text{在 } W_p \text{ 上的恒等算子不能通过 } T \text{ 因子化}\}$ 是 $B(W_p)$ 中的闭理想，且为唯一极大理想，其关键在于证明 $M_{W_p} = S_{\{\ell^n_\infty : n\in\mathbb{N}\}}(W_p)$。
• $M_{W_p^*}$ 是 $B(W_p^*)$ 的唯一极大理想，通过伴随映射 $T \mapsto T^*$ 得到，该映射在 $B(W_p)$ 和 $B(W_p^*)$ 的理想格之间诱导一个序同构，并将 $M_{W_p}$ 映射为 $M_{W_p^*}$。
• $S_{\{\ell^n_p : n\in\mathbb{N}\}}(X,Y)$ 对加法封闭，因此对所有 $p \in [1,\infty]$ 构成 Pietsch 意义下的闭算子理想，其依据是 $\ell^p$-空间的极小性及超积技巧的应用。
• 算子 $T \in B(W_p)$ 一致固定族 $\{\ell^n_\infty\}$ 当且仅当 $W_p$ 上的恒等算子可通过 $T$ 因子化，这一关键等价关系用于将 $M_{W_p}$ 与算子理想 $S_{\{\ell^n_\infty : n\in\mathbb{N}\}}(W_p)$ 关联起来。
• 通过有限秩逼近和投影 $P_k$、$P_{k'}$、$P_m$ 构造算子 $R$ 和 $S$，使得 $ST'R = I_{W_p}$，证明若 $T$ 一致固定 $\ell^n_\infty$，则恒等算子可通过 $T$ 因子化，从而完成完整表征。
• 证明依赖于超积技术分析 $W_p$ 上算子的行为，特别是证明在超幂中，$T$ 的有限秩扰动会保持对 $c_0$ 或 $\ell^n_\infty$ 的固定性质，这对因子化论证至关重要。