Registry · Theorem
IV.T120
tau-effective
formalized
IV.T120 — Charge quantization
Electric charge is quantized: Q in {ne : n in Z}. The proof uses compactness of T^2 with pi_1(T^2) = Z + Z, forcing the holonomy integral around the B-sector generator cycle to take integer values, without invoking magnetic monopoles or grand unification.
Book IV
Part 4
Ch. 26