[논문 리뷰] Demazure modules, Fusion products and Q--systems

Vyjayanthi Chari, Rahul Venkatesh|arXiv (Cornell University)|2013. 05. 11.

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

한 줄 요약

이 논문은 단순 리 대수의 컨템포라리 대수에 대한 유한차원의 분해 불가능한 군집 모듈의 가족을 제안하며, 호환 조건을 만족하는 분할의 튜플로 색인화한다. 이 모듈이 분할이 직사각형일 경우 Demazure 모듈과 동형임을 증명하고, 그 정의 관계를 단순화하며, Q-시스템을 통해 융합 제품에 대한 표준적인 짧은 정확한 수열을 수립한다. 특히 sl₂의 경우 명시적인 단항식 기저를 제공한다.

ABSTRACT

In this paper, we introduce a family of indecomposable finite--dimensional graded modules for the current algebra associated to a simple Lie algebra. These modules are indexed by a tuple of partitions one for each positive root of the simple Lie algebra. We assume that the partitions satisfy a natural compatibility condition. In the case when the partitions are all rectangular, for instance, we prove that these are precisely the Demazure modules which are stable under the action of the simple Lie algebra. As a consequence we see that the defining relations of these Demazure modules can be greatly simplified. We use this simplified presentation to relate our results to the fusion products (defined by Feigin and Loktev) of representations of the current algebra. We prove that the Q--system can be actually thought of as a canonical short exact of the fusion products of representations associated to certain special partitions. Finally, in the last section we deal with the case of sl(2) and prove that the modules we define are just fusion products of irreducible representations of the associated current algebra. We also give monomial bases for these modules.

연구 동기 및 목표

• 단순 리 대수에 관련된 컨템포라리 대수에 대한 새로운 분해 불가능한 유한차원 군집 모듈의 가족을 정의하기.
• 이 모듈이 Demazure 모듈과 동형이 되는 조건을 설정하기, 특히 색인화된 분할이 직사각형일 경우에 중점적으로.
• 이러한 모듈의 단순화된 표현을 이전 연구에서 정의된 표현의 융합 제품과 연관시키기.
• 특수한 분할에 대해 Q-시스템을 표준적인 짧은 정확한 수열로 확장하여 융합 제품에 적용하기.
• sl₂의 경우 이러한 모듈에 대한 단항식 기저를 제공하여, 이것이 기저로 작용함을 보여주기.

제안 방법

• 자연스러운 호환 조건을 만족하는 |R⁺|-튜플의 분할 (ξ^α)로 색인화된 모듈을 구성하기.
• 컨템포라리 대수 구조 g⊗C[t]와 C[t]에서 유도되는 자연스러운 군집 구조를 이용해 군집 모듈을 정의하기.
• 모든 ξ^α가 직사각형일 경우, 이 모듈이 양의 수준 표현에서 Demazure 모듈과 동형임을 증명하기.
• 이 새로운 표현을 통해 Demazure 모듈의 정의 관계를 단순화하기.
• Q-시스템 [22]을 확장하여 융합 제품에 대한 표준적인 짧은 정확한 수열을 통해 모듈을 융합 제품과 연관시키기.
• sl₂의 경우, 최고 무게 벡터 위에서 x⁻⊗t^k 생성자들의 작용을 이용해 단항식 기저를 구성하고, 정수 튜플로 색인화하기.

실험 결과

연구 질문

• RQ1 새로 정의된 군집 모듈이 언제 Demazure 모듈과 동형이 되는가?
• RQ2 이 새로운 모듈 가족을 통해 Demazure 모듈의 정의 관계를 어떻게 단순화할 수 있는가?
• RQ3 이 모듈과 컨템포라리 대수의 표현의 융합 제품 사이의 관계는 무엇인가?
• RQ4 특수한 분할에 대해 Q-시스템을 표준적인 짧은 정확한 수열로 확장할 수 있는가?
• RQ5 sl₂의 경우 이러한 모듈에 대한 단항식 기저는 무엇이 있는가?

주요 결과

• 저자가 정의한 모듈은 모든 ξ^α가 직사각형 분할일 경우 Demazure 모듈과 동형이다.
• 이 새로운 표현을 통해 Demazure 모듈의 정의 관계가 크게 단순화된다.
• Q-시스템 [22]을 더 넓은 분할의 범주로 확장하여 융합 제품에 대한 표준적인 짧은 정확한 수열이 수립된다.
• sl₂의 경우, 이 모듈들이 컨템포라리 대수의 기약 표현의 융합 제품임을 보여준다.
• sl₂의 경우, x⁻⊗t^k 생성자들의 작용을 이용해 정수 튜플로 색인화된 단항식 기저를 구성하였다. 이 기저의 이미지는 φ⁻의 이미지에 해당하며, i_ℓ = ξ_ℓ 를 만족하는 튜플에 대응한다.
• 단항식 기저의 증명은 φ⁻와 φ⁺의 단사 사상에 기반한 귀납적 추론에 의존하며, φ⁻의 이미지는 i_ℓ = ξ_ℓ 를 만족하는 튜플에 대응한다.