Faddeev–Popov Quantization (Abelian), Part 1: The Overcounting Problem

Why you can't just write down the path integral for a gauge theory and call it a day — the operator you can't invert, the orbits you can't avoid, and the geometric picture that makes gauge fixing click.