[论文解读] K-theory of C^*-algebras from one-dimensional generalized solenoids

Inhyeop Yi|ArXiv.org|Aug 16, 2000

Advanced Operator Algebra Research参考文献 13被引用 6

一句话总结

本文计算了一维广义Solenoid关联的C*-代数的K-理论，表明其Ruelle代数是一维Cuntz-Krieger代数的类比。利用Pimsner-Voiculescu正合序列、Universal Coefficient定理以及Spanier-Whitehead对偶性，推导出K₀与K₁群的显式公式，其表达式基于邻接矩阵的Smith标准形与核结构。

ABSTRACT

We compute the K-groups of C^*-algebras arising from one-dimensional generalized solenoids. The results show that Ruelle algebras from one-dimensional generalized solenoids are one-dimensional generalizations of Cuntz-Krieger algebras.

研究动机与目标

• 计算由一维广义Solenoid生成的Ruelle代数的K-理论群。
• 确立这些代数为Cuntz-Krieger代数的一维推广。
• 利用拓扑与代数工具，确定不稳定与稳定等价代数的K₀与K₁群。
• 应用Kirchberg-Phillips分类定理，证明稳定与不稳定Ruelle代数之间的*-同构。

提出的方法

• 在Solenoid空间 $ \overline{X} $ 上构造稳定与不稳定等价的群胚 $ G_s $ 与 $ G_u $，并赋予其拓扑结构与Haar系。
• 构造约化群胚C*-代数 $ S(\overline{X},\overline{f}) $ 与 $ U(\overline{X},\overline{f}) $，并将其与 $ \mathbb{Z} $ 作半直积，得到Ruelle代数 $ R_s $ 与 $ R_u $。
• 利用Pimsner-Voiculescu正合序列，将交叉积的K-理论与基础代数的K-理论联系起来。
• 应用Universal Coefficient定理与Spanier-Whitehead对偶性，从 $ K_* $-群计算 $ K^* $-群。
• 将邻接矩阵 $ M $ 化为Smith标准形，以计算 $ \Delta_M / \mathrm{Im}(Id - \delta_M) $ 与 $ \mathrm{Ker}(Id - \delta_M) $。
• 利用Kirchberg-Phillips分类定理，得出当 $ R_s $ 与 $ R_u $ 均为核代数、纯无限、可分且单一时，二者*-同构。

实验结果

研究问题

• RQ1 与一维广义Solenoid相关的Ruelle代数的K-理论群是什么？
• RQ2 不稳定与稳定等价代数的K₀与K₁群如何与Solenoid的邻接矩阵相关？
• RQ3 这些C*-代数在1维情形下，对Cuntz-Krieger代数的推广程度如何？
• RQ4 稳定与不稳定Ruelle代数是否*-同构？若同构，其条件为何？
• RQ5 能否通过邻接矩阵的Smith标准形等代数不变量，完全确定这些代数的K-理论？

主要发现

• 不稳定等价代数 $ U(\overline{X},\overline{f}) $ 的K₀群与邻接矩阵 $ M $ 的维数群序同构，其K₁群同构于 $ \mathbb{Z} $。
• 稳定Ruelle代数 $ R_s(\overline{X},\overline{f}) $ 的K₀群同构于 $ \mathbb{Z} \oplus \{ \Delta_M / \mathrm{Im}(Id - \delta_M) \} $，其中 $ \Delta_M / \mathrm{Im}(Id - \delta_M) \cong \bigoplus_{i=1}^n \mathbb{Z}/d_i\mathbb{Z} $，通过Smith标准形实现。
• 稳定Ruelle代数 $ R_s(\overline{X},\overline{f}) $ 的K₁群同构于 $ \mathbb{Z} \oplus \mathrm{Ker}(Id - \delta_M) $，且 $ \mathrm{Ker}(Id - \delta_M) $ 的维数等于Smith标准形中对角线零元素的个数。
• 不稳定Ruelle代数 $ R_u(\overline{X},\overline{f}) $ 的K₁群同构于 $ \mathbb{Z} \oplus \mathrm{Ker}(Id - \delta_M) $，其K₀群同构于 $ \mathbb{Z} \oplus \{ \Delta_M / \mathrm{Im}(Id - \delta_M) \} $。
• 由于Kirchberg-Phillips分类定理，不稳定与稳定Ruelle代数*-同构，因为二者均为核代数、纯无限、可分、单且稳定C*-代数。
• K-理论的计算依赖于Universal Coefficient定理以及Ext与Hom序列的分裂，但同构非自然，因精确序列未分裂。