[论文解读] Crossed products of k-graph C*-algebras by Z^l

Cyntyhia Farthing, David Pask+1 more|ArXiv.org|Jun 25, 2007

Advanced Operator Algebra Research参考文献 21被引用 24

一句话总结

该论文从一个k-图Λ和Λ上的Z^l作用α构造了一个(k+l)-图，证明该(k+l)-图的C*-代数与C*(Λ) ×_α Z^l的半直积之间存在自然同构。其关键贡献在于，该同构结果在无需假设作用自由的情况下成立，突破了以往莫里塔等价结果对自由性的要求，从而可通过皮姆斯纳-瓦伊库勒斯库正合序列实现K-理论计算。

ABSTRACT

An action of Z^l by automorphisms of a k-graph induces an action of Z^l by automorphisms of the corresponding k-graph C*-algebra. We show how to construct a (k+l)-graph whose C*-algebra coincides with the crossed product of the original k-graph algebra by Z^l. We then investigate the structure of the crossed-product C*-algebra.

研究动机与目标

• 构造一个(k+l)-图，使其C*-代数与k-图C*-代数关于Z^l作用的半直积同构。
• 通过提出即使在作用非自由时也成立的同构结果，克服以往结果必须依赖作用自由性的局限。
• 使图C*-代数技术可应用于研究半直积C*-代数，特别是实现K-理论计算。
• 将广义的斜积构造推广至Z^l作用，扩展框架以包含非自由作用的情形。

提出的方法

• 从k-图Λ和Λ上的Z^l作用α出发，通过广义斜积构造定义一个半直积(k+l)-图Λ ×_α Z^l。
• 证明Λ上的作用α诱导出C*(Λ)上的作用α̃，并利用自然同构证明C*(Λ ×_α Z^l) ≅ C*(Λ) ×_α̃ Z^l。
• 利用[21]中关于高阶图C*-代数简化性的最新刻画，确定C*(Λ ×_α Z^l)为单代数的条件。
• 应用皮姆斯纳-瓦伊库勒斯库正合序列，当l=1时计算C*(Λ ×_α Z)的K-理论，通过同构将半直积的K-理论与原始代数的K-理论关联。
• 建立由作用诱导的映射与关联矩阵A^t和B^t的转置之间在余核与核上的同构，从而通过矩阵代数实现K-理论计算。
• 在阿贝尔群的交换图中应用十六项引理，推导出中间行的正合性，从而导出K-理论公式(6.1)和(6.2)。

实验结果

研究问题

• RQ1 能否构造一个(k+l)-图，使其C*-代数与k-图C*-代数关于Z^l作用的半直积同构，即使该作用非自由？
• RQ2 C*(Λ ×_α Z^l)与C*(Λ) ×_α̃ Z^l之间的同构如何依赖于作用α在k-图Λ上的组合结构？
• RQ3 k-图Λ与作用α需满足何种条件，才能使半直积C*-代数C*(Λ) ×_α̃ Z^l为单代数？
• RQ4 C*(Λ ×_α Z)的K-理论能否通过皮姆斯纳-瓦伊库勒斯库正合序列计算？其与C*(Λ)的K-理论有何关联？
• RQ5 矩阵表示A和B在多大程度上可用于通过(1 - A^t)和(1 - B^t)的余核与核来计算交叉积的K_0与K_1？

主要发现

• 所构造的(k+l)-图Λ ×_α Z^l满足其C*-代数与半直积C*(Λ) ×_α̃ Z^l之间存在自然同构，即使作用α非自由亦成立。
• C*(Λ ×_α Z^l)与C*(Λ) ×_α̃ Z^l之间的同构在无需作用自由的条件下成立，解决了早期莫里塔等价结果的局限性。
• C*(Λ ×_α Z^l)的简化性通过Λ的组合性质与作用α的框架（基于[21]）得以刻画。
• 当l=1时，C*(Λ ×_α Z)的K-理论通过皮姆斯纳-瓦伊库勒斯库正合序列计算，使矩阵工具得以应用。
• K-理论群K_*(C*(Λ ×_α Z))以(1 - A^t)和(1 - B^t)的余核与核表示，并建立了这些群与K-理论上对应映射之间的显式同构。
• 当K_1(C*(Λ)) = 0时，阿贝尔群图中上下两行的正合性意味着中间行的正合性，从而导出K-理论公式(6.1)和(6.2)。