[论文解读] The structure of crossed products of irrational rotation algebras by finite subgroups of SL_2 (Z)

Siegfried Echterhoff, Wolfgang Lueck+2 more|ArXiv.org|Sep 28, 2006

Advanced Operator Algebra Research参考文献 39被引用 32

一句话总结

本文证明了当 $\theta$ 为无理数时，无理旋转代数 $A_\theta$ 关于 $\mathrm{SL}_2(\mathbb{Z})$ 的有限子群（具体为 $\mathbb{Z}_2$、$\mathbb{Z}_3$、$\mathbb{Z}_4$ 和 $\mathbb{Z}_6$）的交叉积是 AF 代数。通过 $K$-理论计算、统一系数定理以及迹 Rokhlin 性质，作者证明了这些交叉积具有迹秩零，并且其分类由 $K_0$-群决定，从而在 $\theta \mapsto \pm\theta \mod \mathbb{Z}$ 的意义下实现了完全的同构分类。

ABSTRACT

Let F be a finite subgroup of SL_2 (Z) (necessarily isomorphic to one of Z/2Z, Z/3Z, Z/4Z, or Z/6Z), and let F act on the irrational rotational algebra A_θ via the restriction of the canonical action of SL_2 (Z). Then the crossed product of A_θ by F, and the fixed point algebra for the action of F on A_θ, are AF algebras. The same is true for the crossed product and fixed point algebra of the flip action of Z/2Z on any simple d-dimensional noncommutative torus A_Θ. Along the way, we prove a number of general results which should have useful applications in other situations.

研究动机与目标

• 确定有限子群 $F \subset \mathrm{SL}_2(\mathbb{Z})$ 作用在无理旋转代数上时，交叉积 $A_\theta \rtimes_\alpha F$ 的结构。
• 证明当 $F = \mathbb{Z}_2, \mathbb{Z}_3, \mathbb{Z}_4, \mathbb{Z}_6$ 且 $\theta$ 为无理数时，这些交叉积是 AF 代数。
• 在 $\theta$ 与群阶数的基础上，建立此类交叉积的完全同构分类。
• 将结果推广至高维非交换环面的对换作用，证明其交叉积亦为 AF 代数。

提出的方法

• 通过 $F \subset \mathrm{SL}_2(\mathbb{Z})$ 在 $A_\theta$ 上的作用导出的显式生成元与关系，计算交叉积的 $K_0$-群。
• 通过将余上链扩张至半直积，验证交叉积满足统一系数定理。
• 证明该作用具有迹 Rokhlin 性质，以确保迹秩为零，这是 AF 分类的关键条件。
• 应用 Huaxin Lin 的迹秩为零的 $C^*$-代数分类定理，得出 AF 结构。
• 利用 George Elliott 的 AF 代数分类定理，通过比较 $K_0$-群，建立 $A_\theta \rtimes_\alpha F$ 与 $A_{\theta'} \rtimes_\alpha F$ 的同构关系，其中 $\theta' = \pm\theta \mod \mathbb{Z}$。
• 通过交换作用将结果推广至高维非交换环面，证明当 $\Theta$ 为非退化的斜对称矩阵时，$A_\Theta \rtimes_\varphi \mathbb{Z}_2$ 为 AF 代数。

实验结果

研究问题

• RQ1 对于有限子群 $F \subset \mathrm{SL}_2(\mathbb{Z})$ 与无理数 $\theta$，交叉积 $A_\theta \rtimes_\alpha F$ 是否为 AF 代数？
• RQ2 当 $F = \mathbb{Z}_2, \mathbb{Z}_3, \mathbb{Z}_4, \mathbb{Z}_6$ 时，$A_\theta \rtimes_\alpha F$ 的 $K_0$-群结构为何？
• RQ3 在何种条件下，两个此类交叉积同构？
• RQ4 固定点代数 $A_\theta^F$ 是否继承自交叉积的 AF 性质？
• RQ5 该结果能否推广至高维非交换环面的对换作用？

主要发现

• 对于所有 $F = \mathbb{Z}_2, \mathbb{Z}_3, \mathbb{Z}_4, \mathbb{Z}_6$ 及无理数 $\theta$，交叉积 $A_\theta \rtimes_\alpha F$ 均为 AF 代数。
• $A_\theta \rtimes_\alpha \mathbb{Z}_2$ 的 $K_0$-群同构于 $\mathbb{Z}^6$，迹态的像为 $\frac{1}{2}(\mathbb{Z} + \theta\mathbb{Z})$。
• $A_\theta \rtimes_\alpha \mathbb{Z}_3$ 的 $K_0$-群同构于 $\mathbb{Z}^8$，迹态的像为 $\frac{1}{3}(\mathbb{Z} + \theta\mathbb{Z})$。
• $A_\theta \rtimes_\alpha \mathbb{Z}_4$ 的 $K_0$-群同构于 $\mathbb{Z}^9$，迹态的像为 $\frac{1}{4}(\mathbb{Z} + \theta\mathbb{Z})$。
• $A_\theta \rtimes_\alpha \mathbb{Z}_6$ 的 $K_0$-群同构于 $\mathbb{Z}^{10}$，迹态的像为 $\frac{1}{6}(\mathbb{Z} + \theta\mathbb{Z})$。
• $A_\theta \rtimes_\alpha F$ 同构于 $A_{\theta'} \rtimes_\alpha F$ 当且仅当 $k = l$ 且 $\theta' \equiv \pm\theta \mod \mathbb{Z}$。