En la teoría cuántica de campos , un campo fermiónico es un campo cuántico cuyos cuantos son fermiones ; es decir, obedecen a la estadística de Fermi-Dirac . Los campos fermiónicos obedecen a relaciones de anticonmutación canónicas en lugar de las relaciones de conmutación canónicas de los campos bosónicos .
El ejemplo más destacado de un campo fermiónico es el campo de Dirac, que describe fermiones con espín -1/2: electrones , protones , quarks , etc. El campo de Dirac puede describirse como un espinor de 4 componentes o como un par de espinores de Weyl de 2 componentes. Los fermiones de Majorana de espín 1/2 , como el hipotético neutralino , pueden describirse como un espinor de Majorana dependiente de 4 componentes o como un espinor de Weyl único de 2 componentes. No se sabe si el neutrino es un fermión de Majorana o un fermión de Dirac ; la observación experimental de la desintegración doble beta sin neutrinos resolvería esta cuestión.
Los campos fermiónicos libres (no interactuantes) obedecen a relaciones de anticonmutación canónicas ; es decir, involucran los anticonmutadores { a , b } = ab + ba , en lugar de los conmutadores [ a , b ] = ab − ba de la mecánica cuántica bosónica o estándar. Esas relaciones también son válidas para los campos fermiónicos interactuantes en el panorama de interacción , donde los campos evolucionan en el tiempo como si fueran libres y los efectos de la interacción están codificados en la evolución de los estados.
Son estas relaciones de anticonmutación las que implican las estadísticas de Fermi-Dirac para los cuantos de campo. También dan lugar al principio de exclusión de Pauli : dos partículas fermiónicas no pueden ocupar el mismo estado al mismo tiempo.
El ejemplo más destacado de un campo de fermiones de espín 1/2 es el campo de Dirac (llamado así por Paul Dirac ), y denotado por . La ecuación de movimiento para una partícula de espín 1/2 libre es la ecuación de Dirac ,
donde son matrices gamma y es la masa. Las soluciones más simples posibles para esta ecuación son soluciones de ondas planas, y . Estas soluciones de ondas planas forman una base para los componentes de Fourier de , lo que permite la expansión general de la función de onda de la siguiente manera,
u y v son espinores, etiquetados por su espín, s e índices de espinor . Para el electrón, una partícula de espín 1/2, s = +1/2 o s = −1/2. El factor de energía es el resultado de tener una medida de integración invariante de Lorentz. En la segunda cuantificación , se promueve a un operador, por lo que los coeficientes de sus modos de Fourier también deben ser operadores. Por lo tanto, y son operadores. Las propiedades de estos operadores se pueden discernir a partir de las propiedades del campo. y obedecen las relaciones de anticonmutación:
Imponemos una relación anticonmutadora (en oposición a una relación de conmutación como la que utilizamos para el campo bosónico ) para que los operadores sean compatibles con las estadísticas de Fermi-Dirac . Al introducir las expansiones para y , se pueden calcular las relaciones anticonmutadoras para los coeficientes.
De manera análoga a los operadores de aniquilación y creación no relativistas y sus conmutadores, estas álgebras conducen a la interpretación física que crea un fermión de momento p y espín s, y crea un antifermión de momento q y espín r . Ahora se ve que el campo general es una suma ponderada (por el factor de energía) sobre todos los espines y momentos posibles para crear fermiones y antifermiones. Su campo conjugado, , es el opuesto, una suma ponderada sobre todos los espines y momentos posibles para aniquilar fermiones y antifermiones.
Una vez entendidos los modos de campo y definido el campo conjugado, es posible construir cantidades invariantes de Lorentz para campos fermiónicos. La más simple es la cantidad . Esto aclara el motivo de la elección de . Esto se debe a que la transformación general de Lorentz en no es unitaria, por lo que la cantidad no sería invariante bajo tales transformaciones, por lo que la inclusión de es para corregir esto. La otra posible cantidad invariante de Lorentz distinta de cero , hasta una conjugación general, que se puede construir a partir de los campos fermiónicos es .
Dado que las combinaciones lineales de estas cantidades también son invariantes de Lorentz, esto conduce naturalmente a la densidad lagrangiana para el campo de Dirac por el requisito de que la ecuación de Euler-Lagrange del sistema recupere la ecuación de Dirac.
En este tipo de expresiones se suprimen los índices. Cuando se vuelve a introducir, se obtiene la expresión completa.
La densidad ( de energía ) hamiltoniana también se puede construir definiendo primero el momento canónicamente conjugado a , llamado
Con esa definición de , la densidad hamiltoniana es:
donde es el gradiente estándar de las coordenadas espaciales, y es un vector de las matrices espaciales . Es sorprendente que la densidad hamiltoniana no dependa de la derivada temporal de , directamente, pero la expresión es correcta.
Dada la expresión para podemos construir el propagador de Feynman para el campo de fermiones:
Definimos el producto ordenado en el tiempo para los fermiones con un signo menos debido a su naturaleza anticonmutativa.
Al introducir nuestra expansión de onda plana para el campo de fermiones en la ecuación anterior, obtenemos:
donde hemos empleado la notación de barra de Feynman . Este resultado tiene sentido ya que el factor
es simplemente el inverso del operador que actúa sobre en la ecuación de Dirac. Nótese que el propagador de Feynman para el campo de Klein–Gordon tiene esta misma propiedad. Dado que todos los observables razonables (como energía, carga, número de partículas, etc.) están construidos a partir de un número par de campos de fermiones, la relación de conmutación se desvanece entre dos observables cualesquiera en puntos del espacio-tiempo fuera del cono de luz. Como sabemos por la mecánica cuántica elemental, dos observables que conmutan simultáneamente se pueden medir simultáneamente. Por lo tanto, hemos implementado correctamente la invariancia de Lorentz para el campo de Dirac y hemos preservado la causalidad .
También se pueden analizar teorías de campo más complicadas que involucran interacciones (como la teoría de Yukawa o la electrodinámica cuántica ) mediante diversos métodos perturbativos y no perturbativos.
Los campos de Dirac son un ingrediente importante del Modelo Estándar .