Now let’s narrow back in to representations of algebras, and the special case of representations of groups, but with an eye to the categorical interpretation. So, representations are functors. And this immediately leads us to the category of such functors. The objects, recall, are functors, while the morphisms are natural transformations. Now let’s consider what, exactly, a natural transformation consists of in this case.
Let’s say we have representations 
and 
. That is, we have functors 
and 
with 
, 
— where 
is the single object of 
, when it’s considered as a category — and the given actions on morphisms. We want to consider a natural transformation 
.
Such a natural transformation consists of a list of morphisms indexed by the objects of the category . But has only one object: . Thus we only have one morphism, 
, which we will just call 
.
Now we must impose the naturality condition. For each arrow 
in we ask that the diagram
commute. That is, we want 
for every algebra element 
. We call such a transformation an “intertwiner” of the representations. These intertwiners are the morphisms in the category of 
of representations of . If we want to be more particular about the base field, we might also write 
.
Here’s another way of putting it. Think of as a “translation” from 
to 
. If is an isomorphism of vector spaces, for instance, it could be a change of basis. We want to take a transformation from the algebra and apply it, and we also want to translate. We could first apply the transformation in , using the representation , and then translate to . Or we could first translate from to and then apply the transformation, now using the representation . Our condition is that either order gives the same result, no matter which element of we’re considering.
October 28, 2008
Posted by John Armstrong |
Category theory, Group theory, Representation Theory, Ring theory |
8 Comments
