[论文解读] Corners of graph algebras

Tyrone Crisp|arXiv (Cornell University)|Mar 28, 2005

Advanced Operator Algebra Research参考文献 26被引用 16

一句话总结

该论文在群标号导出的路径有限性与行有限性条件下，构造了一个有向图，其C*-代数同构于图C*-代数的一个角落 $ P_X C^*(E) P_X $。关键结果表明，当标号满足基尔霍夫型电压定律时，此类角落可作为图代数实现，从而推广了已知构造，并适用于离散共作用在图代数上的固定点代数。

ABSTRACT

It is known that given a directed graph E and a subset X of vertices, the sum of the projections associated to the vertices in X in the C*-algebra of E converges strictly in the multiplier algebra to a projection P. Here we give a construction which, in certain cases, produces a directed graph F whose C*-algebra is isomorphic to the corner P(C*(E))P. Corners of this type arise naturally as the fixed point algebras of discrete coactions on graph algebras related to labellings. We prove this fact, and show that our construction is applicable to such a case whenever the labelling satisfies an analogue of Kirchhoff's voltage law.

研究动机与目标

• 提供一种构造性方法，将图C*-代数的角落 $ P_X C^*(E) P_X $ 实现为另一有向图的C*-代数。
• 克服先前构造的局限性：当 $ X $ 的遗传补集包含环、汇点或无限发出点时，这些构造会失效。
• 建立条件，使得图代数上的离散共作用的固定点代数通过一种新的图构造与图代数同构。
• 通过在斜积图中引入有向子树的新方法，推广了去奇异化与加尾技术。

提出的方法

• 在斜积图 $ E imes_c G $ 中构造一个有向子树 $ T $，其中 $ G $ 是离散群，$ c $ 是边的标号，且根位于 $ E^0 \times \{1_G\} $。
• 通过施加标号条件，确保子树 $ T $ 同时满足行有限性与路径有限性：对每个无限路径 $ \mu \in E^\infty $，存在 $ i \in \mathbb{N} $，使得 $ c(\mu_1 \cdots \mu_i) = 1_G $。
• 利用 $ T $ 的结构定义一个新图 $ F $，使得 $ C^*(F) \cong P_X C^*(E) P_X $，其中 $ X = H_E(X) $ 为根集的遗传闭包。
• 将该构造应用于离散共作用的固定点代数，证明当标号满足电压定律时，固定点代数通过相同方法同构于一个图代数。
• 利用傅里叶变换将 $ C^*(E) $ 上的群作用与共作用联系起来，使该角落构造可应用于量子透镜空间等代数。
• 证明该构造适用于单位图代数，并可扩展至此类代数的直极限，从而扩大其适用范围。

实验结果

研究问题

• RQ1 在何种条件下，图C*-代数的角落 $ P_X C^*(E) P_X $ 可作为另一有向图的C*-代数实现？
• RQ2 该角落作为图代数的构造能否推广至遗传补集中存在环、汇点或无限发出点的情形？
• RQ3 当图被离散群标号且满足基尔霍夫型电压定律时，是否能保证诱导共作用下的关联固定点代数同构于图代数？
• RQ4 与添加尾部至汇点或Drinen-Tomforde去奇异化等现有方法相比，该新构造在适用性与结构假设方面有何异同？
• RQ5 该方法能否应用于单位图代数及其直极限，从而将适用范围扩展至一般图C*-代数？

主要发现

• 当斜积图 $ E \times_c G $ 允许一个以 $ E^0 \times \{1_G\} $ 为根、顶点集为 $ H_{E \times_c G}(E^0 \times \{1_G\}) $ 的行有限且路径有限的有向子树时，本文构造了一个有向图 $ F $，使得 $ C^*(F) \cong P_X C^*(E) P_X $。
• 对于单位图代数，这样的子树总是存在，因此该构造可普遍应用于该类代数。
• 当 $ E $ 行有限，且标号 $ c $ 满足每个无限路径 $ \mu \in E^\infty $ 都存在一个前缀，其总标号为单位元时，所需的子树存在，从而保证角落是图代数。
• 由群标号 $ c $ 导出的离散共作用 $ \delta $ 的固定点代数 $ C^*(E)^\delta $，若 $ c $ 满足电压定律条件，则同构于一个图代数。
• 该构造推广了量子透镜空间的构造：在 $ C^*(E) $ 上的规范作用的固定点代数同构于一个斜积图代数的角落，而该角落本身即为图代数。
• 该方法适用于单位图代数的直极限，表明每个图代数均可作为该构造适用的图代数的直极限来逼近。