The Category of Representations of a Group - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-18T04:49:43Z http://mathoverflow.net/feeds/question/10086 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/10086/the-category-of-representations-of-a-group The Category of Representations of a Group John Mangual 2009-12-30T02:17:43Z 2009-12-30T03:47:11Z <p>Do people study the category of representations of a compact <del>finite</del> group (not just irreducible ones)? I'm more interested in small cases like S_3 and SU(2) but I'd be curious about general cases like \$S_n, SU(n)\$. These must be tensor categories since - well... they admit tensor products and direct sums. Can these representations be considered a ring?</p> <p>** What does this category look like in the case of S_3?</p> http://mathoverflow.net/questions/10086/the-category-of-representations-of-a-group/10089#10089 Answer by José Figueroa-O'Farrill for The Category of Representations of a Group José Figueroa-O'Farrill 2009-12-30T02:46:47Z 2009-12-30T03:25:02Z <p>In what sense is \$SU(n)\$ a finite group? Perhaps your question is about compact (including finite) groups? In that case, the representation theory is very well understood. For compact groups, my favourite reference is the book by Bröcker and tom Dieck <a href="http://books.google.com/books?id=AfBzWL5bIIQC" rel="nofollow">Represetations of compact Lie groups</a>. Section II.7 describes the representation ring in general and introduces the Adams operations,... and then Section VI.5 contains the structure of the representation rings for the simply-connected classical Lie groups.</p> <p><hr /></p> <p>I should have added that the representations only form a semiring under direct sum and tensor product. The representation ring is obtained from this by the standard Grothendieck construction. You essentially have to add so-called <em>virtual representations</em>.</p> <p>The book I mentioned does not treat the case of infinite-dimensional representations, though. Perhaps someone here can say more about this case.</p> http://mathoverflow.net/questions/10086/the-category-of-representations-of-a-group/10092#10092 Answer by Grétar Amazeen for The Category of Representations of a Group Grétar Amazeen 2009-12-30T03:06:28Z 2009-12-30T03:47:11Z <p>In the finite case at least, the answer is yes. It is a tensor category, and one fundamental result is that the category of representations of G is equivalent, as tensor categories, to the category of \$\mathbb{C}G\$-modules, where \$\mathbb{C}G\$ is the group algebra. The same holds if you just look at the finite dimensional representations, and finite dimensional modules if I remember correctly.</p> <p>As for considering it as a ring, the answer is also yes, if you allow formal combinations of them (so called virtual representations) (thanks for pointing that out Jose and Qiaochu!). It has a basis the irreducible representations, and the multiplication is the tensor product, with the trivial representation as 1.</p> http://mathoverflow.net/questions/10086/the-category-of-representations-of-a-group/10094#10094 Answer by Akhil Mathew for The Category of Representations of a Group Akhil Mathew 2009-12-30T03:44:02Z 2009-12-30T03:44:02Z <p>The category Rep(G) is a symmetric tensor category, and it is a theorem that this structure determines G (Tannaka-Krein duality, but I'm not familiar with it). Each object is dualizable because there is a dual representation, from which appropriate evaluation and coevaluation maps can be constructed. The unital object is the trivial representation.</p> <p>(Incidentally, a symmetric tensor category is a kind of categorification of a commutative ring.)</p> <p>In the finite case, It is a fusion category because there are finitely many simple objects, there is rigidity as stated above, and because \$\mathbb{C}[G]\$ (or more generally \$k[G]\$ for \$k\$ a field of characteristic prime to the order of \$G\$) is a semisimple algebra (Maschke's theorem). Semisimplicity is also true for continuous finite-dimensional representations of compact groups by the same "averaging" argument used in Maschke's theorem, though the group algebra is not necessarily semisimple. In the finite group case, the number of simple objects is equal to the number of conjugacy classes in G. In the infinite group case, for instance, the rotation group \$SO(n)\$ has infinitely many irreducible finite-dimensional representations obtained by the action on the spherical harmonics of various degrees (i.e. harmonic polynomials restricted to the sphere). </p> <p>In the case of S_n, generators of this ring can be indexed by the Young diagrams of size n. The relations are given by the tensor product rules, and while the Pieri rule gives a special case of this, as far as I know, there is no a simple general way to express the tensor product of two representations associated to Young diagrams as a sum of Young diagrams.<br /> However, there are <a href="http://www.cs.ucsb.edu/~omer/DOWNLOADABLE/symmetric%5Fgroup85.pdf" rel="nofollow">apparently</a> algorithms to do this.</p>