[論文レビュー] Explicit equivariant quantization on (co)adjoint orbits of $GL(n,\C)$

J. Donin, Andrey Mudrov|ArXiv.org|Jun 6, 2002

Advanced Algebra and Geometry参考文献 17被引用数 7

ひとこと要約

本稿では、拡張反射方程式（ERE）代数 $\mathcal{L}_{t,h}$ を用いて、$GL(n,\mathbb{C})$ の共伴軌道上における $\mathcal{U}_{h}(\mathfrak{gl}(n,\mathbb{C}))$-等変な量子化を明示的に構成する。この構成は、キリロフ＝コスタント＝スールオー（KKS）のヤコビ形式と反射方程式 $r$-行列ヤコビ形式の両方を変形する二パラメータの量子化を提供する。主な結果は、行列多項式関係と量子トレースの変形条件を用いた量子軌道の閉形式的構成であり、指定された固有値の重複度を持つ半単純軌道に制限される $\mathbb{C}[[t,h]]$-代数の平坦性を保証する。

ABSTRACT

We present an explicit $\U_h\bigl(gl(n,\C)\bigr)$-equivariant quantization on coadjoint orbits of $GL(n,\C)$. It forms a two-parameter family quantizing the Poisson pair of the reflection equation and Kirillov-Kostant-Souriau brackets.

研究の動機と目的

• GL(n,\mathbb{C}) の共伴軌道上における明示的 $\mathcal{U}_h(\mathfrak{gl}(n,\mathbb{C}))$-等変量子化の構成。
• キリロフ＝コスタント＝スールオー（KKS）ヤコビ形式と反射方程式 $r$-行列ヤコビ形式の両方が共存するペアの量子化問題の解決。
• 明示的な代数的関係を用いて、半単純共伴軌道上の関数代数を $\mathbb{C}[[t,h]]$ 上の平坦変形として提供すること。
• 行列多項式方程式とトレース条件による古典的軌道パrametrization を、量子設定において量子トレースと変形関係を用いて拡張すること。

提案手法

• 普遍的な量子化代数として ERE 代数 $\mathcal{L}_{t,h}$ を用い、量子群関係と二パラメータ変形構造を満たす生成子を有する。
• 共伴軌道上の量子化は、固有値 $\mu_i$ と重複度 $n_i$ を持つ行列の軌道を古典的に切り出す $(L - \mu_1)\cdots(L - \mu_k) = 0$ で生成されるイデアルによる $\mathcal{L}_{t,h}$ の商として実現される。
• 量子トレース $\mathrm{Tr}_q(L^m)$ は $q = e^h$ を用いて定義され、古典的トレース条件 $\mathrm{Tr}(X^m) = \sum_i n_i \mu_i^m$ を量子制約 $\mathrm{Tr}_q(L^m) = \vartheta_m(\mathbf{n}, q^{-2}, \mu, t)$ に変形する。
• $\mathcal{L}_{t,h}$ の中心は最初の $n$ 個の量子トレース $\mathrm{Tr}_q(L^m)$ によって生成され、$\mathcal{U}_h(\mathfrak{gl}(n,\mathbb{C}))$-作用に関して不変性を保証する。
• $\mathcal{S}_{t,h}/\mathcal{J}^{\mathcal{S}}_{t,h,\mu}$ の不変部分代数上に、古典的キャラクター $\chi(\mathbf{n})$ を変形したキャラクター $\chi_{t,h}(\mathbf{n})$ を構成し、量子設定において正しい固有値の重複度を保証する。
• $\mathbb{C}[[t,h]]$ 上の商代数の平坦性は、量子キャラクターの数が古典的軌道数と一致することを示すことによって確立され、モジュール構造の自由性が示される。

実験結果

リサーチクエスチョン

• RQ1 GL(n,\mathbb{C}) の共伴軌道上における明示的 $\mathcal{U}_h(\mathfrak{gl}(n,\mathbb{C}))$-等変量子化を構成可能か？
• RQ2 行列多項式方程式とトレース条件による古典的軌道パラメータ化を、量子設定において一貫して変形することは可能か？
• RQ3 量子トレース $\mathrm{Tr}_q$ は、固有値の古典的対称関数を変形する量子不変量を定義する上で果たす役割は何か？
• RQ4 ERE 代数を量子多項式およびトレース関係で割った商が、$\mathbb{C}[[t,h]]$ 上の平坦変形をなすか？ また、特定の半単純軌道に制限されるか？
• RQ5 得られた量子代数は $t=h=0$ で古典的関数代数と同型であり、軌道構造を保存するか？

主な発見

• ERE 代数 $\mathcal{L}_{t,h}$ は、$\mathfrak{gl}(n,\mathbb{C})^*$ 上の関数代数の普遍的二パラメータ量子化を提供し、$\mathcal{L}_{0,0}$ は対称代数 $S(\mathfrak{gl}(n,\mathbb{C}))$ と同型である。
• $(L - \mu_1)\cdots(L - \mu_k) = 0$ で生成されるイデアルによる $\mathcal{L}_{t,h}$ の商は、$\mathbb{C}[[t,h]]$-代数 $\mathcal{A}_{t,h}(M^k_\mu)$ として平坦であり、固有値 $\mu_i$ と重複度 $n_i$ を持つ半単純行列の軌道 $M^k_\mu$ 上の量子化をなす。
• 量子トレース条件 $\mathrm{Tr}_q(L^m) = \vartheta_m(\mathbf{n}, q^{-2}, \mu, t)$（$m=1,\dots,k-1$）は、与えられた固有値の重複度を持つ特定の軌道への制限に必要な十分条件である。
• $\vartheta_m(\mathbf{n}, q^{-2}, \mu, t)$ は $q^{-2}$、$t$、$\mu$ に関する多項式であり、$\mathbb{C}[[t,h]]$ 上での変形が適切に定義されることを保証する。
• 不変部分代数 $\mathcal{S}_{t,h}/\mathcal{J}^{\mathcal{S}}_{t,h,\mu}$ は、$\mathbb{C}[[t,h]]$-自由加群としてのランク $|n:k|$ を持ち、古典的軌道数と一致する。これにより、量子化の平坦性と正しさが確認される。
• $h=0$ の極限では、半単純共伴軌道上の KKS ポincare ブラケットの $G$-等変量子化が得られ、BFFLS の結果が回復される。