[논문 리뷰] Meromorphic Kazhdan-Lusztig equivalence for Yangians and quantum loop algebras

Sachin Gautam, Valerio Toledano-Laredo|arXiv (Cornell University)|2014. 03. 20.

Algebraic structures and combinatorial models참고 문헌 5인용 수 8

한 줄 요약

이 논문은 양안 대칭 $Y_h(\mathfrak{g})$ 와 양자 루프 대수 $U_q(L\mathfrak{g})$ 의 유한차원 표현 사이에 텐서 함자를 구축하며, $|q| \neq 1$ 일 때 메로모르피크 브레이드 텐서 동치를 확립한다. 이 동치는 정규화된 교환 가능한 $R$-행렬로부터 유도되며, 아벨 $q$KZ 방정식에 대한 코한-드린펠트 정리를 증명하고, 카즈단-루스티그 동치를 메로모르피크 설정으로 일반화한다.

ABSTRACT

Let ${\mathfrak g}$ be a complex semisimple Lie algebra, and $Y_h({\mathfrak g})$, $U_q(L{\mathfrak g})$ the corresponding Yangian and quantum loop algebra, with deformation parameters related by $q=\exp(\pi i h)$. When $h$ is not a rational number, we constructed in arXiv:1310.7318 a faithful functor $\Gamma$ from the category of finite-dimensional representations of $Y_h({\mathfrak g})$ to those of $U_q(L{\mathfrak g})$. The functor $\Gamma$ is governed by the additive difference equations defined by the commuting fields of the Yangian, and restricts to an equivalence on a subcategory of $Y_h({\mathfrak g})$ defined by choosing a branch of the logarithm. In this paper, we construct a tensor structure on $\Gamma$ and show that, if $|q| eq 1$, it yields an equivalence of meromorphic braided tensor categories, when $Y_h({\mathfrak g})$ and $U_q(L{\mathfrak g})$ are endowed with the deformed Drinfeld coproducts and the commutative part of the universal $R$-matrix. This proves in particular the Kohno-Drinfeld theorem for the abelian $q$KZ equations defined by $Y_h({\mathfrak g})$, and may be regarded as a meromorphic version of the Kazhdan-Lusztig equivalence between category ${\mathcal O}$ representations of the affine algebra $\hat{\mathfrak g}$ and finite-dimensional representations of the quantum group $U_q{\mathfrak g}$. The tensor structure arises from the abelian $q$KZ equations defined by a appropriate regularisation of the commutative $R$-matrix of $Y_h({\mathfrak g})$.

연구 동기 및 목표

• 질량 $q = \exp(\pi i h)$ 이고 $h$ 가 무리수일 때, 양안 대칭 $Y_h(\mathfrak{g})$ 와 양자 루프 대수 $U_q(L\mathfrak{g})$ 의 유한차원 표현 사이에 텐서 동치를 확립하는 것.
• 기존의 카즈단-루스티그 동치—원래 범주 $\mathcal{O}$ 와 양자 군에 대해 성립하나—을 유한차원 표현을 포함하는 메로모르피크 설정으로 확장하는 것.
• 정규화된 $R$-행렬을 사용하여 $Y_h(\mathfrak{g})$-모듈에서 $U_q(L\mathfrak{g})$-모듈로의 함자 $\Gamma$ 에 텐서 구조를 구성하는 것.
• 이 텐서 동치를 통해 $Y_h(\mathfrak{g})$ 가 정의하는 아벨 $q$KZ 방정식에 대한 코한-드린펠트 정리를 증명하는 것.
• 데프롬드 드린펠트 코곱과 보편 $R$-행렬의 교환 가능한 부분을 갖춘 함자 $\Gamma$ 가 메로모르피크 브레이드 텐서 범주 간의 동치가 되도록 하는 것.

제안 방법

• 양안 대칭의 가환하는 필드에 의해 지배되는 덧셈 차분 방정식을 사용하여, $Y_h(\mathfrak{g})$-모듈에서 $U_q(L\mathfrak{g})$-모듈로의 함자 $\Gamma$ 를 정의하는 것.
• 브레이드 텐서 범주 구조와의 호환성을 확보하기 위해, $Y_h(\mathfrak{g})$ 의 정규화된 교환 가능한 $R$-행렬을 도입하여 함자 $\Gamma$ 에 텐서 구조를 정의하는 것.
• 텐서 범주 공리에 필요한 호환 가능한 코알제브라 구조를 확보하기 위해, 변형된 드린펠트 코곱을 사용하여 $Y_h(\mathfrak{g})$ 와 $U_q(L\mathfrak{g})$ 에 모두 코알제브라 구조를 부여하는 것.
• 로그 함수의 분지점을 선택하여 정의된 부분범주에서 동치를 확립하며, 이로 인해 함자가 이곳에서 잘 정의되고 전사적임을 보장하는 것.
• 증명은 $R$-행렬의 메로모르피크 성질과 정규화된 $R$-행렬 하에서의 $q$KZ 방정식의 해석적 성질에 기반한다.
• 최종적으로 얻어진 함자 $\Gamma$ 의 텐서 구조가 브레이딩과 호환됨을 보이며, 이는 메로모르피크 브레이드 텐서 범주 간의 동치를 이끌어낸다.

실험 결과

연구 질문

• RQ1 함자 $\Gamma$ 가 $Y_h(\mathfrak{g})$-모듈에서 $U_q(L\mathfrak{g})$-모듈로의 사상에 대해 텐서 구조를 구성할 수 있는가?
• RQ2 이 텐서 구조가 $|q| \neq 1$ 일 때 메로모르피크 브레이드 텐서 범주 간의 동치를 유도하는가?
• RQ3 이 구성에 의해 $Y_h(\mathfrak{g})$ 가 정의하는 아벨 $q$KZ 방정식에 대한 코한-드린펠트 정리를 증명할 수 있는가?
• RQ4 왜 정규화된 교환 가능한 $R$-행렬이 잘 정의된 텐서 함자를 유도하는가?
• RQ5 이 동치는 카즈단-루스티그 동치를 메로모르피크 프레임워크로 얼마나 넓게 일반화하는가?

주요 결과

• 함자 $\Gamma$ 는 $Y_h(\mathfrak{g})$ 의 정규화된 교환 가능한 $R$-행렬에서 유래하는 텐서 구조를 지녀, 브레이드 텐서 범주 공리와 호환됨을 보장한다.
• $|q| \neq 1$ 일 때, 함자 $\Gamma$ 는 변형된 드린펠트 코곱을 갖춘 $Y_h(\mathfrak{g})$ 와 $U_q(L\mathfrak{g})$ 사이에서 메로모르피크 브레이드 텐서 범주 간의 동치를 유도한다.
• 이 구성은 $Y_h(\mathfrak{g})$ 가 정의하는 아벨 $q$KZ 방정식에 대한 코한-드린펠트 정리를 증명하며, 이는 양자 킬니츠-자몰로딕 방정식의 단일계수를 연결한다.
• 로그 분지의 선택에 의해 정의된 $Y_h(\mathfrak{g})$-모듈의 부분범주에서 동치가 확립되며, 이로 인해 해석적 일致성이 보장된다.
• 결과적으로 기존의 애질리프 대칭 표현과 양자 군 표현 간의 대응을 메로모르피크 버전으로 일반화한 메로모르피크 카즈단-루스티그 동치를 제공한다.
• 텐서 구조가 보편 $R$-행렬의 교환 가능한 부분과 호환됨을 보이며, 이는 메로모르피크 설정에서 브레이드 호환성을 보장한다.