[論文レビュー] Two-parameter Quantum Group of Exceptional Type G_2 and Lusztig's Symmetries

Naihong Hu, Qian Shi|ArXiv.org|Jan 18, 2006

Algebraic structures and combinatorial models参考文献 3被引用数 7

ひとこと要約

この論文は、$ℚ(r,s)$ 上の例外型 $G_2$ の二パラメータ量子群 $U_{r,s}(G_2)$ を導入し、上三角部分と下三角部分を用いてそのドリンフェルト双対構造を確立する。さらに、$U_{r,s}(G_2)$ から $U_{s^{-1},r^{-1}}(G_2)$ へのルシュツィグの対称性を構成し、新たな $(r,s)$-恒等式を明らかにし、標準的なドリンフェルト＝ジモボ量子群とは異なる二パラメータ構成の特徴を示す。

ABSTRACT

We give the defining structure of two-parameter quantum group of type G_2 defined over a field {\Bbb Q}(r,s) (with r e s), and prove the Drinfel'd double structure as its upper and lower triangular parts, extending an earlier result of [BW1] in type A and a recent result of [BGH1] in types B, C, D. We further discuss the Lusztig's Q-isomorphisms from U_{r,s}(G_2) to its associated object U_{s^{-1},r^{-1}}(G_2), which give rise to the usual Lusztig's symmetries defined not only on U_q(G_2) but also on the centralized quantum group U_q^c(G_2) only when r=s^{-1}=q. (This also reflects the distinguishing difference between our newly defined two-parameter object and the standard Drinfel'd-Jimbo quantum groups). Some interesting (r,s)-identities holding in U_{r,s}(G_2) are derived from this discussion.

研究の動機と目的

• 生成元 $e_i, f_i, \omega_i^{\pm1}, \omega_i^{\prime\pm1}$ とパラメータ $r$ と $s$ を含む関係式を備えた、$ℚ(r,s)$ 上の例外型 $G_2$ の二パラメータ量子群 $U_{r,s}(G_2)$ を定義する。
• $U_{r,s}(G_2)$ がドリンフェルト双対構造を有することを証明し、上三角部分と下三角部分への分解を示す。
• 標準的な $U_q(G_2)$ を超える対称性を拡張し、$U_{r,s}(G_2)$ から $U_{s^{-1},r^{-1}}(G_2)$ へのルシュツィグの $ℚ$-同型写像を構成する。
• これらの対称性の作用から、$U_{r,s}(G_2)$ 内で新たな $(r,s)$-恒等式を導出し、標準的量子群とは異なる構造的差異を強調する。

提案手法

• 生成元 $e_i, f_i, \omega_i^{\pm1}, \omega_i^{\prime\pm1}$ と関係式 (G1)–(G6) を備えた、$ℚ(r,s)$ 上の結合的代数として $U_{r,s}(G_2)$ を定義し、$r,s$-セール関係式を含む。
• コマルチプライケーション $\Delta(e_i) = e_i \otimes 1 + \omega_i \otimes e_i$、コユニット $\varepsilon(e_i) = 0$、アンチポード $S(e_i) = -\omega_i^{-1}e_i$ を用いて、$U_{r,s}(G_2)$ にホップ代数構造を定義し、$f_i$, $\omega_i$, $\omega_i^\prime$ に対しても同様の式を適用する。
• 上三角部分と下三角部分の量子群のドリンフェルト双対が $U_{r,s}(G_2)$ に同型であることを証明し、タイプ $A$ および $B,C,D$ の結果を一般化する。
• ルシュツィグの対称性を、$r \mapsto s^{-1}, s \mapsto r^{-1}$ による生成元の写像で定義される $ℚ$-代数同型写像 $\phi: U_{r,s}(G_2) \to U_{s^{-1},r^{-1}}(G_2)$ として構成し、代数的関係との整合性を検証する。
• 随伴作用を用いて、$(r,s)$-セール関係式を $\text{ad}_l(e_i)^{1-a_{ij}}(e_j) = 0$ および $\text{ad}_r(f_i)^{1-a_{ij}}(f_j) = 0$ の形に再表現し、構造を単純化する。
• ルシュツィグの対称性の作用を分析することで、特に $G_2$ の根系とそのカルタン行列の文脈において、$U_{r,s}(G_2)$ 内で明示的な $(r,s)$-恒等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 例外型 $G_2$ の二パラメータ量子群を、ドリンフェルト＝ジモボ型に一般化された生成元と関係式を備えた $ℚ(r,s)$ 上に一貫して定義する方法は何か？
• RQ2 二パラメータ量子群 $U_{r,s}(G_2)$ はドリンフェルト双対構造を有するか？ もしそうなら、その上三角部分と下三角部分はどのように実現されるか？
• RQ3 標準的な $U_q(G_2)$ から二パラメータ設定 $U_{r,s}(G_2)$ へ、ルシュツィグの対称性を拡張できるか？ その結果得られる $U_{r,s}(G_2)$ と $U_{s^{-1},r^{-1}}(G_2)$ 間の同型写像は何か？
• RQ4 これらの対称性の作用によって、$U_{r,s}(G_2)$ 内にどのような新たな $(r,s)$-恒等式が生じるか？ それらは標準的量子群 $U_q(G_2)$ の恒等式とどのように異なるか？
• RQ5 パラメータ $r = q$, $s = q^{-1}$ のとき、二パラメータ構成は標準的なドリンフェルト＝ジモボ量子群とどのように異なり、特に対称性と代数的構造の観点から特徴づけられるか？

主な発見

• 二パラメータ量子群 $U_{r,s}(G_2)$ は、生成元 $e_i, f_i, \omega_i^{\pm1}, \omega_i^{\prime\pm1}$ と関係式 (G1)–(G6) を備えた、$ℚ(r,s)$ 上のホップ代数として定義され、$G_2$ の $r,s$-セール関係式を含む。
• 上三角部分と下三角部分の量子群のドリンフェルト双対は、$U_{r,s}(G_2)$ 自身と同型である。これは、タイプ $A$ および $B,C,D$ の既存結果を一般化する。
• ルシュツィグの対称性は、$ℚ$-代数同型写像 $\phi: U_{r,s}(G_2) \to U_{s^{-1},r^{-1}}(G_2)$ を誘導する。これは $r = q$, $s = q^{-1}$ のときのみ、$U_q(G_2)$ 上での標準的ルシュツィグ対称性に制限される。
• 同型写像 $\phi$ は、$U_{r,s}(G_2)$ 内で新たな $(r,s)$-恒等式を生じさせ、特に $f_1 f_2^2$ や $f_2 f_1^4$ に対する作用から得られる恒等式が、$r,s$-セール関係式のもとで消えることを示す。
• $r = q$, $s = q^{-1}$ のとき、$U_{r,s}(G_2)$ を理想 $\omega_i' - \omega_i^{-1}$ で割った商は、標準的なドリンフェルト＝ジモボ量子群 $U_q(G_2)$ を回復し、理想 $\omega_i' - z_i \omega_i^{-1}$ で割った商は、中心化量子群 $U_q^c(G_2)$ を得る。
• 随伴作用による表現 $\text{ad}_l(e_i)^{1-a_{ij}}(e_j) = 0$ および $\text{ad}_r(f_i)^{1-a_{ij}}(f_j) = 0$ により、$(r,s)$-セール関係式が単純化され、量子群のリーダーマンフォームにおける構造的起源が明確に現れる。