When k[G/H] is multiplicity free G module ? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T19:26:48Z http://mathoverflow.net/feeds/question/104996 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/104996/when-kg-h-is-multiplicity-free-g-module When k[G/H] is multiplicity free G module ? Alexander Chervov 2012-08-18T19:12:20Z 2012-08-20T14:18:38Z <p>Consider finite group G and its subgroup H, and representation of G in k[G/H] i.e. functions on G/H.</p> <p><strong>Question:</strong> What is known about the question: when k[G/H] is multiplicity free ? (Let us consider k - complex numbers for simplicity).</p> <p>More generally consider $Ind^G_H V$ some induced representation of G from $H$, same question. (In case V= trivial representation we get previous question).</p> <p>Are there some general conditions ? What is know about the cases G = S_n, A_n, GL_n(F_q) ? </p> <p><strong>Example</strong>: $S_{n-1} \in S_n$ is multiplicity free since G/H = C^n - standard representation.</p> <p><strong>Particular question</strong> $H=GL_{n}(F_q) \subset G= GL_{n+1}(F_q)$ is C[G/H] multiplicity free ? (This is true from GL(C) and leads to Gelfand-Zeitlin basis theory, well , may be it is not correct). More generally what about induced representations in this case ? </p> <p>Morally multiplicity free means that $H$ is "big" subgroup of G, however I do not know any precise way to say what "big" means.</p> <p>PS</p> <p>I googled "Multiplicity-free permutation representations of the alternating groups", which promises survey on the topic, but but I have no access to this file:(</p> <p><a href="https://www.ideals.illinois.edu/handle/2142/22828" rel="nofollow">https://www.ideals.illinois.edu/handle/2142/22828</a></p> <p>If someone can help ... would be great...</p> http://mathoverflow.net/questions/104996/when-kg-h-is-multiplicity-free-g-module/104999#104999 Answer by Benjamin Steinberg for When k[G/H] is multiplicity free G module ? Benjamin Steinberg 2012-08-18T19:35:20Z 2012-08-20T14:18:38Z <p>Look up Gelfand pairs. You want (G,H) to be a Gelfand pair. A sufficient condition is that each orbit on G/HxG/H be symmetric (viewed as a relation). This is called a symmetric Gelfand pair. Other sufficient conditions are known. </p> <p><strong>Additional information.</strong> My favorite book on Gelfand pairs is Harmonic Analysis on Finite Groups: Representation Theory, Gelfand Pairs and Markov Chains by Tullio Ceccherini-Silberstein, Fabio Scarabotti, Filippo Tolli.</p> <p>Here they study Markov chains on $G/H$ using that the endomorphism algebra is commutative. Specific examples coming from symmetric groups and wreath products can be found in the book. Also Weilandt's classical book on permutation groups has a chapter on centralizer algebras and the connection with orbitals is made clear.</p> http://mathoverflow.net/questions/104996/when-kg-h-is-multiplicity-free-g-module/105000#105000 Answer by Jim Humphreys for When k[G/H] is multiplicity free G module ? Jim Humphreys 2012-08-18T19:57:32Z 2012-08-18T19:57:32Z <p>As Benjamin's short answer might suggest, the questions being asked are extremely broad and have already led to a vast amount of organized work on multiplicity-free permutation representations of various classes of finite groups. For instance, there has been substantial progress toward a classification for simple groups and some of their close relatives. In the case of symmetric groups, a fairly comprehensive answer has been reached which is based heavily on earlier work by Jan Saxl and others. For a recent paper (with many references), see:</p> <p>Chris Godsil, Karen Meagher, <em>Multiplicity-free permutation representations of the symmetric group</em>, Ann. Comb. 13 (2010), no. 4, 463–490.0219-3094.</p> <p>But for finite general linear groups (and others of Lie type), definitive results seem much harder to achieve though there is some relevant literature. In any case, it's impossible to pursue any of this systematically without good access to standard journals in areas like algebra and combinatorics (and it also helps to consult the MathSciNet database as I've just done). Certainly the problem has been around for a long time and has attracted a lot of attention, though I'm not aware of any single ideal survey. </p> http://mathoverflow.net/questions/104996/when-kg-h-is-multiplicity-free-g-module/105003#105003 Answer by Florian Eisele for When k[G/H] is multiplicity free G module ? Florian Eisele 2012-08-18T20:52:04Z 2012-08-18T20:52:04Z <p>Here's a very simple elementary criterion: </p> <blockquote> <p>A $\mathbb CG$-module is multiplicity-free if and only if its endomorphism ring is commutative</p> </blockquote> <p>The reason is simple: if $W\oplus W$ (for some irreducible module $W$) is a direct summand of $V$, then the non-commutative matrix ring $\textrm{End}(W\oplus W) \cong M_2(\mathbb C)$ embeds into $\textrm{End(V)}$).</p> <p>You are dealing with permutation modules, and for those there is a very explicit description of the endomorphism ring in terms of double cosets: <code>$$\textrm{End}_{\mathbb CG}(\mathbb C [G/H]) \cong \langle \sum_{h\in HgH} h \mid \textrm{ g runs over double coset representatives}\rangle_{\mathbb C}<br>$$</code></p> <p>You just need to check whether this ring is commutative. One criterion is that $H\backslash G /H$ has cardinality $\leq 3$ (because any semisimple algebra of dimension $\leq 3$ must be commutative).</p> <p>A reference is Curtis-Reiner: "Methods of representation theory vol. 1". In this book these endomorphism rings are called "Hecke algebras", defined on page 281 (the endomorphism ring above corresponds to the Hecke algebra $\mathcal H(G,H,1_H)$). </p> <p>However, computations in GAP show that $\mathbb C [GL_3(3)/GL_2(3)]$ is not multiplicity-free, so I see little hope for you question about permutation modules for $GL_n(q)$.</p> http://mathoverflow.net/questions/104996/when-kg-h-is-multiplicity-free-g-module/105013#105013 Answer by paul garrett for When k[G/H] is multiplicity free G module ? paul garrett 2012-08-18T22:48:03Z 2012-08-18T22:48:03Z <p>Just for contrast/complement to the other good (upvoted) answers: in various situations I've found it sufficient, and possible, to just ask about multiplicity-free-ness of an induced repn for a restricted class of representations of either the big group or the small group. In particular, if one restricts one's attention to principal series of the larger (presumably reductive, whether over a finite or infinite field), decomposition over a reasonable (large) subgroup turns into a Mackey (-Bruhat) double-coset (et seq) computation which often has a useful outcome (e.g., finitely-many double cosets, only one candidate supporting an intertwining?)</p> <p>This certainly does not offer a systematic, general answer, but is meant to suggest that in the face of lack of general (affirmative) answer, things are sometimes sufficient for very specific applications.</p> http://mathoverflow.net/questions/104996/when-kg-h-is-multiplicity-free-g-module/105028#105028 Answer by Geoff Robinson for When k[G/H] is multiplicity free G module ? Geoff Robinson 2012-08-19T08:13:26Z 2012-08-19T15:46:37Z <p>Just for interest, I point out that it is well-known that for every finite group $G,$ we can make the group algebra $\mathbb{C}G$ into a $G \times G$-module, by setting $a(g,h) = g^{-1}ah$ for all $a \in \mathbb{C}G,$ for all $(g,h) \in G \times G.$ It is easy to check that this representation is multiplicity-free. In fact, calculating the trace with respect to the natural group basis for $\mathbb{C}G,$ we see that ${\rm trace}(g,h) = |C_{G}(g)|$ if $g$ and $h$ are conjugate in $G,$ and $0$ if they are not conjugate. Hence the character of $G \times G$ afforded by this representation is <code>$\sum_{i=1}^{k} \overline{\chi}_{i} \otimes \chi_{i}$</code>, where <code>$\{ \chi_{i} : 1 \leq i \leq k \}$</code> are the irreducible charactes of $G.$ It is also easy to see directly that the algebra of $G \times G$ endomorphisms of this module is isomorphic to the commutative ring $Z(\mathbb{C}G).$ This way of looking at the group algebra as a $G \times G$-module ( or as a bimodule for $G$) was profitably exploited in modular representation theory by J.A. Green. But in the context of this question, it illustrates that the existence of a faithful multiplicity free representation puts very little restriction on the structure of the group. Notice that if we take the group basis for $G,$ the module may be viewed as a transitive permutation module, and that the stabilizer of the identity element $1_{G}$ is the "diagonal" subgroup <code>$\Delta(G) = \{ (g,g) : g \in G \}.$</code> It is easy to check that the module is faithful if and only if $G$ has trivial center. Another theme related to the question is that of "models". For example, R. Richardson constructed monomial representations of the symmetric group which contain every irreducible complex representation just once. These are not quite permutation representations: one takes a certain sign character for the centralizer of each involution (up to conjugacy) of the symmetric group $S_{n}$, and induces that up to $S_{n}$. This can be done in such a way that the sum of these is multiplicity free, and contains every irreducible character. For the general linear group, there are also Gelfand-Graev representations.</p> http://mathoverflow.net/questions/104996/when-kg-h-is-multiplicity-free-g-module/105039#105039 Answer by mt for When k[G/H] is multiplicity free G module ? mt 2012-08-19T15:30:07Z 2012-08-20T12:00:37Z <p>The fact (mentioned in Florian Eisele's answer) that the endomorphism algebra must be commutative gives a further necessary condition for $\mathbb{C}_H\uparrow^G$ to be multiplicity free: $N_G(H)/H$ must be abelian. For $\mathbb{C} N_G(H)/H$ appears as a subalgebra of the endomorphism algebra, coming from those double cosets labelled by an element of the normalizer.</p> <p>In the case when $G$ is the symmetric group $S_n$, the problem of which permutation characters are multiplicity-free is completely solved for $n \geq 66$ by work of Mark Wildon: <a href="http://arxiv.org/abs/0903.2864" rel="nofollow">http://arxiv.org/abs/0903.2864</a></p>