Registry · Theorem V.T20 tau-effective formalized

V.T20 — Gravity as frame holonomy gap

The D-sector contribution to the boundary holonomy algebra equals the frame holonomy gap: {Hol_n - Id_{T^2} | n >= 1}. The gap measures the deviation of the tau^3 fibration from flatness at depth n, and this nontriviality is gravity.

Book V Part 2 Ch. 11

Dependency Graph

Depends on (2)

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.GravityField.FrameHolonomy

Symbol: Tau.BookV.GravityField.GravityAsFrameHolonomyGap