[論文レビュー] On Gromov-Hausdorff convergence for operator metric spaces

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

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

ひとこと要約

本稿は、作用素系における2つの量子Gromov-Hausdorff収束の概念の同値性を確立する。すなわち、第2著者の順序単位量子Gromov-Hausdorff距離に基づく作用素Gromov-Hausdorff距離と、第1著者の行列的アプローチからの完全距離の同値性である。主な貢献は、これら2つの距離の等価性の証明であり、これにより2つの競合する枠組みが統合され、作用素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収束の2つの異なるアプローチを統合する：行列的完全距離と順序単位に基づく作用素Gromov-Hausdorff距離。
• これらの2つの距離の等価性を証明することで、作用素Gromov-Hausdorff収束の統一的枠組みを確立する。
• 統一的枠組みを用いて、完備性、量子トーラスおよびBerezin-Toeplitz量子化における連続性、行列代数による近似可能性の特徴づけを証明する。
• $n$次元リプシッツノルム付き作用素系の空間の位相的および構造的性質を、特に$n \geq 7$の場合に調査する。
• 作用素Gromov-Hausdorff位相の下で$1$-正確な作用素系の一般の完全順序構造を特定する。

提案手法

• 作用素系の合成和を導入・分析し、リプシッツノルム付き作用素系の等長同型類上の距離として作用素Gromov-Hausdorff距離を構成する。
• 順序単位の場合の技法を作用素系の行列的設定に適応することで、作用素Gromov-Hausdorff距離と完全距離の等価性を証明する。
• 等価性を用いて、リプシッツノルム付き作用素系の空間における作用素Gromov-Hausdorff位相の完備性定理を確立する。
• 第2著者の${\rm dist_{nu}}$距離との比較を用いて、量子トーラス、$\theta$-変形、Berezin-Toeplitz量子化における連続性結果を導出する。
• JungeとPisierの非可分な$n$次元作用素系の集合に関する結果を用い、基礎となる作用素空間の$1$-正確性により行列近似可能性を特徴づける。
• 作用素Gromov-Hausdorff位相の下で、行列代数の帰納的極限の$G_\delta$稠密集合を構成することで、一般の完全順序構造を分析する。

実験結果

リサーチクエスチョン

• RQ1 リプシッツノルム付き作用素系の文脈において、作用素Gromov-Hausdorff距離と完全距離は等価か？
• RQ2 これらの2つの距離の等価性は、非可換距離幾何学における収束理論の統一的枠組みを可能にするか？
• RQ3 特に$n \geq 7$の場合、等長同型類の$n$次元リプシッツノルム付き作用素系の空間は非可分か？
• RQ4 行列代数による近似可能性と基礎となる作用素空間の$1$-正確性の関係は何か？
• RQ5 作用素Gromov-Hausdorff位相の下で、$1$-正確な作用素系の一般の完全順序構造は何か？

主な発見

• リプシッツノルム付き作用素系の空間において、作用素Gromov-Hausdorff距離と完全距離は等しい。これにより、収束の標準的定義が確立される。
• $n \geq 7$の場合、等長同型類の$n$次元リプシッツノルム付き作用素系の空間は、コンパクトな量子距離空間として等長である非可分族を用いて非可分であることが示された。
• リプシッツノルム付き作用素系がリプシッツノルム付き行列代数によって近似可能であるための必要十分条件は、その作用素空間が$1$-正確であることである。
• 作用素Gromov-Hausdorフ位相は、単位的$C^*$-代数の等長同型類の空間において${\rm dist_{nu}}$位相よりも厳密に弱い。これは、$1$-正確性条件に擬似対角性が欠如しているためである。
• 一般の$1$-正確な作用素系は、次元が厳密に増加する列に沿った行列代数の帰納的極限と、単位的完全順序同型である。
• $C^*$-代数的量子Gromov-Hausdorff位相は、作用素Gromov-Hausdorff位相よりも弱くも強くもない。なぜなら、前者の行列近似可能性は$C^*$-代数がMF代数であることと同値だからである。