Chapter 7: Building the QED Lagrangian

This section is already in the book plan, but it has not been written fully yet. The book owner can press Generate section to write this part with the language model connected to TheoryTrace.

Section plan:

Derives QED from local U(1) gauge invariance and minimal coupling, introduces covariant derivatives and conserved charge, and interprets electrons, positrons, photons, and the fine-structure constant within one field-theoretic framework.