Wednesday, 27 December 2006

rt.representation theory - Innocent question on tensor products of modular representations

Jim has already given the correct answer "no".



Here is a hopefully instructive example. Let k be an alg. closed field of pos. char p, and let G=SL2(k). Write V=k2 for the "natural" 2-dimensional representation of G say with basis e1,e2. Let W=SpV be the p-th symmetric power of V. Then W contains a 2 dimensional submodule A spanned by the p-th powers e1p and e2p; the module A is isom. to the "first Frobenius twist" of V.



It is an exercise to check that there is no G-stable complement to A in W; i.e. the SES
0toAtoWtoW/Ato0
is not split.
Thus
W is not completely reducible. Evidently there is a surjective mapping
VotimesptoW, thus also the p-th tensor power Votimesp is not completely
reducible.



But V is a simple (hence completely reducible) G-module; thus tensor powers of a completely reducible module are not in general completely reducible. In fact,
the (p1)-th tensor power Votimesp1 is completely reducible;
arguing as before, one sees that Votimes(Votimesp1) is not completely
reducible; thus in general the tensor product of two completely reducible modules
is not completely reducible.



I gave some further remarks about semisimplicity of tensor products in an answer to
this question.

No comments:

Post a Comment