Sur des faces du cône de Littlewood-Richardson généralisé  [ About some faces of the generalized Littlewood-Richardson cone ]
Bulletin de la Société Mathématique de France, Volume 135 (2007) no. 3, p. 343-365

Let G ^ be a connected reductive algebraic group and G be a reductive closed and connected subgroup of G ^ both defined over an algebraically closed field of characteristic zero. Let 𝒟 (resp. 𝒟 ^) the set of isomorphism classes of irreducible representations of G (resp. G ^). We consider the set of elements (μ,ν ^)(𝒟,𝒟 ^) such that an irreducible G-module of class μ is a submodule of a G ^-module of class ν ^. This set generate a polyhedral cone 𝒞 in the rational vector space generated by the product of characters of G and G ^. By Geometric Invariant Theory methods we give, in particular, a sufficient condition for a linear inequality defining 𝒟 to induce a face of codimension one of 𝒞. We apply our results to several classical example in representation theory (tensor products and plethysm).

Soient GG ^ deux groupes réductifs connexes définis sur un corps algébriquement clos de caractéristique nulle. Notons 𝒟 (resp. 𝒟 ^) l’ensemble des classes d’isomorphisme des représentations irréductibles de G (resp. de G ^). Nous nous intéressons à l’ensemble 𝒞 des couples (μ,ν ^) dans 𝒟×𝒟 ^ pour lesquels un G ^-module de classe ν ^ contient un sous-G-module de classe μ. Il est bien connu que 𝒞 engendre un cône polyédral dans l’espace vectoriel rationnel engendré par le produit du groupe des caractères de G avec le groupe des caractères de G ^. Par des méthodes de théorie géométrique des invariants nous étudions sous quelles conditions une inégalité linéaire définissant 𝒟 induit une face de codimension un du cône engendré par 𝒞. Nous appliquons ces résultats à des exemples classiques de problèmes de décompositions de représentations (produit tensoriel et pléthysme).

DOI : https://doi.org/10.24033/bsmf.2538
Classification:  20G05
Keywords: representation theory, decomposition, Littlewood-Richardson cone, tensor products, plethysm
@article{BSMF_2007__135_3_343_0,
     author = {Montagard, Pierre-Louis and Ressayre, Nicolas},
     title = {Sur des faces du c\^one de Littlewood-Richardson g\'en\'eralis\'e},
     journal = {Bulletin de la Soci\'et\'e Math\'ematique de France},
     publisher = {Soci\'et\'e math\'ematique de France},
     volume = {135},
     number = {3},
     year = {2007},
     pages = {343-365},
     doi = {10.24033/bsmf.2538},
     zbl = {1172.20033},
     mrnumber = {2430185},
     language = {fr},
     url = {http://www.numdam.org/item/BSMF_2007__135_3_343_0}
}
Montagard, Pierre-Louis; Ressayre, Nicolas. Sur des faces du cône de Littlewood-Richardson généralisé. Bulletin de la Société Mathématique de France, Volume 135 (2007) no. 3, pp. 343-365. doi : 10.24033/bsmf.2538. http://www.numdam.org/item/BSMF_2007__135_3_343_0/

[1] P. Belkale & S. Kumar - « Eigenvalue problem and a new product in cohomology of flag varieties », Invent. Math. 166 (2006), p. 185-228. | MR 2242637 | Zbl 1106.14037

[2] A. Berenstein & R. Sjamaar - « Coadjoint orbits, moment polytopes, and the Hilbert-Mumford criterion », J. Amer. Math. Soc. 13 (2000), p. 433-466. | MR 1750957 | Zbl 0979.53092

[3] M. Brion - « Sur l'image de l'application moment », in Séminaire d'algèbre Paul Dubreil et Marie-Paule Malliavin (Paris, 1986), Lecture Notes in Math., vol. 1296, Springer, 1987, p. 177-192. | MR 932055 | Zbl 0667.58012

[4] -, « On the general faces of the moment polytope », Internat. Math. Res. Notices (1999), p. 185-201. | MR 1677271 | Zbl 0946.14025

[5] A. G. Èlashvili - « Invariant algebras », in Lie groups, their discrete subgroups, and invariant theory, Adv. Soviet Math., vol. 8, Amer. Math. Soc., 1992, p. 57-64. | MR 1155664 | Zbl 0805.17006

[6] W. Fulton - Introduction to toric varieties, Annals of Mathematics Studies, vol. 131, Princeton University Press, 1993, The William H. Roever Lectures in Geometry. | MR 1234037 | Zbl 0813.14039

[7] G. Hochschild & G. D. Mostow - « Unipotent groups in invariant theory », Proc. Nat. Acad. Sci. U.S.A. 70 (1973), p. 646-648. | MR 320174 | Zbl 0262.14004

[8] M. Kapovich & J. J. Millson - « Structure of the tensor product semigroup », Asian J. Math. 10 (2006), p. 493-539. | MR 2253157 | Zbl 1108.22010

[9] A. A. Klyachko - « Stable bundles, representation theory and Hermitian operators », Selecta Math. (N.S.) 4 (1998), p. 419-445. | MR 1654578 | Zbl 0915.14010

[10] A. Knutson, T. Tao & C. Woodward - « The honeycomb model of GL n () tensor products. II. Puzzles determine facets of the Littlewood-Richardson cone », J. Amer. Math. Soc. 17 (2004), p. 19-48. | MR 2015329 | Zbl 1043.05111

[11] D. Luna - « Sur les orbites fermées des groupes algébriques réductifs », Invent. Math. 16 (1972), p. 1-5. | MR 294351 | Zbl 0249.14016

[12] L. Manivel - « Applications de Gauss et pléthysme », Ann. Inst. Fourier (Grenoble) 47 (1997), p. 715-773. | Numdam | MR 1465785 | Zbl 0868.05054

[13] P.-L. Montagard - « Sur les faces du cône associé au pléthysme », Comm. Algebra 26 (1998), p. 2321-2336. | MR 1626618 | Zbl 0912.20034

[14] L. Ness - « A stratification of the null cone via the moment map », Amer. J. Math. 106 (1984), p. 1281-1329, With an appendix by David Mumford. | MR 765581 | Zbl 0604.14006

[15] V. L. Popov & È. B. Vinberg - « Algebraic Geometry IV », Encyclopedia of Mathematical Sciences, vol. 55, ch. Invariant Theory, p. 123-284, Springer-Verlag, 1991.

[16] H. Weyl - « Das asymptotische Verteilungsgesetz der Eigenwerte linearer partieller Differentialgleichungen (mit einer Anwendung auf die Theorie der Hohlraumstrahlung) », Math. Ann. 71 (1912), p. 441-479. | JFM 43.0436.01 | MR 1511670

[17] A. Zelevinsky - « Littlewood-Richardson semigroups », in New perspectives in algebraic combinatorics (Berkeley, CA, 1996-97), Math. Sci. Res. Inst. Publ., vol. 38, Cambridge Univ. Press, 1999, p. 337-345. | MR 1731821 | Zbl 0935.05094