Cap. 5 Soluciones¶
← Volver a ejercicios | Volver al capítulo
Índice
Básico
- B-1. Cálculo básico del álgebra de Clifford
- B-2. Cálculo de \(\gamma^\mu \gamma_\mu\)
- B-3. Transformación del conjugado de Dirac
- B-4. Reorganización del álgebra de Lorentz
- B-5. Generador de boosts en la representación espinorial
- B-6. Ecuación de Euler-Lagrange del campo de Dirac (variación respecto a \(\psi\))
- B-7. Verificación del momento conjugado
- B-8. Derivación de la densidad hamiltoniana
- B-9. Relaciones de anticonmutación para un campo escalar y violación de la causalidad
Intermedio
- M-1. Fallo de la cuantización mediante relaciones de conmutación
- M-2. Derivación del principio de exclusión de Pauli
- M-3. Relaciones de anticonmutación a tiempos iguales del campo de Dirac
- M-4. Corriente de Noether y conservación del número fermiónico
Avanzado
Básico¶
B-1. Cálculo básico del álgebra de Clifford¶
Problema:
Utilizando el álgebra de Clifford \(\{\gamma^\mu, \gamma^\nu\} = 2\eta^{\mu\nu}\mathbf{1}\), calcula lo siguiente. Se toma \(\eta^{\mu\nu} = \mathrm{diag}(+1,-1,-1,-1)\).
(a) \(\gamma^0 \gamma^0\)
(b) \(\gamma^2 \gamma^2\)
(c) \(\gamma^1 \gamma^3 + \gamma^3 \gamma^1\)
(d) \(\gamma^0 \gamma^2 \gamma^0\) (calcula paso a paso consultando la pista)
Estrategia de resolución:
Sustituimos índices concretos en el álgebra de Clifford \(\{\gamma^\mu, \gamma^\nu\} = 2\eta^{\mu\nu}\mathbf{1}\).
(a) \(\gamma^0 \gamma^0\)
Sustituyendo \(\mu = \nu = 0\):
Por lo tanto
(b) \(\gamma^2 \gamma^2\)
Sustituyendo \(\mu = \nu = 2\):
Por lo tanto
(c) \(\gamma^1 \gamma^3 + \gamma^3 \gamma^1\)
Sustituyendo \(\mu = 1, \nu = 3\):
Por lo tanto
(d) \(\gamma^0 \gamma^2 \gamma^0\)
Del resultado de (c), cuando \(\mu \neq \nu\) se tiene \(\gamma^\mu\gamma^\nu = -\gamma^\nu\gamma^\mu\). Como \(\mu = 0, \nu = 2\) son distintos:
Sustituyendo esto:
Por lo tanto
Verificación:
El resultado de (d) es un caso particular de la relación general \(\gamma^0\gamma^i\gamma^0 = -\gamma^i\) (componentes espaciales \(i = 1,2,3\)). Esto se deduce inmediatamente de la anticonmutación \(\gamma^0\gamma^i = -\gamma^i\gamma^0\) y de \((\gamma^0)^2 = \mathbf{1}\), lo cual es consistente.
B-2. Cálculo de \(\gamma^\mu \gamma_\mu\)¶
Problema:
Calcula \(\gamma^\mu \gamma_\mu = \eta_{\mu\nu}\gamma^\mu \gamma^\nu\) utilizando la relación de anticonmutación del álgebra de Clifford, y demuestra que el resultado es \(d\,\mathbf{1}\) (donde \(d\) es la dimensión del espacio-tiempo). Aquí, considera \(d = 4\) y obtén el valor concreto.
Estrategia de resolución:
Usando la definición \(\gamma_\mu = \eta_{\mu\nu}\gamma^\nu\), evaluamos \(\gamma^\mu\gamma_\mu\) mediante el álgebra de Clifford.
Desarrollo del cálculo:
Aquí \(\eta_{\mu\nu}\) es simétrica en \(\mu, \nu\), y la parte antisimétrica de \(\gamma^\mu\gamma^\nu\) se anula al contraer con \(\eta_{\mu\nu}\). Por lo tanto:
Sustituyendo el álgebra de Clifford \(\{\gamma^\mu, \gamma^\nu\} = 2\eta^{\mu\nu}\mathbf{1}\):
En \(d = 4\) dimensiones:
Verificación:
Confirmamos mediante cálculo directo:
B-3. Transformación del conjugado de Dirac¶
Problema:
Usando la definición del conjugado de Dirac (Dirac adjoint) \(\bar{\psi} \equiv \psi^\dagger \gamma^0\), demuestra lo siguiente.
(a) Demuestra que \(\overline{(\gamma^\mu \psi)} = \bar{\psi}\gamma^\mu\). Puedes utilizar la hermiticidad de \(\gamma^0\), es decir \((\gamma^0)^\dagger = \gamma^0\), y la anti-hermiticidad de las componentes espaciales \((\gamma^i)^\dagger = -\gamma^i\).
(b) Usando el resultado anterior, demuestra que \(\bar{\psi}\gamma^\mu\psi\) es real (es decir, que \((\bar{\psi}\gamma^\mu\psi)^\dagger = \bar{\psi}\gamma^\mu\psi\)).
(a) Demostración de \(\overline{(\gamma^\mu \psi)} = \bar{\psi}\gamma^\mu\):
Estrategia de resolución:
Primero demostramos que \((\gamma^\mu)^\dagger = \gamma^0\gamma^\mu\gamma^0\), y luego lo utilizamos para el cálculo.
Detalles del cálculo:
Lema: \((\gamma^\mu)^\dagger = \gamma^0\gamma^\mu\gamma^0\)
- Caso \(\mu = 0\): \((\gamma^0)^\dagger = \gamma^0\) (hermítica). Por otro lado, \(\gamma^0\gamma^0\gamma^0 = (\gamma^0)^2\gamma^0 = \gamma^0\). Por lo tanto se cumple.
- Caso \(\mu = i\) (componentes espaciales): \((\gamma^i)^\dagger = -\gamma^i\) (antihermítica). Por otro lado, \(\gamma^0\gamma^i\gamma^0 = -\gamma^i(\gamma^0)^2 = -\gamma^i\) (usando la generalización de D1(d)). Por lo tanto se cumple.
Utilizando esto:
(b) Demostración de que \(\bar{\psi}\gamma^\mu\psi\) es real:
Detalles del cálculo:
\(\bar{\psi}\gamma^\mu\psi\) es una cantidad escalar \(1 \times 1\) (un número) obtenida al contraer las componentes espinoriales. Tomando su conjugado hermítico:
Como \(\bar{\psi} = \psi^\dagger\gamma^0\), tenemos \((\bar{\psi})^\dagger = (\gamma^0)^\dagger\psi = \gamma^0\psi\). Por lo tanto:
Por lo tanto, \(\bar{\psi}\gamma^\mu\psi\) es hermítico (clásicamente, real).
Verificación:
Para el caso \(\mu = 0\), \(\bar{\psi}\gamma^0\psi = \psi^\dagger(\gamma^0)^2\psi = \psi^\dagger\psi = \sum_\alpha |\psi_\alpha|^2 \geq 0\), que efectivamente es real. Esto es consistente con la definición positiva de la densidad de probabilidad.
B-4. Reorganización del álgebra de Lorentz¶
Problema:
Usando los generadores definidos en la ecuación (5.4) del texto:
deriva \([J^i_+, J^j_-] = 0\) (ecuación (5.5c)). Sin omitir pasos intermedios en el cálculo, sustituye una por una las relaciones de conmutación de las ecuaciones (5.3a)–(5.3c).
Estrategia de resolución:
Expandimos \([J^i_+, J^j_-]\) según su definición y sustituimos las ecuaciones (5.3a)–(5.3c).
Desarrollo del cálculo:
Usando la linealidad del conmutador, expandimos en cuatro términos:
Sustituimos las ecuaciones (5.3a)–(5.3c) en cada término:
Primer término: \([J^i, J^j] = i\varepsilon^{ijk}J^k\) (ecuación (5.3a))
Segundo término: \(-i[J^i, K^j] = -i \cdot i\varepsilon^{ijk}K^k = -i^2\varepsilon^{ijk}K^k = +\varepsilon^{ijk}K^k\) (ecuación (5.3b))
Tercer término: \(i[K^i, J^j] = i \cdot (-[J^j, K^i]) = i \cdot (-i\varepsilon^{jik}K^k) = -i^2\varepsilon^{jik}K^k = +\varepsilon^{jik}K^k\)
Dado que \(\varepsilon^{jik} = -\varepsilon^{ijk}\):
Cuarto término: \([K^i, K^j] = -i\varepsilon^{ijk}J^k\) (ecuación (5.3c))
Sumamos todos los términos:
Términos en \(J^k\): \(i\varepsilon^{ijk}J^k - i\varepsilon^{ijk}J^k = 0\)
Términos en \(K^k\): \(\varepsilon^{ijk}K^k - \varepsilon^{ijk}K^k = 0\)
Por lo tanto:
Verificación:
Este resultado coincide con la ecuación (5.5c). Además, es consistente con la estructura de descomposición del álgebra de Lorentz, según la cual \(\mathbf{J}_+\) y \(\mathbf{J}_-\) forman álgebras \(\mathfrak{su}(2)\) independientes entre sí.
B-5. Generador de boosts en la representación espinorial¶
Problema:
El generador de boosts del espinor de Weyl levógiro \((1/2, 0)\) es \(\mathbf{K}_L = -i\boldsymbol{\sigma}/2\). Escribe explícitamente en términos de \(\cosh\) y \(\sinh\) la matriz de transformación que realiza un boost en la dirección \(x\) con rapidez (rapidity) \(\eta\):
utilizando la propiedad \((\sigma^1)^2 = \mathbf{1}\) de \(\sigma^1\).
Estrategia de resolución:
Se realiza la expansión en serie de Taylor de \(e^{-\frac{\eta}{2}\sigma^1}\) y se separa en términos de orden par e impar utilizando \((\sigma^1)^2 = \mathbf{1}\).
Detalles del cálculo:
Expansión de Taylor:
Dado que \((\sigma^1)^2 = \mathbf{1}\):
Separando en términos de orden par e impar:
Términos de orden par: como \(\left(-\frac{\eta}{2}\right)^{2k} = \left(\frac{\eta}{2}\right)^{2k}\), se tiene
Términos de orden impar: como \(\left(-\frac{\eta}{2}\right)^{2k+1} = -\left(\frac{\eta}{2}\right)^{2k+1}\), se tiene
Por lo tanto:
Verificación:
Para \(\eta = 0\) (sin boost), \(S_L = \cosh 0 \cdot \mathbf{1} - \sinh 0 \cdot \sigma^1 = \mathbf{1}\). Se obtiene la transformación identidad, lo cual es correcto.
Además, \(\det S_L = \cosh^2\frac{\eta}{2} - \sinh^2\frac{\eta}{2} = 1\), lo que confirma que es un elemento de \(SL(2, \mathbb{C})\).
B-6. Ecuación de Euler-Lagrange del campo de Dirac (variación respecto a \(\psi\))¶
Problema:
Para la densidad lagrangiana \(\mathcal{L} = \bar{\psi}(i\gamma^\mu \partial_\mu - m)\psi\), calcula la ecuación de Euler-Lagrange respecto a \(\psi\) (no respecto a \(\bar{\psi}\))
y deriva la ecuación conjugada de la ecuación de Dirac
Aquí \(\alpha\) es el índice de la componente espinorial.
Estrategia de resolución:
Se escribe \(\mathcal{L} = \bar{\psi}(i\gamma^\mu\partial_\mu - m)\psi\) en componentes y se aplica la ecuación de Euler-Lagrange respecto a \(\bar{\psi}_\alpha\).
Desarrollo del cálculo:
En notación de componentes:
Derivada parcial respecto a \(\bar{\psi}_\alpha\):
A continuación, verificamos los términos que contienen \(\partial_\mu\bar{\psi}_\alpha\). Observando \(\mathcal{L}\) directamente sin integrar por partes, \(\partial_\mu\bar{\psi}\) no aparece explícitamente (la derivada actúa sobre \(\psi\)). Por lo tanto:
En consecuencia, la ecuación de Euler-Lagrange es:
Esto es precisamente la ecuación de Dirac \((i\gamma^\mu\partial_\mu - m)\psi = 0\).
A continuación, derivamos la ecuación conjugada a partir de la ecuación de Euler-Lagrange respecto a \(\psi\). Integramos por partes \(\mathcal{L}\) para transferir la derivada a \(\bar{\psi}\):
Descartando el término de divergencia total, la ecuación de Euler-Lagrange respecto a \(\psi_\beta\) es:
Por lo tanto:
Volviendo a la notación matricial:
Esta es la ecuación conjugada de la ecuación de Dirac.
Verificación:
Comprobamos tomando directamente el conjugado de Dirac de la ecuación \((i\gamma^\mu\partial_\mu - m)\psi = 0\). Tomando \(\dagger\) en ambos miembros y multiplicando por la derecha por \(\gamma^0\):
Esto coincide con el resultado obtenido anteriormente. \(\checkmark\)
B-7. Verificación del momento conjugado¶
Problema:
En la ecuación (5.8) del texto se obtuvo \(\Pi = i\psi^\dagger\). Verifica este resultado en componentes. Es decir, escribiendo \(\mathcal{L} = i\psi^\dagger_\alpha (\gamma^0)_{\alpha\beta}(\gamma^\mu)_{\beta\gamma}\partial_\mu \psi_\gamma - m\psi^\dagger_\alpha (\gamma^0)_{\alpha\beta}\psi_\beta\), calcula \(\Pi_\alpha = \partial \mathcal{L}/\partial \dot{\psi}_\alpha\) y comprueba que \(\Pi_\alpha = i\psi^\dagger_\alpha\).
Estrategia de resolución:
Identificamos en \(\mathcal{L}\) los términos que contienen \(\dot{\psi}_\alpha = \partial_0\psi_\alpha\) y calculamos \(\Pi_\alpha = \partial\mathcal{L}/\partial\dot{\psi}_\alpha\).
Detalles del cálculo:
Los términos que contienen \(\dot{\psi}_\gamma = \partial_0\psi_\gamma\) son únicamente los correspondientes a \(\mu = 0\):
Usando \((\gamma^0)^2 = \mathbf{1}\):
Por lo tanto:
Verificación:
Esto coincide con la ecuación (5.8) del texto, \(\Pi = i\psi^\dagger\). A diferencia del caso del campo escalar donde \(\Pi = \dot{\phi}\), el momento conjugado es proporcional al campo mismo y no a su derivada temporal; esto refleja el hecho de que el lagrangiano de Dirac es de primer orden en derivadas temporales.
B-8. Derivación de la densidad hamiltoniana¶
Problema:
Completa la derivación de la ecuación (5.9) del texto. Sustituye \(\Pi = i\psi^\dagger\) y \(\mathcal{L} = \bar{\psi}(i\gamma^\mu\partial_\mu - m)\psi\) en la transformada de Legendre
y separa \(\mathcal{L}\) en la componente \(\mu = 0\) y las componentes \(\mu = j\) (espaciales) para obtener la ecuación (5.9):
Estrategia de resolución:
Se ejecuta la transformada de Legendre \(\mathcal{H} = \Pi\dot{\psi} - \mathcal{L}\), separando \(\mathcal{L}\) en \(\mu = 0\) y \(\mu = j\).
Detalles del cálculo:
Primero separamos \(\mathcal{L}\) en componentes temporal y espaciales:
Reorganizamos el primer término. Como \(\bar{\psi}\gamma^0 = \psi^\dagger(\gamma^0)^2 = \psi^\dagger\):
(usando \(\Pi = i\psi^\dagger\))
Transformada de Legendre:
Sustituyendo \(\bar{\psi} = \psi^\dagger\gamma^0\):
Escribiendo \(\gamma^0\gamma^j\partial_j = \gamma^0\boldsymbol{\gamma}\cdot\nabla\):
Esto coincide con la ecuación (5.9) del texto.
Verificación:
De la ecuación de Dirac \(i\gamma^0\partial_0\psi + i\gamma^j\partial_j\psi - m\psi = 0\) se obtiene \(i\partial_0\psi = (-i\gamma^0\gamma^j\partial_j + m\gamma^0)\psi\), por lo que también se puede escribir \(\mathcal{H} = \psi^\dagger(i\partial_0)\psi\). Esto tiene la forma del valor esperado del hamiltoniano de Dirac \(H_D = -i\gamma^0\boldsymbol{\gamma}\cdot\nabla + m\gamma^0 = \boldsymbol{\alpha}\cdot\boldsymbol{p} + \beta m\) (\(\boldsymbol{\alpha} = \gamma^0\boldsymbol{\gamma}\), \(\beta = \gamma^0\)), lo cual es consistente con la teoría de Dirac en mecánica cuántica. \(\checkmark\)
B-9. Relaciones de anticonmutación para un campo escalar y violación de la causalidad¶
Problema:
Supongamos que en lugar de relaciones de conmutación, se imponen relaciones de anticonmutación \(\{\phi(x), \phi(y)\} = i\Delta(x-y)\) sobre un campo escalar real \(\phi(x)\). Demuestra que para dos puntos separados por un intervalo espacial \((x - y)^2 < 0\), se tiene \(\{\phi(x), \phi(y)\} \neq 0\) (violación de la causalidad). Contrasta con el caso de relaciones de conmutación, donde la causalidad se preserva.
Caso de relaciones de conmutación (causalidad preservada):
El propagador obtenido de las relaciones de conmutación para un campo escalar real es:
El integrando consiste en la diferencia de dos términos. El primer término corresponde a la amplitud de una partícula propagándose de \(y\) a \(x\), y el segundo a la amplitud de una antipartícula (la misma partícula para un campo escalar real) propagándose de \(x\) a \(y\).
Para dos puntos separados por un intervalo espacial \((x-y)^2 < 0\), una transformación de Lorentz continua puede mapear \((x-y) \to -(x-y)\). \(\Delta(x-y)\) es una función impar de \((x-y)\):
Por otro lado, en la región espacial el invariante de Lorentz \((x-y)^2\) no cambia, así que el valor de \(\Delta\) tampoco. Por lo tanto:
Así \([\phi(x), \phi(y)] = 0\) en la región espacial, y la causalidad (microcausalidad) se preserva.
Caso de relaciones de anticonmutación (causalidad violada):
Si se imponen relaciones de anticonmutación:
Aquí el integrando se convierte en la suma de dos términos. Esta es una función par de \((x-y)\):
Aplicando la transformación de Lorentz \((x-y) \to -(x-y)\) en la región espacial:
así que la cancelación que ocurre para funciones impares no sucede. De hecho, \(\Delta_+(x-y) = \int \frac{d^3p}{(2\pi)^3 2\omega_p}e^{-ip\cdot(x-y)}\) es una función invariante de Lorentz definida positiva en la región espacial (expresada específicamente en términos de la función de Bessel modificada \(K_1\)) y no se anula.
Por lo tanto:
Esta es una consecuencia física del teorema espín-estadística. Los campos de espín entero deben obedecer la estadística de Bose (relaciones de conmutación) para ser consistentes con la causalidad, mientras que los campos de espín semientero deben obedecer la estadística de Fermi (relaciones de anticonmutación).
Intermedio¶
M-1. Fallo de la cuantización mediante relaciones de conmutación¶
Problema:
Consideremos la expansión en modos del campo de Dirac:
donde \(u^s(\boldsymbol{p})\), \(v^s(\boldsymbol{p})\) son las soluciones de energía positiva y negativa de la ecuación de Dirac, y \(E_{\boldsymbol{p}} = \sqrt{|\boldsymbol{p}|^2 + m^2}\).
(a) Supongamos que imponemos relaciones de conmutación para \(\hat{b}^s_{\boldsymbol{p}}\) y \(\hat{d}^s_{\boldsymbol{p}}\):
Muestra que el hamiltoniano toma la forma
(No es necesaria una derivación completa. Discute prestando atención al signo del sector \(d\)).
(b) A partir del resultado anterior, explica que aplicando repetidamente \(\hat{d}^{s\dagger}_{\boldsymbol{p}}\) se puede reducir la energía de forma ilimitada, y expón por qué esto es físicamente inaceptable.
(c) Muestra que si en su lugar se imponen relaciones de anticonmutación
el signo del sector \(d\) se invierte y el hamiltoniano se vuelve definido positivo (salvo la energía del punto cero).
(a) Hamiltoniano al imponer relaciones de conmutación:
Estrategia de resolución:
Se sustituye el desarrollo en modos en el Hamiltoniano \(\hat{H} = \int d^3x\,\mathcal{H}\) y se presta atención al signo de las relaciones de conmutación en el sector \(d\).
Detalles del cálculo:
A partir del resultado de D8, el Hamiltoniano sin considerar el ordenamiento normal es:
Usando las propiedades de las soluciones de la ecuación de Dirac, al sustituir el desarrollo en modos y emplear la integración espacial junto con las relaciones de ortogonalidad y completitud de los espinores, el Hamiltoniano se reduce a la siguiente forma:
Aquí el término del sector \(d\) aparece en el orden \(\hat{d}\hat{d}^\dagger\) (esto es consecuencia del tratamiento de signos derivado del hecho de que el espinor \(v\) es una solución de energía negativa).
Usando la relación de conmutación \([\hat{d}^r_{\boldsymbol{p}}, \hat{d}^{s\dagger}_{\boldsymbol{q}}] = -(2\pi)^3\delta^{rs}\delta^{(3)}(\boldsymbol{p}-\boldsymbol{q})\) para intercambiar el orden:
Sustituyendo:
Eliminando el término constante:
El signo del sector \(d\) es negativo. Esto se debe directamente a que el signo de \([\hat{d}, \hat{d}^\dagger]\) es \(-1\).
(b) Inconsistencia física:
Dado que la contribución del sector \(d\) es \(-E_{\boldsymbol{p}}\hat{d}^{s\dagger}_{\boldsymbol{p}}\hat{d}^s_{\boldsymbol{p}}\), cada vez que se aplica \(\hat{d}^{s\dagger}_{\boldsymbol{p}}\) al vacío, la energía disminuye en \(E_{\boldsymbol{p}} > 0\).
Bajo relaciones de conmutación, \((\hat{d}^{s\dagger}_{\boldsymbol{p}})^n \neq 0\) (en estadística bosónica no hay límite superior para el número de ocupación), por lo que se puede aplicar \(\hat{d}^{s\dagger}_{\boldsymbol{p}}\) un número arbitrario de veces, pudiendo reducir la energía indefinidamente.
Esto significa que la energía no está acotada inferiormente, y no existe un estado de vacío estable. Esto es físicamente inaceptable.
(c) Resolución mediante relaciones de anticonmutación:
Usando la relación de anticonmutación \(\{\hat{d}^r_{\boldsymbol{p}}, \hat{d}^{s\dagger}_{\boldsymbol{q}}\} = (2\pi)^3\delta^{rs}\delta^{(3)}(\boldsymbol{p}-\boldsymbol{q})\):
Sustituyendo en el Hamiltoniano:
Lo importante aquí es que al intercambiar \(\hat{d}\hat{d}^\dagger\), el signo negativo de la relación de anticonmutación cancela el signo negativo original del sector \(d\). Eliminando el término constante:
Tanto el sector \(b\) como el sector \(d\) tienen coeficiente positivo \(E_{\boldsymbol{p}} > 0\), y los autovalores de los operadores de número de partículas \(\hat{b}^{s\dagger}\hat{b}^s\) y \(\hat{d}^{s\dagger}\hat{d}^s\) son \(0\) o \(1\) (debido a las relaciones de anticonmutación), por lo que el Hamiltoniano es definido positivo (salvo la energía del punto cero). Existe un vacío estable.
Verificación:
En el caso de relaciones de anticonmutación, \((\hat{d}^{s\dagger}_{\boldsymbol{p}})^2 = 0\) (demostrado en S2), por lo que el número de ocupación de partículas \(d\) está limitado a 0 o 1, y es imposible reducir la energía indefinidamente. La inconsistencia del caso con relaciones de conmutación queda completamente resuelta. \(\checkmark\)
M-2. Derivación del principio de exclusión de Pauli¶
Problema:
Utilizando la relación de anticonmutación \(\{\hat{b}^r_{\boldsymbol{p}}, \hat{b}^{s\dagger}_{\boldsymbol{q}}\} = (2\pi)^3\delta^{rs}\delta^{(3)}(\boldsymbol{p}-\boldsymbol{q})\), demuestra lo siguiente.
(a) Demuestra que \((\hat{b}^{s\dagger}_{\boldsymbol{p}})^2 = 0\).
(b) Explica por qué este resultado implica que no se pueden colocar dos o más fermiones con los mismos números cuánticos \((\boldsymbol{p}, s)\) en el mismo estado (principio de exclusión de Pauli).
(c) Contrasta con el caso de las relaciones de conmutación del campo escalar \([\hat{a}_{\boldsymbol{p}}, \hat{a}^\dagger_{\boldsymbol{q}}] = (2\pi)^3\delta^{(3)}(\boldsymbol{p}-\boldsymbol{q})\), donde \((\hat{a}^\dagger_{\boldsymbol{p}})^n |0\rangle \neq 0\) (para cualquier entero positivo \(n\)).
(a) Demostración de \((\hat{b}^{s\dagger}_{\boldsymbol{p}})^2 = 0\):
Detalles del cálculo:
La relación de anticonmutación entre operadores de creación es:
(Esto se deduce de la condición de que todos los anticonmutadores son cero excepto la relación de anticonmutación fundamental \(\{\hat{b}^r_{\boldsymbol{p}}, \hat{b}^{s\dagger}_{\boldsymbol{q}}\} = (2\pi)^3\delta^{rs}\delta^{(3)}(\boldsymbol{p}-\boldsymbol{q})\))
Tomando \(r = s\), \(\boldsymbol{p} = \boldsymbol{q}\):
(b) Principio de exclusión de Pauli:
Para el estado de una partícula \(|\boldsymbol{p}, s\rangle = \hat{b}^{s\dagger}_{\boldsymbol{p}}|0\rangle\), si intentamos crear otra partícula con los mismos números cuánticos:
Es decir, es imposible colocar dos o más fermiones con los mismos números cuánticos \((\boldsymbol{p}, s)\) en el mismo estado. Este es el principio de exclusión de Pauli.
El número de ocupación de los fermiones solo puede ser \(n^s_{\boldsymbol{p}} = 0\) o \(1\), y cada modo del espacio de Fock queda restringido a ser bidimensional (vacío u ocupado).
(c) Comparación con los bosones:
En el caso de las relaciones de conmutación del campo escalar \([\hat{a}_{\boldsymbol{p}}, \hat{a}^\dagger_{\boldsymbol{q}}] = (2\pi)^3\delta^{(3)}(\boldsymbol{p}-\boldsymbol{q})\):
De hecho, \([\hat{a}_{\boldsymbol{p}}, (\hat{a}^\dagger_{\boldsymbol{p}})^2] = 2(2\pi)^3\delta^{(3)}(\boldsymbol{0})\hat{a}^\dagger_{\boldsymbol{p}} \neq 0\), y en general:
En el caso discretizado, \((\hat{a}^\dagger)^n|0\rangle = \sqrt{n!}\,|n\rangle\), y se pueden acumular tantos bosones como se desee en el mismo estado cuántico. Esta es la estadística de Bose-Einstein, fundamentalmente diferente de la estadística de Fermi-Dirac de los fermiones.
| Fermiones (anticonmutación) | Bosones (conmutación) | |
|---|---|---|
| \((\hat{a}^\dagger)^2\) | \(= 0\) | \(\neq 0\) |
| Número de ocupación | \(0\) o \(1\) | \(0, 1, 2, \ldots\) |
| Estadística | Fermi-Dirac | Bose-Einstein |
M-3. Relaciones de anticonmutación a tiempos iguales del campo de Dirac¶
Problema:
Expansión en modos y relaciones de anticonmutación fundamentales
Partiendo de estas relaciones (donde todos los demás anticonmutadores son cero), deriva la relación de anticonmutación a tiempos iguales
donde \(\alpha, \beta\) son índices de componentes espinoriales. Puedes utilizar la relación de completitud de espinores
Estrategia de resolución:
Se sustituye la expansión en modos a tiempos iguales \(x^0 = y^0 = t\) y se calcula el anticonmutador.
Detalles del cálculo:
Expansión en modos a tiempos iguales:
Se calcula el anticonmutador \(\{\hat{\psi}_\alpha(\boldsymbol{x}, t), \hat{\psi}^\dagger_\beta(\boldsymbol{y}, t)\}\). A partir de las relaciones de anticonmutación fundamentales, las únicas contribuciones no nulas provienen de los términos \(\{\hat{b}, \hat{b}^\dagger\}\) y \(\{\hat{d}^\dagger, \hat{d}\}\) (los términos cruzados \(\{\hat{b}, \hat{d}\}\), etc., son todos cero).
Contribución del sector \(b\):
(Las fases dependientes del tiempo \(e^{-iE_{\boldsymbol{p}}t}\) y \(e^{+iE_{\boldsymbol{q}}t}\) se cancelan cuando \(\boldsymbol{p} = \boldsymbol{q}\))
Se realiza la integral en \(\boldsymbol{q}\) y la suma en \(s'\):
Contribución del sector \(d\):
Se realiza la integral en \(\boldsymbol{q}\) y la suma en \(s'\):
En el sector \(d\) se realiza el cambio de variable de integración \(\boldsymbol{p} \to -\boldsymbol{p}\) (\(E_{\boldsymbol{p}} = E_{-\boldsymbol{p}}\), \(d^3p\) es invariante):
Suma de ambos sectores:
Se aplica la relación de completitud de los espinores:
Sustituyendo:
Verificación:
Tomando \(\alpha = \beta\) y sumando sobre todas las componentes espinoriales:
Esto es consistente con el número de grados de libertad de un espinor de Dirac de 4 componentes. \(\checkmark\)
M-4. Corriente de Noether y conservación del número fermiónico¶
Problema:
El Lagrangiano del campo de Dirac \(\mathcal{L} = \bar{\psi}(i\not\!\partial - m)\psi\) es invariante bajo la transformación \(U(1)\) global
(a) Utilizando el teorema de Noether, deriva la corriente conservada \(j^\mu = \bar{\psi}\gamma^\mu\psi\).
(b) Reescribe la carga conservada correspondiente
mediante la expansión en modos, y demuestra que adopta la forma
(c) A partir de este resultado, interpreta que las partículas creadas por \(\hat{b}^{s\dagger}_{\boldsymbol{p}}\) y las creadas por \(\hat{d}^{s\dagger}_{\boldsymbol{p}}\) tienen cargas de signo opuesto, y explica por qué \(\hat{d}^{s\dagger}_{\boldsymbol{p}}\) es el operador de creación de antipartículas.
(a) Derivación de la corriente conservada:
Estrategia de resolución:
Calculamos la corriente de Noether para la transformación global \(U(1)\): \(\psi \to e^{i\alpha}\psi\), \(\bar{\psi} \to \bar{\psi}e^{-i\alpha}\).
Detalles del cálculo:
Transformación infinitesimal (\(\alpha\) es una constante infinitesimal):
Fórmula de la corriente de Noether:
Calculamos cada derivada parcial:
(ya que \(\mathcal{L}\) no contiene \(\partial_\mu\bar{\psi}\))
Por lo tanto:
La corriente conservada, eliminando \(\alpha\) (con la convención de signo de tomar \(j^\mu\) como la corriente de número de partículas positiva):
La ley de conservación \(\partial_\mu j^\mu = 0\) se puede verificar directamente a partir de la ecuación de Dirac y su conjugada:
(b) Expansión en modos de la carga conservada:
Detalles del cálculo:
La carga conservada es la integral espacial de \(j^0 = \bar{\psi}\gamma^0\psi = \psi^\dagger\psi\):
Sustituyendo la expansión en modos, al desarrollar \(\hat{\psi}^\dagger\hat{\psi}\) aparecen 4 tipos de términos: \(b^\dagger b\), \(d\, d^\dagger\), \(b^\dagger d^\dagger\) (términos cruzados), \(d\, b\) (términos cruzados).
Al realizar la integral espacial \(\int d^3x\, e^{i(\boldsymbol{p}-\boldsymbol{q})\cdot\boldsymbol{x}} = (2\pi)^3\delta^{(3)}(\boldsymbol{p}-\boldsymbol{q})\), los términos \(b^\dagger b\) y \(d\, d^\dagger\) sobreviven con \(\boldsymbol{p} = \boldsymbol{q}\).
Los términos cruzados tienen dependencia temporal \(e^{\pm 2iE_{\boldsymbol{p}}t}\) y se anulan por la ortogonalidad de los espinores
(después de la sustitución \(\boldsymbol{p} \to -\boldsymbol{p}\)).
Los términos que sobreviven son:
Usando la normalización de los espinores \(u^{s\dagger}(\boldsymbol{p})u^s(\boldsymbol{p}) = 2E_{\boldsymbol{p}}\), \(v^{s\dagger}(\boldsymbol{p})v^s(\boldsymbol{p}) = 2E_{\boldsymbol{p}}\) (sin suma):
Usando la relación de anticonmutación \(\hat{d}^s_{\boldsymbol{p}}\hat{d}^{s\dagger}_{\boldsymbol{p}} = -\hat{d}^{s\dagger}_{\boldsymbol{p}}\hat{d}^s_{\boldsymbol{p}} + (2\pi)^3\delta^{(3)}(\boldsymbol{0})\):
(c) Interpretación de las antipartículas:
A partir de la estructura de la carga conservada \(\hat{Q}\):
-
Para \(\hat{b}^{s\dagger}_{\boldsymbol{p}}|0\rangle\) (estado de una partícula \(b\)): \(\hat{Q}\hat{b}^{s\dagger}_{\boldsymbol{p}}|0\rangle = (+1)\hat{b}^{s\dagger}_{\boldsymbol{p}}|0\rangle + \cdots\) → carga \(+1\)
-
Para \(\hat{d}^{s\dagger}_{\boldsymbol{p}}|0\rangle\) (estado de una partícula \(d\)): \(\hat{Q}\hat{d}^{s\dagger}_{\boldsymbol{p}}|0\rangle = (-1)\hat{d}^{s\dagger}_{\boldsymbol{p}}|0\rangle + \cdots\) → carga \(-1\)
Las partículas \(b\) y \(d\) tienen la misma masa y el mismo espín, pero carga de signo opuesto. Esta es precisamente la relación entre partícula y antipartícula.
Por ejemplo, si la partícula \(b\) es el electrón, entonces la partícula \(d\) corresponde al positrón. Las soluciones de energía negativa de la ecuación de Dirac se reinterpretan naturalmente, a través de la cuantización con relaciones de anticonmutación, como antipartículas con energía positiva.
Verificación:
Confirmamos que \(\hat{Q}\) no depende del tiempo (es una cantidad conservada). Los términos cruzados se anulan por la ortogonalidad de los espinores, y los términos restantes no dependen de \(t\). Esto es consistente con \(\partial_\mu j^\mu = 0\). \(\checkmark\)
Avanzado¶
A-1. Teorema de espín y estadística——argumento desde la causalidad¶
Problema:
Se discute la causalidad (independencia de las mediciones) en dos puntos separados espacialmente \((x - y)^2 < 0\) para el campo de Dirac.
(a) Para el campo escalar (bosón), cita los resultados de Cap. 4 para establecer que, cuando se imponen relaciones de conmutación, se cumple \([\hat{\phi}(x), \hat{\phi}(y)] = 0\) para separaciones espaciales.
(b) Para el campo de Dirac, argumenta que si se impusieran relaciones de conmutación, se tendría \([\hat{\psi}_\alpha(x), \bar{\hat{\psi}}_\beta(y)] \neq 0\) para separaciones espaciales, violando la causalidad, debido a que la cancelación entre las contribuciones de energía positiva y energía negativa no ocurre.
(c) Demuestra que cuando se imponen relaciones de anticonmutación se cumple \(\{\hat{\psi}_\alpha(x), \bar{\hat{\psi}}_\beta(y)\} = 0\) (para \((x-y)^2 < 0\)), y explica por qué esto es compatible con la causalidad. En particular, discute que los conmutadores de los observables físicos (formas bilineales del campo fermiónico como \(\bar{\psi}\Gamma\psi\), etc.) se anulan para separaciones espaciales.
(d) Generalizando la discusión anterior, resume las exigencias físicas del teorema de espín y estadística (spin-statistics theorem) —"los campos de espín entero deben ser bosones (relaciones de conmutación) y los campos de espín semientero deben ser fermiones (relaciones de anticonmutación)"— desde dos perspectivas: (i) la positividad definida de la energía y (ii) la causalidad.
(a) Causalidad del campo escalar:
A partir de los resultados de Cap. 4, cuando se imponen relaciones de conmutación al campo escalar libre, la función de Pauli-Jordan (función de conmutador)
es invariante de Lorentz, y para intervalos de tipo espacial \((x-y)^2 < 0\) se cumple
Esto se debe a que la amplitud de propagación de la partícula y la amplitud de propagación de la antipartícula se cancelan exactamente para intervalos de tipo espacial. Físicamente, esto significa que las mediciones en dos puntos separados espacialmente no se influyen mutuamente (se preserva la causalidad).
(b) Violación de la causalidad al imponer relaciones de conmutación al campo de Dirac:
Consideremos el caso en que se imponen relaciones de conmutación al campo de Dirac. Al calcular el conmutador \([\hat{\psi}_\alpha(x), \bar{\hat{\psi}}_\beta(y)]\), formalmente se obtiene:
Aquí el primer término es la contribución del sector \(b\) (propagación de partículas) y el segundo término es la contribución del sector \(d\) (propagación de antipartículas).
En el caso bosónico, las amplitudes de propagación de partículas y antipartículas toman el mismo valor para intervalos de tipo espacial, y se cancelan debido a la estructura de signos de las relaciones de conmutación. Sin embargo, cuando se imponen relaciones de conmutación a fermiones, el signo de las relaciones de conmutación del sector \(d\) es \(-1\) (véase S1(a)), lo que cambia el signo relativo de los dos términos y la cancelación no ocurre.
Concretamente, en el argumento que utiliza la transformación de Lorentz que conecta \(e^{-ip\cdot(x-y)}\) y \(e^{+ip\cdot(x-y)}\) para intervalos de tipo espacial (si \((x-y)\) es de tipo espacial, existe una transformación que lleva \(x-y \to -(x-y)\)), en el caso bosónico los dos términos tienen el mismo signo y se cancelan, pero para fermiones con relaciones de conmutación tienen signos opuestos y se suman.
Por lo tanto, para \((x-y)^2 < 0\) se tiene \([\hat{\psi}_\alpha(x), \bar{\hat{\psi}}_\beta(y)] \neq 0\), y la causalidad se viola.
(c) Recuperación de la causalidad al imponer relaciones de anticonmutación:
Cuando se imponen relaciones de anticonmutación, al calcular el anticonmutador se obtiene:
Con relaciones de anticonmutación, el signo del sector \(d\) es \(+1\), lo que cambia el signo relativo de los dos términos. Para intervalos de tipo espacial \((x-y)^2 < 0\), por el argumento de invariancia de Lorentz, estos dos términos se cancelan exactamente:
donde \(\Delta(x-y)\) es la función de Pauli-Jordan del campo escalar, que se anula para intervalos de tipo espacial.
Consistencia con la causalidad: A primera vista, podría parecer cuestionable si \(\{\hat{\psi}(x), \bar{\hat{\psi}}(y)\} = 0\) es una condición suficiente para la causalidad, ya que solo el anticonmutador es cero, no el conmutador. Sin embargo, los observables físicos se escriben como productos de un número par de campos fermiónicos (formas bilineales). Por ejemplo:
- Densidad de corriente: \(j^\mu = \bar{\psi}\gamma^\mu\psi\)
- Densidad de energía: \(\mathcal{H} = \psi^\dagger(-i\gamma^0\boldsymbol{\gamma}\cdot\nabla + m\gamma^0)\psi\)
- Operadores que aparecen en amplitudes de dispersión
El conmutador de estos observables \(\mathcal{O}_1(x) = \bar{\psi}(x)\Gamma_1\psi(x)\), \(\mathcal{O}_2(y) = \bar{\psi}(y)\Gamma_2\psi(y)\) es:
Esto se deduce de \(\{\hat{\psi}(x), \bar{\hat{\psi}}(y)\} = 0\). Al intercambiar los campos fermiónicos dos veces, el signo cambia dos veces, y como resultado el conmutador se anula. Por lo tanto, a nivel de observables, la causalidad se preserva completamente.
(d) Resumen del teorema de espín y estadística:
Organizamos la discusión anterior desde dos puntos de vista.
(i) Positividad de la energía (resultados de S1):
| Tipo de campo | Con relaciones de conmutación | Con relaciones de anticonmutación |
|---|---|---|
| Espín entero (bosones) | Hamiltoniano definido positivo ✓ | Hamiltoniano idénticamente cero (teoría trivial) ✗ |
| Espín semientero (fermiones) | Energía no acotada inferiormente ✗ | Hamiltoniano definido positivo ✓ |
Si se imponen relaciones de anticonmutación a campos de espín entero, se obtiene \((\hat{a}^{s\dagger})^2 = 0\) y los grados de libertad del campo bosónico desaparecen (se obtiene una teoría trivial). Si se imponen relaciones de conmutación a campos de espín semientero, la energía no está acotada inferiormente (como se mostró en S1).
(ii) Causalidad (resultados de este problema):
| Tipo de campo | Con relaciones de conmutación | Con relaciones de anticonmutación |
|---|---|---|
| Espín entero (bosones) | Causalidad ✓ | Causalidad ✗ |
| Espín semientero (fermiones) | Causalidad ✗ | Causalidad ✓ |
La cancelación de las amplitudes de propagación para intervalos de tipo espacial depende del signo relativo de las contribuciones de partículas y antipartículas. Solo cuando se imponen relaciones de conmutación para espín entero y relaciones de anticonmutación para espín semientero ocurre la cancelación correcta.
Conclusión (Teorema de espín y estadística):
En una teoría de campos local e invariante de Lorentz, para satisfacer simultáneamente la positividad de la energía y la causalidad, los campos de espín entero deben cuantizarse como bosones (relaciones de conmutación) y los campos de espín semientero deben cuantizarse como fermiones (relaciones de anticonmutación).
Este es un teorema demostrado rigurosamente por Pauli y constituye uno de los resultados más profundos de la teoría cuántica de campos.
A-2. Transformaciones \(C\), \(P\), \(T\) y teorema \(CPT\)¶
Problema:
Consideremos las simetrías discretas \(C\) (conjugación de carga (charge conjugation)), \(P\) (inversión espacial (parity)) y \(T\) (inversión temporal (time reversal)) para el campo de Dirac.
(a) Supongamos que bajo la transformación de paridad \(P\), el campo de Dirac se transforma como
(donde \(\eta_P\) es un factor de fase). Demuestra que bajo esta regla de transformación, la ecuación de Dirac \((i\gamma^\mu\partial_\mu - m)\psi = 0\) es invariante.
(b) Definimos la transformación de conjugación de carga \(C\) como
donde \(C\) es la matriz de conjugación de carga que satisface \(C\gamma^{\mu T}C^{-1} = -\gamma^\mu\). Utilizando la expansión en modos, demuestra que la transformación \(C\) intercambia partículas y antipartículas (\(\hat{b}^s_{\boldsymbol{p}} \leftrightarrow \hat{d}^s_{\boldsymbol{p}}\)).
(c) Verifica que cuando se aplica el producto de la transformación \(CPT\) al campo de Dirac, el lagrangiano \(\mathcal{L} = \bar{\psi}(i\not\!\partial - m)\psi\) es invariante. Mencionando que el teorema \(CPT\) es un teorema general que se deriva de la invariancia de Lorentz y la localidad, demuestra la invariancia en este ejemplo concreto.
(a) Invariancia de la ecuación de Dirac bajo transformación de paridad:
Estrategia de resolución:
Se demuestra que el campo transformado \(\psi'(t, \boldsymbol{x}) = \eta_P\gamma^0\psi(t, -\boldsymbol{x})\) satisface la ecuación de Dirac.
Cálculo detallado:
Supongamos que el campo original \(\psi(t, \boldsymbol{x})\) satisface la ecuación de Dirac:
Escribimos el campo transformado como \(\psi'(x') = \eta_P\gamma^0\psi(x)\), donde \(x' = (t, -\boldsymbol{x})\) y \(x = (t, \boldsymbol{x})\).
La ecuación de Dirac para \(\psi'\) en coordenadas \(x'\) se escribe:
Como \(x'^j = -x^j\), se tiene \(\frac{\partial}{\partial x'^j} = -\frac{\partial}{\partial x^j}\). Sustituyendo \(\psi'(t, \boldsymbol{x}') = \eta_P\gamma^0\psi(t, \boldsymbol{x})\):
Para mover \(\gamma^0\) hacia la izquierda a través de las matrices \(\gamma\), usamos las relaciones de conmutación:
Por lo tanto:
La última igualdad se verifica extrayendo \(\gamma^0\) como factor por la izquierda: \(\gamma^0 \cdot i\gamma^0\partial_0 = i(\gamma^0)^2\partial_0 = i\partial_0\) ✓, \(\gamma^0 \cdot i\gamma^j\partial_j = i\gamma^0\gamma^j\partial_j\) ✓, \(\gamma^0 \cdot (-m) = -m\gamma^0\) ✓.
Por lo tanto:
El contenido del paréntesis es exactamente el lado izquierdo de la ecuación de Dirac original, que es cero ya que \(\psi\) satisface la ecuación de Dirac.
(b) Transformación de conjugación de carga e intercambio partícula-antipartícula:
Estrategia de resolución:
Se sustituye la expansión en modos en la definición de la transformación \(C\), \(\hat{C}\hat{\psi}(x)\hat{C}^{-1} = \eta_C C\bar{\hat{\psi}}^T(x)\), y se demuestra el intercambio de \(b\) y \(d\).
Cálculo detallado:
Obtenemos la expansión en modos de \(\bar{\psi}^T\). Como \(\bar{\psi} = \psi^\dagger\gamma^0\):
Tomando la transpuesta:
Multiplicando por la matriz \(C\):
Aquí, a partir de la propiedad de la matriz de conjugación de carga \(C\gamma^{\mu T}C^{-1} = -\gamma^\mu\), se establecen las siguientes relaciones para las soluciones de la ecuación de Dirac:
donde \(\eta^s_v, \eta^s_u\) son factores de fase (\(|\eta| = 1\)). Esto significa que la matriz \(C\) conecta los espinores de energía positiva \(u\) con los espinores de energía negativa \(v\).
Sustituyendo:
Comparando con la expansión en modos original
para que se cumpla \(\hat{C}\hat{\psi}\hat{C}^{-1} = \eta_C C\bar{\hat{\psi}}^T\), se requiere:
Es decir (salvo factores de fase):
La transformación de conjugación de carga \(C\) intercambia partículas y antipartículas.
(c) Invariancia del lagrangiano bajo la transformación \(CPT\):
Estrategia de resolución:
Se aplican sucesivamente las transformaciones \(C\), \(P\), \(T\) y se verifica que el lagrangiano es invariante.
Cálculo detallado:
Resumimos la acción de cada transformación sobre el campo de Dirac:
Paridad \(P\):
Inversión temporal \(T\): (\(T\) es un operador antiunitario)
Conjugación de carga \(C\):
Consideramos la composición de la transformación \(CPT\). Definiendo \(\Theta = CPT\), con una elección adecuada de los factores de fase:
donde \(\gamma^5 \equiv i\gamma^0\gamma^1\gamma^2\gamma^3\) y \(\hat{\psi}^c\) es el campo conjugado de carga. Más concretamente:
Verificamos la transformación \(CPT\) del lagrangiano \(\mathcal{L} = \bar{\psi}(i\gamma^\mu\partial_\mu - m)\psi\).
Bajo la transformación \(CPT\), \(x^\mu \to -x^\mu\), por lo que \(\partial_\mu \to -\partial_\mu\).
Sustituyendo las transformaciones de \(\bar{\psi}\) y \(\psi\), y utilizando las propiedades de \(\gamma^5\):
cada término del lagrangiano se transforma como:
Término cinético: Transformación \(CPT\) de \(\bar{\psi}(x)i\gamma^\mu\partial_\mu\psi(x)\)
Los dos cambios de signo provenientes de \(\partial_\mu \to -\partial'_\mu\) (por \(x \to -x\)) y de \(\gamma^5\gamma^\mu = -\gamma^\mu\gamma^5\) se cancelan mutuamente, y el término cinético es invariante.
Término de masa: Transformación \(CPT\) de \(-m\bar{\psi}(x)\psi(x)\)
\(\gamma^5\) aparece dos veces y \((\gamma^5)^2 = \mathbf{1}\), por lo que el término de masa también es invariante.
Por lo tanto:
El lagrangiano de Dirac es invariante bajo la transformación \(CPT\).
Sobre el teorema \(CPT\):
El teorema \(CPT\) es un teorema general que se cumple en cualquier teoría de campos que satisfaga las siguientes condiciones:
- Invariancia de Lorentz (simetría de Poincaré)
- Localidad (el lagrangiano es una función local del campo y sus derivadas de orden finito)
- Positividad de la energía (el hamiltoniano está acotado inferiormente)
Bajo estas condiciones, se demuestra que la transformación \(CPT\) es siempre una simetría de la teoría (teorema de Lüders-Pauli). El caso del campo de Dirac mostrado arriba es un ejemplo concreto de este teorema general.
Como consecuencias importantes del teorema \(CPT\):
- Partículas y antipartículas tienen la misma masa
- Partículas y antipartículas tienen el mismo tiempo de vida
- Si la simetría \(CP\) está violada, entonces la simetría \(T\) también está violada (y viceversa)
Verificación:
La invariancia de la ecuación de Dirac bajo cada una de las transformaciones \(C\), \(P\), \(T\) individualmente fue confirmada para \(P\) en el apartado (a). Para \(C\) y \(T\) se puede verificar de manera análoga. La invariancia del lagrangiano bajo la composición de las tres transformaciones se deduce automáticamente de la invariancia bajo cada una por separado, pero arriba también se confirmó directamente.
Además, la anticonmutación de \(\gamma^5\), \(\{\gamma^5, \gamma^\mu\} = 0\), se deduce del álgebra de Clifford:
(Cuando se anticonmuta \(\gamma^\mu\) con las cuatro matrices \(\gamma\) que componen \(\gamma^5\): para cualquier valor de \(\mu\) entre \(0,1,2,3\), \(\gamma^\mu\) conmuta con sí misma dentro de \(\gamma^5\) (produciendo \((\gamma^\mu)^2\)) y anticonmuta con las tres restantes, dando un signo global de \((-1)^3 = -1\).) \(\checkmark\)
Feedback on this page
Let us know if something was unclear, incorrect, or could be improved.