1: \begin{abstract}

2: \paragraph{Abstract.}

3: An important problem from invariant theory is to describe the

4: subspace of a tensor power of a representation invariant under the

5: action of the group.  According to Weyl's classic, the first main

6: (later: \lq fundamental\rq) theorem of invariant theory states that

7: all invariants are expressible in terms of a finite number among

8: them, whereas a second main theorem determines the relations between

9: those basic invariants.

10: 

11: Here we present a transparent, combinatorial proof of a second

12: fundamental theorem for the defining representation of the symplectic

13: group $\Sp(2n)$.  Our formulation is completely explicit and provides

14: a very precise link to $(n+1)$-noncrossing perfect matchings, going

15: beyond a dimension count.  As a corollary, we obtain an instance of

16: the cyclic sieving phenomenon.

17: 

18: \paragraph{R\'esum\'e.}

19: 

20: Une probl\'eme importante de la th\'eorie des invariantes est de

21: d\'ecrire le sous espace d'une puissance tensorielle d'une

22: r\'epresentation invariant \`a l'action de la groupe.  Suivant la

23: classique de Weyl, la th\'eoreme fondamentale premiere pour la

24: r\'epresentation standard de la group sympl\'ectique dit que toutes

25: invariantes peuvent \^etre expriment entre un nombre fini d'entre

26: eux.  Ainsi, une th\'eoreme fondamentale seconde determine les

27: r\'elations entre ces invariantes basiques.

28: 

29: Ici, nous pr\'esentons une preuve transparente d'une th\'eoreme

30: fondamentale seconde pour la r\'epresentation standard de la groupe

31: sympl\'ectique $\Sp(2n)$.  Notre formulation est completement

32: explicite est elle provide un lien tres pr\'ecis avec les couplages

33: parfaites $(n+1)$-noncroissants, plus pr\'ecis qu'un denombrement de

34: la dimension.  Comme corollaire nous exhibons une ph\'enom\`ene du

35: crible cyclique.

36: \end{abstract}

37: