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 $ \Gamma({\mathfrak g})$ called tensor cone.If ${\mathfrak g}$~is finite-dimensional, $\Gamma({\mathfrak g})$~is a polyhedral convex cone. In 2006, Belkale and the first author described this cone by an explicit finite list of <a class="link-external link-http" href="http://inequalities.In" rel="external noopener nofollow">this http URL</a> 2010, this list of inequalities was proved to be irredundant by the second author:each such inequality corresponds to a codimension one <a class="link-external link-http" href="http://face.In" rel="external noopener nofollow">this http URL</a> general, $\Gamma({\mathfrak g})$~is neither polyhedral, nor closed.Brown and the first author obtained a list of inequalities that describe $\Gamma({\mathfrak g})$ conjecturally. Here, we prove that each of these inequalities corresponds to a codimension one face of~$\Gamma({\mathfrak g})$.

Sums of squares of k-term forms

A Refinement of Hilbert's 1888 Theorem: Separating Cones along the Veronese Variety

Separating Cones defined by Toric Varieties: Some Properties and Open Problems

Higher-dimensional Dedekind sums and their bounds arising from the discrete diagonal of the n-cube

Positive bases, cones, Helly type theorems

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

On Certain Polytopes Associated to Products of Algebraic Integer Conjugates

Generalized Arithmetic Kakeya

On the longest chain of faces of the completely positive and copositive cones

An observation on positive definite forms

Neighborly boxes and bipartite coverings; constructions and conjectures

Exact values and improved bounds on $k$-neighborly families of boxes

Integer Carathéodory results with bounded multiplicity

The geometric cone conjecture in relative dimension two

High-rank ternary forms of even degree

On a $d$-degree Erdős-Ko-Rado Theorem

Diophantine $D(n)$-quadruples in $\mathbb{Z}[\sqrt{4k + 2}]$

On Spheres with $k$ Points Inside

Exact values and improved bounds on k -neighborly families of boxes

A Combinatorial Decomposition of Knapsack Cones

On the singular loci of higher secant varieties of Veronese embeddings