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

この論文では、Banach-Mazur ゲームの第一プレイヤーが各手番で単一の条件ではなく可算集合を選ぶという変形を用いて ($\omega_1+1$)-戦略的閉性を強化する新しい順序集合の性質を導入し、その性質を持つ順序集合による強制法で PFA が保存されることを示すとともに、Magidor の定理の再証明や、以前の研究で導入した ($\omega_1+1$)-操作閉性との違いを MA$^+(\omega_1$-閉) の保存・破損を通じて論じている。

要約

この論文は、数学の「集合論」という分野、特に「無限の世界」を扱う**forcing（フォージング）**という技術について書かれています。専門用語が多くて難しいですが、核心となるアイデアを「ゲーム」と「建築」のメタファーを使って、わかりやすく説明してみましょう。

1. 背景：無限の迷路と「PFA」というルール

まず、この論文の舞台は**「無限の迷路」**です。数学者たちは、この迷路をどう設計すれば、特定の「美しいルール（PFA：Proper Forcing Axiom、正則フォージング公理）」が守られるかを研究しています。

• PFA（正則フォージング公理）： これは、迷路の中に「特定の種類の道（集合）」が必ず存在するよう保証する、非常に強力なルールです。このルールが守られている世界では、数学的な問題が非常に解決しやすくなります。
• 課題： 既存の迷路（モデル）から、新しい部屋（新しい数学的対象）を追加して迷路を拡張する際、この「PFA」というルールが壊れてしまわないようにするには、どうすればいいのでしょうか？

これまで、「迷路を拡張する際、プレイヤーが一度に1 つだけ条件を選べる」というルール（戦略的閉性）では、PFA が壊れてしまうことが知られていました。

2. 新しいアイデア：「∗-バリエーション」というゲーム

著者（吉野靖雄氏）は、新しいアプローチを提案しました。それは、**「プレイヤーが一度に『1 つ』ではなく、『無限に小さい集まり（可算集合）』の条件を同時に選べる」**という新しいゲームのルールを導入することです。

これを**「∗-バリエーションのバン・マズル・ゲーム」**と呼んでいます。

• 従来のゲーム（古いルール）：

  • プレイヤー A（敵）が「石」を 1 つ置く。
  • プレイヤー B（味方）が、その石より強い「石」を 1 つ返す。
  • これを無限に繰り返す。
  • 問題点： このルールでは、PFA というルールが壊れてしまうことがありました。

• 新しいゲーム（∗-バリエーション）：

  • プレイヤー A（敵）が、**「石の束（小さな集まり）」**を一度に置く。
  • プレイヤー B（味方）は、その「束」全体を覆い尽くすような、より強い「石」を 1 つ返す。
  • ポイント： プレイヤー B は、敵が置いた「束」の全体像を見て、それをすべて満たす答えを出す必要があります。

3. 発見：新しいルールなら PFA は守られる！

著者は、この新しいゲームで**「プレイヤー B（味方）が常に勝つ戦略を持っている」ような迷路（ポセット）を定義しました。これを「∗-戦術的閉性（∗-tactically closed）」**と呼びます。

• 結論： もし、新しい迷路の拡張方法が「∗-戦術的閉性」を満たすなら、PFA という重要なルールは絶対に壊れないことが証明されました。
• 意味： これは、PFA を壊さずに、より多くの数学的対象（例えば、特定の「正方形」のような構造）を追加できる新しい方法を発見したことになります。

4. 具体的な応用：マグドゥゴッドの定理の再証明

この新しい道具を使うと、有名な数学者マグドゥゴッド（Magidor）が証明した定理を、よりシンプルに再証明できます。

• 定理の内容： 「PFA が成り立つ世界でも、ある特定の複雑な構造（□κ,ω2）が存在する」ことは矛盾しない。
• イメージ： 「PFA という厳格なルールがあるのに、実は『正方形のタイル』を敷き詰めることもできるよ」ということを、新しいゲームのルールを使って示しました。

5. 2 つの「閉性」の違い：操作 vs 戦術

この論文のもう一つの重要な点は、以前からある「操作閉性（operational closedness）」と、今回新しく導入した「∗-戦術的閉性（∗-tactical closedness）」が、実は全く異なる性質だということを明らかにしたことです。

• アナロジー：
  • 操作閉性： 「過去の全履歴（すべての石の置き方）」を覚えていないと勝てないゲーム。
  • ∗-戦術的閉性： 「敵が今置いた『束』だけ」を見て、過去の履歴は気にせず勝てるゲーム。

著者は、この 2 つのルールが互いに包含関係にない（一方がもう一方を必ずしも含んでいない）ことを、具体的な「ゲームの結果」を使って示しました。

• あるルールでは守られるが、もう一方では壊れてしまう現象（チャングの予想や、SCP-という性質）を例に挙げて、**「この 2 つは、似ているようで実は全く別の種類の強さを持っている」**と結論づけています。

まとめ

この論文は、**「無限の迷路を拡張する際、プレイヤーが一度に複数の条件を扱えるようにルールを変えると、重要な数学的ルール（PFA）を守りながら、より自由な拡張が可能になる」**という画期的な発見を報告しています。

• ゲームのルール変更： 「1 つ」から「束（集まり）」へ。
• 結果： PFA が壊れない新しい拡張方法の発見。
• 意義： 数学の基礎となる「無限」の構造理解が深まり、以前とは異なる新しい可能性が開けました。

吉野氏は、この研究を通じて、数学の「無限」という壮大な迷路を、より深く、より安全に探索するための新しいコンパスを手に入れたのです。

技術概要

以下は、Yasuo Yoshinobu による論文「THE ∗-VARIATION OF THE BANACH-MAZUR GAME AND FORCING AXIOMS（Banach-Mazur ゲームの∗変種と強制公理）」の技術的な詳細な要約です。

1. 問題設定と背景

この論文は、集合論における強制公理（Forcing Axioms）、特にProper Forcing Axiom (PFA) の保存性を研究する文脈で書かれています。

• 背景: PFA は、多くの強力な集合論的帰結を持つ公理系です。Larson や Kőnig と著者自身による先行研究では、$\omega_2$-閉じた（$\omega_2$-closed）ポセットや、特定の戦略的閉性を持つポセットによる強制が PFA を保存することが示されていました。
• 課題: しかし、より広いクラスのポセット（例えば、$(\omega_1+1)$-strategically closed なポセット）は PFA を保存しないことが知られています（例：$\square_{\omega_1}$ を強制するポセットは $(\omega_1+1)$-strategically closed ですが、PFA の下では $\square_{\omega_1}$ は成り立たないため）。
• 目的: PFA を保存する、$\omega_2$-closedness よりも広い、かつ合理的なポセットのクラスを特定すること。また、著者が以前導入した「operational closedness（操作的閉性）」と、今回新たに導入する概念との関係を明らかにすること。

2. 手法と主要な概念

著者は、ポセット上の Banach-Mazur ゲームの変種を導入し、それに基づいて新しい閉性概念を定義しました。

2.1 Banach-Mazur ゲームの∗変種

通常の Banach-Mazur ゲーム $G_{\alpha}(P)$ では、プレイヤー I が各ターンで 1 つの条件を選ぶのに対し、$\ast$-変種ゲーム $G^*(P)$ では、プレイヤー I が各ターンで可算個の条件の集合（$A_\gamma \in [P]^{\leq \aleph_0}$）を選びます。

• プレイヤー II は、プレイヤー I が選んだ集合 $A_\gamma$ の共通拡張（Boolean infimum の役割を果たす）として条件を選びます。
• このゲームにおいて、プレイヤー II が勝つための戦略（tactic）や操作（operation）を定義します。

2.2 新しい閉性概念の定義

• $\ast$-tactical closedness（$\ast$-戦術的閉性）: プレイヤー II が、過去の全履歴ではなく、「プレイヤー I がその時点で選んだ条件の集合（$A_\gamma$）」のみに基づいて次の手を決める勝つ戦術（$\ast$-tactic）が存在する場合。
• $\ast$-operational closedness（$\ast$-操作的閉性）: プレイヤー II が、**「ターン番号」と「プレイヤー I が選んだ条件の集合」**に基づいて勝つ勝つ操作（$\ast$-operation）が存在する場合。
  • 従来の「operational closedness」は、プレイヤー II が過去の全履歴を使わず、ターン番号と「過去の移動の Boolean infimum」のみを使うという制限でした。今回の定義は、プレイヤー I が「集合」を選ぶ点で強化されています。

3. 主要な結果と定理

3.1 PFA の保存性（第 3 節）

定理 3.1: $\ast$-operational closed なポセットによる強制は、PFA を保存する。

• 意義: これは、著者の以前の論文で示された「operational closedness による PFA 保存」を一般化する結果です。証明は、$\ast$-tactic を用いて、PFA の仮定下で任意の Proper ポセットに対するフィルターを構成する標準的な手法を拡張して行われます。

3.2 Magidor の定理の再証明（第 3 節）

定理 3.3 (Magidor): ZFC + PFA は、すべての $\kappa \geq \omega_2$ に対して $\square_{\kappa, \omega_2}$ が成り立つことと矛盾しない。

• 手法: $\square_{\kappa, \lambda}$ を強制する自然なポセット $P_{\square_{\kappa, \lambda}}$ が $\ast$-tactically closed であることを示し（定理 2.6）、それを反復強制（iteration）して得られるポセットが $\ast$-tactically closed であることを示します（補題 2.7）。これにより、PFA を保存しつつ弱な平方原理（Weak Square）を強制できることが示されました。

3.3 組合せ論的性質との同値性（第 4 節）

SCP（Setwise Climbability Property） と SCP$^-$ という新しい組合せ論的性質を導入しました。

• 定理 4.6:
  • SCP は、$\ast$-operational closed なポセットに対する $MA_{\omega_2}$ と同値である。
  • SCP$^-$ は、$\ast$-tactically closed なポセットに対する $MA_{\omega_2}$ と同値である。
• これにより、これらの閉性を持つポセットのクラスが、特定の Martin 公理の断片と密接に関連していることが示されました。

3.4 概念的な差異の明確化（第 5 節・第 6 節）

著者は、「operational closedness」と「$\ast$-tactical closedness」が互いに包含関係にないことを示しました。これは、$MA^+(\omega_1\text{-closed})$（$\omega_1$-closed なポセットに対する Martin 公理の強化版）を仮定したモデルにおいて検証されます。

• 定理 5.1: $MA^+(\omega_1\text{-closed})$ を仮定すると、$\ast$-tactically closed なポセットによる強制は Chang's Conjecture (CC) を保存する。
  • 既知の結果として、operational closed なポセット（例：$P_{SCP}$）は CC を否定する（CP を強制する）ことが知られています。
  • 帰結: operational closedness は $\ast$-tactical closedness を含意しない。
• 定理 6.1: $MA^+(\omega_1\text{-closed})$ を仮定すると、(ω1+1)-operationally closed なポセットによる強制は SCP$^-$ を否定する。
  • 一方、SCP$^-$ は $\ast$-tactically closed なポセット（例：$P_{SCP^-}$）によって強制可能です。
  • 帰結: $\ast$-tactical closedness は operational closedness を含意しない。

4. 結論と意義

1. PFA 保存クラスの拡張: PFA を保存するポセットのクラスとして、$\omega_2$-closedness よりも広く、かつ $(\omega_1+1)$-strategically closedness よりも強い「$\ast$-tactical closedness」および「$\ast$-operational closedness」を特定しました。
2. Magidor の定理の簡明な証明: 既存の複雑な証明を、新しい閉性概念を用いることで再構成・簡略化しました。
3. 概念の独立性の証明: 以前導入した「operational closedness」と今回導入した「$\ast$-tactical closedness」が、PFA の保存という点では同様の役割を果たすものの、論理的には互いに独立である（一方が他方を導かない）ことを、Chang's Conjecture や SCP$^-$ といった具体的な組合せ論的性質の保存・破壊を通じて厳密に示しました。
4. ゲーム理論的アプローチの深化: プレイヤー I が「集合」を選ぶという Banach-Mazur ゲームの新しい変種は、ポセットの閉性を解析する強力な新しいツールとして機能し、強制公理と組合せ論的原理（Square 原理など）の関係を解明する上で重要な役割を果たしました。

この論文は、強制公理の保存性を研究する分野において、戦略的閉性の概念をさらに洗練させ、その限界と可能性を明確に示した重要な貢献です。