[论文解读] Convergence of Quotients of AF Algebras in Quantum Propinquity by Convergence of Ideals

Konrad Aguilar|arXiv (Cornell University)|Aug 25, 2016

Advanced Operator Algebra Research参考文献 27被引用 5

一句话总结

本论文确立了在AF代数的雅可布森或费尔拓扑中理想收敛时，其商在量子格罗莫夫-豪斯多夫拟距离拓扑中收敛的条件。通过在C*-归纳极限的理想空间上引入一种新拓扑，并证明从理想到商量子度量空间的商映射的连续性，作者在经典理想拓扑与非交换度量几何之间建立了连续联系，其关键结果表明，对于博卡-蒙迪奇AF代数，其由埃夫罗斯-申AF代数定义的商在该框架下具有连续性。

ABSTRACT

We introduce a topology on the ideal space of inductive limits of C*-algebras built by a topological inverse limit of the Fell topologies on the C*-algebras of the given inductive sequence and we produce conditions for when this topology agrees with the Fell topology of the inductive limit. With this topology, we impart criteria for when convergence of ideals of an AF algebra can provide convergence of quotients in the quantum Gromov-Hausdorff propinquity building off previous joint work with Latremoliere. These findings bestow a continuous map from a class of ideals of the Boca-Mundici AF algebra equipped with various topologies including Jacobson and Fell topologies to the space of quotients equipped with the propinquity topology.

研究动机与目标

• 为C*-归纳极限的理想空间定义一种新拓扑，该拓扑推广了费尔拓扑，并在特定条件下与之保持一致。
• 确立充分条件，使得该拓扑中理想收敛时，其商在量子格罗莫夫-豪斯多夫拟距离中也收敛。
• 为博卡-蒙迪奇AF代数的一类理想构造从其到商量子度量空间的连续映射，且在拟距离拓扑下成立。
• 通过量子拟距离距离，将经典理想拓扑（雅可布森、费尔）与非交换度量几何相连接。

提出的方法

• 通过归纳序列中代数的费尔拓扑的拓扑逆极限，在C*-归纳极限的理想空间上引入一种拓扑。
• 证明该新拓扑强于费尔拓扑，并在与代数和理想分析结构相关的条件下与之保持一致。
• 将该理论应用于博卡-蒙迪奇AF代数，利用其布拉蒂利图和理想结构，为本原理想定义一种度量。
• 使用融合族与融合序列的概念，验证在量子拟距离框架下的收敛条件。
• 利用博卡-蒙迪奇代数中某些理想商同构于埃夫罗斯-申AF代数的事实，实现显式度量构造。
• 通过有限维子代数上状态的序列连续性与弱-*收敛，验证拟距离拓扑下的收敛性。

实验结果

研究问题

• RQ1 在雅可布森或费尔拓扑中，理想收敛何时能推出其商在量子拟距离拓扑中收敛？
• RQ2 C*-归纳极限的理想空间上的新拓扑在何种条件下与经典费尔拓扑一致？
• RQ3 能否在博卡-蒙迪奇AF代数的一类理想与它们的商量子度量空间之间，建立在拟距离下的连续映射？
• RQ4 布拉蒂利图中的系数 $ c(N,\theta) $ 和 $ j_n(\theta) $ 如何决定状态与商的收敛性？
• RQ5 融合序列在确保量子拟距离中商的收敛性方面起什么作用？

主要发现

• 在雅可布森、费尔或新拓扑下，博卡-蒙迪奇AF代数的本原理想空间到其商量子度量空间的映射，在量子拟距离拓扑下是连续的。
• C*-归纳极限的理想空间上的新拓扑始终强于费尔拓扑，并且对所有AF代数（包括酉代数）都与之保持一致。
• 对于博卡-蒙迪奇AF代数，所有满足 $ \theta \in (0,1) \setminus \mathbb{Q} $ 的理想类 $ I_\theta $ 上的拓扑，与 $ (0,1) $ 中无理数的通常拓扑同胚。
• 在度量 $ \mathsf{m}_{i(\mathcal{U}_{\mathfrak{F}})} $ 下，理想收敛意味着其关联的商量子度量空间在量子拟距离 $ \mathsf{\Lambda} $ 下也收敛。
• 布拉蒂利图中的系数 $ c(N,\theta) $ 和 $ j_n(\theta) $ 决定在 $ \mathfrak{F}^N $ 上的状态收敛性，其收敛性确保了状态的弱-*收敛，这是证明拟距离收敛的关键步骤。
• 参数化商上Lip-范数的序列 $ \beta^\theta $ 有界于 $ (1/n^2) $，从而在收敛性论证中实现了统一控制。