[論文レビュー] Trace spaces of simple nuclear C*-algebras with finite-dimensional extreme boundary

Yasuhiko Sato|arXiv (Cornell University)|Sep 13, 2012

Advanced Operator Algebra Research参考文献 16被引用数 32

ひとこと要約

この論文は、トレース空間の極限境界が有限次元的コンパクトな単位的分離可能な単純無限次元的核的C*-代数について、トレース上の一様位相によって定義される中心列代数への行列代数のユニタリ埋め込みの存在を確立する。主な応用として、このような代数が厳密比較を満たす場合、ジャング＝スー代数をテンソル積で吸収することを示し、C*-代数理論における構造的分類問題を解決する。

ABSTRACT

Let A be a unital separable simple infinite-dimensional nuclear C*-algebra with at least one tracial state. We prove that if the trace space of A has compact finite-dimensional extreme boundary then there exist unital embeddings of matrix algebras into a certain central sequence algebra of A which is determined by the uniform topology on the trace space. As an application, it is shown that if furthermore A has strict comparison then A absorbs the Jiang-Su algebra tensorially.

研究の動機と目的

• C*-代数Aのトレース空間の制約の下で、特定の中心列代数への行列代数のユニタリ埋め込みの存在を確立すること。
• 単純核的C*-代数におけるトレース空間T(A)の極限境界がコンパクトかつ有限次元的であるという性質の構造的意味を調査すること。
• 厳密比較を満たす場合、このようなC*-代数がジャング＝スー代数をテンソル積で吸収することを示すこと。
• 次元低下代数を一般化し、埋め込み構成のための普遍モデルΔd,kを構成すること。
• 中心列における除去と性質(SI)の観点から、ジャング＝スー吸収の特徴づけを提供すること。

提案手法

• 2つのC*-代数からヒルベルト空間表現への可換な0次順序写像をモデル化する普遍的対象として、一般化された次元低下代数Δd,kを構成する。
• l∞(ℕ, A)からトレースノルムで一様に消える列を除いた商として、中心列代数A∞を定義する。
• トレース空間の極限境界∂e(T(A))上の分割を用いて、所望のトレース挙動を示すA内の正規化された収縮を構成する。
• Δd,kの普遍性を用いて、トレース近似列をA∞内の中心列へと持ち上げる。
• トレースを保存する写像の重み付き拡大を用いて、M_kからA∞への完全正値写像を構成し、直交性とトレースノルムにおける収束を保証する。
• Aの分離性と対角化の議論を用いて、すべての必要な収束および可換性条件を満たす部分列を抽出する。

実験結果

リサーチクエスチョン

• RQ1 トレース空間T(A)にどのような条件が課されると、単純核的C*-代数Aの中心列代数に行列代数が埋め込めるか？
• RQ2 T(A)の極限境界が有限次元的かつコンパクトであることは、Aがジャング＝スー代数Zを吸収することを意味するか？
• RQ3 このような代数について、性質(SI)および厳密比較は、中心列における除去によって特徴づけられるか？
• RQ4 トレース制約の下でA∞へのユニタリ埋め込みの構造をモデル化する普遍C*-代数Δd,kが存在するか？
• RQ5 A∞へのユニタリ埋め込みと、ジャング＝スー吸収、厳密比較、中心列における完全正値写像の除去の同値性との関係は何か？

主な発見

• 任意のk ∈ ℕに対して、∂e(T(A))がコンパクトかつ有限次元的であれば、T(A)上の一様位相によって定義される中心列代数A∞へのM_kのユニタリ埋め込みが存在する。
• この構成は、極限境界∂e(T(A))の分割と、連続的分割を用いたA内での正規化された収縮の構成に依存し、極限においてトレース近似と直交性を達成する。
• 一般化された次元低下代数Δd,kは、I(A₀,A₁)に同型であり、和が恒等写像となるおよび可換性関係を満たす可換な0次順序写像の普遍C*-代数をモデル化する。
• Aが厳密比較を満たすならば、A ⊗ ℤ ≅ Aが成り立ち、AはZ-安定である。
• 与えられたトレース空間の条件下で、A ⊗ ℤ ≅ A、厳密比較、小規模な中心列における完全正値写像の除去、および性質(SI)の同値性が確立された。
• 対角部分列の議論を用いて、トレース、交換子、積の収束を保証し、A∞への所望のユニタリ埋め込みを達成した。