Tensor de momento de energía del campo EM escrito en forma simétrica

Estoy leyendo el libro de A. Zee, Einstein Gravity in a Nutshell . En el problema 7 del capítulo IV.2 se dice que el tensor de momento energético del campo electromagnético

T m v = η λ σ F m λ F v σ 1 4 η m v F σ ρ F σ ρ
se puede escribir en la forma simétrica usando el tensor electromagnético dual definido como F ~ m v = 1 2 ϵ m v λ σ F λ σ ,
T m v = 1 2 η λ σ ( F m λ F v σ + F ~ m λ F ~ v σ ) .
Se menciona en el problema 6 que la clave es la identidad
η λ σ ( F m λ F v σ F ~ m λ F ~ v σ ) = 1 2 η m v F ρ τ F ρ τ
Sin embargo, estoy atascado al probar esta identidad. El primer problema es que no puedo separar un η m v del primer término del lado izquierdo. El segundo problema es que el segundo término tendrá algo así como ϵ m λ α β ϵ   λ γ η v después de conectar la expresión de tensor dual, pero no sé cómo simplificarlo. ¿Alguna pista sobre la prueba de esta identidad?

¿Cual es tu meta? Si su objetivo es simplemente derivar un tensor EM simétrico para el campo EM, entonces varíe la acción EM con respecto a la métrica, por ejemplo, como se hace en el libro de Carroll en la Sección 4.3.
Solo tengo curiosidad de cómo se deriva la última identidad ya que estoy revisando todos los problemas en el libro de Zee. Es uno de los problemas, así que creo que no será demasiado complicado.

Respuestas (2)

Puedes expresar el producto de dos ϵ está usando lo siguiente:

ϵ m λ α β ϵ τ λ γ η = ϵ λ m α β ϵ λ τ γ η = ϵ m α β ϵ τ γ η
= d τ m ( d γ α d η β d η α d γ β ) d γ m ( d τ α d η β d η α d τ β ) + d η m ( d τ α d γ β d γ α d τ β )

Gracias. Creo que esto puede encargarse del segundo término para producir lo que queremos, pero ¿alguna sugerencia sobre qué hacer con el primer término? Los índices libres están en dos F, y creo que es crucial moverlos a la métrica. Todavía no puedo encontrar una manera de hacer esto.
Gracias, resulta que siempre que se simplifique el segundo término, dará un término que cancelará el primer término, ¡y el recordatorio es lo que queremos!

El primer paso es resolver el segundo problema, que es encontrar el producto F ~ m v F ~ m v . Para esto, necesitarás calcular el producto.

(1) ϵ α β γ d ϵ m v ρ σ = ( 1 ) s d m v ρ σ α β γ d ,
dónde s es el número de valores propios negativos de la métrica [ 1 ] y d m v ρ σ α β γ d es el delta de Kronecker generalizado, que podemos expresar como
(2) d m v ρ σ α β γ d = d σ d d m v ρ α β γ d σ γ d m v ρ α β d + d σ β d m v ρ α γ d d σ α d m v ρ β γ d .
Puede encontrar un estudio general del delta de Kronecker en [ 2 ].

Una vez sabiendo (1) , podrás calcular el producto F ~ m v F ~ m v .

El primer problema se puede resolver mediante un juego de índices ascendentes y descendentes, siempre y cuando recuerdes que

(3) η m ρ η m ρ = d m m = 4 1 4 η m ρ η m ρ = 1.

1 Sean Carrol, Espacio-tiempo y geometría : una introducción a la relatividad general .

2 David Lovelock y Hanna Rund, Tensor, formas diferenciales y principios variacionales , sección 4.2, página 109.

Gracias. Resuelvo este problema siguiendo tu sugerencia. ¡Las dos identidades que muestras aquí son cruciales!