Index Concordia

Group theory – Week 04

Posted in Group theory by Index Guy on September 28, 2007

During this week we study the Dirac group and its representations. Recall that the order g of the Dirac group is

g = 2^{n+1},

with n being the number of spacetime dimensions. We will consider separate cases when n is either even or odd. The number of classes r depends on n:

  • for n even, r = 2^{n} + 1 and
  • for n odd, r = 2^{n} + 2.

This can be understood by doing a few examples. The general result is this: the identity and the negative of the identity form individual classes, and then we have one class for +/- each member of the group. The subtlety lies on the “last” element, \displaystyle\gamma_{1}\gamma_{2}...\gamma_{n}: for even n it forms a class together with it’s negative, but for odd dimensions they form separate classes.

Note that the center of the group only has 2 elements,

C(G) = \left\{e, -e\right\}.

The number of one-dimensional representations can be found by finding the ratio of the order of the group G to the order of the center C(G):

\dim{G} / \dim{C(G)} = 2^{n}.

With this result we can find the dimension of the spinor representation by using some of the theorems from last week. Recall that the order of the group is given by the sum of the squares of the dimension of each irreducible representation. For even spacetime dimensions we have

g = \displaystyle\sum_{i = 1}^{r} d_{i}^{2} = 2^{n} + \chi^{2} = 2^{n+1}, \Rightarrow \chi = 2^{n/2}.

This is the number of components of spinors in n spacetime dimensions. For odd dimension we have

g = \displaystyle\sum_{i = 1}^{r} d_{i}^{2} = 2^{n} + \chi^{2} +\xi^{2} = 2^{n+1}.

This equation has a solution when

\chi = \xi = 2^{[n/2]}.

The square brackets denote the integer part. So we have two inequivalent representations. An explanation for this comes from the fact that in odd dimensions the last Dirac matrix \gamma_{n} is proportional to the product of the others. We fix the constant of proportionality such that \gamma_{n}^{2} = 1. There are always two choices.

An example: the Dirac matrices in 3 dimensions look like

\gamma_{1} = \sigma_{1}, \gamma_{2} = \sigma_{2} and \sigma_{3} = \pm i\gamma_{1} \gamma_{2}.

We will write this result as a theorem:

  • In odd dimensions n one gets an inequivalent irreducible representation from the another irreducible representation by changing the sign of one of the Dirac matrices, usually \gamma_{n}.

We now discuss faithful irreducible representations. First we mention the claim:

  • If and only if a group G is simple then all, non-trivial irreducible representations are faithful.

Here is the proof. Let N be an invariant subgroup of G, so that we can have the group G/N. Then we can find representation +1 on N and -1 on the rest. Remember that any homomorphism has a kernel when there is an invariant subgroup. If this happens then the representation is unfaithful, which means that if the map from the group to the unit is not one-to-one, then some elements will be many-to-one.

Some other important remarks:

  • Every group has at least one reducible faithful representation.
  • Not every group has a faithful irreducible representation.

Next we come to the charge conjugation matrices. Consider the Dirac matrices in even-dimensional Euclidean space. They satisfy the Clifford algebra,

\left\{\gamma_{I}, \gamma_{J}\right\} = 2\delta_{IJ} and \left\{\gamma^{T}_{I}, \gamma^{T}_{J}\right\} = 2\delta_{IJ}.

Out of nowhere we mention that Stony Brook University will not graduate someone who does not know that a normal matrix M obeys MM^{\dagger} = M^{\dagger}M and it is always diagonalizable.

The charge conjugation matrices C_{\pm} are defined by

\pm \gamma_{I}^{T} = C_{\pm}\gamma_{I}C_{\pm}^{-1}.

For even n dimensions one can write

C_{-} = C_{+} \gamma_{c} with \gamma_{c} = \gamma_{1} ... \gamma_{n} the chiral matrix.

The square of the chiral matrix is equal to the unit matrix. For odd dimensions we do not have a chiral matrix (it will be proportional to the identity matrix) and there will only be only one of the charge conjugation matrices. Some properties of C_{\pm}:

  • When both C_{\pm} exists, they will be either both symmetric or both antisymmetric,
  • the definition of the charge conjugation matrices can be written as \left[(C_{\pm}^{-1})^{T}C_{\pm}, \gamma_{I}\right] = 0.

With the charge conjugation matrices in our minds we mention Schur’s lemmas:

  1. Given an irreducible representation with matrices D_{g}, any matrix M with \left[M, D_{g}\right] = 0 for all group elements can be written as proportional to the identity matrix.
  2. If D_{1} and D_{2} are two irreducible representations (with matrices m x m and n x n respectively) and there exist a rectangular matrix M that intertwine the two representations



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

%d bloggers like this: