[論文レビュー] A dichotomy for the number of ultrapowers

Ilijas Farah, Saharon Shelah|ArXiv.org|Dec 2, 2009

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}}$ のいずれかであることを示すこと。

提案手法

• モデル理論的安定性理論を用い、超積の文脈において安定理論と不安定理論を区別する。
• 非主な $\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)$ の超積における相対可換部分代数に、$(\aleph_1, \phi)$-スケルトンに類似した $\phi$-鎖が存在することは、異なる超フィルター間での非同型性を保証する。
• 本手法により、超積の同型型の数は1つまたは最大の値であり、連続体仮説の不成立下では中間の濃度はあり得ないことが示された。