Registry · Theorem V.T110 tau-effective formalized

V.T110 — BH Toroidal Topology

The horizon of a tau-black hole is topologically T^2 (torus), not S^2 (sphere). The linking class ell in H_1(T^2; Z) wraps both cycles of the fiber, the horizon IS the fiber at the excision region, and the two fundamental cycles correspond to the gamma and eta generators.

Book V Part 6 Ch. 50

Dependency Graph

Depends on (3)

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.Cosmology.BHBirthTopology

Symbol: Tau.BookV.Cosmology.BhToroidalTopology