[논문 리뷰] Fusion procedure for the Yang-Baxter equation and Schur-Weyl duality

Loïc Poulain d’Andecy|arXiv (Cornell University)|2013. 07. 25.

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})$의 기약 표현과 일치함을 확립하는 것.

제안 방법

• 융합 절차는 기본 해 $R(u)$가 $V \otimes V$ 위에 정의되어 있을 때, $V^{\otimes n} \otimes V^{\otimes n'}$ 위에 융합된 해 $R_{\mathbf{c},\underline{\mathbf{c}}}(u)$를 구성한다.
• 융합 함수 $F(\mathbf{c})$는 $V^{\otimes n}$ 위의 자기형사상으로 정의되며, 그 상(image)이 불변 부분공간 $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)$의 파artition $\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)}$와 동형인 최소 왼쪽 아이디얼을 생성한다.