[论文解读] Twisted relative Cuntz-Krieger algebras associated to finitely aligned higher-rank graphs

Benjamin Whitehead|arXiv (Cornell University)|Oct 25, 2013

Advanced Operator Algebra Research参考文献 8被引用 5

一句话总结

本文通过使用取值于 $\mathbb{T}$ 的 2-上循环，在有限对齐的高秩图上引入了扭曲的相对 Cuntz-Krieger 代数，建立了规范作用与规范不变唯一性定理，并通过饱和下闭集与有限穷尽族的饱合集，提供了对规范不变理想的一种完整的图论分类。

ABSTRACT

To each finitely aligned higher-rank graph $Λ$ and each $\mathbb{T}$-valued 2-cocycle on $Λ$, we associate a family of twisted relative Cuntz-Krieger algebras. We show that each of these algebras carries a gauge action, and prove a gauge-invariant uniqueness theorem. We describe an isomorphism between the fixed point algebras for the gauge actions on the twisted and untwisted relative Cuntz-Krieger algebras. We show that the quotient of a twisted relative Cuntz-Krieger algebra by a gauge-invariant ideal is canonically isomorphic to a twisted relative Cuntz-Krieger algebra associated to a subgraph. We use this to provide a complete graph-theoretic description of the gauge-invariant ideal structure of each twisted relative Cuntz-Krieger algebra.

研究动机与目标

• 将相对 Cuntz-Krieger 代数推广至包含取值于 $\mathbb{T}$ 的 2-上循环在有限对齐高秩图上的扭曲。
• 在扭曲的相对 Cuntz-Krieger 代数上建立规范作用，并证明规范不变唯一性定理。
• 通过图论数据（饱和下闭集与有限穷尽族的饱合集）描述规范不变理想的结构。
• 证明扭曲相对 Cuntz-Krieger 代数关于规范不变理想的商代数可自然同构于子图的扭曲相对 Cuntz-Krieger 代数。
• 基于底层高秩图的组合数据，提供对所有规范不变理想的完整显式分类。

提出的方法

• 通过在有限对齐的 $k$-图 $\Lambda$ 上使用 2-上循环 $c$ 的 Toeplitz-Cuntz-Krieger 家族来定义扭曲的相对 Cuntz-Krieger 代数。
• 引入间隙投影与边界路径，以分析代数的核心及其结构。
• 通过为生成元 $s_\lambda$ 赋予权重 $z^{d(\lambda)}$（其中 $z \in \mathbb{T}^k$）来构造扭曲代数上的规范作用。
• 利用忠实的条件期望与正交化余投影，分析规范作用下的固定点代数。
• 为核代数构造矩阵单位，以分析其结构与同构类型。
• 通过证明若一个 $*$-同态在核心上单射且保持规范作用，则其为同构，从而证明规范不变唯一性定理。

实验结果

研究问题

• RQ1 如何利用 2-上循环在有限对齐的高秩图上构造扭曲的相对 Cuntz-Krieger 代数？
• RQ2 这些扭曲代数上的规范作用具有何种结构？规范不变唯一性定理是否成立？
• RQ3 扭曲代数中的规范不变理想如何与子图及原图的组合数据相关联？
• RQ4 扭曲相对 Cuntz-Krieger 代数关于规范不变理想的商代数能否被自然实现为另一个扭曲相对 Cuntz-Krieger 代数？
• RQ5 是否存在对这类扭曲代数中所有规范不变理想的完整图论分类？

主要发现

• 在扭曲相对 Cuntz-Krieger 代数上，规范作用下的固定点代数与未扭曲版本的固定点代数自然同构。
• 扭曲相对 Cuntz-Krieger 代数关于规范不变理想的商代数，自然同构于与 $\Lambda$ 的子图相关的扭曲相对 Cuntz-Krieger 代数。
• 存在从 $C^*(\Lambda, c; \mathcal{E})$ 的规范不变理想到对 $(H, \mathcal{B})$ 的双射，其中 $H$ 是一个饱和下闭集，$\mathcal{B}$ 是 $\Lambda \setminus \Lambda H$ 中有限穷尽族的饱合集。
• $I_{H,\mathcal{B}}$ 是由 $\{s_\mathcal{E}(v) : v \in H\}$ 和 $\{Q(s_\mathcal{E})^E : E \in \mathcal{B}\}$ 生成的理想，恰好是映射到 $C^*(\Lambda \setminus \Lambda H, c; \mathcal{B})$ 的商映射的核。
• 规范不变唯一性定理确保，任何从 $C^*(\Lambda, c; \mathcal{E})$ 到另一 $C^*$-代数的 $*$-同态，若在核心上单射且保持规范作用，则必为同构。
• 规范不变理想的分类完全由 $\Lambda$ 的组合结构决定，其中 $H_{I_{H,\mathcal{B}}} = H$ 且 $\mathcal{B}_{I_{H,\mathcal{B}}} = \mathcal{B}$，从而证明了对应关系的双射性。