Spacetime and Geometry · Problem exercise-1.97

Special Relativity and Flat Spacetime — Sean Carroll

Physics — General Relativity · maxwell-equations-tensor-form

Problem

Show that the third and fourth equations in (1.93) can be written as ∂[μFνλ]=0\partial_{[\mu} F_{\nu\lambda]} = 0, and equivalently as ∂μFνλ+∂νFλμ+∂λFμν=0\partial_\mu F_{\nu\lambda} + \partial_\nu F_{\lambda\mu} + \partial_\lambda F_{\mu\nu} = 0.
Intuitive explanation
GIST
This problem asks you to show that two of Maxwell's equations—the ones with no charges or currents in them—are secretly just one elegant statement about how the electromagnetic field tensor refuses to "curl up" the wrong way.
THE PICTURE
The field strength tensor FμνF_{\mu\nu} is an antisymmetric box of numbers that bundles all the electric and magnetic field components together. The two homogeneous Maxwell equations—∇⋅B=0\nabla \cdot \mathbf{B} = 0 and ∇×E=−∂tB\nabla \times \mathbf{E} = -\partial_t \mathbf{B}—look like four separate scalar statements, but they're really one geometric constraint hiding in plain sight.
THE KEY MOVE
Write out the totally antisymmetric combination ∂[μFνλ]\partial_{[\mu} F_{\nu\lambda]}, which expands into the cyclic sum ∂μFνλ+∂νFλμ+∂λFμν\partial_\mu F_{\nu\lambda} + \partial_\nu F_{\lambda\mu} + \partial_\lambda F_{\mu\nu}. Then just plug in specific index choices—pick all-spatial indices to recover ∇⋅B=0\nabla \cdot \mathbf{B} = 0, and one time index plus two space indices to recover Faraday's law—and watch the components fall out.
WHY IT MATTERS
This is the Bianchi identity, and the fact that these equations follow automatically once you write Fμν=∂μAν−∂νAμF_{\mu\nu} = \partial_\mu A_\nu - \partial_\nu A_\mu in terms of a potential reveals they're really statements of geometry, foreshadowing how gauge fields and curvature work throughout modern physics.
Intuitive explanation
GIST
This problem asks you to show that two of Maxwell's equations—the ones with no charges or currents in them—are secretly just one elegant statement about how the electromagnetic field tensor refuses to "curl up" the wrong way.
THE PICTURE
The field strength tensor FμνF_{\mu\nu} is an antisymmetric box of numbers that bundles all the electric and magnetic field components together. The two homogeneous Maxwell equations—∇⋅B=0\nabla \cdot \mathbf{B} = 0 and ∇×E=−∂tB\nabla \times \mathbf{E} = -\partial_t \mathbf{B}—look like four separate scalar statements, but they're really one geometric constraint hiding in plain sight.
THE KEY MOVE
Write out the totally antisymmetric combination ∂[μFνλ]\partial_{[\mu} F_{\nu\lambda]}, which expands into the cyclic sum ∂μFνλ+∂νFλμ+∂λFμν\partial_\mu F_{\nu\lambda} + \partial_\nu F_{\lambda\mu} + \partial_\lambda F_{\mu\nu}. Then just plug in specific index choices—pick all-spatial indices to recover ∇⋅B=0\nabla \cdot \mathbf{B} = 0, and one time index plus two space indices to recover Faraday's law—and watch the components fall out.
WHY IT MATTERS
This is the Bianchi identity, and the fact that these equations follow automatically once you write Fμν=∂μAν−∂νAμF_{\mu\nu} = \partial_\mu A_\nu - \partial_\nu A_\mu in terms of a potential reveals they're really statements of geometry, foreshadowing how gauge fields and curvature work throughout modern physics.

Related theory

Browse the problem library