[论文解读] Forcing in Ramsey theory

Natasha Dobrinen|arXiv (Cornell University)|Apr 12, 2017

Advanced Topology and Set Theory参考文献 16被引用 7

一句话总结

本文探討力迫與拉姆齊理論之間的相互作用，專注於力迫技術（特別是哈靈頓對哈爾珀恩-勞赫利定理的證明）如何促成樹結構上的新拉姆齊定理，進而確立同構關係結構（如拉多圖與$κ$-有理數）的有限大拉姆齊度。主要貢獻是在大基數假設下，將米利肯與拉弗的定理推廣至不可數基數，近期張與多布里寧–哈薩韋的研究提供了最佳界限與一致性強度。

ABSTRACT

Ramsey theory and forcing have a symbiotic relationship. At the RIMS Symposium on Infinite Combinatorics and Forcing Theory in 2016, the author gave three tutorials on Ramsey theory in forcing. The first two tutorials concentrated on forcings which contain dense subsets forming topological Ramsey spaces. These forcings motivated the development of new Ramsey theory, which then was applied to the generic ultrafilters to obtain the precise structure Rudin-Keisler and Tukey orders below such ultrafilters. The content of the first two tutorials has appeared in an expository article submitted to the SEALS 2016 Proceedings. The third tutorial concentrated on uses of forcing to prove Ramsey theorems for trees which are applied to determine big Ramsey degrees of homogeneous relational structures. This is the focus of this paper.

研究动机与目标

• 探討力迫在證明樹結構拉姆齊定理中的角色，特別是在不可數基數的脈絡下。
• 確立如通用三角形自由圖與$κ$-有理數等同構關係結構的有限大拉姆齊度。
• 確定在可測基數與弱緊基數上推廣的哈爾珀恩-勞赫利定理的一致性強度。
• 利用力迫與大基數假設，將經典拉姆齊結果（如米利肯與拉弗的結果）推廣至不可數設定。

提出的方法

• 以哈靈頓對哈爾珀恩-勞赫利定理的力迫證明為基礎，構造基於樹的拉姆齊定理。
• 應用米利肯關於強子樹的定理，推導出拉多圖與有理數等結構的有限大拉姆齊度。
• 在添加科亨子集的力迫擴張中應用，以保持可測性，同時確保哈爾珀恩-勞赫利定理在不可數基數上成立。
• 結合大基數假設（如$(\kappa+d)$-強基數）與力迫，以達成拉姆齊定理的最佳一致性強度。
• 將結果推廣至哈爾珀恩-勞赫利定理的非對稱與更強形式，包括「某處稠密」變體。
• 利用[7]與[28]中的近期力迫技術，證明在特定大基數假設下，$κ$-有理數的乘積中$(d+1)!$為顏色數的最佳數量。

实验结果

研究问题

• RQ1 在可測基數$\kappa$上，$d$棵樹的哈爾珀恩-勞赫利定理的精確一致性強度為何？
• RQ2 是否可從$(\kappa+d)$-強基數證明在可測基數$\kappa$上$ d $棵樹的哈爾珀恩-勞赫利定理，或需更強的假設？
• RQ3 在ZFC中是否對所有強不可及基數$\kappa$滿足$2 \leq \delta < \kappa$，有HL$(1,\delta,\kappa)$成立？
• RQ4 張定理29的結論是否可從$(\kappa+d)$-強基數推導，而非更強的分割假設？
• RQ5 在不可數基數上，「某處稠密」哈爾珀恩-勞赫利定理與標準版本之間的關係為何？

主要发现

• 在$(\kappa+d)$-強基數假設下，若$\kappa$在力迫擴張中仍保持可測，則在可測基數$\kappa$上$ d $棵樹的哈爾珀恩-勞赫利定理成立。
• 透過結合力迫與大基數技術，顯示在可測基數$\kappa$上HL$(d,\sigma,\kappa)$的一致性強度在$(\kappa+d)$-強基數下為最佳。
• 張證明：若$\kappa$為可測基數且$\lambda \rightarrow (\kappa)^2_{2^\kappa}$，則$\mathbb{Q}_\kappa$的$ d $個副本的乘積在少於$\kappa$種顏色的著色中，最多有$(d+1)!$種顏色。
• 張結果中的界限$(d+1)!$為最佳，如[28]中明確構造所示。
• 在弱緊基數上，「某處稠密」哈爾珀恩-勞赫利定理SDHL$(\delta,\sigma,\kappa)$與標準版本HL$(\delta,\sigma,\kappa)$等價。
• 在$(\kappa+2d)$-強基數假設下，$\kappa$在添加$\kappa^{+d}$個科亨子集後仍保持可測，這支持不可數拉姆齊定理的一致性。