[论文解读] 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

一句话总结

本文通过结合 Iwahori-Hecke 代数 $\mathcal{H}_k(q^2)$ 与 $\mathfrak{U}_q(gl(m,n))$ 在 $V^{\otimes k}$ 上的交换作用，利用 Gyoja 的 $q$-化杨对称化子将张量积空间投影到不可约分量，并显式识别出不可约 $\mathfrak{U}_q(gl(m,n))$-模的最高权向量。

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))$ 不可约表示的最高权向量。
• 通过在 $V^{\otimes k}$ 上建立 $\mathfrak{U}_q(gl(m,n))$ 与 Iwahori-Hecke 代数 $\mathcal{H}_k(q^2)$ 的交换作用，将 Schur-Weyl 对偶性推广至量子超代数情形。
• 利用 Gyoja 的 $q$-化杨对称化子将 $V^{\otimes k}$ 分解为不可约 $\mathfrak{U}_q(gl(m,n))$-模。
• 提供一种通过 Hecke 代数不变量在张量积分解中识别最高权向量的构造性方法。
• 建立双模同构 $V^{\otimes k} \simeq \bigoplus_{\lambda \in H(m,n)} H^\lambda \otimes V(\lambda)$，其中 $H^\lambda$ 是不可约 $\mathcal{H}_k(q^2)$-模，$V(\lambda)$ 是不可约 $\mathfrak{U}_q(gl(m,n))$-模。

提出的方法

• 利用双中心化理论，建立 $\mathfrak{U}_q(gl(m,n))$ 与 Iwahori-Hecke 代数 $\mathcal{H}_k(q^2)$ 在张量积空间 $V^{\otimes k}$ 上的交换作用。
• 应用 Gyoja 的 $q$-化杨对称化子，构造 $V^{\otimes k}$ 中不可约 $\mathfrak{U}_q(gl(m,n))$-子模的投影算子。
• 利用 Hecke 代数在 $V^{\otimes k}$ 上的作用，定义在 $\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$ 所 annihilate，从而确认其为最高权向量。

实验结果

研究问题

• RQ1 如何在量子超代数 $\mathfrak{U}_q(gl(m,n))$ 的不可约表示中显式构造最高权向量？
• RQ2 $V^{\otimes k}$ 作为 $\mathcal{H}_k(q^2)$ 与 $\mathfrak{U}_q(gl(m,n))$ 上的双模，其结构是怎样的？
• RQ3 Gyoja 的 $q$-化杨对称化子能否用于将 $V^{\otimes k}$ 投影到不可约 $\mathfrak{U}_q(gl(m,n))$-模上？
• RQ4 Iwahori-Hecke 代数 $\mathcal{H}_k(q^2)$ 的作用是否与 $\mathfrak{U}_q(gl(m,n))$ 在 $V^{\otimes k}$ 上的作用交换？
• 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 对偶性。
• 对应于分拆 $\lambda \in H(m,n)$ 的不可约 $\mathfrak{U}_q(gl(m,n))$-模 $V(\lambda)$ 是 $q$-对称化子 $y_T(q)$ 作用于 $V^{\otimes k}$ 的像，其中 $T$ 是形状为 $\lambda$ 的标准杨表。
• 向量 $v_+ = e^{-}_\lambda w'_{\lambda_-} \cdot e^{+}_\lambda w^+_{\lambda_+}$ 是 $V(\lambda)$ 的最高权向量，且被所有正根生成元 $E_i$ 所 annihilate。
• 张量积空间 $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 对偶性与杨对称化子方法推广至量子超代数情形，利用 $q$-变形与 Hecke 代数不变量实现。