On $2$-stationarity of $\mathcal{P}_{\kappa}\lambda$

技术摘要：关于 $P_\kappa\lambda$ 的 2-平稳性

问题陈述
本文研究了大基数性质与 $P_\kappa\lambda$（由 $\lambda$ 的基数小于 $\kappa$ 的子集组成的集合）的高阶平稳性之间的关系。具体而言，它探讨了这样一个问题：$\kappa$ 的 $\lambda$-强紧致性是否意味着 $P_\kappa\lambda$ 对于所有 $n < \omega$ 都是 $n$-平稳的。

虽然已知如果 $\kappa$ 是 $\lambda$-超紧的，那么 $P_\kappa\lambda$ 对于所有 $n < \omega$ 都是 $n$-平稳的（Cody, Lambie-Hanson & Zhang [7]; Torres [22]），但强紧致性的情况尚不明确。作者关注的是 $n=2$ 的情形。他们的目标是确定 $\kappa$ 的强紧致性是否足以保证对于基数 $\lambda > \kappa$， $P_\kappa\lambda$ 是 2-平稳的。

方法论
本文结合使用了组合集合论和强迫技术。

1. 定义与预备知识： 作者利用了 Cody, Lambie-Hanson & Zhang 以及 Torres 引入的 $P_\kappa\lambda$ 上 $n$-平稳集的递归定义。一个集合 $S \subseteq P_\kappa\lambda$ 是 $n$-平稳的，如果它将 $m$-平稳集（对于 $m < n$）反射到满足 $x \cap \kappa$ 是弱不可达基数的点 $x \in S$ 上。
2. Menas 定理分析： 作者分析了平稳性在提升（lifting）和投影（projection）下的行为（Menas 定理）。他们确立了对于 1-平稳集，如果 $\kappa$ 是 Mahlo 基数，则该定理成立。对于 2-平稳集，他们证明了“向下”方向（投影保持 2-平稳性）成立，但证明了“向上”方向（提升保持 2-平稳性）可能会失效。
3. 强迫构造： 为了证明主要结果，作者构造了一个特定的强迫扩张。该构造包含两个主要步骤，遵循了 Apter & Cummings [2] 和 Sakai [20] 的策略：
   • 步骤 1： 一种强迫（Apter & Cummings）在保持 $\kappa$ 的超紧性的同时，添加了一个部分平方序列 $\square^E_\kappa$。这确保了对于特定的集合 $S(\kappa, \kappa^+)$，其交集 $x \cap \kappa$ 对于非平稳多的 $x$ 而言是可测的。
   • 步骤 2： 一个 Easton 支持迭代强迫（Shioya [21]），旨在使 $S(\alpha, \alpha^+)$ 对于所有 $\alpha < \kappa$ 的可测基数 $\alpha$ 都是非平稳的。
   • 保持性： 作者利用 Magidor 的论证（如在 Cummings [8] 中所述）来证明所得的迭代保持了 $\kappa$ 的强紧致性。

核心贡献与结果

1. 对主要问题的否定回答： 主要结果是主定理，它确立了一个模型的一致性，在该模型中 $\kappa$ 是强紧的，但对于任何基数 $\lambda > \kappa$，$P_\kappa\lambda$ 都不是 2-平稳的。

   • 主定理： 假设 GCH 成立，$\kappa$ 是超紧的，且在 $\kappa$ 之上没有可测基数，则存在一个强迫扩张使得：
     (I) $\kappa$ 是强紧的。
     (II) 对于任何 $\lambda > \kappa$，$P_\kappa\lambda$ 都不是 2-平稳的。
     所使用的反例集合为 $S(\kappa, \kappa^+) = \{x \in P_\kappa\kappa^+ : x \cap \kappa \in \kappa \text{ 且 } \text{ot}(x) = (x \cap \kappa)^+\}$。该强迫使得该集合是 1-平稳的但非反射的，从而阻止了它成为 2-平稳的。

2. Menas 定理对于高阶平稳性：

   • 1-平稳集： 作者证明，如果 $\kappa$ 是 Mahlo 基数，则 Menas 定理对于 1-平稳集成立：$S \subseteq P_\kappa\lambda$ 是 1-平稳的，当且仅当其提升 $S \uparrow \lambda'$ 在 $P_\kappa\lambda'$ 中是 1-平稳的。
   • 2-平稳集： 他们证明了如果 $\kappa$ 是 Mahlo 基数，则 2-平稳集的“向下”方向成立。然而，他们展示了“向上”方向失效。具体而言，他们构造了一个模型，其中 $P_\kappa\lambda$ 是 2-平稳的，但 $P_\kappa\lambda^+$ 则不是，从而证明了对于 2-平稳集，向上的 Menas 定理在非平凡意义上是不一致的。

3. 大基数蕴含关系的细化： 本文澄清了超紧性与强紧致性在更高阶平稳性方面的区别。虽然超紧性意味着 $n$-平稳性对于所有 $n$，但强紧致性甚至不能保证 2-平稳性。

意义与主张
本文声称以否定回答的方式解决了强紧致性是否蕴含 $P_\kappa\lambda$ 2-平稳性的问题。它表明 2-平稳性这一性质严格强于强紧致性，并且需要更接近超紧性的假设（或特定的大基数配置）。

作者还对 Menas 定理在更高阶平稳性背景下的表现做出了贡献，表明虽然该定理在 Mahlo 假设下对 1-平稳集成立，但对于 2-平稳集则会失效。论文最后提出了关于 1-平稳集向上方向的 Menas 定理中 Mahlo 假设的必要性，以及 2-平稳集向上方向一致性的开放性问题。

这项工作依赖于标准的集合论工具（强迫、超幂、Easton 迭代），并建立在 Bagaria, Cody, Lambie-Hanson, Zhang, Torres, Menas, Apter, Cummings 和 Shioya 的基础工作之上。它并未提出纯集合论之外的新应用，而是细化了大基数性质及其组合后果的层级结构。