[论文解读] Fusion procedure for the Yang-Baxter equation and Schur-Weyl duality

Loïc Poulain d’Andecy|arXiv (Cornell University)|Jul 25, 2013

Algebraic structures and combinatorial models参考文献 34被引用 4

一句话总结

本文利用对称群和霍尔代数的融合公式，发展了一种杨-巴克斯特定理的通用融合程序，构造了在 $\mathfrak{gl}_N$、$\mathfrak{gl}_{N|M}$、$U_q(\mathfrak{gl}_N)$ 和 $U_q(\mathfrak{gl}_{N|M})$ 的不可约表示上的解。关键贡献在于通过融合函数识别不变子空间，并利用舒尔-外尔对偶性证明这些子空间对应于不可约表示。

ABSTRACT

We use the fusion formulas of the symmetric group and of the Hecke algebra to construct solutions of the Yang-Baxter equation on irreducible representations of $\mathfrak{gl}_N$, $\mathfrak{gl}_{N|M}$, $U_q(\mathfrak{gl}_N)$ and $U_q(\mathfrak{gl}_{N|M})$. The solutions are obtained via the fusion procedure for the Yang--Baxter equation, which is reviewed in a general setting. Distinguished invariant subspaces on which the fused solutions act are also studied in the general setting, and expressed, in general, with the help of a fusion function. Only then, the general construction is specialised to the four situations mentioned above. In each of these four cases, we show how the distinguished invariant subspaces are identified as irreducible representations, using the relevant fusion formula combined with the relevant Schur--Weyl duality.

研究动机与目标

• 开发一种利用对称群和霍尔代数融合公式的一般化杨-巴克斯特定理解融合程序框架。
• 通过融合函数构造，识别融合解的显著不变子空间。
• 将该一般化框架应用于构造 $\mathfrak{gl}_N$、$\mathfrak{gl}_{N|M}$、$U_q(\mathfrak{gl}_N)$ 和 $U_q(\mathfrak{gl}_{N|M})$ 不可约表示上的解。
• 利用舒尔-外尔对偶性建立这些子空间与 $\mathfrak{gl}_N$、$\mathfrak{gl}_{N|M}$、$U_q(\mathfrak{gl}_N)$ 和 $U_q(\mathfrak{gl}_{N|M})$ 不可约表示的对应关系。

提出的方法

• 融合程序从 $V \otimes V$ 上的基本解 $R(u)$ 构造 $V^{\otimes n} \otimes V^{\otimes n'}$ 上的融合解 $R_{\mathbf{c},\underline{\mathbf{c}}}(u)$。
• 定义融合函数 $F(\mathbf{c})$ 为 $V^{\otimes n}$ 上的自同态，其像给出不变子空间 $W_{\mathbf{c}}$。
• 融合函数以原始 $R(u)$ 表示，并在特定参数下求值，得到非可逆算子，从而实现子空间的识别。
• 利用对称群和霍尔代数的融合公式表达原始幂等元，并识别同构于不可约模的极小左理想。
• 该构造被应用于经典与量子情形，包括 $U_q(\mathfrak{gl}_{N|M})$，当 $M=0$ 时恢复 $U_q(\mathfrak{gl}_N)$ 的情形。
• 利用舒尔-外尔对偶性确认不变子空间 $W_{\mathbf{c}}$ 是相应李（超）代数的不可约表示。

实验结果

研究问题

• RQ1 如何将杨-巴克斯特定理解的融合程序推广至包含任意融合参数和解的情形？
• RQ2 融合函数在识别融合解的不变子空间中起什么作用？
• RQ3 对称群和霍尔代数的融合公式如何在杨-巴克斯特定理解的背景下促进不可约表示的识别？
• RQ4 舒尔-外尔对偶性以何种方式将不变子空间与 $\mathfrak{gl}_N$、$\mathfrak{gl}_{N|M}$、$U_q(\mathfrak{gl}_N)$ 和 $U_q(\mathfrak{gl}_{N|M})$ 的不可约表示联系起来？
• RQ5 在识别出的不可约子空间上，融合解的显式矩阵表示是什么？它们在经典极限下如何表现？

主要发现

• 融合解 $R_{\mathbf{c},\underline{\mathbf{c}}}(u)$ 保持子空间 $W_{\mathbf{c}} \otimes W_{\underline{\mathbf{c}}}$ 不变，通过限制可导出杨-巴克斯特定理的解。
• 子空间 $W_{\mathbf{c}} \subset V^{\otimes n}$ 是融合函数 $F(\mathbf{c})$ 的像，该函数由原始 $R(u)$ 构造并在特定参数下求值。
• 当 $N|M=2|0$ 时，空间 $W^{(q)}_{\Box\!\Box} \subset V^{\otimes 2}$ 由向量 $\tilde{e}_1 = e_1 \otimes e_1$、$\tilde{e}_2 = e_1 \otimes e_2 + q\,e_2 \otimes e_1$ 和 $\tilde{e}_3 = e_2 \otimes e_2$ 张成，对应于 $U_q(\mathfrak{gl}_N)$ 的不可约表示，其分拆为 $\lambda = (2)$。
• 在基 $\{\tilde{e}_i \otimes \tilde{e}_j\}$ 下，$R_{\mathbf{c},\underline{\mathbf{c}}}(\alpha)$ 在 $W^{(q)}_{\Box\!\Box} \otimes W^{(q)}_{\Box\!\Box}$ 上的矩阵被显式计算，其系数包含量子整数 $[n]$、$[n]_\alpha$ 和多项式 $P(\alpha)$。
• 在经典极限 $q \to 1$ 下，变形的矩阵系数收敛至经典矩阵 (5.12)，其中 $[n] \to n$、$[n]_\alpha \to u+n$ 且 $P(\alpha) \to u^2 - u + 2$，确认了一致性。
• 在 $H_3(q)$ 中，非标准幂等元 $E^{(q)}_2$ 和 $E^{(q)}_3$ 被识别为原始、正交的，并生成同构于不可约 $H_3(q)$-模 $M_{(2,1)}^{H_3(q)}$ 的极小左理想。