[论文解读] On Gromov-Hausdorff convergence for operator metric spaces

David Kerr, Hanfeng Li|ArXiv.org|Nov 8, 2004

Advanced Operator Algebra Research参考文献 23被引用 35

一句话总结

本文建立了算子系统中两种量子 Gromov-Hausdorff 收敛概念的等价性：基于第二作者的序单位量子 Gromov-Hausdorff 距离的算子 Gromov-Hausdorff 距离，以及基于第一作者矩阵方法的完全距离。关键贡献在于证明了这两者的相等性，从而统一了两种竞争性的框架，实现了算子 Gromov-Hausdorff 收敛的统一理论，包括完备性、在量子环面和 $\theta$-形变中的连续性，以及对可逼近性的刻画与典型序结构的表征。

ABSTRACT

We introduce an analogue for Lip-normed operator systems of the second author's order-unit quantum Gromov-Hausdorff distance and prove that it is equal to the first author's complete distance. This enables us to consolidate the basic theory of what might be called operator Gromov-Hausdorff convergence. In particular we establish a completeness theorem and deduce continuity in quantum tori, Berezin-Toeplitz quantizations, and theta-deformations from work of the second author. We show that approximability by Lip-normed matrix algebras is equivalent to 1-exactness of the underlying operator space and, by applying a result of Junge and Pisier, that for n greater than or equal to 7 the set of isometry classes of n-dimensional Lip-normed operator systems is nonseparable. We also treat the question of generic complete order structure.

研究动机与目标

• 调和算子系统中量子 Gromov-Hausdorff 收敛的两种不同方法：基于矩阵的完全距离与基于序单位的算子 Gromov-Hausdorff 距离。
• 通过证明这两种度量的等价性，建立算子 Gromov-Hausdorff 收敛的统一框架。
• 将统一框架应用于证明完备性、在量子环面与 Berezin-Toeplitz 量化中的连续性，以及通过矩阵代数逼近可逼近性的表征。
• 研究 $n$-维 Lip-范数算子系统空间的拓扑与结构性质，特别是当 $n \geq 7$ 时的情形。
• 在算子 Gromov-Hausdorff 拓扑下，确定 1-精确算子系统的一般完全序结构。

提出的方法

• 引入并分析算子系统的并置和，以在 Lip-范数算子系统的等距类上构造算子 Gromov-Hausdorff 距离作为度量。
• 通过将序单位情形的技术适配到矩阵算子系统设定，证明算子 Gromov-Hausdorff 距离与完全距离的等价性。
• 利用该等价性，建立 Lip-范数算子系统空间上算子 Gromov-Hausdorff 拓扑的完备性定理。
• 通过与第二作者的 ${\rm dist_{nu}}$ 距离比较，推导出在量子环面、$\theta$-形变与 Berezin-Toeplitz 量化中的连续性结果。
• 通过利用 Junge 与 Pisier 关于 $n$-维算子系统非可分集合的结果，利用底层算子空间的 1-精确性刻画矩阵逼近性。
• 通过在算子 Gromov-Hausdorff 拓扑下构造矩阵代数的归纳极限的稠密 $G_\delta$ 集，分析一般完全序结构。

实验结果

研究问题

• RQ1 在 Lip-范数算子系统背景下，算子 Gromov-Hausdorff 距离是否与完全距离等价？
• RQ2 这两种度量的等价性是否允许在非交换度量几何中建立统一的收敛理论？
• RQ3 当 $n \geq 7$ 时，$n$-维 Lip-范数算子系统的等距类空间是否非可分？
• RQ4 通过矩阵代数逼近性与底层算子空间的 1-精确性之间存在何种关系？
• RQ5 在算子 Gromov-Hausdorff 拓扑下，1-精确算子系统的一般完全序结构是什么？

主要发现

• 在 Lip-范数算子系统空间上，算子 Gromov-Hausdorff 距离与完全距离相等，确立了收敛的典范概念。
• 当 $n \geq 7$ 时，$n$-维 Lip-范数算子系统的等距类空间是非可分的，这是通过构造一组在紧致量子度量空间意义下等距的非可分系统族而证明的。
• 一个 Lip-范数算子系统可由 Lip-范数矩阵代数逼近，当且仅当其作为算子空间是 1-精确的。
• 算子 Gromov-Hausdorff 拓扑在单位 $C^*$-代数的等距类空间上严格弱于 ${\rm dist_{nu}}$ 拓扑，原因在于 1-精确性条件中缺乏拟对角性。
• 一个典型的 1-精确算子系统，其单位完全序同构于沿严格递增维数序列的矩阵代数的归纳极限。
• $C^*$-代数量子 Gromov-Hausdorff 拓扑既不弱于也不强于算子 Gromov-Hausdorff 拓扑，因为前者的矩阵逼近性等价于该 $C^*$-代数是 MF 代数。