Registry · Proposition IV.P72 tau-effective formalized

IV.P72 — Crossing-Point Degeneracy

At crossing point p_ω ∈ L, the space of energetically equivalent vacuum configurations is S¹, parameterized by relative phase θ ∈ [0,2π) of χ_+ and χ_− orientations. Coherence functional V_ω has degenerate minima on this orbit.

Book IV Part 4 Ch. 34

Dependency Graph

Depends on (2)

Depended on by (2)

Lean Formalization

Module: TauLib.BookIV.Electroweak.TauHiggs

Symbol: Tau.BookIV.Electroweak.CrossingpointDegeneracy