Root components for tensor product of affine Kac-Moody Lie algebra modules

Abstract

Let g be an affine Kac-Moody Lie algebra and let $\hat{I}»,\hat{I}¼$ be two dominant integral weights for g. We prove that under some mild restriction, for any positive root ${\hat{I}}^2$, $V(\hat{I}»)\otimes V(\hat{I}¼)$ contains $V(\hat{I}»+\hat{I}¼-{\hat{I}}^2)$ as a component, where $V(\hat{I}»)$ denotes the integrable highest weight (irreducible) g-module with highest weight $\hat{I}»$. This extends the corresponding result by Kumar from the case of finite dimensional semisimple Lie algebras to the affine Kac-Moody Lie algebras. One crucial ingredient in the proof is the action of Virasoro algebra via the Goddard-Kent-Olive construction on the tensor product $V(\hat{I}»)\otimes V(\hat{I}¼)$. Then, we prove the corresponding geometric results including the higher cohomology vanishing on the G-Schubert varieties in the product partial flag variety G/P X G/P with coefficients in certain sheaves coming from the ideal sheaves of G-sub Schubert varieties. This allows us to prove the surjectivity of the Gaussian map.

35 pages