[论文解读] On the K-theory of twisted higher-rank-graph C*-algebras

Alex Kumjian, David Pask+1 more|arXiv (Cornell University)|Nov 7, 2012

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

一句话总结

本文通过在余群上构造连续的C*-丛，证明了与实值2-上循环相关的扭曲高阶图C*-代数的K-理论同构于未扭曲代数的K-理论。关键结果表明，对于通过实值上循环指数化得到的圆周值上循环，K-理论保持不变，将Elliott对非交换环面的计算推广至高阶图。

ABSTRACT

We investigate the K-theory of twisted higher-rank-graph algebras by adapting parts of Elliott's computation of the K-theory of the rotation algebras. We show that each 2-cocycle on a higher-rank graph taking values in an abelian group determines a continuous bundle of twisted higher-rank graph algebras over the dual group. We use this to show that for a circle-valued 2-cocycle on a higher-rank graph obtained by exponentiating a real-valued cocycle, the K-theory of the twisted higher-rank graph algebra coincides with that of the untwisted one.

研究动机与目标

• 使用连续C*-丛构造，计算扭曲高阶图C*-代数的K-理论。
• 将Elliott对旋转代数的K-理论计算推广至具有扭曲关系的高阶图C*-代数。
• 证明由圆周值2-上循环（通过实值上循环指数化得到）生成的扭曲k-图C*-代数的K-理论与未扭曲代数相同。
• 建立扭曲k-图C*-代数为Kirchberg代数且其K-理论在不同扭曲下同构的条件。

提出的方法

• 在阿贝尔群A的对偶群$ \widehat{A} $上构造C*-代数丛$ C^*(\Lambda, A, c) $，其中每个纤维为扭曲k-图C*-代数$ C^*(\Lambda, \chi \circ c) $，$ \chi \in \widehat{A} $为特征标。
• 通过改编Rieffel的论证方法，证明该丛是连续的，从而确保截面代数在K-理论分析中表现良好。
• 利用当$ \Lambda \times_d \mathbb{Z}^k $上的度数映射为上边界时，有$ C^*(\Lambda, \mathbb{R}, c_0) \cong C_0(\mathbb{R}) \otimes C^*(\Lambda) $，从而可将问题限制在紧区间上。
• 将限制代数$ C^*(\Lambda, \mathbb{R}, c_0)|_{[0,1]} $嵌入到$ C([0,1]) \otimes C^*(\Lambda \times_d \mathbb{Z}^k) $的纤维保持的$ \mathbb{Z}^k $-作用的半直积中，作为全角。
• 通过归纳法证明，从半直积到其纤维的商映射在K-理论上诱导同构。
• 利用Künneth公式的自然性，以及$ C^*(\Lambda) $到$ C^*(\Lambda, e^{itc_0}) $的包含映射在K-理论上诱导同构，最终得出$ K_*(C^*(\Lambda, e^{itc_0})) \cong K_*(C^*(\Lambda)) $。

实验结果

研究问题

• RQ1 当扭曲由实值2-上循环通过指数化得到时，扭曲高阶图C*-代数的K-理论是否依赖于扭曲？
• RQ2 能否通过连续代数丛的方法将非交换环面的K-理论计算推广至高阶图C*-代数？
• RQ3 在何种条件下，扭曲k-图C*-代数的K-理论同构于未扭曲代数的K-理论？
• RQ4 在何种条件下，扭曲k-图C*-代数是Kirchberg代数？不同扭曲下的此类代数何时同构？

主要发现

• 对于任意k-图$ \Lambda $上的实值2-上循环$ c_0 $，扭曲代数$ C^*(\Lambda, e^{itc_0}) $的K-理论同构于未扭曲代数$ C^*(\Lambda) $，即对所有$ t \in \mathbb{R} $，有$ K_*(C^*(\Lambda, e^{itc_0})) \cong K_*(C^*(\Lambda)) $。
• 在对偶群$ \widehat{A} $上构造的连续$ C_0(\widehat{A}) $-代数丛确保每个特征标$ \chi \in \widehat{A} $的纤维为$ C^*(\Lambda, \chi \circ c) $，从而实现不同扭曲下的K-理论比较。
• 当$ A = \mathbb{R} $时，限制代数$ C^*(\Lambda, \mathbb{R}, c_0)|_{[0,1]} $同构于$ C([0,1]) \otimes C^*(\Lambda) $，因此所有纤维诱导出同构的K-理论映射。
• 当$ \Lambda $为非周期、共终、行有限且无源，且每个顶点均可从具有进入边的广义循环到达时，对所有$ t \in \mathbb{R} $，代数$ C^*(\Lambda, \omega_t \circ c) $均为Kirchberg代数，且其K-理论同构。
• 扭曲Heegaard型量子球面$ C(S^3_{00\theta}) $的K-理论在$ K_0 $和$ K_1 $中均为$ \mathbb{Z} \oplus \mathbb{Z} $，与已知结果一致。
• 在所述条件下，由于K-理论匹配且应用Kirchberg-Phillips分类定理，对所有$ t \in \mathbb{R} $，有同构$ C^*(\Lambda, \omega_t \circ c) \cong C^*(\Lambda) $。