[論文レビュー] The equitable presentation for the quantum group $U_q(g)$ associated with a symmetrizable Kac-Moody algebra $g$

Paul Terwilliger|ArXiv.org|Jul 22, 2005

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

ひとこと要約

本稿は、可対称 Kac-Moody代数 $\mathfrak{g}$ に関連する量子群 $U_q(\mathfrak{g})$ に対して、等価な表示を導入する。これは、$U_q(\mathfrak{sl}_2)$ の等価表示を高ランクの量子群へ一般化するものである。この表示は、$q$-交換関係を満たす $X_i, X_i^{-1}, Y_i, Z_i$ の生成子を用い、ホップ代数構造がこれらの生成子に関して明示的に記述され、Koornwinder のねじれた原始的要素に関連する自然な準ねじれ原始的構造が明らかになる。

ABSTRACT

We consider the quantum group $U_q(g)$ associated with a symmetrizable Kac-Moody algebra $g$. We display a presentation for $U_q(g)$ that we find attractive; we call this the equitable presentation. For $g=sl_2$ the equitable presentation has generators $X,X^{-1},Y,Z$ and relations $X X^{-1} =1$, $X^{-1} X=1$, $\frac{qXY-q^{-1}YX}{q-q^{-1}}=1$, $\frac{qYZ-q^{-1}ZY}{q-q^{-1}}=1$, $\frac{qZX-q^{-1}XZ}{q-q^{-1}}=1$.

研究の動機と目的

• 任意の可対称 Kac-Moody代数 $\mathfrak{g}$ に対して、$U_q(\mathfrak{sl}_2)$ の等価表示を量子群 $U_q(\mathfrak{g})$ へ一般化すること。
• 標準的 Chevalley 生成子とは異なり、生成子 $X_i, Y_i, Z_i$ がより対称的・等価的な役割を果たすような表示を提供すること。
• 等価生成子を用いた場合のホップ代数構造（コマルティプリケーション、コユニット、アンチポーダ）を明確にすること。
• 準ねじれ原始的構造の概念を用いて、等価生成子を Koornwinder のねじれた原始的要素に関連付けること。

提案手法

• Kac-Moody代数のインデックス集合の各インデックス $i$ に対して、生成子 $X_i, X_i^{-1}, Y_i, Z_i$ を用いた $U_q(\mathfrak{g})$ の新しい表示を導入する。
• 関係式を $q$-交換関係として定義する：$\frac{qXY - q^{-1}YX}{q - q^{-1}} = 1$ および $YZ$, $ZX$ の類似関係を $i,j$-インデックス付きペアに一般化する。
• 生成子の変換により Chevalley 生成子へ写像する同型写像を構築し、この新しい表示と標準的 $U_q(\mathfrak{g})$ の同型を確立する。
• コマルティプリケーション、コユニット、アンチポーダのホップ代数構造を等価生成子に関して明示的に記述し、$\Delta(X_i) = X_i \otimes X_i$ および $\Delta(Y_i) = (Y_i - 1) \otimes X_i^{-1} + 1 \otimes Y_i$ を示す。
• 準ねじれ原始的構造の概念を定義する：$\Delta(u) = 1 \otimes u + u \otimes S(g)$ であり、$Y_i - 1$ および $Z_i - 1$ が $X_i$ に関して準ねじれ原始的であることを示す。
• 同型写像を用いて等価生成子と Koornwinder のねじれた原始的要素を関連付け、$\mathfrak{sl}_2$ の既知の結果が一般化されることを示す。

実験結果

リサーチクエスチョン

• RQ1 可対称 Kac-Moody代数 $\mathfrak{g}$ の量子群 $U_q(\mathfrak{g})$ は、より対称的・等価的な方法でどのように生成子を用いて表示できるか？
• RQ2 等価生成子を用いた場合、$U_q(\mathfrak{g})$ のホップ代数構造（コマルティプリケーション、コユニット、アンチポーダ）はどのように記述されるか？
• RQ3 等価生成子は、量子群の文脈において Koornwinder のねじれた原始的要素とどのように関係するか？
• RQ4 ねじれた原始的構造の概念は、等価表示で観察される構造を扱えるように一般化可能か？

主な発見

• 本稿は、$q$-交換関係を満たす対称的な関係を持つ生成子 $X_i, X_i^{-1}, Y_i, Z_i$ を用いた $U_q(\mathfrak{g})$ の新しい表示を確立し、$\mathfrak{sl}_2$ の場合を一般化する。
• 等価表示におけるコマルティプリケーションは、$\Delta(X_i) = X_i \otimes X_i$、$\Delta(Y_i) = (Y_i - 1) \otimes X_i^{-1} + 1 \otimes Y_i$、$\Delta(Z_i) = (Z_i - 1) \otimes X_i^{-1} + 1 \otimes Z_i$ を満たす。
• コユニットは $\varepsilon(X_i) = \varepsilon(Y_i) = \varepsilon(Z_i) = 1$ を満たし、アンチポーダは $S(X_i) = X_i^{-1}$、$S(Y_i) = 1 + X_i - Y_i X_i$、$S(Z_i) = 1 + X_i - Z_i X_i$ で与えられる。
• 要素 $Y_i - 1$ および $Z_i - 1$ は $X_i$ に関して準ねじれ原始的であり、すなわち $\Delta(Y_i - 1) = (Y_i - 1) \otimes X_i^{-1} + 1 \otimes (Y_i - 1)$ が成り立ち、同様に $Z_i - 1$ に対しても成り立つ。
• 等価表示は既知の $\mathfrak{sl}_2$ の場合を一般化し、対称的な生成子の役割を有する高ランク量子群の均一な枠組みを提供する。
• 等価表示と標準的 $U_q(\mathfrak{g})$ 間の同型写像が明示的に構成され、Chevalley 生成子が等価生成子の有理関数として回復可能であることが示された。