Group Theory and Physics

I’m posting late yet again. I seem to be making a habit of it, hopefully I’ll pull myself together eventually, but I’m going to back off on my goal of a weekly post for a bit. For now, I’m going to talk group theory and physics, as the title suggests. We’ll begin with the math.

Generally, when people talk about group theory in the context of physics, what they have in mind is representation theory. In fact, the Standard Model is built on the edifice of representations of Lie Groups. However, we’re going to talk about finite groups.

So the question is what is a representation? Turns out, this is simple. Let V be a finite dimensional vector space over \mathbb{C} and let G be a group. Then a representation of G on V is a homomorphism \rho:G\to GL(V). We then say that the representation of G has dimension \dim V. Another way to think about it is that a representation of G is an action of G on a vector space V. From here on, we will think of group elements as being the same as linear operators on V.

Our representation \rho is reducible if there is a proper subspace W\subset V such that \forall g\in G, g\cdot W\subseteq W. Otherwise it is irreducible. Also, the direct sum of two representations \rho:G\to GL(V),\eta:G\to GL(W) is a representation \phi:G\to GL(V\oplus W) which projects to the original representations. A wonderful theorem of representation theory is that every representation of a finite group is that every representation is equivalent to a direct sum of irreducibles, so we only need to understand the irreducible ones. (Here, equivalent means that they are the same up to a change of basis.)

Now that we know what a representation is, we define the character of a representation to be the function \chi:G\to \mathbb{C} that takes an element g to \mathrm{tr}(\rho(g)). A cool fact about characters is that given two representations \rho,\tau, then \chi_\rho=\chi_\tau if and only if \rho=\tau. Another cool fact is the orthogonality relation, that is, \sum_{g\in G} \chi_{\rho}(g)^*\chi_{\tau}(g)=|G|\delta_{\rho\tau}, so this sum is the order of the group if the characters are the same, but is zero otherwise!

Characters have other good properties too. For one thing, they are constant on conjugacy classes, and so we can compute them if we only have one element from each class. Better, if we know the characters of the irreducible representations, and of a specific representation, we can use them to decompose it, because that character will just be a sum of the irreducible characters.

Direct sums let us break up a representation into smaller ones, and there’s another operation, called the tensor product, that allows us to build two representations into a bigger one. In fact, if \rho has dimension n and \tau has dimension m, then \rho\otimes\tau has dimension n+m. I’m not going to go into the details of tensor products right now, but I will say one thing: the character of a tensor product is the product of the characters. That is, \chi_{\rho\otimes \tau}=\chi_\rho\chi\tau. This allows us to break up tensor products whenever we need to.

We need one last thing before doing some physics, and that’s the projection operator. As we can use characters to break up a representation into irreducibles, the projection operator will be the operator that maps the whole representation space onto the subspace that is invariant under a specific irreducible representation. Characters give us a decent formula for this, which is P_\rho=\frac{n_\rho}{|G|}\sum_{g\in G} \chi_\rho (g)^*\rho(g), where n_\rho is the number of times the irreducible representation appears.

And with that, it’s on to the physics!

Consider the “simple” physical system of three identical masses connected by three identical springs in an equilateral triangle (this example can actually be done for n masses and n springs in a regular n-gon). What are the normal modes of this system? We will solve this problem mostly by looking at how the system can transform, ie, its symmetries. The symmetry group of an equilateral triangle is known as D_3, and so this is the group we will be looking at. The system has six degrees of freedom, the x and y coordinates of each block. We can break this up into a two dimensional space (x,y) and a three dimensional space (the blocks) which must transform according to D_3, so we will need a two and a three dimensional representation of the group.

Before continuing, we need to look at the group in more detail. D_3 consists of six elements, which can be written as permutations in cycle form as e=(),a_1=(123),a_2=(132),a_3=(12),a_4=(23),a_5=(13), which multiplication table given by composition of permutations. Now we can describe the two representations we need, call them \rho_2 and \rho_3, for the dimensions. \rho_3 is actually given by three by three permutation matrices, which I will not bother to write out, so that leaves \rho_2, which is described below:

\rho_2(e)=I, \rho_2(a_1)=\left(\begin{array}{cc}-\frac{1}{2}&-\frac{\sqrt{3}}{2}\\\frac{\sqrt{3}}{2}&-\frac{1}{2}\end{array}\right), \rho_2(a_2)=\left(\begin{array}{cc}-\frac{1}{2}&\frac{\sqrt{3}}{2}\\-\frac{\sqrt{3}}{2}&-\frac{1}{2}\end{array}\right), \rho_2(a_3)=\left(\begin{array}{cc}-1&0\\ 0 &1\end{array}\right), \rho_2(a_4)=\left(\begin{array}{cc}\frac{1}{2}&\frac{\sqrt{3}}{2}\\\frac{\sqrt{3}}{2}&-\frac{1}{2}\end{array}\right), \rho_2(a_5)=\left(\begin{array}{cc}\frac{1}{2}&-\frac{\sqrt{3}}{2}\\-\frac{\sqrt{3}}{2}&-\frac{1}{2}\end{array}\right)

It turns out that D_3 only has three irreducible representations: the trivial representation (which character identically 1), the alternating representation (which character 1 except on a_3,a_4,a_5 where is is -1) and \rho_2. So now we take the tensor product \rho_2\otimes \rho_3 and get a six dimensional representation. Without showing you the gory details, I’m going to assert that this has character equal to 6 on the identity and zero elsewhere, and so this representation contains the trivial one once, the alternating one once, and \rho_2 twice. So the projectors onto the two one-dimensional represnetations will be one dimensional.

Again, sparing you the gory details, these two projectors can be factored into a column vector multiplied by its transpose, specifically we get P_0=(\frac{1}{2},\frac{\sqrt{3}}{6},-\frac{1}{2},\frac{\sqrt{3}}{6},0,-\frac{1}{\sqrt{3}}). Recalling that the coordinates come in pairs for each mass, this is the “breathing mode” where the triangle grows and shrinks. For P_1, we get the vector (-\frac{\sqrt{3}}{6},\frac{1}{2},-\frac{\sqrt{3}}{6},-\frac{1}{2},\frac{1}{\sqrt{3}},0), which is the rotational mode.

So there are two normal modes for free from the group theory! Now we must use physics, as the projector onto \rho_2 has rank 4, and that’s not so easy to decompose. However, the physics gives us two modes that are easy to determine: translation in the x and y directions. Subtracting them off, we end up with the six by six matrix

\left(\begin{array}{cccccc}\frac{1}{3}&0&-\frac{1}{6}&-\frac{\sqrt{3}}{6}&-\frac{1}{6}&\frac{\sqrt{3}}{6}\\ 0 &\frac{1}{3}&\frac{\sqrt{3}}{6}&-\frac{1}{6}&-\frac{\sqrt{3}}{6}&-\frac{1}{6}\\-\frac{1}{6}&\frac{\sqrt{3}}{6}&\frac{1}{3}& 0 &-\frac{1}{6}&-\frac{\sqrt{3}}{6}\\-\frac{\sqrt{3}}{6}&-\frac{1}{6}& 0 &\frac{1}{3}&\frac{\sqrt{3}}{6}&-\frac{1}{6}\\-\frac{1}{6}&-\frac{\sqrt{3}}{6}&-\frac{1}{6}&\frac{\sqrt{3}}{6}&\frac{1}{3}& 0 \\\frac{\sqrt{3}}{6}&-\frac{1}{6}&-\frac{\sqrt{3}}{6}&-\frac{1}{6}& 0 &\frac{1}{3}\end{array}\right)

So what do we do to find the normal modes here? There should be two left. Well, we multiply by the vector (0,0,0,0,0,1) to see what happens if we set the bottom mass in motion up. We get (\frac{\sqrt{3}}{2},-\frac{1}{6},-\frac{\sqrt{3}}{6},-\frac{1}{6},0,\frac{1}{3}), which means that the bottom mass is moving up, and the two on top are moving down and out, sort of squashing the triangle flat and then returning. We get another normal mode by doing the same thing but rotated by 120 degrees.

And so, we see that group theory gives the normal modes of the spring system. Though I’d love to take credit for this example, it’s from Georgi’s “Lie Algebras in Particle Physics.” I think that next time I’ll get back to geometry, after the last couple of algebraic posts.

About these ads

About Charles Siegel

Charles Siegel is currently a postdoc at Kavli IPMU in Japan. He works on the geometry of the moduli space of curves.
This entry was posted in Group Theory, Mathematical Physics. Bookmark the permalink.

4 Responses to Group Theory and Physics

  1. Thomas Love says:

    Charlie wrote: “Generally, when people talk about group theory in the context of physics, what they have in mind is representation theory. ”

    There are other uses of group theory in physics, for instance anti- de Sitter Space is the homogeneous space SO(3,2)/SO(3,1) which can be complexified to the complex spacetime SU(3,2)/SU(3,1) xU(1). Many other models based on group theory are in the literature.

  2. Charles says:

    Oooh, I didn’t know that. Looks like it’s time for me to learn about anti-deSitter space. You wouldn’t happen to have a good reference, would you?

  3. Thomas Love says:

    Almost everything is in Robert Gilmore’s Lie Groups, Lie algebras and some of their applications. I’ll look for something better.

  4. Thomas Love says:

    Gilmore is writing a new book on Lie Groups, the even numbered chapters are at:

    http://www.physics.drexel.edu/~bob/LieGroups.html

    It may not be the best but it is free (for now)

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com 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