Registry · Definition IV.D214 tau-effective formalized

IV.D214 — Total topological charge

Total topological charge theta^tot(C) = sum_i theta(d_i) is the additive, integer-valued sum of individual charges with no averaging and no interaction correction, since theta is a homotopy invariant immune to continuous deformation.

Book IV Part 7 Ch. 52

Lean Formalization

Module: TauLib.BookIV.ManyBody.DefectFunctionalExt

Symbol: Tau.BookIV.ManyBody.TotalTopologicalCharge