[论文解读] Periodic higher rank graphs revisited

Dilian Yang|arXiv (Cornell University)|Mar 26, 2014

Graph theory and applications参考文献 13被引用 3

一句话总结

本文提出了一套系统框架，通过P-图的拉回与上推，分析周期性高阶图，其中P为有限生成的可约交换幺半群。研究证明，周期性P-图Λ同构于其非周期性上推Λ/∼的拉回，并表明其C*-代数嵌入到上推的C*-代数与C*(PerΛ)的张量积中，从而得出循环子代数M为极大交换子代数（MASA）。

ABSTRACT

Let $P$ be a finitely generated cancellative abelian monoid. A $P$-graph $Λ$ is a natural generalization of a higher rank graph. A pullback of $Λ$ is constructed by pulling it back over a given monoid morphism to $P$, while a pushout of $Λ$ is obtained by modding out its periodicity $\PerΛ$, which is deduced from a natural equivalence relation on $Λ$. One of our main results in this paper shows that, for a class of higher rank graphs $Λ$, $Λ$ is isomorphic to the pullback of its pushout via a natural quotient map, and that its graph C*-algebra can be embedded into the tensor product of the graph C*-algebra of its pushout and $\ca(\PerΛ)$. As a consequence, its cycline C*-algebra generated by the standard generators with equivalent pairs is an abelian core (particularly a MASA). Along the way, we give an in-depth study on periodicity of $P$-graphs.

研究动机与目标

• 开发一个分析P-图周期性的通用框架，推广k-图与高阶图。
• 定义并研究通过商去周期性得到的P-图上推，从而得到一个非周期性商图。
• 建立原始P-图同构于其上推的拉回，从而连接周期性与非周期性结构。
• 证明高阶图的循环C*-子代数M是其C*-代数中的极大交换子代数（MASA），解决[2]中提出的问题。
• 表明循环子代数M同构于规范对角代数与C*(PerΛ)的张量积，并存在忠实的条件期望。

提出的方法

• 通过幺半群同态f:P→Q构造Q-图Γ的拉回f*Γ，推广[3]中的拉回构造。
• 基于路径的初始与终点度数定义P-图Λ上的等价关系∼，并定义PerΛ为等价路径差值生成的群。
• 构造Λ/∼为P在商映射q下的像上的商图，形成q(P)-图。
• 通过因式分解与度数比较论证，在适当条件下证明上推Λ/∼为非周期性。
• 建立同构Λ ≅ q*(Λ/∼)，表明原始图可作为其上推的拉回被恢复。
• 利用嵌入定理证明C*(Λ)嵌入C*(Λ/∼) ⊗ C*(PerΛ)，并利用循环子代数M的结构。

实验结果

研究问题

• RQ1 周期性P-图的结构能否通过其上推的拉回被重构？
• RQ2 在何种条件下P-图的上推为非周期性？
• RQ3 高阶图的循环子代数M是否为其C*-代数中的极大交换子代数（MASA）？
• RQ4 周期性P-图的C*-代数能否嵌入其上推的C*-代数与C*(PerΛ)的张量积中？
• RQ5 循环子代数M在规范对角代数与周期单位元方面的精确结构为何？

主要发现

• 原始P-图Λ同构于其上推Λ/∼的拉回，即Λ ≅ q*(Λ/∼)，建立了周期性与非周期性结构之间的对偶性。
• 图C*-代数C*(Λ)嵌入张量积C*(Λ/∼) ⊗ C*(PerΛ)，且该嵌入在一般情况下为最优。
• 由等价路径对生成的循环子代数M同构于D_Λ ⊗ C*(PerΛ)，其中D_Λ为规范对角代数。
• 循环子代数M是C*(Λ)的极大交换子代数（MASA），且存在从C*(Λ)到M的忠实条件期望。
• C*(Λ)中对角代数D_Λ的交换补 precisely 为M，确认M是C*(Λ)的阿贝尔核心。
• 若Λ有限且共终，则C*(Λ/∼)为单代数，且C*(Λ)的中心为C*(W_h : h ∈ PerΛ)，推广了关于单性与中心的已知结果。