좋은 스케일과 정사각형 원리의 비콤팩트성

초록

본 논문은 ℵₙ( n<ω )에 대해 □ℵₙ는 성립하지만, ℵ_ω에 대한 약한 정사각형 □*ℵ_ω는 실패하고, ℵ_ω 위의 모든 스케일이 좋은(good) 상태를 유지하는 모델을 구축한다. 이를 위해 대카디널 가정 하에 변형된 Namba forcing의 지배와 근사성질을 정밀히 분석하고, 내부 접근성의 약한 형태가 파괴되는 경우를 보인다.

상세 분석

이 연구는 Cummings‑Foreman‑Magidor가 제시한 “좋은 스케일 → 약한 정사각형 □*κ의 컴팩트성” 결과와는 정반대의 현상을 ℵ_ω에서 구현한다는 점에서 의미가 크다. 기존에는 κ가 강한 극한이며 cf κ>ω인 경우, 모든 스케일이 good이면 □*κ가 따라온다고 알려져 있었다(Lev22). 그러나 저자는 ℵ_ω가 강한 극한이면서도 cf ℵ_ω=ω인 상황에서, 모든 ℵₙ( n<ω )에 대해 □ℵₙ가 유지되지만 □*ℵ_ω는 실패하도록 강제한다. 핵심은 두 단계 강제: 첫 단계는 “좋은 스케일 강제”를 위해 적절한 poset을 사용하고, 두 번째 단계는 변형된 Namba forcing L을 적용해 ℵ_ω를 ω‑공동체로 만들면서도 정밀한 근사성(approximation)과 지배성(dominating) 특성을 확보한다.

L은 함수 d:ω→ω{0,1}에 의해 정의된 트리 기반 forcing으로, 각 레벨 n에서 ℵ_{d(n)}개의 분할을 제공한다. 중요한 점은 분할 집합이 정규 이상(ℵ₁) 이상의 크기를 갖고, 특히 cof ω₁에 집중한다는 점이다. 이는 정확한 상한(exact upper bound, eub) 함수가 cf ω₁을 갖는 좌표에서 안정화되게 하여, Fact 1.7의 “좋은 점” 특성(정확한 상한의 공동성)과 연결된다.

기술적 핵심은 두 가지 레마이다. 첫째, Theorem 2.1은 L∗U(여기서 U는 countably closed forcing) 위에서 ω₁‑길이 함수가 V에 완전히 포함되지 않도록 하는 근사성 결과로, 이는 L이 H(θ) 구조를 파괴하지 않으며, 이후 Levy collapse와 결합해 원하는 대카디널 가정을 유지한다. 둘째, Proposition 2.2는 L∗U에서 이름으로 주어진 작은 순서를 결정할 수 있는 “결정성” 레마로, fusion와 gluing 기법을 이용해 “나쁜” 노드를 제거하고 전체 트리를 정제한다. 이러한 레마들을 통해 L은 stationary subset of ℵ₁을 보존하고, 동시에 ℵ_ω⁺를 ℵ_ω‑크기의 정규카디널로 만들면서도 □*ℵ_ω를 파괴한다.

또한 내부 접근성(sup‑internal approachability) 개념을 도입해, H(ℵ_{ω+1})의 ℵ₁‑크기 부분집합 중 다수가 sup‑internally approachable하지 않음을 보인다. 이는 Krueger가 제시한 “내부 접근성의 다양한 변형”과 연결되며, 본 모델에서 이러한 성질이 실패함을 통해 □*ℵ_ω 실패와의 연관성을 강조한다.

결과적으로, 이 논문은 큰 카디널 가정(κ^{+ω+1}‑supercompact) 아래서 “모든 ℵₙ에 대한 정사각형은 유지되지만, ℵ_ω 위에서는 약한 정사각형이 실패한다”는 일관성을 증명함으로써, 좋은 스케일이 반드시 약한 정사각형을 보장하지 않음을 보여준다. 이는 PCF 이론과 정사각형 원리 사이의 미묘한 상호작용을 새롭게 조명하고, 향후 singular cardinal 연구에 중요한 기술적 도구를 제공한다.