Registry · Remark
IV.R258
tau-effective
formalized
IV.R258 — The three holonomy circles
The factor pi^3 in the holonomy formula is resolved as the product of three independent U(1) holonomy integrations: T_pi (angular circle on base tau^1), T_gamma (first fiber circle on T^2), and T_eta (second fiber circle on T^2), one for each circle in tau^3.