Representations of Maxwell's equations: Part IV: differential forms

This is the final video in a series about representations of Maxwell's equations.

We started with the vector form of Maxwell's equations (for linear isotropic media), and then:

• adjusted the equations for dimensional consistency
• merged them into the single geometric algebra form of Maxwell's equation (singular), using the geometric algebra for R^3 (Euclidean 3D space.)
• Derived the STA (space time algebra) form of Maxwell's equation. STA is the geometric algebra that uses the Dirac basis (what is known as gamma matrices in QFT.) Unlike QFT, we won't care about which matrix representation is used, and in fact won't even care that there is a matrix representation. Instead we treat this as an abstract basis, subject to a specific metric (i.e. specification of the dot products of the unit vectors in the basis.)
• showed that the trivector term of Maxwell's equation implies that there is a four-potential representation of the electromagnetic field
• showed that the Lorentz gauge choice leads to four independent equations, one for each component of the four potential.
• showed how to make a gauge transformation to satisfy the Lorentz gauge choice
• showed that the gauge choice is automatically filtered out of the field, by virtue of the curl operation
• showed how the four-potential representation of the field can be expanded in coordinates (i.e. tensor formulation starts to kick in)
• expanded the trivector term of Maxwell's equations in coordinates to obtain the source free term of Maxwell's equations in the tensor representations
• did the same for the vector term of Maxwell's equation, to obtain the source dependent Maxwell's tensor equation
• wrote down the relationships between the original vector electric and magnetic field components and the Maxwell tensor field

In this video, we also express Maxwell's equations in terms of differential forms, which is very similar to the tensor form representation, also requiring two equations. We make a duality transformation to map the vector component of Maxwell's equation to a trivector, which we can then represent as a total derivative operator (isomorphic to the curl.)

The viewer may also be interested in the following math.se answer:

https://math.stackexchange.com/a/4409471/359

which provides an overview of the material that we will be covering.