[論文レビュー] Unbounded quasitraces, stable finiteness and pure infiniteness

David Pask, Adam Sierakowski+1 more|arXiv (Cornell University)|May 3, 2017

Advanced Operator Algebra Research参考文献 31被引用数 8

ひとこと要約

この論文は、実数階数が0でσ-単位的かつ正確なC*-代数へ、ブラックダーとロールダムの定理における準トレースの一般化を確立し、K₀(A)上の加法的正の写像が下半連続な2準トレースへ拡張可能であることを証明する。この結果により、クローズド積とk-グラフC*-代数における二分法の定理が得られ、単位的単純k-グラフ代数は、関連する半群S(Λ)のほぼ不透過性に応じて、純粋無限的か安定的有限的かに分類され、k-グラフの構造に基づいた完全な特徴付けが与えられる。

ABSTRACT

We prove that if A is a σ-unital exact C*-algebra of real rank zero, then every state on K_0(A) is induced by a 2-quasitrace on A. This yields a generalisation of Rainone's work on pure infiniteness and stable finiteness of crossed products to the non-unital case. It also applies to k-graph algebras associated to row-finite k-graphs with no sources. We show that for any k-graph whose C*-algebra is unital and simple, either every twisted C*-algebra associated to that k-graph is stably finite, or every twisted C*-algebra associated to that k-graph is purely infinite. Finally we provide sufficient and necessary conditions for a unital simple k-graph algebra to be purely infinite in terms of the underlying k-graph.

研究の動機と目的

• 実数階数が0のσ-単位的C*-代数へ、ブラックダーとロールダムの準トレースに関する結果を単位的から一般化すること。
• レインオンの安定的有限性と純粋無限性に関する二分法結果を非単位的設定へ一般化すること。
• k-グラフに付随する半群S(Λ)を用いて、単位的単純k-グラフC*-代数が純粋無限的か安定的有限的かを特徴付けること。
• k-グラフの組合せ的構造に基づいて、k-グラフ代数の純粋無限性を完全に特徴付けること。

提案手法

• 実数階数が0でσ-単位的かつ正確なC*-代数Aに対し、K₀(A)上の加法的正の写像が下半連続な2準トレースに拡張可能であることを示し、ブラックダー＝ロールダムの定理を拡張する。
• k-グラフΛの頂点集合上の有限台付き関数の同値類からなる半群S(Λ)を導入し、グラフの構造と2次コホノロジーを用いて定義する。
• 半群S(Λ)を関連するC*-動的系の型半群としてモデル化し、レインオンの枠組みと結びつける。
• リファインメント半群とほぼ不透過性の理論を用いてS(Λ)の構造を解析し、k-グラフC*-代数の性質を導出する。
• リエシュのリファインメント性質と弱比較性を用いて、S(Λ)におけるキャンセル性と無限性を特徴付ける。
• S(Λ)のほぼ不透過性とk-グラフC*-代数の純粋無限性または安定的有限性との同値性を確立する。

実験結果

リサーチクエスチョン

• RQ1 K₀(A)上の状態の準トレースへの拡張が、単位的からσ-単位的C*-代数（実数階数が0）へ一般化可能か。
• RQ2 離散群Gの最小的かつ適切に外部的作用σをもつσ-単位的C*-代数Aのクローズド積C*-代数について、安定的有限性と純粋無限性の二分法が成立するか。
• RQ3 k-グラフΛのどのような条件下で、その関連C*-代数が純粋無限的か安定的有限的かとなるか。
• RQ4 k-グラフに付随する半群S(Λ)が、そのC*-代数の分類（純粋無限的か安定的有限的か）を完全に決定可能か。
• RQ5 S(Λ)に無限大元が存在する場合、S(Λ)*がキャンセル可能であることを示し、それが純粋無限性とどのように関係するか。

主な発見

• 実数階数が0でσ-単位的かつ正確なC*-代数Aに対し、K₀(A)上の加法的正の写像β: K₀(A) → ℝは、A上のに下半連続な2準トレースに拡張可能であり、ブラックダーとロールダムの単位的結果を一般化する。
• 実数階数が0でσ-単位的かつ正確なC*-代数Aがキャンセル性をもち、離散群Gの最小的かつ適切に外部的作用σをもつ場合、クローズド積A ⋊σ,r Gは、純粋無限的であるための必要十分条件は、トレースを持たずかつ安定的有限的でないことである。
• 同じ仮定の下で、クローズド積A ⋊σ,r Gが忠実な下半連続な半有限トレース的重みをもつための必要十分条件は、安定的有限的であることである。
• 単位的単純k-グラフC*-代数において、k-グラフに関連するすべてのねじれC*-代数が安定的有限的であるか、あるいはすべてが純粋無限的であるかのいずれかである。
• 出発点を持たない、行有限かつコファイナルなk-グラフΛに対し、関連する半群S(Λ)がほぼ不透過的であるための必要十分条件は、C*-代数が純粋無限的または安定的有限的であることである。
• S(Λ)がほぼ不透過的であるとき、S(Λ)*はキャンセル可能であり、k-グラフC*-代数が純粋無限的であるための必要十分条件は、すべての非ゼロx, y ∈ S(Λ)に対してx ≤ yが成り立つことである。