[論文レビュー] Berezin Quantization From Ergodic Actions of Compact Quantum Groups, and Quantum Gromov-Hausdorff Distance

Jeremy Sain|ArXiv.org|Jun 9, 2009

Advanced Operator Algebra Research参考文献 55被引用数 3

ひとこと要約

本稿は、コンパクトな量子群の作用によるエルゴディック作用から生じる量子同次空間へ、Berezin 量論を一般化する。有限次元の非可換近似（ファジー版）を構成し、連続的フィールドの演算子系および Rieffel の量子 Gromov-Hausdorff 距離において、古典的空間へ収束させる。主な結果は、Berezin 量論が $\r^d$-作用に対して Rieffel の変形量論と可換であることを示し、量子コ-set空間およびオルビフォールドのファジー構成を可能にする。

ABSTRACT

Over the last 25 years, the notion of "fuzzy spaces" has become ubiquitous in the high-energy physics literature. These are finite dimensional noncommutative approximations of the algebra of functions on a classical space. The most well known examples come from the Berezin quantization of coadjoint orbits of compact semisimple Lie groups. We develop a theory of Berezin quantization for certain quantum homogeneous spaces coming from ergodic actions of compact quantum groups. This allows us to construct fuzzy versions of these quantum homogeneous spaces. We show that the finite dimensional approximations converge to the homogeneous space in a continuous field of operator systems, and in the quantum Gromov-Hausdorff distance of Rieffel. We apply the theory to construct a fuzzy version of an ellipsoid which is naturally endowed with an orbifold structure, as well as a fuzzy version of the $θ$-deformed coset spaces $C(G/H)_{\hbar θ}$ of Varilly. In the process of the latter, we show that our Berezin quantization commutes with Rieffel's deformation quantization for actions of $\R^d$.

研究の動機と目的

• コンパクトな半単純リー群の共軛軌道に限らない Berezin 量論を、コンパクトな量子群のエルゴディック作用から生じる量子同次空間へ拡張すること。
• 完全な対称性を保ちながら、古典的空間へ収束する有限次元の非可換近似（ファジー版）を量子同次空間に構成すること。
• Rieffel の量子 Gromov-Hausdorff 距離枠組みにおいて、これらの近似の収束を証明し、半古典的極限における距離的一致性を保証すること。
• $\r^d$-作用に対して Berezin 量論が Rieffel の変形量論と可換であることを示し、変形下でも構造が保存されることを示すこと。
• $q$-変形および $\theta$-変形のリー群に対する量子共軛軌道が、単なる演算子系ではなく C*-代数であることを確立すること。

提案手法

• 有限次元の演算子系と量子同次空間の間の正値的で単位的かつ等変な写像としての Berezin 記号とその随伴を構成する。
• Berezin 変換 $\breve{\rho}^n \rho^n$ を用いて、量子同次空間 $N^H$ の有限次元近似 $M^n$ の列を定義し、量子 Gromov-Hausdorff 距離における収束を保証する。
• 量子群作用から導かれる Lip-ノルムを用いて、古典的および量子近似両方の空間に量子距離構造を定義する。
• Berezin 変換の強い極限を用いて、自然な期待値 $E: \n \to \n^H$ を定義し、固定点代数 $\n^H$ が $N^H$ に強く稠密であることを示す。
• Berezin 記号とその随伴写像が Rieffel の変形に対して本質的に変形されないことを示し、変形量論と整合することを示す。
• 理論を応用して、オルビフォールド構造をもつ楕円体や $\theta$-変形コセット空間 $C(G/H)_{\theta\bar{\theta}}$ のファジー版を構成し、古典的極限への収束を証明する。

実験結果

リサーチクエスチョン

• RQ1 Berezin 量論は、コンパクトな半単純リー群の共軛軌道から、コンパクトな量子群のエルゴディック作用から生じる量子同次空間へ一般化可能か？
• RQ2 量子同次空間の有限次元近似は、Rieffel の量子 Gromov-Hausdorff 距離において、古典的空間へ収束するか？
• RQ3 Rieffel の変形量論と Berezin 量論は、$\r^d$-作用に対して可換か？
• RQ4 リー群の $q$-変形および $\theta$-変形に対する量子共軛軌道は、単なる演算子系ではなく自然に C*-代数であるか？
• RQ5 オルビフォールド構造（例：楕円体）をもつ量子空間のファジー版は、この一般化された Berezin 量論によって一貫して構成可能か？

主な発見

• Berezin 変換の列 $\rho^n \breve{\rho}^n$ は、強作用素位相において自然な期待値 $E: \n \to \n^H$ へ収束し、有限次元近似が量子同次空間 $N^H$ へ収束することを保証する。
• Berezin 量論によって構成された有限次元近似 $M^n$ は、連続的フィールドの演算子系をなしており、量子 Gromov-Hausdorff 距離において古典的量子同次空間 $N^H$ へ収束する。
• $\theta$-変形コセット空間 $C(G/H)_{\theta\bar{\theta}}$ に対して、Berezin 量論は Rieffel の変形量論と可換であり、変形下でも構造が保存される。
• 量子共軛軌道 $C(G)_{\theta\bar{\theta}}$ は、量子コセット空間 $C(G/K)_{\theta\bar{\theta}}$ に同型であり、これらが単なる演算子系ではなく C*-代数であることを示す。
• 古典的同次空間 $C(G/K)$ の正則関数は、変形された量子同次空間 $C(G/K)_{\theta\bar{\theta}}$ に強く稠密に含まれる。これは、量論が既知の変形結果と整合することを確認する。
• Berezin 記号とその随伴写像は、Rieffel の変形に対して本質的に変形されないため、量論プロセスが基礎となる空間の距離および位相の変化と整合することを示唆する。