Case Study 1 — Maxwell's Equations as Two Lines

Field: Physics, mathematical physics Calculus used: Differential forms (Section 38.2), the exterior derivative and $d^2 = 0$ (Sections 38.3, 38.6), the generalized Stokes' theorem (Section 38.4)

In 1865 James Clerk Maxwell published a set of equations that did something no equations had done before: they united electricity, magnetism, and light into a single theory. Generations of physics students have since memorized them as four laws — Gauss's law for the electric field, Gauss's law for the magnetic field, Faraday's law of induction, and the Ampère–Maxwell law. Written in the vector calculus you learned in Chapter 37, they look like four distinct statements, each with its own divergence or curl, its own physical story, its own name. They are beautiful, but they do not look unified. They look like a committee.

The differential forms of this chapter reveal that the committee is really one author. In the language of forms, all four of Maxwell's equations collapse into two: $$dF = 0, \qquad d{\star}F = J.$$ This case study is the story of how that collapse happens — and why it is far more than notational tidiness. It is a window into how the abstractions of Section 38.2 (forms), Section 38.3 (the exterior derivative), and Section 38.6 (the identity $d^2 = 0$) became the working language of fundamental physics.

The four equations, briefly

In vector form, in a vacuum with sources, Maxwell's equations are: $$\nabla\cdot\mathbf{E} = \frac{\rho}{\varepsilon_0}, \qquad \nabla\cdot\mathbf{B} = 0,$$ $$\nabla\times\mathbf{E} = -\frac{\partial\mathbf{B}}{\partial t}, \qquad \nabla\times\mathbf{B} = \mu_0\mathbf{J} + \mu_0\varepsilon_0\frac{\partial\mathbf{E}}{\partial t}.$$ The first says electric charge $\rho$ is the source of the electric field. The second says there are no magnetic charges — no monopoles. The third (Faraday) says a changing magnetic field induces a circulating electric field; this is why generators work. The fourth (Ampère–Maxwell) says currents $\mathbf{J}$ and changing electric fields produce circulating magnetic fields; Maxwell's added $\partial\mathbf{E}/\partial t$ term is what made electromagnetic waves — light — possible.

Look at their shape. Two of them have no source on the right ($\nabla\cdot\mathbf{B}=0$ and Faraday's law, once you move the $\mathbf{B}$ term over). Two of them carry sources ($\rho$ and $\mathbf{J}$). That split — source-free versus with sources — is the hinge on which the form-language unification turns.

Spacetime, and the Faraday 2-form

The first move is to stop treating space and time separately. Electromagnetism is naturally a theory on four-dimensional spacetime, with coordinates $(t, x, y, z)$. On this $4$-manifold, the electric field $\mathbf{E}$ and magnetic field $\mathbf{B}$ are not two separate vector fields — they are two faces of a single object, the Faraday $2$-form $F$.

A $2$-form in four dimensions has six independent components (there are six ways to choose two of the four coordinate directions: $dt\wedge dx$, $dt\wedge dy$, $dt\wedge dz$, $dx\wedge dy$, $dy\wedge dz$, $dz\wedge dx$). And $\mathbf{E}$ has three components, $\mathbf{B}$ has three — six in total. They fit. Concretely, $$F = E_x\,dx\wedge dt + E_y\,dy\wedge dt + E_z\,dz\wedge dt + B_x\,dy\wedge dz + B_y\,dz\wedge dx + B_z\,dx\wedge dy.$$ The three "time" components carry $\mathbf{E}$; the three "spatial" components carry $\mathbf{B}$. What looked like two vector fields is one geometric quantity. This is the same lesson as Section 38.2: the right object to integrate over a two-dimensional piece of spacetime is a $2$-form, and electromagnetism obligingly hands us exactly such an object.

The source-free pair: $dF = 0$

Now apply the exterior derivative $d$ from Section 38.3. Because $F$ is a $2$-form, $dF$ is a $3$-form, and a short computation — exactly the kind you practiced turning a $1$-form into a curl — shows that the components of $dF$ are precisely the left-hand sides of the two source-free equations. Setting $dF = 0$ simultaneously asserts $$\nabla\cdot\mathbf{B} = 0 \quad\text{and}\quad \nabla\times\mathbf{E} + \frac{\partial\mathbf{B}}{\partial t} = \mathbf{0}.$$ Two of Maxwell's equations, packaged into the single statement $dF = 0$.

Here is where the identity $d^2 = 0$ from Section 38.6 makes a dramatic entrance. It is a fact that the Faraday form can be written as $F = dA$, where $A$ is the electromagnetic potential $1$-form (its components are the familiar scalar and vector potentials $\phi$ and $\mathbf{A}$). If $F = dA$, then $$dF = d(dA) = 0$$ automatically — not because of any physical law, but because applying $d$ twice always gives zero. The two source-free Maxwell equations are not independent empirical facts at all; they are a mathematical identity, forced the instant you write the field as the derivative of a potential.

The Key Insight. $dF = 0$ is the electromagnetic shadow of $d^2 = 0$. The absence of magnetic monopoles — $\nabla\cdot\mathbf{B} = 0$ — is the same statement as "curl of a gradient is zero," lifted into spacetime. Two of nature's laws turn out to be one of calculus's identities.

This is why physicists, when they search for magnetic monopoles, are really asking whether $F = dA$ can fail. If monopoles existed, $dF$ would not vanish, and the potential $A$ could not exist globally — exactly the closed-but-not-exact situation of Section 38.6, where a hole in the space obstructs writing a closed form as $d$ of something.

The sourced pair: $d{\star}F = J$

The other two equations — the ones carrying charge and current — require one more ingredient, the Hodge star $\star$. In $\mathbb{R}^3$ the Hodge star pairs a form with its orthogonal complement: it sends $dx\mapsto dy\wedge dz$, sends $dx\wedge dy\mapsto dz$, and so on. In four-dimensional spacetime it does the analogous job, turning the $2$-form $F$ into another $2$-form $\star F$ that essentially swaps the roles of $\mathbf{E}$ and $\mathbf{B}$.

Apply $d$ to $\star F$, and its components reproduce the left-hand sides of Gauss's law and the Ampère–Maxwell law. Setting it equal to the current $3$-form $J$ (which packages the charge density $\rho$ and current $\mathbf{J}$ into one object) gives $$d{\star}F = J,$$ which unpacks to $$\nabla\cdot\mathbf{E} = \frac{\rho}{\varepsilon_0} \quad\text{and}\quad \nabla\times\mathbf{B} - \mu_0\varepsilon_0\frac{\partial\mathbf{E}}{\partial t} = \mu_0\mathbf{J}.$$ The remaining two Maxwell equations, in one line.

There is a bonus. Apply $d$ to both sides of $d{\star}F = J$. The left side becomes $d(d{\star}F) = 0$ by $d^2 = 0$ again, forcing $dJ = 0$ — which is exactly the conservation of electric charge (the continuity equation $\partial_t\rho + \nabla\cdot\mathbf{J} = 0$). Charge conservation is not an extra postulate; it is a free consequence of writing the sourced equation in form language. The same two-character identity $d^2 = 0$ that killed the monopoles now guarantees that charge is never created or destroyed.

Why this is more than tidiness

A skeptic might grant that two lines are prettier than four and still ask: so what? The answer is that the form language does work the four-equation version cannot do.

First, it is coordinate-free (Section 38.8). The equations $dF = 0$ and $d{\star}F = J$ mention no $x$, $y$, $z$, or $t$ — they are statements about forms on a manifold. This means they hold unchanged in the curved spacetime of general relativity. Electromagnetism near a black hole requires no new equations; you read the very same two lines on a curved manifold. The vector-calculus version, wedded to flat Cartesian coordinates, cannot make that leap.

Second, it generalizes. Replace the abelian potential $A$ with a matrix-valued one and the same structure — a potential, a field strength $F = dA + A\wedge A$, the identity-driven $dF$ relation — produces Yang–Mills theory, the framework for the weak and strong nuclear forces. The entire Standard Model of particle physics is written in this language. The cathedral's upper floors that Section 38.11 pointed to — gauge theory — are reached by walking straight up from $dF = 0$.

Third, it explains conservation laws as geometry. We saw charge conservation fall out of $d^2 = 0$. The same mechanism, applied to the curvature of spacetime, yields the conservation of energy and momentum in general relativity (via the Bianchi identity, itself a $d^2 = 0$-type statement). Conservation laws stop being lucky accidents and become consequences of the structure of the exterior derivative.

Lessons

What began as four memorized laws is, at bottom, two geometric statements built from objects you now recognize: a $2$-form, the exterior derivative, the Hodge star, and the identity $d^2 = 0$. The unification is not cosmetic. It is the reason electromagnetism survives the trip into curved spacetime, the template for the rest of fundamental physics, and a vivid demonstration that the master theorem $\int_{\partial M}\omega = \int_M d\omega$ and its companion $d^2 = 0$ are not abstractions for their own sake — they are how the universe keeps its books.

Discussion Questions

  1. Why can $\mathbf{E}$ and $\mathbf{B}$ be combined into a single $2$-form, while in three-dimensional vector calculus they seemed separate? (Hint: count components and think about which dimension we are working in.)
  2. The absence of magnetic monopoles is "automatic" once $F = dA$. Explain how this is the physical content of $d^2 = 0$, and what would have to break for monopoles to exist.
  3. Charge conservation falls out of $dJ = 0$. Trace that conclusion back through $d^2 = 0$. Why is it satisfying that a conservation law is forced rather than assumed?
  4. Why does the coordinate-free nature of forms matter so much for general relativity? What would change if Maxwell's equations could only be written in Cartesian coordinates?
  5. The same structure ($F = dA$, $dF = 0$) generalizes from electromagnetism to the Standard Model. What does this suggest about the role of differential forms in physics as a whole?

Annotated Further Reading

  • Misner, Thorne, and Wheeler (1973), Gravitation. The monumental classic; its chapters on electromagnetism present $dF = 0$ and $d{\star}F = J$ with unmatched geometric pictures of forms as "honeycombs" and "tubes." Demanding but unforgettable.
  • Flanders (1989), Differential Forms with Applications to the Physical Sciences. A short, concrete Dover paperback that derives the Maxwell-as-two-forms result with minimal prerequisites — the ideal next step after this chapter.
  • Baez and Muniain (1994), Gauge Fields, Knots and Gravity. A friendly, conversational bridge from vector calculus to gauge theory; it builds the $F = dA$ picture carefully and then generalizes it to the other forces.
  • Carroll (2003), Spacetime and Geometry. A modern GR textbook whose appendix on differential forms shows exactly how the two Maxwell equations survive the move to curved spacetime.

Your Turn

  1. Write out the six components of the Faraday $2$-form $F$ for a simple configuration (say, a constant electric field in the $x$-direction and no magnetic field). Identify which terms are nonzero.
  2. Verify, in words, why $F = dA$ forces $dF = 0$ — without computing, just by invoking $d^2 = 0$.
  3. Read a derivation of charge conservation from $d{\star}F = J$, and write one paragraph explaining where $d^2 = 0$ enters.