[논문 리뷰] Forcing in Ramsey theory

Natasha Dobrinen|arXiv (Cornell University)|2017. 04. 12.

Advanced Topology and Set Theory참고 문헌 16인용 수 7

한 줄 요약

이 논문은 강제법과 라머스 이론 간의 상호작용을 탐구하며, 특히 할퍼너-라우흐리 정리의 하링턴 증명을 통해 강제법 기법이 나무에 대한 새로운 라머스 정리를 가능하게 하고, 이로 인해 라도 그래프와 $\kappa$-유리수와 같은 동형관계적 구조의 유한한 큰 라머스 차수를 확립하는 데 기여한다. 주요 기여는 대규모 기수 가정 하에 밀리켄과 라버의 정리를 기수 카디널에까지 확장한 것으로, 최근 장과 도브린넨–햇허웨이의 결과는 최적의 경계와 일致성 강도를 제공한다.

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$-유리수와 같은 동형관계적 구조의 유한한 큰 라머스 차수를 확립하기 위해.
• 측정 가능한 기수와 약한 컴팩트 기수에서 일반화된 할퍼너-라우흐리 정리의 정확한 일치성 강도를 규명하기 위해.
• 강제법과 대규모 기수 가정을 사용하여 밀리켄과 라버의 고전적 라머스 결과를 기수 설정으로 확장하기 위해.

제안 방법

• 할퍼너-라우흐리 정리를 위한 하링턴의 강제 증명을 기반으로 하여 나무 기반의 라머스 정리를 구성하기 위해.
• 강한 부분나무에 관한 밀리켄의 정리를 적용하여 라도 그래프와 유리수와 같은 구조의 유한한 큰 라머스 차수를 도출하기 위해.
• 코헨 부분집합을 사용한 강제 확장을 통해 측정 가능성을 유지하면서도 기수 카디널에서 할퍼너-라우흐리 정리가 성립하도록 보장하기 위해.
• 대규모 기수 가정(예: $(\kappa+d)$-강한 기수)을 강제법과 결합하여 라머스 정리의 최적 일치성 강도를 달성하기 위해.
• 할퍼너-라우흐리 정리의 비대칭적 및 강력한 형태로의 확장을 포함하여, 특히 어디서든 조밀한 변형을 다루기 위해.
• 최근의 강제 기법([7] 및 [28])을 사용하여, 대규모 기수 가정 하에 $\kappa$-유리수의 곱에서 $(d+1)!$이 색의 최적 수임을 증명하기 위해.

실험 결과

연구 질문

• RQ1 측정 가능한 기수 $\kappa$에서 $d$개의 나무에 대한 할퍼너-라우흐리 정리의 정확한 일치성 강도는 무엇인가요?
• RQ2 측정 가능한 기수에서 $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^{+d}$개의 코헨 부분집합을 추가한 후에도 $\kappa$가 측정 가능하게 유지될 수 있다는 것은 $(\kappa+2d)$-강한 기수 가정 하에서 기수 라머스 정리의 일치성에 기여한다.