Representation theory of the Galilean group - Definition

In nonrelativistic quantum mechanics, an account can be given of the existence of mass and spin as follows:

The spacetime symmetry group of nonrelativistic mechanics is the Galilean group. Since we're interested in projective representations of this group, which is equivalent to unitary representations of the nontrivial central extension of the universal covering group of the Galilean group by the one dimensional Lie group R, refer to the article Galilean group for the central extension of its Lie algebra. We will focus upon the Lie algebra here because it is simpler to analyze and we can always extend the results to the full Lie group thanks to the Frobenius theorem.

<math>[E,P_i]=0<math>

<math>[P_i,P_j]=0<math>

<math>[L_{ij},E]=0<math>

<math>[C_i,C_j]=0<math>

<math>[L_{ij},L_{kl}]=i\hbar [\delta_{ik}L_{jl}-\delta_{il}L_{jk}-\delta_{jk}L_{il}+\delta_{jl}L_{ik}]<math>

<math>[L_{ij},P_k]=i\hbar[\delta_{ik}P_j-\delta_{jk}P_i]<math>

<math>[L_{ij},C_k]=i\hbar[\delta_{ik}C_j-\delta_{jk}C_i]<math>

<math>[C_i,E]=i\hbar P_i<math>

<math>[C_i,P_j]=i\hbar M\delta_{ij}<math>

If you think about how spatial and time translations, rotations and boosts work, these relations are intuitive (except for the central extension).

The central charge M is of course a Casimir invariant.

<math>ME-{P^2\over 2}<math>

is another Casimir invariant. Using Schur's lemma, an irreducible unitary representation would have both of these Casimir invariants as multiples of the identity. Let's call these coefficients m and mE₀ respectively. Remember we're talking about unitary representations here, which means these values have to be real. So, m>0, m=0 and m<0. The last case is similar to the first. from a purely representation theoretic point of view, we'd have to study all of them, but we're interested in applications to quantum mechanics here. There, E represents the energy, which has to be bounded from below if we require thermodynamic stability. Consider first the case where m is nonzero. If we look at the <math>(E,\vec{P})<math> space with the constraint

mE=mE₀+P²/2,

we find the boosts act transitively upon this subsurface. Look at the stabilizer of a point on the orbit, (E₀,0). Because of transitivity, we know the unitary irrep contains a nontrivial subspace with these energy-momentum eigenvalues. (This subspace only exists in a rigged Hilbert space because the momentum spectrum is continuous, but that's not an essential detail except to mathematicians) It is spanned by E, <math>\vec{P}<math>, M and L_ij. We already know how the subspace of the irrep transforms under all but the angular momentum. Note that the rotation subgroup is Spin(3). We have to look at its double cover because we're considering projective representations. This is called the little group, a name given by Wigner. The method of induced representations tells us the irrep is given by the direct sum of all the fibers in a vector bundle over the mE=mE₀+P²/2 hypersurface whose fibers are a unitary irrep of Spin(3). Spin(3) is none other than SU(2). See representation theory of SU(2). There, it is shown the unitary irreps of SU(2) are labeled by an nonnegative integer multiple of half, s. This is called the spin, due to historical reasons. So, we have shown for m not equal to zero, the unitary irreps are classified by m, E₀ and a spin s. Looking at the spectrum of E, we find that if m, the mass, is negative, the spectrum of E is not bounded from below. So, only the case with a positive mass is physical.

Now, let's look at the case where m=0. Because of unitarity,

ME-P²/2=-P²/2

is nonpositive. Suppose it is zero. Here, the boosts and the rotations form the little group. So, any unitary irrep of this little group also gives rise to a projective irrep of the Galilean group. As far as we can tell, only the case which transforms trivially under the little group has any physical interpretation and it corresponds to the no particle state (vacuum). Now suppose it is negative instead. Then, the energy isn't bounded from below, which renders it unphysical.

See also representation theory of the Poincaré group, Wigner's classification, representation theory of the diffeomorphism group