[論文レビュー] Lightface mice with finitely many Woodin cardinals from optimal determinacy hypotheses

Yizheng Zhu|arXiv (Cornell University)|Oct 7, 2016

Advanced Topology and Set Theory参考文献 9被引用数 4

ひとこと要約

この論文は、最適な決定性仮説——特に、太字の $Π^1_{2n+1}$-決定性および軽量の $Δ^1_{2n+2}$-決定性——と、すべての自然数 $n$ に対して $(\omega, \omega_1)$-反復可能 $M_{2n+1}^\#$ の存在との同値性を確立する。$M_1^\#$ における「悪い系列の議論」を、射影階層の下位レベルから上位レベルへ一般化するために、$\Pi^1_3$-反復可能なマウスと $L[T_3]$ の不変量を導入し、奇数 $n$ に対する予想を解決するとともに、決定性から $M_3^\#$ の存在を証明する。

ABSTRACT

The determinacy of lightface $Δ^1_{2n+2}$ and boldface $\boldsymbolΠ^1_{2n+1}$ sets implies the existence of an $(ω, ω_1)$-iterable $M_{2n+1}^{\#}$.

研究の動機と目的

• 最適な決定性原理と、有限個のウッドイン基数をもつ反復可能なマウスの存在との同値性を確立すること。
• 奇数 $n$ に対して、[10, 節 4.2] における $M_{2n+1}^\#$ の存在に関する予想を、最適な決定性仮説の下で解決すること。
• $M_1^\#$ における「悪い系列の議論」を、特に $n=1$ の場合に射影階層の高次レベルへ一般化すること。
• $L$ の高次アナログにおける複雑さのシフトを扱うための枠組みを構築し、正しい基本構造として $M_2$ の代わりに $L[T_3]$ を採用すること。
• 決定性の文脈において、$\Pi^1_3$-反復可能なマウスが、$L$ の可算初期部分集合の高次アナログとして適切であることを示すこと。

提案手法

• 高次レベルへの「悪い系列の議論」の一般化のため、$\Pi^1_3$-反復可能なマウス上に反復木のスタックを構成し、分岐の挙動を分析する。
• 可算初期部分集合の高次アナログとして、$\Pi^1_3$-反復可能な $x$-マウスを用い、Dodd-Jensen の前順序 $\leq_{DJ(x)}$ を導入する。
• $\Delta^1_2$-決定性の下で、Silverの二分法と $Q$-理論を用いて、Dodd-Jensen ランクの $\Sigma^1_4$-絶対性を適用する。
• 各分岐 $b_i$ が $\cdot^{3\#}_i$ を尊重するように、分岐の列から極限分岐 $b = \bigcup_i b_i$ を構成し、直接極限における共終性と同型性を保証する。
• canonical 写像 $\tau: \mathcal{R} \to \mathcal{M}_b^\mathcal{T}$ を用いて、$b$ が共終分岐であることを示し、$\mathcal{M}_b^\mathcal{T} = \mathcal{R}$ かつ $b$ が $\cdot^{3\#}_n$ を尊重することを導く。
• [2] の技術を応用し、$M_2^\#(\mathcal{Q})$ が $(\omega, \omega_1)$-反復可能であることを結論づけ、$\Sigma_1$-スコーラー核をとることで、$(\omega, \omega_1)$-反復可能な $M_3^\#$ を得る。

実験結果

リサーチクエスチョン

• RQ1 $\boldsymbol{\Pi}^1_{2n+1}$-決定性および $\Delta^1_{2n+2}$-決定性は、すべての $n \in \mathbb{N}$ に対して $(\omega, \omega_1)$-反復可能な $M_{2n+1}^\#$ の存在を含意するか？
• RQ2 $M_1^\#$ に用いられた「悪い系列の議論」は、$M_3^\#$ のような高次レベルへ一般化可能か？
• RQ3 射影階層における $L$ の正しい高次アナログは何か？ そして $M_2^\#$ とどのように関係するか？
• RQ4 $\Pi^1_3$-反復可能なマウスおよびその Dodd-Jensen ランクは、$M_2^\#$ および $M_3^\#$ の構成とどのように関係するか？
• RQ5 $\Delta^1_2$-決定性の下で、異なる実数上での $\Pi^1_3$-反復可能なマウスの比較は、$\Sigma^1_4$-定義可能な関係によって絶対的に行えるか？

主な発見

• この論文は、すべての $n \in \mathbb{N}$ に対して、$\boldsymbol{\Pi}^1_{2n+1}$-決定性と $\Delta^1_{2n+2}$-決定性が、$(\omega, \omega_1)$-反復可能な $M_{2n+1}^\#$ の存在と同値であることを証明する。
• 定理 1.1 の $2 \Rightarrow 3$ の方向が $n > 0$ に対して確立され、[10, 節 4.2] の予想が奇数 $n$ に対して完全に解決された。
• 特に $n=1$ の場合、$M_2^\#(\mathcal{Q})$ の $\Sigma_1$-スコーラー核をとることで、$(\omega, \omega_1)$-反復可能な $M_3^\#$ が得られる。ここで $\mathcal{Q}$ は $\Pi^1_3$-反復可能なマウスの直接極限である。
• 実数 $x$ をコードとする $\Pi^1_3$-反復可能な $x$-マウスの集合は、$x$ に関して一様に $\Pi^1_3(x)$ であり、Dodd-Jensen ランク $\|\mathcal{M}\|_{DJ(x)}$ は $\Delta^1_3(x)$-定義可能である。
• $\Delta^1_2$-決定性の下で、異なる実数上での $\Pi^1_3$-反復可能なマウスの比較は $\Sigma^1_4$-絶対的であり、構成の堅牢性を保証する。
• 証明により、$M_2^\#(\mathcal{Q})$ は、上位の $M_2^\#$-成分を正しく移動させ、ドロップにおいて $\Pi^1_3$-反復可能性を保つ部分 $(\omega, \omega_1)$-反復戦略 $\Gamma$ をもつことが示された。