[论文解读] Topological conjugacy of topological Markov shifts and Ruelle algebras

Kengo Matsumoto|arXiv (Cornell University)|Jun 22, 2017

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

一句话总结

本文证明，对于由不可约、非周期且非置换矩阵定义的两向拓扑马尔可夫移位，其扩展的Ruelle C*-代数 $\widetilde{\mathcal{R}}_A$，配备其典范环面作用和交换子代数 $C(\bar{X}_A)$，是拓扑共轭的完全不变量。关键结果是：在逆温度 $\log \beta$ 处的KMS态，其中 $\beta$ 为Perron–Frobenius特征值，唯一地延拓了移位空间上的Parry测度，从而通过 $\widetilde{\mathcal{R}}_A$ 的K-理论提供了可计算的不变量。渐近Ruelle代数 $\mathcal{R}_A$ 及其圆作用同样刻画了共轭关系，但扩展版本提供了更强的、完全的不变量。

ABSTRACT

We will characterize topologically conjugate two-sided topological Markov shifts $(\bar{X}_A,\barσ_A)$ in terms of the associated asymptotic Ruelle $C^*$-algebras ${\mathcal{R}}_A$ with its commutative $C^*$-subalgebras $C(\bar{X}_A)$ and the canonical circle actions. We will also show that extended Ruelle algebras ${\widetilde{\mathcal{R}}}_A$, which are purely infinite version of the asymptotic Ruelle algebras, with its commutative $C^*$-subalgebras $C(\bar{X}_A)$ and the canonical torus actions $γ^A$ are complete invariants for topological conjugacy of two-sided topological Markov shifts. We then have a computable topological conjugacy invariant, written in terms of the underlying matrix, of a two-sided topological Markov shift by using K-theory of the extended Ruelle algebra. The diagonal action of $γ^A$ has a unique KMS-state on ${\widetilde{\mathcal{R}}}_A$, which is an extension of the Parry measure on $\bar{X}_A$.

研究动机与目标

• 通过C*-代数不变量刻画两向拓扑马尔可夫移位的拓扑共轭性。
• 证明扩展的Ruelle代数 $\widetilde{\mathcal{R}}_A$，连同其环面作用和交换子代数 $C(\bar{X}_A)$，是此类移位拓扑共轭的完全不变量。
• 利用源自底层矩阵 $A$ 的 $\widetilde{\mathcal{R}}_A$ 的K-理论，建立拓扑共轭的可计算不变量。
• 证明在逆温度 $\log \beta$ 处 $\widetilde{\mathcal{R}}_A$ 上唯一的KMS态限制到 $\bar{X}_A$ 时，与Parry测度一致，其中 $\beta$ 为 $A$ 的Perron–Frobenius特征值。

提出的方法

• 本文将渐近Ruelle代数 $\mathcal{R}_A$ 构造为渐近étale群胚 $G_A^a \rtimes \mathbb{Z}$ 的群胚C*-代数，以捕捉移位系统的渐近动力学。
• 将此构造扩展至 $\widetilde{\mathcal{R}}_A = C^*(G_A^{s,u} \rtimes \mathbb{Z}^2)$，引入稳定与不稳定等价关系，得到一个带有典范环面作用 $\gamma^A$ 的单位元、纯无限C*-代数。
• 利用 $\mathcal{R}_A$ 上的典范圆作用 $\rho^A_t$ 和 $\widetilde{\mathcal{R}}_A$ 上的环面作用 $\gamma^A$ 定义动力学不变量，以对分类移位系统。
• 利用矩阵 $A$ 的Perron–Frobenius特征向量理论，推导出转移概率 $p_n(i,j)$ 的渐近公式，表明其按比例 $\frac{1}{\beta^{n+1}} b_i a_j$ 衰减，其中 $a_j, b_i$ 分别为 $A$ 与 $A^t$ 的归一化Perron–Frobenius特征向量。
• 证明在逆温度 $\log \gamma$ 处 $\widetilde{\mathcal{R}}_A$ 上的KMS态存在且唯一，当且仅当 $\gamma = \beta$，即 $A$ 的Perron–Frobenius特征值。
• 证明该KMS态在 $C(\bar{X}_A)$ 上的限制与 $\bar{X}_A$ 上由Parry测度定义的态一致，从而在C*-代数结构与移位空间的不变测度之间建立了深层联系。

实验结果

研究问题

• RQ1 两向拓扑马尔可夫移位的拓扑共轭性能否被C*-代数不变量完全刻画？
• RQ2 扩展的Ruelle代数 $\widetilde{\mathcal{R}}_A$ 连同其环面作用，是否为这类移位的拓扑共轭的完全不变量？
• RQ3 在逆温度 $\log \beta$ 处 $\widetilde{\mathcal{R}}_A$ 上的KMS态是否唯一地延拓了 $\bar{X}_A$ 上的Parry测度？
• RQ4 能否通过 $\widetilde{\mathcal{R}}_A$ 的K-理论，以矩阵 $A$ 的形式提供拓扑共轭的可计算不变量？
• RQ5 Perron–Frobenius特征值 $\beta$ 与 $\widetilde{\mathcal{R}}_A$ 上KMS态的存在性及唯一性之间的确切关系为何？

主要发现

• 对于由不可约、非周期且非置换矩阵定义的两向拓扑马尔可夫移位，其扩展Ruelle代数 $\widetilde{\mathcal{R}}_A$ 连同其典范环面作用 $\gamma^A$ 与交换子代数 $C(\bar{X}_A)$ 构成拓扑共轭的完全不变量。
• 在作用 $\delta^A$ 下，$\widetilde{\mathcal{R}}_A$ 上的KMS态存在，当且仅当逆温度为 $\log \beta$，其中 $\beta$ 为 $A$ 的Perron–Frobenius特征值，且该态唯一。
• $\widetilde{\mathcal{R}}_A$ 上唯一KMS态在 $C(\bar{X}_A)$ 上的限制与 $\bar{X}_A$ 上由Parry测度定义的态一致，建立了遍历理论与C*-动力系统之间的深刻联系。
• 移位空间中状态 $i$ 与 $j$ 之间的渐近转移概率 $p_n(i,j)$ 满足 $p_n(i,j) = \frac{1}{\beta^{n+1}} b_i a_j$，其中 $a_j, b_i$ 分别为 $A$ 与 $A^t$ 的归一化Perron–Frobenius特征向量。
• $\widetilde{\mathcal{R}}_A$ 的K-理论为移位系统提供了可计算的拓扑共轭不变量，且可完全用矩阵 $A$ 表示。
• 渐近Ruelle代数 $\mathcal{R}_A$ 连同其圆作用也刻画了拓扑共轭，但扩展版本 $\widetilde{\mathcal{R}}_A$ 因具有更丰富的环面对称性，提供了更强的、完全的不变量。