3
$\begingroup$

Given a finite group G, its complexified ring of finite-dimensional complex representations is isomorphic to its algebra of class functions, by the trace map $\mathrm{Tr}_\rho: g \mapsto \mathrm{Tr}(\rho(g))$. These class functions can in turn can be shown to correspond to the elements in the center of the group algebra, by sending a class function $c:G \to \mathbb{C}$ to the element $\sum_{g \in G} c(g) \cdot g$ in the group algebra.

This map from class functions to the group algebra isn't a ring homomorphism. In particular, it doesn't preserve the unit. However, I'm pretty sure that the representation ring and the center of the group algebra are nevertheless isomorphic as algebras. Am I right? Even better, is there a canonical such homomorphism with some group-theoretical importance?

$\endgroup$
7
  • 3
    $\begingroup$ They should be canonically dual, if anything. Both are Hopf algebras and the multiplication on one corresponds to the comultiplication on the other. $\endgroup$ Jun 2, 2010 at 23:11
  • $\begingroup$ See perhaps section 6.3 of Serre. $\endgroup$
    – Steve D
    Jun 2, 2010 at 23:47
  • 2
    $\begingroup$ The two algebras are finite dimensional semisimple (check that they do not have nilpotents, for example) and commutative of the same dimension, so they are isomorphic. $\endgroup$ Jun 3, 2010 at 2:09
  • 2
    $\begingroup$ (Serre is, in all likelyhood, Serre's book on representations of finite groups in Steve's comment---as far as I know Serre himself is not divided in sections!) $\endgroup$ Jun 3, 2010 at 2:10
  • $\begingroup$ @Mariano: LOL, yes that's what I meant. The isomorphism is constructed there, but it isn't canonical. $\endgroup$
    – Steve D
    Jun 3, 2010 at 4:07

2 Answers 2

6
$\begingroup$

Off the top of my head: the representation ring is really indexed by the set of irreps (well, OK, a set of representatives from equivalence classes thereof) and is indeed commutative and semisimple (at least over the complex numbers) so isomorphic to an appropriate direct product of copies of the ground field.

The centre of the group algebra is the (sub)algebra of class functions, so is most naturally indexed by the set of conjugacy classes. Again, it is commutative and semisimple so is isomorphic to a direct product of the appropriate number of copies of the ground field.

Thus, while I agree that the two algebras are isomorphic when you have a finite group, the isomorphisms seems quite heinously uncanonical -- if I am correct in recalling the maxim that there is no canonical bijection between the set of conjugacy classes and a representative set of irreps.

I also have the feeling that if there were some "canonical" homomorphism from the representative ring to the group ring in the case of finite groups, then there should be some analogue for compact groups or abelian groups. But this seems not to be the case: consider, for example, the group of integers with its usual additive structure.

$\endgroup$
6
  • $\begingroup$ Thanks for that comment, Yemon. I have a vague feeling that the Fourier transform should provide just such a canonical homomorphism, but the details are slipping through my fingers at present. $\endgroup$ Jun 2, 2010 at 23:46
  • $\begingroup$ Jamie: different multiplication in general, I think. (I am more familiar with all this in the context of Fourier algebras and L^1-convolution algebras, but when the group is finite this word "Banach" can be dropped largely without qualm.) Convolution of class functions (on the group algebra side) would be taken by the Fourier transform to the pointwise product -- and we know that isn't how the representation ring works, because the "product" of two irreps in that ring is the formal decomposition of their tensor product as a combination of irreps, not the "Kronecker delta" product. $\endgroup$
    – Yemon Choi
    Jun 3, 2010 at 0:10
  • $\begingroup$ The Fourier transform should provide a homomorphism between L^2(one thing) and L^2(the other), roughly speaking, not between the two things themselves. $\endgroup$ Jun 3, 2010 at 3:25
  • $\begingroup$ But since everything is finite, $L^2(L^2(X)) \simeq X$ --- so what's the distinction? $\endgroup$ Jun 3, 2010 at 10:44
  • $\begingroup$ Jamie, that is not true of most $X$s! Consider. for example, the case where $X=\{p\}$ is a one elemnt set. $\endgroup$ Jun 3, 2010 at 13:53
1
$\begingroup$

The centre of the group algebra has also a basis indexed by irreducible representations, the basis of central irreducible idempotents. But the corresponding natural linear map is not an isomorphism (irreducibles are not usually idempotents) unless you the group is an elementary abelian 2-group. So the natural map is some sort of Fourier transformation as pointed out by Qiaochu.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.