[論文レビュー] Cancellation and stable rank for direct limits of recursive subhomogeneous algebras

N. Christopher Phillips|ArXiv.org|Jan 18, 2001

Advanced Operator Algebra Research参考文献 22被引用数 10

ひとこと要約

本稿は、再帰的部分単位的可換代数の単位的直接極限について、遅い次元成長または次元成長なしの条件下で、K₀のキャンセル性、安定的次元1、および非穿孔性を確立する。これらの結果を応用して、有限次元コンパクト距離空間上の最小的ホメオモルフィズムのクローズド積C*-代数が非穿孔的K₀を持ち、ブラックダールの第二基本比較問題のK-理論的類似を満たすことを示す。

ABSTRACT

We prove the following results for a unital simple direct limit $A$ of recursive subhomogeneous algebras with no dimension growth: (1) A has stable rank 1. (2) The projections in $M_{\infty} (A)$ satisfy cancellation: if $e \oplus q \sim f \oplus q$, then $e \sim f$. (3) $A$ satisfies Blackadar's Second Fundamental Comparability Question: if $p, q \in M_{\infty} (A)$ are projections such that $τ(p) < τ(q)$ for all normalized traces $τ$ on $A$, then $p$ is equivalent to a subprojection of $q$. (4) $K_0 (A)$ is unperforated for the strict order: if $η\in K_0 (A)$ and there is $n > 0$ such that $n η> 0$, then $η> 0$. The last three of these results hold under certain weaker dimension growth conditions and without assuming simplicity. We use these results to obtain previously unknown information on the ordered K-theory of the crossed product $C^* (Z, X, h)$ obtained from a minimal homeomorphism of an infinite finite dimensional compact metric space $X$. Specifically, $K_0 (C^* (Z, X, h))$ is unperforated for the strict order, and satisfies the following K-theoretic version of Blackadar's Second Fundamental Comparability Question: if $η\in K_0 (A)$ satisfies $τ_* (\et) > 0$ for all normalized traces $τ$ on $A$, then there is a projection $p \in M_{\infty} (A)$ such that $η= [p]$.

研究の動機と目的

• 再帰的部分単位的可換代数の直接極限における安定的行列代数内の射影のキャンセル性を、遅い次元成長の下で確立すること。
• 次元成長なしで代数が単純である場合、その代数の位相的安定的次元が1に等しいことを証明すること。
• 次元成長なしで単純性が成り立つ場合、その代数のK₀が厳密順序に関して非穿孔的であることを示すこと。
• これらの代数に対して、ブラックダールの第二基本比較問題のK-理論的類似が成り立つかを検証すること。
• これらの結果を応用して、有限次元コンパクト距離空間上の最小的ホメオモルフィズムから得られるクローズド積C*-代数の、これまで未知であったK-理論的不変量を計算すること。

提案手法

• 再帰的部分単位的可換代数の構造とそのK-理論的不変量を分析するために、直接極限技術を用いる。
• 最小的ホメオモルフィズムから生じるクローズド積のK-理論を計算するために、Pimsner-Voiculescu完全列を適用する。
• トレース関数とホモトピー不変量を用いて、自己同型がK₀およびK₁に作用する様子を計算する。
• 位相的K-理論の環構造を用いて、自己同型との合成を通じてK₀に誘導される写像を計算する。
• 指数写像と回転数を用いて、トレースをK₀の元に関連づけ、トレース値の連続性と整数性を保証する。
• K₀内の生成元を置き換えることで、すべての正規化トレースにおいて一貫性を保証する。

実験結果

リサーチクエスチョン

• RQ1 再帰的部分単位的可換代数の直接極限において、遅い次元成長の下で射影のキャンセル性が成り立つか？
• RQ2 次元成長なしで単純なユニタリ直接極限の再帰的部分単位的可換代数の位相的安定的次元は1に等しいか？
• RQ3 このような代数のK₀は、厳密順序に関して非穿孔的か？
• RQ4 ブラックダールの第二基本比較問題は、このような代数の安定的行列代数内の射影に対して成り立つか？
• RQ5 有限次元コンパクト距離空間上の最小的ホメオモルフィズムから得られるクローズド積C*-代数のK-理論は、これらの結果を用いて完全に特徴付けられるか？

主な発見

• 次元成長なしで単純なユニタリ再帰的部分単位的可換代数の直接極限について、位相的安定的次元は正確に1である。
• 系に厳密な遅い次元成長がある場合、$ M_{\infty}(A) $ 内の射影はキャンセル性を満たす。
• 系のすべての写像が単射かつユニタリであり、$ A $ が単純である場合、$ K_0(A) $ は厳密順序に関して非穿孔的である。
• このような代数について、$ K_0(A) $ はブラックダールの第二基本比較問題のK-理論的類似を満たす：すべての正規化トレース $ \tau $ に対して $ \tau_*(\eta) > 0 $ ならば、ある射影 $ p \in M_{\infty}(A) $ が存在して $ \eta = [p] $ である。
• 有限次元コンパクト距離空間 $ X $ と最小的ホメオモルフィズム $ h $ に対して得られるクローズド積 $ C^*(\mathbb{Z}, X, h) $ について、$ K_0 $ は非穿孔的であり、比較条件を満たす。
• クローズド積のK₀群は $ \mathbb{Z}^3 $ に同型であり、正の錐は $ \{ (m_1, m_2, m_3) \in \mathbb{Z}^3 : m_1 + m_3\theta > 0 \text{ または } m_1 = m_2 = m_3 = 0 \} $ で与えられる。ここで $ \theta $ は回転数である。