[論文レビュー] C*-algebraic quantum Gromov-Hausdorff distance

Hanfeng Li|ArXiv.org|Nov 28, 2003

Advanced Operator Algebra Research参考文献 40被引用数 19

ひとこと要約

この論文は、$C^*$-代数の乗法的構造を区別できる$C^*$-代数的量子Gromov-Hausdorff距離を導入する。これは、リエッフェルの元々の量子距離が状態空間に依存するため、非同型の$C^*$-代数を区別できないという主な限界を克服する。一般化されたライブニッツ則を用いて代数的構造を組み込むことで、新しい距離は古典的なGromov-Hausdorff距離を拡張し、量子的完備性およびコンパクト性の定理を保証するとともに、コンパクトな量子メトリック空間のパrameter化された族の連続性に関する基準を提供する。

ABSTRACT

We introduce a new quantum Gromov-Hausdorff distance between C*-algebraic compact quantum metric spaces. Because it is able to distinguish algebraic structures, this new distance fixes a weakness of Rieffel's quantum distance. We show that this new quantum distance has properties analogous to the basic properties of the classical Gromov-Hausdorff distance, and we give criteria for when a parameterized family of C*-algebraic compact quantum metric spaces is continuous with respect to this new distance.

研究の動機と目的

• リエッフェルの量子Gromov-Hausdorff距離が状態空間にのみ依存するため、非同型の$C^*$-代数を区別できないという限界を解消すること。
• 乗法的構造を組み込んだ量子距離を構築し、代数的同型型が保存されることを保証すること。
• $C^*$-代数的枠組み内でのGromovの完備性およびコンパクト性の定理の量子版を確立すること。
• パrameter化された$C^*$-代数的コンパクトな量子メトリック空間の族が、この新しい距離に関して連続であるための基準を提供すること。
• 既知の収束結果（例：非可換トーラスや行列代数が共軛軌道に収束する）が、この新しい距離のもとでも成り立つことを示すこと。

提案手法

• Gromov-Hausdorff距離の修正版として、状態空間ではなく、順序単位空間（または$C^*$-代数）そのものに直接定義された$C^*$-代数的量子Gromov-Hausdorff距離を定義する。
• ライプニーツ則の一般化を用いて、リプシッツ半ノルムと$C^*$-代数的構造との整合性を保証し、代数的同型型の区別に不可欠である。
• コンパクト群$G$上の群作用と長さ関数から導かれるリプシッツ半ノルムを備えた順序単位空間における球を用いて距離を構成する。
• 連続な$C^*$-代数のフィールドおよび強い連続性を持つ群作用の理論を用いて、量子メトリック空間の連続族を定義する。
• コンパクト群$G$の双対群$\hat{G}$における既約表現の多重度関数の収束に基づいた連続性基準を確立する。
• すべての$\gamma \in \hat{G}$に対して、多重度関数$\mathrm{mul}({\mathcal{A}}_t, \gamma) \to \mathrm{mul}({\mathcal{A}}_{t_0}, \gamma)$が収束するならば、$C^*$-代数的量子距離において収束が成立することを証明する。

実験結果

リサーチクエスチョン

• RQ1 乗法的構造に基づいて非同型の代数を区別できる、$C^*$-代数そのものに直接定義された量子Gromov-Hausdorff距離を定義できるか？
• RQ2 新しい距離は、リエッフェルの元々の構成と同様に、古典的なGromov-Hausdorff距離を拡張するか？
• RQ3 この新しい距離における$C^*$-代数的コンパクトな量子メトリック空間の極限が、常に$C^*$-代数のままであるための条件は何か？
• RQ4 パrameter化された$C^*$-代数的コンパクトな量子メトリック空間の族が、この新しい距離に関して連続であるための条件は何か？
• RQ5 非可換幾何学における既知の収束結果（例：非可換トーラスや行列代数が共軛軌道に収束する）が、この新しい距離のもとでも成り立つか？

主な発見

• 新しい$C^*$-代数的量子Gromov-Hausdorff距離は、リエッフェルの元々の距離とは異なり、乗法的構造を組み込むことで、非同型の$C^*$-代数を明確に区別する。
• リプシッツ半ノルムが一般化されたライプニーツ則を満たす限り、新しい距離はGromovの完備性およびコンパクト性の定理の量子版を満たす。
• パrameter化された$C^*$-代数的コンパクトな量子メトリック空間の族が、この新しい距離に関して連続であるための必要十分条件は、すべての既約表現の多重度関数が各点で収束することである。
• 非可換トーラスや行列代数がコンパクトな半単純リー群の整数型共軛軌道に収束するという既知の収束結果が、この新しい距離のもとでも成立することが確認された。
• 距離空間$T$において、族$({\mathcal{A}}_t, L_t)$が連続でない点の集合は、どこでも稠密でない$F_\sigma$集合であるため、連続性は残渣的点で成立することが示唆される。
• $C^*$-代数的量子距離は、先行研究で導入された順序単位量子距離と同等であるが、代数的構造への感受性という追加の利点を有する。