[論文レビュー] Matrix algebras converge to the sphere for quantum Gromov--Hausdorff distance

Marc A. Rieffel|ArXiv.org|Aug 1, 2001

Homotopy and Cohomology in Algebraic Topology参考文献 48被引用数 80

ひとこと要約

この論文は、コンpakトリー群の整数型共軛軌道上のベレジン量後に、自然な量子メトリック構造を備えた行列代数 $M_n$ が、量子グロモフ＝ハウスドルフ距離において2次元球面 $S^2$ に収束することを確立している。収束は、長さとノルムのきめ細かい管理を通じて、収束速度の明示的制御とともに、すべてのこのような軌道に対して成り立つ。

ABSTRACT

On looking at the literature associated with string theory one finds statements that a sequence of matrix algebras converges to the 2-sphere (or to other spaces). There is often careful bookkeeping with lengths, which suggests that one is dealing with ``quantum metric spaces''. We show how to make these ideas precise by means of Berezin quantization using coherent states. We work in the general setting of integral coadjoint orbits for compact Lie groups.

研究の動機と目的

• 量子グロモフ＝ハウスドルフ距離の枠組みにおいて、行列代数 $M_n$ が2次元球面 $S^2$ に収束することを厳密に定義し、確立すること。
• この収束を $S^2$ からコンパクトリー群の任意の整数型共軛軌道へ拡張すること。
• メトリック構造と半古典的極限を組み込んだ、収束を明確に分析するための数学的フレームワークを提供すること。
• 理論物理学における非形式的な収束の記述を、数学的に厳密な量子メトリック収束の概念と一致させること。
• 収束が、代数そのものではなく、行列代数に導入されたメトリック構造の選択に強く依存することを示すこと。

提案手法

• コンパクトリー群の既約表現に関連する行列代数 $M_n$ に自然なメトリック構造を定義するために、 coherent 状態を用いたベレジン量後に基づく。
• リエフェル（2001年）が提唱したコンパクトな量子メトリック空間および量子グロモフ＝ハウスドルフ距離の概念を用いて収束を定義する。
• 有限個の特徴関数の集合から得られる統合作用素 $\alpha_{\varphi}$ を用い、$C^*$-代数上で誤差を制御した恒等作用素の近似を実行する。
• [48] における量子グロモフ＝ハウスドルフ距離の結果と、近似誤差を制御する有限集合 $S \subseteq \hat{G}$ の存在を応用する。
• 代数 $B^n$ における半径の上限 $r = \int_G \ell(x)\,dx$ を用いて、メトリックの正規化と作用素ノルムの制御を行う。
• 命題 4.10 および定理 5.4 を適用し、パrameter空間内の球の像が $B_S^n$ の単位球を覆うことを保証することで、一様収束の見積もりを可能にする。

実験結果

リサーチクエスチョン

• RQ1 行列代数 $M_n$ が、形式的または代数的近似を越えて、明確なメトリック的意味で2次元球面 $S^2$ に収束することが示せるか？
• RQ2 この収束は、$S^2$ からコンパクトリー群の他の整数型共軛軌道へ一般化可能か？
• RQ3 行列代数 $M_n$ に導入されたメトリック構造の選択が、異なる量子メトリック空間への収束に与える影響は何か？
• RQ4 与えられた $\varepsilon$ に対して、量子グロモフ＝ハウスドルフ距離の明示的バウンドを収束に与えることは可能か？
• RQ5 ベレジン量後に、非可換代数と古典的多様体の間で一貫した半古典的極限を確立するために果たす役割は何か？

主な発見

• 任意の $\varepsilon > 0$ に対して、整数 $N$ が存在し、すべての $n \geq N$ に対して、$(M_n, L_n)$ と $(C(S^2), L_A)$ 間の量子グロモフ＝ハウスドルフ距離が $\varepsilon$ 以下である。
• 収束は $S^2$ に限らず、コンパクトリー群の任意の整数型共軛軌道 $\mathcal{O}$ に対しても成り立ち、$M_n$ にそれに対応するメトリック構造が備わる。
• 収束は、固定された $\varepsilon$ に対して、長さとノルムのきめ細かい管理を通じて、明示的な $N$ を構成可能であるという意味で一様である。
• $S^2$ への収束と他の軌道への収束の主な違いは、代数そのものではなく、行列代数に配置された異なるメトリック構造 $L_n$ に起因する。
• 証明により、すべての $T \in B^n$ および $n \geq N$ に対して、$\|T - \breve{\sigma}^n(\sigma_T^n)\| \leq \varepsilon/3 \cdot L_n(T)$ が成り立つことが示され、$N$ は $\varepsilon$ と群構造に依存する。
• 収束は群 $G$ の作用に対して安定であり、等長性を保ち、半古典的極限が $\mathcal{O}$ 上のポisson括弧を回復することを保証する。