[論文レビュー] The Countable Chain Condition for C*-Algebras

Shuhei Masumoto|arXiv (Cornell University)|May 5, 2014

Advanced Operator Algebra Research参考文献 4被引用数 3

ひとこと要約

この論文は、直交するイデアルを用いてC*-代数における可算鎖条件（CCC）を導入し、位相的CCCを一般化する。最小テンソル積におけるCCCの保存性がZFCから独立であることを証明しており、マーティンの公理がCCCの保存性を示唆する一方、その否定は反例をもたらす。

ABSTRACT

In this paper, we introduce the countable chain condition for C*-algebras and study its fundamental properties. We show independence from ZFC of the statement that this condition is preserved under the tensor products of C*-algebras.

研究の動機と目的

• 位相的可算鎖条件（CCC）を直交するイデアルを用いてC*-代数へ一般化すること。
• C*-代数の最小テンソル積におけるCCC性が保存されるかどうかを調査すること。
• この保存性に関する集合論的独立性をZFCから特定すること。
• マーティンの公理とシューリン予想が、テンソル積におけるCCCの保存性を確立または反証する役割を果たすかを検討すること。

提案手法

• C*-代数におけるCCCを、非ゼロで互いに直交する理想の非可算族が存在しないこととして定義する。
• C₀(X)におけるゲルファンド＝ナイマーク双対性を用いて、位相的CCCとC*-代数的CCCの同値性を確立する。
• マーティンの公理（MA(ω₁)）を用いて、理想の半順序集合上のフィルターを構成し、有限交叉性を持つ非可算族を保証する。
• 補題2.6および帰納的極限の性質を適用して、MA(ω₁)のもとで特定の理想の稠密性を示す。
• AとBがCCCをもつならば、MA(ω₁)のもとでA⊗BがCCCをもつことを、有限交叉性と理想の包含関係を用いて証明する。
• シューリン予想の否定が、テンソル積におけるCCCの保存性に対する反例をもたらすことを示すことにより、ZFCからの独立性を示す。

実験結果

リサーチクエスチョン

• RQ1 直交するイデアルを用いて定義されたC*-代数における可算鎖条件（CCC）は、位相的CCCの自然な一般化であるか？
• RQ2 ユニタリなCCCをもつ二つのC*-代数の最小テンソル積は、必然的にCCCをもつのか？
• RQ3 ZFC内で、CCCのテンソル積における保存性を証明または反証できるか？
• RQ4 マーティンの公理は、テンソル積におけるCCCの保存性を保証するために果たす役割は何か？
• RQ5 非最小テンソル積においてもCCC性は保存されるのか？また、商写像の核はこの性質にどのように影響するか？

主な発見

• C*-代数におけるCCCは、非ゼロで互いに直交する理想の非可算族が存在しないこととして定義され、位相的CCCを一般化する。
• C*-代数がCCCをもつことと、a_λ A a_μ = 0（λ ≠ μ）を満たす非ゼロ元の非可算族{a_λ}が存在しないことは同値である。
• マーティンの公理（MA(ω₁)）は、任意のユニタリなCCCをもつ二つのC*-代数の最小テンソル積がCCCをもつことを示唆する。
• CCCをもつC*-代数のテンソル積がCCCを保存するという主張は、ZFCから独立である。これは、主張とその否定の両方がZFC内で整合的であることを示している。
• シューリン予想の否定は、テンソル積におけるCCCの保存性に対する反例の存在をもたらす。
• ヴォイナム代数がCCCをもつことと、その中心がσ-有限であることとは同値であり、このような代数はテンソル積においてCCCを保存する。