The *-variation of the Banach-Mazur game and forcing axioms

本文通过引入基于 Banach-Mazur 博弈变体的新性质（即第一玩家每步选择可数条件集而非单个条件），证明了该性质强于 $(\omega_1+1)$-策略闭性且能保持 PFA，并以此重证了 Magidor 关于 PFA 与弱方原则一致性的定理，同时辨析了该性质与 $(\omega_1+1)$-操作闭性在保留或破坏 $MA^+(\omega_1\text{-closed})$ 部分时的显著差异。

要点

这篇论文听起来非常深奥，充满了数学术语，但它的核心思想其实可以用一个关于“下棋”和“盖房子”的比喻来解释。

想象一下，数学家们正在研究一种叫做**“集合论”的数学领域，他们试图构建一个非常坚固的“宇宙”（数学世界），在这个世界里，某些特定的规则（称为公理**，比如 PFA）必须永远成立。

为了研究这些规则，数学家们使用一种叫做**“力迫法”（Forcing）的工具。你可以把“力迫法”想象成一种“魔法施工队”**，他们可以在现有的数学宇宙上加盖新的楼层，或者添加新的房间（新的数学对象）。

但是，这个施工队有个问题：有时候他们盖得太乱，会把原本坚固的墙壁（原有的公理）给拆坏了。这篇论文就是为了解决这个问题：我们要找到一种更高级、更坚固的施工方法，确保在加盖新楼层时，原本珍贵的规则（PFA）

1. 核心游戏：Banach-Mazur 游戏（下棋定胜负）

为了判断一个施工队（数学上的“偏序集”）是否足够坚固，数学家发明了一个游戏，叫Banach-Mazur 游戏。

• 玩家：有两个玩家，玩家 I（捣乱者）和玩家 II（防守者）。
• 规则：
  • 玩家 I 先出招，选一个条件（比如一块砖）。
  • 玩家 II 必须选一个更强的条件（一块更结实的砖）来回应。
  • 两人轮流下棋，一直下到第 $\omega_1 + 1$ 步（这是一个非常长的过程，比无限还要多一点点）。
• 胜负：如果玩家 II 能坚持走完所有步数，没有卡壳，她就赢了。
• 意义：如果玩家 II 有一个必胜策略（不管玩家 I 怎么出招，她都能赢），那么这个施工队就被认为是“封闭”的，也就是足够坚固的。

2. 这篇论文的新发明：$\ast$-变体游戏

以前的研究（比如 Yoshinobu 之前的论文）发现，如果玩家 I 每次只选一块砖，玩家 II 只要有点策略就能赢。但这还不够强，因为有些看似坚固的结构，在更复杂的攻击下还是会塌。

这篇论文提出了一个更难的挑战：

• 新规则：玩家 I 每次不再只选一块砖，而是选一篮子砖（一个可数的集合）。
• 防守者的任务：玩家 II 必须面对这一篮子砖，选出一块能盖住所有这些砖的“超级大砖”。
• $\ast$-战术封闭性：如果玩家 II 即使面对这种“一篮子砖”的攻击，依然有必胜策略，那么这个结构就被称为**"$\ast$-战术封闭”**（$\ast$-tactically closed）。

比喻：

• 以前的游戏是：敌人扔给你一块石头，你要接住。
• 现在的新游戏是：敌人扔给你一把沙子（一堆石头），你要接住所有沙子，并且还要把它们捏成一个整体。
• 如果能接住这把沙子，说明你的“手劲”（数学结构的坚固程度）非常强大。

3. 主要发现：保护“魔法规则”PFA

论文证明了两个关键点：

1. PFA 的守护者：如果你使用这种"$\ast$-战术封闭”的施工队（偏序集）来加盖楼层，那么PFA（一个非常重要的数学公理，就像宇宙中的“重力定律”）就绝对不会被破坏。

   • 这就像是你用一种特殊的“防弹水泥”盖房子，不管你怎么折腾，房子内部的物理定律都不会变。

2. Magidor 定理的复活：作者利用这个新工具，重新证明了一个著名的定理（Magidor 定理）。这个定理说：我们可以构建一个数学宇宙，既满足 PFA，又允许某些特定的“平方原理”（$\square$）存在。

   • 以前大家觉得这两者可能矛盾，但作者用这个新游戏证明了它们可以和平共处。

4. 两个概念的“爱恨情仇”

论文还比较了两种不同的“坚固”概念：

• 操作封闭（Operational closed）：防守者只能看“当前状态”和“步数”来下棋（有点像只看眼前，不看历史）。
• $\ast$-战术封闭（$\ast$-tactically closed）：防守者可以看到对手刚才扔过来的“那一篮子砖”（信息量更大）。

结论：
作者发现，这两种“坚固”是互不隶属的。

• 有些结构是“操作封闭”的，但不是"$\ast$-战术封闭”的。
• 有些结构是"$\ast$-战术封闭”的，但不是“操作封闭”的。
• 这就像**“长跑冠军”和“短跑冠军”**的区别。有的选手擅长长跑（操作封闭），有的擅长应对突发的一堆挑战（$\ast$-战术封闭），但不能说谁一定比谁强，它们是不同的能力。

总结

这篇论文就像是在数学建筑学里发明了一种**“超级防弹玻璃”**。

• 以前我们只知道一种防弹玻璃（操作封闭），但它不够用。
• 现在作者发明了一种更强的玻璃（$\ast$-战术封闭），它不仅能防住普通的子弹，还能防住“霰弹枪”（一篮子条件的攻击）。
• 有了这种新玻璃，数学家们就可以放心地在数学宇宙里进行更复杂的扩建工程，而不用担心破坏原本珍贵的规则（PFA）。

这不仅解决了老问题，还揭示了数学结构中不同“坚固”方式之间微妙而有趣的关系。

技术摘要

这篇论文《Banach-Mazur 游戏的*变体与强制公理》（The *-Variation of the Banach-Mazur Game and Forcing Axioms）由 Yasuo Yoshinobu 撰写，主要研究了集合论中的强制（Forcing）技术，特别是关于强制公理（PFA, Proper Forcing Axiom）的保持性问题。

以下是对该论文的详细技术总结：

1. 研究背景与问题 (Problem)

• 核心问题：寻找能够保持 PFA 的更广泛的强制类（posets）。
• 已知结果与局限：
  • Larson 证明了如果强制偏序集（poset）满足任意大小不超过 $\omega_1$ 的相容子集都有公共扩展（即 $\omega_2$-定向闭），则 PFA 得以保持。
  • Konig 和 Yoshinobu 后来证明了 $\omega_2$-闭（$\omega_2$-closed）的 poset 也能保持 PFA。
  • 然而，$(\omega_1 + 1)$-策略闭（strategic closedness）不足以保证 PFA 的保持。例如，添加 $\square_{\omega_1}$ 序列的自然 poset 是 $(\omega_1 + 1)$-策略闭的，但在 PFA 下 $\square_{\omega_1}$ 不成立。
  • Yoshinobu 在之前的工作中引入了“操作闭”（operational closedness），证明了它能保持 PFA。
• 本文动机：是否存在另一种加强策略闭性质的方法，既能保持 PFA，又与操作闭有本质区别？作者试图通过修改 Banach-Mazur 游戏的规则来定义新的闭性质。

2. 方法论与核心定义 (Methodology & Definitions)

作者引入了 Banach-Mazur 游戏 $G_{\omega_1+1}(P)$ 的一个变体，记为 $G^*(P)$，并基于此定义了新的闭性质。

• 游戏 $G^*(P)$ 的规则：
  • 玩家 I 和玩家 II 轮流进行，总长度为 $\omega_1 + 1$。
  • 关键区别：在每一轮中，玩家 I 不再选择一个单一的条件，而是选择一个至多可数的条件集合 $A_\gamma \subseteq P$。
  • 玩家 II 必须选择一个条件 $b_\gamma$，使得 $b_\gamma$ 是集合 $A_\gamma$ 的公共扩展（common extension）。
  • 玩家 II 获胜的条件是能够完成 $\omega_1$ 次移动。
• 新定义的闭性质：
  • $\ast$-战术闭（$\ast$-tactically closed）：如果玩家 II 存在一个获胜策略，且该策略仅依赖于玩家 I 当前选择的集合（即不依赖于回合数或之前的历史，只依赖当前状态），则称 $P$ 是 $\ast$-战术闭的。
  • $\ast$-操作闭（$\ast$-operationally closed）：如果玩家 II 存在一个获胜策略，且该策略依赖于回合数和玩家 I 当前选择的集合，则称 $P$ 是 $\ast$-操作闭的。
  • 显然，$\ast$-操作闭蕴含 $\ast$-战术闭，且两者都强于 $(\omega_1 + 1)$-策略闭。

3. 主要结果 (Key Results)

A. PFA 的保持性 (Preservation of PFA)

• 定理 3.1：如果 $P$ 是 $\ast$-操作闭的，则 PFA 在 $P$ 强制下保持不变。
  • 由于 $\ast$-战术闭是 $\ast$-操作闭的特例，因此 $\ast$-战术闭的 poset 也能保持 PFA。
  • 这推广了 Yoshinobu 之前关于“操作闭”保持 PFA 的结果。

B. Magidor 定理的重构 (Application to Magidor's Theorem)

• 定理 3.3 (Magidor)：PFA 与陈述"$\square_{\kappa, \omega_2}$ 对所有 $\kappa \ge \omega_2$ 成立”是一致的。
  • 作者利用新定义的 $\ast$-战术闭性质，证明了添加 $\square_{\kappa, \lambda}$ 序列的 poset（其中 $2^{\aleph_0} \le \lambda \le \kappa$）是$\ast$-战术闭的（定理 2.6）。
  • 结合迭代引理（Lemma 2.7），证明了通过 Easton 支撑迭代这些 poset 得到的最终强制是 $\ast$-战术闭的，从而保持了 PFA。这为 Magidor 的定理提供了一个基于新闭性质的简洁证明。

C. 新性质与旧性质的独立性 (Independence of Properties)

作者通过构造反例，证明了 $\ast$-战术闭与操作闭（operational closedness）是互不蕴含的，且它们对某些组合原理的保持性不同。

• 引入组合原理：

  • SCP (Setwise Climbability Property) 和 SCP$^-$ (SCP 的弱化版，去掉了函数 $f$)。
  • 证明了 $P_{SCP}$ 是 $\ast$-操作闭的，而 $P_{SCP^-}$ 是 $\ast$-战术闭的。
  • 证明了 SCP 等价于 $MA_{\omega_2}$ 在 $\ast$-操作闭类上的成立；SCP$^-$ 等价于 $MA_{\omega_2}$ 在 $\ast$-战术闭类上的成立。

• 定理 5.1：假设 $MA^+(\omega_1\text{-closed})$，则对于任何 $\ast$-战术闭的 poset $P$，在 $P$ 强制下 Chang 猜想 (CC) 成立。

  • 由于 CC 蕴含 $\neg CP$（Climbability Property），而 $CP$ 可由操作闭强制产生，这表明操作闭不蕴含 $\ast$-战术闭。

• 定理 6.1：假设 $MA^+(\omega_1\text{-closed})$，则对于任何 $(\omega_1+1)$-操作闭的 poset $P$，在 $P$ 强制下 SCP$^-$ 不成立。

  • 由于 $SCP^-$ 可由 $\ast$-战术闭强制产生，这表明$\ast$-战术闭不蕴含操作闭。

4. 技术细节与证明策略

• 投影与辅助强制：在证明保持性时，作者构造了辅助的 poset（如 $R(P, \sigma)$ 和 $S(P, \tau)$），这些辅助 poset 是 $\omega_1$-闭的，并且存在到原 poset 的投影（projection）。
• 通用性序列（Generic Sequences）：利用 $MA^+(\omega_1\text{-closed})$ 的等价形式 $FA^*(\omega_1\text{-closed})$，构造特定的定向子集，使得模型之间的初等子结构关系满足特定条件（如 $N \prec^s_{\omega_1} N(F)$）。
• 博弈论论证：在证明独立性时，利用了两个玩家博弈（Game $G(A, p)$）的策略存在性。作者证明了在特定条件下，玩家 I 有必胜策略，从而导出矛盾，证明了某些组合原理在特定强制下必然失败。

5. 意义与贡献 (Significance)

1. 理论深化：引入了 $\ast$-战术闭和 $\ast$-操作闭这两个新的闭性质，丰富了关于强制闭性质的分类体系。
2. PFA 保持性的扩展：证明了比 $\omega_2$-闭更广泛的类（$\ast$-操作闭）也能保持 PFA，扩展了已知保持 PFA 的强制类。
3. Magidor 定理的新视角：提供了一个基于新闭性质的 Magidor 定理（PFA 与弱方公理共存）的证明，展示了新工具的有效性。
4. 区分不同闭性质：通过 $SCP$、$SCP^-$ 和 Chang 猜想等组合原理，清晰地展示了 $\ast$-战术闭与操作闭在保持性上的本质差异。这解决了“这两种加强策略闭的方法是否等价”的问题，答案是否定的。
5. 方法论创新：将 Banach-Mazur 游戏中玩家 I 的选择从“单点”改为“可数集”，巧妙地改变了策略的依赖结构，从而定义了新的闭性质。

综上所述，Yoshinobu 的这篇论文通过引入基于集合选择的 Banach-Mazur 游戏变体，成功定义了新的强制闭性质，不仅保持了 PFA，还揭示了这些新性质与旧性质（如操作闭）在保持组合原理方面的微妙差异，为集合论中的强制公理研究提供了重要的新工具和视角。