[论文解读] Uniformly continuous orbit equivalence of Markov shifts and gauge actions on Cuntz-Krieger algebras

Kengo Matsumoto|arXiv (Cornell University)|Jul 19, 2016

Advanced Operator Algebra Research参考文献 13被引用 3

一句话总结

本文引入了均匀连续轨道等价（UCOE）作为单边拓扑马尔可夫移位中连续轨道等价（COE）的改进形式，将其与康茨-克里格代数上的规范作用联系起来。研究证明UCOE蕴含强连续轨道等价（SCOE），并提供了反例表明逆命题不成立，从而厘清了符号动力系统与C*-代数分类中轨道等价关系的层级结构。

ABSTRACT

We introduce a notion of uniformly continuous orbit equivalence as a subequivalence relation of continuous orbit equivalence of one-sided topological Markov shifts. It is described in terms of gauge actions on the associated Cuntz-Krieger algebras and continuous full groups of the Markov shifts.

研究动机与目标

• 为单边拓扑马尔可夫移位中的均匀连续轨道等价（UCOE）定义并研究其作为连续轨道等价（COE）的子等价关系。
• 通过康茨-克里格代数及其移位空间的连续全群，以代数方式刻画UCOE。
• 厘清UCOE、SCOE、COE及其他轨道等价关系之间的关系，并探讨其对C*-代数同构的影响。
• 提供反例表明UCOE不蕴含COE或SCOE的逆命题，并分析AF代数与$K_0$-群在区分这些类中的作用。
• 研究轨道等价关系在多大程度上对应于康茨-克里格代数及其固定点子代数的同构。

提出的方法

• 通过满足$\sigma_B^{k_1(x)}(h(\sigma_A(x))) = \sigma_B^{l_1(x)}(h(x))$对所有$x \in X_A$成立的连续函数$k_1, l_1: X_A \to \bbZ_+$定义均匀连续轨道等价，其中协胞函数具有均匀连续性。
• 将UCOE与康茨-克里格代数$\cO_A$上的规范作用$\rho_t^A$联系起来，特别关注固定点子代数$\cF_A$及其$K_0$-群。
• 利用连续全群$\Gamma_A$及其AF子群$\Gamma_A^{\text{AF}}$刻画保持有限维子代数的同胚。
• 应用由轨道等价诱导的同态$\Psi_h: C(X_B, \bbZ) \to C(X_A, \bbZ)$，比较$H^A = C(X_A, \bbZ)/\{g - g \circ \sigma_A\}$中的上同调类。
• 使用维数群$K_0(\cF_A)$与类$[1] \in K_0(\cF_A)$来区分非同构的AF代数，表明$K_0(\cF_{B_2}) \not\cong K_0(\cF_{A_2})$。
• 通过矩阵$A_2, A_4, B_2, F_2, B_3, C_3$构造显式反例，以证明轨道等价层级中的非等价性。

实验结果

研究问题

• RQ1 在单边拓扑马尔可夫移位中，均匀连续轨道等价（UCOE）是否蕴含强连续轨道等价（SCOE）？
• RQ2 UCOE能否通过康茨-克里格代数上的规范作用及其固定点子代数进行代数刻画？
• RQ3 UCOE蕴含SCOE的逆命题是否恒成立？是否存在反例？
• RQ4 AF固定点代数$\cF_A$与$\cF_B$的$K_0$-群在区分UCOE与COE类方面起什么作用？
• RQ5 UCOE在多大程度上对应于康茨-克里格代数及其对角子代数$\cD_A$的同构？

主要发现

• UCOE蕴含SCOE，因为若$c_1 = 1_{X_A}$且$c_2 = 1_{X_B}$，则协胞函数为常数，从而导致强轨道等价。
• 存在例子满足$\cO_{A_2} \cong \cO_{A_4}$但$\cO_{A_2} \not\cong \cO_{A_4}$在UCOE下成立，表明UCOE严格强于COE。
• AF代数$\cF_{B_2}$满足$K_0(\cF_{B_2}) \cong \bbZ^3$且$[1] = 3$，而$\cF_{A_2}$满足$K_0(\cF_{A_2}) \cong \bbZ[1/2]$且$[1] = 1$，因此$\cF_{B_2} \not\cong \cF_{A_2}$，这意味着$\text{UCOE} \not\Rightarrow \text{COE}$在逆向上不成立。
• 双侧移位$\bar{X}_{A_2}$与$\bar{X}_{F_2}$不拓扑共轭，但$\cO_{A_2} \cong \cO_{F_2}$且$\det(\text{id} - A_2) = \det(\text{id} - F_2)$，因此$\text{COE}$成立但$\text{SCOE}$不成立。
• 尽管其双侧移位共轭，AF代数$\cF_{B_3}$与$\cF_{C_3}$不彼此同构，表明$\text{COE} \not\Rightarrow \text{UCOE}$在逆向上不成立。
• 从最终单侧共轭到双侧共轭的蕴含关系的逆命题仍为开放问题，如论文中所指出。