[論文レビュー] The Rohlin property for automorphisms on simple C*-algebras

Huaxin Lin|arXiv (Cornell University)|Feb 23, 2006

Advanced Operator Algebra Research参考文献 15被引用数 9

ひとこと要約

本稿では、単位的完備な単純な C*-代数 A がトレースランク 0 を持ち、その自己同型 α がトレースランクルフィン性質を満たし、K₀(A) に誘導される作用が稠密な部分群を固定するならば、A ⋊ₐℤ もトレースランク 0 を持つことを確立する。この結果は、スローディメンジョン成長と実ランク 0 を持つ AH-代数に対する吉本の予想の一般化を解決する。

ABSTRACT

We study a general Kishimoto's problem for automorphisms on simple C*-algebras with tracial rank zero. Let $A$ be a unital separable simple C*-algebra with tracial rank zero and let $α$ be an automorphism. Under the assumption that $α$ has certain Rokhlin property, we present a proof that $A times_α\Z$ has tracial rank zero. We also show that if the induced map $α_{*0}$ on $K_0(A)$ fixes a "dense" subgroup of $K_0(A)$ then the tracial Rokhlin property implies a stronger Rokhlin property. Consequently, the induced crossed product C*-algebras have tracial rank zero.

研究の動機と目的

• 単純な C*-代数上の自己同型による交叉積におけるトレースランク 0 の保存を調査する。
• 実ランク 0 を持つ A𝕋-代数の交叉積に関する吉本の予想の一般化された形を扱う。
• A がトレースランク 0 を持つとき、A ⋊ₐℤ がトレースランク 0 を保つための条件を確立する。
• トレース循環ルフィン性質を保証するための、K₀(A) における α の作用を含む十分条件を提供する。
• K-理論とトレースルフィン条件を用いて、近似的内的な場合の結果をより広い自己同型のクラスへと拡張する。

提案手法

• C*-代数自己同型の古典的ルフィンタワーの一般化としてトレースルフィン性質を用いる。
• 漸近的ホモトピーと中心的射影列を用いて定義されるトレース循環ルフィン性質を適用する。
• αʳ*₀ が K₀(A) の部分群 G ⊂ に作用し、ρ_A による像が Aff(T(A)) で稠密であるという条件を用いて、より強いルフィン型の振る舞いを示す。
• ユニバーサル係数定理（UCT）とアメニタリティを用いて分類理論的性質を保証する。
• α のダイナミクスをモデル化し、漸近的挙動を制御するための中心的射影列と部分等長射影を構成する。
• 逐次的漸近的ホモトピーと近似技術を用いて、交叉積におけるトレースと K-理論を制御する。

実験結果

リサーチクエスチョン

• RQ1 単位的完備な単純な C*-代数 A が TR(A) = 0 を持つとき、A ⋊ₐℤ が TR(A ⋊ₐℤ) = 0 を持つための条件は何か？
• RQ2 αʳ*₀ が K₀(A) の稠密な部分群を固定する場合、トレースルフィン性質をトレース循環ルフィン性質に強化できるか？
• RQ3 αʳ が KL(A,A) において恒等写像にホモトープであるという条件は、A ⋊ₐℤ がトレースランク 0 を持つことを示唆するか？
• RQ4 α が K₀(A) に与える作用は、交叉積代数の構造的性質にどのように影響するか？
• RQ5 吉本の予想は、近似的内的な場合を越えてどの程度一般化可能か？

主な発見

• α がトレースルフィン性質をもち、かつ αʳ*₀ が K₀(A) の部分群 G ⊂ に作用し、ρ_A(G) が Aff(T(A)) で稠密であるならば、α はトレース循環ルフィン性質を満たす。
• これらの条件下で、交叉積 A ⋊ₐℤ はトレースランク 0 を持つ、すなわち TR(A ⋊ₐℤ) = 0 である。
• この結果は、TR(A) = 0 を持ち UCT を満たす単位的完備な単純なアメニタリ C*-代数に適用可能である。
• スローディメンジョン成長と実ランク 0 を持つ AH-代数に対して、α がトレースルフィン性質をもち、[αʳ] = [id_A] が KL(A,A) で成り立つならば、A ⋊ₐℤ は再びスローディメンジョン成長と実ランク 0 を持つ AH-代数である。
• 証明は、α のダイナミクスをモデル化し、漸近的可換性とトレース制御を満たす中心的射影列と部分等長射影の構成に依存する。
• 鍵となる技術的ステップは、[22] の補題 6.1 を、Aff(T(A)) における ρ_A(G) の稠密性を用いて、K-理論的・トレース的挙動が制御された射影を生成する新しい議論に置き換えることである。