[論文レビュー] AF algebras in the quantum Gromov-Hausdorff propinquity space

Konrad Aguilar|arXiv (Cornell University)|Dec 7, 2016

Algebraic structures and combinatorial models参考文献 24被引用数 4

ひとこと要約

本稿では、商ノルムを用いた新しいLeibniz Lip-ノルムの導入により、ユニタリAF代数が量子Gromov-Hausdorffプロプリンシティトポロジーにおいて収束するための収束基準を確立する。任意のユニタリAF代数が、その有限次元な帰納的系列の極限としてこのトポロジーにおいて収束することを証明する。さらに、帰納的構造を保存する*-同型写像は量子等距写像を誘導することを示し、有限次元近似が一様に収束することを保証する。

ABSTRACT

For unital AF algebras with faithful tracial states, we provide criteria for convergence in the quantum Gromov-Hausdorff propinquity. For any unital AF algebra, we introduce new Leibniz Lip-norms using quotient norms. Next, we show that any unital AF algebra is the limit of its defining inductive sequence of finite dimensional C*-algebras in quantum propinquity given any Lip-norm defined on the inductive sequence. We also establish sufficient conditions for when a *-isomorphism between two AF algebras produces a quantum isometry in the context of various Lip-norms.

研究の動機と目的

• ユニタリAF代数が量子Gromov-Hausdorffプロプリンシティトポロジーにおいて収束するための基準を構築すること。
• 忠実なトレース状態を必要としないすべてのユニタリAF代数に対して、商ノルムを用いてLeibniz Lip-ノルムを構成すること。
• AF代数間の*-同型写像がプロプリンシティ距離空間内での量子等距写像を誘導する条件を確立すること。
• AF代数の有限次元近似がプロプリンシティトポロジーにおいて一様に収束することを保証すること。

提案手法

• 条件付き期待値の代わりに商ノルムを用いて、ユニタリAF代数に新しいLeibniz Lip-ノルムを導入する。
• 無限に発散する正の数列を用いてLip-ノルムを定義し、有限次元部分代数の収束を保証する。
• 帰納的系列のプロプリンシティにおける収束が、自然な密度条件を満たす稠密な定義域の存在にのみ依存することを証明する。
• 量子プロプリンシティ距離における三角不等式を用いて、AF代数とその有限次元近似との間の距離を評価する。
• 有限次元部分代数の帰納的構造を保存する*-同型写像を要請することで、量子等距写像を確立する。
• RieffelおよびLatrémolièreの結果を活用し、Lip-ノルムが準Leibnizであり、良好に定義された量子距離空間をもたらすことを保証する。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下でAF代数の族が量子Gromov-Hausdorffプロプリンシティトポロジーにおいて収束するか？
• RQ2 忠実なトレース状態を必要としないすべてのユニタリAF代数に対して、Leibniz Lip-ノルムを構成できるか？
• RQ3 2つのAF代数間の*-同型写像が、プロプリンシティ距離空間内での量子等距写像を誘導するのはいつか？
• RQ4 AF代数の有限次元部分代数は、プロプリンシティトポロジーにおいてどのように振る舞うか？
• RQ5 どのような構造的条件が、AF代数の有限次元近似がプロプリンシティ距離において一様に収束することを保証するか？

主な発見

• 任意のユニタリAF代数は、その定義に用いられる有限次元C*-代数の帰納的系列の極限として、量子Gromov-Hausdorffプロプリンシティトポロジーにおいて収束する。
• 任意のユニタリAF代数に対して、商ノルムを用いて構成されたLeibniz Lip-ノルムは、プロプリンシティトポロジーにおける有限次元部分代数の収束を保証する。
• 帰納的系列の収束は、トレース状態とは無関係に、自然な密度条件を満たす稠密な定義域の存在にのみ依存する。
• 2つのAF代数間の*-同型写像がその帰納的系列を保存する場合、それに対応する量子距離空間間に量子等距写像が誘導される。
• AF代数とその有限次元部分代数との間の量子プロプリンシティ距離は、部分代数が代数を覆うにつれて0に収束する。
• 量子等距写像の条件は、全代数に限らず、帰納的系列内のすべての有限次元近似に対しても成り立つ。