Pure infiniteness and primary factorisation

技术摘要：纯无限性与初等分解性质

问题陈述
本文研究了巴拿赫空间理论背景下的**初等分解性质（Primary Factorisation Property, PFP）**及其与有界线性算子代数 $B(E)$ 的环论性质之间的相互作用。若对于每个算子 $T \in B(E)$，恒等算子 $Id_E$ 都能通过 $T$ 或通过 $Id_E - T$ 进行分解，则称巴拿赫空间 $E$ 具有 PFP。该性质是强算子分解形式的初等性（primariness），通常被用作证明一个空间是初等的初步步骤。

核心探讨的问题包括：

1. 一个**不可分解（indecomposable）**的巴拿赫空间（即不能表示为两个无穷维闭子空间的直和）是否可能拥有 PFP？
2. PFP 的环论后果是什么，特别是关于 $B(E)$ 及其商代数 $A_E := B(E)/M_E$ 的戴德金无限性（Dedekind-infiniteness）、适当无限性（proper infiniteness）和纯无限性（pure infiniteness）。其中 $M_E$ 是恒等算子无法通过的算子集合。
3. 这些性质在**超幂（ultrapowers）**下如何表现？具体而言，如果 $E$ 具有 PFP（或一致版本 UPFP），那么商代数 $A_E$ 的超幂是否是纯无限的？

方法论
作者结合使用了算子理论、Fredholm 理论和巴拿赫代数理论：

• 理想结构分析：他们将 $M_E$ 表征为当 $E$ 具有 PFP 时 $B(E)$ 的唯一极大理想。这使得研究商代数 $A_E$ 成为可能。
• Fredholm 理论：作者利用 Fredholm 指数的连续性和 Fredholm 算子的性质，来推导关于不可分解空间结构的矛盾。
• 分解二分性：他们分析了涉及分解常数的定量关系。对于一致 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$ 必须是一个除环（根据 Gelfand-Mazur 定理）。这意味着每个 Fredholm 算子的指数均为零。然而，PFP 允许构造一个具有平凡核但具有任意大余核的算子 $L$（通过引理 3.4），从而导致非零的 Fredholm 指数。这一矛盾确立了不可分解性与 PFP 是互斥的。
• 推论：该结果排除了对于遗传不可分解（hereditarily indecomposable）空间、Tarbard 的 Bourgain–Delbaen 空间、连通 Koszmider 紧集上的 $C(K)$ 空间以及 Gowers–Maurey 素不可分解空间的 PFP 性质。

2. 环论无限性（定理 B）
作者确立了 PFP 所强制的无限性性质：

• 戴德金无限性：若 $E$ 是无穷维且具有 PFP，则 $B(E)$ 是戴德金无限的。这是通过将恒等算子分解通过秩为一的投影的补空间来实现的，从而创建了一个与恒等算子等价但不等于它的幂等元。
• 适当无限性：PFP 并不意味着 $B(E)$ 是适当无限的。空间 $C[0, \omega_1]$ 具有 PFP，但 $B(C[0, \omega_1])$ 不是适当无限的，因为其对 $M_E$ 的商同构于 $\mathbb{C}$，而适当无限性在单位同态下是保持的。
• 商的纯无限性：对于复空间 $E$，若 $E$ 具有 PFP，则商代数 $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)。证明利用了 Read 的余维为一的理想 $J_R$ 的结构，该理想在模去弱紧算子后成为一个非零的平方零理想。这种平方零结构与 UPFP 所要求的一致估计是不相容的。
• 开放问题：论文提出了问题 6.3 和 问题 6.4，询问是否存在一个非标量复巴拿赫空间具有 PFP（或 UPFP），使得其商的超幂不是纯无限的。作者指出，虽然 Read 空间不具备 UPFP，但关于它是否具有非一致 PFP 仍是一个开放问题。如果它具有，它将提供一个具有 PFP 但不具有 UPFP 的空间，尽管其产生的商仍将是标量的。

意义与主张
该论文声称解决了不可分解性与 PFP 之间的关系，明确指出两者无法共存。这与存在不可分解素空间（Gowers–Maurey）的事实形成对比，澄清了素性（primariness）并不一定意味着 PFP 这种更强的分解二分性。

这项工作隔离了与超幂相关的定量间隙，区分了定性的分解二分性（PFP）与分解常数的一致有界性（UPFP）。作者展示了虽然经典序列空间满足最强的条件（非标量商、UPFP、纯无限超幂），但其他空间如 James 空间和 $C[0, \omega_1]$ 虽然满足 PFP，却产生标量商，从而在超幂测试中失败。

论文最后将 Read 空间确定为一个关键测试案例。虽然已证明其不具备 UPFP，但关于它是否具有非一致 PFP 的问题仍然悬而未决。若答案为正，则会提供一个具有 PFP 但不具有 UPFP 的空间，但作者提醒，这将无法解决非标量超幂的问题，因为其商仍将是标量的。论文因此划定了当前关于分解性质、理想结构以及算子代数及其超幂的无限性之间相互作用知识的精确边界。