[論文レビュー] Twisted Lie group $C^*$-algebras as strict quantizations

N.P. Landsman|arXiv (Cornell University)|Jul 24, 1998

Advanced Topics in Algebra参考文献 1被引用数 4

ひとこと要約

この論文は、コンpakトなリー群 $G$ 上の滑らかな乗法的特徴 $c \in Z^2(G,U(1))$ に対して、関連するねじれ付き群 C*-代数 $C^*(G,c)$ が、プランク定数 $\hbar$ が $(\mathbb{Z} \setminus \{0\})^{-1}$ の値を取る twisted Lie-Poisson 代数 $C^\infty(\g^*_{(\Gamma)})$ の厳密な量子化をなすことを確立する。主な結果は、$\hbar = 0$ における古典的代数 $C_0(\g^*)$ と $\hbar \neq 0$ における量子的代数 $C^*(G,c)$ を結ぶ連続的場の C*-代数であり、$\hbar \to 0$ の極限でディラックの条件を漸近的に満たす。

ABSTRACT

A nonzero 2-cocycle $Γ\in Z^2(\g,\R)$ on the Lie algebra $\g$ of a compact Lie group $G$ defines a twisted version of the Lie-Poisson structure on the dual Lie algebra $\g^*$, leading to a Poisson algebra $C^{\infty}(\g_{(Γ)}^*)$. Similarly, a multiplier $c\in Z^2(G,U(1))$ on $G$ which is smooth near the identity defines a twist in the convolution product on $G$, encoded by the twisted group $C^*$-algebra C^*(G,c)$. Further to some superficial yet enlightening analogies between $C^{\infty}(\g^*_{(Γ)})$ and $C^*(G,c)$, it is shown that the latter is a strict quantization of the former, where Planck's constant $\hbar$ assumes values in $(\Z\backslash\{0\})^{-1}$. This means that there exists a continuous field of $C^*$-algebras, indexed by $\hbar\in 0\cup (\Z\backslash\{0\})^{-1}$, for which $\A^0=C_0(\g^*)$ and $\A_{\hbar}=C^*(G,c)$ for $\hbar eq 0$, along with a cross-section of the field satisfying Dirac's condition asymptotically relating the commutator in $\A_{\hbar}$ to the Poisson bracket on $C^{\infty}(\g^*_{(Γ)})$. Note that the `quantization' of $\hbar$ does not occur for $Γ=0$.

研究の動機と目的

• ねじれ付き群 C*-代数と双対リー代数上の古典的ねじれ付きポアソン構造との間の厳密な接続を確立すること。
• ねじれ付き群 C*-代数 $C^*(G,c)$ が、ポアソン代数 $C^\infty(\g^*_{(\Gamma)})$ の厳密な量子化として機能することを示すこと。
• この量子化におけるプランク定数 $\hbar$ の役割を明確にし、それが離散的な逆整数値を取ることを示すこと。
• 群の2-コホモロジーとリー代数の2-コホモロジーを用いて、非自明なねじれを含む厳密な量子化の枠組みを拡張すること。
• コンパクトなリー群の中心拡大を伴う文脈において、幾何学的量子化と作用素代数的構造を統合すること。

提案手法

• $\hbar \in \{0\} \cup (\mathbb{Z} \setminus \{0\})^{-1}$ でインデックス付けされた連続的場の C*-代数 $\mathcal{A}_\hbar$ を構成し、$\mathcal{A}^0 = C_0(\g^*)$ かつ $\mathcal{A}_\hbar = C^*(G,c)$ ($\hbar \neq 0$) となるようにすること。
• $\g^*$ 上に非ゼロの2-コホモロジー $\Gamma \in Z^2(\g,\mathbb{R})$ を用いてねじれ付き Lie-Poisson 構造を定義し、ポアソン代数 $C^\infty(\g^*_{(\Gamma)})$ を得ること。
• 恒等元の近傍で滑らかな乗法的特徴 $c \in Z^2(G,U(1))$ を用いて $G$ 上にねじれ付き畳み込み積を定義し、ねじれ付き群 C*-代数 $C^*(G,c)$ を得ること。
• 連続的場の切断を構成し、$\mathcal{A}_\hbar$ 内の交換子が $\hbar \to 0$ の極限で $C^\infty(\g^*_{(\Gamma)})$ 上のポアソン括弧を漸近的に再現することにより、ディラックの条件を満たすこと。
• 指数写像を介してリー代数の2-コホモロジー $\Gamma$ と群の2-コホモロジー $c$ の間の対応を活用し、古典的および量子的構造の整合性を保証すること。
• 場の連続性と $\hbar \to 0$ の極限における交換子の漸近的挙動の検証により、量子化が厳密であることを保証すること。

実験結果

リサーチクエスチョン

• RQ1 ねじれ付き群 C*-代数 $C^*(G,c)$ は、ねじれ付き Lie-Poisson 代数 $C^\infty(\g^*_{(\Gamma)})$ の厳密な量子化として解釈可能か？
• RQ2 この量子化におけるプランク定数 $\hbar$ の役割は何か？ なぜ $\hbar \in (\mathbb{Z} \setminus \{0\})^{-1}$ の値を取るのか？
• RQ3 $\hbar \to 0$ の極限において、$C^*(G,c)$ 内の交換子と $\g^*_{(\Gamma)}$ 上のポアソン括弧との間の漸近的関係はどのように実現されるか？
• RQ4 古典的および量子的構造の整合性を保証するため、リー代数の2-コホモロジー $\Gamma$ と群の2-コホモロジー $c$ の間の明確な関係は何か？
• RQ5 $\hbar \neq 0$ の場合に量子的代数 $C^*(G,c)$ と古典的代数 $C_0(\g^*)$ の間を補間する連続的場の C*-代数が存在するか？

主な発見

• ねじれ付き群 C*-代数 $C^*(G,c)$ は、$\hbar \in \{0\} \cup (\mathbb{Z} \setminus \{0\})^{-1}$ でインデックス付けされた連続的場の C*-代数を介して、ねじれ付き Lie-Poisson 代数 $C^\infty(\g^*_{(\Gamma)})$ の厳密な量子化である。
• $\hbar \to 0$ の極限では $C_0(\g^*)$ が回復され、$\hbar \neq 0$ の場合、代数 $\mathcal{A}_\hbar = C^*(G,c)$ が量子的構造を捉える。
• $\mathcal{A}_\hbar$ 内の交換子は、$\hbar \to 0$ のとき漸近的にディラックの条件を満たし、滑らかな関数 $a,b$ に対して $\frac{1}{i\hbar}[a,b]_\hbar \to \{a,b\}_{\Gamma}$ が成り立つ。
• $\hbar$ の値は逆整数に制限されており、これは乗法的特徴 $c \in Z^2(G,U(1))$ を通じたねじれの位相的性質を反映している。
• リー代数の2-コホモロジー $\Gamma$ と群の2-コホモロジー $c$ の間の一貫性のある対応関係が確立され、古典的および量子的レベルの整合性が保証される。
• この量子化は厳密であり、C*-代数の場が連続的であり、古典的極限が適切に定義されており、厳密な量子化の公理を満たす。