Registry · Theorem
IV.T107
tau-effective
formalized
IV.T107 — Holonomy Fine-Structure Formula
The holonomy fine-structure formula is alpha_em = (pi^3/16) * Q^4/(M^2 * H^3 * L^6), where pi^3 arises from three independent U(1) holonomy integrations on tau^3 = tau^1 x_f T^2. It yields alpha^(-1) = 137.036... with 0.00% deviation from experiment.
Book IV
Part 2
Ch. 11