Aquí está la respuesta formal a su pregunta basada en el resultado particular del teorema de Pauli. Los cálculos son bastante engorrosos, pero son generales.
Campo fermiónico arbitrario (con invariancia bajo transformaciones discretas del grupo de Lorentz)
Se puede demostrar que cada campo de fermiones covariante de Poincaré con espín medio enteros = norte +12
y masametro
se puede representar como
φ^a=∑σ= − ss∫d3pag( 2 pi)32mipag−−−−−−−−√(tuσa( pag )a^σ( pag )mi- yo p x+vσa( pag )b^†σ( pag )miYo p x) ,(1)
dónde
φ^a=φ^m0. . .mnorte=⎛⎝ψ^m0. . .mnortebk^b˙ m0. . .mnorte⎞⎠∈ (norte + 12,norte2) ⊕ (norte2,norte + 12) ,(2)
b ,b˙
son índices de espinor, y
γmjφ^m0. . .mj. . .mnorte= 0 ,( yoγm∂m- metro )φ^m0. . .mnorte= 0 ,(3)
∂mjφ^ m0. . .mj. . .mnorte= 0 ,tuσa( pags ) = ( − 1)s + σγ5v− σa( pag ) .(4)
Como puedes ver, pornorte = 0
ecuaciones( 1 ) − ( 4 )
dar el campo de Dirac.
El caso sin masa es el mismo, peroσ
puede tomar solo los siguientes conjuntos de valores:{ -s } _
,{ s }
, o{ − s , s }
.
Puede leer sobre los aspectos generales de las representaciones irreducibles de Poincaré que se realizan como una suma de campos de creadores y aniquiladores en Weinberg QFT Vol. 1 (capítulo sobre campos causales generales). ecuaciones( 3 ) − ( 4 )
puede darse como requisito que el campo( 1 )
se transforma bajo unas representaciones irreductibles del grupo de Poincaré con spins
y masametro
.
Causalidad para teorías fermiónicas y anticonmutador
Del principio de causalidad debemos tener
[φ^a( X ) ,φ¯^b( y)]±= 0 ,( x − y)2< 0 ,gramo00= 1.(5)
En
3 + 1
-espacio-tiempo dimensional y para partículas indistinguibles, el primer grupo de homotopía del espacio de configuración con 3 dimensiones espaciales es el grupo de permutación
Snorte
. Esto significa que el intercambio en sentido horario y antihorario de dos partículas es igual y, por lo tanto, solo hay dos estadísticas posibles, Bose-Einstein o Fermi-Dirac,
[a^σ( pag ) ,a^†σ′( k )]±= d( pag - k )dσσ′.(6)
usemos( 1 ) − ( 4 )
y( 6 )
para aclarar la estadística que es obedecida por campo( 1 )
.
Tenemos usando estas ecuaciones y la identidad[γm,γ5]+= 0
eso
[φ^a( X ) ,φ¯^b( y)]±=∑σ∫d3pag( 2 pi)32mipag(tuσa( pag )tu¯σb( pag )mi− yo pag X∓γ5tuσa( pag )tu¯σb( pag )miYo p X) ,(7)
dónde
X= x − y
y
φ¯^=φ^†γ0
.
Usando la segunda identidad de( 3 )
y el requisito de la covarianza de Lorentz, se puede demostrar que∑σtuσa( pag )tu¯σb( pag ) =Run segundo( pag )
se puede representar de forma
Run segundo( pag ) = (γmpagm+ m )PAGun segundo( pag ) ,
dónde
PAGun segundo( pag )
se construye a partir de la suma de sumandos con un número par de momentos y un número par de matrices gamma y de sumandos con un número impar de momentos y un número impar de matrices gamma. Así que al usar
[γm,γ5]+= 0
de nuevo, podemos obtener
[φ^a( X ) ,φ¯^b( y)]±= ∫d3pag( 2 pi)32mipag(Run segundo( pag )mi− yo pag X∓Run segundo( -pag ) _miYo p X) =
=Run segundo( yo∂X) ( D ( X) ∓ re ( - X) ) ,D ( X) = ∫d3pag( 2 pi)32mipagmi− yo pag X.(8)
Se puede demostrar que para
X2< 0
, la función
D ( X)
satisface la relación
D ( X) = D ( − X)
, entonces
( 8 )
desaparece si y solo si los campos fermiónicos tienen estadísticas de Fermi-Dirac.
qmecanico