Both Schur’s Lemma and the Schur Orthogonality relations are part of the basic foundation of representation theory. However, the connection between them is not always emphasized and the Orthogonality relations are proven more computationally.
The standard proofs of the relations never made sense to me, however there is very direct way to derive them from Schur’s Lemma (which makes perfect sense to me!) and simple facts about projections on vector spaces. More importantly, it gives a categorical interpretation of the inner product. I think this approach should be emphasized way more than it currently is and I hope this post will go a tiny way towards fixing that.
Throughout this post, will denote irreducible representations of a finite group such that . In other words, the characteristic of our field does not divide the order of the group. For a representation , I will denote it’s character by .
Also, will denote the representation of linear maps between while will denote the representation of linear maps that respect the – action. In fact, . That is, the linear maps fixed by are precisely the maps that respect the – structure as can be easily verified.
Recall that the Schur orthogonality relations state the following:
Theorem 1 [Schur Orthogonality Relations]:
It expresses the inner product of two irreducible representations simply in terms of whether or not the two representation s are isomorphic. We do not lose anything by restricting to irreducible representations since the general case follows simply by the bilinear properties of the inner product.
As mentioned above, we will prove this using just Schur’s Lemma and a simple observation about projections of vector spaces. Recall Schur’s Lemma:
Lemma 1 [Schur’s Lemma]:
Proof: The proof of this is very simple and follows from the idea that the kernel and image of a map between representations are themselves representations. Since were assumed to be irreducible, Schur’s lemma pops out immediately.
Note the remarkable similarity with the orthogonality relations. The second observation we will need it the following:
Lemma 2: For any representation of , the operator from is in fact a projection of onto , the subspace fixed by . Also, for any projection , the trace of is equal to the dimension of it’s image.
Proof: The proof is again very easily verified. One simply has to check that fixes and that the image is fixed by . The second statement can be proved by taking a basis of and extending it to .
As simple as the above two lemmas are, they are all we will need. Let us apply the second observation taking and take the trace of the projection operator .
In fact, we will have established the following general theorem (not requiring that be irreducible any longer):
Our proof shows it for irreducible representations but note that both sides are bilinear in .
Compared to the standard proof (in say Serre), this proof is very conceptual and factors the orthogonality relations into Theorem 2 and Schur’s Lemma. In fact, Theorem 2 is of great interest by itself. For instance, one can prove the Frobenius Reciprocity theorem extremely easily from what we have shown.
The proof runs as follows: Let be a map of groups. Note that representations of over are the same as modules over . Let be the induced representation functor and be the restriction functor.
It is easy to show that in fact correspond to the usual pullback and pushforward on modules and the usual adjunction (Tensor-Hom in this case) shows:
Applying theorem 2 to this after taking dimensions on both sides, we end up with:
which is one way of writing the Frobenius reciprocity theorem.
Ultimately, I think the value of this approach is twofold:
- This proof clarifies that what we should really be interested in is .
- We have given a categorical interpretation to the inner product. That is, the inner product is in fact a representation and even more, it is the Hom-set in the category of representations over and therefore the category of representations is enriched over itself. This eventually leads to the idea of Tannakian categories.