SMF

À propos des faces du cône tensoriel d'une algèbre de Kac-Moody

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

Shrawan KUMAR, Nicolas RESSAYRE
À propos des faces du cône tensoriel d'une algèbre de Kac-Moody
  • Consulter un extrait
  • Année : 2025
  • Fascicule : 4
  • Tome : 58
  • Format : Électronique
  • Langue de l'ouvrage :
    Anglais
  • Class. Math. : 20G44, 14M15
  • Pages : 855-898
  • DOI : 10.24033/asens.2619

Dans cet article, nous nous intéressons à la décomposition du produit tensoriel de deux représentations d'une algèbre de Kac-Moody symétrisable $g$, et plus précisément au cône tensoriel de $g$. Comme d'habitude, nous paramétrons les représentations irréductibles intégrables et  de plus haut poids par ledit plus haut poids. Alors, les triplets de telles représentations telles que la troisième s'injecte dans le produit tensoriel des deux premières est un semi-groupe. Ces triplets engendrent un cône convexe rationnel $\Gamma(g)$ que nous appelons le  cône tensoriel. Lorsque $g$ est de dimension finie, $\Gamma(g)$ est un cône convexe polyédral. En 2006, Belkale et le premier auteur ont décrit ce cône par une liste finie explicite d'inégalités linéaires. En 2010, le second auteur a montré que  cette liste d'inégalités n'est pas redondante : chaque inégalité correspond à une face de codimension un. En général,  $\Gamma(g)$ n'est ni fermé, ni polyédral. Brown et le premier auteur  ont obtenu une liste d'inégalités qui décrit conjecturalement le cône $\Gamma(g)$. Nous montrons ici que chacune de ces inégalités correspond à une face de codimension un de $\Gamma(g)$.

In this paper, we are interested in the decomposition of the tensor product of two representations of a symmetrizable Kac-Moody Lie algebra $g$, or more precisely in the tensor cone of $g$. As usual, we parametrize the integrable, highest weight (irreducible) representations of $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(g)$ called tensor cone.
If $g$ is finite-dimensional, $\Gamma(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, $\Gamma(g)$ is neither polyhedral nor closed. Brown and the first author obtained a list of inequalities that describe $\Gamma(g)$ conjecturally. Here, we prove that each of these inequalities corresponds to a codimension one face of $\Gamma(g)$.

groupes de Kac-Moody, décomposition du produit tensoriel, cône des valeurs propres
Kac-Moody groups, tensor product decomposition, Eigencone

Électronique
Electronic
Prix public Public price 20.00 €
Prix membre Member price 14.00 €
Quantité
Quantity
- +