[论文解读] Crossed products of the Cantor set by free minimal actions of Z^d

N. Christopher Phillips|ArXiv.org|Aug 11, 2002

Mathematical Dynamics and Fractals参考文献 22被引用 14

一句话总结

本文证明了当 $ X $ 为康托集且 $ \mathbb{Z}^d $ 作用自由且极小化时，交叉积 C*-代数 $ C^*(\mathbb{Z}^d, X) $ 具有稳定秩一、实秩零以及投影的可消去性。此外，本文进一步表明 $ K_0 $ 上的序关系由迹决定，从而推广了 Putnam 的间隙标记结果，并解决了此类代数以及非周期平铺 C*-代数的 Blackadar 第二基本可比较性问题。

ABSTRACT

Let d be a positive integer, let X be the Cantor set, and let Z^d act freely and minimally on X. We prove that the crossed product C* (Z^d, X) has stable rank one, real rank zero, and cancellation of projections, and that the order on K_0 (C* (Z^d, X)) is determined by traces. We obtain the same conclusion for the C*-algebras of various kinds of aperiodic tilings.

研究动机与目标

• 建立由康托集上自由极小 $ \mathbb{Z}^d $-作用产生的交叉积 C*-代数的结构性质——稳定秩一、实秩零、投影可消去性。
• 通过证明 $ K_0 $ 上的序关系由迹决定，推广 Putnam 的间隙标记结果，从而解决此情境下 Blackadar 的第二基本可比较性问题。
• 表明相同的结构性质也适用于各种非周期平铺系统的 C*-代数，将其与 Bethe-Sommerfeld 猜想联系起来。
• 引入并分析几乎 AF 康托群胚类，作为统一框架以证明这些结果。
• 将 Putnam 和 Forrest 的方法推广至更广泛的群作用类，包括可能非自由或更一般的离散群。

提出的方法

• 将几乎 AF 康托群胚定义为 r-离散、主群胚，其具有有理序，单位空间与康托集同胚，并存在一列紧致开子群胚，这些子群胚为 AF 且其并集在群胚中稠密。
• 利用 Forrest 的工作中的 Kakutani-Rokhlin 型分解，在康托集上自由极小 $ \mathbb{Z}^d $-作用的变换群胚中构造一个大的 AF 子代数。
• 应用 Putnam 1995 年论文 [35] 第三节的技术工具，将其适配至群胚设定，通过迹证明投影的比较性。
• 通过证明自伴元可被具有有限谱的元逼近，建立实秩零，依赖于几乎 AF 结构。
• 通过证明酉群在所有可逆元集合中关于范数稠密，证明稳定秩一，利用迹决定的 $ K_0 $ 序关系和比较结果。
• 通过验证该类的公理并应用核心技术引理（引理 2.7），验证几乎 AF 康托群胚的约化 C*-代数满足所需的结构性质。

实验结果

研究问题

• RQ1 对于康托集上自由极小 $ \mathbb{Z}^d $-作用的交叉积 $ C^*(\mathbb{Z}^d, X) $，其是否具有稳定秩一？
• RQ2 是否 $ K_0(C^*(\mathbb{Z}^d, X)) $ 上的序关系由迹决定，且这是否意味着 Blackadar 的第二基本可比较性问题？
• RQ3 能否将结构性质——稳定秩一、实秩零、投影可消去性——推广至非周期平铺系统的 C*-代数？
• RQ4 哪一类群胚使得 Putnam 和 Forrest 的方法可被推广以证明这些结构性质？
• RQ5 这些结果能否推广至更一般的离散群作用或非自由作用？

主要发现

• 对于康托集上自由极小 $ \mathbb{Z}^d $-作用的交叉积 $ C^*(\mathbb{Z}^d, X) $，其具有稳定秩一。
• 该 C*-代数具有实秩零，即自伴元可被具有有限谱的元逼近。
• 投影可消去性成立：若对所有迹态 $ \tau $ 都有 $ \tau(p) < \tau(q) $，则 $ p \precsim q $，从而解决了 Blackadar 的第二基本可比较性问题。
• $ K_0(C^*(\mathbb{Z}^d, X)) $ 上的序关系完全由迹决定，推广了 Putnam 对代换平铺系统的早期结果。
• 结果可推广至各种非周期平铺系统，包括具有非周期性、代换性或非周期性分层结构的系统。
• 几乎 AF 康托群胚类提供了一个统一框架，捕捉证明所必需的本质性质，使得结果可超越 $ \mathbb{Z}^d $-作用进行推广。