[論文レビュー] A Survey of the Gromov-Hausdorff Propinquity

Frédéric Latrémolière|arXiv (Cornell University)|Jun 14, 2015

Advanced Operator Algebra Research被引用数 2

ひとこと要約

本稿では、C*-代数の計量的性質を研究するための非可換版のGromov-Hausdorff距離である、二重Gromov-Hausdorffの類縁性を導入し、そのサーベイを実施する。本稿は、準Leibniz量子コンパクト距離空間および点付き量子適切距離空間に対して類縁性を構築し、非可換幾何学における収束および摂動解析のための枠組みを確立する。これにより、摂動下での計量的安定性に関する新規な結果が得られる。

ABSTRACT

We present a survey of the dual Gromov-Hausdorff propinquity, a noncommutative analogue of the Gromov-Hausdorff distance which we introduced to provide a framework for the study of the noncommutative metric properties of C*-algebras. We first review the notions of quantum locally compact metric spaces, and present various examples of such structures. We then explain the construction of the dual Gromov-Hausdorff propinquity, first in the context of quasi-Leibniz quantum compact metric spaces, and then in the context of pointed quantum proper metric spaces. We include a few new result concerning perturbations of the metrics on Leibniz quantum compact metric spaces in relation with the dual Gromov-Hausdorff propinquity.

研究の動機と目的

• C*-代数の計量的性質を研究するための、Gromov-Hausdorff距離の非可換版を構築すること。
• 準Leibniz量子コンパクト距離空間の文脈において、二重Gromov-Hausdorff類縁性を形式化すること。
• 非可換幾何学におけるより広範な適用可能性を実現するため、点付き量子適切距離空間への枠組みの拡張すること。
• Leibniz量子コンパクト距離空間における計量の摂動を、類縁性枠組み内で分析すること。
• 非可換計量空間の収束および構造的比較のための統一的計量的手法を提供すること。

提案手法

• 二重Gromov-Hausdorff類縁性は、非可換計量構造におけるGromov-Hausdorff距離の双対性に基づく一般化として構築される。
• この枠組みは、まず、リプシッツ半ノルムにおけるLeibniz条件との整合性を保証する準Leibniz量子コンパクト距離空間に対して開発される。
• 非コンパクトおよび局所コンパクトな非可換類縁を扱えるよう、点付き量子適切距離空間へと拡張される。
• 類縁性の構成は、状態空間と計量構造の双対性に依拠し、双対リプシッツノルムを用いて距離を定義する。
• 摂動結果は、リプシッツ半ノルムの小さな変化が類縁性値に与える影響を分析することで導出される。
• 非可換計量幾何学およびC*-代数論の理論的道具が統合され、安定性および収束性の性質を保証する。

実験結果

リサーチクエスチョン

• RQ1 Gromov-Hausdorff距離は、計量的および位相的構造を保つように、非可換C*-代数へどのように一般化可能か？
• RQ2 二重Gromov-Hausdorff類縁性が、量子コンパクト距離空間上で計量を定義するための必要十分条件は何か？
• RQ3 Leibniz量子コンパクト距離空間において、リプシッツ半ノルムの小さな摂動は類縁性にどのように影響するか？
• RQ4 点付き量子適切距離空間への拡張は、非可換幾何学における類縁性の適用性をどのように向上させるか？
• RQ5 C*-代数のどのような構造的性質が、二重Gromov-Hausdorff類縁性における収束によって捉えられるか？

主な発見

• 二重Gromov-Hausdorff類縁性は、準Leibniz量子コンパクト距離空間のクラスにwell-definedな計量を提供し、収束解析を可能にする。
• この枠組みは、非コンパクトな非可換計量構造の研究を可能にする点付き量子適切距離空間へ自然に拡張される。
• 小さなリプシッツ半ノルムの摂動が類縁性値に小さな変化を引き起こすことが新規に確立され、安定性が保証される。
• 類縁性は、Leibniz条件および双対性構造を尊重する形で、量子計量空間の収束を捉える。
• この構成により、等長的同型を除いた量子コンパクト距離空間の空間に完備計量が得られる。
• 二重Gromov-Hausdorff類縁性は、C*-代数の非可換計量幾何を介してそれらを比較可能にし、非可換位相幾何学における新たな道具を提供する。