[논문 리뷰] A Kohno-Drinfeld theorem for quantum Weyl groups

Valerio Toledano-Laredo|arXiv (Cornell University)|2000. 09. 19.

Algebraic structures and combinatorial models참고 문헌 17인용 수 6

한 줄 요약

이 논문은 $mathfrak{sl}_n$의 카르탕 부분대수의 정칙 부분에서 $W$--equivariant 평탄한 접속의 단일화(monodromy)가 양자 Weyl 군 작용과 동치임을 증명한다. 이는 브레인드 군 $B_n$이 유한차원 $U_\hbar\mathfrak{sl}_n$ 표현 위에서 작용하는 것이다. 증명은 $mathfrak{gl}_k$와 $mathfrak{gl}_n$ 간의 이중성(duality)을 이용하여 접속을 쾅니즈히크–자몰로치크 방정식(Knizhnik–Zamolodchikov equation)과 연결하고, 코호노–드린펠트 정리(Kohno–Drinfeld theorem)를 적용하여 $R$-행렬 작용을 통해 단일화 표현을 식별한다.

ABSTRACT

Let g be a complex, simple Lie algebra and t a Cartan subalgebra of g. A new unitary, flat connection on t with values in any finite-dimensional g-module V and simple poles along the root hyperplanes was recently introduced by J. Millson and myself. This connection depends upon a complex parameter h and I conjectured that its monodromy is equivalent to the quantum Weyl group representation of the braid group of type g defined by Lusztig, Kirillov-Reshetikhin and Soibelman via the quantum group U_{h}g. In this paper, I prove this conjecture for g=sl_{n}.

연구 동기 및 목표

• $mathfrak{sl}_n$에 대해 $mathfrak{h}_{\operatorname{reg}}$ 위의 $W$-equivariant 평탄한 접속의 단일화가 일반화된 브레인드 군 $B_{\mathfrak{g}}$에 대한 양자 Weyl 군 작용과 동치임을 증명하는 것.
• $mathfrak{gl}_k$와 $mathfrak{gl}_n$의 작용을 통한 이중성에 의해 평탄한 접속 $\nabla_\kappa$와 쾅니즈히크–자몰로치크 접속 사이의 연결 고리를 설정하는 것.
• $mathfrak{sl}_n$에 대해 $\nabla_\kappa$의 단일화가 $mathfrak{gl}_k$와 $mathfrak{gl}_n$ 간의 이중성 하에서 $U_\hbar\mathfrak{sl}_k$의 $R$-행렬 표현과 일치함을 보이는 것.
• 이중성에 의해 $U_\hbar\mathfrak{sl}_k$의 $R$-행렬 표현과 $U_\hbar\mathfrak{sl}_n$의 양자 Weyl 군 표현이 서로 바꾸어지는 것을 완성함으로써 식별을 완료하는 것.

제안 방법

• $mathcal{M}_{k,n}$($k\times n$ 행렬의 공간) 위에서 $mathfrak{gl}_k$와 $mathfrak{gl}_n$이 작용하는 이중성을 이용하여 $mathfrak{sl}_n$에 대한 접속 $\nabla_\kappa$를 $mathfrak{sl}_k$에 대한 쾅니즈히크–자몰로치크 접속과 연결한다.
• 코호노–드린펠트 정리를 적용하여 $mathfrak{sl}_k$에 대한 KZ 접속의 단일화를 $U_\hbar\mathfrak{sl}_k$의 $V^{\bigotimes n}$ 위에서의 $R$-행렬 표현과 동치로 간주한다.
• $U_\hbar\mathfrak{gl}_k$와 $U_\hbar\mathfrak{gl}_n$ 간의 이중성을 이용하여 $U_\hbar\mathfrak{sl}_k$의 $R$-행렬 표현을 $U_\hbar\mathfrak{sl}_n$의 양자 Weyl 군 표현과 식별한다.
• $mathfrak{gl}_k$-모듈 $mathcal{S}^\nu\mathbb{C}^k[[\hbar]]$와 $U_\hbar\mathfrak{gl}_k$-모듈 $mathcal{S}_\hbar^\nu\mathbb{C}^k$ 사이의 이sovorphism를 실현하는 토글(twist) $F^{(n)}$을 구성하며, 이는 브레인드 군 작용을 유지한다.
• 양자 대칭 대수 구조를 통해 $mathcal{S}_\hbar^\nu\mathbb{C}^k$와 $mathcal{S}^\nu\mathbb{C}^k[[\hbar]]$를 $U_\hbar\mathfrak{gl}_k$-모듈로 동일시하는 데 의존한다.
• 단일화 표현 $pi_\kappa^h(T_j)$를 양자 Weyl 군 원소 $S_j$와 무게 연산자 $D_j^{(n)}$의 지수적 요소들의 코너지드 코너지드 작용으로 유도한다.

실험 결과

연구 질문

• RQ1 $mathfrak{sl}_n$에 대해 $mathfrak{h}_{\operatorname{reg}}/W$ 위의 $W$-equivariant 평탄한 접속 $\nabla_\kappa$의 단일화가 브레인드 군 $B_n$의 양자 Weyl 군 작용과 일치하는가?
• RQ2 $mathfrak{gl}_k$와 $mathfrak{gl}_n$ 간의 이중성을 이용하여 $mathfrak{sl}_n$에 대한 $\nabla_\kappa$를 $mathfrak{sl}_k$에 대한 쾅니즈히크–자몰로치크 접속과 연결할 수 있는가?
• RQ3 $mathfrak{gl}_k$–$mathfrak{gl}_n$ 이중성 하에서 $U_\hbar\mathfrak{sl}_k$의 대칭 힘의 표현 위에서의 $R$-행렬 표현이 $U_\hbar\mathfrak{sl}_n$의 양자 Weyl 군 표현과 동치인가?
• RQ4 단일화 연산자 $\pi_\kappa^h(T_j)$는 토글 $F^{(n)}$을 통해 양자 Weyl 군 원소 $S_j$의 코너지드 작용으로 표현될 수 있는가?

주요 결과

• $mathfrak{sl}_n$에 대해 $mathfrak{h}_{\operatorname{reg}}/W$ 위의 평탄한 접속 $\nabla_\kappa$의 단일화는 임의의 유한차원 $U_\hbar\mathfrak{sl}_n$-모듈 위에서 $B_n$에 대한 양자 Weyl 군 작용과 동형이다.
• $mathfrak{gl}_k$와 $mathfrak{gl}_n$ 간의 이중성은 $mathfrak{sl}_k$에 대한 쾅니즈히크–자몰로치크 접속과 $mathfrak{sl}_n$에 대한 접속 $\nabla_\kappa$를 교환하며, 이로 인해 그들의 단일화 표현 간의 대응 관계를 설정한다.
• $mathbb{C}^k[[\hbar]]$의 대칭 힘 위에서의 $U_\hbar\mathfrak{sl}_k$의 $R$-행렬 표현 $bigoplus_{\nu\in\SS_n\mu} \mathcal{S}^\nu\mathbb{C}^k[[\hbar]]$는 이중성 하에서 토글 $F^{(n)}$을 통해 $U_\hbar\mathfrak{sl}_n$의 양자 Weyl 군 표현과 동치이다.
• 단일화 연산자 $\pi_\kappa^h(T_j)$는 $F^{(n)}{-1} S_j e^{-\hbar H_j^{(n)}/2} F^{(n)}$로 주어지며, 여기서 $H_j^{(n)}$은 $mathfrak{sl}_n$의 $j$번째 단순근과 관련된 무게 연산자이다.
• $mathcal{S}_\hbar^\nu\mathbb{C}^k$와 $mathcal{S}^\nu\mathbb{C}^k[[\hbar]]$를 $U_\hbar\mathfrak{gl}_k$-모듈로 동일시하는 것은 양자 설정에서 코호노–드린펠트 정리를 적용할 수 있도록 한다.