Registry · Theorem IV.T96 tau-effective formalized

IV.T96 — Central Theorem --- physical form

Central Theorem (physical form): O(tau^3) isomorphic to A_spec(L). The algebra of holomorphic functions on the total space tau^3 = tau^1 x_f T^2 is isomorphic to the spectral algebra on the lemniscate boundary. Every bulk datum is completely determined by its restriction to L = S^1 v S^1.

Book IV Part 1 Ch. 5

Dependency Graph

Depends on (3)

Lean Formalization

Module: TauLib.BookIV.Arena.BoundaryHolonomy

Symbol: Tau.BookIV.Arena.CentralTheoremPhysicalForm