Registry · Proposition IV.P133 tau-effective formalized

IV.P133 — Topological integrality of theta

The topological charge theta(d) of a defect configuration on T^2 is integer-valued (winding number in pi_1(T^2) = Z^2) and is a deformation invariant preserved under continuous deformations within the boundary Hilbert space H_partial[omega].

Book IV Part 7 Ch. 52

Dependency Graph

Depends on (3)

Lean Formalization

Module: TauLib.BookIV.ManyBody.DefectFunctionalExt

Symbol: Tau.BookIV.ManyBody.TopologicalIntegralityOfTheta