# Representation theory of the Galilean group

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

The spacetime symmetry group of nonrelativistic quantum mechanics is the Galilean group. In 3+1 dimensions, this is the subgroup of the affine group on (t,x,y,z) whose linear part leaves invariant both the metric$\left(g_\left\{mu u\right\}\right) = diag\left(1,0,0,0\right)$ and the (independent) dual metric$\left(g^\left\{mu u\right\}\right) = diag\left(0,1,1,1\right)$. A similar definition applies for n+1 dimensions.

We are interested in projective representations of this group, which are 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.

:$\left[E,P_i\right] =0$:$\left[P_i,P_j\right] =0$:$\left[L_\left\{ij\right\},E\right] =0$:$\left[C_i,C_j\right] =0$:$\left[L_\left\{ij\right\},L_\left\{kl\right\}\right] =ihbar \left[delta_\left\{ik\right\}L_\left\{jl\right\}-delta_\left\{il\right\}L_\left\{jk\right\}-delta_\left\{jk\right\}L_\left\{il\right\}+delta_\left\{jl\right\}L_\left\{ik\right\}\right]$:$\left[L_\left\{ij\right\},P_k\right] =ihbar \left[delta_\left\{ik\right\}P_j-delta_\left\{jk\right\}P_i\right]$:$\left[L_\left\{ij\right\},C_k\right] =ihbar \left[delta_\left\{ik\right\}C_j-delta_\left\{jk\right\}C_i\right]$:$\left[C_i,E\right] =ihbar P_i$:$\left[C_i,P_j\right] =ihbar Mdelta_\left\{ij\right\}$

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. The mass shell invariant

:$ME-\left\{P^2over 2\right\}$

is a second Casimir invariant. In 3+1 dimensions, a third Casimir invariant is $W^2$ where:$vec\left\{W\right\} = M vec\left\{L\right\} + vec\left\{P\right\} imesvec\left\{C\right\}$.

More generally, in n+1 dimensions, invariants will be a function of $W_\left\{ij\right\} = M L_\left\{ij\right\} + P_i C_j - P_j C_i$ and $W_\left\{ijk\right\} = P_i L_\left\{jk\right\} + P_j L_\left\{ki\right\} + P_k L_\left\{ij\right\}$, as well as of the mass shell invariant and central charge.

Using Schur's lemma, in an irreducible unitary representation, each of these Casimir invariants are multiples of the identity. Let's call these coefficients "m" and "mE"0 and (in the case of 3+1 dimensions) "w" respectively. Remember we are 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.

In 3+1 dimensions, when "m">0, for the third invariant, we can write, $w = ms$, where $s$ is the represents the spin, or intrinsic angular momentum. More generally, in n+1 dimensions, the generators L and C will be related, respectively, to the total angular momentum and center of mass moment by:$W_\left\{ij\right\} = M S_\left\{ij\right\}$:$L_\left\{ij\right\} = S_\left\{ij\right\} + X_i P_j - X_j P_i$:$C_i = M X_i - P_i t$where:$P^2 t = vec\left\{C\right\}.vec\left\{P\right\}$.

From a purely representation theoretic point of view, we'd have to study all of the representations, but we are 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 $\left(E,vec\left\{P\right\}\right)$ space with the constraint

:$mE=mE_0+\left\{P^2 over 2\right\},$

we find the boosts act transitively on this hypersurface. In fact, treating the energy E as the Hamiltonian, differentiating with respect to P, and applying Hamilton's equations, we obtain the mass-velocity relation $mvec\left\{v\right\} = vec\left\{P\right\}$. The hypersurface is parametrized by the velocity $vec\left\{v\right\}$.

Look at the stabilizer of a point on the orbit, ("E"0, 0), corresponding to where the velocity is 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.) It is spanned by "E", $vec\left\{P\right\}$, "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 Eugene 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"0 + "P"2/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 "s", a nonnegative integer multiple of one half. 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"0 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-\left\{P^2 over 2\right\}=\left\{-P^2 over 2\right\}$

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).

The case where the invariant is negative requires additional comment. This corresponds to the representation class for "m" = 0 and non-zero $vec\left\{P\right\}$. Extending the bradyon, luxon, tachyon classification from the representation theory of the Poincaré' group to an analogous classification, here, one may term these states as "synchrons". They represent an instantaneous transfer of non-zero momentum across a (possibly large) distance. Associated with them is a 'time' operator:$t=-\left\{vec\left\{P\right\}.vec\left\{C\right\} over P^2\right\}$which may be identified the time of transfer. These states are naturally interpreted as the carriers of instantaneous action-at-a-distance forces.

In the 3+1-dimensional Galilei group, the boost generator may be decomposed into:$vec\left\{C\right\} = \left\{vec\left\{W\right\} imesvec\left\{P\right\} over P^2\right\} - vec\left\{P\right\}t$with $vec\left\{W\right\}$ playing a role analogous to helicity.

ee also

* Representation theory of the Poincaré group
* Wigner's classification
* Representation theory of the diffeomorphism group
* Rotation operator

Wikimedia Foundation. 2010.

### Look at other dictionaries:

• Representation theory of the Poincaré group — In mathematics, the representation theory of the double cover of the Poincaré group is an example of the theory for a Lie group, in a case that is neither a compact group nor a semisimple group. It is important in relation with theoretical… …   Wikipedia

• Galilean transformation — The Galilean transformation is used to transform between the coordinates of two reference frames which differ only by constant relative motion within the constructs of Newtonian physics. This is the passive transformation point of view. The… …   Wikipedia

• Theory — The word theory has many distinct meanings in different fields of knowledge, depending on their methodologies and the context of discussion.In science a theory is a testable model of the manner of interaction of a set of natural phenomena,… …   Wikipedia

• Orthogonal group — Group theory Group theory …   Wikipedia

• Lorentz group — Group theory Group theory …   Wikipedia

• General linear group — Group theory Group theory …   Wikipedia

• Lie group — Lie groups …   Wikipedia

• Lie algebra representation — Lie groups …   Wikipedia

• Symplectic group — For finite groups with all characteristc abelian subgroups cyclic, see group of symplectic type. Group theory …   Wikipedia

• Simple Lie group — Lie groups …   Wikipedia