The Unapologetic Mathematician

Mathematics for the interested outsider

Dimensions of Hom Spaces

Now that we know that hom spaces are additive, we’re all set to make a high-level approach to generalizing last week’s efforts. We’re not just going to deal with endomorphism algebras, but with all the \hom-spaces.

Given G-modules V and W, Maschke’s theorem tells us that we can decompose our representations as

\displaystyle\begin{aligned}V&\cong m_1V^{(1)}\oplus\dots\oplus m_kV^{(k)}\\W&\cong n_1V^{(1)}\oplus\dots\oplus n_kV^{(k)}\end{aligned}

where the V^{(i)} are pairwise-inequivalent irreducible G-modules with degrees d_i. I’m including all the irreps that show up in either decomposition, so some of the coefficients m_i or n_i may well be zero. This is not a problem, since it just means direct-summing on a trivial module.

So let’s use additivity! We find


Now to calculate these summands, we can pick a basis for V^{(i)} and V^{(j)} and use the same sorts of methods we did to calculate commutant algebras. We find that if i\neq jV^{(i)}\not\cong V^{(j)} — then there are no G-morphisms at all, even if we include multiplicities. On the other hand, if i=j we find that an intertwinor between m_iV^{(i)} and n_iV^{(i)} has the form M_{m_i,n_i}\boxtimes I_{d_i}, where M_{m_i,n_i} is an m_i\times n_i complex matrix. That is, as a vector space it’s isomorphic to the space of m_i\times n_i matrices.

We conclude


and its dimension is


Notice that any i for which m_i=0 or n_i=0 doesn’t count for anything.

As a special case, we consider the endomorphism algebra \mathrm{End}_G(V)=\hom_G(V,V). This time we assume that none of the m_i are zero. We find:


with dimension


Just like before, we can calculate the center, which goes summand-by-summand. Each summand is (isomorphic to) a complete matrix algebra, so we know that its center is isomorphic to \mathbb{C}. Thus we find that the center of \mathrm{End}_G(V) is the direct sum of k copies of \mathbb{C}, and so has dimension k.

As one last corollary, let V=V^{(1)} be irreducible and let W be any representation. Then we calculate the dimension of the \hom-space:


That is, the dimension of the space of intertwinors is exactly the multiplicity of V^{(1)} in the representation W.

October 12, 2010 - Posted by | Algebra, Group theory, Representation Theory


  1. […] something interesting to notice in our formulæ for the dimensions of spaces of intertwinors: they’re symmetric between the two […]

    Pingback by Hom Space Duals « The Unapologetic Mathematician | October 13, 2010 | Reply

  2. […] that this is very similar to the result we showed at the end of calculating the dimensions of spaces of morphisms. This is not a […]

    Pingback by Consequences of Orthogonality « The Unapologetic Mathematician | October 25, 2010 | Reply

  3. […] irreps stay distinct, equivalent ones lose their separate identities in the sum. Indeed, we’ve seen […]

    Pingback by Subspaces from Irreducible Representations « The Unapologetic Mathematician | November 10, 2010 | Reply

  4. […] we know that , and thus the dimension of our space of invariants is the dimension of the space. We’ve seen that this is the multiplicity of the trivial representation in , which we’ve also seen is the […]

    Pingback by The Dimension of the Space of Tensors Over the Group Algebra « The Unapologetic Mathematician | November 16, 2010 | Reply

  5. […] the Specht modules are irreducible, we know that the dimension of this space is the multiplicity of in . And the dimension, of course, is the […]

    Pingback by Kostka Numbers « The Unapologetic Mathematician | February 17, 2011 | Reply

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 )

Connecting to %s

%d bloggers like this: