Registry · Definition IV.D139 tau-effective formalized

IV.D139 — σ-Polarity Condition

The ω-sector mode satisfies σ-polarity if fixed by lemniscate involution σ: σ(Ω*[ω]) = Ω*[ω]. Required because vacuum is σ-invariant and excitation must not distinguish the two lobes.

Book IV Part 4 Ch. 34

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.Electroweak.TauHiggs

Symbol: Tau.BookIV.Electroweak.PolarityCondition