More on setwise climbability properties

本論文は、ジェンセンの正方形原理の断片として導入された集合的登坂性性質の 2 種類のバリエーションを扱い、前者は既知の原理と等価かつ PFA と両立し、後者は新しい一般化されたバンハッハ・マズルゲームに基づくマルティン型公理として特徴付けられ PFA と両立しないことを示すとともに、PFA のどの程度の断片がこれらと両立するかを研究している。

要約

この論文は、数学の「集合論」という非常に高度な分野、特に「無限大」の構造を研究する分野の話です。専門用語が多くて難しそうですが、**「無限の階段を登るゲーム」や「建築の設計図」**というイメージを使って、わかりやすく解説してみましょう。

1. 全体のテーマ：無限の階段と「登りやすさ」

この論文の中心にあるのは、**「無限の階段（順序数）」**をどうやって登るか、という問題です。
数学者たちは、この階段を登るための「ルール」や「道具」をいくつか持っています。

• Jensen の正方形原理（□）: 階段を登るための「完璧な設計図」のようなもの。これがあると、階段は非常に整然としていますが、登りやすさ（数学的な性質）には制限があります。
• PFA（正しい強制公理）: 「どんな階段でも、ある一定のルールさえ守れば、誰でも登れるはずだ」という強力な仮説です。これは数学の世界では非常に「優しい」ルールですが、完璧な設計図（正方形原理）とは相容れない（両立しない）部分があります。

これまでの研究では、「設計図（正方形原理）」と「登りやすさ（PFA）」の間に、いくつかの「中間的なルール」があることがわかっていました。この論文は、その中間ルールをさらに細かく分類し、新しいルールを 2 つ発見しました。

2. 2 つの新しいルール：「フル」と「エンド拡張」

著者たちは、既存のルールを少し変えて、2 つの新しい「登り方」を提案しました。

① 「フル（Full）」な登り方

• イメージ: 階段を登る際、**「すべての段を完全にカバーして登る」**というルールです。
• 結果: これは実は、すでに知られている「設計図」と「登りやすさ」を組み合わせただけのルールでした。
• PFA との関係: このルールは、PFA（優しいルール）と両立します。つまり、「完璧な設計図の要素」を含みつつも、「誰でも登れる世界」を作ることができます。

② 「エンド拡張（End-extension）」な登り方

• イメージ: 階段を登る際、**「前の人が登った段を、そのまま引き継いで、さらに先へ進む」**というルールです。前の人が置いた足場を壊さず、その上に新しい足場を乗せるイメージです。
• 結果: これは全く新しいルールで、非常に特殊です。
• PFA との関係: これが面白い点ですが、このルールはPFA と両立しません。つまり、「このルールが成立する世界」では、「誰でも登れる（PFA）」という約束は破られてしまいます。
  • しかし、PFA の「一部（断片）」とは両立します。つまり、「完全な PFA」は壊れますが、「PFA の一部」は守られる世界が作れるのです。

3. ゲームで説明する：「バナナ・マズル・ゲーム」

この論文では、上記のルールを「2 人のプレイヤーが遊ぶゲーム」を使って説明しています。

• プレイヤー I（攻める側）: 階段の足場（条件）を置きます。
• プレイヤー II（守る側）: プレイヤー I が置いた足場の上に、さらに新しい足場を乗せて、階段を登り続けます。

このゲームには「ルール」がいくつかあります。

• **古いルール（*変種）**: プレイヤー II が勝つための戦略が存在するかどうか。これに対応するルールは PFA と両立します。
• **新しいルール（**変種）: プレイヤー I が少しだけ「強引に」足場を置くルールに変えました。これに対応するルール（エンド拡張）は、プレイヤー II が勝つのが難しくなり、結果として PFA と両立しなくなります。

重要な発見:
一見すると、古いルールと新しいルールの違いは「足場の置き方の細かな違い」にしか見えません。しかし、この**「わずかな違い」が、世界全体の性質（PFA が守られるかどうか）を大きく変えてしまう**ことがわかりました。

4. 「破壊されない」強さについて

論文の最後の方では、PFA の「強さ」をさらに細かく分析しています。

• 絶対的に正しい（Absolutely Proper）: どんな環境（他のゲーム）に持ち込んでも、ルールが崩れない強さ。
• 破壊されない（Indestructibly Proper）: 特定の攻撃（σ-閉じた強制）を受けても、ルールが崩れない強さ。

新しい「エンド拡張」ルールは、この「絶対的に正しい」というレベルの PFA 部分とは両立しますが、「破壊されない」というレベルの PFA 部分とは両立しないことがわかりました。
つまり、「エンド拡張」ルールは、PFA の「核」までは壊さないが、その「外側の鎧」は壊してしまうような性質を持っているのです。

5. まとめ：この論文は何を言いたいのか？

1. 新しいルールを発見した: 「フル」な登り方と「エンド拡張」な登り方という 2 つの新しい数学的ルールを定義しました。
2. 両立性の違いを明らかにした:
   • 「フル」ルールは、優しい世界（PFA）と仲良くできます。
   • 「エンド拡張」ルールは、優しい世界（PFA）とは喧嘩しますが、PFA の一部とは仲良くできます。
3. ゲームのルールが世界を変える: 2 人のプレイヤーが遊ぶ「ゲームのルール」を少し変えるだけで、数学的な世界の構造（PFA が成り立つかどうか）が劇的に変わることを示しました。

一言で言うと：
「無限の階段を登るゲームのルールを少し変えるだけで、その世界が『優しい（PFA が守られる）』のか『厳しい（PFA が壊れる）』のかが決まってしまう。そして、その『厳しさ』のレベルも、ルールによって細かく調整できることがわかった」という発見です。

これは、数学の基礎となる「無限」の構造が、実は非常に繊細で、小さな変化で大きく揺れ動くことを示す、とても興味深い研究です。

技術概要

論文「MORE ON SETWISE CLIMBABILITY PROPERTIES」の技術的サマリー

著者: Bernhard König, Yasuo Yoshinobu
分野: 集合論（特に強制法、組合せ論的原理、ゲーム理論）

1. 問題意識と背景

この論文は、Jensen のスカラー原理（$\square_\kappa$）の断片として導入された「集合的登坂性（setwise climbability）」の性質、特に $SCL^-$ と $SCL$ に関するさらなる研究を行うものである。

既存の研究において、Jensen のスカラー原理やその断片は、特定の「ゲーム閉性（game closure properties）」を持つ順序集合（poset）に対する Martin 型公理（$MA_\lambda$）として特徴づけられることが示されていた。例えば、$SCL^-$ は $\ast$-変形された一般化 Banach-Mazur ゲームに基づく $\ast$-戦術的閉性（$\ast$-tactically closed）を持つ順序集合に対する $MA_{\omega_2}$ と同値であることが知られていた。

本研究の主な目的は、以下の 2 点にある：

1. 既存の登坂性原理の自然な変種（「完全（full）」変種と「終端拡張（end-extension）」変種）を導入し、それらの性質を解明すること。
2. これらの変種が、Proper Forcing Axiom (PFA) やその断片とどのように整合するか、あるいは矛盾するかを明らかにすること。特に、新しいゲーム変種（$\ast\ast$-変形）を導入することで、PFA の保存性に関する微妙な差異を浮き彫りにする。

2. 手法と主要な定義

2.1. 登坂性原理の変種

著者は $SCL^-$ と $SCL$ の 2 つの自然な変種を定義した。

• 完全変種（Full variations, $SCL^-_f, SCL_f$）:
  既存の定義に「完全性（fullness）」条件、すなわち $\bigcup_{\alpha \in C} C_\alpha = \beta$ を加えたもの。
• 終端拡張変種（End-extension variations, $SCL^-_e, SCLe$）:
  既存の定義における $\subseteq$-増加性を、「終端拡張（end-extending）」性（後続の集合が前の集合の終端に新しい要素を追加する形）に強化したもの。

2.2. 新しいゲーム変種：$\ast\ast$-変形

$SCL^-_e$ と $SCLe$ を特徴づけるために、一般化 Banach-Mazur ゲームの新たな変種 $G^{\ast\ast}(P)$ を導入した。

• $\ast$-変形（既存）: プレイヤー I が各ラウンドで自身の過去のすべての手を含む集合 $A_\alpha$ を選び、そのブール積（infimum）がプレイヤー II の前手より強くなることを要求する。
• $\ast\ast$-変形（新規）: プレイヤー I が $A_\alpha$ を選ぶ際、新たに追加された条件がプレイヤー II の前手より強くなければならない、というより強い制約を課す。
  このわずかなルールの変更が、順序集合の閉性性質に大きな影響を与える。

2.3. 順序集合の閉性性質

• $\ast\ast$-戦術的閉性 / $\ast\ast$-操作的閉性: プレイヤー II が $G^{\ast\ast}(P)$ において勝つための戦略（または操作）が存在すること。
• 絶対的 Properness (Absolutely proper) と 不壊的 Properness (Indestructibly proper):
  • 不壊的 Properness: $\sigma$-閉順序集合 $Q$ に対して $P \times Q$ が Proper であること。
  • 絶対的 Properness: 任意の $\sigma$-閉順序集合 $Q$ による強制拡大 $V^Q$ において $P$ が Proper であること。
    これらの概念を用いて PFA の断片（$MA_{\omega_1}(\text{absolutely proper})$ など）を定義し、分析対象とした。

3. 主要な結果

3.1. 完全変種（Full variations）に関する結果

• 定理 2.2:
  • $SCL^-_f$ は $SCL^- + CL_{\omega_1}$ と同値である。
  • $SCL_f$ は $SCL$ と同値である。
    したがって、これらは既知の原理の組み合わせに過ぎず、新しい原理ではない。
• 整合性: $SCL_f$（および $SCL^-_f$）は PFA と整合的である（定理 2.5）。

3.2. 終端拡張変種（End-extension variations）に関する結果

• 定理 3.7: $SCL^-_e$ は $\ast\ast$-戦術的閉順序集合に対する $MA_{\omega_2}$ と同値であり、$SCLe$ は $\ast\ast$-操作的閉順序集合に対する $MA_{\omega_2}$ と同値である。
• 定理 3.9: $SCL^-_e$ は $AP_{\omega_1}$（Approachability Principle）を意味する。
  • 帰結: $AP_{\omega_1}$ は PFA と矛盾するため、$\ast\ast$-戦術的閉順序集合による強制法は PFA を破棄する可能性がある。これは、既存の $\ast$-操作的閉順序集合（PFA を保存する）との決定的な違いである。
• 定理 3.11: 驚くべきことに、$SCL^-_e$ は $SCLe$（および $SCL$）を意味する。つまり、終端拡張条件を付加したシステムが存在すれば、対応する関数 $f$ も自動的に構成可能である。

3.3. PFA の断片との関係と分離

• 定理 4.3: PFA を仮定すると、任意の $\ast\ast$-戦術的閉順序集合 $P$ による強制拡大において、$MA_{\omega_1}(\text{absolutely proper})$ が成立する。
  • したがって、$SCL^-_e$ は $MA_{\omega_1}(\text{absolutely proper})$ と整合的である。
• 定理 4.12: $MA_{\omega_1}(\text{indestructibly proper})$ は $SCL^-_e$ を否定する。
  • 証明には Moore による Mapping Reflection Principle (MRP) が用いられた。
• 定理 4.16: PFA を仮定すると、$(\omega_1+1)$-強戦略的閉順序集合による強制拡大では $MA_{\omega_1}(\text{indestructibly proper})$ が成立する。
• 相対的強さの分離: これらの結果から、$(\omega_1+1)$-強戦略的閉性は $\ast\ast$-戦術的閉性よりも「強い」性質であることが示唆される（前者は PFA のより強い断片を保存し、後者は $SCL^-_e$ を許容するが、$MA_{\omega_1}(\text{indestructibly proper})$ とは矛盾する）。

4. 結論と意義

この論文は、集合論的強制法とゲーム理論の交差点において以下の重要な貢献を果たしている：

1. 原理の分類と同値性の解明: 登坂性原理の「完全」変種が既知の原理の組み合わせに過ぎないことを示し、一方で「終端拡張」変種が本質的に新しい原理であることを明らかにした。
2. ゲーム変種の導入と性質の差異: $\ast$-変形と $\ast\ast$-変形という、一見類似したゲーム規則のわずかな違いが、強制法の保存性（PFA の破棄の有無）に劇的な影響を与えることを示した。
3. PFA の断片の分離: $MA_{\omega_1}(\text{absolutely proper})$ と $MA_{\omega_1}(\text{indestructibly proper})$ の間に明確な分離が存在し、$SCL^-_e$ が前者とは整合的だが後者とは矛盾することを証明した。これにより、PFA の断片の階層構造がより精緻に理解された。
4. 組合せ論的原理とゲーム閉性の対応: 新たな原理 $SCL^-_e$ が $\ast\ast$-閉性を持つ順序集合に対する Martin 公理として特徴づけられることを示し、組合せ論的原理とゲーム理論的性質の対応関係を深めた。

総じて、この研究は Jensen のスカラー原理の断片と Martin 公理の関係を、より微細なゲーム閉性の観点から再構築し、PFA の保存性に関する境界を明確にする重要な成果である。