[論文レビュー] Minimal dynamics and Z-stable classification

Karen R. Strung, Wilhelm Winter|arXiv (Cornell University)|Jan 8, 2010

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

ひとこと要約

本稿では、特定の部分代数がUHF代数とテンソル積をとった際に、あるクラスSのC*-代数に追跡的に近似可能であるならば、その全交叉積も同様にSに追跡的に近似可能であることを示すことにより、最小的力学系から生じるC*-代数のZ安定分類の基準を確立する。主な結果は、基礎空間の実ランク、安定ランク、次元に関する仮定を一切要しない、変換群C*-代数のZ安定分類に関する結果である。

ABSTRACT

Let X be an infinite compact metric space, α: X o X a minimal homeomorphism, u the unitary implementing αin the transformation group C*-algebra, and S a class of separable nuclear C*-algebras that contains all unital hereditary C*-subalgebras of C*-algebras in S. Motivated by the success of tracial approximation by finite dimensional C*-algebras as an abstract characterization of classifiable C*-algebras and the idea that classification results for C*-algebras tensored with UHF algebras can be used to derive classification results up to tensoring with the Jiang-Su algebra Z, we prove that the transformation group C*-algebra tensored with a UHF algebra is tracially approximately S if there exists a y in X such that a certain C*-subalgebra is tracially approximately S. If the class S consists of finite dimensional C*-algebras, this can be used to deduce classification up to tensoring with Z for C*-algebras associated to minimal dynamical systems where projections separate tracial states. This is done without making any assumptions on the real rank or stable rank of either the transformation group C*-algebra or the C*-subalgebra, nor on the dimension of X. The result is a key step in the classification of C*-algebras associated to uniquely ergodic minimal dynamical systems by their ordered K-groups. It also sets the stage to provide further classification results for those C*-algebras of minimal dynamical systems where projections do not necessarily separate traces.

研究の動機と目的

• 実ランクゼロまたは有限次元の場合に限らない、最小的力学系に付随するC*-代数の分類結果を拡張すること。
• 交差積やその部分代数に、有限次元性、実ランクゼロ、安定ランクの条件を仮定せずに、Z安定分類を確立すること。
• 分類可能なC*-代数クラスSによる追跡的近似を用いた、Z安定分類の一般枠組みを提供すること。
• 既存の分類定理とTomsとWinterのZ安定性結果を、特に一意的エルゴード的最小的系の文脈で橋渡しすること。
• 射影がトレースを分離しない変換群C*-代数の分類を、UHF安定化と追跡的近似を用いて可能にすること。

提案手法

• 分離的核的C*-代数のクラスSによる追跡的近似を用いて、変換群C*-代数のZ安定分類を特徴づける。
• まずUHF代数とテンソル積をとった後の分類を実行し、その後にZ代数とテンソル積をとった後の分類を進める戦略を適用する。
• 部分代数 C*(C(X), uC₀(X∖{y})) ⊗ M_{q^∞} がSに追跡的に近似可能であるならば、全交叉積 (C(X) ⋊_α ℤ) ⊗ M_{q^∞} も同様にSに追跡的に近似可能であるという事実を活用する。
• 追跡的にSに近似可能な代数が十分な安定性（例えば、近似的可除性）を持つならば、実ランクゼロとなり、したがって追跡的ランクゼロとなるという結果を用いる。
• 文献[19]の分類定理を適用し、不変量が同型である場合にZ安定化代数同士が*-同型であることを導く。
• UCTとUHF代数がZ安定であることから、既存の分類枠組みと整合性を保つ。

実験結果

リサーチクエスチョン

• RQ1 有限次元性や実ランクゼロを仮定しない条件下で、最小的力学系に付随するC*-代数がZ安定性に関して分類可能となる条件は何か？
• RQ2 C*-代数クラスSによる追跡的近似を用いることで、変換群C*-代数のZ安定分類結果を導くことは可能か？
• RQ3 射影がトレース状態を分離しない場合に、UHF安定化と追跡的近似を用いて同様のC*-代数を分類することは可能か？
• RQ4 部分代数 C*(C(X), uC₀(X∖{y})) の構造が、全交叉積のZ安定性にどのように影響するか？
• RQ5 UHF代数は、Z安定同型に至る分類結果を可能にする上で果たす役割は何か？

主な発見

• 部分代数 C*(C(X), uC₀(X∖{y})) ⊗ M_{q^∞} が、分離的核的C*-代数のクラスS（遺伝的部分代数について閉じたクラス）に追跡的に近似可能であるならば、(C(X) ⋊_α ℤ) ⊗ M_{q^∞} に対しても同様にSに追跡的に近似可能である。
• Sが有限次元C*-代数のクラスである場合、部分代数が同様の条件を満たすならば、(C(X) ⋊_α ℤ) ⊗ M_{q^∞} は追跡的ランクゼロをもつ。
• 任意のqについて、A ⊗ M_{q^∞} とB ⊗ M_{q^∞} は追跡的ランクゼロをもつ。これは、A ⊗ ℤ とB ⊗ ℤ が不変量が同型である場合に*-同型であることを意味する。
• 分類結果は、実ランク、安定ランク、Xの被覆次元に関する仮定を一切要しないため、無限次元的かつ非正則系にも適用可能である。
• n ≥ 3 で奇数である奇数次元球面Sⁿ上の一意的エルゴード的最小的系に対して、交差積はZ安定的であり、したがってその順序付きK₀群によって分類可能である。これは、非自明な射影が存在しないにもかかわらず成り立つ。
• 本結果は、既存の分類定理とTomsとWinterのZ安定性結果との間の欠けた接続を提供する。特に、有限次元性の仮定がない状況において顕著である。