Tensor product structure of affine Demazure modules and limit constructions

Abstract

Let g be a simple complex Lie algebra, we denote by ĝ the affine Kac-Moody algebra associated to the extended Dynkin diagram of ĝ. Let Λ0 be the fundamental weight of ĝ corresponding to the additional node of the extended Dynkin diagram. For a dominant integral g-coweight λ∨, the Demazure submodule V -λ∨ (mΛ0) is a g-module. We provide a, description of the g-module structure as a tensor product of "smaller" Demazure modules. More precisely, for any partition of λ∨ = ∑j, λj∨ as a sum of dominant integral g-coweights, the Demazure module is (as g-module) isomorphic to ⊗ V-λj∨ (mΛ0). For the "smallest" case, λ∨ = ω∨ a fundamental coweight, we provide for g of classical type a decomposition of V-ω(mΛ0) into irreducible g-modules, so this can be viewed as a natural generalization of the decomposition formulas in [13] and [16]. A comparison with the Uq (g)-characters of certain finite dimensional U′g(ĝ)-modules (Kirillov-Reshetikhin-modules) suggests furthermore that all quantized Demazure modules Van be naturally endowed with the structure of a U′gg(ĝ)-module. We prove, in the classical case (and for a lot of non-classical cases), a conjecture by Kashiwara [10], that the "smallest" Demazure modules are, when viewed as g-modules, isomorphic to some KR-modules. For an integral dominant ĝ-weight Λ let V(Λ) be the corresponding irreducible ĝ-representation. Using the tensor product decomposition for Demazure modules, we give a description of the g-module structure of V(Λ) as a semi-infinite tensor product of finite dimensional g-modules. The case of twisted affine Kac-Moody algebras can be treated in the same way, some details are worked out in the last section.