[论文解读] Convergence of Spectral Triples on Fuzzy Tori to Spectral Triples on Quantum Tori

Frédéric Latrémolière|arXiv (Cornell University)|Feb 7, 2021

Advanced Operator Algebra Research参考文献 84被引用 6

一句话总结

该论文在模糊环面（fuzzy tori）上构造了谱三元组——这些是源自有限循环群的扭曲群C*-代数的有限维C*-代数——并证明了它们在谱邻近性（spectral propinquity）意义下收敛于量子环面上的典范谱三元组。收敛性通过模块隧道（modular tunnels）和度量对应关系（metrical correspondences）建立，表明模糊环面不仅作为量子度量空间，而且作为非交换微分流形逼近量子环面，包括状态空间和由狄拉克算子生成的动力学的收敛。

ABSTRACT

Fuzzy tori are finite dimensional C*-algebras endowed with an appropriate notion of noncommutative geometry inherited from an ergodic action of a finite closed subgroup of the torus, which are meant as finite dimensional approximations of tori and more generally, quantum tori. A mean to specify the geometry of a noncommutative space is by constructing over it a spectral triple. We prove in this paper that we can construct spectral triples on fuzzy tori which, as the dimension grow to infinity and under other natural conditions, converge to a natural spectral triple on quantum tori, in the sense of the spectral propinquity. This provides a formal assertion that indeed, fuzzy tori approximate quantum tori, not only as quantum metric spaces, but as noncommutative differentiable manifolds -- including convergence of the state spaces as metric spaces and of the quantum dynamics generated by the Dirac operators of the spectral triples, in an appropriate sense.

研究动机与目标

• 将模糊环面作为非交换黎曼流形逼近量子环面的启发式思想形式化。
• 在模糊环面上显式构造谱三元组，使其与经典和量子环面上的自然构造相呼应。
• 在谱邻近性的意义下，建立这些谱三元组向量子环面上谱三元组的收敛性。
• 证明谱三元组的收敛性不仅包含量子度量结构，还包含由狄拉克算子生成的动力学。
• 为量子场论和弦理论中的矩阵模型提供一个严格框架，将其作为连续非交换几何的逼近。

提出的方法

• 利用有限阿贝尔群在扭曲群C*-代数上的对偶作用，构造模糊环面谱三元组中的狄拉克算子。
• 定义模糊环面代数的稠密*-子代数，并确保狄拉克算子与表示算子至多相差有界算子。
• 通过在C⊕C上的联合希尔伯特模结构，引入模糊环面谱三元组与量子环面极限谱三元组之间的模块隧道。
• 使用谱三元组的均值定理，控制逼近狄拉克算子与极限狄拉克算子之间范数的差异。
• 采用一列有限秩投影V_f^n和具有快速衰减傅里叶变换的截断函数f，以控制逼近误差。
• 通过有界模块隧道和度量对应关系的谱邻近性，将收敛性控制在任意ε > 0以内。

实验结果

研究问题

• RQ1 能否以与经典和量子环面上自然狄拉克算子相呼应的方式，在模糊环面上构造谱三元组？
• RQ2 模糊环面谱三元组序列是否在有意义的几何意义下收敛于相应量子环面上的谱三元组？
• RQ3 谱三元组的收敛性是否强于单纯的量子度量收敛，包括状态空间和动力学的收敛？
• RQ4 能否使用谱邻近性（谱三元组的非交换Gromov-Hausdorff收敛的类比）来量化收敛性？
• RQ5 模糊环面上的狄拉克算子是否生成收敛于量子环面狄拉克算子的量子动力学？

主要发现

• 在谱邻近性意义下，模糊环面构造的谱三元组收敛于量子环面的典范谱三元组。
• 收敛性可量化：对任意ε > 0，存在N ∈ ℕ，使得对所有n ≥ N，模糊环面三元组与量子环面三元组之间的谱邻近性至多为ε。
• 配备其量子度量的状态空间作为度量空间，依Gromov-Hausdorff距离收敛。
• 由模糊环面狄拉克算子生成的动力学收敛于量子环面的动力学，通过单位酉群的一致逼近得以证明。
• 模块隧道构造确保谱三元组之间的度量对应关系的范围至多为ε，从而在度量意义上确认了收敛性。
• 证明依赖于使用具有ℓ1傅里叶变换的截断函数f对狄拉克算子进行有限秩逼近，从而确保对范数误差和算子范数差的控制。