Skip to Content »

Michi’s blog » Representation theory – basics

 Representation theory – basics

  • March 21st, 2007
  • 11:42 am

Many interesting groups have a very geometrical definition: transformations that fix certain symmetries is one of the historical origins of group theory.

Thus, one of the most interesting classes of finite groups are the rotation and reflection symmetries of a regular polygon. These are called D_n, for a n-sided polygon. Thus, for a triangle, we can label the corners a,b,c, reading clockwise, and enumerate the possible transformations by the positions the corners end up in. Thus we get the elements:
identity: abc -> abc
τ: abc -> bca (rotation by 120 degrees)
τ2: abc -> cab
σ: abc -> acb (reflection fixing a)
στ: abc -> bac
στ2: abc -> cba

Now, if we fix one equilateral triangle – say the one spanned by the points a=(1,0), b=(-\frac12,\frac{\sqrt3}2) and c=(-\frac12,-\frac{\sqrt3}2), then these transformations of the triangle can be extended to rotations and reflections of the entire 2-dimensional plane \mathbb R^2. As such, we can write down matrices for the group elements, starting with
\sigma=\begin{pmatrix}0&1\\1&0\end{pmatrix} and
\tau=\begin{pmatrix}\frac{\sqrt3}2 & -\frac12 \\ -\frac12 & -\frac{\sqrt3}2\end{pmatrix}
The rest of the group elements we can realize as matrices by just multiplying these with each other.

So now, all of a sudden, instead of just the abstract notion of a group, we have a bunch of transformations of a specific vector space. This is neat, interesting and well worth study. It gets even better since it turns out that we can tell a lot about the group itself by studying vector spaces that it acts on.

Representations of groups and rings

The example we just saw is one of the most obvious examples of a group representations. There are two kinds of representations very commonly used – one of them realizes the group as a geometric entity: a set of transformations on a vector space, and the other – the permutation representations – realizes the group as a bunch of permutations.

For this post, I’m going to ignore the permutation representations to a large extent, and instead focus on the vector space representations. These are a special case of a more general entity: the module over a ring. We can turn any group into a ring by considering linear combinations of the group elements as formal signs, and defining multiplication of two terms to be the product of the coefficients coupled with the product, in the group, of the group elements. Thus, for our D_3, above, we can form \mathbb RD_3 as the set of all expressions on the form
a_1\cdot 1+a_\tau\cdot\tau+a_{\tau^2}\cdot\tau^2+a_\sigma\cdot\sigma+
a_{\sigma\tau}\cdot\sigma\tau+a_{\sigma\tau^2}\cdot\sigma\tau^2
and in this, we get (2\cdot\tau+3\cdot\sigma)(5\cdot\tau^2+7\cdot\sigma\tau)=
10\cdot1+14\cdot\sigma+15\cdot\sigma\tau^2+21\cdot\tau

Now, we can view ordinary vector spaces over a field as a bunch of vectors, and a set of geometric transformations of them; namely “only” scaling. Multiplication by a scalar stretches the space. In this way, looking at modules over an algebra over a field is an easy extension: instead of only allowing stretching, we add other transformations, and require that these transformations cooperate in a way that is described by the ring we represent. Thus, we have some set of transformations of the space that correspond to the ring elements, and require that multiplying ring elements corresponds to composing transformations.

With the group ring described above, we thus get what we expect for the group ring modules: they have transformations corresponding to the elements of the group rings, and composing transformations corresponds to multiplying elements of the group ring.

The benefit of this level of abstraction is that all of a sudden, we can start building these geometric objects from other things than just groups: finitely presented algebras, quiver algebras, categories, partial orders – to just mention a few of the things we can study representations of. For each of these, the representation theory is the study of the structure of modules over the structures – i.e. ways to manipulate the space with elements from the structure.

But, for now, back to the group case. Given the example above, it’s not entirely clear whether all group elements must be distinct in the representation – so let me immediately state an answer to this: we only require group elements to be assigned to any linear transformation in a way that is coherent with the rest. Thus any group has the trivial representation, where any group element is mapped to the identity map of the vector space.

Ordinary contra modular representations

We distinguish between two types of representation theory: ordinary and modular. In the ordinary case, we have a lucky break, namely
Maschke’s theorem: If θ is a representation of a group G in a vector space V over a field k – i.e. a map that takes each group element to a linear map V->V, and the characteristic of k does not divide |G|, then any invariant subspace U in V has a complement W such that V=U\oplus W and the transformations from G keep inside each component.

This means, furthermore, that every matrix representing a group element can be written on a form with blocks chained along the diagonal and zeroes everywhere else

This has a couple of alternative formulations. One of the formulations that I like the most is that the higher Ext-groups always vanish if the characteristic of the field doesn’t divide the group order.

We can always have the case that we cannot find invariant subspaces under the group action – in this case we have what is called a simple module. By Maschke’s theorem, this is the same thing as being irreducible – which means that we cannot decompose it into a direct sum, or equivalently that the matrix representations have only one block, filling out the entire matrix. Thus the simple modules end up being the building blocks of modules – and Maschke’s theorem tells us that when we build modules, the building blocks remain distinct.

Because we have Maschke’s theorem for the ordinary case, things turn out to be reasonably easy, and we end up studying mainly the trace of the matrices that the group elements map to. This turns out to be independent of the basis choice for the space we’re looking at, and a very important invariant of nice representation situations – called the character.

Suppose the condition in Maschke’s theorem doesn’t hold. That is, we have a field k of characteristic p – so that in that field 0=1+1+…+1 (p times). Over this field, we throw up a vector space, and we make sure that a finite group with p dividing the group order has some sort of action on the vector space – i.e. we have transformations corresponding to the group elements.

We cannot trust that the simple modules glue together neatly – it’s throughout probable that they end up sticking together tighter than expected. All is not lost, however. First off, the ways that the simple modules can stick together are parametrized by the Ext-groups – or in topological terms, the cohomology of the group.

Over the coming time I will explore the modular representation theory in this blog – as I learn the details myself. If you follow these posts, I’ll tell you about decompositions of algebras, about Brauer characters – which is a way to adapt the character theory that ordinary representation theory is all about to the modular case, about blocks and most probably also about Donovan’s conjecture.

7 People had this to say...

Gravatar
  • Miles Gould
  • March 30th, 2007
  • 18:19

I’d have said that groups, partially ordered sets and (the free categories on) quivers are just special categories, and so the case of representations of categories both covers them all and is especially simple: a representation of a category C is just a functor C -> Vect_k (or Set, if you prefer).

But then, I would say that :-)

Good article – I particularly liked the bit about higher Ext groups measuring ways of sticking simple modules together. I’m always on the lookout for intuitive interpretations of homological gadgets like that.

By the way, did you see my recent post about monads and operads?

Gravatar
  • Michi
  • April 1st, 2007
  • 19:45

Sorry for the late comment approval – I had a short while without internet access over the weekend.

You have a very good point with the generality of representations: I’m probably going to put more emphasis on that in my next post – where I plan to talk about structure theorems for simple and semisimple algebras of various sorts – associative and Lie algebras end up having a very similar theory of simple modules and algebras.

The “sticking together” interpretation is closely coupled with a very graphical way to reason about representations that Benson &al have written a paper about. I need to understand that paper at some point, but the “sticking together” is what stuck so far.

As for monads/operads – I saw the post, but was listening to Jiri Matousek while reading it, so didn’t get around to commenting.

Gravatar

Miles: of course what you say is true, and it extends from there. Tangles form yet another kind of category, and the skein-theoretic approach to knot theory is nothing but the representation theory of those tangle categories.

Gravatar
  • Michi
  • April 1st, 2007
  • 20:06

John: Please, please, please give me more details about that! Sounds very interesting – and I -want- to know more about it!

Gravatar

Well, did you read the slides for my bracket extension talk that I posted March 17? That’s a case study right there.

[...] the elements of the structure as endomorphisms of some vectorspace. The attentive reader remembers my last post on the subject, where was given a group action by the rotations and reflections of a polygon [...]

[...] had, in my first representation theory post, a mention of Maschke’s theorem. This states that if the characteristic of our field divides [...]

Want your say?

* Required fields. Your e-mail address will not be published on this site

You can use the following XHTML tags:
<a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>