What is the name for a finite-group representation that is the sum of all the irreducibles (once)? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T17:18:15Z http://mathoverflow.net/feeds/question/87865 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/87865/what-is-the-name-for-a-finite-group-representation-that-is-the-sum-of-all-the-irr What is the name for a finite-group representation that is the sum of all the irreducibles (once)? Ryan Reich 2012-02-08T03:18:23Z 2012-02-08T23:17:19Z <p>I vaguely remember seeing a paper studying the concept of a totally multiplicity-one representation of a finite group, which concept, I recall, had a particular name, which I forget. What is this name, and is there a reference paper (for example, the one I might have been reading) where I can find out what is known about these representations?</p> http://mathoverflow.net/questions/87865/what-is-the-name-for-a-finite-group-representation-that-is-the-sum-of-all-the-irr/87926#87926 Answer by Jim Humphreys for What is the name for a finite-group representation that is the sum of all the irreducibles (once)? Jim Humphreys 2012-02-08T19:39:27Z 2012-02-08T23:17:19Z <p>As others have commented, the most likely answer to the question in the header is <em>Gelfand model</em>, though you are apparently looking further for related literature. Probably the notion developed in the 1970s and 1980s in a series of papers by I.M. Gelfand and his collaborators. These are in Russian, but mostly published also in English translation journals and latter reprinted in the multi-volume collected works. </p> <p>It's clear that the ideal notion of "model" of representations for a given group is a representation containing each irreducible representation exactly once as a constituent. But in some situations this is weakened to require only that "most" representations occur and/or that "most" of them have multiplicity just one. The groups studied usually are of Lie type (finite, compact, etc.) or perhaps closely related (symmetric groups, for example). And the results are varied, some more computable or usable than others. Finding a model for a specific group is a natural goal but difficult to reach.</p> <p>MathSciNet and other databases provide good references and sometimes reviews. As a sample, here is a concise author summary which illustrates some of the typical motivation:</p> <p>Gel′fand, I. M.; Zelevinski ̆ı, A. V. [Zelevinsky, Andrei], <em>Models of representations of classical groups and their hidden symmetries.</em> Akad. Nauk SSSR Inst. Prikl. Mat. Preprint 1984, no. 71, 26 pp.</p> <p>Authors’ summary: “For all complex classical groups <em>G</em> we construct new realizations of the representation model of <em>G</em>, i.e., the direct sum of all irreducible algebraic finite-dimensional representations of <em>G</em> occurring with multiplicity one. These realizations have hidden symmetry: the action of the Lie algebra of <em>G</em> on them extends naturally to the action of a larger Lie (super-) algebra. The construction of hidden symmetries is based on a geometrical construction, similar to a twistor construction of Penrose.”</p> <p>Another paper is part of a series in Russian by Bernstein-Gelfand-Gelfand:</p> <p><em>Models of representations of compact Lie groups</em>. (Russian) Funkcional. Anal. i Prilozˇen. 9 (1975), no. 4, 61–62.</p> <p>[ADDED] Maybe I should emphasize that constructing an abstract model of representations for a group isn't by itself the goal, since it may be too big to provide further insight. As Junkie indicates (with reference to a paper that is also on the arXiv), symmetric groups and other finite Coxeter groups have been studied in this framework with partial success. For finite groups of Lie type, the ideas of Gelfand-Graev led to a simple construction which is "almost" a model of the ordinary characters but doesn't capture all of them. This is developed by Carter in his 1985 book <em>Finite Groups of Lie Type</em>, Chapter 8, and less completely by Digne-Michel in their 1991 text <em>Representations of Finite Groups of Lie Type</em>. Starting with any "regular" character of a maximal unipotent subgroup (the choices here don't matter), induction to the whole finite group yields a multiplicity-free character of large degree which has most other characters as constituents. Taken in isolation this is not so helpful, but combined with Deligne-Lusztig theory it leads to interesting results. </p> <p>An underlying theme for groups of Lie type is that's it's fairly easy to construct big representations by induction from nice subgroups, but then it's not so easy to extract information about the irreducibles or multiplicities. </p>