[논문 리뷰] Model theory of operator algebras II: Model theory

Ilijas Farah, Bradd Hart외 1명|arXiv (Cornell University)|2010. 04. 06.

Advanced Operator Algebra Research참고 문헌 11인용 수 5

한 줄 요약

이 논문은 메트릭 구조를 위한 수정된 논리 체계를 사용하여 C*-대수와 추적형 바나흐 대수에 대한 모델 이론 프레임워크를 개발한다. 이는 연속체 가설의 부정이 성립할 때, 분리 가능한 메트릭 구조의 초구조(superstructure)가 이sovomic일 조건은 그 이론이 안정적일 때이며, 이는 순서 성질이 없음을 의미한다. 이는 무한차원 C*-대수와 II₁ 요인들에 대해 증명된다.

ABSTRACT

We introduce a version of logic for metric structures suitable for applications to C*-algebras and tracial von Neumann algebras. We also prove a purely model-theoretic result to the effect that the theory of a separable metric structure is stable if and only if all of its ultrapowers associated with nonprincipal ultrafilters on N are isomorphic even when the Continuum Hypothesis fails.

연구 동기 및 목표

• 연산자 대수학, 특히 C*-대수와 추적형 바나흐 대수에 적합한 논리 체계를 개발하기 위해.
• 분리 가능한 메트릭 구조의 맥락에서 안정성의 모델 이론적 특성화를 수립하기 위해.
• 연속체 가설이 초구조의 이sovomic성에 미치는 영향을 명확히 하기 위해.
• 연속체 가설이 성립하지 않을 경우, 순서 성질과 초구조의 비이sovomic성 간의 관계를 조사하기 위해.
• II₁ 요인과 그 초구조에서의 이sovomic성과 임bedding에 대한 향후 결과에 대한 논리적 기초를 제공하기 위해.

제안 방법

• 연산자 대수학의 노름과 추적의 근사성 특성을 다룰 수 있도록 메트릭 구조에 대한 모델 이론을 조정한다.
• 다중 유형의 복잡성을 피하면서도 표현력을 유지하기 위해 함수 기호와 유계된 항을 포함한 논리를 도입한다.
• Łoś의 정리를 적용하여 초구조가 원래 구조와 동일한 이론을 만족함을 보인다.
• 분리 가능한 모델 위에서 유형 공간의 분리 가능성으로 정의된 안정성 개념을 사용한다.
• 순서 성질의 부재(즉, 균일하게 잘 분리된 유한한 사슬이 존재하지 않음)가 안정성을 특징짓는다는 것을 입증한다.
• Σ²₁-절대성 정리와 모델 이론적 절대성을 적용하여 Calkin 대수의 자기동형사상 분석을 수행한다.

실험 결과

연구 질문

• RQ1 연속체 가설이 성립하지 않을 경우, 분리 가능한 메트릭 구조의 초구조가 언제 이sovomic이 되는가?
• RQ2 C*-대수와 II₁ 요인에서 순서 성질을 정의하고 탐지할 수 있는가? 그리고 이는 초구조의 이sovomic성에 어떤 영향을 미치는가?
• RQ3 Calkin 대수에서의 왼쪽 이동자와 그 수반의 이미지가 동일한 유형을 가질 수 있는가?
• RQ4 $M_n(\mathbb{C})$에서 문장의 진리값이 $n \to \infty$로 갈 때 잘 정의된 극한을 갖는가?
• RQ5 ZFC의 모델 간에 Calkin 대수의 연역적 유형이 어느 정도 절대적인가?

주요 결과

• 분리 가능한 메트릭 구조의 이론은, 연속체 가설이 부정되더라도, 그 모든 초구조가 비주기적 초필터를 따라 이sovomic일 때이고, 그 경우에만 안정적이다.
• 무한차원 C*-대수와 II₁ 요인은 순서 성질을 지닌다. 따라서 연속체 가설의 부정이 성립할 경우, 이들의 초구조는 이sovomic이 아니다.
• 형식 I의 추적형 바나흐 대수는 순서 성질을 지니지 않으며, 따라서 연속체 가설이 성립하거나 부정되더라도 그 초구조는 이sovomic이다.
• Calkin 대수에서 왼쪽 이동자와 그 수반의 이미지가 동일한 유형을 가질 조건은 Brown–Douglas–Fillmore 문제의 양의 해답이 존재할 때이다.
• 행렬 대수 $M_n(\mathbb{C})$에 대해, 연속체 가설이 성립할 경우, 모든 추적 초구조가 이sovomic이 되는 부분수열 $m(i)$가 존재한다.
• 모든 초곱이 원소적으로 동치일 때이고, 그 경우에만 $M_n(\mathbb{C})$에서의 임의의 $\mathcal{L}$-문장의 진리값이 $n \to \infty$로 수렴한다.