Registry · Theorem
IV.T48
tau-effective
formalized
IV.T48 — Non-Trivial Strong Vacuum
The C-sector vacuum on tau^3 is topologically non-trivial: Vac_C != trivial iff pi_1(T^2/~_eta) != 0, where ~_eta is the identification induced by eta-holonomy on the fiber T^2.