Giro de medio entero y rotaciones infinitesimales

En P. 692 de 'Quantum Mechanics' de Cohen-Tannoudji, afirma que:

Toda rotación finita se puede descomponer en un número infinito de rotaciones infinitesimales, ya que el ángulo de rotación puede variar continuamente, y ya que:

R tu ( α + d α ) = R tu ( α ) R tu ( d α ) = R tu ( d α ) R tu ( α ) ,

dónde R tu ( d α ) es una rotación infinitesimal sobre el eje tu . Así, el estudio del grupo de rotación puede reducirse a un examen de rotaciones infinitesimales.

Aquí, R tu ( α ) representa una rotación geométrica , es decir, actúa sobre el espacio de coordenadas 3 , y con él está asociado un operador de rotación R ( α ) que actúa sobre el espacio de estados.

En particular, usa esta formulación con rotaciones infinitesimales para luego mostrar que el operador de rotación para una rotación infinitesimal sobre tu es:

R tu ( d α ) = 1 i d α j tu ,

dónde j es el operador de momento angular total. A partir de esto, se puede demostrar que el operador de rotación para algún ángulo finito es:

R tu ( α ) = mi i α j tu .

Un ejemplo bien conocido de tal operador de rotación es cuando j = S , es decir, el momento angular consiste solo en espín, y cuando s sólo se permite tomar valores semienteros, como 1 2 o 3 2 . En este caso, se puede demostrar que R tu ( 2 π ) = 1 , en vez de + 1 , como se obtiene en el caso de partículas de espín entero.

Cohen-Tannoudji explica esto en parte por el hecho de que construimos nuestro operador de rotación de ángulo finito a partir de una composición de operadores de rotación infinitesimales, con la nota al pie:

Sin embargo, limitándonos a rotaciones infinitesimales, perdemos de vista una propiedad 'global' del grupo de rotación finito: el hecho de que una rotación a través de un ángulo de 2 π es la transformación de la identidad. Los operadores de rotación construidos a partir de operadores infinitesimales no siempre tienen esta propiedad global. En ciertos casos (y aquí se refiere a partículas de espín-1/2), el operador asociado con un 2 π la rotación no es el operador unitario sino su opuesto.

No me queda inmediatamente claro a partir de la construcción que dio por qué los posibles valores de j y el hecho de que usamos operadores infinitesimales para construir uno finito debe estar relacionado. ¿Cómo surge esta relación?

¿Qué quiere decir exactamente con "posibles valores de j ?" ¿Te refieres a los elementos de la matriz? ¿O te refieres a j , el momento angular de la partícula?
Perdón por la confusion; Quiero decir j .

Respuestas (2)

Diferentes grupos de Lie pueden tener el mismo (hasta el isomorfismo) álgebra de Lie. Este es el caso de, digamos, S O ( 3 ) y S tu ( 2 ) , siendo este último la cubierta universal de 2 del primero. Cuando te dan un álgebra de mentira gramo y quieres integrarlo a un grupo de Lie GRAMO teniendo gramo como álgebra de Lie, terminarás con un grupo simplemente conectado. Por lo tanto, si comienzas con S O ( 3 ) y determinar su álgebra de Lie s o ( 3 ) s tu ( 2 ) , su integración te dará S tu ( 2 ) , que está simplemente conectado y, de hecho, es la cubierta 2 de S O ( 3 ) .

Digamos que no conocías la mecánica cuántica y no tenías idea de qué es un espinor. Te dan un "operador" que gira las cosas. Una de las suposiciones más básicas que hará es que una rotación de 2 π no cambia nada Esto es realmente bastante razonable.

Como dijo @Phoenix87, podemos identificar S tu ( 2 ) tiene un álgebra de Lie isomorfa a la de S O ( 3 ) . Encontramos que para todo entero y medio entero j existe un S tu ( 2 ) irrep

R tu ( j ) ( α ) = Exp ( i α tu j ( j ) )
La interpretación física de j es el momento angular de la partícula. Este es un operador de rotación .

Ingenuamente uno esperaría

R tu ( j ) ( 2 π ) = 1
De hecho, esto es lo que encontramos cuando j es un número entero. Sin embargo cuando j es un medio entero, encontramos que una rotación de 2 π es 1 . Esto está más profundamente ligado a la noción de espinores . Uno puede demostrar que
R tu ( j ) ( 2 π ) = mi i 2 π j
vale para cualquier j .

De la forma infinitesimal del operador de rotación, esto no está claro. Necesitamos la versión finita.

Debo mencionar que tenemos una restricción topológica colocada sobre las rotaciones:

R ( 4 π ) = 1