c15500546ad9ef9b.tex
1: \begin{abstract}
2: In this paper, we are interested in the decomposition of the tensor
3: product of two representations of 
4: a symmetrizable Kac-Moody Lie algebra $\lg$. Let $P_+$ be the set of dominant integral
5: weights. For $\lambda\in P_+$,  $L(\lambda)$ denotes the irreducible,
6: integrable, highest weight representation of $\lg$ with highest
7: weight    $\lambda$. Let $P_{+,\QQ}$ be the rational convex cone
8: generated by $P_+$. Consider the {\it tensor cone}
9: $$
10: \Gamma(\lg):=\{(\lambda_1,\lambda_2,\mu)\in P_{+,\QQ}^3\,|\,\exists N>1
11: \quad L(N\mu)\subset L(N\lambda_1)\otimes L(N\lambda_2)\}.
12: $$ 
13: If $\lg$ is finite dimensional, $\Gamma(\lg)$ is a polyhedral convex
14: cone described in \cite{BK} by an explicit finite list of
15: inequalities.
16: In general, $\Gamma(\lg)$ is nor polyhedral, nor closed. In this article
17: we describe the closure of  $\Gamma(\lg)$ by an explicit countable
18: family of linear inequalities, when $\lg$ is untwisted affine. This
19: solves a Brown-Kumar's conjecture \cite{BrownKumar} in this case.
20: 
21: We also obtain explicit saturation factors for the semigroup of
22: triples $(\lambda_1,\lambda_2,\mu)\in P_{+}^3$ such that 
23: $L(\mu)\subset L(\lambda_1)\otimes L(\lambda_2)$. Note that even the
24: existence of such saturation factors is not obvious since the
25: semigroup is not finitely generated.
26: For example, in case $\tilde A_n$, we prove that any integer $d_0\geq
27: 2$ is a saturation factor, generalizing the case $\tilde A_1$ shown in \cite{BrownKumar}.
28: \end{abstract}
29: