[论文解读] Representations of A-type Hecke algebras

A. P. Isaev, O. Ogievetsky|ArXiv.org|Dec 18, 2009

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

一句话总结

本文通过 Jucys-Murphy 元素显式构造了 A 型 Hecke 代数中的本原正交幂等元，推广了对称群的方法。推导出不可约表示的 Ocneanu 跟踪（q-维数）的递推关系，得到了用量子整数和钩长表示的 q-维数的闭式公式，该公式适用于量子线性群和 R-矩阵表示。

ABSTRACT

We review some facts about the representation theory of the Hecke algebra. We adapt for the Hecke algebra case the approach of Okounkov and Vershik which was developed for the representation theory of symmetric groups. We justify an explicit construction of the idempotents in the Hecke algebra in terms of Jucys-Murphy elements. Ocneanu's traces for these idempotents (which can be interpreted as q-dimensions of corresponding irreducible representations of quantum linear groups) are presented.

研究动机与目标

• 将使用 Jucys-Murphy 元素的对称群表示方法推广至 A 型 Hecke 代数。
• 在 Hecke 代数 $H_{M+1}(q)$ 中构造本原正交幂等元，作为 Jucys-Murphy 元素的联合本征投影算子。
• 通过递推关系和闭式表达式，计算这些幂等元的 Ocneanu 跟踪（解释为 q-维数）。
• 建立量子特征函数对杨图形状的依赖性，与 tableau 选择无关。
• 将构造与量子群 $GL_q(N|M)$ 的 R-矩阵表示以及 Drinfeld-Jimbo $R$-矩阵联系起来。

提出的方法

• 使用通过 braid 生成元 $\sigma_i$ 和 Hecke 关系 $\sigma_i^2 = 1 + (q - q^{-1})\sigma_i$ 递归定义的 Jucys-Murphy 元素 $y_i$。
• 将幂等元 $e_\alpha$ 构造为可交换的 $y_i$ 的联合本征投影算子，其本征值 $a_i^{(\alpha)}$ 构成谱 $\Lambda(e_\alpha)$。
• 利用交织算子 $U_{n+1} = \sigma_n y_n - y_n \sigma_n$ 分析分支规则以及从 $H_i$ 到 $H_{i+1}$ 的幂等元提升。
• 通过投影算子 $P_j$ 投影到 $y_{|\lambda|+1}$ 的本征值，推导出 Ocneanu 跟踪的递推关系，得到涉及量子整数的跟踪公式。
• 将该跟踪应用于推导 q-维数的递推关系：$\text{qdim}(\lambda^{(j)}) = \text{qdim}(\lambda) \cdot q^{-d} [\lambda_{(j)} - n_{j-1} + d]_q \cdot \frac{\prod_{n,m \in \lambda} [h_{n,m}]_q}{\prod_{n,m \in \lambda^{(j)}} [h_{n,m}]_q}$。
• 求解递推关系，得到闭式 q-维数公式：$\text{qdim}(\lambda) = q^{-d|\lambda|} \prod_{n,m \in \lambda} \frac{[d + m - n]_q}{[h_{n,m}]_q}$。

实验结果

研究问题

• RQ1 如何通过 Jucys-Murphy 元素显式构造 A 型 Hecke 代数中的本原幂等元？
• RQ2 Hecke 代数不可约表示的 Ocneanu 跟踪（q-维数）的结构是什么？
• RQ3 q-维数如何依赖于杨图和量子参数 $q$？
• RQ4 能否证明量子特征函数 $\chi_\lambda(T)$ 仅依赖于形状 $\lambda$，而与 tableau 无关？
• RQ5 参数 $d = N - M$ 在 $GL_q(N|M)$ 表示的 q-维数公式中起什么作用？

主要发现

• 本文将 $H_{M+1}(q)$ 中的本原正交幂等元构造为 Jucys-Murphy 元素 $y_i$ 的联合本征投影算子，其本征值构成谱 $\Lambda(e_\alpha) = (a_1^{(\alpha)}, \dots, a_{M+1}^{(\alpha)})$。
• 通过涉及 $y_{|\lambda|+1}$ 本征值 $\mu_j = q^{2(\lambda_{(j)} - n_{j-1})}$ 的递推关系计算了幂等元 $e_\alpha$ 的 Ocneanu 跟踪，得到包含量子整数和钩长乘积的跟踪公式。
• 求解 q-维数的递推关系，得到闭式表达式 $\text{qdim}(\lambda) = q^{-d|\lambda|} \prod_{n,m \in \lambda} \frac{[d + m - n]_q}{[h_{n,m}]_q}$，与已知结果在归一化下一致。
• 对于与 $GL_q(N|M)$ 关联的 $H_{M+1}(q)$ 的 R-矩阵表示，参数 $d$ 被识别为 $N - M$，从而在跟踪公式中验证了该参数化。
• 量子特征 $\chi_\lambda(T)$ 仅依赖于杨图 $\lambda$，而与 tableau $[\nu]_{|\lambda|}$ 无关，这通过相同形状下不同 tableau 的跟踪不变性得以证明。
• 在经典极限 $q \to 1$ 下，恢复了由 $\lambda$ 标记的表示中 $GL(N)$ 的标准特征，确认与经典理论的一致性。