[논문 리뷰] Quantifier elimination in C*-algebras

Christopher J. Eagle, Ilijas Farah외 2명|arXiv (Cornell University)|2015. 02. 02.

Advanced Operator Algebra Research참고 문헌 30인용 수 10

한 줄 요약

이 논문은 단위 원소를 가진 C*-대수들 중에서, 표준적인 단위 원소를 가진 C*-대수의 언어에서 양자화자 제거를 허용하는 것은 ℂ, ℂ², M₂(ℂ), 그리고 C(Cantor space)뿐임을 증명한다. 또한 연속 논리의 모델이론적 기법과 C*-대수 유형의 구조적 분석을 통해, C*-대수 이론은 모델 동반자가 없으며, Mₙ(𝒪ₙ₊₁)의 이론은 n ≥ 2일 때 ∀∃-공리화가 되지 않음을 증명한다.

ABSTRACT

The only C*-algebras that admit elimination of quantifiers in continuous logic are $\mathbb{C}, \mathbb{C}^2$, $C($Cantor space$)$ and $M_2(\mathbb{C})$. We also prove that the theory of C*-algebras does not have model companion and show that the theory of $M_n(\mathcal {O_{n+1}})$ is not $\forall\exists$-axiomatizable for any $n\geq 2$.

연구 동기 및 목표

• 단위 원소를 가진 C*-대수의 언어에서 양자화자 제거를 허용하는 단위 원소를 가진 C*-대수를 규명하는 것.
• 특히 모델 동반자성과 ∀∃-공리화 가능성에 대해 C*-대수 이론의 모델이론적 성질을 조사하는 것.
• 연속 논리에서의 양자화자 없는 공식을 통해 C*-대수 내의 정의 가능 대상을 특성화하는 것.
• 특히 가환 및 유한 차원 사례에서, C*-대수 위에 양자화자 제거가 미치는 구조적 제약 조건을 명확히 하는 것.

제안 방법

• 연속 논리와 메트릭 구조의 프레임워크를 사용하여 C*-대수 내의 정의 가능 집합을 분석하는 것.
• 양자화자 제거를 위한 테스트로, 초등적 포함과 초등적 초곱을 활용: 이론이 양자화자 제거를 갖는 것은 초등적 포함이 모든 공식을 보존할 때에 한하여 성립한다.
• 함수 해석학과 유형 분석을 활용하여, 양자화자 없는 유형을 통한 원소 간 비교를 수행하는 것.
• 가환 C*-대수에서 피크 함수와 화산 함수를 구성하여 유형을 구분하고, 양자화자 제거 하에서 모순을 이끌어내는 것.
• 실수 랭크 0과 위상적 성질(예: 연속체의 분해 불가능성)을 분석하여, 양자화자 제거를 갖는 가능한 C*-대수를 제약하는 것.
• 초곱과 유형 공간을 활용한 모델이론적 추론을 통해, 공리화 불가능성과 모델 동반자의 부재를 증명하는 것.

실험 결과

연구 질문

• RQ1 단위 원소를 가진 C*-대수의 언어에서 양자화자 제거를 갖는 단위 원소를 가진 C*-대수는 무엇인가?
• RQ2 C*-대수 이론은 모델 동반자를 갖는가?
• RQ3 n ≥ 2일 때, Mₙ(𝒪ₙ₊₁)의 이론은 ∀∃-공리화가 가능한가?
• RQ4 양자화자 제거를 갖는 C*-대수를 특성화하는 위상적 및 대수적 성질은 무엇인가?
• RQ5 가환 C*-대수에서 피크 함수와 화산 함수는 양자화자 제거의 존재를 어떻게 제약하는가?

주요 결과

• 단위 원소를 가진 C*-대수의 언어에서 양자화자 제거를 갖는 유일한 단위 원소를 가진 C*-대수들은 ℂ, ℂ², M₂(ℂ), 그리고 C(Cantor space)이다.
• C*-대수 이론은 모델 동반자를 갖지 않으며, 일부 공식을 보존하지 못하는 초등적 포함을 구성함으로써 이를 증명한다.
• n ≥ 2일 때, Mₙ(𝒪ₙ₊₁)의 이론은 특정한 전칭-존재적 정의 가능성 조건의 실패로 인해 ∀∃-공리화가 되지 않는다.
• 단위 원소를 가진 경우, ℂ, ℂ², M₂(ℂ), C(Cantor space)의 이론들만이 양자화자 제거를 갖는다.
• 비단위 원소를 가진 C*-대수의 경우, 비가환 C*-대수 중에서는 단위 원소 기호가 없는 언어에서 양자화자 제거를 갖는 것이 없다.
• 양자화자 제거를 갖는 가환 실수 랭크 0 C*-대수들은 차원과 유형 분석을 통해 ℂ, ℂ², C(Cantor space)뿐임을 밝혀냈다.