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