巨大基数の仮定から導く共通近傍と分割原理
Stationary Common Neighbors and Partition Hypotheses
この論文をやさしく読む
ひとことで言うと
巨大基数を仮定した集合論で、彩色グラフの共通近傍や分割仮説がいつ成り立つかを証明した研究です。
何に役立つ？
定常集合、分割仮説、Tukey順序の関係と、それらに必要な無矛盾性の強さを調べる材料になります。
この研究の面白いところ
彩色されたグラフから定常な共通近傍を得る結果と、準順序間で分割仮説を移す結果を、既存の複数の問いへの答えとして示しています。
どこまで分かった？
結果は要旨に示された巨大基数の崩壊や有向準順序の条件に依存する集合論上の定理です。一般の任意の彩色や順序に無条件で成り立つとは述べていません。
v2のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
T^{κ⁺}_{ω₁} ラムゼー基数 κ を ω₂ へ崩壊させると、ω₂ の二元部分集合のどの可算彩色についても、定常集合 X と一つの色 i が存在し、X のどの有限部分集合も、X 内に色 i の共通近傍を定常個持つことを示す。X 上の色 i のグラフは、非定常集合をどのように削除しても直径が高々2となり、Hrušák、Shelah、Zhangの問いに答える。弱コンパクト基数を崩壊させると分割仮説 PH₁(ω₂) が得られ、既知の下界と合わせて、その無矛盾性の強さを厳密に決定する。両結果では局所的な種イデアルを用いる。さらに、空でない有向準順序 P、Q について P≤ₜQ が成り立つなら、どの自然数 n と基数 λ に対しても PHₙ(Q,λ) から PHₙ(P,λ) が従うことを証明し、Bannister、Bergfalk、Moore、TodorcevicのTukey転送に関する問いに答える。最後に、整数 a≥2 と b≥a+3 の各組について、二つの弱コンパクト基数から得られる積に関する補題により、P≤ₜωₐ×ωᵦ を満たす全ての空でない有向準順序 P に対する PH₁(P) の無矛盾性を示す。
v2の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-19（UTC）
- 最新改訂
- 2026-09-23 · v2
- 査読・掲載
- 査読状況未確認
更新履歴
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Collapsing a $T^{\kappa^+}_{\omega_1}$-Ramsey cardinal $\kappa$ to $\omega_2$ gives, for every countable coloring of $[\omega_2]^2$, a stationary set $X$ and a color $i$ such that every finite subset of $X$ has stationarily many color-$i$ common neighbors in $X$. The color-$i$ graph on $X$ has diameter at most two after any nonstationary deletion, answering a question of Hrušák--Shelah--Zhang. Collapsing a weakly compact cardinal gives $\operatorname{PH}_1(\omega_2)$ and, together with the known lower bound, determines its exact consistency strength. Both results use local seed ideals. We also prove that $\operatorname{PH}_n(Q,\lambda)\Rightarrow\operatorname{PH}_n(P,\lambda)$ whenever $P\leq_TQ$ are nonempty directed quasi-orders, for every $n<\omega$ and cardinal $\lambda$, answering the Tukey-transfer question of Bannister--Bergfalk--Moore--Todorcevic. Finally, for each pair of integers $a\geq2$ and $b\geq a+3$, a product lemma gives, from two weakly compact cardinals, the consistency of $\operatorname{PH}_1(P)$ for every nonempty directed quasi-order $P\leq_T\omega_a\times\omega_b$.
著者のコメント
22 pages. Weakened the large-cardinal hypothesis for the stationary theorem, determined the exact consistency strength of $\mathrm{PH}_1(\omega_2)$, and added a product lemma and applications
arXiv ID: 2609.25092 ／ 要約の誤りについて