[论文解读] AF-algebras and the tail-equivalence relation on Bratteli diagrams

R. Exel, Jean Renault|arXiv (Cornell University)|Jul 16, 2003

Advanced Operator Algebra Research参考文献 1被引用 4

一句话总结

该论文建立了布雷特利图中无限路径的尾等价关系所关联的C*-代数与同一图定义的AF代数之间的典范同构。通过广群C*-代数技巧和路径空间上的条件期望，作者证明尾等价关系生成一个渐近正则等价关系，其关联的C*-代数通过一个典范*-同态与AF代数同构，从而将布雷特利图上的动力系统与AF代数结构联系起来。

ABSTRACT

Given a Bratteli diagram D we consider the compact topological space formed by all infinite paths on D. Two such path are said to be tail-equivalent when they "have the same tail", i.e. when they eventually coincide. This equivalence relation is approximately proper and hence one may consider the C*-algebra associated to it according to a procedure recently introduced by the first named author and A. Lopes. The main result of this work is the proof that this algebra is isomorphic to the AF-algebra associated to the given Bratteli diagram.

研究动机与目标

• 建立布雷特利图无限路径上尾等价关系与它所定义的AF代数之间的结构联系。
• 证明由渐近正则尾等价关系产生的C*-代数与布雷特利图的AF代数同构。
• 明确实现与尾等价关系相关的广群C*-代数，并将其与标准AF代数构造相联系。

提出的方法

• 使用∏ₙ∈ℕ Eₙ上的乘积拓扑定义布雷特利图D上无限路径的集合Ω，其中Eₙ表示从Vₙ到Vₙ₊₁的边集。
• 在Ω上引入尾等价关系∼，其中两条路径若最终一致则视为等价，并定义有限初始段对应的等价关系∼ₙ。
• 通过固定尾部的纤维上平均化，构造从C(Ω)到C(Ω; Rₙ)的条件期望Eₙ，映射函数至在∼ₙ-类上为常数的函数。
• 为等价关系R的广群G（即满足α∼β的对(α,β)构成的广群）实现C*-代数C*(G)，并将C(Ω)识别为C*(G)的子代数。
• 在Toeplitz代数T(R,E)中定义投影êₙ及其在C*(G)中的像êₙ̂，证明它们满足êₙ êₙ₊₁ = êₙ₊₁且êₙ f êₙ = Eₙ(f) êₙ。
• 证明从Toeplitz代数T(R,E)到广群C*-代数C*(G)的典范*-同态φ通过冗余理想商化，从而诱导出同构ψ: C*(R,E) → C*(G)。

实验结果

研究问题

• RQ1 布雷特利图上尾等价关系所关联的C*-代数是否与同一图定义的AF代数同构？
• RQ2 尾等价关系的结构如何与AF代数的标准归纳极限构造相关联？
• RQ3 能否显式实现尾等价关系的广群C*-代数，并与标准AF代数进行比较？
• RQ4 条件期望与投影在关联两种C*-代数结构中起什么作用？
• RQ5 Toeplitz代数中的冗余理想在映射到广群C*-代数时是否消失？

主要发现

• 布雷特利图路径空间Ω上尾等价关系所关联的C*-代数与同一图定义的AF代数同构。
• 从等价关系的Toeplitz代数T(R,E)到广群C*-代数C*(G)的典范*-同态φ通过冗余理想商化，从而诱导出同构ψ: C*(R,E) → C*(G)。
• T(R,E)中的投影êₙ映射到C*(G)中的投影êₙ̂，且满足êₙ êₙ₊₁ = êₙ₊₁，反映出AF代数的归纳极限结构。
• 条件期望Eₙ: C(Ω) → C(Ω; Rₙ)被实现为固定尾部纤维上的平均化，其像对应于商空间Ω/Rₙ上的连续函数。
• 映射j: C*(G) → C₀(G)是单射，且对于第n个投影像中的k，j(k)的支集位于Rₙ内，确保与等价关系结构相容。
• 映射ψ是同构，通过验证φ的核包含冗余理想且其像生成整个广群C*-代数得以证明。