[论文解读] Removing sources from higher-rank graphs

Cynthia Farthing|ArXiv.org|Mar 2, 2006

Advanced Operator Algebra Research参考文献 17被引用 15

一句话总结

本文提出了一种去奇异化构造方法，可将含源的行有限高阶图转化为无源的高阶图，确保原图的 C*-代数是新图 C*-代数的一个全角（full corner）。该方法将有向图的去奇异化推广至高阶图，使能应用更简单的 Cuntz-Krieger 关系，并将 K-理论与单性结果扩展至更广泛的高阶图 C*-代数类。

ABSTRACT

For a higher-rank graph $Λ$ with sources we detail a construction that creates a higher-rank graph $\barΛ$ that does not have sources and contains $Λ$ as a subgraph. Furthermore, when $Λ$ is row-finite, the Cuntz-Krieger algebra of $Λ$ is a full corner of $C^*(\barΛ)$, the Cuntz-Krieger algebra of $\barΛ$.

研究动机与目标

• 为解决高阶图中源带来的技术挑战，这些源会阻碍标准 Cuntz-Krieger 关系与群胚模型的应用。
• 将有向图的去奇异化技术推广至高阶图，使能对非无源 k-图的 C*-代数进行研究。
• 从任意行有限的含源 k-图 $\Lambda$ 构造一个行有限且无源的高阶图 $\overline{\Lambda}$。
• 确保原图的 C*-代数 $C^*(\Lambda)$ 是新图 C*-代数 $C^*(\overline{\Lambda})$ 的一个全角，从而保持 Morita 等价性，并实现结构性质的转移。
• 为将 K-理论与单性结果（此前仅对无源 k-图成立）推广至更一般的、可能含源的 k-图 C*-代数奠定基础。

提出的方法

• 对于原 k-图 $\Lambda$ 中的每个源 $v$，附加一个 $\Omega_{k,\infty}$ 的副本，其作用类似于有向图去奇异化中的‘头部’。
• 该构造确保扩展后的图 $\overline{\Lambda}$ 是行有限的，并满足因子化性质，从而保持 k-图结构。
• 扩展设计使得 $\Lambda$ 中的路径可作为子路径嵌入 $\overline{\Lambda}$ 中，保持度函数与范畴结构。
• 通过与原顶点集相关的投影，将 C*-代数 $C^*(\Lambda)$ 实现为 $C^*(\overline{\Lambda})$ 的一个全角。
• 该方法利用边界路径 $\Lambda^{\leq\infty}$ 的存在性来识别源，并指导扩展过程。
• 该构造避免引入新源，且确保扩展图保持局部凸性，从而可使用 [10] 中更简单的 Cuntz-Krieger 关系。

实验结果

研究问题

• RQ1 能否为高阶图开发一种去奇异化过程，以在去除源的同时通过 Morita 等价性保持 C*-代数结构？
• RQ2 如何将有向图的去奇异化推广至高阶图，特别是保持因子化性质与行有限性？
• RQ3 在何种条件下，原 k-图的 C*-代数是去奇异化后 k-图 C*-代数的一个全角？
• RQ4 能否利用此去奇异化方法将无源 k-图的 K-理论与单性结果推广至更一般的 k-图？
• RQ5 是否可能将去奇异化方法扩展以处理 k-图中的无限接收端，使用边界路径或类似结构？

主要发现

• 所构造的高阶图 $\overline{\Lambda}$ 即使在原图 $\Lambda$ 含源时，也是行有限且无源的。
• C*-代数 $C^*(\Lambda)$ 同构于 $C^*(\overline{\Lambda})$ 的一个全角，意味着强 Morita 等价。
• 该去奇异化过程通过在每个源顶点处附加 $\Omega_{k,\infty}$ 的副本，推广了 1-图的去奇异化方法。
• 该方法使能使用 [10] 中更简单的 Cuntz-Krieger 关系，而非针对有限对齐 k-图的复杂关系。
• 该构造保持了研究 K-理论与理想结构的能力，因为这些性质在 Morita 等价下保持不变。
• 路径 $\Lambda^{\leq\infty}$ 的存在有助于识别源并指导扩展过程，提示了向无限接收端去奇异化路径的可能性。