Search

An important problem from invariant theory is to describe the subspace of a tensor power of a representation invariant under the action of the group. According to Weyl's classic, the first main (later: 'fundamental') theorem of invariant theory states that all invariants are expressible in terms of a finite number among them, whereas a second main theorem determines the relations between those basic invariants.Here we present a transparent, combinatorial proof of a second fundamental theorem for the defining representation of the symplectic group $Sp(2n)$. Our formulation is completely explicit and provides a very precise link to $(n+1)$-noncrossing perfect matchings, going beyond a dimension count. As a corollary, we obtain an instance of the cyclic sieving phenomenon., Un problème important de la théorie des invariantes est de décrire le sous espace d’une puissance tensorielle d’une représentation invariant à l’action du groupe. Suivant la classique de Weyl, le théorème fondamental premier pour la représentation standard du groupe sympléctique dit que tous les invariants peuvent être exprimés entre un nombre fini d’entre eux. Par ailleurs, un théorème fondamental second détermine les relations entre ces invariants basiques.Ici, nous présentons une preuve transparente d’un théorème fondamental second pour la représentation standard du groupe sympléctique $Sp(2n)$. Notre formulation est complètement explicite et elle fournit un lien très précis avec les couplages parfaits $(n+1)$ -noncroissants, plus précis qu’un dénombrement de la dimension. Comme corollaire nous exhibons un phénomène de crible cyclique.

The descent set of an oscillating (or up-down) tableau is introduced. This descent set plays the same role in the representation theory of the symplectic groups as the descent set of a standard tableau plays in the representation theory of the general linear groups. In particular, we show that the descent set is preserved by Sundaram's correspondence. This gives a direct combinatorial interpretation of the branching rules for the defining representations of the symplectic groups; equivalently, for the Frobenius character of the action of a symmetric group on an isotypic subspace in a tensor power of the defining representation of a symplectic group., Dans cet article, nous définissons la notion d’ensemble de descentes pour un tableau oscillant. Ces descentes sont analogues aux descentes d’un tableau standard dans la théorie des représentations des groupes généraux linéaires. Nous montrons que la correspondance de Sundaram préserve cet ensemble et nous donnons une interprétation combinatoire directe des règles de branchement pour la représentation des groupes symplectiques. Enfin, nous décrivons combinatoirement les caractères de Frobenius associés à l’action du groupe symétrique sur les composantes isotypiques du produit tensoriel des représentations d’un groupe symplectique.