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-定常であることを保証するのに十分かどうかを判断することである。

方法論
本論文は、組合せ集合論と強制法（forcing techniques）を組み合わせて用いている。

1. 定義と準備： 著者らは、Cody, Lambie-Hanson & Zhang および Torres によって導入された $P_\kappa\lambda$ 上の $n$-定常集合の再帰的な定義を利用する。集合 $S \subseteq P_\kappa\lambda$ は、$m < n$ である $m$-定常集合を、点 $x \in S$ において（ここで $x \cap \kappa$ は弱非連結基数である）反映（reflect）させるものである。
2. Menas の定理の分析： 著者らは、持ち上げ（lifting）と射影（projection）の下での定常性の振る舞い（Menas の定理）を分析する。彼らは、1-定常集合については、$\kappa$ が Mahlo である場合に定理が成立することを確立している。2-定常集合については、「下向き」の方向（射影が 2-定常性を保存する）を証明するが、「上向き」の方向（持ち上げが 2-定常性を保存する）は失敗し得ることを示す。
3. 強制構成： 主な結果を証明するために、著者らは特定の強制拡張を構築する。この構成は、Apter & Cummings [2] と Sakai [20] の戦略に従い、主に 2 つのステップを含む：
   • ステップ 1： 超コンパクト性を保存しながら、部分的な正方形列 $\square^E_\kappa$ を加える強制（Apter & Cummings）。これにより、特定の集合 $S(\kappa, \kappa^+)$ に対して、$x \cap \kappa$ が非定常的な多くの $x$ に対して可測集合となることが保証される。
   • ステップ 2： すべての可測基数 $\alpha < \kappa$ に対して $S(\alpha, \alpha^+)$ を非定常にするように設計された、Easton サポート反復強制（Shioya [21]）。
   • 保存： 著者らは、得られた反復が $\kappa$ の強コンパクト性を保存することを証明するために、Magidor の議論（Cummings [8] に提示されているもの）を利用する。

主要な貢献と結果

1. 主問題に対する否定的な回答： 主要な結果は、$\kappa$ が強コンパクトであるが、$P_\kappa\lambda$ が任意の $\lambda > \kappa$ に対して自身において 2-定常ではない、というモデルの整合性を確立する主定理である。

   • 主定理： GCH、$\kappa$ が超コンパクトであり、かつ $\kappa$ より大きい可測基数が存在しないと仮定すると、以下の性質を満たす強制拡張が存在する：
     (I) $\kappa$ は強コンパクトである。
     (II) $P_\kappa\lambda$ は、任意の $\lambda > \kappa$ に対して自身において 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$-定常性を意味するが、強コンパクト性は 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 の基礎的な研究の上に構築されている。純粋集合論の範囲外の新しい応用を提案するものではないが、大基数の階層とその組合せ論的帰結を精緻化している。