Registry · Remark IV.R363 tau-effective not_applicable

IV.R363 — Why EM is simpler

Electromagnetism is simpler than weak/strong forces because U(1) is abelian: F = dA (no self-interaction), Maxwell's equations are linear, photons do not self-interact ([A_mu, A_nu] = 0), and alpha runs only logarithmically compared to the strong coupling's confinement behavior.

Book IV Part 4 Ch. 27

Lean Formalization

Module: