Schur’s Lemma and the Schur Orthogonality Relations.

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, V,W will denote irreducible representations of a finite group G such that |G| \neq 0 \in k. In other words, the characteristic of our field does not divide the order of the group.  For a representation N, I will denote it’s character by \chi_N.

Also, Hom(V,W) will denote the representation of linear maps between V,W while Hom_G(V,W) will denote the representation of linear maps that respect the G– action. In fact, Hom_G(V,W) = Hom(V,W)^G. That is, the linear maps fixed by G are precisely the maps that respect the G– structure as can be easily verified.

Recall that the Schur orthogonality relations state the following:

Theorem 1 [Schur Orthogonality Relations]:

\langle\chi_V,\chi_W \rangle := \frac{1}{|G|}\sum_{g\in G}\overline{\chi_V(g)}\chi_W(g) = \begin{cases} 1 & V \cong W\\ 0 & V \not\cong W \end{cases}         


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]:                         Hom_G(V,W) = \begin{cases} k & V \cong W\\ 0 & V \not\cong W \end{cases} 

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 V,W 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 M of G, the operator P = \frac{1}{|G|}\sum_{g\in G}g from M \to M is in fact a projection of M onto M^G, the subspace fixed by G. Also, for any projection P, the trace of P is equal to the dimension of it’s image.

Proof: The proof is again very easily verified. One simply has to check that P fixes M^G and that the image is fixed by G. The second statement can be proved by taking a basis of M^G and extending it to M.

As simple as the above two lemmas are, they are all we will need. Let us apply the second observation taking M = Hom_G(V,W) and take the trace of the projection operator P.

In fact, we will have established the following general theorem (not requiring that V,W be irreducible any longer):

Theorem 2:

\langle \chi_V,\chi_W\rangle = \dim Hom_G(V,W)

Our proof shows it for irreducible representations but note that both sides are bilinear in (V,W).


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 f: H \to G be a map of groups. Note that representations of H,G over k are the same as modules over k[H],k[G]. Let f^*: Rep_H \to Rep_G be the induced representation functor and f_*: Rep_G \to Rep_H be the restriction functor.

It is easy to show that in fact f^*,f_* correspond to the usual pullback and pushforward on modules and the usual adjunction (Tensor-Hom in this case) shows:

Hom_G(f^*V,W) = Hom_H(V,f_*W) .

Applying theorem 2 to this after taking dimensions on both sides, we end up with:

\langle f^*\chi_V, \chi_W\rangle = \langle \chi_V,f_*\chi_W \rangle

which is one way of writing the Frobenius reciprocity theorem.


Closing Remarks:

Ultimately, I think the value of this approach is twofold:

  1. This proof clarifies that what we should really be interested in is the dimension of Hom_G(V,W).
  2. 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 G!



Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s