[论文解读] KMS states on the C*-algebra of a higher-rank graph and periodicity in the path space

Astrid an Huef, Marcelo Laca+2 more|arXiv (Cornell University)|Apr 27, 2014

Advanced Operator Algebra Research被引用 5

一句话总结

本文通过识别唯一的首选动力学并证明极端KMS态由编码路径空间周期性的阿贝尔群的特征参数化，刻画了有限强连通k-图的C*-代数上的KMS态。关键结果是KMS单纯形与周期性群C*(PerΛ)的态空间之间存在完全同构，解决了杨的猜想，并揭示了非单代数中出人意料的相变。

ABSTRACT

We study the KMS states of the C*-algebra of a strongly connected finite k-graph. We find that there is only one 1-parameter subgroup of the gauge action that can admit a KMS state. The extreme KMS states for this preferred dynamics are parameterised by the characters of an abelian group that captures the periodicity in the infinite-path space of the graph. We deduce that there is a unique KMS state if and only if the k-graph C*-algebra is simple, giving a complete answer to a question of Yang. When the k-graph C*-algebra is not simple, our results reveal a phase change of an unexpected nature in its Toeplitz extension.

研究动机与目标

• 确定有限强连通k-图的C*-代数上首选动力学的KMS态的完整结构。
• 解决杨关于k-图C*-代数上KMS态的存在性与参数化的猜想。
• 识别支持KMS态的规范作用中唯一的1-参数子群。
• 以捕捉无限路径空间中周期性的阿贝尔群PerΛ来刻画极端KMS态。
• 揭示当k-图C*-代数非单时，Toeplitz扩张中相变的本质。

提出的方法

• 为一族交换的非负矩阵发展Perron-Frobenius理论，以分析k-图C*-代数上的动力学。
• 基于坐标矩阵的谱性质，识别出存在KMS态的唯一动力学（即“首选动力学”）。
• 构造一个从周期性群代数到k-图C*-代数的单射*-同态πU: C*(PerΛ) → C*(Λ)。
• 利用无限路径空间Λ^∞上的拟不变概率测度M，通过与向量态积分诱导KMS态。
• 应用Neshveyev的群胚方法研究KMS态，表明C*(PerΛ)的态空间同构于C*(Λ)的KMS单纯形。
• 证明KMS态φ由φ∘πU决定，并构造一个规范的KMS态φ₁作为对M的积分。

实验结果

研究问题

• RQ1 k-图C*-代数的规范作用中哪些1-参数子群支持KMS态？
• RQ2 当k-图有限且强连通时，C*(Λ)上的极端KMS态如何参数化？
• RQ3 周期性群PerΛ在k-图C*-代数的KMS态结构中起什么作用？
• RQ4 为何在非单k-图C*-代数中，KMS单纯形在临界逆温度处出人意料地扩展？
• RQ5 k-图C*-代数在何种条件下是单的，这与KMS态的唯一性有何关联？

主要发现

• 仅存在唯一一个支持KMS态的规范作用1-参数子群，称为“首选动力学”。
• 极端KMS态与编码无限路径空间Λ^∞中周期性的阿贝尔群PerΛ的特征之间存在一一对应。
• C*(Λ)的KMS单纯形与C*(PerΛ)的态空间同构，同构关系由φ ↦ φ∘πU给出。
• 当且仅当k-图C*-代数是单的时，存在唯一的KMS态，从而在一般情形下证实了杨的猜想。
• 当k-图C*-代数非单时，Toeplitz扩张在临界逆温度处表现出相变，KMS单纯形扩展，这与其它系统中常见的坍塌行为相反。
• 规范的KMS态φ₁被构造为对Λ^∞上测度M的积分，且其不一定在规范作用的固定点代数上支撑。