Registry · Theorem IV.T150 tau-effective formalized

IV.T150 — Factor-4 from Non-omega Generator Count

The factor 4 in m_H/m_n = (4 - X)/kappa(omega) equals the number of non-omega generators |{alpha, pi, gamma, eta}| = 4. Three independent structural derivations converge on the same value: (1) Generator count: |{alpha, pi, gamma, eta}| = 4 (most axiomatic; omega = gamma cap eta is excluded). (2) Lemniscate crossing channels: 2 lobes (left/right S^1) times 2 polarities (chi_+ / chi_-) = 4 crossing channel types. (3) Betti numbers: b_1(tau^3) + b_2(tau^3) - b_1(L) = 3 + 3 - 2 = 4, where tau^3 = tau^1 x_f T^2 (Kunneth: b_1 = 1+2 = 3, b_2 = 3 from T^2 fiber) and L = S^1 v S^1 has b_1 = 2.

Book IV Part 3 Ch. 26

Dependency Graph

Depends on (1)

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.Electroweak.TauHiggs2

Symbol: Tau.BookIV.Electroweak.higgs_factor_four