The number of measures on very large measurable cardinals

Each language version is independently generated for its own context, not a direct translation.

1. 배경: 거대한 도시와 감시 카메라 (측도)

상상해 보세요. 우주는 거대한 도시이고, 그 안에는 **'측정 가능한 도시 (Measurable Cardinals)'**라는 특별한 구역들이 있습니다. 이 구역들은 일반 도시보다 훨씬 크고 강력합니다.

측도 (Normal Measure): 이 구역의 모든 것을 '감시'하고 '기록'하는 감시 카메라라고 생각하세요.
질문: 이 특별한 구역 하나에 감시 카메라는 몇 대나 있을 수 있을까요?
- 과거 수학자들은 "적어도 1 대는 있어야 한다"는 것은 알았지만, "정확히 5 대일 수도 있고, 100 대일 수도 있고, 무한대일 수도 있는가?"를 증명하는 데 큰 어려움을 겪었습니다.

2. 문제: 너무 거대한 도시들은 어떻게 다룰까?

이 연구의 핵심은 **'초대형 도시 (초강대 도시, Supercompact Cardinals)'**가 존재할 때, 그 바로 위에 있는 '측정 가능한 도시'에 감시 카메라를 몇 대 설치할 수 있는지를 결정하는 것입니다.

과거의 방법 (내부 모델 이론): 예전 수학자들은 이 문제를 풀기 위해 '도시의 설계도 (내부 모델)'를 완벽하게 파악해야 했습니다. 하지만 '초대형 도시'는 설계도가 너무 복잡해서 현재 기술로는 그 설계도를 그리는 것이 불가능했습니다. 마치 복잡한 우주선 엔진을 해체하지 않고는 수리할 수 없는 상황과 비슷합니다.
이 논문의 혁신 (울트라파워 공리): 저자들은 "설계도를 다 볼 필요는 없다"고 말합니다. 대신 **'울트라파워 공리 (Ultrapower Axiom, UA)'**라는 새로운 규칙을 활용합니다. 이 규칙은 **"어떤 감시 카메라가 있다면, 그 카메라는 오직 하나뿐이며, 그 카메라의 작동 방식은 매우 단순하다"**는 전제를 깔고 시작합니다.

3. 해결책: '분할 (Splitting)'이라는 마법 도구

저자들이 개발한 핵심 기술은 **'분할 강제법 (Splitting Forcing)'**입니다. 이를 **'감시 카메라 분할기'**라고 부르겠습니다.

상황: 원래 도시에는 감시 카메라가 딱 1 대만 있었습니다.
작동 원리:
1. 이 '분할기'를 작동시키면, 원래의 감시 카메라가 복제되거나 분할됩니다.
2. 수학자들은 이 장치를 이용해 감시 카메라의 개수를 **정확하게 원하는 숫자 (예: 3 대, 100 대, 혹은 1000 만 대)**로 조절할 수 있게 되었습니다.
3. 중요한 점은 이 장치가 도시의 구조 (초대형 도시의 힘) 를 망가뜨리지 않는다는 것입니다. 마치 건물을 해체하지 않고 내부 인테리어만 바꾸는 것과 같습니다.

4. 주요 성과: 무엇을 증명했나?

이 논문을 통해 저자들은 다음과 같은 놀라운 결과를 얻었습니다.

첫 번째 $n$ 개의 도시들:
- 가장 작은 '측정 가능한 도시'부터 $n$ 번째 도시까지, 각각의 도시에 원하는 대로 감시 카메라를 설치할 수 있습니다.
- 예: 1 번째 도시는 5 대, 2 번째 도시는 100 대, 3 번째 도시는 10 대... 이런 식으로 자유롭게 조합 가능합니다.
- 이전에는 이 도시들이 서로 얽혀 있어 하나를 조절하면 다른 것도 망가졌는데, 이제는 독립적으로 조절이 가능해졌습니다.
초대형 도시 위의 첫 번째 도시:
- 거대한 '초강대 도시 (Supercompact)' 바로 위에 있는 '측정 가능한 도시'에도 원하는 수만큼 감시 카메라를 설치할 수 있습니다.
- 이는 과거의 방법으로는 절대 불가능했던 영역입니다.
무한한 도시의 끝자락:
- '초강대 도시'들이 무한히 이어지는 그 끝자락에 있는 도시에도 똑같은 규칙이 적용됩니다.

5. 왜 이것이 중요한가? (일상적인 비유)

이 연구는 수학의 **'건축법'**을 바꾼 것과 같습니다.

과거: "우리가 원하는 건물을 짓기 위해서는, 그 땅의 지하 구조 (내부 모델) 를 완벽하게 알아야만 한다. 하지만 그 땅은 너무 깊고 복잡해서 알 수 없다. 그래서 우리가 원하는 건물을 지을 수 없다."
현재: "지하 구조를 다 알 필요는 없다. 우리가 가진 **'분할기 (Splitting Forcing)'**라는 공구만 있으면, 땅을 파내지 않고도 건물의 방 개수 (감시 카메라 수) 를 마음대로 조절할 수 있다."

6. 결론: 자유로운 설계의 시대

이 논문은 수학자들이 **거대한 수 (Large Cardinals)**의 세계에서도 더 이상 '설계도 부족'에 시달리지 않고, 원하는 대로 수학적 구조를 설계할 수 있음을 보여줍니다.

핵심 메시지: "우리는 더 이상 거대한 수의 세계에서 무력하지 않다. 새로운 도구 (분할 강제법) 와 규칙 (울트라파워 공리) 을 통해, 우리가 원하는 만큼의 '감시 카메라 (측도)'를 설치할 수 있다."

이 연구는 수학의 가장 높은 산 정상에 있는 성을 설계할 때, 더 이상 설계도 (내부 모델) 에 의존하지 않고, **마법 같은 공구 (강제법)**로 원하는 대로 성을 지을 수 있게 된 획기적인 전환점입니다.

Each language version is independently generated for its own context, not a direct translation.

1. 연구 배경 및 문제 제기 (Problem Statement)

측도 가능한 기수 (Measurable Cardinals) 와 정규 측도 (Normal Measures): 측도 가능한 기수 $\kappa$ 는 $\kappa$ -완전 비자명 초필터가 존재하는 기수입니다. 이러한 기수는 '정규 측도'를 가지며, 하나의 측도 가능한 기수가 가질 수 있는 정규 측도의 개수는 집합론의 주요 연구 주제 중 하나입니다.
기존 연구의 한계:
- Friedman-Magidor (2014): 단일 측도 가능한 기수에서 임의의 개수 ( $\lambda \le \kappa^{++}$ ) 의 정규 측도를 가지는 모델을 구성하는 문제를 해결했습니다. 그러나 이 방법은 내부 모델 이론 (Inner Model Theory), 특히 코어 모델 (Core Model) 의 미세 구조 (fine structure) 에 의존합니다.
- Gitik-Kaplan (2017): Prikry-type forcing 반복을 사용하여 초대형 기수 (Supercompact 등) 와 공존하는 측도 가능한 기수의 측도 개수를 제어하려 시도했습니다. 하지만 이 방법은 **반 - 대형 기수 가정 (Anti-large cardinal assumptions, 예: 위쪽에 다른 측도 가능 기수가 없음)**을 필요로 하거나, 두 번째 강한 콤팩트 기수 등 더 높은 위계에서는 적용이 어렵다는 한계가 있었습니다.
핵심 질문: 내부 모델 이론이나 반 - 대형 기수 가정 없이, 매우 큰 기수 (Supercompact, Strongly Compact 등) 와 공존하는 측도 가능한 기수들이 임의의 개수의 정규 측도를 가질 수 있는가? 특히, 초콤팩트 기수 위의 첫 번째 측도 가능 기수나 초콤팩트 기수들의 극한 (limit) 인 측도 가능 기수에서 이가 가능한가?

2. 방법론 (Methodology)

이 논문은 **Ultrapower Axiom (UA)**의 결과 중 하나인 "모든 측도 가능 기수는 Mitchell order 0 인 유일한 정규 측도를 가진다"는 성질을 활용하여 기존 방법론의 한계를 극복했습니다.

Splitting Forcing (분할 강제법):
- 두 번째 저자 (Kaplan) 가 제안한 'Splitting forcing'을 변형하여 사용합니다.
- 이 forcing 은 비정상적 지지 (nonstationary support) 반복 강제법 (iteration) 을 기반으로 하며, 각 단계에서 특정 함수 (canonical function) 를 통해 초필터를 "분할"하여 새로운 정규 측도를 생성합니다.
- 장점: 내부 모델 이론의 미세 구조에 의존하지 않으며, 기존 모델의 대형 기수 구조를 보존하면서 정규 측도의 개수를 정밀하게 제어할 수 있습니다.
Laver Indestructibility (레이버의 파괴 불가능성):
- Supercompact 기수의 파괴 불가능성을 보장하는 Laver 준비 (preparation) forcing 을 비정상적 지지 반복 강제법으로 수정하여 적용했습니다. 이를 통해 forcing 후에도 Supercompact 성질이 유지되도록 했습니다.
Nonreflecting Stationary Sets (비반사적 정적 집합):
- 특정 구간 $(\kappa_0, \kappa)$ 내의 모든 측도 가능 기수 위에 비반사적 정적 집합을 추가하는 forcing 을 사용하여, 해당 구간 내의 다른 측도 가능 기수들을 제거하고 목표 기수만 남게 합니다.
Gap Forcing Theorem (Hamkins):
- forcing 이 특정 갭 (gap) 을 가진다는 사실을 이용하여, forcing 후에도 기존 모델의 구조가 어떻게 유지되는지 (특히 HOD 와의 관계) 를 분석합니다.

3. 주요 결과 (Key Results)

논문은 다음과 같은 주요 정리들을 증명했습니다.

Theorem 3.1: 첫 번째 $n$ 개의 측도 가능 기수

내용: $n$ 개의 초콤팩트 기수 $\langle \kappa_i : i < n \rangle$ 가 존재하고, 그 위에 다른 측도 가능 기수가 없는 가정 하에, 각 $\kappa_i$ 가 임의의 개수 $\tau_i \le \kappa_i^{++}$ 의 정규 측도를 가지도록 할 수 있습니다.
의의: Kimchi-Magidor 정리 (첫 $n$ 개 측도 가능 기수가 Strongly Compact 가 될 수 있음) 와 정규 측도 개수 제어 기술을 결합하여, 각 기수가 독립적으로 원하는 수의 측도를 가지는 모델을 구성했습니다.

Theorem 3.2: 초콤팩트 기수 위의 첫 번째 측도 가능 기수

내용: Supercompact 기수 $\kappa$ 가 있고, 그 위의 첫 번째 측도 가능 기수 $\lambda$ 가 유일한 정규 측도를 가진다고 가정할 때, $\lambda$ 가 임의의 개수 $\tau \le \lambda^{++}$ 의 정규 측도를 가지도록 할 수 있습니다.
의의: Friedman-Magidor 방법이 적용되지 않는 영역 (내부 모델 $L[U]$ 바깥) 에서도 측도 개수 제어가 가능함을 보였습니다.

Theorem 3.3: 초콤팩트 기수들의 극한인 첫 번째 측도 가능 기수

내용: 초콤팩트 (또는 Strong) 기수들의 극한인 첫 번째 측도 가능 기수 $\kappa$ 가 유일한 정규 측도를 가진다면, $\kappa$ 가 임의의 개수 $\tau \le \kappa^{++}$ 의 정규 측도를 가지면서도 여전히 초콤팩트 기수들의 극한으로 남을 수 있습니다.
의의: UA 하에서 Strongly Compact 와 Supercompact 를 구분하는 유일한 방법 (Measurable limit of supercompacts) 인 이 기수에서도 측도 개수를 임의로 조절할 수 있음을 보였습니다.

Theorem 3.5: Goldberg-Woodin 정리의 강화

내용: UA 와 Supercompact 기수의 일관성만 가정하고, 반 - 대형 기수 가정 없이, 첫 번째 측도 가능 기수가 Strongly Compact 이면서 임의의 개수의 정규 측도를 가지는 모델을 구성했습니다.
의의: 기존 Gitik-Kaplan 연구의 반 - 대형 기수 가정을 제거하고, Goldberg-Woodin 의 unpublished 결과를 일반화했습니다.

Theorem 4.4: HOD 가설과 초콤팩트 기수

내용: Woodin 의 HOD 가설 하에서, 첫 번째 Supercompact 기수 $\kappa$ 가 HOD 내에서는 Strongly Compact 이면서 정규 측도를 단 하나만 가지도록 할 수 있습니다.
의의: $V$ 와 HOD 간의 괴리 (disagreement) 를 더욱 극대화했습니다. 이전 연구에서는 $\kappa$ 가 HOD 에서 Strongly Compact 였지만 $2^\kappa$-supercompact 가 아니라는 것이 증명되었으나, 이번 연구에서는 HOD 내에서의 정규 측도 개수까지 1 로 고정하여 더 강력한 반례를 제시했습니다.

4. 기술적 기여 및 의의 (Significance)

내부 모델 이론 의존성 탈피: Friedman-Magidor 의 핵심적인 방법론이었던 코어 모델 (Core Model) 과 미세 구조에 대한 의존성을 완전히 제거했습니다. 이는 Ultra-large cardinals (Supercompact 이상) 에 대한 연구에서 내부 모델 이론이 아직 완성되지 않았을 때, 강제법 (Forcing) 만으로 강력한 결과를 얻을 수 있음을 보여줍니다.
Splitting Forcing 의 확장: 기존에 단일 기수나 특정 조건 하에서만 적용되던 Splitting forcing 을, 복잡한 반복 강제법 (Nonstationary support iteration) 과 결합하여 매우 큰 기수들의 위계 구조를 보존하면서 적용할 수 있음을 입증했습니다.
측도 개수 제어의 일반화: Friedman-Magidor 가 해결한 "단일 기수"의 문제를 넘어, "여러 기수", "초콤팩트 기수 위의 기수", "초콤팩트 기수들의 극한" 등 다양한 대형 기수 위계에서 정규 측도의 개수를 임의로 지정할 수 있음을 보였습니다.
HOD 와 V 의 관계 심화: Woodin 의 HOD 가설 하에서 $V$ 와 HOD 가 얼마나 다른 구조를 가질 수 있는지에 대한 새로운 증거를 제시했습니다. 특히, 첫 번째 Supercompact 기수가 HOD 내에서는 Strongly Compact 이지만 Supercompact 가 아니며, 정규 측도도 하나만 가진다는 구성은 HOD 의 구조적 한계를 명확히 합니다.

5. 결론

이 논문은 매우 큰 기수 (Very Large Cardinals) 의 세계에서도 정규 측도의 개수를 임의로 조절할 수 있음을 증명했습니다. 이를 위해 **Ultrapower Axiom (UA)**의 약한 결과를 활용하고, Splitting Forcing과 Nonstationary Support Iteration을 결합한 새로운 강제법 기법을 개발했습니다. 이 연구는 내부 모델 이론의 부재 상황에서도 대형 기수 이론의 중요한 문제들을 해결할 수 있는 강력한 대안적 접근법을 제시하며, 집합론의 대형 기수 위계와 HOD 구조에 대한 이해를 한 단계 진전시켰습니다.