Fundamentalmente, el espín se origina en el hecho de que queremos que nuestros campos cuánticos se transformen bien bajo transformaciones de Lorentz.
Matemáticamente, se puede empezar a construir el representaciones del grupo de Lorentz como sigue: Los generadores $M^{\mu \nu}$ puede expresarse en términos de los generadores de rotaciones $J^{i}$ y los de los impulsos $K^{i}$ . Cumplen $$ [J^{i}, J^{j}] = i \epsilon_{ijk} J^k, \, [K^i, K^j] = -i \epsilon_{ijk} J^k,\, [J^i, K^j] = i \epsilon_{ijk} K^k.$$ A partir de ellos se pueden construir los operadores $M^i = \frac{1}{\sqrt{2}} (J^i + i K^i)$ et $N^i = \frac{1}{\sqrt{2}} (J^i - i K^i)$ . Cumplen $$[M^i, N^j] = 0,\, [M^i, M^j] = i \epsilon_{ijk} M^k \, [N^i, N^j] = i \epsilon_{ijk} N^k$$ Estas son sólo las relaciones para el momento angular que deberías conocer de tu curso introductorio de QM. Desde el punto de vista de la teoría de grupos, esto significa que cada representación del grupo de Lorentz puede caracterizarse por dos números enteros de medio número $(m, n)$ . Si construyes las transformaciones explícitamente encontrarás
- $(m = 0, n = 0)$ es un escalar, es decir, no cambia bajo LT.
- $(m = 1/2, n = 0)$ es un espinor de Weyl zurdo
- $(m = 0, n = 1/2)$ es un espinor de Weyl diestro
- $(m = 1/2, n = 1/2)$ es un vector
Un espinor de Dirac es una combinación de un espinor de Weyl derecho y otro izquierdo.
En realidad, ahora se pueden utilizar estos objetos y tratar de encontrar términos invariantes de Lorentz para construir una lagrangiana. A partir de esa construcción (que es demasiado larga para este post) se encuentra que la ecuación de Dirac es la única ecuación de movimiento sensata para un espinor de Dirac, ¡simplemente a partir de las propiedades del grupo de Lorentz! Del mismo modo se encuentra la ecuación de Klein-Gordon para escalares y así sucesivamente. (Incluso se pueden construir objetos de mayor espín que los vectores, pero éstos no tienen aplicación física, excepto quizás en las teorías de supergravedad).
Así que, como puedes ver ahora, el espín es fundamentalmente una propiedad del grupo de Lorentz. Es natural que encontremos partículas con espín distinto de cero en nuestro mundo invariante de Lorentz.
Nota: Dado que encontramos las ecuaciones de Dirac y Klein-Gordon a partir de la invariancia de Lorentz solamente, y su límite de baja energía es la ecuación de Schroedinger, obtenemos también una "derivación" de la ecuación de Schroedinger. La mayoría de las veces, la SE se postula simplemente y se trabaja con ella: ¡de ahí sale!