[论文解读] Real rank and property (SP) for direct limits of recursive subhomogeneous algebras

N. Christopher Phillips|ArXiv.org|May 14, 2004

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

一句话总结

本文確立了在無維度增長的情況下，對具有單位元的單一代數直極限（recursive subhomogeneous algebras）的 K-理論與跡條件的精確標準，以判斷其是否具有實秩零或性質 (SP)。結果顯示，實秩零成立當且僅當 $K_0(A)$ 在 $\mathrm{Aff}(T(A))$ 中的像為稠密；性質 (SP) 成立當且僅當對任意 $\varepsilon > 0$，存在 $\eta \in K_0(A)$，使得對所有跡態射 $\tau$，均有 $0 < \tau_*(\eta) < \varepsilon$。這些條件是嚴謹的，如反例所示，任何較弱的替代條件均不成立。

ABSTRACT

Let A be a unital simple direct limit of recursive subhomogeneous C*-algebras with no dimension growth. We give criteria which specify exactly when A has real rank zero, and exactly when A has the Property (SP): every nonzero hereditary subalgebra of A contains a nonzero projection. Specifically, A has real rank zero if and only if the natural map from K_0 (A) to the continuous affine functions on the tracial state space has dense range, A has the Property (SP) if and only if the range of this map contains strictly positive functions with arbitrarily small norm. By comparison with results for unital simple direct limit of homogeneous C*-algebras with no dimension growth, one might hope that weaker conditions might suffice. We give examples to show that several plausible weaker conditions do not suffice for the results above. If A has real rank zero and at most countably many extreme tracial states, we apply results of H. Lin to show that A has tracial rank zero and is classifiable.

研究动机与目标

• 確立在無維度增長條件下，具有單位元的單一代數直極限（recursive subhomogeneous algebras）具有實秩零的精確條件。
• 特徵化此類代數滿足性質 (SP) 的條件，即每一個非零遺傳子代數均包含一個非零投影。
• 證明較弱條件（如投影能區分跡態射，或 $\tau_*(K_0(A))$ 在 $\mathbf{R}$ 中稠密）不足以確保實秩零或性質 (SP)。
• 展示包含投影區分跡態射、$K_0(A)$ 為 Riesz 群，以及性質 (SP) 三部分條件的組合，是實秩零的必要且充分條件。
• 分析 Elliott 不變量，並在實秩零且極端跡態射至多可數的情況下對此類代數進行分類。

提出的方法

• 利用自然映射 $K_0(A) \to \mathrm{Aff}(T(A))$ 分析其像的稠密性，作為實秩零的判據。
• 透過構造 $K_0$-群同構於 $\mathbf{Z}[1/2]^3$ 且具有特定正錐與序單位的反例，測試條件的必要性。
• 應用定理 5.3 建構一個 C*-代數 $A_0$，使其具有指定的 $K_0$-群與跡態射空間 $\Delta$，再與 $2^\infty$ UHF 代數張量積，得到 $A = A_0 \otimes B$。
• 透過仿射同胚 $[0,1]^2$ 的方式計算狀態空間 $S(K_0(A))$，以證明其非單形體，進而推得 $K_0(A)$ 非 Riesz 群。
• 利用 Lin 與 Elliott 的結果，推導出當實秩零且極端跡態射至多可數時，代數具有跡秩零且可透過 Elliott 不變量分類。
• 運用拉回構造與遞歸子同調代數結構，分析遺傳子代數與跡行為。

实验结果

研究问题

• RQ1 在何種 $K_0$-理論與跡條件下，具有單位元的單一代數直極限（recursive subhomogeneous algebras）在無維度增長下具有實秩零？
• RQ2 在該類代數中，投影能區分跡態射的條件是否足以確保實秩零？
• RQ3 若對所有 $\tau$，$\tau_*(K_0(A))$ 在 $\mathbf{R}$ 中稠密，是否能推出性質 (SP)？
• RQ4 在此背景下，實秩零、性質 (SP) 與 $K_0(A)$ 為 Riesz 群之間的精確關係為何？
• RQ5 是否存在結合投影區分跡態射、$K_0(A)$ 為 Riesz 群與性質 (SP) 的必要且充分條件，以確保實秩零？

主要发现

• 實秩零成立當且僅當 $K_0(A)$ 在 $\mathrm{Aff}(T(A))$ 中的像為稠密。
• 性質 (SP) 成立當且僅當對任意 $\varepsilon > 0$，存在 $\eta \in K_0(A)$，使得對所有跡態射 $\tau$，均有 $0 < \tau_*(\eta) < \varepsilon$。
• 反例顯示，即使 $\tau_*(K_0(A))$ 在 $\mathbf{R}$ 中稠密是必要條件，但此條件本身不足以推出性質 (SP)。
• 另一反例顯示，即使投影能區分跡態射且 $K_0(A)$ 為 Riesz 群，此條件亦不足以確保實秩零。
• 三重條件——投影能區分跡態射、$K_0(A)$ 為 Riesz 群、且 $A$ 具有性質 (SP)——是實秩零的必要且充分條件，且每一項均獨立不可或缺。
• 當 $A$ 具有實秩零且極端跡態射至多可數時，$A$ 具有跡秩零，且可透過 Elliott 不變量分類。