[論文レビュー] Deformation Quantization of Non Regular Orbits of Compact Lie Groups

M. A. Lledó|ArXiv.org|May 23, 2001

Homotopy and Cohomology in Algebraic Topology参考文献 20被引用数 8

ひとこと要約

本稿では、コンpact半単純リー群の非正則共伴軌道に対して、普遍包あえ代数 $U_h$ を適切なイデアル $σ_h$ で割ることで、変形量子化を構成する。主な結果は、$U_h/\mathcal{I}_h$ が $σ_h$-加群として軌道上の多項式代数に同型であり、スター積が $h^2$ を法として古典的ポアソン括弧に還元されることであり、従来の正則軌道への一般化である。

ABSTRACT

In this paper we construct a deformation quantization of the algebra of polynomials of an arbitrary (regular and non regular) coadjoint orbit of a compact semisimple Lie group. The deformed algebra is given as a quotient of the enveloping algebra by a suitable ideal.

研究の動機と目的

• コンpact半単純リー群の非正則共伴軌道への代数的変形量子化を正則軌道から拡張すること。
• 普遍包あえ代数の構造を用いて、非正則共伴軌道上の多項式代数にスター積を構成すること。
• 得られた変形代数 $U_h/\mathcal{I}_h$ が $σ_h$-加群として軌道上の多項式代数に同型であることを証明すること。
• 変形積が $h^2$ を法として古典的ポアソン括弧に還元されることを保証し、シンプレクティック構造を保存すること。

提案手法

• 変形パrameter $h$ を用いて変形されたリー代数 $\mathcal{G}$ の普遍包あえ代数 $U_h$ を用い、軌道の定義多項式の消失に対応するイデアル $\mathcal{I}_h$ で割ることにより構成する。
• $\mathbb{C}[\mathcal{G}^*]$ 内のイデアル $\mathcal{I}_0$ のグレブナー基底 $\{r_\alpha\}$ を用いて、$U_h$ 内のイデアル $\mathcal{I}_h$ を定義し、リー代数構造と整合性を保つ。
• 多重指数 $J$ に属する $X_{i_1} \cdots X_{i_k}$ の標準単項式が、射影およびグレブナー基底の議論により、$\u03c3_h$-加群として $U_h/\mathcal{I}_h$ の基底をなすことが示される。
• これらの単項式の線形独立性は、$h = h_0$ における評価を用いた背理法により証明され、先行する項がグレブナー基底の項と一致しないことを利用している。
• $\u03c3_h$-加群としての $U_h/\mathcal{I}_h$ と $\mathbb{C}[\mathcal{G}^*]/\mathcal{I}_0[h]$ の同型性は、加群論的議論および逆極限による $\mathbb{C}[[h]]$ への拡張によって確立される。
• 変形代数における交換子 $[F,G] = FG - GF$ を用いて、ポアソン括弧が $h^2$ を法として回復され、変形量子化の性質が確認される。

実験結果

リサーチクエスチョン

• RQ1 コンpact半単純リー群の非正則共伴軌道への変形量子化は、従来の正則性に依存する構成から拡張可能か？
• RQ2 非正則軌道上の多項式代数を、整合性のあるスター積を備えた普遍包あえ代数 $U_h$ の商として実現できるか？
• RQ3 得られた代数 $U_h/\mathcal{I}_h$ は、$σ_h$-加群として軌道上の多項式代数に同型の構造を保持するか？
• RQ4 スター積 $U_h/\mathcal{I}_h$ と古典的キリロフ・ポアソン括弧の関係は、特に $h^2$ を法としてどのように関係するか？
• RQ5 この構成は、非コンパクト群のための複素軌道の実形式へ拡張可能か？

主な発見

• 変形代数 $U_h/\mathcal{I}_h$ は $σ_h$-加群として $\mathbb{C}[\mathcal{G}^*]/\mathcal{I}_0[h]$ に同型であり、正しい古典的極限が保証される。
• 多重指数 $J$ に属する標準単項式 $X_{i_1} \cdots X_{i_k}$ は、$σ_h$-加群として $U_h/\mathcal{I}_h$ の基底をなすことが、グレブナー基底および評価の議論により証明された。
• 変形代数 $U_h/\mathcal{I}_h$ 内の交換子 $[F,G]$ は $h^2$ を法として、$h$ 倍のキリロフ・ポアソン括弧に還元され、変形量子化の性質が確認された。
• 従来の正則軌道に関する結果が非正則の場合に一般化され、変形量子化の代数的アプローチが拡張された。
• $\mathbb{C}[[h]]$ への拡張は逆極限を用いて可能であり、基底構造と加群同型性が保たれた。
• 微分的スター積に依存せず、代わりに $U_h$ の代数的構造を用いることで、群の対称性を持つ非正則シンプレクティック多様体の量子化への新たな道筋が提供された。