[논문 리뷰] Simplicity of tensor products of Kirillov--Reshetikhin modules: nonexceptional affine and G types

Se‐jin Oh, Travis Scrimshaw|arXiv (Cornell University)|2019. 10. 23.

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

한 줄 요약

이 논문은 비예외적인 아핀 유형, $D_4^{(3)}$ 및 $G_2^{(1)}$에서 임의의 킬릴로프–레슈티히킨(Kirillov–Reshetikhin) 모듈 간 정규화된 R-행렬에 대한 분모 공식을 일반화된 도레이 규칙 호모모르피즘을 통해 수립한다. 이는 KR 모듈의 텐서곱의 단순성을 증명하고, 극의 차수를 완전히 규명하여 헌드리크–레클레르 클러스터가 강하게 교환되는 실수 단순 모듈의 가닥을 구성함을 확인한다.

ABSTRACT

We show the denominator formulas for the normalized $R$-matrix involving two arbitrary Kirillov--Reshetikhin (KR) modules $W^{(k)}_{m,a}$ and $W^{(l)}_{p,b}$ in all nonexceptional affine types, $D_4^{(3)}$, and $G_2^{(1)}$. To achieve our goal, we prove the existence of homomorphisms, which can be understood as generalization of Dorey rule to KR modules. We also conjecture a uniform denominator formulas for all simply-laced types; in particular, type $E_n^{(1)}$. With the denominator formulas, we determine the simplicity of tensor product of KR modules and degrees of poles of normalized $R$-matrices between two KR modules completely in nonexceptional affine types, $D_4^{(3)}$, and $G_2^{(1)}$. As an application, we prove that the certain sets of KR modules for the untwisted affine types, suggested by Hernandez and Leclerc as clusters, form strongly commuting families, which implies that all cluster monomials in the clusters are real simple modules.

연구 동기 및 목표

• 비예외적인 아핀 유형, $D_4^{(3)}$ 및 $G_2^{(1)}$에서 임의의 킬릴로프–레슈티히킨(Kirillov–Reshetikhin) 모듈 간 정규화된 R-행렬에 대한 통일된 분모 공식을 유도하는 것.
• 특정 호모모르피즘의 존재를 증명하여 고전적 도레이 규칙을 킬릴로프–레슈티히킨 모듈로 일반화하는 것.
• 지정된 유형들에서 KR 모듈의 텐서곱의 단순성과 정규화된 R-행렬 내 극의 차수를 규명하는 것.
• 헌드리크–레클레르가 비틀림이 없는 아핀 유형에서 제안한 KR 모듈의 클러스터가 강하게 교환되는 가닥을 이룬다는 것을 확인하는 것.
• 이 클러스터들 내 모든 클러스터 단항식이 실수 단순 모듈임을 확립하는 것.

제안 방법

• 양자 아핀 대수에서 표현 이론적 기법을 사용하여 정규화된 R-행렬의 분모 공식을 도출하는 것.
• KR 모듈 $W^{(k)}_{m,a}$와 $W^{(l)}_{p,b}$ 사이의 호모모르피즘을 도입하고 그 존재성을 증명하여 고전적 도레이 규칙을 일반화하는 것.
• 분모 공식을 적용하여 KR 모듈의 텐서곱의 구조와 R-행렬의 극을 분석하는 것.
• 분모 공식을 활용하여 텐서곱의 단순성과 정규화된 R-행렬 내 극의 차수를 규명하는 것.
• 분모 공식과 호모모르피즘의 구조를 활용하여 헌드리크–레클레르 클러스터가 강하게 교환되는 가닥을 이룬다는 것을 증명하는 것.
• 유도된 R-행렬의 성질과 텐서곱 분해를 이용하여 클러스터 내 모든 클러스터 단항식이 실수 단순 모듈임을 증명하는 것.

실험 결과

연구 질문

• RQ1 비예외적인 아핀 유형과 $D_4^{(3)}$, $G_2^{(1)}$에서 임의의 킬릴로프–레슈티히킨 모듈 간 정규화된 R-행렬에 대한 통일된 분모 공식은 무엇인가요?
• RQ2 도레이 규칙은 어떻게 킬릴로프–레슈티히킨 모듈로 일반화될 수 있으며, 그 일반화의 배경이 되는 호모모르피즘은 무엇인가요?
• RQ3 두 킬릴로프–레슈티히킨 모듈의 텐서곱이 단순해지는 조건은 무엇인가요?
• RQ4 비틀림이 없는 아핀 유형에서 헌드리크–레클레르의 KR 모듈 클러스터는 강하게 교환되는 가닥을 이룹니까?
• RQ5 헌드리크–레클레르 클러스터 내 모든 클러스터 단항식은 실수 단순 모듈입니까?

주요 결과

• 모든 비예외적인 아핀 유형, $D_4^{(3)}$ 및 $G_2^{(1)}$에서 임의의 KR 모듈 간 정규화된 R-행렬에 대한 분모 공식이 수립되었다.
• KR 모듈 간 호모모르피즘의 존재는 도레이 규칙을 일반화하여 R-행렬 분석의 구조적 기반을 제공한다.
• 유도된 분모 공식에 따라 지정된 유형들에서 임의의 두 KR 모듈의 텐서곱은 단순하다.
• 유도된 공식을 통해 KR 모듈 간 정규화된 R-행렬 내 극의 차수는 완전히 분류되었다.
• 비틀림이 없는 아핀 유형에서 헌드리크–레클레르의 KR 모듈 클러스터는 강하게 교환되는 가닥을 이룬다.
• 이 클러스터들 내 모든 클러스터 단항식이 실수 단순 모듈임이 증명되었으며, 이는 클러스터 대수의 구조에서 그들의 핵심적 역할을 확인한다.