[논문 리뷰] Quite free complicated abelian group, PCF and Black Boxes

Saharon Shelah|arXiv (Cornell University)|2014. 04. 10.

Advanced Topology and Set Theory참고 문헌 13인용 수 3

한 줄 요약

이 논문은 $\beth_{\theta}$-자유 아벨 군들 중에서 이중이 자명한(즉, $\bbZ$로의 비자명한 준동형사상이 없는) 군들을 $n$차원 블랙박스와 pcf 이론을 사용하여 임의로 큰 기수로 구성한다. $\theta = \theta_0 + \theta_1$ 이며 $\theta_0 = \theta_1 = \theta$ 일 때 $\beth_{\theta}$에서의 자명한 이중 추측의 실패가 일관됨을 증명하며, ZFC에서 $\text{TDC}_{\beth_{\theta}}$는 성립하지만 대량의 기수를 가진 강제 확장에서는 실패함을 보인다.

ABSTRACT

We like to build Abelian groups (or R-modules) which on the one hand are quite free, say $\aleph_{ω+ 1}$-free, and on the other hand, are complicated in suitable sense. We choose as our test problem having no non-trivial homomorphism to $Z$ (known classically for $\aleph_1$-free, recently for $\aleph_n$-free). We succeed to prove the existence of even $\aleph_{ω_1 \cdot n}-$free ones. This requires building n-dimensional black boxes, which are quite free. Thus combinatorics is of self interest and we believe will be useful also for other purposes. On the other hand, modulo suitable large cardinals, we prove that it is consistent that every $\aleph_{ω_1 \cdot ω}$-free Abelian group has non-trivial homomorphisms to Z.

연구 동기 및 목표

• 임의로 큰 $\theta$에 대해 $\beth_{\theta}$-자유 아벨 군들을 이중이 자명한(즉, $\text{Hom}(G, \bbZ) = 0$) 것으로 구성하기.
• 특히 $\beth_{\theta}$-자유도를 높이기 위해 $n$-차원 블랙박스의 사용을 확장하기.
• $\theta = \theta_0 + \theta_1$ 이며 $\theta_0 = \theta_1 = \theta$ 일 때 대량의 기수 가정 하에 $\beth_{\theta}$에서의 자명한 이중 추측의 실패가 일관됨을 증명하기.
• $\theta < \theta_0 + \theta_1$ 일 때 $\text{TDC}_{\beth_{\theta}}$는 ZFC에서 증명 가능하지만 $\theta = \theta_0 + \theta_1$ 일 때는 그렇지 않음을 확립하기.
• 블랙박스와 pcf 이론을 사용한 프레임워크를 제공하여, 링 위의 모듈러 같은 다른 대수적 구조로의 일반화 가능성을 고려하기.

제안 방법

• 구성은 $n$-차원 블랙박스를 사용하여 $\beth_{\theta}$-자유 아벨 군들을 이중이 자명하도록 구성하며, 재귀적 근사와 수정 기법을 활용한다.
• 카디널 산술를 제어하고 필요한 블랙박스 구조의 존재를 보장하기 위해 pcf 이론을 사용한다.
• 일관성 결과를 도출하기 위해 $\text{MA} + 2^{\beth_0}$ 가 크다는 조건을 만족하는 모델을 c.c.c. 강제를 통해 구성한다.
• 증명은 최소 반례 논증을 사용한다: $\beth_{\theta}$-자유 군 $G$와 $\text{Hom}(G, \bbZ) = 0$ 를 가정하면, 비자명한 준동형사를 구성함으로써 모순을 이끌어낸다.
• 공종도 제약 조건이 있는 경우에 모순을 이끌어내기 위해 $\text{Pr}_{\theta, \theta, \theta}$-원리와 정적집합 분석을 활용한다.
• 자유도 수준의 계층적 맥락 $(\theta, \theta)$ 와 증거 $S_{\text{ss}}$ 를 사용하여 부분군을 제어하고 비자명한 준동형사를 피한다.

실험 결과

연구 질문

• RQ1 ZFC에서 임의로 큰 $\theta$에 대해 $\beth_{\theta}$-자유 아벨 군들 중에서 이중이 자명한 군들을 구성할 수 있는가?
• RQ2 $\text{TDC}_{\beth_{\theta}}$ 가 ZFC에서 성립하는 $\theta$ 의 상한은 무엇인가?
• RQ3 모든 $\beth_{\theta}$-자유 아벨 군이 $\bbZ$로의 비자명한 준동형사를 가진다는 것이 일관된가?
• RQ4 $n$-차원 블랙박스를 사용하여 $\beth_{\theta}$-자유 군들을 이중이 자명하도록 확장하여 구성할 수 있는가?
• RQ5 대량의 기수는 $\beth_{\theta}$에서의 자명한 이중 추측의 실패의 일관성에 어떤 역할을 하는가?

주요 결과

• 논문은 $\theta < \theta_0 + \theta_1$ 이며 $\theta_0 = \theta_1 = \theta$ 일 때 모든 $\theta$ 에 대해 $\beth_{\theta}$-자유 아벨 군들이 이중이 자명함을 증명하며, ZFC에서 $\text{TDC}_{\beth_{\theta}}$ 를 확립한다.
• 논문은 pcf 이론적 방법을 사용하여 $\theta = \theta_0 + \theta_1$ 일 때 $\beth_{\theta}$-자유가 되는 $n$-차원 블랙박스를 구성한다.
• 대량의 기수 가정 하에, 모든 $\beth_{\theta}$-자유 아벨 군이 $\bbZ$로의 비자명한 준동형사를 가진다는 것이 일관됨을 보이며, 즉 $\text{NTDC}_{\beth_{\theta}}$ 가 성립함을 보인다.
• 구성은 $\text{TDC}_{\beth_{\theta}}$ 가 ZFC에서 증명될 수 없는 첫 번째 기수로 $\beth_{\theta}$ 를 보여준다.
• 강제 확장에서 모든 $\beth_{\theta}$-자유 아벨 군이 와이트헤드 군임을 증명한다.
• 이 방법은 블랙박스 구성에서 자유도 수준과 기수의 상호작용이 매우 비단순함을 드러내며, 공종도와 정적집합의 정밀한 제어가 필요함을 보여준다.