[논문 리뷰] Weyl modules, affine Demazure modules, fusion products and limit constructions

Ghislain Fourier, Peter Littelmann|arXiv (Cornell University)|2005. 09. 13.

Holomorphic and Operator Theory인용 수 8

한 줄 요약

이 논문은 현재 대수 g ⊗ C[t] 위에서의 모듈로서, 현재 대수에 대한 Weyl 모듈, 애파인 카크-무디 대수의 기본 표현에서의 애파인 딘마르 모듈, 그리고 q=1에서 특수화된 양자화된 루프 대수 Weyl 모듈 사이의 동형사상(이sovorphism)을 수립한다. 이는 g-모듈 분해 정리가 g ⊗ C[t]-모듈 수준으로 일반화되며, 텐서 곱 대신 융합 곱(fusion product)을 사용하는 방식으로 이루어지며, slₙ에 대해선 g = slₙ의 유한차원 모듈의 무한한 반무한 융합 곱을 통해 V(ℓΛ₀)의 g ⊗ C[t]-모듈構조를 구축한다.

ABSTRACT

For a simple, simply laced complex Lie algebra g let g ⊗ C[t] be its current algebra and let g ⊗ C[t,t −1] be its loop algebra. We show that, up to a pull back by an endomorphism of g ⊗ C[t], Weyl modules for the current algebra, Weyl modules for the loop algebra, Weyl modules (specialized at q = 1) for the quantized loop algebra, and g ⊗ C[t]-stable Demazure modules in V (Λ0) are isomorphic as g ⊗ C[t]modules. We also extend the g-module decomposition theorem for these Demazure modules (see [FoL]) to the level of g ⊗ C[t]-modules, here the tensor products in [FoL] have to be replaced by fusion products. For g = sln, these results have been proved in [CL]. As an application we construct the g ⊗ C[t]-module structure of the irreducible ̂g-module V (ℓΛ0) as a semi-infinite fusion product of finite dimensional

연구 동기 및 목표

• 현재 대수, 루프 대수, q=1에서 특수화된 양자화된 루프 대수에 대한 Weyl 모듈 간의 동형사상을 모두 g ⊗ C[t]-모듈로 간주하여 수립하는 것.
• 딘마르 모듈에 대한 g-모듈 분해 정리를 g ⊗ C[t]-모듈 수준으로 확장하는 것.
• g ⊗ C[t]-모듈 설정에서 분해 정리의 텐서 곱을 융합 곱으로 대체하는 것.
• 유한차원 g-모듈의 반무한 융합 곱을 통해 V(ℓΛ₀)의 g ⊗ C[t]-모듈 구조를 구성하는 것.
• 이미 slₙ에 대해 알려진 결과를 임의의 단순 연결된 복소 Lie 대수로 일반화하는 것.

제안 방법

• g ⊗ C[t]의 자기형사상에 의한 역상 취득을 통해, 다양한 대수 간의 Weyl 모듈을 연결하는 데 사용.
• 융합 곱 이론을 적용하여, 딘마르 모듈 분해에서 텐서 곱을 융합 곱으로 대체.
• 애파인 카크-무디 대수 ̂g의 기본 표현 V(Λ₀)의 구조를 활용하여 딘마르 모듈을 분석.
• slₙ에 대한 기존 결과([CL]에서의 결과)를 기반으로, 임의의 단순 연결된 Lie 대수로의 일반화를 수행.
• 반무한 융합 곱 구성법을 사용하여 V(ℓΛ₀)의 g ⊗ C[t]-모듈 구조를 실현.
• 현재 대수 작용 하에서 Weyl 모듈과 딘마르 모듈 간의 동형사상을 활용.

실험 결과

연구 질문

• RQ1 현재 대수, 루프 대수, 양자화된 루프 대수에 대한 Weyl 모듈은 모두 g ⊗ C[t]-모듈로서 동형인가?
• RQ2 딘마르 모듈에 대한 g-모듈 분해 정리는 g ⊗ C[t]-모듈 수준으로 확장 가능한가?
• RQ3 g ⊗ C[t]-안정 딘마르 모듈의 분해에서 텐서 곱을 대체하는 융합 곱의 역할은 무엇인가?
• RQ4 V(ℓΛ₀)의 g ⊗ C[t]-모듈 구조는 어떻게 융합 곱을 통해 실현할 수 있는가?
• RQ5 slₙ에 대한 결과는 어느 정도 임의의 단순 연결된 Lie 대수로 일반화 가능한가?

주요 결과

• 현재 대수, 루프 대수, 특수화된 양자화된 루프 대수에 대한 Weyl 모듈은 g ⊗ C[t]-모듈로서 동형이며, g ⊗ C[t]의 자기형사상에 의한 역상 취득을 통해 유도된다.
• 딘마르 모듈에 대한 g-모듈 분해 정리는 텐서 곱을 융합 곱으로 대체함으로써 g ⊗ C[t]-모듈 수준으로 일반화된다.
• g = slₙ일 경우, [CL]에서 알려진 구성법이 임의의 단순 연결된 Lie 대수로 일반화된다.
• 불가약한 ̂g-모듈 V(ℓΛ₀)의 g ⊗ C[t]-모듈 구조는 유한차원 g-모듈의 반무한 융합 곱으로 실현된다.
• V(Λ₀) 내의 딘마르 모듈은 g ⊗ C[t]-작용 하에서 현재 대수에 대한 Weyl 모듈과 동형임이 입증된다.
• 융합 곱 구성법은 g ⊗ C[t]-안정 딘마르 모듈의 분해에 자연스러운 프레임워크를 제공하며, 텐서 곱 형식을 대체한다.