JOURNAL OF
ALGEBRAIC
COMBINATORICS

Home > Vol 4, No 3 (1995)

Christophe Carré and Bernard Leclerc

We propose a new combinatorial description of the product of two Schur functions. In the particular case of the square of a Schur function S _I, it allows to discriminate in a very natural way between the symmetric and antisymmetric parts of the square. In other words, it describes at the same time the expansion on the basis of Schur functions of the plethysms S ²( S _I) and ²( S _I). More generally our combinatorial interpretation of the multiplicities c _IJ ^K = S _IS _J, S _Kleads to interesting q-analogues c _IJ ^K (q) of these multiplicities. The combinatorial objects that we use are domino tableaux, namely tableaux made up of 1 \times  2 rectangular boxes filled with integers weakly increasing along the rows and strictly increasing along the columns. Standard domino tableaux have already been considered by many authors [33], [6], [34], [8], [1], but, to the best of our knowledge, the expression of the Littlewood-Richardson coefficients in terms of Yamanouchi domino tableaux is new, as well as the bijection described in Section 7, and the notion of the diagonal class of a domino tableau, defined in Section 8. This construction leads to the definition of a new family of symmetric functions ( H-functions), whose relevant properties are summarized in Section 9.

1. D. Barbasch and D. Vogan, "Primitive ideals and orbital integrals in complex classical groups," Math. Ann. 259 (1982) 153-199.
2. A.D. Berenstein and A.V. Zelevinsky, "Triple multiplicities of sl(r + 1) and the spectrum of the exterior algebra of the adjoint representation," J. Alg. Combin. 1 (1992), 7-22.
3. C. Carre, "The rule of Littlewood-Richardson in a construction of Berenstein-Zelevinsky," Int. J. of Algebra and Computation 1 (4) (1991), 473-491.
4. C. Carr6, "Plethysm of elementary functions," Bayreuther Mathematische Schriften 31 (1990), 1-18.
5. C. Carre, "Le plethysme," These, Universite Paris 7 (1991).
6. S. Fomin and D. Stanton, "Rim hook lattices," Mittag-Leffler institute, preprint No. 23, 1991/92.
7. F. Grosshans, "The symbolic method and representation theory," Advances in Math. 98 (1993), 113-142.
8. D. Garfinkle, "On the classification of primitive ideals for complex classical Lie algebras, I," Compositio Mathematica 75 (1990) 2, 135-169.
9. F. Grosshans, G.C. Rota, and J. Stein, "Invariant theory and superalgebras," Amer. Math. Soc. Providence, RI, 1987.
10. I.M. Gel'fand and A.V. Zelevinsky, "Polyhedra in the scheme space and the canonical basis for irreducible representations of gh"Funct. Anal. Appl. 19(1985), No. 2,72-75.
11. I.M. Gel'fand and A.V. Zelevinsky, "Multiplicities and good bases for gln" Proc. III. Int. Semin. on Group- Theoretical Methods in Physics, Yurmala, 1985.
12. G.D. James and A. Kerber, The representation theory of the symmetric group, Addison-Wesley, 1981.
13. G.D. James and M.H. Peel, "Specht series for skew representations of symmetric groups," J. Algebra 56 (1978), 343-364.
14. A.N. Kirillov, "On the Kostka-Green-Foulkes polynomials and Clebsch-Gordan numbers," J. of Geometry and Physics 5 (3), (1988), 365-389.
15. A. Kerber, A. Kohnert, and A. Lascoux, "SYMMETRICA, an object oriented computer-algebra system for the symmetric group," J. Symbolic Computation 14 (1992), 195-203.
16. A.N. Kirillov, A. Lascoux, B. Leclerc, and J.Y. Thibon, "Series generatrices pour les tableaux de dominos," C. R. Acad. Sci. Paris, t. 318, Serie I, (1994), 395-00.
17. D. Knuth, "Permutations, matrices and generalized Young tableaux," Pacific J. Math. 34 (1970), 709-727.
18. A.N. Kirillov and N.Yu. Reshetikhin, "Bethe ansatz and the combinatorics of Young tableaux," Zap. Nauch. Semin. LOMI, 155 (1986), 65-115.
19. A. Lascoux, "Cyclic permutations on words, tableaux and harmonic polynomials," Proc. of the Hyderabad conference on algebraic groups, 1989, Manoj Prakashan, Madras (1991), 323-347.
20. D.E. Littlewood, "Polynomial concomitants and invariant matrices," Proc. London Math. Soc. (2) 43 (1937), 226.
21. D.E. Littlewood, "Invariant theory, tensors and group characters," Phil. Trans. Roy. Soc. A 239 (1944), 305-65.
22. D.E. Littlewood, The theory of group characters and matrix representations of groups, Oxford, 1950 (second edition).
23. D.E. Littlewood, "Modular representations of symmetric groups," Proc. Roy. Soc. A. 209 (1951), 333-353.
24. A. Lascoux, B. Leclerc, and J.Y. Thibon, "Une nouvelle expression des fonctions P de Schur," C.R. Acad. Sci. Paris, t. 316, Serie I, (1993), 221-224.
25. A. Lascoux, B. Leclerc, and J.Y. Thibon, "Fonctions de Hall-Littlewood et polynomes de Kostka-Foulkes aux racines de 1'unite," C.R. Acad. Sci. Paris, t. 316, Serie I (1993), 1-6.
26. A. Lascoux and M.P. Schtitzenberger, Formulaire raisonne de fonctions symetriques, Publ. Math. Univ. Paris 7, 1985.
27. A. Lascoux and M.P. Schiitzenberger, "Le monoi'de plaxique," in Noncommutative structures in algebra and geometric combinatorics (A. de Luca Ed.), Quaderni della Ricerca Scientifica del C.N.R., Roma, 1981.
28. A. Lascoux and M.P. Schutzenberger, "Schubert polynomials and the Littlewood-Richardson rule," Letters in Math. Physics 10 (1985), 111-124.
29. I.G. Macdonald, Symmetric functions and Hall polynomials, Oxford, 1979.
30. A.O. Morris and N. Sultana, "Hall-Littlewood polynomials at roots of 1 and modular representations of the symmetric group," Math. Proc. Cambridge Phil. Soc. 110 (1991), 443-453.
31. G. deB. Robinson, "On the representation theory of the symmetric group," Amer. J. Math. 60(1938), 745-760.
32. G. de B. Robinson, Representation theory of the symmetric group, Edinburgh, 1961.
33. D. Stanton and D. White, "A Schensted algorithm for rim-hook tableaux," J. Comb. Theory A 40 (1985), 211-247.
34. M. van Leeuwen, "A Robinson-Schensted algorithm in the geometry of flags for Classical Groups", Thesis, 1989.
35. A.V. Zelevinsky, "A generalization of the Littlewood-Richardson rule and the Robinson-Schensted-Knuth correspondence," J. Algebra 69 (1981), 82-94.