[論文レビュー] Quantifier elimination in C*-algebras

Christopher J. Eagle, Ilijas Farah+2 more|arXiv (Cornell University)|Feb 2, 2015

Advanced Operator Algebra Research参考文献 30被引用数 10

ひとこと要約

この論文は、単位元をもつC*-代数のうち、ℂ、ℂ²、M₂(ℂ)、およびC(Cantor space)の四つに限って、単位元をもつC*-代数の言語において量化子除去が成り立つことを確立している。さらに、C*-代数の理論にはモデル同伴が存在せず、n ≥ 2 に対してMₙ(𝒪ₙ₊₁)の理論は∀∃-公理化可能でないことを、連続論理におけるモデル理論的技法とC*-代数の型の構造的解析を用いて証明している。

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*-代数におけるピーク関数およびボルケーノ関数を構成し、型を区別し、量化子除去の下で矛盾を導く。
• 実階数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)に限る。これは次元と型の解析によって示された。