[论文解读] Finite symmetry group actions on substitution tiling C*-algebras

Charles Starling|arXiv (Cornell University)|Jul 26, 2012

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

一句话总结

本文研究了有限对称群作用于替换镶嵌C*-代数，表明半直积代数具有实秩零、稳定秩一、唯一迹，且K-理论上的序由迹确定。本文建立了该作用的弱Rokhlin性质，并在原始代数具有迹秩零的假设下，证明了迹Rokhlin性质，暗示可通过Elliott不变量进行分类。

ABSTRACT

For a finite symmetry group $G$ of an aperiodic substitution tiling system $(\p,ω)$, we show that the crossed product of the tiling C*-algebra $\Aw$ by $G$ has real rank zero, tracial rank one, a unique trace, and that order on its K-theory is determined by the trace. We also show that the action of $G$ on $\Aw$ satisfies the weak Rokhlin property, and that it also satisfies the tracial Rokhlin property provided that $\Aw$ has tracial rank zero. In the course of proving the latter we show that $\Aw$ is finitely generated. We also provide a link between $\Aw$ and the AF algebra Connes associated to the Penrose tilings.

研究动机与目标

• 分析有限对称群作用于替换镶嵌C*-代数的动力学与C*-代数性质。
• 确定半直积代数是否继承分类友好性质，如实秩零和稳定秩一。
• 研究该作用是否满足弱Rokhlin性质或迹Rokhlin性质，这两者是通过Elliott不变量进行分类的关键。
• 通过群胚半直积建立tilling C*-代数Aω与Connes的AF代数在Penrose镶嵌中的结构联系。
• 证明Aω是有限生成的，为后续结构分析奠定基础。

提出的方法

• 使用与替换镶嵌系统中平移等价关系的étale群胚Rpunc相关的约化C*-代数Aω。
• 通过与替换规则ω可交换的有限对称群G在Aω上构造群作用。
• 应用几乎AF康托群胚理论，证明半直积Aω ⋊ G同构于此类群胚，从而推出实秩零与稳定秩一。
• 通过生成集E2及利用单位分解论证构造近似投影，证明Aω是有限生成的。
• 通过构造满足迹与范数条件的中心序列{a_g}，验证弱Rokhlin性质。
• 在Aω具有迹秩零的假设下，利用Phillips与Matui-Sato的结果，建立迹Rokhlin性质。

实验结果

研究问题

• RQ1 有限对称群作用于替换镶嵌C*-代数的半直积Aω ⋊ G是否具有实秩零与稳定秩一？
• RQ2 K0(Aω ⋊ G)上的序是否由半直积上的唯一迹决定？
• RQ3 Aω上的群作用是否满足弱Rokhlin性质？在何种条件下满足迹Rokhlin性质？
• RQ4 能否证明C*-代数Aω是有限生成的？这如何支持进一步的分类结果？
• RQ5 Aω与Penrose镶嵌的Connes AF代数之间是否存在结构联系，特别是通过群胚半直积？

主要发现

• 半直积Aω ⋊ G具有实秩零与稳定秩一，因为其同构于几乎AF康托群胚的C*-代数。
• K0(Aω ⋊ G)上的序由唯一归一化迹决定，该迹继承自Aω上的迹。
• G在Aω上的作用满足弱Rokhlin性质，通过构造一组迹接近于1的中心投影序列得以证明。
• 若Aω具有迹秩零，则G在Aω上的作用满足迹Rokhlin性质，这意味着Aω ⋊ G也具有迹秩零。
• 与Penrose镶嵌相关的AF代数同构于AFω ⋊ D10，其中D10为作用于镶嵌的二面体群（阶为10）。
• Aω是有限生成的，通过存在有限生成集E2及涉及群作用的单位分解论证得以证明。