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

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.Calibration.DimensionlessAlpha

Symbol: Tau.BookIV.Calibration.HolonomyFinestructureFormula