¿La representación 1+31+3\bf{1+3} de SU(2)SU(2)SU(2) también representa SU(2)×SU(2)SU(2)×SU(2)SU( 2)\veces SU(2)?

Estoy un poco confundido acerca de este siguiente problema relacionado con las representaciones de S tu ( 2 ) .

Denote por 1 la representación unidimensional del grupo S tu ( 2 ) (= el giro 0). Del mismo modo, denote con 2 y 3 las representaciones bidimensionales (espín 1/2) y tridimensionales (espín 1), respectivamente. También, denota por ( j , j ) la representación de S tu ( 2 ) × S tu ( 2 ) dada por el producto tensorial de j representación con el j representación. Por la suma del momento angular, sabemos que ( 2 , 2 ) = 1 + 3 , donde el signo + denota el producto directo de dos representaciones. Pero como 1 y 3 representan el mismo grupo S tu ( 2 ) , también lo hace su suma directa (una representación reducible). De ello se deduce que 1 + 3 es una representación de ambos S tu ( 2 ) y S tu ( 2 ) × S tu ( 2 ) . ¿Estoy en lo correcto?

Físicamente, estás girando ambos giros simultáneamente y, por lo tanto, tienes una representación de SU (2) y no de SU (2) × SU(2)!

Respuestas (2)

Su texto de teoría de grupos probablemente lo traicionó si no dedicó mucho tiempo a contrastar los dos casos. Una pregunta posiblemente relacionada es 254461 . La gente usa lenguaje suelto y símbolos que agravan la confusión. ¡Hablar de manera abstracta sin fórmulas prácticas explícitas lo resuelve (la confusión)!

Permítanme ceñirme a sus matrices y vectores de 4 dimensiones, todos los productos tensoriales de matrices de 2x2 y 2 vectores en ambos casos.

  • Un grupo tensor-producto (producto cartesiano) como S tu ( 2 ) × S tu ( 2 ) tiene elementos de grupo del tipo Exp ( i θ a σ a ) × Exp ( i ϕ b τ b ) , donde estoy usando σ s y τ s para las matrices de Pauli que actúan en los espacios izquierdo y derecho, respectivamente --- son manzanas y naranjas, piense en ellas como rotaciones de espín y rotaciones de isospín. Están uno al lado del otro. Es importante destacar que sus ángulos de rotación son diferentes y absolutamente no relacionados, θ para rotaciones de espacio/espín y φ para rotaciones de isospín. Puede combinarlos en un espacio de 4 dim sobre el que actúan matrices de 4 × 4, sin absolutamente ningún significado. Fundamentalmente, eligió una de las muchas posibilidades para su grupo. El grupo isospin podría haber sido reemplazado por un grupo de sabor diferente, digamos SU (3), entonces, entonces S tu ( 2 ) × S tu ( 3 ) y tendría Gell-Mann λ s en lugar de τ s y su φ s ahora sería 8.

  • Esto es muy diferente de un producto de Kronecker de dos representaciones de SU (2), por lo que el mismo grupo, aquí elegido para ser de dos representaciones de doblete: sumando dos spin 1/2 s. El elemento del grupo puede estar actuando en dos espacios diferentes, izquierdo y derecho, pero con los mismos ángulos , como la natación sincronizada,       Exp ( i θ a σ a ) Exp ( i θ a τ a ) . Podrías haber elegido espacios de diferentes tamaños para la izquierda y la derecha, pero los generadores en el exponente siempre deben ser matrices de representación del mismo SU(2) en la representación de tu elección, con el mismo ángulo. Para ver esto, considere el coproducto en matemático, a saber

    Δ ( j a ) = σ a 1 1 + 1 1 τ a .
    Es fácil ver que este coproducto obedece a la misma álgebra de Lia que la representación , izquierda o derecha, aquí elegidas para ser ambas matrices de Pauli, "accidentalmente", por usted. Por lo que entonces Δ ( j a ) es una buena representación de SU(2). Saturarlo con tres ángulos y exponenciarlo para obtener el elemento de grupo,
    Exp ( i θ a Δ ( j a ) ) = Exp ( i θ a ( σ a 1 1 + 1 1 τ a ) ) = Exp ( i θ a σ a ) Exp ( i θ a τ a ) ,
    donde los términos izquierdo y derecho en el exponente se conmutan entre sí, y así los factores exponenciales a dos exponenciales que actúan en los espacios izquierdo y derecho, respectivamente, en tándem . Ahora resulta que la repetición de 4 dim de la Δ ( j a ) s es reducible. Es decir, si la escribiéramos como una matriz de 4×4, sería reducible: es decir, una adecuada transformación de semejanza (Clebsch-Gordan) la transformaría en una matriz de bloques; aquí, un poco tonto, ya que tendría un bloque de 3 × 3 y un bloque de 1 × 1 con cero entradas, ya que las matrices de giro para el representante de singlete son 0. El bloque de 3 × 3 sería solo las matrices de espín uno, j a . La acción del grupo en este espacio 3+1 reorganizado sería     Exp ( i θ a j a ) 1 , ya que exp( i θ 0)=1, muy excepcionalmente. Esto sucedería, por supuesto, para todos los productos de Kronecker de cualquier representante , no solo para las matrices de Pauli del ejemplo elegido. Así que aquí tiene sentido reorganizar el espacio del producto tensorial, ya que facilita la reducción de las repeticiones.

  • Para llevar: mire los ángulos --- los parámetros de transformación: cuando está combinando grupos, cada grupo tendrá diferentes, incluso si los dos grupos coinciden. Ahora estás listo para enfrentarte a los representantes del grupo Lorentz: ¡diferentes grupos, muchos ángulos! Si, en cambio, estás combinando repeticiones, los ángulos son los mismos, tantos como la dimensionalidad del grupo/álgebra de Lie, pero nunca más.

Supongo que lo que te falta es lo siguiente:

dada una representación ρ ( gramo ) de gramo SU(2) actuando sobre algún espacio vectorial V . Definimos la representación ρ de SU(2) ( no de SU(2) × SU(2) ) en V V como

ρ ( gramo ) ( v 1 v 2 ) = ρ ( gramo ) v 1 ρ ( gramo ) v 2 .
De hecho, estamos definiendo el producto tensorial de dos representaciones como una representación de SU(2).

@ Pero, también puedo mirar a un representante. de SU(2)*SU(2), definida como sigue: Sea p una repetición. de SU(2) en un espacio vectorial V , y sea l de SU(2)*SU(2). Entonces l=(g,h) para algunos g y h en SU(2). Defina el representante. p' de SU(2)*SU(2), en el espacio vectorial V*V (producto tensorial de espacio vectorial), por p'(l)=p(g)*p(h) (producto tensorial de matriz). Cuando agregamos dos partículas de espín 1/2, tratamos a los dos operadores de espín como si no estuvieran relacionados y no requerimos que ambos operen simultáneamente. ¿Por qué entonces no es mi representante. ¿lo que es correcto?
@Lior: si los dos giros no están relacionados, la representación no se factoriza en 1+3, pero es irreducible en sí misma.
Pero no entiendo en qué parte del proceso de agregar dos giros 1/2 exigimos que los dos giraran juntos. Empezamos con dos representaciones bidimensionales de SU(2), cada una de las cuales tiene como generadores las matrices de 2x2 Six , Siy , Siz (i=1,2). Como estábamos interesados ​​en el sistema de dos espines, tomamos el producto tensorial de estos dos espacios vectoriales. Esto significa que necesitamos extender los generadores a Six*I , I*Six ( i=1,2 y I es la matriz unitaria 2x2). ¡Así que obtuvimos los 6 generadores de SU(2)*SU(2)!
En el comentario anterior quise escribir que necesitamos extender los generadores a S1x*I , S1y*I , S1z*I , I*S2x , I*S2y , I*S2z (I es la matriz unitaria 2x2).
Además, en el tratamiento tradicional de la suma de dos espines, especificamos el estado de dos espines mediante los números cuánticos |j1,m1,j2,m2>. m1 y m2 son dos números cuánticos diferentes, lo que significa que son valores propios de dos operadores diferentes. Estos operadores son precisamente S1z I y I S2z mencionados en el comentario anterior. Si usáramos en su lugar S1z*S2z, tendríamos solo un número cuántico para usar.
@Lior: No estoy seguro de entender su declaración. Típicamente en la mecánica cuántica uno mira la acción de S = S 1 + S 2 para determinar qué espín establece el producto tensorial | metro 1 , metro 2 tener. Esto corresponde debido a Exp ( S ) = Exp ( S 1 ) Exp ( S 2 ) para rotar simultáneamente ambos giros.
@Lior: De sus preguntas QFT, infiero que podría estar familiarizado con la simetría quiral. Los dos SU(2) en el producto tensorial equivalen a rotaciones independientes con diferentes ángulos . Si elige identificarlos, entonces tendría una diagonal SU (2), un subgrupo vectorial (isospin) de la misma. En ese caso, de manera perversa, obtendrías "natación sincronizada", una irrep de j , solo si j = j' . Entonces, un fermión doblete izquierdo y un fermión doblete derecho se combinan en un fermión vector iso-doblete. Entonces, sí, puede hablar sobre un término isosinglete ψbarψ en la acción y un operador isovectorial ψbar τ ψ.
@Lior: Creo que en el centro de su confusión es que el producto directo de Kronecker A ⊗ A involucrado en la suma de momentos angulares, y el producto tensorial A × A de dos grupos, aquí elegidos como iguales, pueden actuar sobre espacios de la misma dimensionalidad una vez que establezca su representación, por lo que, si están representados por matrices, los espacios vectoriales sobre los que actúan son de la misma dimensionalidad. El primero involucra solo un ángulo , el ángulo de rotación del espín que transforma la representación combinada del grupo de espín. El segundo involucra dos ángulos , a menos que te concentres en una subálgebra como se describe arriba.