Registry · Proposition IV.P76 tau-effective formalized

IV.P76 — Goldstone Modes at Crossing Point

Three zero-eigenvalue Hessian directions: two become W± longitudinal polarizations (Sector A channels), one becomes Z⁰ longitudinal (A–B mixing). Gauge boson masses M_W = κ(A,B)·v_ω, M_Z = M_W/cos θ_W.

Book IV Part 4 Ch. 34

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.Electroweak.TauHiggs2

Symbol: Tau.BookIV.Electroweak.GoldstoneModesAtCrossingPoint