On a problem of Erdos and Hajnal

기술적 요약: 에르되시와 하이날의 문제에 관하여 (On a Problem of Erdős and Hajnal)

문제 정의
본 논문은 에르되시(Erdős)와 하이날(Hajnal)이 제기한 특정 질문인 일반적인 분할 관계(ordinary partition relation) $\lambda^+ \nrightarrow (\lambda^+, (3)_{\text{cf}(\lambda)})^2$를 다룬다. 이 관계는 $\lambda^+$의 쌍들을 $\text{cf}(\lambda)$개의 색상으로 채색할 때, 단색 삼각형(monochromatic triangle)이 존재하거나 혹은 단색 집합의 크기가 $\lambda^+$인 경우(그래프 이론의 관점에서 독립 집합으로 해석됨)가 존재하지 않음을 의미한다.

에르되시, 하이날, 라도(Rado)는 $\lambda$가 특이 기수(singular cardinal)이고 일반화된 연속체 가설(GCH)이 $\lambda$에서 성립한다면(즉, $2^\lambda = \lambda^+$), 부정적 관계(negative relation) $\lambda^+ \nrightarrow (\lambda^+, (3)_{\text{cf}(\lambda)})^2$가 성립함을 밝혀냈다. 그들은 가정 $2^\lambda = \lambda^+$가 필수적인지를 물었다. 구체적으로 질문 0.2는 GCH를 가정하지 않고 $\aleph_{\omega+1} \nrightarrow (\aleph_{\omega+1}, (3)_{\aleph_0})^2$를 증명할 수 있는지를 묻는다. $2^{\text{cf}(\lambda)} \ge \lambda^+$일 때 부정적 관계가 성립한다는 것은 알려져 있으나, $\lambda$가 강한 극한 특이 기수(strong limit singular cardinal)이면서 $2^\lambda > \lambda^+$인 경우의 관계 상태는 미해결 상태로 남아 있었다.

방법론
저자들은 강한 극한 특이 기수 $\lambda$에 대해 GCH의 실패($2^\lambda > \lambda^+$)와 부정적 관계 $\lambda^+ \nrightarrow (\lambda^+, (3)_{\text{cf}(\lambda)})^2$의 일관성을 입증하기 위해 세 가지 뚜렷한 전략을 사용한다.

1. 단순 pcf 논법 (섹션 1):
   첫 번째 접근법은 가능성적 공액성(possible cofinalities, pcf) 이론을 활용한다. 저자들은 초컴팩트 기수 $\mu$의 존재를 가정하고, $\mu$가 강한 극한 특이 기수가 되는 모델을 포싱(forcing)한다. $\mu$ 아래에 $(\mu_i \mid i \in \theta)$라는 정규 기수의 유계 수열을 구성하며, 이때 $\text{tcf}(\prod \mu_i^+, J_{\text{bd}}^\theta) = \mu^+$를 만족한다. $\mu_i$ 아래에서 GCH(구체적으로 $2^{\mu_i} = \mu_i^+$)를 가정함으로써, 각 $\mu_i^+$에서 부정적 분할 관계를 얻는다. 곱(product) 내의 스케일(scale)과 특정한 채색 구성을 사용하여, 이러한 국소적 부정적 관계를 $\mu^+$로 들어 올린다(lift).

• 한계: 이 방법은 $\mu$가 동일한 공액성을 가진 특이 기수들의 극한이어야 한다. 결과적으로 이 방법은 $\aleph_{\omega+2}$와 같은 기수에는 적용될 수 있으나, 아래에 특이 기수가 없는 $\aleph_\omega$에는 적용되지 않는다.

2. $\aleph_\omega$를 위한 정교한 pcf 논법 (섹션 2):
   $\lambda = \aleph_\omega$의 경우를 다루기 위해, 저자들은 특이 기수의 후속 기수뿐만 아니라 정규 기수(구체적으로 $\aleph_n$)를 다룰 수 있도록 pcf 접근법을 정교화한다.

• 주장 2.1: 정규 기수 $\kappa < \lambda$에 대하여, 채색 $c: [\lambda]^2 \to \{0,1\}$와 $\kappa$-완비 필터 $D$가 존재하여, 1-단색 삼각형이 없고 $D$에 대한 모듈로 $\lambda$ 크기의 0-단색 집합이 없음을 증명한다.
• 포싱 전략: 저자들은 특정 필터 성질을 만족하는 스케일을 구성하기 위해 $(<\lambda)$-전략적으로 닫힌(strategically-closed) 포싱 개념을 활용한다(보조정리 2.3). 그 후, 초컴팩트 기수 $\lambda$를 이 특정 포싱에 대해 불변(indestructible)하게 만들기 위해 레이버(Laver) 스타일의 준비 과정을 사용한다(보조정리 2.5). 마지막으로, $\lambda$를 $\aleph_\omega$로 단일화(singularize)하면서 $2^\lambda$를 $\lambda^{++}$로 증가시키기 위해, 메리모비치(Merimovich)를 따라 인터리브드 콜랩스(interleaved collapses)를 포함한 익스텐더 기반 프리리(Extender-based Prikry) 포싱을 사용한다. 이는 지표 모델의 필요한 pcf 구조와 부정적 관계를 보존한다.

3. 예측 원리 (Stick) (섹션 3):
   세 번째 접근법은 pcf 가정을 "스틱(stick)" 원리인 $\bullet(\lambda)$로 대체한다. 이 원리는 $\lambda^+$의 부분집합들을 "추측"하는 크기 $\lambda$인 $\lambda$의 부분집합 가족이 존재함을 주장한다(즉, 모든 $A \in [\lambda^+]^{\lambda^+}$에 대하여, $B \subseteq A$를 만족하는 가족 내의 $B$가 존재한다).

• 정리 3.3: 저자들은 만약 $\bullet(\lambda)$가 성립한다면, $\lambda^+ \nrightarrow (\lambda^+, (3)_{\text{cf}(\lambda)})^2$가 성립함을 증명한다. 이 증명은 스틱 수열으로부터 유도된 집합 사상(set mappings)과 자유 집합 보조정리(free set lemma, 보조정리 3.2)를 바탕으로 $[\lambda^+]^2$의 분할을 구성한다.
• 제약 사항: 이 증명은 추측 집합의 크기가 $\lambda$여야 한다는 점에 결정적으로 의존한다. 저자들은 $\lambda$가 강한 극한 특이 기수일 때 $\bullet(\lambda)$가 $2^\lambda > \lambda^+$와 일관성을 갖는지 여부는 현재 알려지지 않았다고 언급한다.

주요 기여 및 결과

• $2^\lambda > \lambda^+$와 부정적 관계의 일관성: 본 논문은 $\lambda$가 강한 극한 특이 기수이고 $2^\lambda > \lambda^+$일 때 부정적 분할 관계 $\lambda^+ \nrightarrow (\lambda^+, (3)_{\text{cf}(\lambda)})^2$가 일관적임을 입증한다.
• $\aleph_\omega$에 대한 해결: 저자들은 에르데시-하이날 질문의 첫 번째 무한 특이 기수인 $\lambda = \aleph_\omega$에 대한 결과를 성공적으로 도출하였다(정리 2.2 및 후속 포싱 구성).
• 거대 기수 가정: 일관성 증명은 거대 기수(초컴팩트 또는 강한 기수)의 존재에 의존한다. 구체적으로, $\aleph_\omega$에 대한 결과는 지표 모델의 초컴팩트 기수로부터 유도되었으며, 이는 프리리 유형의 포싱을 통해 단일화된다.
• 불변성(Indestructibility): 저자들은 초컴팩트성이 $(<\lambda)$-전략적으로 닫힌 포싱 개념 하에서도 보존될 수 있음을 보여주는 레이버의 불변성 증명 수정안(보조정리 2.4, 보조정리 2.5)을 제공하며, 이는 pcf 구성을 위해 필수적이다.

의의 및 미해결 질문
본 논문은 에르데시-하이날 정리에서 $2^\lambda = \lambda^+$라는 가정이 부정적 관계의 일관성을 위해 필수적이지 않음을 보여준다. 즉, $\lambda$에서 GCH가 실패하더라도 해당 관계는 성립할 수 있다. 그러나 저자들은 이 관계가 ZFC(즉, 거대 기수 가정 없이)에서 성립하는지는 알지 못한다고 명시적으로 밝힌다.

논문은 다음과 같은 몇 가지 미해결 질문으로 끝을 맺는다:

1. $\lambda$가 강한 극한 특이 기수이고 양의 관계 $\lambda^+ \to (\lambda^+, (3)_{\text{cf}(\lambda)})^2$가 성립하는 것이 일관적인가?
2. $\lambda = \aleph_\omega$에 대해 $2^\lambda > \lambda^+$인 부정적 관계의 정확한 일관성 강도는 무엇인가? (본 논문은 초컴팩트 기수를 사용하지만, SCH의 실패에 관한 기틱(Gitik)의 연구는 $o(\kappa) = \kappa^{++}$만을 필요로 한다.)
3. $\lambda$가 초컴팩트이고, $\bullet(\lambda)$가 성립하며, $2^\lambda > \lambda^+$인 것이 일관적인가? 이는 스틱 기반 접근법을 GCH의 실패와 통합할 것이다.

저자들은 강력한 방법들이 특이 기수의 후속 기수에 대해 존재하지만, GCH의 독립성에 관한 이 특정 문제는 여전히 중요한 도전 과제로 남아 있으며, 본 연구가 이 맥락에서 GCH 실패에 대한 첫 번째 일관성 결과를 제공했다고 강조한다.