The Unapologetic Mathematician

Mathematics for the interested outsider

Intertwiner Spaces

Another grading day, another straightforward post. It should come as no surprise that the collection of intertwining maps between any two representations forms a vector space.

Let’s fix representations \rho:A\rightarrow\mathrm{End}(V) and \sigma:A\rightarrow\mathrm{End}(W). We already know that \hom_\mathbb{F}(V,W) is a vector space. We also know that an intertwiner f\in\hom_{\mathbf{Rep}_\mathbb{F}(A)}(\rho,\sigma) can be identified with a linear map f\in\hom_\mathbb{F}(V,W). What I’m asserting is that f\in\hom_{\mathbf{Rep}_\mathbb{F}(A)}(\rho,\sigma) is actually a subspace of f\in\hom_\mathbb{F}(V,W) under this identification.

Indeed, all we really need to check is that this subset is closed under additions and under scalar multiplications. For the latter, let’s say that f is an intertwiner. That is, \left[\sigma(a)\right]\left(f(v)\right)=f\left(\left[\rho(a)\right](v)\right). Then given a constant c\in\mathbb{F} we consider the linear map cf we calculate

\displaystyle\begin{aligned}\left[\sigma(a)\right]\left(\left[cf\right](v)\right)=\left[\sigma(a)\right]\left(cf(v)\right)\\=c\left[\sigma(a)\right]\left(f(v)\right)\\=cf\left(\left[\rho(a)\right](v)\right)\\=\left[cf\right]\left(\left[\rho(a)\right](v)\right)\end{aligned}

And so cf is an intertwiner as well.

Now if f and g are both intertwiners, satisfying conditions like the one above, we consider their sum f+g and calculate

\displaystyle\begin{aligned}\left[\sigma(a)\right]\left(\left[f+g\right](v)\right)=\left[\sigma(a)\right]\left(f(v)+g(v)\right)\\=\left[\sigma(a)\right]\left(f(v)\right)+\left[\sigma(a)\right]\left(g(v)\right)\\=f\left(\left[\rho(a)\right](v)\right)+g\left(\left[\rho(a)\right](v)\right)\\=\left[f+g\right]\left(\left[\rho(a)\right](v)\right)\end{aligned}

Which shows that f+g is again an intertwiner.

Since composition of intertwiners is the same as composing their linear maps, it’s also bilinear. It immediately follows that the category \mathbf{Rep}_\mathbb{F}(A) is enriched over \mathbf{Vect}_\mathbb{F}.

Advertisements

December 11, 2008 Posted by | Algebra, Representation Theory | 1 Comment

Math and Philosophy

An aspiring philosopher of mathematics got hold of my post on categorification, and it’s leading to (what I find to be) an interesting discussion of how Hume’s Principle fits into the story, and just what the Peano axioms (not to mention “the natural numbers”) mean. Follow along (or jump in!) at if-then knots — an excellent title, in my opinion.

December 10, 2008 Posted by | Uncategorized | Leave a comment

Direct Sums of Representations

We know that we can take direct sums of vector spaces. Can we take representations \rho:A\rightarrow\mathrm{End}(V) and \sigma:A\rightarrow\mathrm{End}(W) and use them to put a representation on V\oplus W? Of course we can, or I wouldn’t be making this post!

This is even easier than tensor products were, and we don’t even need A to be a bialgebra. An element of V\oplus W is just a pair (v,w) with v\in V and w\in W. We simply follow our noses to define

\displaystyle\left[\left[\rho\oplus\sigma\right](a)\right](v,w)=\left(\left[\rho(a)\right](v),\left[\sigma(a)\right](w)\right)

The important thing to notice here is that the direct summands V and W do not interact with each other in the direct sum V\oplus W. This is very different from tensor products, where the tensorands V and W are very closely related in the tensor product V\otimes W. If you’ve seen a bit of pop quantum mechanics, this is exactly the reason quantum system exhibit entanglement while classical systems don’t.

Okay, so we have a direct sum of representations. Is it a biproduct? Luckily, we don’t have to bother with universal conditions here, because a biproduct can be defined purely in terms of the morphisms \pi_i and \iota_i. And we automatically have the candidates for the proper morphisms sitting around: the inclusion and projection morphisms on the underlying vector spaces! All we need to do is check that they intertwine representations, and we’re done. And we really only need to check that the first inclusion and projection morphisms work, because all the others are pretty much the same.

So, we’ve got \iota_1:V\rightarrow V\oplus W defined by \iota_1(v)=(v,0). Following this with the action on V\oplus W we get

\displaystyle\left(\left[\rho(a)\right](v),\left[\sigma(a)\right](0)\right)=\left(\left[\rho(a)\right](v),0\right)

But this is the same as if we applied \iota_1 to \left[\rho(a)\right](v). Thus, \iota_1 is an intertwiner.

On the other hand, we have \pi_1:V\oplus W\rightarrow V, defined by \pi_1(v,w)=v. Acting now by \rho we get \left[\rho(a)\right](v), while if we acted by \rho\oplus\sigma beforehand we’d get

\displaystyle\pi_1\left(\left[\rho(a)\right](v),\left[\sigma(a)\right](w)\right)=\left[\rho(a)\right](v)

Just as we want.

The upshot is that taking the direct sum of two representations in this manner is a biproduct on the category of representations.

December 9, 2008 Posted by | Algebra, Representation Theory | 2 Comments

The Zero Representation

Okay, this is going to sound pretty silly and trivial, but I’ve been grading today. There is one representation we always have for any group, called the zero representation \mathbf{0}.

Pretty obviously this is built on the unique zero-dimensional vector space \mathbf{0}. It shouldn’t be hard to convince yourself that \mathrm{GL}(\mathbf{0}) is the trivial group, and so any group G has a unique homomorphism to this group. Thus there is a unique representation of G on the vector space \mathbf{0}.

We should immediately ask: is this representation a zero object? Suppose we have a representation \rho:G\rightarrow\mathrm{GL}(V). Then there is a unique arrow 0:V\rightarrow\mathbf{0} sending every vector v\in V to 0\in\mathbf{0}. Similarly, there is a unique arrow 0:\mathbf{0}\rightarrow V sending the only vector 0\in\mathbf{0} to the zero vector 0\in V. It’s straightforward to show that these linear maps are intertwinors, and thus that the zero representation is indeed a zero object for the category of representations of G.

This is all well and good for groups, but what about representing an algebra A? This can only make sense if we allow rings without unit, which I only really mentioned back when I first defined a ring. This is because there’s only one endomorphism of the zero-dimensional vector space at all! The endomorphism algebra will consist of just the element 0:\mathbf{0}\rightarrow\mathbf{0}, and a representation of A has to be an algebra homomorphism to this non-unital algebra. Given this allowance, we do have the zero representation, and it’s a zero object just as for groups. It’s sort of convenient, so we’ll tacitly allow this one non-unital algebra to float around just so we can have our zero representation, even if we allow no other algebras without units.

December 8, 2008 Posted by | Algebra, Representation Theory | 12 Comments

Subrepresentations and Quotient Representations

Today we consider subobjects and quotient objects in the category of representations of an algebra A. Since the objects are representations we call these “subrepresentations” and “quotient representations”.

As in any category, a subobject \sigma (on the vector space W) of a representation \rho (on the vector space V) is a monomorphism f:\sigma\rightarrow\rho. This natural transformation is specified by a single linear map f:W\rightarrow V. It’s straightforward to show that if f is to be left-cancellable as an intertwinor, it must be left-cancellable as a linear map. That is, it must be an injective linear transformation from W to V.

Thus we can identify f with its image subspace f(W)\subseteq V. Even better, the naturality condition means that we can identify the \sigma action of A on W with the restriction of \rho to this subspace. The result is that we can define a subrepresentation of \rho:A\rightarrow\mathrm{End}(V) as a subspace of V so that \rho(a) actually sends W into itself for every a\in A. That is, it’s a subspace which is fixed by the action \rho.

If \sigma is a subrepresentation of \rho, then we can put the structure of a representation on the quotient space V/W. Indeed, note that any vector in the quotient space is the coset v+W of a vector v\in V. We define the quotient action using the action on V: \left[\left[\rho/\sigma\right](a)\right](v+W)=\left[\rho(a)\right](v)+W. But what if v'=v+w is another representative of the same coset? Then we calculate:

\displaystyle\begin{aligned}\left[\left[\rho/\sigma\right](a)\right](v'+W)=\left[\rho(a)\right](v')+W\\=\left[\rho(a)\right](v+w)+W\\=\left[\rho(a)\right](v)+\left[\rho(a)\right](w)+W\\=\left[\rho(a)\right](v)+W\\=\left[\left[\rho/\sigma\right](a)\right](v+W)\end{aligned}

because \rho(a) sends the subspace W back to itself.

December 5, 2008 Posted by | Algebra, Representation Theory | 7 Comments

Some Symmetric Group Representations

Tuesday, we talked about tensor powers of the standard representation of \mathrm{GL}(V). Today we’ll look at some representations of the symmetric group S_n and see how they’re related.

We start by looking at the nth tensor power V^{\otimes n}. Now since the category of vector spaces is symmetric, we get a representation of the symmetric group S_n. Indeed, we just use the element of the symmetric group to permute the tensorands. That is, given \sigma\in S_n and a pure tensor v_1\otimes...\otimes v_n\in V^{\otimes n} we define the representation \pi by

\left[\pi(\sigma)\right]\left(v_1\otimes...\otimes v_n\right)=v_{\sigma(1)}\otimes...\otimes v_{\sigma(n)}

Indeed, it’s straightforward to check that \pi(\sigma)\pi(\tau)=\pi(\sigma\tau), given the convention we’ve picked for symmetric group composition.

This representation of S_n on V^{\otimes n} is almost trivial, so why do we care? Well, it turns out that every single one of the transformations in the representation commutes with the action of \mathrm{GL}(V) on V^{\otimes n}! Indeed, because of the way we defined the group to act on the tensor powers by doing the exact same thing to each tensorand, we can shuffle around the tensorands and get the same result. If you’re still not convinced, write out the square that needs to commute and verify both compositions.

In fact, there’s a really beautiful theorem (that I’m not about to prove here (yet)) that says the situation is even nicer. Let’s consider specifically V=\mathbb{C}^k — a finite-dimensional vector space over the complex numbers. Then the representations of (the group algebras of) S_n and \mathrm{GL}_k(\mathbb{C}) determine subalgebras (call them A and B, respectively) of the endomorphism algebra \mathrm{End}\left(\left(\mathbb{C}^k\right)^{\otimes n}\right). And each one is the “centralizer” of the other. That is, A is the subalgebra consisting of all algebra elements of \mathrm{End}\left(\left(\mathbb{C}^k\right)^{\otimes n}\right) which commute with every element of B, and vice-versa. This situation is called “Schur-Weyl duality”, and it turns out to be fantastically useful in studying representations of both the symmetric groups and the general linear groups.

December 4, 2008 Posted by | Algebra, Representation Theory | 3 Comments

Some Representations of the General Linear Group

Sorry for the delays, but it’s the last week of class and everyone came back from the break in a panic.

Okay, let’s look at some examples of group representations. Specifically, let’s take a vector space V and consider its general linear group \mathrm{GL}(V).

This group comes equipped with a representation already, on the vector space V itself! Just use the identity homomorphism \mathrm{GL}(V)\rightarrow\mathrm{GL}(V) We often call this the “standard” or “defining” representation. In fact, it’s easy to forget that it’s a representation at all. But it is.

As with any other group, we have dual representations. That is, we immediately get an action of \mathrm{GL}(V) on V^*. And we’ve seen it already! When we talked about the coevaluation on vector spaces we worked out how a change of basis affects linear functionals. What we found is that if \rho(g) is our action on V, then the action on V^* is by the transpose — the dual — of \rho(g)^{-1}=\rho\left(g^{-1}\right). And this is exactly the dual representation.

Also, as with any other group, we have tensor representations — actions on the tensor power V^{\otimes n}=V\otimes...\otimes V for any number n of factors of V. How does this work? Well, every vector in V\otimes...\otimes V is a linear combination of vectors of the form v_1\otimes...\otimes v_n, where each v_k\in V. And we know how to act on these: just act on each tensorand separately. That is,

\displaystyle\left[\rho(g)\right](v_1\otimes...\otimes v_n)=\left[\rho(g)\right]\left(v_1\right)\otimes...\otimes\left[\rho(g)\right]\left(v_n\right)

Then we just extend this action by linearity to all of V^{\otimes n}.

December 2, 2008 Posted by | Algebra, Linear Algebra, Representation Theory | 7 Comments

    Next Entries »