How to tell if a representation must be a product representation?

81 Views Asked by At

In Howard Georgi's Lie Algebras in Particle Physics, 2nd Edition, p. 26-onwards, the author of that book considers a system of three equal masses linked together by identical springs as an illustrative example of tensor products and product representations.

However, something he writes greatly confuses me. From the aforementioned work:

"Three blacks are connected by springs in a triangle [...] Suppose that these are free to slide on a frictionless surface. What can we say about the normal modes of this system. The point is that these is an $S_3$ symmetry of the system, and we can learn a lot about the system by using the symmetry and applying theorem 1.6. The system has 6 degrees of freedom, described by the $x$ and $y$ coordinates of the three blocks: \begin{equation} \begin{pmatrix} x_1 & y_1 & x_2 & y_2 & x_3 & y_3 \end{pmatrix} \end{equation} This has the structure of a tensor product $-$ the 6 dimensional space is a product of a 3 dimensional space of the blocks, and the 2 dimensional space of the $x$ and $y$ coordinates."

From this, Georgi seems to draw the conclusion that the representation of the normal modes must be a tensor product of a 3 dimensional representation and a 2 dimensional representation.

I fail to see how this follows. Surely Georgi cannot be saying that if the solution space has the form of a tensor product, then the representation of the transformations of the solution space must have the form of a product representation? Because, we are looking at 6 data points here, and indeed, $\mathbb{R}^6 \cong \mathbb{R}^3 \otimes \mathbb{R}^2$, but surely Georgi cannot be suggesting that every system with 6 data points must transform as a product representation of a 3 dimensional representation and a 2 dimensional representation? Or is he?

Specifically, given a physical system, akin to the one in Georgi, or in the most general case, how can one tell whether the representation of the system must be a product representation or not, and how does one tell specifically what the "factor representations" must be?