[論文レビュー] Highest weight vectors of irreducible representations of the quantum superalgebra U_q(gl(m,n))

Dongho Moon|ArXiv.org|May 25, 2001

Algebraic structures and combinatorial models参考文献 8被引用数 5

ひとこと要約

本稿は、$V^{\otimes k}$ 上における Iwahori-Hecke 環 $\mathcal{H}_k(q^2)$ と $\mathfrak{U}_q(gl(m,n))$ の可換作用を組み合わせることで、量子スーパー代数 $\mathfrak{U}_q(gl(m,n))$ の既約表現の最高重みベクトルを構成する。Gyoja の Young 対称化子の $q$-類似を用いて既約成分に射影し、最高重みベクトルを明示的に同定する。

ABSTRACT

The Iwahori-Hecke algebra of type A acts on tensor product space of the natural representation of the quantum superalgebra U_q(gl(m,n)). We show this action of the Hecke algebra and the action of U_q(gl(m,n)) on the same space determine commuting actions of each other. Together with this result and Gyoja's q-analogue of the Young symmetrizer, we construct a highest weight vector of each irreducible summmand of the tensor product space.

研究の動機と目的

• 量子スーパー代数 $\mathfrak{U}_q(gl(m,n))$ の既約表現の明示的最高重みベクトルを構成すること。
• $\mathfrak{U}_q(gl(m,n))$ と Iwahori-Hecke 環 $\mathcal{H}_k(q^2)$ の $V^{\otimes k}$ 上の可換作用を確立することで、量子スーパー代数設定における Schur-Weyl 対称性を拡張すること。
• Gyoja の Young 対称化子の $q$-類似を用いて、$V^{\otimes k}$ を $\mathfrak{U}_q(gl(m,n))$-既約モジュールに分解すること。
• Hecke 環不変量を用いた方法により、テンソル積分解における最高重みベクトルの特定を構成的に提供すること。
• $H^\lambda$ を $\mathcal{H}_k(q^2)$-既約モジュール、$V(\lambda)$ を $\mathfrak{U}_q(gl(m,n))$-既約モジュールとするとき、$V^{\otimes k} \simeq \bigoplus_{\lambda \in H(m,n)} H^\lambda \otimes V(\lambda)$ という双モジュール同型を確立すること。

提案手法

• 双中心化理論を用いて、$V^{\otimes k}$ 上における $\mathfrak{U}_q(gl(m,n))$ と Iwahori-Hecke 環 $\mathcal{H}_k(q^2)$ の可換作用を確立する。
• Gyoja の Young 対称化子の $q$-類似を適用し、$V^{\otimes k}$ の $\mathfrak{U}_q(gl(m,n))$-既約部分モジュールへの射影を構成する。
• Hecke 環の作用を用いて、$\mathfrak{U}_q(gl(m,n))$ の作用に関して最高重みベクトルを安定化する不変量を定義する。
• Benkart, Kang, Kashiwara のクライスタル基底理論を用いて、$V^{\otimes k}$ が $\mathfrak{U}_q(gl(m,n))$-モジュールとして完全可約であることを保証する。
• $e^{-}_\lambda w'_{\lambda_-}$ および $e^{+}_\lambda w^+_{\lambda_+}$ の像として最高重みベクトルを構成する。ここで $e^{\pm}_\lambda$ は $q$-対称化子、$w'$ は Hecke 環不変量である。
• 構成されたベクトルが $\mathfrak{U}_q(gl(m,n))$ の正ルート生成子 $E_i$ によって消えること、すなわち最高重み性を確認する。

実験結果

リサーチクエスチョン

• RQ1 量子スーパー代数 $\mathfrak{U}_q(gl(m,n))$ の既約表現における最高重みベクトルをどのように明示的に構成できるか？
• RQ2 $V^{\otimes k}$ は $\mathcal{H}_k(q^2)$ と $\mathfrak{U}_q(gl(m,n))$ の両方の代数上の双モジュールとしてどのような構造を持つか？
• RQ3 Gyoja の Young 対称化子の $q$-類似は、$V^{\otimes k}$ を $\mathfrak{U}_q(gl(m,n))$-既約モジュールに射影するために使用可能か？
• RQ4 $V^{\otimes k}$ 上で Iwahori-Hecke 環 $\mathcal{H}_k(q^2)$ の作用と $\mathfrak{U}_q(gl(m,n))$ の作用は可換か？
• RQ5 $V^{\otimes k}$ の $\mathfrak{U}_q(gl(m,n))$-既約モジュールへの分解は、$q$-対称化子と Hecke 環作用によって完全に決定されるか？

主な発見

• $\mathfrak{U}_q(gl(m,n))$ と Iwahori-Hecke 環 $\mathcal{H}_k(q^2)$ の $V^{\otimes k}$ 上の作用は可換であり、これは量子スーパー代数版の Schur-Weyl 対称性を確立する。
• $H(m,n)$ に属する分割 $\lambda$ に対応する $\mathfrak{U}_q(gl(m,n))$-既約モジュール $V(\lambda)$ は、$V^{\otimes k}$ 上で $q$-対称化子 $y_T(q)$ の作用の像として得られる。ここで $T$ は形状 $\lambda$ の標準テーブルである。
• $v_+ = e^{-}_\lambda w'_{\lambda_-} \cdot e^{+}_\lambda w^+_{\lambda_+}$ は、$V(\lambda)$ の最高重みベクトルであり、すべての正ルート生成子 $E_i$ によって消える。
• テンソル積空間 $V^{\otimes k}$ は双モジュールとして分解される： $V^{\otimes k} \simeq \bigoplus_{\lambda \in H(m,n)} H^\lambda \otimes V(\lambda)$。ここで $H^\lambda$ は $\lambda$ をラベルとする $\mathcal{H}_k(q^2)$-既約モジュールである。
• この構成により、$q$-対称化子が $\mathfrak{U}_q(gl(m,n))$-既約モジュールに射影すること、および得られるベクトルが対応する既約表現の最高重みベクトルであることが確認された。
• この方法により、古典的 Schur-Weyl 対称性と Young 対称化子のアプローチが、$q$-変形と Hecke 環不変量を用いて、量子スーパー代数設定へと自然に一般化された。