[논문 리뷰] Fusion products of Kirillov-Reshetikhin modules and the X = M conjecture

Katsuyuki Naoi|arXiv (Cornell University)|2011. 09. 12.

Algebraic structures and combinatorial models참고 문헌 22인용 수 3

한 줄 요약

이 논문은 페르미온 형식 항등식과 Demazure 연산자를 이용한 편미분 곱의 결합을 통해 $A_n^{(1)}$ 및 $D_n^{(1)}$ 형식의 아핀 리 대수에 대한 X = M 추측을 증명함으로써, 이러한 유형에 대해 X = M 추측을 확립한다. 조셉 함수를 사용하여 1차원 모듈러로부터 편미분 곱을 구성하고, Demazure 연산자를 통해 편미분 곱의 특성과 페르미온 형식이 일치함을 보여, 이러한 경우에 추측을 확인한다.

ABSTRACT

In this article, we show in the ADE case that the fusion product of Kirillov-Reshetikhin modules for a current algebra, whose character is expressed in terms of fermionic forms, can be constructed from one-dimensional modules by using Joseph functors. As a consequence, we obtain some identity between fermionic forms and Demazure operators. Since the same identity is also known to hold for one-dimensional sums of nonexceptional type, we can show from these results the X = M conjecture for type $A_n^{(1)}$ and $D_n^{(1)}$.

연구 동기 및 목표

• 아핀 리 대수의 형식 $A_n^{(1)}$ 및 $D_n^{(1)}$에 대해 X = M 추측을 증명하는 것.
• 키릴로프-레슈티히킨 (KR) 모듈러의 편미분 곱을 통해 페르미온 형식과 Demazure 연산자 간의 관계를 설정하는 것.
• 현재 대수 ${\mathfrak{g}}_0 \otimes \mathbb{C}[t]$의 KR 모듈러의 편미분 곱이 조셉 함수를 통해 1차원 모듈러로부터 구성될 수 있음을 보이는 것.

제안 방법

• 현재 대수 ${\mathfrak{g}}_0 \otimes \mathbb{C}[t]$의 키릴로프-레슈티히킨 (KR) 모듈러의 편미분 곱을 생성자와 관계를 통해 구성하는 것.
• 조셉 함수를 적용하여 1차원 모듈러에서 유도된 모듈의 몫으로서 편미분 곱을 실현하는 것.
• Demazure 연산자를 사용하여 편미분 곱의 특성을 지수적 무게와 웨일 군 작용의 형태로 표현하는 것.
• 편미분 곱이 Demazure 플래그를 가진다는 사실을 활용하여, 그 특성과 무게 격자 위에서의 Demazure 연산자 작용을 연결하는 것.
• 편미분 곱의 특성이 $D_{t_{w_0(\varpi_{r_j})}}$ 연산자를 포함한 항등식을 통해 페르미온 형식과 일치함을 증명하는 것.
• 편미분 곱과 반복된 Demazure 연산자로 구성된 모듈 간의 동형을 확립함으로써 핵심 항등식을 증명하는 것.

실험 결과

연구 질문

• RQ1 형식 $A_n^{(1)}$ 및 $D_n^{(1)}$의 KR 결정체의 1차원 합에 대한 페르미온 형식이 Demazure 연산자로 정의된 모듈의 특성과 일치하는가?
• RQ2 키릴로프-레슈티히킨 (KR) 모듈러의 편미분 곱이 조셉 함수를 통해 1차원 모듈러에서 구성된 모듈의 몫으로 실현될 수 있는가?
• RQ3 ADE 형식에서 KR 모듈러의 편미분 곱과 반복된 Demazure 연산자로 구성된 모듈 간에 자연스러운 동형이 존재하는가?
• RQ4 1차원 합과 Demazure 연산자 간의 항등식이 $A_n^{(1)}$ 및 $D_n^{(1)}$의 경우 페르미온 형식으로까지 확장되는가?
• RQ5 이러한 편미분 곱과 Demazure 연산자 구성법을 통해 $A_n^{(1)}$ 및 $D_n^{(1)}$에 대한 X = M 추측을 완전히 확인할 수 있는가?

주요 결과

• 페르미온 형식과 Demazure 연산자 간의 항등식을 증명함으로써, 아핀 리 대수의 형식 $A_n^{(1)}$ 및 $D_n^{(1)}$에 대해 X = M 추측이 확인되었다.
• 현재 대수 ${\mathfrak{g}}_0 \otimes \mathbb{C}[t]$의 키릴로프-레슈티히킨 (KR) 모듈러의 편미분 곱은 반복된 Demazure 연산자로 구성된 모듈과 동형이다.
• 편미분 곱의 특성이 상수 인자까지 $D_{t_{w_0(\varpi_{r_p})}} \cdots D_{t_{w_0(\varpi_{r_1})}}(e^{\ell_1\Lambda_0})$ 와 같음을 보였다.
• 편미분 곱이 1차원 모듈러로부터 조셉 함수를 통해 구성됨을 통해 자연스러운 동형이 확립되었다.
• 페르미온 형식에 대해 Demazure 연산자 항등식이 성립하여, 이전의 1차원 합 결과를 전체 페르미온 표현으로 확장하였다.
• 결과적으로, 조셉의 정리가 단순히 단순형이 아닌 유형으로 확장될 경우, 형식 $B_n^{(1)}$ 및 $C_n^{(1)}$의 완전한 KR 결정체에 대해 X = M 추측이 성립함을 시사한다.