Registry · Definition V.D177 tau-effective formalized

V.D177 — Base Wilson loop

The base Wilson loop W_n = Tr(Hol_partial(tau^1; n)) at refinement depth n is the trace of the boundary holonomy around the base circle tau^1 at depth n. It provides a non-perturbative probe of the gravitational sector geometry on the base.

Book V Part 6 Ch. 53

Lean Formalization

Module: TauLib.BookV.Cosmology.MergerNormalForm

Symbol: Tau.BookV.Cosmology.BaseWilsonLoop