[論文レビュー] On quantization of Semenov-Tian-Shansky Poisson bracket on simple algebraic groups

Andrey Mudrov|ArXiv.org|Dec 18, 2004

Algebraic structures and combinatorial models参考文献 16被引用数 11

ひとこと要約

本稿は、単純な複素代数的群上のセメノフ＝ティアン＝シャンスキー（STS）ポアソン括弧式に対して、コスタント＝リチャードソン定理の量子版を確立する。$G$ が単連結で $I(G)$ が多項式であるとき、座標環 $\mathbb{C}[G]$ の $χ_{\hbar}[G]$ による量子化 $\mathbb{C}_{\hbar}[G]$ が、中心 $I_{\hbar}(G)$ について自由加群であることを証明する。$I_{\hbar}(G)$ は $I(G)\otimes\mathbb{C}[[\hbar]]$ に同型であり、これは古典的不変体論を量子群を用いた等変量子化によって拡張するものである。

ABSTRACT

Let $G$ be a simple complex factorizable Poisson Lie algebraic group. Let $\U_\hbar(\g)$ be the corresponding quantum group. We study $\U_\hbar(\g)$-equivariant quantization $\C_\hbar[G]$ of the affine coordinate ring $\C[G]$ along the Semenov-Tian-Shansky bracket. For a simply connected group $G$ we prove an analog of the Kostant-Richardson theorem stating that $\C_\hbar[G]$ is a free module over its center.

研究の動機と目的

• 単純な代数群上のセメノフ＝ティアン＝シャンスキー（STS）ポアソン括弧式に対して、コスタント＝リチャードソン定理の量子版を確立すること。
• $\mathbb{C}[G]$ のSTS括弧式に沿った $χ_{\hbar}[G]$-等変量子化を、量子群の対称性を用いて研究すること。
• $I(G)$ が多項式であるとき、$\mathbb{C}_{\hbar}[G]$ がその中心 $I_{\hbar}(G)$ について自由加群であることを証明すること。
• $I_{\hbar}(G) \simeq I(G)\otimes\mathbb{C}[[\hbar]]$ を $\mathbb{C}$-代数としての同型として示し、古典的不変体構造を保つこと。

提案手法

• クasiトライアングルリーバイ代数的構造を持つ $\mathfrak{g}$ に関連する量子化された普遍包あらわし代数 $\mathcal{U}_{\hbar}(\mathfrak{g})$ を用いる。
• $\mathfrak{D}\mathfrak{g}$ に関する $\mathcal{U}_{\hbar}(\mathfrak{D}\mathfrak{g})$-等変量子化として、反射方程式代数のねじれ量子化を用いて $\mathbb{C}_{\hbar}[G]$ を構成する。
• 普遍 $R$-行列 $\mathcal{R}$ を用いたねじれを適用し、RTT代数の構造とSTS括弧式の量子化を関連付ける。
• 反射方程式代数における $\mathcal{U}_{\hbar}(\mathfrak{D}\mathfrak{g})$-不変イデアル構造を用いて、$\mathbb{C}_{\hbar}[G]$ を商として定義する。
• モジュール代数のねじれを用いて、テンソル代数からの定義関係を量子設定に変換する。
• 単連結な $G$ に対して、不変体代数 $I(G)$ が多項式であること、かつ基本的特徴の生成元によって生成されることに依拠する。

実験結果

リサーチクエスチョン

• RQ1 量子座標環 $\mathbb{C}_{\hbar}[G]$ は、古典的コスタント＝リチャードソン定理に類似した、その中心上の自由加群構造を有するか？
• RQ2 $\mathbb{C}_{\hbar}[G]$ の中心は、古典的不変体代数 $I(G)$ とどのように関係するか？
• RQ3 $\mathcal{U}_{\hbar}(\mathfrak{g})$-不変部分代数は、$\mathbb{C}_{\hbar}[G]$ の中心と同一視できるか？
• RQ4 $I(G)$ が多項式であるとき、$\mathbb{C}_{\hbar}[G]$ は $I_{\hbar}(G)$ 上でどのような加群構造をとるか？
• RQ5 ねじれ構成の下で、反射方程式代数における $\mathbb{C}_{\hbar}[G]$ の定義関係はどのように実現されるか？

主な発見

• $\mathbb{C}_{\hbar}[G]$ の中心は、$\mathcal{U}_{\hbar}(\mathfrak{g})$-不変部分代数 $I_{\hbar}(G)$ と一致し、これは古典的不変体論の量子版を確立する。
• $I_{\hbar}(G)$ は $\mathbb{C}$-代数として $I(G)\otimes\mathbb{C}[[\hbar]]$ に同型であり、量子不変体が古典的不変体を形式的に変形していることを示す。
• $I(G)$ が多項式（例えば単連結な $G$ の場合）であるとき、$\mathbb{C}_{\hbar}[G]$ は、$\mathbb{C}[[\hbar]]$-有限な同型成分をもつ $\mathcal{U}_{\hbar}(\mathfrak{g})$-部分加群 $\mathcal{E}$ によって生成される $I_{\hbar}(G)$-自由加群である。
• $SL(n)$、$SO(N)$、$Sp(n)$ などの古典的群に対して、代数 $\mathbb{C}_{\hbar}[G_{STS}]$ は、$R$-行列関係と $\det_q(K) = 1$ によって生成されるイデアルによる反射方程式代数の商として実現される。
• $\mathbb{C}_{\hbar}[G]$ の量子化は、$\mathcal{U}_{\hbar}(\mathfrak{g})$-加群代数構造のねじれによって構成され、$\mathcal{U}_{\hbar}(\mathfrak{D}\mathfrak{g})$ による等変性が保たれる。
• この結果は、すべての単純な複素代数的群 $G$ に対して成り立ち、自由性の条件は $I(G)$ の多項式性に依存するが、これは $G$ が単連結または $SO(2n+1)$ の場合に満たされる。