[论文解读] On twisted higher-rank graph C*-algebras

Alex Kumjian, David Pask+1 more|arXiv (Cornell University)|Dec 29, 2011

Advanced Operator Algebra Research参考文献 14被引用 4

一句话总结

本文通过引入k-图的范畴上同调，为扭曲的高阶图C*-代数建立了一个广群模型，证明了扭曲k-图C*-代数与扭曲广群C*-代数之间存在同构关系。本文证明了规范不变唯一性定理、Cuntz-Krieger唯一性定理，并表明所有此类代数均为核子代数且属于Bootstrap类。

ABSTRACT

We define the categorical cohomology of a k-graph Λ and show that the first three terms in this cohomology are isomorphic to the corresponding terms in the cohomology defined in our previous paper. This leads to an alternative characterisation of the twisted k-graph C*-algebras introduced there. We prove a gauge-invariant uniqueness theorem and use it to show that every twisted k-graph C*-algebra is isomorphic to a twisted groupoid C*-algebra. We deduce criteria for simplicity, prove a Cuntz-Krieger uniqueness theorem and establish that all twisted k-graph C*-algebras are nuclear and belong to the bootstrap class.

研究动机与目标

• 通过范畴上同调为扭曲k-图C*-代数提供一个广群模型。
• 建立扭曲k-图C*-代数与扭曲广群C*-代数之间的同构关系。
• 为扭曲k-图C*-代数证明规范不变唯一性定理。
• 表明所有扭曲k-图C*-代数均为核子代数且属于Bootstrap类。
• 通过上同调不变量刻画扭曲k-图C*-代数，并将唯一性定理推广至扭曲情形。

提出的方法

• 利用k-图$\Lambda$作为小范畴的单纯结构，引入其范畴上同调$\underline{H}^*(\Lambda,A)$。
• 通过k-图的中心扩张，证明立方上同调$H^2(\Lambda,\mathbb{T})$与范畴上同调$\underline{H}^2(\Lambda,\mathbb{T})$之间的同构关系。
• 定义k-图的阿贝尔群中心扩张，并证明其分类$\underline{H}^2(\Lambda,A)$。
• 从$\Lambda$上的$\mathbb{T}$-值2-上循环构造路径广群$\mathcal{G}_\Lambda$上的2-上循环。
• 利用Renault的广群C*-代数结构理论与斜积构造，将扭曲广群代数与扭曲k-图代数联系起来。
• 将规范不变唯一性定理与Cuntz-Krieger唯一性定理应用于广群模型，推导出代数的结构性质。

实验结果

研究问题

• RQ1 能否通过上同调构造将扭曲k-图C*-代数实现为扭曲广群C*-代数？
• RQ2 k-图上立方上同调与范畴上同调的2-上循环之间是否存在上同调同构？
• RQ3 k-图的中心扩张在分类扭曲k-图C*-代数中起什么作用？
• RQ4 扭曲k-图C*-代数是否满足类似于未扭曲情形的唯一性定理？
• RQ5 所有扭曲k-图C*-代数是否均为核子代数且属于Bootstrap类？

主要发现

• k-图上立方上同调与范畴上同调的前三个上同调群同构，其中$H^2(\Lambda,\mathbb{T}) \cong \underline{H}^2(\Lambda,\mathbb{T})$。
• 每个扭曲k-图C*-代数$C^*(\Lambda,\phi)$同构于一个扭曲广群C*-代数$C^*(\mathcal{G}_\Lambda, \sigma)$。
• 规范不变唯一性定理对扭曲k-图C*-代数成立。
• 为扭曲k-图C*-代数建立了Cuntz-Krieger唯一性定理。
• 所有扭曲k-图C*-代数均为核子代数且属于Bootstrap类$\mathcal{N}$，通过与AF代数的半直积的Morita等价性得以证明。
• k-图上的拉回与笛卡尔积构造在扭曲C*-代数上诱导相应运算，当$f$为满射时，有$C^*(f^*\Lambda, f^*c) \cong C^*(\Lambda,c) \otimes C(\mathbb{T}^{l-k})$。