[论文解读] Realising the C*-algebra of a higher-rank graph as an Exel crossed product

Nathan Brownlowe|arXiv (Cornell University)|Dec 23, 2009

Advanced Operator Algebra Research被引用 4

一句话总结

本文从有限对齐的高阶图 $\Lambda$ 的边界路径空间构造了希尔伯特双模的乘积系统，证明了图 C*-代数 $C^*(\Lambda)$ 同构于该系统的库恩茨-尼卡-皮姆斯纳代数 $\mathcal{N}\mathcal{O}(X)$。本文引入了一种基于部分自同态与转移算子的新型半群交叉积构造，证明了 $C_0(\partial\Lambda) \rtimes_{\alpha,L} \mathbb{N}^k \cong C^*(\Lambda)$，从而在完全一般的情形下将高阶图 C*-代数实现为埃克尔型交叉积。

ABSTRACT

We use the boundary-path space of a finitely-aligned k-graph Λto construct a compactly-aligned product system X, and we show that the graph algebra C^*(Λ) is isomorphic to the Cuntz-Nica-Pimsner algebra NO(X). In this setting, we introduce the notion of a crossed product by a semigroup of partial endomorphisms and partially-defined transfer operators by defining it to be NO(X). We then compare this crossed product with other definitions in the literature.

研究动机与目标

• 将埃克尔的交叉积构造推广至非单位 C*-代数的局部自同态与转移算子的半群。
• 将图 C*-代数作为交叉积的实现从局部有限图推广至所有有限对齐的 $k$-图。
• 从 $k$-图 $\Lambda$ 的边界路径空间 $\partial\Lambda$ 构造一个乘积系统 $X$，确保库恩茨-尼卡-皮姆斯纳代数的紧致对齐性，使其定义良好。
• 证明库恩茨-尼卡-皮姆斯纳代数 $\mathcal{N}\mathcal{O}(X)$ 同构于图 C*-代数 $C^*(\Lambda)$，从而将 $C^*(\Lambda)$ 实现为埃克尔交叉积。

提出的方法

• 利用边界路径空间 $\partial\Lambda$ 和移位映射 $\sigma_n$，在 $\mathbb{N}^k$ 上构造 $C_0(\partial\Lambda)$-双模的希尔伯特乘积系统 $X$。
• 基于西姆斯与尤恩德关于紧致对齐乘积系统的框架，将库恩茨-尼卡-皮姆斯纳代数 $\mathcal{N}\mathcal{O}(X)$ 定义为库恩茨-尼卡-皮姆斯纳协变表示的普遍 C*-代数。
• 利用 $\partial\Lambda$ 上的移位映射 $\sigma_n$，在 $C_0(\partial\Lambda)$ 上定义部分自同态 $\alpha_n$ 和部分定义的转移算子 $L_n$，由于缺乏局部有限性，这些映射并非处处定义。
• 通过将 $\mathcal{N}\mathcal{O}(X)$ 定义为 $C_0(\partial\Lambda) \rtimes_{\alpha,L} \mathbb{N}^k$，引入一种新的交叉积 $C_0(\partial\Lambda) \rtimes_{\alpha,L} \mathbb{N}^k$，将埃克尔与拉尔森的构造推广至部分作用的情形。
• 通过柱集与极小路径的详细分析，证明乘积系统 $X$ 是紧致对齐的，这对规范不变唯一性定理及 $\mathcal{N}\mathcal{O}(X)$ 的定义良好性至关重要。
• 通过验证库恩茨-尼卡-皮姆斯纳协变关系并利用 $\mathcal{N}\mathcal{O}(X)$ 的普遍性质，建立一个典范的 $*$-同构 $C^*(\Lambda) \to \mathcal{N}\mathcal{O}(X)$。

实验结果

研究问题

• RQ1 能否通过部分自同态与转移算子的半群，将有限对齐的 $k$-图的 C*-代数实现为埃克尔交叉积？
• RQ2 当无限路径空间非局部紧致时，如何从 $k$-图的边界路径空间构造希尔伯特双模的乘积系统？
• RQ3 何种条件可确保与 $k$-图相关的乘积系统的库恩茨-尼卡-皮姆斯纳代数同构于图 C*-代数 $C^*(\Lambda)$？
• RQ4 该新型交叉积构造与埃克尔、拉尔森及罗伊尔的现有定义在高阶图背景下有何关联？
• RQ5 边界路径乘积系统 $X$ 的库恩茨-尼卡-皮姆斯纳代数 $\mathcal{N}\mathcal{O}(X)$ 是否由规范不变唯一性定理普遍刻画？

主要发现

• 对于任意有限对齐的 $k$-图 $\Lambda$，其边界路径乘积系统 $X$ 的库恩茨-尼卡-皮姆斯纳代数 $\mathcal{N}\mathcal{O}(X)$ 同构于图 C*-代数 $C^*(\Lambda)$，从而将 $C^*(\Lambda)$ 作为库恩茨-尼卡-皮姆斯纳代数实现为普遍构造。
• 从 $\partial\Lambda$ 构造的乘积系统 $X$ 是紧致对齐的，这确保了 $\mathcal{N}\mathcal{O}(X)$ 存在规范不变唯一性定理，这是本文附录中证明的关键技术结果。
• 交叉积 $C_0(\partial\Lambda) \rtimes_{\alpha,L} \mathbb{N}^k$ 定义为 $\mathcal{N}\mathcal{O}(X)$，为高阶图 C*-代数提供了一种新的埃克尔型交叉积构造，包含部分自同态与转移算子。
• 同构 $C^*(\Lambda) \cong \mathcal{N}\mathcal{O}(X)$ 是典范的，并保持规范作用，证实了西姆斯与尤恩德的库恩茨-尼卡-皮姆斯纳协变条件是 $k$-图的正确普遍框架。
• 该构造推广了先前结果：它将埃克尔交叉积对图代数的实现推广至无需局部有限性或无源点的 $k$-图，从而覆盖了所有有限对齐的 $k$-图。
• 本文建立了新交叉积与现有构造之间的精确关系，表明其同时推广了拉尔森的半群交叉积与埃克尔的单自同态交叉积在高阶图背景下的情形。