[論文レビュー] The quantum algebra $U_q(sl_2)$ and its equitable presentation

Tatsuro Ito, Paul Terwilliger+1 more|ArXiv.org|Jul 22, 2005

Algebraic structures and combinatorial models参考文献 36被引用数 17

ひとこと要約

本稿は、生成子 $x^{\pm1}, y, z$ と対称的な関係を用いた量子代数 $U_q(\mathfrak{sl}_2)$ の公平な表示を導入し、$y$ と $z$ が普遍代数では可逆でないが、有限次元表現では可逆であることを示している。また、$q$-指数関数を用いて線形作用素 $\Omega$ を構成し、それが有限次元表現における公平な生成子を巡回的に置き換えることを明らかにした。

ABSTRACT

We show that the quantum algebra $U_q(sl_2)$ has a presentation with 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$. We call this the equitable presentation. We investigate the action of $x,x^{-1},y,z$ on finite-dimensional $U_q(sl_2)$-modules.

研究の動機と目的

• 生成子 $x^{\pm1}, y, z$ を等価な立場に置いた、量子代数 $U_q(\mathfrak{sl}_2)$ の新しい対称的表示を提供すること。
• 公平な生成子 $y$ と $z$ が普遍代数 $U_q(\mathfrak{sl}_2)$ で可逆ではないことを示すために、$y$ と $z$ に対して非ゼロの核を持つ無限次元モジュールを構成すること。
• 条件 $q^2 \neq 1$ および $\text{char}(\mathbb{K}) \neq 2$ の下で、有限次元 $U_q(\mathfrak{sl}_2)$-モジュール上では $y$ と $z$ が可逆になることを示すこと。
• 有限次元モジュール上での公平な生成子 $x, y, z$ を巡回的に置き換える作用素 $\Omega$ を $q$-指数関数を用いて構成すること。
• 公平な表示とリチャードソン対、三重対、アスキー＝ウィルソン代数などのより広範な代数的構造との関係を調査すること。

提案手法

• 生成子 $x^{\pm1}, y, z$ と関係式 $\frac{qxy - q^{-1}yx}{q - q^{-1}} = 1$ および $yz, zx$ に対するこの関係の巡回的置換により、$U_q(\mathfrak{sl}_2)$ の公平な表示を導入する。
• 生成子 $k^{\pm1}, e, f$ を用いた標準的なチェバレー表示との間の同型を確立し、基底の変更によって生成子が同等であることを示す。
• 基底 $u_{ij}$ を持つ無限次元 $U_q(\mathfrak{sl}_2)$-モジュール $\Gamma_y$ を構成し、$x^{\pm1}, y, z$ の作用を定義することで関係式を検証し、$yu_{00} = 0$ を示し、$y$ が可逆でないことを証明する。
• 同様の基底と作用則を用いて、$z$ が $U_q(\mathfrak{sl}_2)$ で可逆でないことを示すために、第二の無限次元モジュール $\Gamma_z$ を構成する。
• $q$-指数関数を用いて有限次元モジュール上に作用素 $\Omega$ を定義し、$\Omega^{-1}x\Omega = y$, $\Omega^{-1}y\Omega = z$, $\Omega^{-1}z\Omega = x$ を検証する。
• 有限次元モジュール $L(n,\varepsilon)$ 上での $\Omega^3$ の作用を分析し、$n$ と $q$ を用いて明示的な式で表されるスカラー倍の恒等写像として作用することを示す。

実験結果

リサーチクエスチョン

• RQ1 生成子 $x^{\pm1}, y, z$ が等価な立場に置かれた $U_q(\mathfrak{sl}_2)$ の表示は存在するか？ これにより、チェバレー表示の非対称性を回避できるか？
• RQ2 公平な生成子 $y$ と $z$ は普遍代数 $U_q(\mathfrak{sl}_2)$ で可逆であるか？ あるいは、あるモジュールで核を持つのか？
• RQ3 有限次元表現における公平な生成子 $x, y, z$ を巡回的に置き換える作用素 $\Omega$ を一つに構成できるか？
• RQ4 $\Omega^3$ の有限次元モジュール上での構造は何か？ また、$U_q(\mathfrak{sl}_2)$ の表現論とどのように関係しているか？
• RQ5 公平な表示は、アスキー＝ウィルソン代数やカク＝ムーディ代数に付随する量子群などの他の代数とどのように関係しているか？

主な発見

• 量子代数 $U_q(\mathfrak{sl}_2)$ は、生成子 $x^{\pm1}, y, z$ と関係式 $\frac{qxy - q^{-1}yx}{q - q^{-1}} = 1$ およびその巡回的置換を用いた公平な表示を有し、より対称的な実現が可能である。
• $y$ と $z$ は $U_q(\mathfrak{sl}_2)$ で可逆ではない。これは、非ゼロのベクトルが $y$ によって消える無限次元モジュール $\Gamma_y$ が存在することによって示された。
• 条件 $q^2 \neq 1$ および $\text{char}(\mathbb{K}) \neq 2$ の下で、有限次元 $U_q(\mathfrak{sl}_2)$-モジュール上では、$y$ と $z$ は可逆であるが、普遍代数では可逆でない。
• $q$-指数関数を用いて構成された線形作用素 $\Omega$ は、有限次元モジュール上での $\Omega^{-1}x\Omega = y$, $\Omega^{-1}y\Omega = z$, $\Omega^{-1}z\Omega = x$ を満たし、公平な生成子間の巡回的対称性を明らかにした。
• $\Omega^3$ は各有限次元モジュール $L(n,\varepsilon)$ 上でスカラー倍として作用し、そのスカラーは $n$ が偶数のとき $q^{-n(n+2)/2}$、$n$ が奇数のとき $-q^{(1-n)(n+3)/2}$ として明示的に計算された。
• 公平な表示が、$g_x = g_y = g_z = 0$ および $h_x = h_y = h_z = q - q^{-1}$ の場合のアスキー＝ウィルソン代数の特別なケースと同型であることが示された。このケースは、これまでの文献では取り上げられていなかった。