¿Cómo distinguir un espinor de un vector de 4?

Digamos que nos dan un objeto de cuatro componentes. Para ser explícitos, consideremos que estos componentes son X m = m con m 0 , 1 , 2 , 3 , es decir

X m [ 0 1 2 3 ] .
¿Cómo sabemos si estos componentes representan un cuadrivector o un espinor? (Olvídese de la notación típica de 4 vectores que estoy usando. Es solo la notación que elijo). Siempre leo en libros que los 4 vectores (o tensores en general) se reconocen por la forma en que se transforman sus componentes. ¿Esto también se aplica a los espinores?

Permítanme ampliar mi pregunta con un "ejemplo". Consideremos también alguna transformación de Lorentz parametrizada por ξ i para el "ángulo" de impulsos y θ i para los ángulos de rotación. Supongamos que nos dan los componentes de este objeto después de la transformación y que son una serie de números y m . Pero no se nos dice cómo se calcularon o, lo que es más interesante, ambos X m y y m mayo fueron medidos. Por lo tanto, queremos relacionar X m y y m .

Supongamos que después de un poco de 'ensayo y error' encontramos que se relacionan por la transformación lineal

y m = ( Exp ( i 2 ω ρ σ Σ ρ σ ) )       v m X v
(que no es más que y m = Λ     v m X v ) dónde
ω ρ σ = [ 0 ξ 1 ξ 2 ξ 3 ξ 1 0 θ 3 θ 2 ξ 2 θ 3 0 θ 1 ξ 3 θ 2 θ 1 0 ]

¿Es correcto concluir lo que sigue?

  1. Si Σ ρ σ están dados por ingrese la descripción de la imagen aquílo que concluimos que los componentes representan un cuadrivector.

  2. Si Σ ρ σ = i 4 [ γ ρ , γ σ ] con γ m las matrices de Dirac, o más explícitamente ingrese la descripción de la imagen aquíentonces concluimos que los componentes representan un espinor.

  3. Si el Σ son diferentes de estos pero satisfacen el álgebra de Lorentz, entonces los componentes X m representar otro tipo de objeto diferente a un cuadrivector o un espinor.

¿Es esto correcto? En caso afirmativo, ¿puede tomarse esto como la definición de un espinor (como sucede con los 4 vectores) de forma independiente para que satisfagan o no la ecuación de Dirac?

Se reconoce por contexto (posiblemente incluso por análisis dimensional ). Los componentes de Dirac Spinor son "estados internos" y tienen diferentes propiedades (restricciones) que los "solo" 4 vectores.
Aquí hay una explicación simple en Wikipedia en.wikipedia.org/wiki/Spin_representation
Una forma de reconocerlos es por la forma en que se transforman. En general, los 4 vectores se transforman a través de Lorentz como Ψ = METRO ( Λ ) Ψ , dónde METRO ( Λ ) es la matriz de transformación para la transformación de Lorentz Λ . Una forma de representar esta matriz es a través de generadores de rotación. METRO ( Λ ) = mi X pag ( i 2 ω m v j m v ) . Por otro lado, y spinor es un objeto que se transforma como Ψ = mi X pag ( i 2 ω m v S m v ) Ψ , donde los generadores están dados por S m v = i 4 [ γ m , γ v ] , dónde γ m son las matrices gamma de Dirac.
Cuando se representa simplemente como un vector de columna, uno no puede distinguirlos, ¡ese es el punto de la representación simple! Como otros han dicho anteriormente, el contexto debería informarte sobre la naturaleza de la bestia.
Los Casimiros de tus repeticiones 1 y 2 tienen valores propios muy diferentes, no... ¿cuáles?
Tu rep 2 ya está reducida (mira sus bloques). Ahora, en cada caso, los tres generadores inferiores representan el subgrupo de rotación. ¿Puedes ver el vector, giro 1, representación en 1, y los dos dobletes disjuntos, giro 1/2, repeticiones en 2?

Respuestas (1)

Se podría decir que uno puede distinguir vectores y espinores por la forma en que se transforman. Los vectores y los espinores pertenecen a diferentes representaciones del grupo de Lorentz y, por lo tanto, tienen diferentes reglas de transformación. Su ejemplo es de hecho correcto. Entonces, si sabe por el contexto cómo se transforma un objeto, puede adivinar qué es.

Por lo general, los matemáticos se enfadan bastante cuando oyen hablar de "definir el objeto X por la forma en que se transforma". ¿Cómo puedes transformar algo que aún no has definido? Aún así, esta es la forma en que muchos libros de texto GR introducen tensores, y desde el punto de vista de la física, está bien. Los matemáticos preferirían un enfoque de abajo hacia arriba, en el que uno comenzaría con un grupo (como el grupo de Lorentz o el grupo de rotación), clasificaría sus representaciones y solo luego les daría nombres tontos como 'espinor' y 'tensor'.

Por cierto (bastante irrelevante), creo que hay algunos signos negativos en sus generadores de Lorentz para los 4 vectores: los generadores de refuerzo deben tener dos elementos distintos de cero del mismo signo.

Entonces, si mido algo, luego giro el experimento y realizo la misma medición, analizando la forma en que se relacionan las mediciones puedo adivinar cuál es la naturaleza de ese algo, ¿verdad? Para escalares la medida dará el mismo resultado, y para vectores o espinores (u otros objetos) las relaciones entre los componentes me dirán cuál es.
Así es, tienes la idea.