[論文レビュー] Braid Group Actions and Tensor Products

Vyjayanthi Chari|ArXiv.org|Jun 28, 2001

Algebraic structures and combinatorial models参考文献 1被引用数 16

ひとこと要約

本稿では、量子アフィン代数における虚根ベクトルに対するブレード群作用を確立し、可約な有限次元表現のテンソル積が単純であるための明示的十分条件を導出する。主な結果は、多項式の一般位置に基づく基準であり、このようなテンソル積のR行列がどこにゼロを持つのかを正確に特定するもので、$ \mathfrak{sl}_2$ の先行結果を一般化し、神崎らの予想を証明する。

ABSTRACT

We define an action of the braid group of a simple Lie algebra on the space of imaginary roots in the corresponding quantum affine algebra. We then use this action to determine an explicit condition for a tensor product of arbitrary irreducible finite--dimensional representations is cyclic. This allows us to determine the set of points at which the corresponding $R$--matrix has a zero.

研究の動機と目的

• 量子アフィン代数の可約有限次元表現のテンソル積が単純であるための十分条件を特定すること。
• $ \mathfrak{sl}_2$ のChariとPressleyによる結果を、単純根系をもつ任意の単純代数群および非単純根系をもつ単純代数群に一般化すること。
• 神崎らの可約性に関するテンソル積の基本的表現に関する予想を証明すること。
• このようなテンソル積のR行列がゼロとなる点の集合を明示的に計算すること。
• 例外的ケースにおける$ \mathfrak{g}$-加群構造を、可約性の臨界点を用いて特定する枠組みを提供すること。

提案手法

• $ (\mathbf{C}(q)[[u]])^n$ へのブレード群作用を、標準的セクション $ T: W \to \mathcal{B} $ を用いて定義し、ウェイル群作用をブレード群作用に上昇させる。
• 作用を用いて、極値ベクトル $ v_{w\boldsymbol{\pi}} $ が虚根ベクトルの下での固有値を計算する。
• 多項式 $ \pi' $ と $ \pi $ の間の「一般位置」の概念を導入し、$ q $ の特定の累乗におけるパラメータ比 $ a_r'/a_l $ の非消滅性によって定義する。
• 最長ウェイル群元 $ w_0 $ の簡約表現に沿ってブレード群作用を適用し、各段階で $ (T_{i_{j+1}} \cdots T_{i_N} \boldsymbol{\pi}')_{i_j} $ を計算する。
• 各変換された成分が $ \boldsymbol{\pi}_{i_j} $ と一般位置にある場合、テンソル積 $ V(\boldsymbol{\pi}') \otimes V(\boldsymbol{\pi}) $ が単純であることを確立する。
• $ \mathfrak{g} = A_n, C_n, F_4, G_2$ に対して、禁止される比 $ a_r/a_s $ の集合を明示的に計算し、R行列が消える点を同定する。

実験結果

リサーチクエスチョン

• RQ1 量子アフィン代数の2つの可約有限次元表現のテンソル積がいつ単純になるか。
• RQ2 虚根ベクトルに対するブレード群作用を用いて、テンソル積の単純性をどのように特定できるか。
• RQ3 基本的表現のテンソル積のR行列が可逆でなくなる正確な点の集合は何か。
• RQ4 一般位置条件は、ChariとPressleyによる $\mathfrak{sl}_2$ の結果をどのように一般化するか。
• RQ5 例外的単純代数群における基本的表現のテンソル積の明示的可約性臨界点は何か。

主な発見

• テンソル積 $ V(\boldsymbol{\pi}') \otimes V(\boldsymbol{\pi}) $ が、最高重ベクトルのテンソル積上で単純であるのは、各 $ j $ に対して、多項式 $ (T_{i_{j+1}} \cdots T_{i_N} \boldsymbol{\pi}')_{i_j} $ が $ \boldsymbol{\pi}_{i_j} $ と一般位置にあるときである。
• $ \mathfrak{g} = A_n$ の場合、テンソル積 $ V(\boldsymbol{\pi}^i_{m,a}) \otimes V(\boldsymbol{\pi}^j_{m',b}) $ は、すべての $ p \geq 0 $ に対して $ a/b \neq q^{m - m' - p} $ が成り立つとき単純であり、等号成立時はR行列のゼロを示す。
• $ \mathfrak{g} = F_4$ の場合、集合 $ \mathcal{S}(i,j) $ は、$ V(i,a) \otimes V(j,b) $ が単純でないための禁止比 $ ab^{-1} $ を明示的に列挙し、例えば $ \mathcal{S}(1,1) = \{q^2, q^8, q^{12}, q^{18}\} $ となる。
• $ \mathfrak{g} = G_2$ の場合、条件 $ a/b \in \{q^2, q^6, q^8, q^{12}\} $ が、$ V(1,a) \otimes V(1,b) $ が単純でないことを示し、他のペアに対しても同様の集合が与えられる。
• この結果により、神崎のテンソル積の可約性に関する予想が証明され、任意の最高重ベクトルへと一般化される。
• 本手法により、例外的ケースにおける$\mathfrak{g}$-加群構造を、テンソル積の可約性臨界点を解析することで明示的に計算可能となる。