[論文レビュー] Construction of quantized enveloping algebras by cocycle deformation

Akira Masuoka|ArXiv.org|Apr 16, 2008

Algebraic structures and combinatorial models参考文献 27被引用数 26

ひとこと要約

本稿では、量子セール関係式のような複雑な定義関係を直接検証する必要なく、前ニコリス代数から量子包あくり代数およびその類似物を構成するためのコサイクル変形枠組みを導入する。主な貢献は、このような代数がより単純な次数付きホップ代数のコサイクル変形として得られることを証明したことであり、$U_q$、小量子群、スピン代数が、同一の代数的メカニズムの下で統一的に構成されることを示している。

ABSTRACT

By using cocycle deformation, we construct a certain class of Hopf algebras, containing the quantized enveloping algebras and their analogues, from what we call pre-Nichols algebras. Our construction generalizes in some sense the known construction by (generalized) quantum doubles, but unlike in the known situation, it saves us from difficulties in checking complicated defining relations.

研究の動機と目的

• 量子包あくり代数の構成を単純化し、量子セール関係式のような複雑な定義関係を直接検証する必要を回避すること。
• コサイクル変形を用いた量子双対構成の一般化により、$U_q$、そのスピン類似物、および多パrameter版を一様に取り扱えるようにすること。
• ポイント型ホップ代数のコサイクル変形に関する先行結果を、前ニコリス代数の枠組みを用いて非ポイント型の場合にまで拡張すること。
• 有限次元ポイント型ホップ代数 $u(\frak{D},\boldsymbol{\nu},\boldsymbol{\rho})$ が、ボソン化された前ニコリス代数のコサイクル変形として一様に構成できる統一的な代数的メカニズムを提供すること。

提案手法

• 構成は、ホップ代数 $H$ 上のイータ-ドリンフェルト加群に関連する前ニコリス代数 $R_i$ のbraided tensor積を用い、それらの双対性が互いに逆であるようにする。
• 双線形写像 $\lambda: \bigoplus_{i>j} [V_i,V_j] \to k$ が、変形パラメータを定め、これにより得られるホップ代数 $\mathcal{H}^\lambda$ の変形された交換関係を制御する。
• 変形された積は、ボソン化ホップ代数 $\mathcal{H} = R \mathop{\raisebox{0.86108pt}{\makebox[8.99994pt][l]{${\scriptstyle>\joinrl\lessdot}$}}\raisebox{0.51663pt}{$\shortmid$}} H$ 上の2次コサイクル $\sigma$ を用いて定義され、$\mathcal{H}^\lambda = \mathcal{H}^\sigma$ となる。
• braided commutator $[v,w] = (\mathrm{id} - c_{ij})(v \otimes w)$ が $\lambda$ を通じて変形され、$\mathcal{H}^\lambda$ では $E_iF_j - F_jE_i = \delta_{ij}\frac{K_i - K_i^{-1}}{q_i - q_i^{-1}}$ のような関係が得られる。
• この方法はホップガロア理論に依拠しており、量子双対構成がコサイクル変形の特別な場合であるという事実を利用し、定義関係の体系的な変形を可能にする。

実験結果

リサーチクエスチョン

• RQ1 量子セール関係式の直接検証を回避することで、$U_q$ の構成を単純化できるか。
• RQ2 $U_q$、そのスピン類似物、および小量子群を、共通の代数的構造の変形として一括して取り扱える統一的枠組みが存在するか。
• RQ3 コサイクル変形を用いて、ニコリス代数ではなく前ニコリス代数からも量子包あくり代数を構成できるか。
• RQ4 変形パラメータ $\lambda$ が、得られるホップ代数 $\mathcal{H}^\lambda$ の構造をどのように制御するか。
• RQ5 graded版 $\mathcal{H}^\lambda$ は元の代数 $\mathcal{H}$ と同型であるか。この事実は変形にどのような意味を持つのか。

主な発見

• 量子包あくり代数 $U_q$ は $\mathcal{H}^\lambda$ として実現され、ここで $\mathcal{H}$ は前ニコリス代数 $R_-$ と $R_+$ のテンソル積のボソン化であり、$\lambda$ が量子セール関係式およびカルタン関係式を符号化している。
• $\mathcal{H}^\lambda$ は $\mathcal{H}$ のコサイクル変形であるため、$\mathcal{H}^\lambda \cong \mathcal{H}^\sigma$ を満たすある2次コサイクル $\sigma$ が存在し、定義関係の検証が簡略化される。
• 関連する次数付き代数 $\mathrm{gr}\,\mathcal{H}^\lambda$ は $\mathcal{H}$ と同型であり、変形が元の次数構造を保存していることが確認される。
• この構成は量子双対法を一般化する：$U_q$ は $((R_- \mathop{\raisebox{0.86108pt}{\makebox[8.99994pt][l]{${\scriptstyle>\joinrl\lessdot}$}}\raisebox{0.51663pt}{$\shortmid$}} k\Gamma') \otimes (R_+ \mathop{\raisebox{0.86108pt}{\makebox[8.99994pt][l]{${\scriptstyle>\joinrl\lessdot}$}}\raisebox{0.51663pt}{$\shortmid$}} k\Gamma))^\sigma$ の核 $K_i \otimes 1 - 1 \otimes K_i$ を法として、同型である。
• 有限次元ポイント型ホップ代数 $u(\frak{D}, \boldsymbol{\nu}, \boldsymbol{\rho})$ が $u(\frak{D}, 0, 0)$ のコサイクル変形として示され、ディットおよびカッセル＝シュナイダーの結果を一般化している。