[論文レビュー] 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})$の既約表現上の解を構成すること。
• シュール–ワイエル双対性を用いて、これらの部分空間がそれぞれのリ Lie（スーパー）代数の既約表現に一致することを確立すること。

提案手法

• 融合手続きは、$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}$は、元の$R(u)$から構成され、特定のパラメータで評価された融合関数$F(\mathbf{c})$の像である。
• 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)$に対応する既約表現を表す。
• $W^{(q)}_{\Box\!\Box} \otimes W^{(q)}_{\Box\!\Box}$上での$R_{\mathbf{c},\underline{\mathbf{c}}}(\alpha)$の行列は、基底$\{\tilde{e}_i \otimes \tilde{e}_j\}$で明示的に計算され、量子整数$[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)}$に同型な最小左イデアルを生成する。