[論文レビュー] 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}$ を通じて因数分解する作用素のイデアルと、有限に厳密に特異な作用素のイデアルの間で連続体サイズの鎖を持つことを確立している。この結果は、ピーツヒュのこの文脈における作用素イデアルの構造に関する長年の未解決問題を解決する。

ABSTRACT

We prove that in the reflexive range $1

研究の動機と目的

• A. ピーツヒュの『作用素イデアル』の問題5.3.3で提起された、$1 < p < q < \infty$ に対して $\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}$ の無限部分集合によってパラメータ化される、有限次元の $X_p$ 型空間の $\ell_p$-直和として定義されるバナッハ空間 $Y_M = Y_{p, \boldsymbol{w}_M}$ の族を構成すること。
• ローゼンタールの $X_p$ 空間およびその有限次元版を用いて、下位基本関数が制御された中間空間を定義すること。
• 形式的包含写像 $I_{Y_M, q}: Y_M \to \ell_q$ を定義し、$\ell_2$ および $\ell_q$ を通じた因数分解の性質を分析すること。
• 包含関係においてネストされた集合 $M \subset N$ に対して、これらの包含写像によって生成されるイデアル $\mathcal{J}^{I_{Y_M, q}}$ が包含関係で厳密に増加する鎖をなすことの証明。
• 鍵となる技術的補題（定理6）を適用し、$AI_{Y_M, q}B$ の作用素ノルムを $B$ の $\ell_\infty$-ノルムと $Y_M$ の下位基本関数を用いて評価すること。
• $\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 $\mathcal{L}(\ell_p, \ell_q)$ は $1 < p < q < \infty$ に対して無限個の閉イデアルを持つだろうか？
• 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)$ の閉イデアルはすべて単一の作用素によって生成されるのだろうか、それとも1つの作用素によって生成されないイデアルが存在するのだろうか？
• RQ5 $1 < p < q < \infty$ に対して、$\mathcal{L}(\ell_p, \ell_q)$ の閉イデアルの集合の正確な濃度は何か？

主な発見

• $1 < p < q < \infty$ のすべての $p, q$ に対して、代数 $\mathcal{L}(\ell_p \oplus \ell_q)$ は無限個の閉イデアルを持つ。これはピーツヒュの問題5.3.3を解決する。
• $\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$ を通じて因数分解する作用素が生成するイデアル）の間で、連続体サイズの閉イデアルの鎖が存在する。
• $Y_M$ から定義された形式的包含写像 $I_{Y_M, q}$ によって生成されるイデアル $\mathcal{J}^{I_{Y_M, q}}$ は、ネストされたインデックス集合 $M \subset N$ に対して包含関係で厳密に増加する鎖をなす。
• 各イデアル $\mathcal{J}^{I_{Y_M, q}}$ は $\mathcal{J}^{I_{2,q}}$ に真に含まれ、$\mathcal{J}^{I_{p,q}}$ を真に含むため、イデアルのラティス内での適切な配置が確認された。
• この構成により、$\mathcal{L}(X)$ が非可算個の閉イデアルを持つような、新しい可分な反射的バナッハ空間 $X$ の例が得られ、ピーツヒュの先行研究を拡張する。