[論文レビュー] Algebraic structure of multi-parameter quantum groups

Timothy J. Hodges, Thierry Levasseur+1 more|ArXiv.org|Sep 19, 1996

Algebraic structures and combinatorial models参考文献 18被引用数 44

ひとこと要約

本稿は、双次数付きホップ代数のコycleねじりを用いて、多パラメータ量子群 ${\mathbb{C}}_{q,p}[G]$ 及びそのドリンフェルト双対体の統一的代数的枠組みを構築する。ピーター・ウェイ氏型定理を確立し、${\mathbb{C}}_{q,p}[G]$ における原始的イデアルが $H$-軌道と一対一対応することを示し、その軌道の次元は線形写像 $\sigma(w)$ のランクによって決定される。これはジョゼフの1パラメータ結果を多パラメータ設定に一般化する。

ABSTRACT

Multi-parameter versions U_p(g) and C_p[G] of the standard quantum groups U_q(g) and C_q[G] are considered where G is a semi-simple connected complex algebraic group and g is the Lie algebra of G. The primitive spectrum of C_p[G] is calculated, generalizing a result of Joseph for the standard quantum groups. This classification is compared with the classification of symplectic leaves for the associated Poisson structure on G.

研究の動機と目的

• 双次数付きホップ代数のコycleねじりを用いて、多パラメータ量子群 ${\mathbb{C}}_{q,p}[G]$ 及びそのドリンフェルト双対体の統一的代数的構成を確立すること。
• 変形代数間のホップペアリングを用いて、${\mathbb{C}}_{q,p}[G]$ におけるピーター・ウェイ氏型定理を一般化すること。
• ${\mathbb{C}}_{q,p}[G]$ の素イデアルおよび原始的スペクトルを記述し、ジョゼフの1パラメータの場合の結果を拡張すること。
• Gにおけるシンプレクティック葉と ${\mathbb{C}}_{q,p}[G]$ における原始的イデアルの関係を明確にし、シンプレクティック葉が代数的である場合にのみ、一対一対応が成立することを示すこと。

提案手法

• 双次数付きホップ代数のコycleねじりを用いた変形により、$A_p$ を構成する。ここで $A$ は $\mathbb{L}$-双次数付きホップ代数であり、$p$ は $\mathbb{L}$ 上の反対称双文字である。
• $A$ と $U$ 間の $\mathbb{L}$-適合ペアリングから、$A_{p^{-1}}$ と $U_p$ 間の変形ホップペアリングを構成し、ねじり下でも適合性が保たれることを保証する。
• 1パラメータ量子群 ${\mathbb{C}}_q[G]$ 及び $U_q(\mathfrak{g})$ にこの手法を適用し、$U_q(\mathfrak{b}^+)$、$U_q(\mathfrak{b}^-)$、$D_q(\mathfrak{g})$ を同時にねじって $D_{q,p}(\mathfrak{g})$ を形成する。
• ロッソ＝タニサキペアリングを用いて、${\mathbb{C}}_{q,p}[G]$ と $D_{q,p^{-1}}(\mathfrak{g})$ 間の自然なペアリングを誘導し、双対性およびイデアル構造の解析を可能にする。
• $H = \mathbb{L}^\vee$ の $A_w$（${\mathbb{C}}_{q,p}[G]$ の $w$-成分）へのアドジョイント作用を分析し、$\operatorname{Prim}{\mathbb{C}}_{q,p}[G]$ 内の $H$-軌道を研究する。
• $y_\lambda = c_{w\Phi_{-}m\lambda}\tilde{c}_{w\Phi_{+}m\lambda}$ をアド-半不変要素として定義し、$\sigma(w)$ の核を用いて $\dim Z_w$ を計算する。

実験結果

リサーチクエスチョン

• RQ1 多パラメータ量子群 ${\mathbb{C}}_{q,p}[G]$ 及びそのドリンフェルト双対体を、統一的代数的手法を用いて体系的に構成する方法は何か？
• RQ2 ${\mathbb{C}}_{q,p}[G]$ の原始的スペクトル $\operatorname{Prim}{\mathbb{C}}_{q,p}[G]$ の構造は何か。また、これはワイル群 $W \times W$ とどのように関係するか？
• RQ3 Gにおけるシンプレクティック葉と ${\mathbb{C}}_{q,p}[G]$ における原始的イデアルとの間に一対一対応が成立するのはどのような条件下か？
• RQ4 $H$-軌道の次元 $\operatorname{Prim}{\mathbb{C}}_{q,p}[G]$ 内で、ワイル群元 $w$ に依存する仕組みは何か？
• RQ5 $p$ が $q$-有理的条件を満たす場合、${\mathbb{C}}_{q,p}[G]$ の $w$-成分の中心 $Z_w$ の構造に果たす役割は何か？

主な発見

• ${\mathbb{C}}_{q,p}[G]$ の原始的イデアルは、すべて $H$-軌道であり、$w \in W \times W$ でインデックス付けされる。
• $\operatorname{Prim}_{w}{\mathbb{C}}_{q,p}[G]$ 内の各 $H$-軌道の次元は $n - s(w)$ である。ここで $n$ は $\mathfrak{g}$ のランクであり、$s(w)$ は線形写像 $\sigma(w)$ のランクである。
• $p$ が $q$-有理的であるとき、${\mathbb{C}}_{q,p}[G]$ の $w$-成分の中心 $Z_w$ の次元は $n - s(w)$ であり、これは $\dim \ker_{\mathfrak{h}^*} \sigma(w)$ として計算される。
• 要素 $y_\lambda = c_{w\Phi_{-}m\lambda}\tilde{c}_{w\Phi_{+}m\lambda}$ は、重み $q^{(m\sigma(w)\lambda, \eta)}$ のアド-半不変要素であり、$Z_{-2m\lambda} \neq 0$ であるための必要十分条件は $m\sigma(w)\lambda = 0$ である。
• シンプレクティック葉が代数的である代数的状況では、$H$-軌道とシンプレクティック葉の間の一対一対応が成立し、両者の次元は $n - s(w)$ である。
• $D_{q,p}(\mathfrak{g})$ を $U_{q,p}(\mathfrak{b}^+) \Join U_{q,p}(\mathfrak{b}^-)$ として構成することで、ねじり下でもドリンフェルト双対体構造と整合性が保たれる。