Skip to main content
replaced http://mathoverflow.net/ with https://mathoverflow.net/
Source Link

This question is motivated by this onethis one. Basically, the remark of Bugs Bunny in comments made me think - OK, there is an ambiguity in choosing between a Young diagram and its transpose when constructing irreps of $S_n$, but it is somewhat remarkable: it corresponds in terms of irreps to tensoring representations with the sign representation. There is also of course the remark of Gjergji Zaimi suggesting that for abelian groups the ambiguity is maximal possible, since we are literally dealing with a group vs its dual. This of course makes one wonder if the group of characters $G/[G,G]$ is somehow responsible for the key ambiguities, hence this (possibly very naive) question.

Of course the dual group of $G/[G,G]$ acts on irreps of $G$: that dual group is just the group of one-dimensional irreps of $G$, and we can tensor irreps of $G$ with those. I thought I had a way to make $G/[G,G]$ act in a very easy way on conjugacy classes of $G$, but David Speyer drew my attention to the fact that it must be much less obvious. Hence for the moment my question is - is there a way to repair the original question along these lines? For instance, is there an action of $G/[G,G]$ on conjugacy classes of $G$ for which there is a natural (in some sense) bijection between the orbits of $G/[G,G]\simeq (G/[G,G])^\vee$ on the conjugacy classes of $G$ and the irreps of $G$?

This question is motivated by this one. Basically, the remark of Bugs Bunny in comments made me think - OK, there is an ambiguity in choosing between a Young diagram and its transpose when constructing irreps of $S_n$, but it is somewhat remarkable: it corresponds in terms of irreps to tensoring representations with the sign representation. There is also of course the remark of Gjergji Zaimi suggesting that for abelian groups the ambiguity is maximal possible, since we are literally dealing with a group vs its dual. This of course makes one wonder if the group of characters $G/[G,G]$ is somehow responsible for the key ambiguities, hence this (possibly very naive) question.

Of course the dual group of $G/[G,G]$ acts on irreps of $G$: that dual group is just the group of one-dimensional irreps of $G$, and we can tensor irreps of $G$ with those. I thought I had a way to make $G/[G,G]$ act in a very easy way on conjugacy classes of $G$, but David Speyer drew my attention to the fact that it must be much less obvious. Hence for the moment my question is - is there a way to repair the original question along these lines? For instance, is there an action of $G/[G,G]$ on conjugacy classes of $G$ for which there is a natural (in some sense) bijection between the orbits of $G/[G,G]\simeq (G/[G,G])^\vee$ on the conjugacy classes of $G$ and the irreps of $G$?

This question is motivated by this one. Basically, the remark of Bugs Bunny in comments made me think - OK, there is an ambiguity in choosing between a Young diagram and its transpose when constructing irreps of $S_n$, but it is somewhat remarkable: it corresponds in terms of irreps to tensoring representations with the sign representation. There is also of course the remark of Gjergji Zaimi suggesting that for abelian groups the ambiguity is maximal possible, since we are literally dealing with a group vs its dual. This of course makes one wonder if the group of characters $G/[G,G]$ is somehow responsible for the key ambiguities, hence this (possibly very naive) question.

Of course the dual group of $G/[G,G]$ acts on irreps of $G$: that dual group is just the group of one-dimensional irreps of $G$, and we can tensor irreps of $G$ with those. I thought I had a way to make $G/[G,G]$ act in a very easy way on conjugacy classes of $G$, but David Speyer drew my attention to the fact that it must be much less obvious. Hence for the moment my question is - is there a way to repair the original question along these lines? For instance, is there an action of $G/[G,G]$ on conjugacy classes of $G$ for which there is a natural (in some sense) bijection between the orbits of $G/[G,G]\simeq (G/[G,G])^\vee$ on the conjugacy classes of $G$ and the irreps of $G$?

deleted 168 characters in body
Source Link
Vladimir Dotsenko
  • 16.9k
  • 1
  • 55
  • 114

This question is motivated by this one. Basically, the remark of Bugs Bunny in comments made me think - OK, there is an ambiguity in choosing between a Young diagram and its transpose when constructing irreps of $S_n$, but it is somewhat remarkable: it corresponds in terms of irreps to tensoring representations with the sign representation. There is also of course the remark of Gjergji Zaimi suggesting that for abelian groups the ambiguity is maximal possible, since we are literally dealing with a group vs its dual. This of course makes one wonder if the group of characters $G/[G,G]$ is somehow responsible for the key ambiguities, hence this (possibly very naive) question.

Clearly, $$hcgc^{-1}=h(cgc^{-1}g^{-1})g$$ for all $c,g,h\in G$. Also, $[G,G]$ is a normal subgroup, so for every $z\in [G,G]$ and every $h$ in $G$ we have $hz=uh$ for some $u\in [G,G]$, so $$hzg=uhg=u(hgu)u^{-1}=u(hgu)u^{-1}=u(hu(u^{-1}gu))u^{-1}.$$ These two equations seem to suggest that the obvious left action of $G$ on itself gives rise to the action of $G/[G,G]$ on the set of conjugacy classes of $G$. Also, ofOf course the dual group of $G/[G,G]$ acts on irreps of $G$: that dual group is just the group of one-dimensional irreps of $G$, and we can tensor irreps of $G$ with those. Now,I thought I had a vagueway to make $G/[G,G]$ act in a very easy way on conjugacy classes of $G$, but David Speyer drew my attention to the fact that it must be much less obvious. Hence for the moment my question is - is this somehowthere a way to repair the original question along these lines? For instance, is there a chance to havean action of $G/[G,G]$ on conjugacy classes of $G$ for which there is a natural (in some sense) bijection between the orbits of $G/[G,G]\simeq (G/[G,G])^\vee$ on the conjugacy classes of $G$ and the irreps of $G$?

This question is motivated by this one. Basically, the remark of Bugs Bunny in comments made me think - OK, there is an ambiguity in choosing between a Young diagram and its transpose when constructing irreps of $S_n$, but it is somewhat remarkable: it corresponds in terms of irreps to tensoring representations with the sign representation. There is also of course the remark of Gjergji Zaimi suggesting that for abelian groups the ambiguity is maximal possible, since we are literally dealing with a group vs its dual. This of course makes one wonder if the group of characters $G/[G,G]$ is somehow responsible for the key ambiguities, hence this (possibly very naive) question.

Clearly, $$hcgc^{-1}=h(cgc^{-1}g^{-1})g$$ for all $c,g,h\in G$. Also, $[G,G]$ is a normal subgroup, so for every $z\in [G,G]$ and every $h$ in $G$ we have $hz=uh$ for some $u\in [G,G]$, so $$hzg=uhg=u(hgu)u^{-1}=u(hgu)u^{-1}=u(hu(u^{-1}gu))u^{-1}.$$ These two equations seem to suggest that the obvious left action of $G$ on itself gives rise to the action of $G/[G,G]$ on the set of conjugacy classes of $G$. Also, of course the dual group of $G/[G,G]$ acts on irreps of $G$: that dual group is just the group of one-dimensional irreps of $G$, and we can tensor irreps of $G$ with those. Now, a vague question is - is this somehow a way to repair the original question? For instance, is there a chance to have a natural (in some sense) bijection between the orbits of $G/[G,G]\simeq (G/[G,G])^\vee$ on the conjugacy classes of $G$ and the irreps of $G$?

This question is motivated by this one. Basically, the remark of Bugs Bunny in comments made me think - OK, there is an ambiguity in choosing between a Young diagram and its transpose when constructing irreps of $S_n$, but it is somewhat remarkable: it corresponds in terms of irreps to tensoring representations with the sign representation. There is also of course the remark of Gjergji Zaimi suggesting that for abelian groups the ambiguity is maximal possible, since we are literally dealing with a group vs its dual. This of course makes one wonder if the group of characters $G/[G,G]$ is somehow responsible for the key ambiguities, hence this (possibly very naive) question.

Of course the dual group of $G/[G,G]$ acts on irreps of $G$: that dual group is just the group of one-dimensional irreps of $G$, and we can tensor irreps of $G$ with those. I thought I had a way to make $G/[G,G]$ act in a very easy way on conjugacy classes of $G$, but David Speyer drew my attention to the fact that it must be much less obvious. Hence for the moment my question is - is there a way to repair the original question along these lines? For instance, is there an action of $G/[G,G]$ on conjugacy classes of $G$ for which there is a natural (in some sense) bijection between the orbits of $G/[G,G]\simeq (G/[G,G])^\vee$ on the conjugacy classes of $G$ and the irreps of $G$?

Source Link
Vladimir Dotsenko
  • 16.9k
  • 1
  • 55
  • 114

$G/[G,G]$, irreps and conjugacy classes

This question is motivated by this one. Basically, the remark of Bugs Bunny in comments made me think - OK, there is an ambiguity in choosing between a Young diagram and its transpose when constructing irreps of $S_n$, but it is somewhat remarkable: it corresponds in terms of irreps to tensoring representations with the sign representation. There is also of course the remark of Gjergji Zaimi suggesting that for abelian groups the ambiguity is maximal possible, since we are literally dealing with a group vs its dual. This of course makes one wonder if the group of characters $G/[G,G]$ is somehow responsible for the key ambiguities, hence this (possibly very naive) question.

Clearly, $$hcgc^{-1}=h(cgc^{-1}g^{-1})g$$ for all $c,g,h\in G$. Also, $[G,G]$ is a normal subgroup, so for every $z\in [G,G]$ and every $h$ in $G$ we have $hz=uh$ for some $u\in [G,G]$, so $$hzg=uhg=u(hgu)u^{-1}=u(hgu)u^{-1}=u(hu(u^{-1}gu))u^{-1}.$$ These two equations seem to suggest that the obvious left action of $G$ on itself gives rise to the action of $G/[G,G]$ on the set of conjugacy classes of $G$. Also, of course the dual group of $G/[G,G]$ acts on irreps of $G$: that dual group is just the group of one-dimensional irreps of $G$, and we can tensor irreps of $G$ with those. Now, a vague question is - is this somehow a way to repair the original question? For instance, is there a chance to have a natural (in some sense) bijection between the orbits of $G/[G,G]\simeq (G/[G,G])^\vee$ on the conjugacy classes of $G$ and the irreps of $G$?