## “Why” is every polynomial representation of SL(2) selfdual?

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Given a field $K$ of characteristic $0$. It seems to me that every finite-dimensional polynomial representation of $\mathrm{SL}_2\left(K\right)$ is self-dual (i. e., isomorphic to its dual). In fact, every representation of $\mathrm{SL}_2\left(K\right)$ is a direct sum of irreducible representations (since $\mathrm{SL}_2\left(K\right)$ is semisimple), and the irreducible representations are the canonical representations on $K\left[x,y\right]_n$ which are known to be self-dual. But is there a simpler proof without subdividing into irreducibles?

-
By the way, I am aware that for compact Lie groups, we have a Haar measure and we get an invariant bilinear form by integrating an arbitrary bilinear form. But there are things I don't like here: (1) This works only over $\mathbb R$, and we would still have to prove that all irreducible representations of $\mathrm{SL}_2\left(\mathbb C\right)$ are already defined over $\mathbb Q$. (2) $\mathrm{SL}_2$ is not compact and we would need Weyl's unitary trick to get it compact. I'm not sure whether it really preserves all representations. (3) I hate analysis and want to see it exterminated. :P – darij grinberg Sep 9 2010 at 12:19

1
I'm confused. How could it be possible to have a `canonical' choice for the isomorphism? Even if V is irreducible, this can't be done because (scalar) automorphisms of V act on such choices non-trivially. – t3suji Sep 9 2010 at 12:23
Uhm, yes. Sorry! I meant a canonical (up to scalar multiplication) choice. – darij grinberg Sep 9 2010 at 12:27

2
@darij grinberg: this does not help for reducible representations: again, consider the action of automorphisms on possible choices. – t3suji Sep 9 2010 at 12:31

1
Darij, you need to be a lot more clear from the get-go about the category of representations you are interested in. For example, any automorphism $\sigma$ of $K$ induces an automorphism of $SL_2(K)$ viewed as an abstract group; composing it with a representation $\rho$ that occurs in the tensor space gives one that does not, unless $\sigma$ or $\rho$ is trivial. (Borel and Tits proved some amazing results about "abstract" homomorphisms of algebraic groups which may imply that this is the only obstruction in char 0.) Of course, this is impossible in the category of rational representations. – Victor Protsak Sep 9 2010 at 16:01
show 7 more comments

## 4 Answers

Because its Weyl group contains -1.

For split semisimple groups in char 0, taking duals corresponds to acting by -1 on the weight lattice, where irreducible polynomial representations correspond to weights modulo the action of the Weyl group. So if -1 is in the Weyl group (acting on the weight lattice), then any (irreducible) representation is isomorphic to its dual. This includes the groups with Dynkin diagrams A1, Bn, Cn, Dn for n even, E7, E8, F4, G2 but not An for n>1, Dn for n odd and E6.

-

This is again a reduction to the irreducibles, but it gives a nice context. Thanks! – darij grinberg Sep 9 2010 at 14:32

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

I'm not sure that you can expect to avoid "subdividing into irreducibles", since the result is not true without semisimplicity. If $K$ has characteristic $p>0$, the $SL_2(K) = SL(V)$-representation on the $p+1$-dimensional space $\operatorname{Sym}^p(V)$ (the $p$th symmetric power of the natural 2 dim'l representation) is not self-dual.

-

Okay, this show that $\mathrm{char}K=0$ is important. But there is still hope for synthetic methods such as the embedding $\mathrm{Sym}^n V\to \otimes^n V$ which require zero characteristic. – darij grinberg Sep 9 2010 at 15:45

Here is a variant of Richard's answer. In the group $SU(2)$ every element is conjugate to its inverse. Hence the characters of a representation and its dual are the same. (Richard's answer is essentially this answer restricted to the torus, which is sufficient.)

To alleviate your concerns, smooth complex representations of $SU(2)$ and algebraic complex representations of $SL_2(\mathbb{C})$ are the same thing.

-

Oh, the character theory approach. But using character theory to prove representations isomorphic requires knowing that the group is semisimple, right? – darij grinberg Sep 9 2010 at 14:31
@darij grinberg: for $\chi_V=\chi_W$ to imply $V\cong W$ we don't need the group to be semisimple (in the sense of algebraic groups, i.e. its Lie algebra ..., since $\mathbb R$ is not algebraically closed anyway); all we need is that the (continuous) representation theory of the Lie group $SU(2)$ is semisimple, which comes from the fact that one can do integral w.r.t. the Haar measure on compact Lie groups.  – shenghao Mar 10 2011 at 23:53

The question itself and some of the comments seem out of focus to me, so let me add to what Richard and George write the following summary version of an answer. I'd stress that nothing here is really complicated or subtle to prove apart from the basic Cartan-Weyl classification and (in characteristic 0) complete reducibility for finite dimensional representations.

First, the group itself is defined and split over the prime field (here `$\mathbb{Q}$`), hence over any larger field. Chevalley's theory implies that the representations discussed here are absolutely irreducible over `$K$`. (For a semisimple group defined but not split over a field, more analysis is needed of representations which require a field extension to become absolutely irreducdible.)

Anyway, for a connected semisimple group the "rational" and "polynomial" representations are the same, unlike the reductive group GL`$(n,K)$`. The group also being simply connected in this case, the rational/polynomial representations are essentially those of the Lie algebra and are more easily classified by dominant integral highest weights in that setting. So each irreducible representation or simple module in question has a unique highest weight `$\lambda$`. The easy textbook criterion for such a module to be self-dual is just that `$\lambda = -w_0 \lambda$` where `$w_0$` is the longest element of the Weyl group. As Richard Borcherds points out, this is -1 just for simple types listed, including type `$A_1$`.

So far nothing really depends on characteristic 0. But as George McNinch observes, there are plenty of cases where nonsimple modules in prime characteristic fail to be completely reducible and are typically not self-dual. So you do need to invoke complete reducibility (and non-canonical direct sum decompositions) to dispose of the characteristic 0 question.

P.S. It's certainly possible to treat the rank 1 case here by direct ad hoc methods in characteristic 0, including the needed proof of complete reducibility (using the easily computed Casimir operator). For irreducible representations, self-duality is a trivial consequence of the fact that these representations are uniquely classified (up to isomorphism) by their dimensions 1, 2, 3, .... But such an ad hoc argument fails to provide much enlightenment. And the general theory allows one to see that the group representations and Lie algebra representations are essentially the same, whether the groups are regarded as Lie groups or algebraic groups (or just as abstract groups). Of course, finite dimensionality is a key point throughout, since the infinite dimensional representation theory involves harder questions.

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 31, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9357088804244995, "perplexity_flag": "head"}