[논문 리뷰] A dichotomy for the number of ultrapowers

Ilijas Farah, Saharon Shelah|ArXiv.org|2009. 12. 02.

Advanced Operator Algebra Research참고 문헌 9인용 수 3

한 줄 요약

이 논문은 기수 크기가 연속체 이하인 모델 및 메트릭 구조의 초수에 대한 비동형 초수의 수에 대해 날카로운 이분법을 설정한다: 모든 초수가 동형이거나, 아니면 $2^{2^{\beth_0}}$개의 비동형 초수가 존재한다. 이 결과는 모형 이론적 안정성에 기반하며, 연속체 가설의 실패 하에서 함수해석학과 집합론 기법을 활용하여, 불안정한 이론이 초수 동형 유형에서 최대의 다양성을 초래함을 보여준다.

ABSTRACT

We prove a strong dichotomy for the number of ultrapowers of a given countable model associated with nonprincipal ultrafilters on N. They are either all isomorphic, or else there are $2^{2^{\aleph_0}}$ many nonisomorphic ultrapowers. We prove the analogous result for metric structures, including C*-algebras and II$_1$ factors, as well as their relative commutants and include several applications. We also show that the C*-algebra B(H) always has nonisomorphic relative commutants in its ultrapowers associated with nonprincipal ultrafilters on N.

연구 동기 및 목표

• 주어진 기수 크기가 연속체 이하인 모델 또는 메트릭 구조의 비동형 초수의 가능한 수를 규명하는 것.
• 불안정한 구조의 초수들이 동형에 의해 분류될 수 있는지 여부라는 오랜 문제를 해결하는 것.
• 기존의 이산 일阶논리 모델에 대한 이분법을 C*-대수와 II₁ 인피니티 팩터를 포함한 메트릭 구조로 확장하는 것.
• 특히 $\mathcal{B}(H)$의 초수에서 상대적 중심의 구조를 분석하는 것.
• 연속체 가설 실패 하에서 비동형 초수의 수가 1개 또는 최대값($2^{2^{\beth_0}}$)일 뿐이며, 그 사이의 기수는 존재하지 않는다는 것을 보여주는 것.

제안 방법

• 모형 이론적 안정성 이론을 사용하여 초수의 맥락에서 안정 이론과 불안정 이론을 구분한다.
• 비주어진 초수의 수렴성에 대한 Keisler의 정리를 적용한다: $\mathbb{N}$ 위의 비주어진 초수에 대한 초수는 가산으로 수렴한다.
• 연속체 가설의 실패를 활용하여, 불안정한 구조에 대해 $2^{2^{\beth_0}}$개의 비동형 초수를 구성한다.
• 기존의 함수해석학 및 메트릭 모형 이론 기법을 응용하여 C*-대수와 II₁ 인피니티 팩터와 같은 메트릭 구조를 다룬다.
• $\phi$-체인을 구성하고, 상대적 중심에서의 비동형을 탐지하기 위해 $(\aleph_1, \phi)$-스켈레톤 유사 구조를 활용한다.
• $\mathcal{B}(H)$의 기저를 이용하고, 고유값 $h(j)$를 통해 연산자 $a_h$를 정의하여 초수 내에서의 가환 조건을 분석한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 주어진 모델의 모든 초수가 동형일 수 있는가?
• RQ2 기수 크기가 $\leq 2^{\aleph_0}$인 구조의 비동형 초수의 수가 연속체를 초과할 수 있는가?
• RQ3 비동형 초수의 존재 여부가 구조의 이론의 안정성에 따라 달라지는가?
• RQ4 다른 비주어진 초수에 대해 $\mathcal{B}(H)$의 초수에서 상대적 중심이 비동형 행동을 보이는가?
• RQ5 기수 크기가 $\leq 2^{\aleph_0}$인 모든 구조에 대해, 모든 초수가 동형이거나 $2^{2^{\beth_0}}$개의 비동형 초수가 존재하는 날카로운 이분법이 성립하는가?

주요 결과

• 기수 크기가 $\leq 2^{\aleph_0}$인 임의의 모델 $A$에 대해, 그 이론이 안정적이라면 모든 초수가 동형이며, 否면 $2^{2^{\aleph_0}}$개의 비동형 초수가 존재한다.
• 이와 같은 이분법은 C*-대수와 II₁ 인피니티 팩터를 포함한 기수 밀도가 $\leq 2^{\aleph_0}$인 메트릭 구조에도 동일하게 적용된다.
• C*-대수 $\mathcal{B}(H)$는 $\mathbb{N}$ 위의 서로 다른 비주어진 초수에 대해 상대적 중심이 비동형이 된다.
• 이 증명은 임의의 불안정 이론의 초곱으로 일반화되어, 단일 구조의 초수를 넘어서 적용된다.
• $\mathcal{B}(H)$의 초수에서 상대적 중심 내에 존재하는 $\phi$-체인 중 $(\aleph_1, \phi)$-스켈레톤 유사 구조가 존재함을 보여, 서로 다른 초수에 대해 비동형이 보장된다.
• 이 방법은 초수의 동형 유형 수가 1개 또는 최대값일 뿐이며, 연속체 가설 실패 하에서는 그 사이의 기수는 존재하지 않는다는 것을 보여준다.