[论文解读] 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₀的消去性、稳定秩一和无穿孔性。这些结果被应用于证明：在有限维紧致度量空间上的极小同胚的交叉积C*-代数具有无穿孔的K₀，并满足Blackadar第二基本可比较性问题的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]$.

研究动机与目标

• 在缓慢维数增长条件下，建立单子代数的递归次同态代数直接极限的稳定矩阵代数中投影的消去性。
• 在无维数增长且代数为单的情况下，证明此类代数的拓扑稳定秩为一。
• 在无维数增长和单性条件下，证明此类代数的K₀对严格序具有无穿孔性。
• 验证这些代数的K-理论版本的Blackadar第二基本可比较性问题。
• 将结果应用于计算极小同胚在有限维紧致度量空间上的交叉积C*-代数的先前未知的K-理论不变量。

提出的方法

• 使用直接极限技术分析递归次同态代数及其K-理论不变量的结构。
• 应用Pimsner-Voiculescu正合列计算由极小同胚产生的交叉积的K-理论。
• 利用迹泛函和同伦不变量计算自同态在K₀和K₁上的作用。
• 利用拓扑K-理论的环结构，通过与自同态的复合计算诱导的K₀上的映射。
• 应用指数映射和旋转数将迹与K₀元素关联，确保迹值的连续性和整数性。
• 通过替换K₀中的生成元来归一化迹值，确保所有归一化迹的一致性。

实验结果

研究问题

• RQ1 在缓慢维数增长条件下，递归次同态代数直接极限的投影消去性是否成立？
• RQ2 在无维数增长且代数为单的情况下，单子代数的递归次同态代数直接极限的拓扑稳定秩是否恰好为一？
• RQ3 在无维数增长和单性条件下，此类代数的K₀是否对严格序具有无穿孔性？
• RQ4 Blackadar第二基本可比较性问题在这些代数的稳定矩阵代数的投影中是否成立？
• RQ5 能否使用这些结果完全表征极小同胚在有限维紧致度量空间上的交叉积C*-代数的K-理论？

主要发现

• 对于无维数增长且单的递归次同态代数直接极限，其拓扑稳定秩恰好为一。
• 若系统具有严格缓慢维数增长，则$ M_{ty}(A) $中的投影满足消去性。
• 若系统中所有映射均为单态且单位元态，且$ A $为单代数，则$ K_0(A) $对严格序具有无穿孔性。
• 对于此类代数，$ K_0(A) $满足Blackadar第二基本可比较性问题的K-理论版本：若对所有归一化迹$ \tau $都有$ \tau_*(\eta) > 0 $，则存在某个投影$ p \in M_{\infty}(A) $使得$ \eta = [p] $。
• 对于交叉积$ C^*(\mathbb{Z}, X, h) $，其中$ 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 $为旋转数。