[论文解读] Continuous orbit equivalence, flow equivalence of Markov shifts and circle actions on Cuntz--Krieger algebras

Kengo Matsumoto|arXiv (Cornell University)|Jan 28, 2015

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

一句话总结

该论文通过连续轨道等价性和一阶上同调，建立了双侧拓扑马尔可夫移位的流等价性与稳定化康纽-克里格代数之间同构的对应关系，这些同构保持规范作用与圆周作用的交织。关键结果表明，流等价性意味着在稳定化代数上存在一个同构，该同构保持典范极大阿贝尔子代数，并通过酉一阶上同调交织扭曲的规范作用。

ABSTRACT

We will study torus actions on Cuntz--Krieger algebras trivially acting on its canonical maximal abelian $C^*$-subalgebras from the view points of continuous orbit equivalence of one-sided topological Markov shifts and flow equivalence of two-sided topological Markov shifts.

研究动机与目标

• 阐明双侧拓扑马尔可夫移位的流等价性与康纽-克里格代数结构之间的关系。
• 研究康纽-克里格代数上的圆周作用如何与连续轨道等价性和流等价性相关。
• 在动力等价性（连续轨道等价性、流等价性）与稳定化C*-代数的代数同构之间建立对应关系。
• 刻画何时两个康纽-克里格代数源于流等价的马尔可夫移位，通过保持典范极大阿贝尔子代数的同构并交织规范作用。

提出的方法

• 使用连续轨道等价性作为桥梁，连接单侧马尔可夫移位与保持典范极大阿贝尔C*-子代数的康纽-克里格代数同构。
• 应用帕里-萨利文结果，即流等价性由扩张和拓扑共轭生成，将问题简化为这些基本变换。
• 构造稳定化康纽-克里格代数（OA ⊗ K）与（OB ⊗ K）之间的同构，该同构保持典范极大阿贝尔子代数（DA ⊗ C）。
• 引入相对于扭曲规范作用 ρA,f ⊗ id 的酉一阶上同调，以交织由 f ∈ C(XA, ℤ) 诱导的自同构。
• 利用连续轨道等价性蕴含 OA 与 OB 之间保持 DA 和规范作用的同构这一事实，并通过与紧算子张量积扩展至稳定化代数。
• 依赖于先前工作（例如 [17]）中确立的结论：连续轨道等价性与保持典范极大阿贝尔子代数及规范作用的康纽-克里格代数同构之间等价。

实验结果

研究问题

• RQ1 单侧马尔可夫移位的连续轨道等价性如何与康纽-克里格代数的结构相关？
• RQ2 双侧马尔可夫移位的流等价性在康纽-克里格代数上对应的精确代数条件是什么？
• RQ3 康纽-克里格代数上的规范作用能否被提升为稳定化代数上的作用，以尊重流等价性？
• RQ4 酉一阶上同调在流等价诱导的同构下，如何在交织扭曲规范作用中发挥作用？
• RQ5 移位空间的有序K-理论如何与这类同构的存在性相关？

主要发现

• 双侧拓扑马尔可夫移位 (X̄A, σ̄A) 与 (X̄B, σ̄B) 的流等价性蕴含存在一个同构 Φ: OA ⊗ K → OB ⊗ K，使得 Φ(DA ⊗ C) = DB ⊗ C。
• 同构 Φ 交织了扭曲的规范作用：对所有 f ∈ C(XA, ℤ) 和 t ∈ ℝ/ℤ，有 Φ ∘ Ad(utf) ∘ (ρA,f,t ⊗ id) = (ρB,φ(f),t ⊗ id) ∘ Φ。
• 由 Φ 导出的同态 φ: C(XA, ℤ) → C(XB, ℤ) 是子群 HA 与 HB 之间有序阿贝尔群的同构。
• 该结果源自帕里-萨利文定理，该定理指出流等价性由拓扑共轭和扩张 A → Ã 生成。
• 该构造使用相对于 ρÃ, f ⊗ id 的酉一阶上同调 ṽtf ∈ U(M(Oà ⊗ K))，通过中间稳定化提升同构。
• 本文在保持典范极大阿贝尔子代数并交织扭曲规范作用的稳定化康纽-克里格代数同构方面，对流等价性给出了完整的代数表征。