Pure infiniteness and primary factorisation

技術要約：純粋無限性と主要因子分解

問題提起
本論文は、バナッハ空間論の文脈における**主要因子分解特性（Primary Factorisation Property, PFP）**と、有界線形作用素の環論的性質との相互作用を調査している。バナッハ空間 $E$ がPFPを持つとは、すべての作用素 $T \in B(E)$ に対して、恒等作用素 $Id_E$ が $T$ または $Id_E - T$ を通じて分解できることを指す。この特性は、空間が「主要（primary）」であることを証明するための予備段階としてしばしば用いられる、強力な作用素論的形態の「主要性」である。

検討されている中心的な問いは以下の通りである：

1. **非分解的（indecomposable）**なバナッハ空間（2つの無限次元閉部分空間の直和として書けない空間）は、PFPを持ち得るか？
2. PFPがもたらす環論的な帰結、具体的には $B(E)$ およびその商 $A_E := B(E)/M_E$（ここで $M_E$ は恒等作用素が通過できない作用素の集合である）におけるデデキント無限（Dedekind-infiniteness）、固有無限（proper infiniteness）、および**純粋無限（pure infiniteness）**について。
3. これらの特性は**超積（ultrapowers）**の下でどのように振る舞うか？ もし $E$ がPFP（または一様版のUPFP）を持つならば、商 $A_E$ の超積は純粋無限であるか？

手法
著者らは、作用素論、フレドホルム理論、およびバナッハ環論を組み合わせた手法を用いている：

• イデアル構造の解析： $E$ がPFPを持つとき、$M_E$ を $B(E)$ の唯一の極大イデアルとして特徴付ける。これにより、商環 $A_E$ の研究が可能となる。
• フレドホルム理論： フレドホルム指数の連続性とフレドホルム作用素の性質を利用して、PFPを持つ非分解的空間に関する矛盾を導出する。
• 分解の二分法（Factorisation Dichotomy）： 分解に関わる定量的定数を分析する。一様PFP（UPFP）については、分解定数が一様に有界であるかどうかを検討する。
• 超積の手法： DawsとHorváthによる、超積の純粋無限性に関する結果を適用する。これは、単位球上の「純粋無限定数」$C_{pi}(a)$ の一様有界性に依存する。
• 具体的な反例と構成： 著者らの分析は、Readの空間（$E_R$）、James空間（$J$）、古典的な数列空間（$c_0, \ell_p$）、および $C[0, \omega_1]$ などの特定のバナッハ空間に大きく依存している。

主要な貢献と結果

1. 非分解的PFP空間の不在（定理A）
本論文は、実または複素の非分解的バナッハ空間はPFPを持たないことを証明している。

• 手法： 証明は、そのような空間が存在すると仮定し、矛盾を導き出すことで行われる。もし $E$ が非分解的かつPFPを持つならば、商 $B(E)/M_E$ は（ゲルフント・マズールの定理により）除法環でなければならない。これは、すべてのフレドホルム作用素の指数がゼロであることを意味する。しかし、PFPは、核は自明であるが余核が任意に大きくなるような作用素 $L$ を構成することを許容する（補題3.4による）。この矛盾が、非分解性とPFPが互いに排他的であることを確立する。
• 系： この結果は、継承的に非分解的な空間、TarbardのBourgain–Delbaen空間、連結なKoszmiderコンパクト体上の $C(K)$、およびGowers–Maureyの原始的非分解空間に対するPFPを排除する。

2. 環論的無限性（定理B）
著者らは、PFPによって強制される無限性の性質を確立している：

• デデキント無限： $E$ が無限次元でPFPを持つならば、$B(E)$ はデデキント無限である。これは、ランク1の射影の補集合を通じて恒等作用素を分解させることで示される。これは、恒等元と等しくはないが、恒等元と等価な冪等元を作成することになる。
• 固有無限： PFPは、$B(E)$ が固有無限であることを必ずしも意味しない。$C[0, \omega_1]$ はPFPを持つが、$B(C[0, \omega_1])$ は固有無限ではない。なぜなら、その $M_E$ による商は $\mathbb{C}$ に同型であり、固有無限性は単単位準同型によって保存されるからである。
• 商の純粋無限性： 複素空間 $E$ について、商 $A_E = B(E)/M_E$ が純粋無限であるための必要十分条件は $A_E \not\cong \mathbb{C}$ であることである。$A_E \not\cong \mathbb{C}$ であれば、商におけるすべての非ゼロ要素は、恒等作用素を通過させる。

3. 超積と非スカラー問題
本論文は、超積 $(A_E)_U$ が純粋無限であるかどうかを調査している。

• スカラー境界ケース： 著者らは、$A_E \cong \mathbb{C}$ である場合（$C[0, \omega_1]$ やJames空間のケース）、超積は純粋無限ではないことを示している。これらは、超積の純粋無限性において仮定 $A_E \not\cong \mathbb{C}$ が不可欠であることを示すための、必要な境界事例として機能する。
• 古典的な数列空間： $E = c_0(\Gamma)$ または $\ell_p(\Gamma)$ の場合、商 $A_E$ は非スカラーであり、純粋無限定数は1である。したがって、それらの超積は純粋無限である。
• Readの空間 ($E_R$)： 本論文は、Readの空間は一様PFP（UPFP）を持たないことを証明している。証明は、弱コンパクト作用素のモジュロで非ゼロの零冪等（square-zero）イデアルとなる、Readの余次元1のイデアル $J_R$ の構造を利用している。この零冪等構造は、UPFPに必要な一様な評価と両立しない。
• 未解決問題： 論文は、質問6.3および質問6.4を提示しており、商の超積が純粋無限ではないような、非スカラーの複素バナッハ空間（PFPまたはUPFPを持つもの）が存在するかどうかを問うている。著者らは、Readの空間はUPFPには失敗するものの、非一様PFPを持つかどうかは未解決の問題であると述べている。もしそれが持つならば、それはPFPを持つがUPFPを持たない空間となるが、その結果得られる商は依然としてスカラーである。

意義と主張
本論文は、非分解性とPFPの関係を解決したと主張しており、両者が共存できないことを決定的に示している。これは、非分解的な原始的空間（Gowers–Maurey）の存在とは対照的であり、原始性が必ずしもPFPというより強い因子分解の二分法を意味しないことを明確にしている。

本研究は、超積に関連する定量的ギャップを孤立させており、定性的な因子分解の二分法（PFP）と、因子分解定数の一様有界性（UPFP）を区別している。著者らは、古典的な数列空間が最も強い条件（非スカラー商、UPFP、純粋無限な超積）を満たす一方で、James空間や $C[0, \omega_1]$ のような他の空間はPFPを満たすものの、スカラーの商をもたらし、超積のテストに失敗することを示している。

論文は、Readの空間を重要なテストケースとして特定して締めくくっている。これはUPFPを持たないことが証明されているが、非一様PFPを持つかどうかは依然として未解決である。もしそうであれば、PFPを持つがUPFPを持たないバナッハ空間を提供することになるが、著者らは、それは非スカラー超積の問題を解決することにはならないと警告している（商がスカラーのままであるため）。このように、本論文は、因子分解の性質、イデアル構造、および作用素環とその超積の無限性の間の相互作用に関する現在の知識の正確な境界を画定している。