Abstract:In the standard formulation of quantum electrodynamics, U(1) gauge symmetry is introduced as a fundamental postulate. This work proves that U(1) gauge symmetry is not a postulate but an algebraic necessity of Clifford algebra. The central result is a commutator theorem: in the four-dimensional Dirac spinor space, the only matrix that commutes with all gamma matrices is a scalar multiple of the identity, which is precisely the generator of U(1). When this symmetry is localized, the gauge field and covariant derivative are mathematically forced to appear, yielding the complete Lagrangian of QED. The proof is constructive and uses only the anticommutation relations of the Clifford algebra. No assumptions about dynamics or quantization are required.
卓冰 蒋 (Fri,) studied this question.