¿Cómo se puede demostrar que la representación (1 / 2,0) x (0,1 / 2) del grupo Lorentz es una representación vectorial? ¿Por qué es que (1 / 2,0) x (1 / 2,0) no es uno?

La representación irreductible (1 / 2,1 / 2) del grupo Lorentz es el producto tensorial de las representaciones de spinor para zurdos (1 / 2,0) y diestros (0,1 / 2):
[matemáticas] \ left (\ frac {1} {2}, \ frac {1} {2} \ right) = \ left (\ frac {1} {2}, 0 \ right) \ otimes \ left (0, \ frac {1} {2} \ right). [/ math]

En la notación de spinor, un campo bajo esta representación tiene un índice de spinor sin puntuar (zurdo) y uno punteado (derecho): [matemática] P_ {a \ dot {a}} [/ matemática], y se llama bispinor .

La conexión entre bispinors y vectores espacio-temporales se realiza escribiendo los componentes de un bispinor (hermitiano) como una suma de matrices de Pauli por algún vector de coeficientes reales, o viceversa:
[matemáticas] P_ {a \ dot {a}} = p _ {\ mu} \ sigma_ {a \ dot {a}} ^ {\ mu} = \ left (\ begin {array} {cc}
p_ {0} + p_ {3} y p_ {1} -ip_ {2} \\
p_ {1} + ip_ {2} y p_ {0} -p_ {3}
\ end {array} \ right).
[/matemáticas]

Entonces es sencillo mostrar que [math] p _ {\ mu} [/ math] se transforma como un vector bajo Lorentz si y solo si [math] P_ {a \ dot {a}} [/ math] se transforma como un bispinor bajo Lorentz (prueba dejada como ejercicio para el lector).

Además, esta es la única combinación de representaciones de spinor que tiene esta propiedad.

¡Es una pregunta incorrecta!
En primer lugar, se escribe como una suma directa: [matemáticas] (\ frac {1} {2}, 0) \ bigoplus (0, \ frac {1} {2}) [/ matemáticas].
En segundo lugar, no es una representación vectorial , sino una representación bispinor del grupo Lorentz.
La representación del vector (4) del grupo Lorentz es [matemática] (\ frac {1} {2}, \ frac {1} {2}) [/ matemática].

EDITAR: Después de anónimo señaló que en realidad es un producto tensorial . Es posible demostrar que, de hecho, [math] (\ frac {1} {2}, 0) \ bigotimes (0, \ frac {1} {2}) [/ math] es una representación vectorial del grupo Lorentz.

Es porque en el nivel de álgebra de Lie, el grupo de Lorentz [matemáticas] SO (3,1) [/ matemáticas] es isomorfo a [matemáticas] SU (2) \ bigotimes SU (2) [/ matemáticas], de las cuales [ math] (\ frac {1} {2}, 0) \ bigotimes (0, \ frac {1} {2}) [/ math] es una representación. Y de ahí su equivalencia a [matemáticas] (\ frac {1} {2}, \ frac {1} {2}) [/ matemáticas]. Es por eso que también es una representación vectorial del grupo Lorentz.

Además de las razones dadas en las otras respuestas, un vector tiene propiedades de transformación bien definidas bajo paridad. Esto significa que P que actúa sobre un vector sigue siendo un vector. Un vector también es una representación irreducible. El vector tampoco es una representación spinor. Finalmente tiene 4 componentes.

El (1 / 2,0) x (1 / 2,0) = (1,0) + (0,0). Esto es reducible y el componente (1,0) solo tiene 3 componentes. El (1,0) no tiene propiedades de transformación bien definidas bajo paridad y cambia a una representación (0,1).

Por lo tanto, no tiene ninguna posibilidad de funcionar.

El (1 / 2,0) + (0,1 / 2) es un rotor y es reducible.

Esto deja (1 / 2,1 / 2) como el único candidato.

More Interesting

En álgebra lineal, cuando se prueba que V es un espacio vectorial, en lugar de hacer todas las diez propiedades, si V está cerrado bajo la suma y está cerrado bajo la multiplicación de escala, ¿puedo detenerme allí y decir que V debe ser un espacio vectorial?

Cuando resuelvo problemas de palabras donde se me da x (x es el número de años desde 1994), ¿sigo conectando números hasta que obtengo el número que me están pidiendo o hay una fórmula que me dé esa respuesta?

¿Las matemáticas describen o gobiernan?

Cómo demostrar que [matemáticas] \ dfrac {x} {x + 1} <\ ln (x + 1) <x [/ matemáticas]

Demuestre que [math] n [/ math] es primo si y solo si existe un número entero [math] a [/ math] tal que [math] ord_ {n} (a) = n-1. [/matemáticas] ? [matemática] ([/ matemática] ‘[matemática] ord_ {n} (a) [/ matemática]’ denota el orden de [matemática] a [/ matemática] [matemática] módulo [/ matemática] [matemática] n [/ matemáticas] [matemáticas]) [/ matemáticas]

¿Por qué [math] \ displaystyle \ sum_ {n = 1} ^ {\ infty} (n-1) [/ math] no es igual al infinito [math] -1 [/ math]?

Dado un conjunto [matemático] A = \ {1,2,3 \} [/ matemático], sería un conjunto que contiene [matemático] \ {(1,1), (2,2), (3,3) \} [/ math] ser un ejemplo de una relación reflexiva, simétrica, antisimétrica y transitiva?

¿Qué pueden hacer las fracciones parciales por mí?

Cómo resolver este problema: [matemáticas] \ int \ frac {dt} {t ^ 2 \ sqrt {2-t ^ 2}} [/ matemáticas]

¿En qué se diferencia el discriminante de un polinomio [matemático] p (x) [/ matemático] del polinomio [matemático] p (x) +1 [/ matemático]?