Conservation Laws and Spacetime Symmetries

This chapter has been a procession of conservation laws, each earned by algebra: charge (the divergence of Ampère–Maxwell), energy (Poynting's manipulation), momentum (the Faraday-symmetrized force density), angular momentum (a cross product and a symmetric tensor), and the center-of-energy theorem (a boost-flavored transport identity). Every derivation had the same eerie quality — terms conspiring, at the last moment, into perfect continuity form — and this closing article explains the conspiracy. None of those laws is an accident of Maxwell's equations. Each is the shadow of a symmetry of spacetime itself, delivered by the deepest theorem in mathematical physics: Emmy Noether's 1918 result that every continuous symmetry of a physical action manufactures exactly one conservation law. The dictionary is the article. Physics unchanged by shifts in time → energy conserved (Poynting's theorem, revealed as a symmetry statement). Unchanged by shifts in space → momentum (the conservation theorem's "miracle" algebra, explained). Unchanged by rotations → angular momentum, and — the same entry read closer — the symmetry of the stress tensor. Unchanged under boosts → the center-of-energy theorem that forced hidden momentum into existence. And one symmetry not of spacetime but of the theory's own redundancy — gauge invariance → charge conservation, closing the loop to this chapter's opening article. The unifying object is the stress–energy tensor $T^{\mu\nu}$ : one 4×4 array whose slots are precisely this chapter's cast — energy density, Poynting flux, momentum density, Maxwell stress — and whose single conservation equation $\partial_\mu T^{\mu\nu} = -F^{\nu\lambda}J_\lambda$ is all four spacetime laws at once. The equality $\mathbf{g} = \mathbf{S}/c^2$ you have used for eight articles turns out to be one entry of that array equaling its mirror: a symmetry, literally.

Key takeaways

Noether's theorem: every continuous symmetry of the action yields a conservation law. The chapter's laws are not clever algebra but spacetime's symmetries wearing field-theory clothes.
The dictionary: time translation → energy (Poynting) · space translation → momentum · rotation → angular momentum and $T_{ij} = T_{ji}$ · boost → center-of-energy theorem (hidden momentum's foundation) · gauge redundancy → charge conservation.
One object holds all of it: $T^{\mu\nu}$ with $T^{00} = u$ , $T^{0i} = S_i/c$ , $T^{i0} = cg_i$ , $T^{ij} = -T_{ij}^{\text{Maxwell}}$ ; the balance equation $\partial_\mu T^{\mu\nu} = -F^{\nu\lambda}J_\lambda$ reproduces, component by component, Poynting's theorem ( $\nu = 0$ ) and the momentum theorem ( $\nu = i$ ) — audited here.
$T^{\mu\nu} = T^{\nu\mu}$ is $\mathbf{g} = \mathbf{S}/c^2$ : the chapter-long identity is the tensor's symmetry. $T^\mu{}_\mu = 0$ is the photon's masslessness.
Mechanics track kinship: the same dictionary generated Conservation of Linear Momentum and Noether's Theorem for particles — fields inherit it wholesale, with densities replacing sums.
KEY IDEA: the conservation laws of electrodynamics are the Noether currents of spacetime's symmetries — ten symmetries of flat spacetime, ten conserved quantities, all packaged in one symmetric, traceless stress–energy tensor.

The core insight

Every conservation law this chapter derived — energy, momentum, angular momentum, center-of-energy, charge — is the Noether current of a continuous symmetry (time and space translations, rotations, boosts, gauge), unified in the symmetric stress–energy tensor $T^{\mu\nu}$ whose conservation equation contains them all.

Where this lives today

Noether's dictionary is the organizing principle of modern physics rather than one of its results. The Standard Model is built by running the gauge entry in reverse: postulate the symmetry (three gauge groups), and conservation laws plus force laws follow — electric charge, color, weak isospin are all Noether charges, and the discovery workflow of particle physics (spot a conservation pattern → hunt its symmetry → build the Lagrangian) is the dictionary used as a compass. Condensed matter runs the broken-symmetry rows: crystals break translation (momentum becomes quasi-momentum, conserved modulo reciprocal-lattice kicks — the entire band-structure edifice), and every Goldstone mode (phonons, magnons) is a broken Noether symmetry's low-energy echo. In gravitation the tensor of this article graduates to source: $T^{\mu\nu}$ — the very layout of equation (1), matter terms added — sits on the right side of Einstein's field equations, so the chapter's energy densities and stresses literally curve spacetime; and the subtleties of global energy conservation in curved spacetime (where time-translation symmetry may not exist) remain a live and careful corner of relativity, resolved case by case exactly as the warning box prescribes — name the symmetry, check it holds. Numerical relativity and LIGO analysis verify their simulations by auditing the radiated $T^{\mu\nu}$ fluxes of merging black holes; the "kick" of asymmetric mergers is the momentum row's boundary term, gravity edition. And Noether's own centennial (2018) saw her theorem's status made official across fields: the most consequential single theorem connecting symmetry to dynamics — proved by a mathematician who, at the time, could not hold a paid professorship.

Origins · 1 minEmmy Noether and how this was discovered

Emmy Noether

1882–1935 · Erlangen, Göttingen, Bryn Mawr

The E6 continuity article introduced Noether through her second theorem; the chapter's capstone belongs to her first. Amalie Emmy Noether proved both in a single 1918 paper (Invariante Variationsprobleme), written to resolve a crisis in general relativity: Hilbert and Klein were troubled that gravitational energy conservation seemed to hold only as an identity, and Noether's paper sorted the whole landscape — global symmetries yield genuine conservation laws (theorem I: this article), gauge-type local symmetries yield identities (theorem II: the charge-conservation reading). Einstein wrote to Hilbert that her mastery was "penetrating"; Göttingen still refused her a professorship ("what will our soldiers think when they return and find they are expected to learn at the feet of a woman?" — Hilbert's retort about the faculty senate not being a bathhouse is the era's most quoted committee minute). She habilitated only in 1919, lectured for years under Hilbert's name, and meanwhile rebuilt algebra itself — ideals, rings, the abstract structural style that defines the subject; "Noetherian" is mathematics' everyday adjective for her legacy. Dismissed as a Jew in 1933, she moved to Bryn Mawr and died two years later at 53. Her theorem is the reason this chapter's every "miraculous" manipulation had to work: the conspiracies were symmetries, and she is the one who proved conspiracies of that kind are never accidents.

History

1915

— Hilbert and Klein, wrestling with energy conservation in general relativity, bring the problem to Noether

1918

— Invariante Variationsprobleme: both Noether theorems; symmetry and conservation formally welded

1919

— Noether finally permitted to habilitate at Göttingen; her lectures had run under Hilbert's name

1926

— The stress-energy tensor's Belinfante-Rosenfeld symmetrization program begins organizing field-theory bookkeeping

1954

— Yang and Mills run the gauge entry in reverse: postulated local symmetry generates new forces — the Standard Model's template

1971

— Wess and Zumino extend the dictionary toward supersymmetry: new symmetries, new conservation laws, still Noether's grammar

2018

— Centennial of the theorems; Noether's first theorem stands as the deepest single link between symmetry and dynamics in physics

The physical picture

Start with the question the chapter has quietly begged. Why should anything be conserved? Newtonian pedagogy treats conservation laws as happy facts — discovered, verified, memorized. But this chapter derived each one from Maxwell's equations by manipulations that looked, each time, like luck: a product rule here, a free zero there, and suddenly a continuity equation. Luck, five times running, is structure. The structure is this: Maxwell's equations follow from an action principle (the mechanics track's stationary-action machinery, promoted from particle paths to field configurations), and that action does not care when you run the experiment, where you put it, which way it faces, or how fast the laboratory drifts. Each indifference is a continuous symmetry; and Noether's theorem — proved in the mechanics track for particles (Noether's Theorem, cross-track kin of this article), stated here for fields — converts each into a conserved current.

Figure

The dictionary: ten symmetries of flat spacetime plus one gauge redundancy, and the conservation laws this chapter met as algebra

Three features of the dictionary deserve emphasis before the formalism. First, it counts: flat spacetime has exactly ten continuous symmetries (one time shift, three space shifts, three rotations, three boosts — the Poincaré group), and the chapter found exactly ten conserved quantities (energy; three momenta; three angular momenta; three components of the center-of-energy constraint). Nothing is missing and nothing is extra. Second, it explains asymmetries the chapter met empirically: linear momentum got a stricter static-system theorem (boosts weld momentum to energy transport) while angular momentum did not (no eleventh symmetry exists to weld twist to anything) — the hidden-momentum/disk-paradox asymmetry, now structural. Third, it transfers: the dictionary is not about electromagnetism. Any theory with an action inherits it — mechanics (where the mech track ran the same table for particles), general relativity, the Standard Model. Learn it once here, spend it everywhere. The chapter's laws also carry one entry not from spacetime: charge conservation. Its symmetry is gauge invariance — the redundancy of the potentials (E4's gauge-freedom article; the covariant edition is E9/E10 business). That entry behaves differently in instructive ways (it is an identity of the equations rather than a law contingent on them — the "Noether second theorem" reading the E6 continuity article flagged), and its presence in the table is the first hint of a twentieth-century revolution: promote the gauge dictionary to non-abelian symmetries and you have built the Standard Model's conservation laws. This article stays classical; the door is marked.

The unifying object

Assemble the chapter's cast into one array. Define, for the electromagnetic field,

T^{\mu\nu} = \begin{pmatrix} u & S_x/c & S_y/c & S_z/c \\ cg_x & -T_{xx} & -T_{xy} & -T_{xz} \\ cg_y & -T_{yx} & -T_{yy} & -T_{yz} \\ cg_z & -T_{zx} & -T_{zy} & -T_{zz} \end{pmatrix} \qquad (1)

where: $u = \tfrac{\varepsilon_0}{2}E^2 + \tfrac{1}{2\mu_0}B^2$ — energy density (row 0, column 0: energy's density slot); $\mathbf{S}/c$ — Poynting flux over $c$ (row 0: energy's flux slots); $c\mathbf{g}$ — momentum density times $c$ (column 0: momentum's density slots); and $-T_{ij}$ — minus the Maxwell stress tensor (the space–space block: momentum's flux slots; the sign is the outward-flux convention of the covariant literature). Read the array as a filing cabinet: row $\mu$ = which conserved quantity (energy for $\mu = 0$ , the $i$ -th momentum for $\mu = i$ ); column $\nu$ = density ( $\nu = 0$ ) or flux through the $\nu$ -surface. Every article of this chapter wrote one or two entries; the array is the chapter. Two structural facts, both physics. Symmetry: $T^{0i} = T^{i0}$ reads $S_i/c = cg_i$ , i.e. $\mathbf{g} = \mathbf{S}/c^2$ — the transport identity used since the momentum article, now revealed as one tensor's mirror symmetry (and the full $T^{\mu\nu} = T^{\nu\mu}$ , including the space block, is what rotation-plus-boost invariance demands — the angular-momentum article's "symmetric stress or no conservation" requirement, upgraded). Tracelessness: taking the trace with the metric's signs, $T^\mu{}_\mu = T^{00} + T_{ii} = u + (-u) = 0$ , using the stress-tensor article's trace $T_{ii} = -u$ for the Maxwell block: the electromagnetic stress–energy tensor is traceless, which in field-theory language says the photon is massless and electrodynamics has no intrinsic length scale (the same scalelessness behind the crown article's dispersion-free vacuum). The entire chapter is then one equation:

\partial_\mu T^{\mu\nu} = -F^{\nu\lambda}J_\lambda \qquad (2)

where: $F^{\nu\lambda}$ — the field tensor packaging $\mathbf{E}$ and $\mathbf{B}$ (its construction is E10's opening business; here it is a bookkeeping name for "the fields"), $J^\lambda = (c\rho, \mathbf{J})$ — the four-current, and the right side is the energy–momentum handed to matter (the Lorentz force and its power, in four-vector dress). Equation (2) is not a new law to learn: Derivation A audits it component by component and finds — exactly — Poynting's theorem in the $\nu = 0$ slot and the momentum conservation theorem in the $\nu = i$ slots. Four laws, one line. In vacuum ( $J = 0$ ) it is the statement that the field's ten Noether charges are exactly conserved.

Figure

The stress-energy tensor as a filing cabinet: rows are conserved quantities, columns are density versus flux — and every slot is an article of this chapter

Derivation AThe component audit — one tensor equation, four familiar theorems

The goal is to verify that equation (2), with the layout (1), reproduces the chapter's conservation laws slot by slot — no covariant machinery assumed (index gymnastics with $F^{\mu\nu}$ belong to E10; here we simply read the components and compare with theorems already proved). The strategy is bookkeeping: write out $\partial_\mu T^{\mu\nu}$ for $\nu = 0$ and $\nu = i$ using the dictionary (1), write the right side's components from the Lorentz force, and match against the sibling energy articles and this chapter's momentum theorem. Watch how the rows of the array turn into the laws, and the columns into density-versus-flux — the audit is also the best way to memorize the layout.

Step 1. The $\nu = 0$ component. $\partial_\mu T^{\mu 0}$ unpacks (with $\partial_\mu = (\partial_{ct}, \partial_i)$ ) to

\frac{1}{c}\frac{\partial u}{\partial t} + \partial_i\,(c\,g_i) \cdot \frac{1}{1} = \frac{1}{c}\left[\frac{\partial u}{\partial t} + \nabla\cdot\mathbf{S}\right],

using column-0 reading and the symmetry $cg_i = S_i/c$ to recognize $c^2\mathbf{g} = \mathbf{S}$ . The right side of (2) at $\nu = 0$ is $-\tfrac1c\,\mathbf{J}\cdot\mathbf{E}$ (the $F^{0\lambda}J_\lambda$ contraction picks out the work term — the fields' wage bill). Multiply by $c$ :

\frac{\partial u}{\partial t} + \nabla\cdot\mathbf{S} = -\,\mathbf{J}\cdot\mathbf{E}

— Poynting's theorem, the sibling article's law, occupying the tensor's first row. Why the symmetry mattered here: the flux that appears in energy's row is $c^2\mathbf{g}$ ; only because $\mathbf{g} = \mathbf{S}/c^2$ does energy's flux come out as the Poynting vector. An asymmetric tensor would give energy a flux different from $\mathbf{S}$ — and boost invariance would be broken. The transport identity is the boost sector's fingerprint inside the audit.

Step 2. The $\nu = i$ components. $\partial_\mu T^{\mu i}$ unpacks to

\frac{1}{c}\frac{\partial (c g_i)}{\partial t} + \partial_j(-T_{ji}) = \frac{\partial g_i}{\partial t} - \partial_jT_{ij},

using the space-block reading and $T_{ij} = T_{ji}$ . The right side at $\nu = i$ is $-(\rho E_i + [\mathbf{J}\times\mathbf{B}]_i) = -f_i$ — minus the Lorentz force density. Rearranged:

f_i + \frac{\partial g_i}{\partial t} = \partial_j T_{ij}

— the momentum conservation theorem, exactly as derived in this chapter (PCONS, Derivation A there), one copy per row $i = 1, 2, 3$ .

Step 3. The rotation sector, for free. Because the audit used a symmetric $T$ , the moments $x^\alpha T^{\mu\beta} - x^\beta T^{\mu\alpha}$ are also conserved currents (their divergence is $T^{\alpha\beta} - T^{\beta\alpha} = 0$ plus the matter torque) — the space–space moments are the angular momentum law of the ANGM article; the time–space moments are the boost charges, whose conservation is Derivation B's subject. Ten currents from one tensor: the Poincaré count, closed.

Step 4. What the audit teaches. Nothing new was derived — that is the point. The chapter's five hard-won theorems are the components of one object's conservation, and the "miraculous" algebra of each (Poynting's manipulation, the Faraday symmetrization) was, in every case, the component-wise shadow of the same fact: the electromagnetic action's indifference to where and when. For the Lagrangian-minded: the canonical Noether currents from $\mathcal{L} = \tfrac{\varepsilon_0}{2}E^2 - \tfrac{1}{2\mu_0}B^2$ come out gauge-dependent and asymmetric, and the Belinfante improvement procedure — adding an identically-conserved piece — produces exactly (1); that construction, with its own instructive subtleties, is deferred by name to the E10 covariant treatment and the mechanics track's field-theory sequels. Verified: component readings match Griffiths §8.1–8.2 and the sibling Poynting articles term by term; the $\nu$ -components of $F^{\nu\lambda}J_\lambda$ reproduce $(\mathbf{J}\cdot\mathbf{E}/c,\ \mathbf{f})$ per the standard contraction (Jackson §12.10); trace and symmetry statements per Landau–Lifshitz CTF §33; ten-current count per the Poincaré algebra's dimension.

Go deeper · Derivation B · 2 minBoost symmetry — the center-of-energy theorem as a conservation law

Derivation BBoost symmetry — the center-of-energy theorem as a conservation law

The goal is the chapter's strangest theorem made structural: the conserved quantity of Lorentz boosts is $\mathbf{K} = t\,\mathbf{P} - \dfrac{1}{c^2}\!\int\mathbf{r}\,u\,d^3r$ , and its conservation is the center-of-energy theorem that forced hidden momentum into existence. The strategy: build the boost moments from the audited tensor (Derivation A, Step 3), compute $d\mathbf{K}/dt$ for an isolated system, and read the two corollaries — uniform center-of-energy motion in general, and the static-system momentum ban in particular. Watch time appear explicitly in the conserved quantity: boosts are the one symmetry whose charge is not a fixed number but a linear function of time whose constancy in form is the law.

Step 1. The boost currents. From the symmetric tensor, the mixed time–space moments $M^{\mu\,0i} = x^0T^{\mu i} - x^iT^{\mu 0}$ are conserved currents for an isolated system ( $\partial_\mu M^{\mu\,0i} = T^{0i} - T^{i0} = 0$ by symmetry — boosts and the transport identity are the same sector, as Step 1 of the audit hinted). Their charges (integrals of the $\mu = 0$ component over space, one per boost direction $i$ ):

K_i = \frac{1}{c}\int\left(ct\,T^{0i} - x^i\,T^{00}\right)d^3r = c\,t\,P_i - \frac{1}{c}\int x^i\,u\,d^3r,

up to overall convention; tidied with $E_{\text{tot}} = \int u\,d^3r$ and the center of energy $\mathbf{R}_E$ :

\mathbf{K} = c\,t\,\mathbf{P} - \frac{E_{\text{tot}}}{c}\,\mathbf{R}_E.

Step 2. Conservation and its reading. For an isolated system (fields plus matter; total tensor), $d\mathbf{K}/dt = 0$ :

c\,\mathbf{P} = \frac{E_{\text{tot}}}{c}\,\frac{d\mathbf{R}_E}{dt} \qquad\Longrightarrow\qquad \mathbf{P} = \frac{E_{\text{tot}}}{c^2}\,\frac{d\mathbf{R}_E}{dt}.

Why this is the relativistic replacement for "the center of mass moves uniformly": Newtonian mechanics derives uniform center-of-mass motion from momentum conservation plus mass conservation; relativity replaces mass by energy and welds the statement to boost symmetry. The center of ENERGY of any isolated system moves in a straight line at constant velocity $c^2\mathbf{P}/E_{\text{tot}}$ — radiation, hidden momenta, exploding capacitors and all.

Step 3. The static corollary, formally at last. A static system has $d\mathbf{R}_E/dt = 0$ ; boost conservation then forces $\mathbf{P} = 0$ — the center-of-energy theorem quoted (with a direct argument) in Hidden Momentum in Magnetic Systems, now exhibited as the Noether charge of boosts doing its job. The chapter's strangest physical conclusion — matter at rest carrying $\gamma mv$ momentum to cancel a field integral — was never optional: it is what boost symmetry costs.

Step 4. The asymmetry with rotations, closed. Rotations conserve $\mathbf{L}$ ; boosts conserve $\mathbf{K}$ ; the Poincaré algebra contains no further vector to constrain static angular momentum the way $\mathbf{K}$ constrains static linear momentum. Hence the disk paradox's fields may hold net twist with no compensation, while the coax's fields may not hold net push — the empirical asymmetry of articles 0577–0579, now a statement about which generators exist. When a conservation-law question has a structural answer, it is always the group's answer. Verified: boost-charge construction per Landau–Lifshitz CTF §14/§32 and Jackson §12.10 (relativistic angular-momentum tensor $M^{\mu\nu\lambda}$ ); the $T^{0i} = T^{i0}$ condition as boost-sector consistency per Barnett's kinetic-momentum discussions; corollaries match the hidden-momentum article's Derivation A and the ANGM/FEYN asymmetry as presented.

Limiting cases

Case	Result	Meaning
$\nu = 0$ of (2)	Poynting's theorem	energy = time-translation's current
$\nu = i$ of (2)	momentum theorem	momentum = space-translation's currents
moments of (2), space–space	angular momentum law	rotations; requires $T_{ij} = T_{ji}$
moments, time–space	$\mathbf{K}$ conservation → center-of-energy theorem	boosts; hidden momentum's foundation
gauge transformation	charge continuity	not spacetime — the theory's redundancy (Noether II)
$T^{0i} = T^{i0}$	$\mathbf{g} = \mathbf{S}/c^2$	the chapter's transport identity is tensor symmetry
$T^\mu{}_\mu = 0$	photon masslessness; no intrinsic scale	why vacuum is dispersion-free (crown article)
broken symmetry (e.g. a medium picks a frame)	corresponding law becomes a balance, not a conservation	media article's splits; pseudomomentum literature

Common trapNoether gives one law per symmetry — not a license to invent conserved quantities, and not a proof that the familiar ones survive every setting

Two misuses, opposite in direction. Inflation: having learned the dictionary, students start conserving everything — "by symmetry" attached to quantities no symmetry protects. The theorem is precise: one continuous symmetry of the action, one conserved current; no symmetry, no law. There is no eleventh spacetime symmetry, hence no conservation law for (say) static angular momentum's absence, the disk's spin-up "from nothing," or any of the chapter's other startling-but-legal outcomes. Deflation: forgetting that the dictionary's laws are conditional on the symmetry actually holding in your problem. A material medium breaks boost invariance (it has a rest frame) and spatial homogeneity (it has boundaries): inside matter, the pristine momentum law becomes a field–matter balance with convention-laden splits — the entire Abraham–Minkowski article was this warning in action — and near a boundary, momentum components along the broken directions are simply not conserved for the field subsystem. Likewise, time-dependent external fields break time translation and energy conservation for the subsystem (the battery pays). The professional habit: before invoking any conservation law, name its symmetry and check your problem respects it — system by system, not by reflex. The dictionary is powerful precisely because it tells you when not to expect conservation.

Worked examples

1 · Auditing one plane wave against the whole tensor (confidence builder)

A linearly polarized plane wave has $E_0 = 100$ V/m (so $B_0 = E_0/c = 3.34\times10^{-7}$ T), propagating along $\hat{\mathbf{z}}$ . Evaluate the tensor's slots at a field maximum and verify the structural identities.

Step 1. Energy slot: $u = \varepsilon_0E_0^2 = 8.85\times10^{-12}\times10^4 = \mathbf{8.85\times10^{-8}\ J/m^3}$ (electric and magnetic halves equal, per the crown's fifty-fifty split — each $4.43\times10^{-8}$ ).

Step 2. Flux and momentum slots: $S = E_0B_0/\mu_0 = 100\times3.34\times10^{-7}/1.257\times10^{-6} = \mathbf{26.5\ W/m^2}$ along $\hat{\mathbf{z}}$ ; $g = \varepsilon_0E_0B_0 = \mathbf{2.95\times10^{-16}\ kg\,m^{-2}s^{-1}}$ . Symmetry check: $S/c^2 = 26.5/8.99\times10^{16} = 2.95\times10^{-16}$ ✓ — $T^{0z} = T^{z0}$ to four digits, the boost sector in numbers.

Step 3. Stress slots: along the propagation direction the wave is pure pressure, $T_{zz} = -u$ (the stress-tensor article's plane-wave row); transverse: for fields along $\hat{\mathbf{x}}$ (E) and $\hat{\mathbf{y}}$ (B), $T_{xx} = \varepsilon_0(E_0^2 - E_0^2/2) - B_0^2/2\mu_0 = 0$ and likewise $T_{yy} = 0$ — the wave presses only forward.

Step 4. Trace check: $T^\mu{}_\mu = u - (0 + 0 + u) = \mathbf{0}$ ✓ — the photon's masslessness, verified with a hand calculator. Also the transport reading: $u/c = 2.95\times10^{-16} = g$ ✓ (energy moving at $c$ is this momentum). One wave, every slot of (1) exercised, both structural identities live. This five-minute audit is worth performing once per physics lifetime.

2 · The four Noether charges of a laser pulse (exam level)

A circularly polarized pulse: energy $U = 1.0$ J, wavelength 1064 nm ( $\omega = 1.77\times10^{15}$ rad/s), traveling along $+\hat{\mathbf{z}}$ in vacuum. Evaluate its conserved charges — energy, momentum, spin angular momentum, and its boost charge — and verify $\mathbf{K}$ -conservation kinematically.

Step 1. Time translation: $E = \mathbf{1.0\ J}$ , constant in vacuum (no matter to pay).

Step 2. Space translation: $p = U/c = \mathbf{3.34\times10^{-9}\ kg\cdot m/s}$ along $\hat{\mathbf{z}}$ — the momentum article's transport identity integrated over the pulse.

Step 3. Rotation: circular polarization carries $L_z = U/\omega = 1.0/1.77\times10^{15} = \mathbf{5.6\times10^{-16}\ kg\cdot m^2/s}$ about the beam axis (the ANGM article's $\hbar$ -per-photon, summed: $5.4\times10^{18}$ photons × $\hbar$ ✓).

Step 4. Boost: $\mathbf{K}$ -conservation demands the pulse's center of energy move at $v = c^2p/E = c^2(U/c)/U = \mathbf{c}$ , exactly — a massless system's center of energy travels at the speed of light, which the pulse self-evidently does. Check the ledger the other way: $E^2 - (pc)^2 = 1 - (3.34\times10^{-9}\times3.00\times10^8)^2 = 1 - 1 = \mathbf{0}$ — zero invariant mass, the tracelessness of (1) integrated. Four symmetries, four charges, one pulse: the chapter, in one exam answer.

Going further

References. Griffiths, Introduction to Electrodynamics, 4th ed., §8.1–8.2, §12.10 preview · Jackson, Classical Electrodynamics, 3rd ed., §12.10 · Landau & Lifshitz, Classical Theory of Fields, §32–33 · Zangwill, Modern Electrodynamics, §15.9, §22.5 · Noether, Invariante Variationsprobleme, Nachr. Ges. Wiss. Göttingen (1918) · Kosmann-Schwarzbach, The Noether Theorems (2011)

Provenance. The tensor layout and component audit follow the standard presentation (Jackson §12.10; Landau–Lifshitz §32–33) with the covariant machinery ( $F^{\mu\nu}$ construction, Belinfante improvement) deferred by name to E10; the boost-charge derivation per L&L §14/§32; the symmetry dictionary at the register of Zangwill §22.5 and the mechanics track's Noether article. A verifier should: (1) confirm the $\nu = 0$ and $\nu = i$ components of $\partial_\mu T^{\mu\nu} = -F^{\nu\lambda}J_\lambda$ reproduce Poynting's theorem and the momentum theorem with the layout (1); (2) check $T^\mu{}_\mu = 0$ from the stress-tensor trace $T_{ii} = -u$ ; (3) recompute worked example 1 ( $u = 8.85\times10^{-8}$ J/m³, $S = 26.5$ W/m², $g = 2.95\times10^{-16}$ kg·m⁻²s⁻¹, $S/c^2 = g$ to displayed digits) and example 2 ( $p = 3.34\times10^{-9}$ kg·m/s, $L_z = 5.6\times10^{-16}$ kg·m²/s, $c^2p/E = c$ , $E^2 = (pc)^2$ ). All structure textbook-standard; numbers recomputed for this edition.

Builds on: Charge Conservation and the Continuity Equation · Poynting's Theorem · The Maxwell Stress Tensor · Energy Density of the Electromagnetic Field

Leads to: Global vs. Local Conservation Laws · Hidden Momentum in Magnetic Systems · Conservation of Linear Momentum in Electrodynamics · Momentum Density of the Electromagnetic Field

Do I need the Lagrangian formalism to trust this dictionary, since the chapter never wrote one down?

For trusting it, no — every entry was independently proved in this chapter by direct manipulation of Maxwell's equations, and the audit derivation shows the tensor equation is just those proofs re-filed. The Lagrangian earns its keep at the next level: it explains why the direct manipulations had to succeed and predicts the laws of theories you haven't met yet. The honest small print, flagged in the audit: the naive canonical Noether currents of the electromagnetic Lagrangian come out gauge-dependent and asymmetric, and a standard improvement step (Belinfante–Rosenfeld) is needed to land on the physical tensor (1) — a genuine subtlety, not hand-waving, and the reason this article audits components rather than deriving from scratch. The mechanics-track Noether's Theorem article carries the particle version in full; the field-theoretic derivation with the improvement procedure belongs to the E10 relativistic treatment and beyond. Pedagogical order matters here: having met the ten laws as hard-won algebra first, the symmetry explanation lands as revelation; taught first, it tends to land as incantation.

If energy conservation comes from time-translation symmetry, is energy not conserved in an expanding universe?

Correct, and it is the dictionary's most famous field trip. An expanding universe (FRW spacetime) has no global time-translation symmetry — the metric changes as it expands — so there is no global Noether energy for the total system, and indeed cosmological photons lose energy to redshift with the loss booked to no local absorber: the cosmic microwave background has cooled from 3000 K to 2.7 K without heating anything. Locally, energy conservation survives (spacetime is locally flat; $\nabla_\mu T^{\mu\nu} = 0$ holds covariantly and constrains physics in every laboratory), and for spacetimes with time symmetry (static black holes, asymptotically flat systems) well-defined conserved energies return. The lesson is exactly the warning box's: conservation laws are contingent on their symmetries, and general relativity is the arena where the contingency bites hardest. Far from undermining the dictionary, cosmological redshift is its confirmation — the law fails precisely where, and only where, the symmetry does.

What exactly is different about the gauge entry — why is charge conservation an identity rather than a law?

The spacetime entries are Noether's first theorem: a global symmetry (same shift everywhere) yields a current whose conservation holds when the equations of motion hold — a law about solutions. Gauge invariance is a local symmetry (a different phase/potential shift at every point), and Noether's second theorem shows local symmetries yield identities — relations true for any field configuration whatsoever, solutions or not. Concretely: the continuity equation follows from taking a divergence of Ampère–Maxwell, an algebraic identity of the equations' structure (the E6 continuity article's "rank promotion" reading), whereas Poynting's theorem genuinely requires the fields to obey Maxwell. The practical consequence: you cannot even write down consistent source terms for electromagnetism with a non-conserved current — the theory rejects them structurally, rather than dynamically. This identity character is why gauge symmetries are often called redundancies rather than symmetries: they do not map one physical state to another, they re-describe the same state. That distinction — physical symmetry versus descriptive redundancy — became one of the twentieth century's sharpest conceptual tools, and it started in the same 1918 paper.

The dictionary gives ten laws — but I count energy, three momenta, three angular momenta, three boost charges: are boost charges actually useful, or bookkeeping filler?

Useful, and this chapter is the proof. The boost charge $\mathbf{K} = ct\mathbf{P} - (E/c)\mathbf{R}_E$ looks odd (explicitly time-dependent, not a "stuff" you accumulate), and most courses skip it — then pay for the omission when static systems with field momentum appear. Its conservation is precisely the center-of-energy theorem, which this chapter used three times with real consequences: forcing hidden momentum to exist (0577), fixing the kinetic momentum of light in glass (the Balazs argument, 0580), and banning static reactionless drives (0575–0576). In relativistic quantum mechanics the boost generators are equally load-bearing: they complete the Poincaré algebra whose representations define what "a particle" is (mass and spin are the algebra's labels — Wigner's classification), so every time you say "electron, spin one-half, 511 keV" you are quoting boost-sector structure. The honest statement: boost charges are unfamiliar because they constrain configurations rather than accumulate like energy — but a constraint used three times in one chapter has earned its row in the table.

Momentum in a crystal is only conserved 'modulo reciprocal lattice vectors' — is that a violation of the dictionary?

It is the dictionary working at reduced symmetry — and the best everyday example of symmetry-contingent conservation. A crystal lattice is not invariant under all translations, only discrete ones (by lattice vectors). Continuous translation symmetry gone, exact momentum conservation goes with it; the surviving discrete symmetry protects a weaker charge — crystal momentum (quasi-momentum), conserved modulo $\hbar$ times reciprocal-lattice vectors, which is exactly what umklapp scattering exploits (phonons dumping momentum into the lattice as a whole in quantized chunks). The pattern generalizes: any medium, boundary, or background that breaks a symmetry demotes the corresponding law from conservation to balance — the Abraham–Minkowski medium (broken boosts and homogeneity), waveguide walls (broken transverse translations), time-modulated materials (broken time translation, now an active research field literally called "time crystals" and "temporal metamaterials," where energy non-conservation of the field subsystem is the engineered feature). Read this way, the dictionary is less a list of ten laws than a machine: feed it the symmetries your system actually has, and it returns exactly the conservation laws you are entitled to — no more, no fewer.

Does the chapter's whole story survive quantization?

Remarkably intact — Noether's grammar is if anything more central in quantum theory. The symmetries become unitary operators, the Noether charges become their generators (the Hamiltonian generates time translation, momentum operators generate space translation, and so on), and conservation becomes commutation with the Hamiltonian — Ehrenfest's theorem returns the classical ledgers as expectation-value statements. For the electromagnetic field specifically: QED's photon inherits every slot of the tensor (1) as a normal-ordered operator; the transport identity becomes the statement that photons of energy $\hbar\omega$ carry momentum $\hbar\omega/c$ ; tracelessness becomes masslessness protected by gauge symmetry; and the boost sector's constraints reappear in the relativistic bound-state problem (where "hidden momentum" has a quantum descendant in the spin-orbit bookkeeping of moving bound systems). What quantization adds is anomalies: rare, profound cases where a classical symmetry fails to survive (the axial anomaly being the canonical example), with observable consequences (the neutral pion's decay rate). Anomalies are the exception that certifies the rule — finding one is headline physics precisely because Noether's dictionary otherwise holds to every tested digit.