On the faces of the tensor cone of symmetrizable Kac-Moody lie algebras

Abstract

In this paper, we are interested in the decomposition of the tensor product of two representations ofa symmetrizable Kac-Moody Lie algebra ${\mathfrak g}$, or more precisely in the tensor cone of~${\mathfrak g}$.As usual, we parametrize the integrable, highest weight (irreducible) representations of~${\mathfrak g}$ by their highest weights. Then, the triples of such representations such that the last one is contained in the tensor product of the first two is a semigroup.This semigroup generates a rational convex cone $ Γ({\mathfrak g})$ called tensor cone.If ${\mathfrak g}$~is finite-dimensional, $Γ({\mathfrak g})$~is a polyhedral convex cone. In 2006, Belkale and the first author described this cone by an explicit finite list of inequalities.In 2010, this list of inequalities was proved to be irredundant by the second author:each such inequality corresponds to a codimension one face.In general, $Γ({\mathfrak g})$~is neither polyhedral, nor closed.Brown and the first author obtained a list of inequalities that describe $Γ({\mathfrak g})$ conjecturally. Here, we prove that each of these inequalities corresponds to a codimension one face of~$Γ({\mathfrak g})$.

Theorems & Definitions (64)

• Conjecture 1.1
• Theorem 1.2: R:KM1
• Theorem 1.3
• Corollary 1.4
• Theorem 1.5
• Proposition 2.1
• proof
• Proposition 3.1
• proof
• proof