Chapter 13: Gauge Fixing, Ghosts, and Covariant Quantization

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:

Presents Faddeev-Popov gauge fixing in Abelian gauge theory, explains why QED ghosts decouple, compares Lorenz, Feynman, Landau, and Coulomb gauges, and connects formal quantization to physical observables.