[論文レビュー] A hereditarily indecomposable L_\infty-space that solves the scalar-plus-compact problem

Spiros A. Argyros, Richard Haydon|ArXiv.org|Mar 23, 2009

Advanced Banach Space Theory参考文献 20被引用数 13

ひとこと要約

この論文は、双対が $\ell_1$ に同型であるヒエラルヒカルに分解不能な $l_\infty$-空間を構成し、その上ですべての有界線形作用素がスカラー倍とコンパクト作用素の和として表される。ボーグァイン–デルバエン構成とヒエラルヒカルに分解不能な技法を組み合わせることで、この空間上の厳密に特異な作用素は必然的にコンパクトであることが示され、バナッハ空間論における長年のスカラー＋コンパクト問題が解決される。

ABSTRACT

We construct a hereditarily indecomposable Banach space with dual isomorphic to $\ell_1$. Every bounded linear operator on this space has the form $λI+K$ with $λ$ a scalar and $K$ compact.

研究の動機と目的

• スカラー＋コンパクト問題を解決すること：任意の有界作用素がスカラー倍とコンパクト作用素の和として表されるようなバナッハ空間が存在するか。
• ヒエラルヒカルに分解不能な $\ell_1$ の前双対を構成すること。これは、ヒエラルヒカルに分解不能性が一般に双対に引き継がれないという事実に対処する。
• この特定の $\mathcal{L}_\infty$-空間において、厳密に特異な作用素がコンパクトであることを示すこと。これは、これまでの HI 空間における知られていた性質よりも強い性質である。
• ボーグァイン–デルバエン手法と HI 空間の構成を組み合わせることで、これまでに知られていたよりも強い作用素論的性質を持つ空間のクラスを拡張すること。

提案手法

• 空間はボーグァイン–デルバエン手法を用いて、明示的な有限次元 $\ell_\infty^n$-空間を埋め込むことで構成され、作用素ノルムに対する精密な制御が可能になる。
• 構成にはシュループレヒト型空間とモーレイ–ローゼンタール符号化が組み込まれ、ブロック列および平均を管理する。
• 急速に増加する $\ell_1$-平均に基づく列を用いて、ヒエラルヒカルに分解不能な構造を強制する。
• 厳密に特異な作用素がコンパクトであることを保証するために、2つの新しい急速増加列のクラスを導入する。
• 任意のベクトルを $\ell_\infty^n$-部分空間内での大きさが同程度の部分に分割できるようにする方法により、作用素分解に対する制御が強化される。
• 背理法を用い、非コンパクトな厳密に特異な作用素が存在すると仮定すると、$2C$-RIS構成を介してノルムの違反が生じることを示す。

実験結果

リサーチクエスチョン

• RQ1 すべての有界線形作用素がスカラー倍とコンパクト作用素の和として表されるようなバナッハ空間が存在するか？
• RQ2 ヒエラルヒカルに分解不能性が一般に双対に引き継がらないという事実を踏まえ、$\ell_1$ の前双対としてのヒエラルヒカルに分解不能な空間が構成可能か？
• RQ3 与えられた $\mathcal{L}_\infty$-空間上で、すべての厳密に特異な作用素がコンパクトであるように保証することは可能か？
• RQ4 ボーグァイン–デルバエン手法が HI 技法と組み合わされると、これまでに知られていたよりも強い作用素論的性質が得られるか？
• RQ5 非反射的で双対が $\ell_1$ に同型である $\mathcal{L}_\infty$-空間において、スカラー＋コンパクト性が達成可能か？

主な発見

• 構成された空間は、双対が $\ell_1$ に同型であるヒエラルヒカルに分解不能な $\mathcal{L}_\infty$-空間であり、バナッハ空間論における長年の未解決問題を解決する。
• この空間上のすべての有界線形作用素は $\lambda I + K$ の形に表され、ここで $\lambda$ はスカラー、$K$ はコンパクト作用素である。これによりスカラー＋コンパクト問題が解決される。
• この空間が $\ell_1$ の前双対であり、かつヒエラルヒカルに分解不能であることが示され、双対では成り立たないヒエラルヒカルに分解不能性が前双対では成立しうることを示している。
• 証明により、この空間においてすべての厳密に特異な作用素がコンパクトであることが示され、これはボーグァイン–デルバエン手法による $\ell_\infty^n$-部分空間の明示的埋め込みによって可能になった重要な構造的結果である。
• この構成により、$\ell_1$ のシュール性質がスカラー＋コンパクト性に不可欠であるという考えに反する反例が得られる。なぜなら、証明では $\ell_1$ のシュール性は使用されていないからである。
• 著者らは、$\ell_1$ の前双対において、ヒエラルヒカルに分解不能性だけではスカラー＋コンパクト性が導かれないことを示しており、空間の特定の構造が本質的であることを示している。