[논문 리뷰] Integrable $\hat{\mathfrak{sl}_2}$-modules as infinite tensor products

Boris Feigin, Evgeny Feigin|ArXiv.org|2002. 05. 27.

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

한 줄 요약

이 논문은 유한 차원의 $\mathfrak{sl}_2$-모듈의 퓌전 곱의 무한한 극한으로, 아핀 리 대수 $\widehat{\mathfrak{sl}_2}$의 적분 가능 최고 가중치 모듈을 구성한다. 퓌전 곱에서의 반복적 포함과 몫의 구조를 이용하여, 이러한 모듈의 특성 함수 공식을 유도하고, 양적 차원의 이동에 기반한 조합적 재귀 관계를 확립함으로써, 특정한 $\widehat{\mathfrak{sl}_2}$-모듈이 다른 모듈의 직합으로 나타남을 보여준다.

ABSTRACT

Using the fusion product of the representations of the Lie algebra $\mathfrak{sl}_2$ we construct a set of the integrable highest weight $\hat{\mathfrak{sl}_2}$-modules $L^D$, depending on the vector $D\in\mathbb{N}^{k+1}$. In a special cases of $D$ our modules are isomorphic to the irreducible $\hat{\mathfrak{sl}_2}$-modules $L_{i,k}$. We construct a basis of the $L^D$ and study the decomposition of $L^D$ on the irreducible components. We also write a formulas for the characters of $L^D$.

연구 동기 및 목표

• 유한 차원의 $\mathfrak{sl}_2$-모듈의 퓌전 곱의 무한한 극한을 이용하여, 적분 가능 최고 가중치 $\widehat{\mathfrak{sl}_2}$-모듈을 구성하는 것.
• 이러한 모듈에 대한 기저를 제공하고, 기약 성분으로의 분해를 연구하는 것.
• 구성된 모듈 $L^D$의 특성 함수 공식을 $q$-급수와 정수 수열에 대한 조합적 합으로 명시적으로 유도하는 것.
• 퓨전 자료의 매개변수 이동에 기반한 $L^D$의 특성 함수에 대한 재귀 관계를 설정하는 것.

제안 방법

• 유한 차원의 $\mathfrak{sl}_2$-모듈의 퓌전 곱을, $\mathfrak{sl}_2 \otimes \mathbb{C}[t]$의 유니버설 포괄 대수 위의 $t$-필터레이션에 대한 관련 그레이드 모듈로 정의한다.
• 차원이 같거나 $a < b$를 만족할 경우, 퓌전 곱 사이에 단사 준동형사를 구성하고, 명시적인 몫 동형사를 제공한다.
• 귀납적 극한 구조를 도입한다: $L^D = \varinjlim \mathbb{C}^{a_1} * \cdots * \mathbb{C}^{a_n} * (\mathbb{C}^{a_n})^{*2s}$ as $s \to \infty$, 이는 $\widehat{\mathfrak{sl}_2}$-모듈을 유도한다.
• 귀납적 극한 $L^D$가 중심 전하 $c = a_n - 1$를 가진 잘 정의된 $\widehat{\mathfrak{sl}_2}$-모듈 구조를 지닌다는 것을 증명한다.
• 정수 수열 $i_l$이 특정 부등식을 만족하도록 하는 조건 하에, $q$-팩터리얼과 합을 이용하여 $L^D$의 특성 함수 공식을 도출한다.
• 재귀 관계를 설정한다: $\mathop{\rm ch} L^D = \mathop{\rm ch} L^{D'} + q^{\frac{p(D'') - p(D)}{4} + \frac{d_s + 1}{2}} \mathop{\rm ch} L^{D''}$, 여기서 $D'$와 $D''$는 차원 벡터이며 $d_s$가 2 증가하거나 감소한 것이다.

실험 결과

연구 질문

• RQ1 유한 차원의 $\mathfrak{sl}_2$-모듈의 퓌전 곱을 통해, 적분 가능 $\widehat{\mathfrak{sl}_2}$-모듈을 체계적으로 구성할 수 있는 방법은 무엇인가?
• RQ2 반복된 퓌전 곱의 무한한 극한의 구조는 어떠한가? 그리고 자연스러운 $\widehat{\mathfrak{sl}_2}$-작용을 지닌다 할 수 있는가?
• RQ3 이러한 극한 모듈의 특성 함수는 $q$-급수와 정수 수열에 대한 조합적 합으로 표현될 수 있는가?
• RQ4 특성 함수 $\mathop{\rm ch} L^D$는 매개변수 벡터가 수정된 다른 $L^{D'}$ 및 $L^{D''}$ 모듈의 특성 함수에 대해 재귀적으로 분해될 수 있는가?

주요 결과

• 귀납적 극한 $L^D = \mathbb{C}^{a_1} * \cdots * \mathbb{C}^{a_n} * (\mathbb{C}^{a_n})^{*2\infty}$ 는 중심 전하 $c = a_n - 1$를 가진 잘 정의된 $\widehat{\mathfrak{sl}_2}$-모듈 구조를 지닌다.
• 특성 함수는 공식 $\mathop{\rm ch} L^D = \frac{q^{-p(D)/4}}{(\infty)_q} \sum \frac{z^{\sum i_l} q^{\sum i_l^2}}{\prod_{l=1}^{k-1} (i_{l+1} - i_l + \frac{d_{l+1}}{2})_q!}$ 로 주어지며, 여기서 합은 $i_l + \alpha_l \in \mathbb{Z}$ 이고 $i_l \geq i_{l-1} - \frac{d_l}{2}$ 를 만족하는 정수 수열에 대해 이루어진다.
• 특성 함수는 재귀 관계를 만족한다: $\mathop{\rm ch} L^D = \mathop{\rm ch} L^{D'} + q^{\frac{p(D'') - p(D)}{4} + \frac{d_s + 1}{2}} \mathop{\rm ch} L^{D''}$, 여기서 $D'$와 $D''$는 $d_s$가 2 증가하거나 감소한 차원 벡터이다.
• 이 재귀 관계는 $L^D \cong L^{D'} \oplus L^{D''}$ 를 의미하며, $\widehat{\mathfrak{sl}_2}$-모듈로서의 직합 분해를 확립한다.
• 특성 함수 공식은 $d_{k+1} \leq 1$ 일 때 $L_{j,k}$의 알려진 공식으로 특수화되며, 이는 [6]에서의 결과를 복원한다.
• 무한한 극한에서 $q$-팩터리얼 비율 $\frac{(d_{k+1})_q!}{(\frac{d_{k+1}}{2} + i_k)_q!} \to 1$ 으로 수렴하며, 이는 특성 함수 공식의 무한한 극한에서의 수렴성을 정당화한다.